version 1.130, 2002/12/14 17:34:12
|
version 1.137, 2003/03/01 11:57:42
|
Line 1412 T has? rom H
|
Line 1412 T has? rom H
|
|
|
\ MakeKernel 22feb99jaw |
\ MakeKernel 22feb99jaw |
|
|
: makekernel ( targetsize -- ) |
: makekernel ( start targetsize -- ) |
\G convenience word to setup the memory of the target |
\G convenience word to setup the memory of the target |
\G used by main.fs of the c-engine based systems |
\G used by main.fs of the c-engine based systems |
100 swap dictionary (region) |
dictionary (region) setup-target ; |
setup-target ; |
|
|
|
>MINIMAL |
>MINIMAL |
: makekernel makekernel ; |
: makekernel makekernel ; |
Line 2072 s" kernel.TAGS" r/w create-file throw va
|
Line 2071 s" kernel.TAGS" r/w create-file throw va
|
s" kernel.tags" r/w create-file throw value vi-tag-file-id |
s" kernel.tags" r/w create-file throw value vi-tag-file-id |
\ contains the file-id of the tags file |
\ contains the file-id of the tags file |
|
|
Create tag-beg 2 c, 7F c, bl c, |
Create tag-beg 1 c, 7F c, |
Create tag-end 2 c, bl c, 01 c, |
Create tag-end 1 c, 01 c, |
Create tag-bof 1 c, 0C c, |
Create tag-bof 1 c, 0C c, |
Create tag-tab 1 c, 09 c, |
Create tag-tab 1 c, 09 c, |
|
|
Line 2270 Defer setup-prim-semantics
|
Line 2269 Defer setup-prim-semantics
|
|
|
Variable prim# |
Variable prim# |
: first-primitive ( n -- ) prim# ! ; |
: first-primitive ( n -- ) prim# ! ; |
|
: group 0 word drop prim# @ 1- -$200 and prim# ! ; |
: Primitive ( -- ) \ name |
: Primitive ( -- ) \ name |
>in @ skip? IF drop EXIT THEN >in ! |
>in @ skip? IF drop EXIT THEN >in ! |
s" prims" T $has? H 0= |
s" prims" T $has? H 0= |
Line 2580 Cond: [ ( -- ) interpreting-state ;Cond
|
Line 2580 Cond: [ ( -- ) interpreting-state ;Cond
|
|
|
Defer instant-interpret-does>-hook |
Defer instant-interpret-does>-hook |
|
|
|
T has? peephole H [IF] |
: does-resolved ( ghost -- ) |
: does-resolved ( ghost -- ) |
compile does-exec g>xt T a, H ; |
compile does-exec g>xt T a, H ; |
|
[ELSE] |
|
: does-resolved ( ghost -- ) |
|
g>xt T a, H ; |
|
[THEN] |
|
|
: resolve-does>-part ( -- ) |
: resolve-does>-part ( -- ) |
\ resolve words made by builders |
\ resolve words made by builders |
Line 2929 compile: does-resolved ;compile
|
Line 2934 compile: does-resolved ;compile
|
|
|
: >mark ( -- sys ) T here ( dup ." M" hex. ) 0 , H ; |
: >mark ( -- sys ) T here ( dup ." M" hex. ) 0 , H ; |
|
|
: branchoffset ( src dest -- ) - tchar / ; \ ?? jaw |
X has? abranch [IF] |
|
: branchoffset ( src dest -- ) drop ; |
|
: offset, ( n -- ) X A, ; |
|
[ELSE] |
|
: branchoffset ( src dest -- ) - tchar / ; \ ?? jaw |
|
: offset, ( n -- ) X , ; |
|
[THEN] |
|
|
:noname compile branch X here branchoffset X , ; |
:noname compile branch X here branchoffset offset, ; |
IS branch, ( target-addr -- ) |
IS branch, ( target-addr -- ) |
:noname compile ?branch X here branchoffset X , ; |
:noname compile ?branch X here branchoffset offset, ; |
IS ?branch, ( target-addr -- ) |
IS ?branch, ( target-addr -- ) |
:noname compile branch T here 0 , H ; |
:noname compile branch T here 0 H offset, ; |
IS branchmark, ( -- branchtoken ) |
IS branchmark, ( -- branchtoken ) |
:noname compile ?branch T here 0 , H ; |
:noname compile ?branch T here 0 H offset, ; |
IS ?branchmark, ( -- branchtoken ) |
IS ?branchmark, ( -- branchtoken ) |
:noname T here 0 , H ; |
:noname T here 0 H offset, ; |
IS ?domark, ( -- branchtoken ) |
IS ?domark, ( -- branchtoken ) |
:noname dup X @ ?struc X here over branchoffset swap X ! ; |
:noname dup X @ ?struc X here over branchoffset swap X ! ; |
IS branchtoresolve, ( branchtoken -- ) |
IS branchtoresolve, ( branchtoken -- ) |
Line 3012 Cond: ?LEAVE ?leave, ;Cond
|
Line 3023 Cond: ?LEAVE ?leave, ;Cond
|
|
|
: loop] ( target-addr -- ) |
: loop] ( target-addr -- ) |
branchto, |
branchto, |
dup X here branchoffset X , |
dup X here branchoffset offset, |
tcell - (done) ; |
tcell - (done) ; |
|
|
: skiploop] ?dup IF branchto, branchtoresolve, THEN ; |
: skiploop] ?dup IF branchto, branchtoresolve, THEN ; |
Line 3117 Cond: LOOP 1 ncontrols? loop, ;Cond
|
Line 3128 Cond: LOOP 1 ncontrols? loop, ;Cond
|
Cond: +LOOP 1 ncontrols? +loop, ;Cond |
Cond: +LOOP 1 ncontrols? +loop, ;Cond |
Cond: NEXT 1 ncontrols? next, ;Cond |
Cond: NEXT 1 ncontrols? next, ;Cond |
|
|
\ Absoulte branches 26sep02jaw |
|
|
|
\ This section defined different semantics for |
|
\ conditionals, using and compiling absolute branches |
|
|
|
X has? abranch [IF] |
|
|
|
Ghost abranch drop |
|
Ghost a?branch drop |
|
Ghost a(?do) drop |
|
Ghost a(do) drop |
|
Ghost a(next) drop |
|
Ghost a(+loop) drop |
|
Ghost a(loop) drop |
|
|
|
:noname compile abranch X a, ; plugin-of branch, |
|
|
|
:noname compile a?branch X a, ; plugin-of ?branch, |
|
|
|
:noname compile abranch T here 0 a, H ; plugin-of branchmark, |
|
|
|
:noname compile a?branch T here 0 a, H ; plugin-of ?branchmark, |
|
|
|
:noname |
|
dup X @ ABORT" CROSS: branch already resolved" |
|
X here swap X a! ; plugin-of branchtoresolve, |
|
|
|
:noname |
|
0 compile a(?do) ?domark, (leave) |
|
branchtomark, 2 to1 ; plugin-of ?do, |
|
|
|
: aloop] ( target-addr -- ) |
|
branchto, |
|
dup X a, |
|
tcell - (done) ; |
|
|
|
:noname |
|
1to compile a(loop) aloop] |
|
compile unloop skiploop] ; plugin-of loop, |
|
|
|
:noname |
|
1to compile a(+loop) aloop] |
|
compile unloop skiploop] ; plugin-of +loop, |
|
|
|
:noname |
|
compile a(next) aloop] compile unloop ; plugin-of next, |
|
|
|
[THEN] |
|
|
|
\ String words 23feb93py |
\ String words 23feb93py |
|
|
: ," [char] " parse ht-string, X align ; |
: ," [char] " parse ht-string, X align ; |
Line 3229 Cond: postpone ( -- ) \ name
|
Line 3191 Cond: postpone ( -- ) \ name
|
hex |
hex |
|
|
>CROSS |
>CROSS |
Create magic s" Gforth2x" here over allot swap move |
Create magic s" Gforth3x" here over allot swap move |
|
|
bigendian 1+ \ strangely, in magic big=0, little=1 |
bigendian 1+ \ strangely, in magic big=0, little=1 |
tcell 1 = 0 and or |
tcell 1 = 0 and or |
Line 3718 previous
|
Line 3680 previous
|
: bye bye ; |
: bye bye ; |
|
|
\ dummy |
\ dummy |
: group 0 word drop ; |
|
|
|
\ turnkey direction |
\ turnkey direction |
: H forth ; immediate |
: H forth ; immediate |