version 1.121, 2002/03/19 18:07:55
|
version 1.126, 2002/03/21 17:26:00
|
Line 27 ToDo:
|
Line 27 ToDo:
|
cross.fs is used seperately. jaw |
cross.fs is used seperately. jaw |
- Do we need this char translation with >address and in branchoffset? |
- Do we need this char translation with >address and in branchoffset? |
(>body also affected) jaw |
(>body also affected) jaw |
- MAXU etc. can be done with dlit, |
|
|
|
[THEN] |
[THEN] |
|
|
Line 71 H
|
Line 70 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 318 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 1219 tbits/char bits/byte / Constant tbyte
|
Line 1234 tbits/char bits/byte / Constant tbyte
|
\ Variables 06oct92py |
\ Variables 06oct92py |
|
|
Variable image |
Variable image |
Variable tlast TNIL tlast ! \ Last name field |
Variable (tlast) |
|
(tlast) Value tlast TNIL tlast ! \ Last name field |
Variable tlastcfa \ Last code field |
Variable tlastcfa \ Last code field |
Variable bit$ |
Variable bit$ |
|
|
Line 1243 Variable region-link \ linked
|
Line 1259 Variable region-link \ linked
|
Variable mirrored-link \ linked list for mirrored regions |
Variable mirrored-link \ linked list for mirrored regions |
0 dup mirrored-link ! region-link ! |
0 dup mirrored-link ! region-link ! |
|
|
|
: >rname 8 cells + ; |
: >rname 7 cells + ; |
: >rbm 4 cells + ; \ bitfield per cell witch indicates relocation |
: >rbm 4 cells + ; |
|
: >rmem 5 cells + ; |
: >rmem 5 cells + ; |
: >rtype 6 cells + ; |
: >rtype 6 cells + ; \ field per cell witch points to a type struct |
|
: >rrom 7 cells + ; \ a -1 indicates that this region is rom |
: >rlink 3 cells + ; |
: >rlink 3 cells + ; |
: >rdp 2 cells + ; |
: >rdp 2 cells + ; |
: >rlen cell+ ; |
: >rlen cell+ ; |
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 1267 Variable mirrored-link \ linked
|
Line 1283 Variable mirrored-link \ linked
|
save-input create restore-input throw |
save-input create restore-input throw |
here last-defined-region ! |
here last-defined-region ! |
over ( startaddr ) , ( length ) , ( dp ) , |
over ( startaddr ) , ( length ) , ( dp ) , |
region-link linked 0 , 0 , 0 , bl word count string, |
region-link linked 0 , 0 , 0 , 0 , bl word count string, |
ELSE \ store new parameters in region |
ELSE \ store new parameters in region |
bl word drop |
bl word drop |
>body (region) |
>body (region) |
Line 1285 Variable mirrored-link \ linked
|
Line 1301 Variable mirrored-link \ linked
|
\G returns the total area |
\G returns the total area |
dup >rstart @ swap >rlen @ ; |
dup >rstart @ swap >rlen @ ; |
|
|
: mirrored |
: mirrored ( -- ) |
\G mark a region as mirrored |
\G mark last defined region as mirrored |
mirrored-link |
mirrored-link |
align linked last-defined-region @ , ; |
align linked last-defined-region @ , ; |
|
|
|
: writeprotected |
|
\G mark a region as write protected |
|
-1 last-defined-region @ >rrom ! ; |
|
|
: .addr ( u -- ) |
: .addr ( u -- ) |
\G prints a 16 or 32 Bit nice hex value |
\G prints a 16 or 32 Bit nice hex value |
base @ >r hex |
base @ >r hex |
Line 1417 variable sromdp \ start of rom-area for
|
Line 1437 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 1454 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 1548 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 1543 bigendian
|
Line 1565 bigendian
|
\ add regions real address in our memory |
\ add regions real address in our memory |
r> >rmem @ + ; |
r> >rmem @ + ; |
|
|
|
: (>regionramimage) ( taddr -- 'taddr ) |
|
\G same as (>regionimage) but aborts if the region is rom |
|
dup |
|
\ find region we want to address |
|
taddr>region-abort |
|
>r |
|
r@ >rrom @ ABORT" CROSS: region is write-protected!" |
|
\ calculate offset in region |
|
r@ >rstart @ - |
|
\ add regions real address in our memory |
|
r> >rmem @ + ; |
|
|
: (>regionbm) ( taddr -- 'taddr bitmaskbaseaddr ) |
: (>regionbm) ( taddr -- 'taddr bitmaskbaseaddr ) |
dup |
dup |
\ find region we want to address |
\ find region we want to address |
Line 1591 CREATE Bittable 80 c, 40 c, 20 c, 10 c,
|
Line 1625 CREATE Bittable 80 c, 40 c, 20 c, 10 c,
|
: (>image) ( taddr -- absaddr ) image @ + ; |
: (>image) ( taddr -- absaddr ) image @ + ; |
|
|
DEFER >image |
DEFER >image |
|
DEFER >ramimage |
DEFER relon |
DEFER relon |
DEFER reloff |
DEFER reloff |
DEFER correcter |
DEFER correcter |
Line 1600 T has? relocate H
|
Line 1635 T has? relocate H
|
' (relon) IS relon |
' (relon) IS relon |
' (reloff) IS reloff |
' (reloff) IS reloff |
' (>regionimage) IS >image |
' (>regionimage) IS >image |
|
' (>regionimage) IS >ramimage |
[ELSE] |
[ELSE] |
' drop IS relon |
' drop IS relon |
' drop IS reloff |
' drop IS reloff |
' (>regionimage) IS >image |
' (>regionimage) IS >image |
|
' (>regionimage) IS >ramimage |
[THEN] |
[THEN] |
|
|
|
: enforce-writeprotection ( -- ) |
|
['] (>regionramimage) IS >ramimage ; |
|
|
|
: relax-writeprotection ( -- ) |
|
['] (>regionimage) IS >ramimage ; |
|
|
|
: writeprotection-relaxed? ( -- ) |
|
['] >ramimage >body @ ['] (>regionimage) = ; |
|
|
\ Target memory access 06oct92py |
\ Target memory access 06oct92py |
|
|
: align+ ( taddr -- rest ) |
: align+ ( taddr -- rest ) |
Line 1623 T has? relocate H
|
Line 1669 T has? relocate H
|
dup cfalign+ + ; |
dup cfalign+ + ; |
|
|
: @ ( taddr -- w ) >image S@ ; |
: @ ( taddr -- w ) >image S@ ; |
: ! ( w taddr -- ) >image S! ; |
: ! ( w taddr -- ) >ramimage S! ; |
: c@ ( taddr -- char ) >image Sc@ ; |
: c@ ( taddr -- char ) >image Sc@ ; |
: c! ( char taddr -- ) >image Sc! ; |
: c! ( char taddr -- ) >ramimage Sc! ; |
: 2@ ( taddr -- x1 x2 ) T dup cell+ @ swap @ H ; |
: 2@ ( taddr -- x1 x2 ) T dup cell+ @ swap @ H ; |
: 2! ( x1 x2 taddr -- ) T tuck ! cell+ ! H ; |
: 2! ( x1 x2 taddr -- ) T tuck ! cell+ ! H ; |
|
|
Line 1830 Defer resolve-warning
|
Line 1876 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 1907 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 2194 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 2250 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 2260 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 2273 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 2395 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 2407 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 2375 Cond: chars ;Cond
|
Line 2438 Cond: chars ;Cond
|
|
|
\ some special literals 27jan97jaw |
\ some special literals 27jan97jaw |
|
|
\ !! Known Bug: Special Literals and plug-ins work only correct |
|
\ on 16 and 32 Bit Targets and 32 Bit Hosts! |
|
|
|
\ This section could be done with dlit, now. But first I need |
|
\ some test code JAW |
|
|
|
Cond: MAXU |
Cond: MAXU |
tcell 1 cells u> |
-1 s>d dlit, |
IF compile lit tcell 0 ?DO FF T c, H LOOP |
|
ELSE ffffffff lit, THEN |
|
;Cond |
;Cond |
|
|
|
tcell 2 = tcell 4 = or tcell 8 = or 0= |
|
[IF] |
|
.( Warning: MINI and MAXI may not work with this host) cr |
|
[THEN] |
|
|
Cond: MINI |
Cond: MINI |
tcell 1 cells u> |
tcell 2 = IF $8000 ELSE $80000000 THEN 0 |
IF compile lit bigendian |
tcell 8 = IF swap THEN dlit, |
IF 80 T c, H tcell 1 ?DO 0 T c, H LOOP |
|
ELSE tcell 1 ?DO 0 T c, H LOOP 80 T c, H |
|
THEN |
|
ELSE tcell 2 = IF 8000 ELSE 80000000 THEN lit, THEN |
|
;Cond |
;Cond |
|
|
Cond: MAXI |
Cond: MAXI |
tcell 1 cells u> |
tcell 2 = IF $7fff ELSE $7fffffff THEN 0 |
IF compile lit bigendian |
tcell 8 = IF drop -1 swap THEN dlit, |
IF 7F T c, H tcell 1 ?DO FF T c, H LOOP |
;Cond |
ELSE tcell 1 ?DO FF T c, H LOOP 7F T c, H |
|
THEN |
|
ELSE tcell 2 = IF 7fff ELSE 7fffffff THEN lit, THEN |
|
;Cond |
|
|
|
>CROSS |
>CROSS |
|
|
Line 3300 Variable outfile-fd
|
Line 3352 Variable outfile-fd
|
dup @ dup IF addr-refs @ THEN |
dup @ dup IF addr-refs @ THEN |
swap >r |
swap >r |
over align+ tuck tcell swap - rshift swap 0 |
over align+ tuck tcell swap - rshift swap 0 |
DO dup 1 and |
?DO dup 1 and |
IF drop rdrop snl-calc UNLOOP EXIT THEN |
IF drop rdrop snl-calc UNLOOP EXIT THEN |
2/ swap 1+ swap |
2/ swap 1+ swap |
LOOP |
LOOP |
Line 3453 Cond: [IFUNDEF] postpone [IFUNDEF] ;Cond
|
Line 3505 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 3593 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 3648 previous
|
\ : words also ghosts |
\ : words also ghosts |
\ words previous ; |
\ words previous ; |
: .s .s ; |
: .s .s ; |
|
: depth depth ; |
: bye bye ; |
: bye bye ; |
|
|
\ dummy |
\ dummy |