mirror of
https://github.com/hsoft/collapseos.git
synced 2024-11-26 15:18:05 +11:00
Compare commits
13 Commits
22f132094a
...
4eca827d36
Author | SHA1 | Date | |
---|---|---|---|
|
4eca827d36 | ||
|
5d4155aa32 | ||
|
e1e634c815 | ||
|
f6727f8e34 | ||
|
a56ace4d3e | ||
|
0750e8d0c0 | ||
|
2a84a426b4 | ||
|
2b0186fd58 | ||
|
6884c5cbe3 | ||
|
d2ec5e271c | ||
|
d8de8a058a | ||
|
e40c059c26 | ||
|
728e4ce123 |
3
blk/000
3
blk/000
@ -3,7 +3,8 @@ Collapse OS file system
|
|||||||
This is a Forth-style filesystems which is very simple. It is a
|
This is a Forth-style filesystems which is very simple. It is a
|
||||||
list of 1024 bytes block, organised in 16 lines of 64 columns
|
list of 1024 bytes block, organised in 16 lines of 64 columns
|
||||||
each. You refer to blocks by numbers. You show them with LIST.
|
each. You refer to blocks by numbers. You show them with LIST.
|
||||||
You interpret them with LOAD.
|
You interpret them with LOAD. For a convenient way to browse
|
||||||
|
blocks, see Block Explorer at B100.
|
||||||
|
|
||||||
Conventions: When you see "(cont.)" at the bottom right of a
|
Conventions: When you see "(cont.)" at the bottom right of a
|
||||||
block, it means that the next block continues the same kind of
|
block, it means that the next block continues the same kind of
|
||||||
|
2
blk/054
2
blk/054
@ -10,3 +10,5 @@ MOD a b -- c a % b -> c
|
|||||||
AND a b -- c a & b -> c
|
AND a b -- c a & b -> c
|
||||||
OR a b -- c a | b -> c
|
OR a b -- c a | b -> c
|
||||||
XOR a b -- c a ^ b -> c
|
XOR a b -- c a ^ b -> c
|
||||||
|
|
||||||
|
Shortcuts: 1+ 2+ 1- 2-
|
||||||
|
2
blk/077
2
blk/077
@ -6,7 +6,7 @@ A dictionary entry has this structure:
|
|||||||
bigger than input buffer, of course). not null-terminated
|
bigger than input buffer, of course). not null-terminated
|
||||||
- 2b prev offset
|
- 2b prev offset
|
||||||
- 1b size + IMMEDIATE flag
|
- 1b size + IMMEDIATE flag
|
||||||
- 2b code pointer
|
- 1b code pointer (always jumps in the <0x100 range)
|
||||||
- Parameter field (PF)
|
- Parameter field (PF)
|
||||||
|
|
||||||
The prev offset is the number of bytes between the prev field
|
The prev offset is the number of bytes between the prev field
|
||||||
|
4
blk/078
4
blk/078
@ -1,7 +1,9 @@
|
|||||||
(cont.) The code pointer point to "word routines". These
|
(cont.) The code pointer point to "word routines". These
|
||||||
routines expect to be called with IY pointing to the PF. They
|
routines expect to be called with IY pointing to the PF. They
|
||||||
themselves are expected to end by jumping to the address at
|
themselves are expected to end by jumping to the address at
|
||||||
(IP). They will usually do so with "jp next".
|
(IP). They will usually do so with "jp next". They are 1b
|
||||||
|
because all those routines live in the first 0x100 bytes of
|
||||||
|
the boot binary. The 0 MSB is assumed.
|
||||||
|
|
||||||
That's for "regular" words (words that are part of the dict
|
That's for "regular" words (words that are part of the dict
|
||||||
chain). There are also "special words", for example NUMBER,
|
chain). There are also "special words", for example NUMBER,
|
||||||
|
2
blk/081
2
blk/081
@ -2,7 +2,7 @@
|
|||||||
RAMSTART INITIAL_SP +53 readln's variables
|
RAMSTART INITIAL_SP +53 readln's variables
|
||||||
+02 CURRENT +55 adev's variables
|
+02 CURRENT +55 adev's variables
|
||||||
+04 HERE +57 blk's variables
|
+04 HERE +57 blk's variables
|
||||||
+06 IP +59 z80a's variables
|
+06 FUTURE USES +59 z80a's variables
|
||||||
+08 FLAGS +5b FUTURE USES
|
+08 FLAGS +5b FUTURE USES
|
||||||
+0a PARSEPTR +70 DRIVERS
|
+0a PARSEPTR +70 DRIVERS
|
||||||
+0c CINPTR +80 RAMEND
|
+0c CINPTR +80 RAMEND
|
||||||
|
2
blk/100
2
blk/100
@ -7,4 +7,4 @@ USAGE: When loaded, the Forth interpreter is replaced by the
|
|||||||
explorer interpreter. Typing "Q" quits the program.
|
explorer interpreter. Typing "Q" quits the program.
|
||||||
|
|
||||||
Typing a decimal number followed by space or return lists the
|
Typing a decimal number followed by space or return lists the
|
||||||
contents of that block.
|
contents of that block. B for previous block, N for next.
|
||||||
|
16
blk/102
16
blk/102
@ -1,2 +1,14 @@
|
|||||||
: foo ." Hello world! " 42 . ;
|
103 LOAD
|
||||||
foo
|
VARIABLE _K
|
||||||
|
|
||||||
|
: PGM
|
||||||
|
100 _LIST
|
||||||
|
BEGIN
|
||||||
|
KEY
|
||||||
|
DUP 'Q' = IF DROP EXIT THEN
|
||||||
|
DUP 58 ( '9'+1 ) < IF _NUM
|
||||||
|
ELSE
|
||||||
|
_K ! _K (find) IF EXECUTE THEN
|
||||||
|
THEN
|
||||||
|
AGAIN
|
||||||
|
; PGM
|
||||||
|
10
blk/103
10
blk/103
@ -1 +1,9 @@
|
|||||||
42 . 102 LOAD 43 .
|
VARIABLE ACC
|
||||||
|
: _LIST ." Block " DUP . CRLF LIST ;
|
||||||
|
: _NUM
|
||||||
|
ACC @ SWAP _pdacc
|
||||||
|
IF _LIST 0 THEN
|
||||||
|
ACC !
|
||||||
|
;
|
||||||
|
: B BLK> @ 1- DUP BLK> ! _LIST ;
|
||||||
|
: N BLK> @ 1+ DUP BLK> ! _LIST ;
|
||||||
|
Binary file not shown.
218
forth/boot.fs
218
forth/boot.fs
@ -1,6 +1,13 @@
|
|||||||
( Configuration words: RAMSTART, RS_ADDR )
|
( Configuration words: RAMSTART, RS_ADDR )
|
||||||
H@ 256 /MOD 2 PC! 2 PC!
|
H@ 256 /MOD 2 PC! 2 PC!
|
||||||
|
|
||||||
|
( RESERVED REGISTERS
|
||||||
|
|
||||||
|
At all times, IX points to RSP TOS and IY is IP. SP points
|
||||||
|
to PSP TOS, but you can still use the stack in native code.
|
||||||
|
you just have to make sure you've restored it before "next".
|
||||||
|
)
|
||||||
|
|
||||||
( STABLE ABI
|
( STABLE ABI
|
||||||
Those jumps below are supposed to stay at these offsets,
|
Those jumps below are supposed to stay at these offsets,
|
||||||
always. If they change bootstrap binaries have to be
|
always. If they change bootstrap binaries have to be
|
||||||
@ -20,7 +27,7 @@ NOP, ( 0a, unused )
|
|||||||
0 JPnn, ( 0e, compiledWord )
|
0 JPnn, ( 0e, compiledWord )
|
||||||
0 JPnn, ( 11, pushRS )
|
0 JPnn, ( 11, pushRS )
|
||||||
0 JPnn, ( 14, popRS )
|
0 JPnn, ( 14, popRS )
|
||||||
JP(IY), NOP, ( 17, nativeWord )
|
EXDEHL, JP(HL), NOP, ( 17, nativeWord )
|
||||||
0 JPnn, ( 1a, next )
|
0 JPnn, ( 1a, next )
|
||||||
0 JPnn, ( 1d, chkPS )
|
0 JPnn, ( 1d, chkPS )
|
||||||
NOP, NOP, ( 20, numberWord )
|
NOP, NOP, ( 20, numberWord )
|
||||||
@ -31,77 +38,82 @@ RAMSTART 0x4e + JPnn, ( 28, RST 28 )
|
|||||||
0 JPnn, ( 2b, doesWord )
|
0 JPnn, ( 2b, doesWord )
|
||||||
NOP, NOP, ( 2e, unused )
|
NOP, NOP, ( 2e, unused )
|
||||||
RAMSTART 0x4e + JPnn, ( RST 30 )
|
RAMSTART 0x4e + JPnn, ( RST 30 )
|
||||||
NOP, NOP, NOP, ( unused )
|
0 JPnn, ( 33, execute )
|
||||||
NOP, NOP, ( unused )
|
NOP, NOP, ( unused )
|
||||||
RAMSTART 0x4e + JPnn, ( RST 38 )
|
RAMSTART 0x4e + JPnn, ( RST 38 )
|
||||||
NOP, ( unused )
|
|
||||||
|
|
||||||
( BOOT DICT
|
( BOOT DICT
|
||||||
There are only 5 words in the boot dict, but these words'
|
There are only 3 words in the boot dict, but these words'
|
||||||
offset need to be stable, so they're part of the "stable
|
offset need to be stable, so they're part of the "stable
|
||||||
ABI"
|
ABI"
|
||||||
)
|
)
|
||||||
'E' A, 'X' A, 'I' A, 'T' A,
|
'E' A, 'X' A, 'I' A, 'T' A,
|
||||||
0 A,, ( prev )
|
0 A,, ( prev )
|
||||||
4 A,
|
4 A,
|
||||||
L1 BSET ( EXIT )
|
H@ XCURRENT ! ( set current tip of dict, 0x42 )
|
||||||
0x17 A,, ( nativeWord )
|
0x17 A, ( nativeWord )
|
||||||
0x14 CALLnn, ( popRS )
|
0x14 CALLnn, ( popRS )
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
HL PUSHqq, IY POPqq, ( --> IP )
|
||||||
JPNEXT,
|
JPNEXT,
|
||||||
|
|
||||||
NOP, NOP, NOP, ( unused )
|
CODE (br) ( 0x53 )
|
||||||
|
|
||||||
'(' A, 'b' A, 'r' A, ')' A,
|
|
||||||
PC L1 @ - A,, ( prev )
|
|
||||||
4 A,
|
|
||||||
L1 BSET ( BR )
|
|
||||||
0x17 A,, ( nativeWord )
|
|
||||||
L2 BSET ( used in CBR )
|
L2 BSET ( used in CBR )
|
||||||
RAMSTART 0x06 + LDHL(nn), ( RAMSTART+0x06 == IP )
|
E 0 IY+ LDrIXY,
|
||||||
E (HL) LDrr,
|
D 1 IY+ LDrIXY,
|
||||||
HL INCss,
|
DE ADDIYss,
|
||||||
D (HL) LDrr,
|
|
||||||
HL DECss,
|
|
||||||
DE ADDHLss,
|
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
|
||||||
JPNEXT,
|
JPNEXT,
|
||||||
|
|
||||||
'(' A, '?' A, 'b' A, 'r' A, ')' A,
|
CODE (?br) ( 0x67 )
|
||||||
PC L1 @ - A,, ( prev )
|
|
||||||
5 A,
|
|
||||||
L1 BSET ( CBR )
|
|
||||||
0x17 A,, ( nativeWord )
|
|
||||||
HL POPqq,
|
HL POPqq,
|
||||||
chkPS,
|
chkPS,
|
||||||
A H LDrr,
|
A H LDrr,
|
||||||
L ORr,
|
L ORr,
|
||||||
JRZ, L2 BWR ( BR + 2. False, branch )
|
JRZ, L2 BWR ( BR + 2. False, branch )
|
||||||
( True, skip next 2 bytes and don't branch )
|
( True, skip next 2 bytes and don't branch )
|
||||||
RAMSTART 0x06 + LDHL(nn), ( RAMSTART+0x06 == IP )
|
IY INCss,
|
||||||
HL INCss,
|
IY INCss,
|
||||||
HL INCss,
|
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
|
||||||
JPNEXT,
|
JPNEXT,
|
||||||
|
|
||||||
'E' A, 'X' A, 'E' A, 'C' A, 'U' A, 'T' A, 'E' A,
|
|
||||||
PC L1 @ - A,, ( prev )
|
|
||||||
7 A,
|
|
||||||
H@ XCURRENT ! ( set current tip of dict )
|
|
||||||
L2 BSET ( used frequently below )
|
|
||||||
0x17 A,, ( nativeWord )
|
|
||||||
IY POPqq, ( is a wordref )
|
|
||||||
chkPS,
|
|
||||||
L 0 IY+ LDrIXY,
|
|
||||||
H 1 IY+ LDrIXY,
|
|
||||||
( HL points to code pointer )
|
|
||||||
IY INCss,
|
|
||||||
IY INCss,
|
|
||||||
( IY points to PFA )
|
|
||||||
JP(HL),
|
|
||||||
|
|
||||||
( END OF STABLE ABI )
|
( END OF STABLE ABI )
|
||||||
|
|
||||||
|
( We want numberWord and litWord routine to be below the 0x100
|
||||||
|
offset so that we can reduce the size of the routine field
|
||||||
|
in words to 1 byte. )
|
||||||
|
( addrWord is the exact same thing as a numberWord except that
|
||||||
|
it is treated differently by meta-tools. See notes.txt )
|
||||||
|
PC ORG @ 0x20 + ! ( numberWord )
|
||||||
|
PC ORG @ 0x24 + ! ( addrWord )
|
||||||
|
( This is not a word, but a number literal. This works a bit
|
||||||
|
differently than others: PF means nothing and the actual
|
||||||
|
number is placed next to the numberWord reference in the
|
||||||
|
compiled word list. What we need to do to fetch that number
|
||||||
|
is to play with the IP.
|
||||||
|
)
|
||||||
|
E 0 IY+ LDrIXY,
|
||||||
|
D 1 IY+ LDrIXY,
|
||||||
|
IY INCss,
|
||||||
|
IY INCss,
|
||||||
|
DE PUSHqq,
|
||||||
|
JPNEXT,
|
||||||
|
|
||||||
|
PC ORG @ 0x22 + ! ( litWord )
|
||||||
|
( Similarly to numberWord, this is not a real word, but a
|
||||||
|
string literal. Instead of being followed by a 2 bytes
|
||||||
|
number, it's followed by a null-terminated string. When
|
||||||
|
called, puts the string's address on PS )
|
||||||
|
IY PUSHqq, HL POPqq, ( <-- IP )
|
||||||
|
HL PUSHqq,
|
||||||
|
( skip to null char )
|
||||||
|
A XORr, ( look for null )
|
||||||
|
B A LDrr,
|
||||||
|
C A LDrr,
|
||||||
|
CPIR,
|
||||||
|
( CPIR advances HL regardless of comparison, so goes one
|
||||||
|
char after NULL. This is good, because that's what we
|
||||||
|
want... )
|
||||||
|
HL PUSHqq, IY POPqq, ( --> IP )
|
||||||
|
JPNEXT,
|
||||||
|
|
||||||
( Name of BOOT word )
|
( Name of BOOT word )
|
||||||
L1 BSET
|
L1 BSET
|
||||||
'B' A, 'O' A, 'O' A, 'T' A, 0 A,
|
'B' A, 'O' A, 'O' A, 'T' A, 0 A,
|
||||||
@ -129,8 +141,7 @@ PC ORG @ 1 + ! ( main )
|
|||||||
EXDEHL,
|
EXDEHL,
|
||||||
HL L1 @ LDddnn,
|
HL L1 @ LDddnn,
|
||||||
0x03 CALLnn, ( 03 == find )
|
0x03 CALLnn, ( 03 == find )
|
||||||
DE PUSHqq,
|
0x33 JPnn, ( 33 == execute )
|
||||||
L2 @ 2 + JPnn,
|
|
||||||
|
|
||||||
PC ORG @ 4 + ! ( find )
|
PC ORG @ 4 + ! ( find )
|
||||||
( Find the entry corresponding to word name where (HL) points
|
( Find the entry corresponding to word name where (HL) points
|
||||||
@ -167,7 +178,7 @@ BEGIN, ( inner )
|
|||||||
LDA(DE),
|
LDA(DE),
|
||||||
0x7f ANDn, ( remove IMMEDIATE flag )
|
0x7f ANDn, ( remove IMMEDIATE flag )
|
||||||
C CPr,
|
C CPr,
|
||||||
JRNZ, L4 FWR ( loopend )
|
JRNZ, L2 FWR ( loopend )
|
||||||
( match, let's compare the string then )
|
( match, let's compare the string then )
|
||||||
DE DECss, ( Skip prev field. One less because we )
|
DE DECss, ( Skip prev field. One less because we )
|
||||||
DE DECss, ( pre-decrement )
|
DE DECss, ( pre-decrement )
|
||||||
@ -180,12 +191,12 @@ BEGIN, ( loop )
|
|||||||
(HL) CPr,
|
(HL) CPr,
|
||||||
JRNZ, L3 FWR ( loopend )
|
JRNZ, L3 FWR ( loopend )
|
||||||
DJNZ, AGAIN, ( loop )
|
DJNZ, AGAIN, ( loop )
|
||||||
L4 FSET L3 FSET ( loopend )
|
L2 FSET L3 FSET ( loopend )
|
||||||
( At this point, Z is set if we have a match. In all cases,
|
( At this point, Z is set if we have a match. In all cases,
|
||||||
we want to pop HL and DE )
|
we want to pop HL and DE )
|
||||||
DE POPqq, ( <-- lvl 2 )
|
DE POPqq, ( <-- lvl 2 )
|
||||||
HL POPqq, ( <-- lvl 1 )
|
HL POPqq, ( <-- lvl 1 )
|
||||||
JRZ, L4 FWR ( end, match? we're done! )
|
JRZ, L2 FWR ( end, match? we're done! )
|
||||||
( no match, go to prev and continue )
|
( no match, go to prev and continue )
|
||||||
HL PUSHqq, ( --> lvl 1 )
|
HL PUSHqq, ( --> lvl 1 )
|
||||||
DE DECss,
|
DE DECss,
|
||||||
@ -213,7 +224,7 @@ L4 FSET L3 FSET ( loopend )
|
|||||||
L1 FSET ( fail )
|
L1 FSET ( fail )
|
||||||
A XORr,
|
A XORr,
|
||||||
A INCr,
|
A INCr,
|
||||||
L4 FSET ( end )
|
L2 FSET ( end )
|
||||||
HL POPqq,
|
HL POPqq,
|
||||||
BC POPqq,
|
BC POPqq,
|
||||||
RET,
|
RET,
|
||||||
@ -237,8 +248,7 @@ L1 BSET ( abortUnderflow )
|
|||||||
HL PC 7 - LDddnn,
|
HL PC 7 - LDddnn,
|
||||||
DE RAMSTART 0x02 + LDdd(nn), ( RAM+02 == CURRENT )
|
DE RAMSTART 0x02 + LDdd(nn), ( RAM+02 == CURRENT )
|
||||||
0x03 CALLnn, ( find )
|
0x03 CALLnn, ( find )
|
||||||
DE PUSHqq,
|
0x33 JPnn, ( 33 == execute )
|
||||||
L2 @ 2 + JPnn, ( EXECUTE, skip nativeWord )
|
|
||||||
|
|
||||||
|
|
||||||
PC ORG @ 0x1e + ! ( chkPS )
|
PC ORG @ 0x1e + ! ( chkPS )
|
||||||
@ -255,7 +265,7 @@ PC ORG @ 0x1e + ! ( chkPS )
|
|||||||
CNC RETcc, ( INITIAL_SP >= SP? good )
|
CNC RETcc, ( INITIAL_SP >= SP? good )
|
||||||
JR, L1 BWR ( abortUnderflow )
|
JR, L1 BWR ( abortUnderflow )
|
||||||
|
|
||||||
L3 BSET ( chkRS )
|
L2 BSET ( chkRS )
|
||||||
IX PUSHqq, HL POPqq,
|
IX PUSHqq, HL POPqq,
|
||||||
DE RS_ADDR LDddnn,
|
DE RS_ADDR LDddnn,
|
||||||
DE SUBHLss,
|
DE SUBHLss,
|
||||||
@ -269,44 +279,45 @@ PC ORG @ 0x1b + ! ( next )
|
|||||||
it by 2 before jumping. )
|
it by 2 before jumping. )
|
||||||
( Before we continue: are stacks within bounds? )
|
( Before we continue: are stacks within bounds? )
|
||||||
0x1d CALLnn, ( chkPS )
|
0x1d CALLnn, ( chkPS )
|
||||||
L3 @ CALLnn, ( chkRS )
|
L2 @ CALLnn, ( chkRS )
|
||||||
DE RAMSTART 0x06 + LDdd(nn), ( RAMSTART+0x06 == IP )
|
E 0 IY+ LDrIXY,
|
||||||
H D LDrr,
|
D 1 IY+ LDrIXY,
|
||||||
L E LDrr,
|
IY INCss,
|
||||||
DE INCss,
|
IY INCss,
|
||||||
DE INCss,
|
( continue to execute )
|
||||||
RAMSTART 0x06 + DE LD(nn)dd, ( RAMSTART+0x06 == IP )
|
|
||||||
( HL is an atom list pointer. We need to go into it to
|
|
||||||
have a wordref )
|
|
||||||
E (HL) LDrr,
|
|
||||||
HL INCss,
|
|
||||||
D (HL) LDrr,
|
|
||||||
DE PUSHqq,
|
|
||||||
L2 @ 2 + JPnn, ( EXECUTE, skip nativeWord )
|
|
||||||
|
|
||||||
( WORD ROUTINES )
|
PC ORG @ 0x34 + ! ( execute )
|
||||||
|
( DE points to wordref )
|
||||||
|
EXDEHL,
|
||||||
|
E (HL) LDrr,
|
||||||
|
D 0 LDrn,
|
||||||
|
EXDEHL,
|
||||||
|
( HL points to code pointer )
|
||||||
|
DE INCss,
|
||||||
|
( DE points to PFA )
|
||||||
|
JP(HL),
|
||||||
|
|
||||||
PC ORG @ 0x0f + ! ( compiledWord )
|
PC ORG @ 0x0f + ! ( compiledWord )
|
||||||
( Execute a list of atoms, which always end with EXIT.
|
( Execute a list of atoms, which always end with EXIT.
|
||||||
IY points to that list. What do we do:
|
DE points to that list. What do we do:
|
||||||
1. Push current IP to RS
|
1. Push current IP to RS
|
||||||
2. Set new IP to the second atom of the list
|
2. Set new IP to the second atom of the list
|
||||||
3. Execute the first atom of the list. )
|
3. Execute the first atom of the list. )
|
||||||
RAMSTART 0x06 + LDHL(nn), ( RAMSTART+0x06 == IP )
|
IY PUSHqq, HL POPqq, ( <-- IP )
|
||||||
0x11 CALLnn, ( 11 == pushRS )
|
0x11 CALLnn, ( 11 == pushRS )
|
||||||
IY PUSHqq, HL POPqq,
|
EXDEHL, ( HL points to PFA )
|
||||||
|
( While we increase, dereference into DE for execute call
|
||||||
|
later. )
|
||||||
|
E (HL) LDrr,
|
||||||
HL INCss,
|
HL INCss,
|
||||||
|
D (HL) LDrr,
|
||||||
HL INCss,
|
HL INCss,
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
HL PUSHqq, IY POPqq, ( --> IP )
|
||||||
( IY still is our atom reference )
|
0x33 JPnn, ( 33 == execute )
|
||||||
L 0 IY+ LDrIXY,
|
|
||||||
H 1 IY+ LDrIXY,
|
|
||||||
HL PUSHqq, ( arg for EXECUTE )
|
|
||||||
L2 @ 2 + JPnn, ( EXECUTE, skip nativeWord )
|
|
||||||
|
|
||||||
PC ORG @ 0x0c + ! ( cellWord )
|
PC ORG @ 0x0c + ! ( cellWord )
|
||||||
( Pushes the PFA directly )
|
( Pushes PFA directly )
|
||||||
IY PUSHqq,
|
DE PUSHqq,
|
||||||
JPNEXT,
|
JPNEXT,
|
||||||
|
|
||||||
PC ORG @ 0x2c + ! ( doesWord )
|
PC ORG @ 0x2c + ! ( doesWord )
|
||||||
@ -317,46 +328,11 @@ PC ORG @ 0x2c + ! ( doesWord )
|
|||||||
linkfrom the PFA, and then continue as a regular
|
linkfrom the PFA, and then continue as a regular
|
||||||
compiledWord.
|
compiledWord.
|
||||||
)
|
)
|
||||||
IY PUSHqq, ( like a regular cell )
|
DE PUSHqq, ( like a regular cell )
|
||||||
L 2 IY+ LDrIXY,
|
EXDEHL,
|
||||||
H 3 IY+ LDrIXY,
|
HL INCss,
|
||||||
HL PUSHqq, IY POPqq,
|
HL INCss,
|
||||||
0x0e JPnn, ( 0e == compiledWord )
|
|
||||||
|
|
||||||
|
|
||||||
( addrWord is the exact same thing as a numberWord except that
|
|
||||||
it is treated differently by meta-tools. See notes.txt )
|
|
||||||
PC ORG @ 0x20 + ! ( numberWord )
|
|
||||||
PC ORG @ 0x24 + ! ( addrWord )
|
|
||||||
( This is not a word, but a number literal. This works a bit
|
|
||||||
differently than others: PF means nothing and the actual
|
|
||||||
number is placed next to the numberWord reference in the
|
|
||||||
compiled word list. What we need to do to fetch that number
|
|
||||||
is to play with the IP.
|
|
||||||
)
|
|
||||||
RAMSTART 0x06 + LDHL(nn), ( RAMSTART+0x06 == IP )
|
|
||||||
E (HL) LDrr,
|
E (HL) LDrr,
|
||||||
HL INCss,
|
HL INCss,
|
||||||
D (HL) LDrr,
|
D (HL) LDrr,
|
||||||
HL INCss,
|
0x0e JPnn, ( 0e == compiledWord )
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
|
||||||
DE PUSHqq,
|
|
||||||
JPNEXT,
|
|
||||||
|
|
||||||
PC ORG @ 0x22 + ! ( litWord )
|
|
||||||
( Similarly to numberWord, this is not a real word, but a
|
|
||||||
string literal. Instead of being followed by a 2 bytes
|
|
||||||
number, it's followed by a null-terminated string. When
|
|
||||||
called, puts the string's address on PS )
|
|
||||||
RAMSTART 0x06 + LDHL(nn), ( RAMSTART+0x06 == IP )
|
|
||||||
HL PUSHqq,
|
|
||||||
( skip to null char )
|
|
||||||
A XORr, ( look for null )
|
|
||||||
B A LDrr,
|
|
||||||
C A LDrr,
|
|
||||||
CPIR,
|
|
||||||
( CPIR advances HL regardless of comparison, so goes one
|
|
||||||
char after NULL. This is good, because that's what we
|
|
||||||
want... )
|
|
||||||
RAMSTART 0x06 + LD(nn)HL, ( RAMSTART+0x06 == IP )
|
|
||||||
JPNEXT,
|
|
||||||
|
@ -58,7 +58,7 @@
|
|||||||
: CREATE
|
: CREATE
|
||||||
(entry) ( empty header with name )
|
(entry) ( empty header with name )
|
||||||
11 ( 11 == cellWord )
|
11 ( 11 == cellWord )
|
||||||
, ( write it )
|
C, ( write it )
|
||||||
;
|
;
|
||||||
|
|
||||||
( We run this when we're in an entry creation context. Many
|
( We run this when we're in an entry creation context. Many
|
||||||
@ -71,11 +71,11 @@
|
|||||||
: DOES>
|
: DOES>
|
||||||
( Overwrite cellWord in CURRENT )
|
( Overwrite cellWord in CURRENT )
|
||||||
( 43 == doesWord )
|
( 43 == doesWord )
|
||||||
43 CURRENT @ !
|
43 CURRENT @ C!
|
||||||
( When we have a DOES>, we forcefully place HERE to 4
|
( When we have a DOES>, we forcefully place HERE to 4
|
||||||
bytes after CURRENT. This allows a DOES word to use ","
|
bytes after CURRENT. This allows a DOES word to use ","
|
||||||
and "C," without messing everything up. )
|
and "C," without messing everything up. )
|
||||||
CURRENT @ 4 + HERE !
|
CURRENT @ 3 + HERE !
|
||||||
( HERE points to where we should write R> )
|
( HERE points to where we should write R> )
|
||||||
R> ,
|
R> ,
|
||||||
( We're done. Because we've popped RS, we'll exit parent
|
( We're done. Because we've popped RS, we'll exit parent
|
||||||
|
@ -237,7 +237,7 @@ XCURRENT @ ( to PSP )
|
|||||||
( We cannot use LITN as IMMEDIATE because of bootstrapping
|
( We cannot use LITN as IMMEDIATE because of bootstrapping
|
||||||
issues. Same thing for ",".
|
issues. Same thing for ",".
|
||||||
32 == NUMBER 14 == compiledWord )
|
32 == NUMBER 14 == compiledWord )
|
||||||
[ 32 H@ ! 2 ALLOT 14 H@ ! 2 ALLOT ] ,
|
[ 32 H@ ! 2 ALLOT 14 H@ ! 2 ALLOT ] C,
|
||||||
BEGIN
|
BEGIN
|
||||||
WORD
|
WORD
|
||||||
(find)
|
(find)
|
||||||
|
@ -82,7 +82,7 @@
|
|||||||
)
|
)
|
||||||
( ol o a1 a2 -- )
|
( ol o a1 a2 -- )
|
||||||
: RLWORD
|
: RLWORD
|
||||||
SWAP DUP @ ( ol o a2 a1 n )
|
SWAP DUP C@ ( ol o a2 a1 n )
|
||||||
( 0e == compiledWord, 2b == doesWord )
|
( 0e == compiledWord, 2b == doesWord )
|
||||||
DUP <>{ 0x0e &= 0x2b |= <>} NOT IF
|
DUP <>{ 0x0e &= 0x2b |= <>} NOT IF
|
||||||
( unwind all args )
|
( unwind all args )
|
||||||
@ -95,7 +95,7 @@
|
|||||||
( ol o a2 a1 n )
|
( ol o a2 a1 n )
|
||||||
0x2b = IF 2+ THEN
|
0x2b = IF 2+ THEN
|
||||||
( ol o a2 a1 )
|
( ol o a2 a1 )
|
||||||
2 + ( ol o a2 a1+2 )
|
1+ ( ol o a2 a1+1 )
|
||||||
BEGIN ( ol o a2 a1 )
|
BEGIN ( ol o a2 a1 )
|
||||||
2OVER ( ol o a2 a1 ol o )
|
2OVER ( ol o a2 a1 ol o )
|
||||||
SWAP ( ol o a2 a1 o ol )
|
SWAP ( ol o a2 a1 o ol )
|
||||||
|
@ -34,7 +34,7 @@ VARIABLE XOFF
|
|||||||
: X:
|
: X:
|
||||||
(xentry)
|
(xentry)
|
||||||
( 0e == compiledWord )
|
( 0e == compiledWord )
|
||||||
[ 0x0e LITN ] ,
|
[ 0x0e LITN ] C,
|
||||||
BEGIN
|
BEGIN
|
||||||
WORD
|
WORD
|
||||||
( cross compile CURRENT )
|
( cross compile CURRENT )
|
||||||
|
@ -158,6 +158,11 @@
|
|||||||
0x0b OP1qq DECss,
|
0x0b OP1qq DECss,
|
||||||
0x09 OP1qq ADDHLss,
|
0x09 OP1qq ADDHLss,
|
||||||
|
|
||||||
|
: ADDIXss, 0xdd A, ADDHLss, ;
|
||||||
|
: ADDIXIX, HL ADDIXss, ;
|
||||||
|
: ADDIYss, 0xfd A, ADDHLss, ;
|
||||||
|
: ADDIYIY, HL ADDIYss, ;
|
||||||
|
|
||||||
: _1rr
|
: _1rr
|
||||||
C@ ( rd rr op )
|
C@ ( rd rr op )
|
||||||
ROT ( rr op rd )
|
ROT ( rr op rd )
|
||||||
@ -324,7 +329,7 @@
|
|||||||
( same as CREATE, but with native word )
|
( same as CREATE, but with native word )
|
||||||
(entry)
|
(entry)
|
||||||
( 23 == nativeWord )
|
( 23 == nativeWord )
|
||||||
23 ,
|
23 C,
|
||||||
;
|
;
|
||||||
|
|
||||||
: ;CODE JPNEXT, ;
|
: ;CODE JPNEXT, ;
|
||||||
@ -385,4 +390,3 @@
|
|||||||
;
|
;
|
||||||
: FWR BSET 0 A, ;
|
: FWR BSET 0 A, ;
|
||||||
: FSET @ THEN, ;
|
: FSET @ THEN, ;
|
||||||
|
|
||||||
|
@ -14,6 +14,11 @@
|
|||||||
This unit expects the same conf as boot.fs.
|
This unit expects the same conf as boot.fs.
|
||||||
)
|
)
|
||||||
|
|
||||||
|
CODE EXECUTE
|
||||||
|
DE POPqq,
|
||||||
|
chkPS,
|
||||||
|
0x33 JPnn, ( 33 == execute )
|
||||||
|
|
||||||
( a b c -- b c a )
|
( a b c -- b c a )
|
||||||
CODE ROT
|
CODE ROT
|
||||||
HL POPqq, ( C )
|
HL POPqq, ( C )
|
||||||
@ -80,13 +85,13 @@ CODE 2OVER
|
|||||||
HL POPqq, ( D )
|
HL POPqq, ( D )
|
||||||
DE POPqq, ( C )
|
DE POPqq, ( C )
|
||||||
BC POPqq, ( B )
|
BC POPqq, ( B )
|
||||||
IY POPqq, ( A )
|
EXX, HL POPqq, EXX, ( A )
|
||||||
chkPS,
|
chkPS,
|
||||||
IY PUSHqq, ( A )
|
EXX, HL PUSHqq, EXX, ( A )
|
||||||
BC PUSHqq, ( B )
|
BC PUSHqq, ( B )
|
||||||
DE PUSHqq, ( C )
|
DE PUSHqq, ( C )
|
||||||
HL PUSHqq, ( D )
|
HL PUSHqq, ( D )
|
||||||
IY PUSHqq, ( A )
|
EXX, HL PUSHqq, EXX, ( A )
|
||||||
BC PUSHqq, ( B )
|
BC PUSHqq, ( B )
|
||||||
;CODE
|
;CODE
|
||||||
|
|
||||||
@ -96,11 +101,11 @@ CODE 2SWAP
|
|||||||
HL POPqq, ( D )
|
HL POPqq, ( D )
|
||||||
DE POPqq, ( C )
|
DE POPqq, ( C )
|
||||||
BC POPqq, ( B )
|
BC POPqq, ( B )
|
||||||
IY POPqq, ( A )
|
EXX, HL POPqq, EXX, ( A )
|
||||||
chkPS,
|
chkPS,
|
||||||
DE PUSHqq, ( C )
|
DE PUSHqq, ( C )
|
||||||
HL PUSHqq, ( D )
|
HL PUSHqq, ( D )
|
||||||
IY PUSHqq, ( A )
|
EXX, HL PUSHqq, EXX, ( A )
|
||||||
BC PUSHqq, ( B )
|
BC PUSHqq, ( B )
|
||||||
;CODE
|
;CODE
|
||||||
|
|
||||||
@ -376,3 +381,48 @@ CODE (im1)
|
|||||||
IM1,
|
IM1,
|
||||||
EI,
|
EI,
|
||||||
;CODE
|
;CODE
|
||||||
|
|
||||||
|
CODE 0
|
||||||
|
HL 0 LDddnn,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE 1
|
||||||
|
HL 1 LDddnn,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE -1
|
||||||
|
HL -1 LDddnn,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE 1+
|
||||||
|
HL POPqq,
|
||||||
|
chkPS,
|
||||||
|
HL INCss,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE 1-
|
||||||
|
HL POPqq,
|
||||||
|
chkPS,
|
||||||
|
HL DECss,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE 2+
|
||||||
|
HL POPqq,
|
||||||
|
chkPS,
|
||||||
|
HL INCss,
|
||||||
|
HL INCss,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
|
||||||
|
CODE 2-
|
||||||
|
HL POPqq,
|
||||||
|
chkPS,
|
||||||
|
HL DECss,
|
||||||
|
HL DECss,
|
||||||
|
HL PUSHqq,
|
||||||
|
;CODE
|
||||||
|
Loading…
Reference in New Issue
Block a user