mirror of
https://github.com/hsoft/collapseos.git
synced 2024-11-26 08:28:04 +11:00
Compare commits
No commits in common. "3f3dd9141eaa993f202802ed6762847b54780c6f" and "9c9484fb880be5423775f71adcc5740d4dd7928e" have entirely different histories.
3f3dd9141e
...
9c9484fb88
@ -9,21 +9,15 @@
|
|||||||
|
|
||||||
jp basStart
|
jp basStart
|
||||||
|
|
||||||
; RAM space used in different routines for short term processing.
|
|
||||||
.equ SCRATCHPAD_SIZE 0x20
|
|
||||||
.equ SCRATCHPAD USER_RAMSTART
|
|
||||||
|
|
||||||
.inc "core.asm"
|
.inc "core.asm"
|
||||||
.inc "lib/util.asm"
|
.inc "lib/util.asm"
|
||||||
.inc "lib/ari.asm"
|
.inc "lib/ari.asm"
|
||||||
.inc "lib/parse.asm"
|
.inc "lib/parse.asm"
|
||||||
.inc "lib/fmt.asm"
|
.inc "lib/fmt.asm"
|
||||||
.equ EXPR_PARSE parseLiteralOrVar
|
.equ EXPR_PARSE parseLiteral
|
||||||
.inc "lib/expr.asm"
|
.inc "lib/expr.asm"
|
||||||
.inc "basic/tok.asm"
|
.inc "basic/tok.asm"
|
||||||
.equ VAR_RAMSTART SCRATCHPAD+SCRATCHPAD_SIZE
|
.equ BUF_RAMSTART USER_RAMSTART
|
||||||
.inc "basic/var.asm"
|
|
||||||
.equ BUF_RAMSTART VAR_RAMEND
|
|
||||||
.inc "basic/buf.asm"
|
.inc "basic/buf.asm"
|
||||||
.equ BAS_RAMSTART BUF_RAMEND
|
.equ BAS_RAMSTART BUF_RAMEND
|
||||||
.inc "basic/main.asm"
|
.inc "basic/main.asm"
|
||||||
|
@ -1,29 +1,28 @@
|
|||||||
|
; *** Constants ***
|
||||||
|
.equ BAS_SCRATCHPAD_SIZE 0x20
|
||||||
; *** Variables ***
|
; *** Variables ***
|
||||||
; Value of `SP` when basic was first invoked. This is where SP is going back to
|
; Value of `SP` when basic was first invoked. This is where SP is going back to
|
||||||
; on restarts.
|
; on restarts.
|
||||||
.equ BAS_INITSP BAS_RAMSTART
|
.equ BAS_INITSP BAS_RAMSTART
|
||||||
; Pointer to next line to run. If nonzero, it means that the next line is
|
; **Pointer** to current line number
|
||||||
; the first of the list. This is used by GOTO to indicate where to jump next.
|
.equ BAS_PCURLN @+2
|
||||||
; Important note: this is **not** a line number, it's a pointer to a line index
|
.equ BAS_SCRATCHPAD @+2
|
||||||
; in buffer. If it's not zero, its a valid pointer.
|
.equ BAS_RAMEND @+BAS_SCRATCHPAD_SIZE
|
||||||
.equ BAS_PNEXTLN @+2
|
|
||||||
.equ BAS_RAMEND @+2
|
|
||||||
|
|
||||||
; *** Code ***
|
; *** Code ***
|
||||||
basStart:
|
basStart:
|
||||||
ld (BAS_INITSP), sp
|
ld (BAS_INITSP), sp
|
||||||
call varInit
|
|
||||||
call bufInit
|
call bufInit
|
||||||
xor a
|
xor a
|
||||||
ld (BAS_PNEXTLN), a
|
|
||||||
ld (BAS_PNEXTLN+1), a
|
|
||||||
ld hl, .welcome
|
ld hl, .welcome
|
||||||
call printstr
|
call printstr
|
||||||
call printcrlf
|
call printcrlf
|
||||||
|
ld hl, .welcome+2 ; points to a zero word
|
||||||
|
ld (BAS_PCURLN), hl
|
||||||
jr basLoop
|
jr basLoop
|
||||||
|
|
||||||
.welcome:
|
.welcome:
|
||||||
.db "OK", 0
|
.db "OK", 0, 0
|
||||||
|
|
||||||
basLoop:
|
basLoop:
|
||||||
ld hl, .sPrompt
|
ld hl, .sPrompt
|
||||||
@ -40,8 +39,8 @@ basLoop:
|
|||||||
jr basLoop
|
jr basLoop
|
||||||
.number:
|
.number:
|
||||||
push ix \ pop de
|
push ix \ pop de
|
||||||
call toSep
|
call toWS
|
||||||
call rdSep
|
call rdWS
|
||||||
call bufAdd
|
call bufAdd
|
||||||
jp nz, basERR
|
jp nz, basERR
|
||||||
jr basLoop
|
jr basLoop
|
||||||
@ -53,10 +52,7 @@ basLoop:
|
|||||||
; on success. Therefore, when calling basCallCmd results in NZ, we're not sure
|
; on success. Therefore, when calling basCallCmd results in NZ, we're not sure
|
||||||
; where the error come from, but well...
|
; where the error come from, but well...
|
||||||
basCallCmd:
|
basCallCmd:
|
||||||
; let's see if it's a variable assignment.
|
; First, get cmd length
|
||||||
call varTryAssign
|
|
||||||
ret z ; Done!
|
|
||||||
; Second, get cmd length
|
|
||||||
call fnWSIdx
|
call fnWSIdx
|
||||||
cp 7
|
cp 7
|
||||||
jp nc, unsetZ ; Too long, can't possibly fit anything.
|
jp nc, unsetZ ; Too long, can't possibly fit anything.
|
||||||
@ -83,13 +79,17 @@ basCallCmd:
|
|||||||
ex de, hl
|
ex de, hl
|
||||||
ld a, b ; cmd's length
|
ld a, b ; cmd's length
|
||||||
call addHL
|
call addHL
|
||||||
call rdSep
|
call rdWS
|
||||||
jp (ix)
|
jp (ix)
|
||||||
|
|
||||||
|
|
||||||
|
basPrintLn:
|
||||||
|
call printstr
|
||||||
|
jp printcrlf
|
||||||
|
|
||||||
basERR:
|
basERR:
|
||||||
ld hl, .sErr
|
ld hl, .sErr
|
||||||
call printstr
|
jr basPrintLn
|
||||||
jp printcrlf
|
|
||||||
.sErr:
|
.sErr:
|
||||||
.db "ERR", 0
|
.db "ERR", 0
|
||||||
|
|
||||||
@ -102,8 +102,7 @@ basERR:
|
|||||||
; Commands are expected to set Z on success.
|
; Commands are expected to set Z on success.
|
||||||
basBYE:
|
basBYE:
|
||||||
ld hl, .sBye
|
ld hl, .sBye
|
||||||
call printstr
|
call basPrintLn
|
||||||
call printcrlf
|
|
||||||
; To quit the loop, let's return the stack to its initial value and
|
; To quit the loop, let's return the stack to its initial value and
|
||||||
; then return.
|
; then return.
|
||||||
xor a
|
xor a
|
||||||
@ -118,7 +117,7 @@ basLIST:
|
|||||||
.loop:
|
.loop:
|
||||||
ld e, (ix)
|
ld e, (ix)
|
||||||
ld d, (ix+1)
|
ld d, (ix+1)
|
||||||
ld hl, SCRATCHPAD
|
ld hl, BAS_SCRATCHPAD
|
||||||
call fmtDecimal
|
call fmtDecimal
|
||||||
call printstr
|
call printstr
|
||||||
ld a, ' '
|
ld a, ' '
|
||||||
@ -133,8 +132,6 @@ basLIST:
|
|||||||
|
|
||||||
|
|
||||||
basRUN:
|
basRUN:
|
||||||
call .maybeGOTO
|
|
||||||
jr nz, .loop ; IX already set
|
|
||||||
call bufFirst
|
call bufFirst
|
||||||
ret nz
|
ret nz
|
||||||
.loop:
|
.loop:
|
||||||
@ -144,8 +141,6 @@ basRUN:
|
|||||||
call basCallCmd
|
call basCallCmd
|
||||||
pop ix ; <-- lvl 1
|
pop ix ; <-- lvl 1
|
||||||
jp nz, .err
|
jp nz, .err
|
||||||
call .maybeGOTO
|
|
||||||
jr nz, .loop ; IX already set
|
|
||||||
call bufNext
|
call bufNext
|
||||||
jr z, .loop
|
jr z, .loop
|
||||||
cp a ; ensure Z
|
cp a ; ensure Z
|
||||||
@ -154,69 +149,23 @@ basRUN:
|
|||||||
; Print line number, then return NZ (which will print ERR)
|
; Print line number, then return NZ (which will print ERR)
|
||||||
ld e, (ix)
|
ld e, (ix)
|
||||||
ld d, (ix+1)
|
ld d, (ix+1)
|
||||||
ld hl, SCRATCHPAD
|
ld hl, BAS_SCRATCHPAD
|
||||||
call fmtDecimal
|
call fmtDecimal
|
||||||
call printstr
|
call printstr
|
||||||
ld a, ' '
|
ld a, ' '
|
||||||
call stdioPutC
|
call stdioPutC
|
||||||
jp unsetZ
|
jp unsetZ
|
||||||
|
|
||||||
; This returns the opposite Z result as the one we usually see: Z is set if
|
.runline:
|
||||||
; we **don't** goto, unset if we do. If we do, IX is properly set.
|
|
||||||
.maybeGOTO:
|
|
||||||
ld de, (BAS_PNEXTLN)
|
|
||||||
ld a, d
|
|
||||||
or e
|
|
||||||
ret z
|
|
||||||
; we goto
|
|
||||||
push de \ pop ix
|
|
||||||
; we need to reset our goto marker
|
|
||||||
ld de, 0
|
|
||||||
ld (BAS_PNEXTLN), de
|
|
||||||
ret
|
|
||||||
|
|
||||||
basPRINT:
|
basPRINT:
|
||||||
ld de, SCRATCHPAD
|
|
||||||
call rdWord
|
|
||||||
push hl ; --> lvl 1
|
|
||||||
ex de, hl
|
|
||||||
call parseExpr
|
call parseExpr
|
||||||
ret nz
|
ret nz
|
||||||
push ix \ pop de
|
push ix \ pop de
|
||||||
ld hl, SCRATCHPAD
|
ld hl, BAS_SCRATCHPAD
|
||||||
call fmtDecimal
|
call fmtDecimal
|
||||||
call printstr
|
|
||||||
pop hl ; <-- lvl 1
|
|
||||||
; Do we have another arg?
|
|
||||||
call rdSep
|
|
||||||
jr z, .another
|
|
||||||
; no, we can stop here
|
|
||||||
cp a ; ensure Z
|
cp a ; ensure Z
|
||||||
jp printcrlf
|
jp basPrintLn
|
||||||
.another:
|
|
||||||
; Before we jump to basPRINT, let's print a space
|
|
||||||
ld a, ' '
|
|
||||||
call stdioPutC
|
|
||||||
jr basPRINT
|
|
||||||
|
|
||||||
basGOTO:
|
|
||||||
ld de, SCRATCHPAD
|
|
||||||
call rdWord
|
|
||||||
ex de, hl
|
|
||||||
call parseExpr
|
|
||||||
ret nz
|
|
||||||
push ix \ pop de
|
|
||||||
call bufFind
|
|
||||||
jr nz, .notFound
|
|
||||||
push ix \ pop de
|
|
||||||
; Z already set
|
|
||||||
jr .end
|
|
||||||
.notFound:
|
|
||||||
ld de, 0
|
|
||||||
; Z already unset
|
|
||||||
.end:
|
|
||||||
ld (BAS_PNEXTLN), de
|
|
||||||
ret
|
|
||||||
|
|
||||||
; direct only
|
; direct only
|
||||||
basCmds1:
|
basCmds1:
|
||||||
@ -230,6 +179,4 @@ basCmds1:
|
|||||||
basCmds2:
|
basCmds2:
|
||||||
.dw basPRINT
|
.dw basPRINT
|
||||||
.db "print", 0
|
.db "print", 0
|
||||||
.dw basGOTO
|
|
||||||
.db "goto", 0, 0
|
|
||||||
.db 0xff, 0xff, 0xff ; end of table
|
.db 0xff, 0xff, 0xff ; end of table
|
||||||
|
@ -1,12 +1,3 @@
|
|||||||
; Sets Z is A is ' ' or '\t' (whitespace), or ',' (arg sep)
|
|
||||||
isSep:
|
|
||||||
cp ' '
|
|
||||||
ret z
|
|
||||||
cp 0x09
|
|
||||||
ret z
|
|
||||||
cp ','
|
|
||||||
ret
|
|
||||||
|
|
||||||
; Expect at least one whitespace (0x20, 0x09) at (HL), and then advance HL
|
; Expect at least one whitespace (0x20, 0x09) at (HL), and then advance HL
|
||||||
; until a non-whitespace character is met.
|
; until a non-whitespace character is met.
|
||||||
; HL is advanced to the first non-whitespace char.
|
; HL is advanced to the first non-whitespace char.
|
||||||
@ -14,7 +5,7 @@ isSep:
|
|||||||
; Failure is either not having a first whitespace or reaching the end of the
|
; Failure is either not having a first whitespace or reaching the end of the
|
||||||
; string.
|
; string.
|
||||||
; Sets Z if we found a non-whitespace char, unset if we found the end of string.
|
; Sets Z if we found a non-whitespace char, unset if we found the end of string.
|
||||||
rdSep:
|
rdWS:
|
||||||
ld a, (hl)
|
ld a, (hl)
|
||||||
call isSep
|
call isSep
|
||||||
ret nz ; failure
|
ret nz ; failure
|
||||||
@ -56,32 +47,10 @@ fnWSIdx:
|
|||||||
pop hl
|
pop hl
|
||||||
ret
|
ret
|
||||||
|
|
||||||
; Advance HL to the next separator or to the end of string.
|
; Advance HL to the next whitespace or to the end of string.
|
||||||
toSep:
|
toWS:
|
||||||
ld a, (hl)
|
ld a, (hl)
|
||||||
call isSep
|
call isSep
|
||||||
ret z
|
ret z
|
||||||
inc hl
|
inc hl
|
||||||
jr toSep
|
jr toWS
|
||||||
|
|
||||||
; Read (HL) until the next separator and copy it in (DE)
|
|
||||||
; DE is preserved, but HL is advanced to the end of the read word.
|
|
||||||
rdWord:
|
|
||||||
push af
|
|
||||||
push de
|
|
||||||
.loop:
|
|
||||||
ld a, (hl)
|
|
||||||
call isSep
|
|
||||||
jr z, .stop
|
|
||||||
or a
|
|
||||||
jr z, .stop
|
|
||||||
ld (de), a
|
|
||||||
inc hl
|
|
||||||
inc de
|
|
||||||
jr .loop
|
|
||||||
.stop:
|
|
||||||
xor a
|
|
||||||
ld (de), a
|
|
||||||
pop de
|
|
||||||
pop af
|
|
||||||
ret
|
|
||||||
|
@ -1,101 +0,0 @@
|
|||||||
; *** Variables ***
|
|
||||||
; A list of words for each member of the A-Z range.
|
|
||||||
.equ VAR_TBL VAR_RAMSTART
|
|
||||||
.equ VAR_RAMEND @+52
|
|
||||||
|
|
||||||
; *** Code ***
|
|
||||||
|
|
||||||
varInit:
|
|
||||||
ld b, VAR_RAMEND-VAR_RAMSTART
|
|
||||||
ld hl, VAR_RAMSTART
|
|
||||||
xor a
|
|
||||||
.loop:
|
|
||||||
ld (hl), a
|
|
||||||
inc hl
|
|
||||||
djnz .loop
|
|
||||||
ret
|
|
||||||
|
|
||||||
; Check if A is a valid variable letter (a-z or A-Z). If it is, set A to a
|
|
||||||
; valid VAR_TBL index and set Z. Otherwise, unset Z (and A is destroyed)
|
|
||||||
varChk:
|
|
||||||
call upcase
|
|
||||||
sub 'A'
|
|
||||||
ret c ; Z unset
|
|
||||||
cp 27 ; 'Z' + 1
|
|
||||||
jr c, .isVar
|
|
||||||
; A > 'Z'
|
|
||||||
dec a ; unset Z
|
|
||||||
ret
|
|
||||||
.isVar:
|
|
||||||
cp a ; set Z
|
|
||||||
ret
|
|
||||||
|
|
||||||
; Try to interpret line at (HL) and see if it's a variable assignment. If it
|
|
||||||
; is, proceed with the assignment and set Z. Otherwise, NZ.
|
|
||||||
varTryAssign:
|
|
||||||
inc hl
|
|
||||||
ld a, (hl)
|
|
||||||
dec hl
|
|
||||||
cp '='
|
|
||||||
ret nz
|
|
||||||
ld a, (hl)
|
|
||||||
call varChk
|
|
||||||
ret nz
|
|
||||||
; We have a variable! Its table index is currently in A.
|
|
||||||
push ix ; --> lvl 1
|
|
||||||
push hl ; --> lvl 2
|
|
||||||
push de ; --> lvl 3
|
|
||||||
push af ; --> lvl 4. save for later
|
|
||||||
; Let's put that expression to read in scratchpad
|
|
||||||
inc hl \ inc hl
|
|
||||||
ld de, SCRATCHPAD
|
|
||||||
call rdWord
|
|
||||||
ex de, hl
|
|
||||||
; Now, evaluate that expression now in (HL)
|
|
||||||
call parseExpr ; --> number in IX
|
|
||||||
jr nz, .exprErr
|
|
||||||
pop af ; <-- lvl 4
|
|
||||||
add a, a ; * 2 because each element is a word
|
|
||||||
ld hl, VAR_TBL
|
|
||||||
call addHL
|
|
||||||
; HL placed, write number
|
|
||||||
push ix \ pop de
|
|
||||||
ld (hl), e
|
|
||||||
inc hl
|
|
||||||
ld (hl), d
|
|
||||||
xor a ; ensure Z
|
|
||||||
.end:
|
|
||||||
pop de ; <-- lvl 3
|
|
||||||
pop hl ; <-- lvl 2
|
|
||||||
pop ix ; <-- lvl 1
|
|
||||||
ret
|
|
||||||
.exprErr:
|
|
||||||
pop af ; <-- lvl 4
|
|
||||||
jr .end
|
|
||||||
|
|
||||||
; Check if value at (HL) is a variable. If yes, returns its associated value.
|
|
||||||
; Otherwise, jump to parseLiteral.
|
|
||||||
parseLiteralOrVar:
|
|
||||||
inc hl
|
|
||||||
ld a, (hl)
|
|
||||||
dec hl
|
|
||||||
or a
|
|
||||||
; if more than one in length, it can't be a variable
|
|
||||||
jp nz, parseLiteral
|
|
||||||
ld a, (hl)
|
|
||||||
call varChk
|
|
||||||
jp nz, parseLiteral
|
|
||||||
; It's a variable, resolve!
|
|
||||||
add a, a ; * 2 because each element is a word
|
|
||||||
push hl ; --> lvl 1
|
|
||||||
ld hl, VAR_TBL
|
|
||||||
call addHL
|
|
||||||
push de ; --> lvl 2
|
|
||||||
ld e, (hl)
|
|
||||||
inc hl
|
|
||||||
ld d, (hl)
|
|
||||||
push de \ pop ix
|
|
||||||
pop de ; <-- lvl 2
|
|
||||||
pop hl ; <-- lvl 1
|
|
||||||
cp a ; ensure Z
|
|
||||||
ret
|
|
@ -132,7 +132,7 @@ parseDecimal:
|
|||||||
pop hl
|
pop hl
|
||||||
ret z
|
ret z
|
||||||
; A is not 0? Ok, but if it's a space, we're happy too.
|
; A is not 0? Ok, but if it's a space, we're happy too.
|
||||||
jp isWS
|
jp isSep
|
||||||
.error:
|
.error:
|
||||||
pop hl
|
pop hl
|
||||||
jp unsetZ
|
jp unsetZ
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
; Sets Z is A is ' ' or '\t' (whitespace)
|
; Sets Z is A is ' ' or '\t'
|
||||||
isWS:
|
isSep:
|
||||||
cp ' '
|
cp ' '
|
||||||
ret z
|
ret z
|
||||||
cp 0x09
|
cp 0x09
|
||||||
|
@ -31,7 +31,7 @@ isLineEnd:
|
|||||||
|
|
||||||
; Sets Z is A is ' ', ',', ';', CR, LF, or null.
|
; Sets Z is A is ' ', ',', ';', CR, LF, or null.
|
||||||
isSepOrLineEnd:
|
isSepOrLineEnd:
|
||||||
call isWS
|
call isSep
|
||||||
ret z
|
ret z
|
||||||
jr isLineEndOrComment
|
jr isLineEndOrComment
|
||||||
|
|
||||||
@ -68,7 +68,7 @@ isLabel:
|
|||||||
; read char in A
|
; read char in A
|
||||||
_eatWhitespace:
|
_eatWhitespace:
|
||||||
call ioGetB
|
call ioGetB
|
||||||
call isWS
|
call isSep
|
||||||
ret nz
|
ret nz
|
||||||
jr _eatWhitespace
|
jr _eatWhitespace
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user