version 1.121, 2002/03/19 18:07:55
|
version 1.123, 2002/03/21 16:35:18
|
Line 71 H
|
Line 71 H
|
|
|
>CROSS |
>CROSS |
|
|
|
\ Test against this definitions to find out whether we are cross-compiling |
|
\ may be usefull for assemblers |
|
0 Constant gforth-cross-indicator |
|
|
\ find out whether we are compiling with gforth |
\ find out whether we are compiling with gforth |
|
|
: defined? bl word find nip ; |
: defined? bl word find nip ; |
Line 315 set-order previous
|
Line 319 set-order previous
|
\ POSTPONE false |
\ POSTPONE false |
THEN ; immediate |
THEN ; immediate |
|
|
|
: symentry ( adr len taddr -- ) |
|
\G Produce a symbol table (an optional symbol address |
|
\G map) if wanted |
|
[ [IFDEF] fd-symbol-table ] |
|
base @ swap hex s>d <# 8 0 DO # LOOP #> fd-symbol-table write-file throw base ! |
|
s" :" fd-symbol-table write-file throw |
|
fd-symbol-table write-line throw |
|
[ [ELSE] ] |
|
2drop drop |
|
[ [THEN] ] ; |
|
|
|
|
\ \ -------------------- source file |
\ \ -------------------- source file |
|
|
decimal |
decimal |
Line 1258 Variable mirrored-link \ linked
|
Line 1274 Variable mirrored-link \ linked
|
>r r@ last-defined-region ! |
>r r@ last-defined-region ! |
r@ >rlen ! dup r@ >rstart ! r> >rdp ! ; |
r@ >rlen ! dup r@ >rstart ! r> >rdp ! ; |
|
|
: region ( addr len -- ) |
: region ( addr len -- "name" ) |
\G create a new region |
\G create a new region |
\ check whether predefined region exists |
\ check whether predefined region exists |
save-input bl word find >r >r restore-input throw r> r> 0= |
save-input bl word find >r >r restore-input throw r> r> 0= |
Line 1417 variable sromdp \ start of rom-area for
|
Line 1433 variable sromdp \ start of rom-area for
|
|
|
[THEN] |
[THEN] |
|
|
|
0 Value current-region |
0 value tdp |
0 Value tdp |
variable fixed \ flag: true: no automatic switching |
Variable fixed \ flag: true: no automatic switching |
\ false: switching is done automatically |
\ false: switching is done automatically |
|
|
\ Switch-Policy: |
\ Switch-Policy: |
Line 1434 variable constflag constflag off
|
Line 1450 variable constflag constflag off
|
|
|
: activate ( region -- ) |
: activate ( region -- ) |
\G next code goes to this region |
\G next code goes to this region |
>rdp to tdp ; |
dup to current-region >rdp to tdp ; |
|
|
: (switchram) |
: (switchram) |
fixed @ ?EXIT s" rom" T $has? H 0= ?EXIT |
fixed @ ?EXIT s" rom" T $has? H 0= ?EXIT |
Line 1528 bigendian
|
Line 1544 bigendian
|
2drop 0 ; |
2drop 0 ; |
|
|
: taddr>region-abort ( taddr -- region | 0 ) |
: taddr>region-abort ( taddr -- region | 0 ) |
|
\G Same as taddr>region but aborts if taddr is not |
|
\G a valid address in the target address space |
dup taddr>region dup 0= |
dup taddr>region dup 0= |
IF drop cr ." Wrong address: " .addr |
IF drop cr ." Wrong address: " .addr |
-1 ABORT" Address out of range!" |
-1 ABORT" Address out of range!" |
Line 1830 Defer resolve-warning
|
Line 1848 Defer resolve-warning
|
|
|
0 Value resolved |
0 Value resolved |
|
|
: resolve ( ghost tcfa -- ) |
: resolve-forward-references ( ghost resolve-list -- ) |
\G resolve referencies to ghost with tcfa |
\ loop through forward referencies |
|
comp-state @ >r Resolving comp-state ! |
|
over >link @ resolve-loop |
|
r> comp-state ! |
|
|
|
['] noop IS resolve-warning ; |
|
|
|
|
|
: (resolve) ( ghost tcfa -- ghost resolve-list ) |
|
\ check for a valid address, it is a primitive reference |
|
\ otherwise |
dup taddr>region 0<> IF |
dup taddr>region 0<> IF |
|
\ define this address in the region address type table |
2dup (>regiontype) define-addr-struct addr-xt-ghost |
2dup (>regiontype) define-addr-struct addr-xt-ghost |
|
|
\ we define new address only if empty |
\ we define new address only if empty |
\ this is for not to take over the alias ghost |
\ this is for not to take over the alias ghost |
\ (different ghost, but identical xt) |
\ (different ghost, but identical xt) |
\ but the very first that really defines it |
\ but the very first that really defines it |
dup @ 0= IF ! ELSE 2drop THEN |
dup @ 0= IF ! ELSE 2drop THEN |
THEN |
THEN |
|
swap >r |
\ is ghost resolved?, second resolve means another |
|
\ definition with the same name |
|
over undefined? 0= IF exists EXIT THEN |
|
\ get linked-list |
|
swap >r r@ >link @ swap \ ( list tcfa R: ghost ) |
|
\ mark ghost as resolved |
|
dup r@ >link ! <res> r@ >magic ! |
|
r@ to resolved |
r@ to resolved |
|
|
\ r@ >comp @ ['] is-forward = |
\ r@ >comp @ ['] is-forward = |
Line 1858 Defer resolve-warning
|
Line 1879 Defer resolve-warning
|
\ if this is not right something must be set before |
\ if this is not right something must be set before |
\ calling resolve |
\ calling resolve |
r@ >comp @ ['] is-forward = IF |
r@ >comp @ ['] is-forward = IF |
['] colon-resolved r@ >comp ! |
['] colon-resolved r@ >comp ! |
THEN |
THEN |
\ loop through forward referencies |
r@ >link @ swap \ ( list tcfa R: ghost ) |
r> -rot |
\ mark ghost as resolved |
comp-state @ >r Resolving comp-state ! |
r@ >link ! <res> r@ >magic ! |
resolve-loop |
r> swap ; |
r> comp-state ! |
|
|
|
['] noop IS resolve-warning |
: resolve ( ghost tcfa -- ) |
; |
\G resolve referencies to ghost with tcfa |
|
\ is ghost resolved?, second resolve means another |
|
\ definition with the same name |
|
over undefined? 0= IF exists EXIT THEN |
|
(resolve) |
|
( ghost resolve-list ) |
|
resolve-forward-references ; |
|
|
|
: resolve-noforwards ( ghost tcfa -- ) |
|
\G Same as resolve but complain if there are any |
|
\G forward references on this ghost |
|
\ is ghost resolved?, second resolve means another |
|
\ definition with the same name |
|
over undefined? 0= IF exists EXIT THEN |
|
(resolve) |
|
IF cr ." No forward references allowed on: " .ghost cr |
|
-1 ABORT" Illegal forward reference" |
|
THEN |
|
drop ; |
|
|
\ gexecute ghost, 01nov92py |
\ gexecute ghost, 01nov92py |
|
|
Line 2128 Defer setup-execution-semantics
|
Line 2166 Defer setup-execution-semantics
|
\ >in @ cr ." sym:s/CFA=" there 4 0.r ." /" bl word count .sym ." /g" cr >in ! |
\ >in @ cr ." sym:s/CFA=" there 4 0.r ." /" bl word count .sym ." /g" cr >in ! |
HeaderGhost |
HeaderGhost |
\ output symbol table to extra file |
\ output symbol table to extra file |
[ [IFDEF] fd-symbol-table ] |
dup >ghostname there symentry |
base @ hex there s>d <# 8 0 DO # LOOP #> fd-symbol-table write-file throw base ! |
|
s" :" fd-symbol-table write-file throw |
|
dup >ghostname fd-symbol-table write-line throw |
|
[ [THEN] ] |
|
dup Last-Header-Ghost ! dup to lastghost |
dup Last-Header-Ghost ! dup to lastghost |
dup >magic ^imm ! \ a pointer for immediate |
dup >magic ^imm ! \ a pointer for immediate |
alias-mask flag! |
alias-mask flag! |
Line 2188 Defer setup-prim-semantics
|
Line 2222 Defer setup-prim-semantics
|
|
|
: mapprim: ( "forthname" "asmlabel" -- ) |
: mapprim: ( "forthname" "asmlabel" -- ) |
-1 aprim-nr +! aprim-nr @ |
-1 aprim-nr +! aprim-nr @ |
Ghost tuck swap resolve <do:> swap tuck >magic ! |
Ghost tuck swap resolve-noforwards <do:> swap tuck >magic ! |
asmprimname, ; |
asmprimname, ; |
|
|
: Doer: ( cfa -- ) \ name |
: Doer: ( cfa -- ) \ name |
Line 2198 Defer setup-prim-semantics
|
Line 2232 Defer setup-prim-semantics
|
.sourcepos ." needs doer: " >in @ bl word count type >in ! cr |
.sourcepos ." needs doer: " >in @ bl word count type >in ! cr |
THEN |
THEN |
Ghost |
Ghost |
tuck swap resolve <do:> swap >magic ! ; |
tuck swap resolve-noforwards <do:> swap >magic ! ; |
|
|
Variable prim# |
Variable prim# |
: first-primitive ( n -- ) prim# ! ; |
: first-primitive ( n -- ) prim# ! ; |
Line 2211 Variable prim#
|
Line 2245 Variable prim#
|
prim# @ (THeader ( S xt ghost ) |
prim# @ (THeader ( S xt ghost ) |
['] prim-resolved over >comp ! |
['] prim-resolved over >comp ! |
dup >ghost-flags <primitive> set-flag |
dup >ghost-flags <primitive> set-flag |
over resolve T A, H alias-mask flag! |
over resolve-noforwards T A, H alias-mask flag! |
-1 prim# +! ; |
-1 prim# +! ; |
>CROSS |
>CROSS |
|
|
Line 2333 Defer (end-code)
|
Line 2367 Defer (end-code)
|
defempty? |
defempty? |
(THeader ( ghost ) |
(THeader ( ghost ) |
['] prim-resolved over >comp ! |
['] prim-resolved over >comp ! |
there resolve |
there resolve-noforwards |
|
|
[ T e? prims H 0= [IF] T e? ITC H [ELSE] true [THEN] ] [IF] |
[ T e? prims H 0= [IF] T e? ITC H [ELSE] true [THEN] ] [IF] |
doprim, |
doprim, |
Line 2345 Defer (end-code)
|
Line 2379 Defer (end-code)
|
: Code: |
: Code: |
defempty? |
defempty? |
Ghost >r |
Ghost >r |
r@ there ca>native resolve |
r@ >ghostname there symentry |
|
r@ there ca>native resolve-noforwards |
<do:> r@ >magic ! |
<do:> r@ >magic ! |
r> drop |
r> drop |
depth (code) ; |
depth (code) ; |
Line 3453 Cond: [IFUNDEF] postpone [IFUNDEF] ;Cond
|
Line 3488 Cond: [IFUNDEF] postpone [IFUNDEF] ;Cond
|
|
|
: d? d? ; |
: d? d? ; |
|
|
|
: \D ( -- "debugswitch" ) |
\G doesn't skip line when debug switch is on |
\G doesn't skip line when debug switch is on |
: \D D? 0= IF postpone \ THEN ; |
D? 0= IF postpone \ THEN ; |
|
|
|
: \- ( -- "wordname" ) |
\G interprets the line if word is not defined |
\G interprets the line if word is not defined |
: \- tdefined? IF postpone \ THEN ; |
tdefined? IF postpone \ THEN ; |
|
|
|
: \+ ( -- "wordname" ) |
\G interprets the line if word is defined |
\G interprets the line if word is defined |
: \+ tdefined? 0= IF postpone \ THEN ; |
tdefined? 0= IF postpone \ THEN ; |
|
|
|
: \? ( -- "envorinstring" ) |
|
\G Skip line if environmental variable evaluates to false |
|
X has? 0= IF postpone \ THEN ; |
|
|
Cond: \- \- ;Cond |
Cond: \- \- ;Cond |
Cond: \+ \+ ;Cond |
Cond: \+ \+ ;Cond |
Cond: \D \D ;Cond |
Cond: \D \D ;Cond |
|
Cond: \? \? ;Cond |
|
|
: ?? bl word find IF execute ELSE drop 0 THEN ; |
: ?? bl word find IF execute ELSE drop 0 THEN ; |
|
|
Line 3533 previous
|
Line 3576 previous
|
: rot rot ; |
: rot rot ; |
: drop drop ; |
: drop drop ; |
: = = ; |
: = = ; |
|
: <> <> ; |
: 0= 0= ; |
: 0= 0= ; |
: lshift lshift ; |
: lshift lshift ; |
: 2/ 2/ ; |
: 2/ 2/ ; |
Line 3587 previous
|
Line 3631 previous
|
\ : words also ghosts |
\ : words also ghosts |
\ words previous ; |
\ words previous ; |
: .s .s ; |
: .s .s ; |
|
: depth depth ; |
: bye bye ; |
: bye bye ; |
|
|
\ dummy |
\ dummy |