| |
|
| warnings off |
warnings off |
| |
|
| [IFUNDEF] vocabulary \ we are executed just with kernel image |
[IFUNDEF] try |
| \ load the rest that is needed |
include startup.fs |
| \ (require fails because this file is needed from a |
|
| \ different directory with the wordlibraries) |
|
| include ./search.fs |
|
| include ./extend.fs |
|
| include ./stuff.fs |
|
| [THEN] |
|
| |
|
| [IFUNDEF] environment? |
|
| include ./environ.fs |
|
| [THEN] |
[THEN] |
| |
|
| : struct% struct ; \ struct is redefined in gray |
: struct% struct ; \ struct is redefined in gray |
| |
|
| |
warnings off |
| |
|
| include ./gray.fs |
include ./gray.fs |
| |
|
| 32 constant max-effect \ number of things on one side of a stack effect |
32 constant max-effect \ number of things on one side of a stack effect |
| stack r@ type-stack ! |
stack r@ type-stack ! |
| rdrop ; |
rdrop ; |
| |
|
| : type-prefix ( xt1 xt2 n stack "prefix" -- ) |
: type-prefix ( addr u xt1 xt2 n stack "prefix" -- ) |
| get-current >r prefixes set-current |
get-current >r prefixes set-current |
| create-type r> set-current |
create-type r> set-current |
| does> ( item -- ) |
does> ( item -- ) |
| 2drop type ; |
2drop type ; |
| |
|
| : print-entry ( -- ) |
: print-entry ( -- ) |
| ." I_" prim prim-c-name 2@ type ." :" ; |
." LABEL(" prim prim-c-name 2@ type ." ):" ; |
| |
|
| : output-c ( -- ) |
: output-c ( -- ) |
| print-entry ." /* " prim prim-name 2@ type ." ( " prim prim-stack-string 2@ type ." ) */" cr |
print-entry ." /* " prim prim-name 2@ type ." ( " prim prim-stack-string 2@ type ." ) */" cr |
| endif |
endif |
| ." }" cr ; |
." }" cr ; |
| |
|
| |
: output-profile-combined ( -- ) |
| |
\ generate code for postprocessing the VM block profile stuff |
| |
." if (VM_IS_INST(*ip, " function-number @ 0 .r ." )) {" cr |
| |
num-combined @ 0 +do |
| |
." add_inst(b, " quote |
| |
combined-prims i th @ prim-name 2@ type |
| |
quote ." );" cr |
| |
loop |
| |
." ip += " inst-stream stack-in @ 1+ 0 .r ." ;" cr |
| |
combined-prims num-combined @ 1- th @ prim-c-code 2@ s" SET_IP" search nip nip |
| |
combined-prims num-combined @ 1- th @ prim-c-code 2@ s" SUPER_END" search nip nip or if |
| |
." return;" cr |
| |
else |
| |
." goto _endif_;" cr |
| |
endif |
| |
." }" cr ; |
| |
|
| |
: output-superend ( -- ) |
| |
\ output flag specifying whether the current word ends a dynamic superinst |
| |
prim prim-c-code 2@ s" SET_IP" search nip nip |
| |
prim prim-c-code 2@ s" SUPER_END" search nip nip or 0<> |
| |
prim prim-c-code 2@ s" SUPER_CONTINUE" search nip nip 0= and |
| |
negate 0 .r ." , /* " prim prim-name 2@ type ." */" cr ; |
| |
|
| : gen-arg-parm { item -- } |
: gen-arg-parm { item -- } |
| item item-stack @ inst-stream = if |
item item-stack @ inst-stream = if |
| ." , " item item-type @ type-c-name 2@ type space |
." , " item item-type @ type-c-name 2@ type space |
| \ cr ; |
\ cr ; |
| |
|
| : output-label ( -- ) |
: output-label ( -- ) |
| ." (Label)&&I_" prim prim-c-name 2@ type ." ," cr ; |
." INST_ADDR(" prim prim-c-name 2@ type ." )," cr ; |
| |
|
| : output-alias ( -- ) |
: output-alias ( -- ) |
| ( primitive-number @ . ." alias " ) ." Primitive " prim prim-name 2@ type cr ; |
( primitive-number @ . ." alias " ) ." Primitive " prim prim-name 2@ type cr ; |
| name-line @ 0 .r |
name-line @ 0 .r |
| ." ,0" cr ; |
." ,0" cr ; |
| |
|
| |
: output-vi-tag ( -- ) |
| |
name-filename 2@ type #tab emit |
| |
prim prim-name 2@ type #tab emit |
| |
." /^" prim prim-name 2@ type ." *(/" cr ; |
| |
|
| [IFDEF] documentation |
[IFDEF] documentation |
| : register-doc ( -- ) |
: register-doc ( -- ) |
| prim prim-name 2@ documentation ['] create insert-wordlist |
prim prim-name 2@ documentation ['] create insert-wordlist |
| THEN }} |
THEN }} |
| )) <- if-comment |
)) <- if-comment |
| |
|
| (( (( eval-comment || forth-comment || c-comment || else-comment || if-comment )) ?? nonl ** )) <- comment-body |
(( (( ` g || ` G )) {{ start }} nonl ** |
| |
{{ end |
| |
forth-flag @ IF ." group " type cr THEN |
| |
c-flag @ IF ." GROUP(" type ." )" cr THEN }} |
| |
)) <- group-comment |
| |
|
| |
(( (( eval-comment || forth-comment || c-comment || else-comment || if-comment || group-comment )) ?? nonl ** )) <- comment-body |
| |
|
| (( ` \ comment-body nleof )) <- comment ( -- ) |
(( ` \ comment-body nleof )) <- comment ( -- ) |
| |
|
| line @ name-line ! filename 2@ name-filename 2! |
line @ name-line ! filename 2@ name-filename 2! |
| function-number @ prim prim-num ! |
function-number @ prim prim-num ! |
| start }} forth-ident {{ end 2dup prim prim-name 2! prim prim-c-name 2! }} white ++ |
start }} forth-ident {{ end 2dup prim prim-name 2! prim prim-c-name 2! }} white ++ |
| |
(( ` / white ** {{ start }} c-ident {{ end prim prim-c-name 2! }} white ** )) ?? |
| (( simple-primitive || combined-primitive )) {{ 1 function-number +! }} |
(( simple-primitive || combined-primitive )) {{ 1 function-number +! }} |
| )) <- primitive ( -- ) |
)) <- primitive ( -- ) |
| |
|
| .( parser generated ok ) cr |
.( parser generated ok ) cr |
| [THEN] |
[THEN] |
| |
|
| |
|
| |
\ run with gforth-0.5.0 (slurp-file is missing) |
| |
[IFUNDEF] slurp-file |
| |
: slurp-file ( c-addr1 u1 -- c-addr2 u2 ) |
| |
\ c-addr1 u1 is the filename, c-addr2 u2 is the file's contents |
| |
r/o bin open-file throw >r |
| |
r@ file-size throw abort" file too large" |
| |
dup allocate throw swap |
| |
2dup r@ read-file throw over <> abort" could not read whole file" |
| |
r> close-file throw ; |
| |
[THEN] |
| |
|
| : primfilter ( addr u -- ) |
: primfilter ( addr u -- ) |
| \ process the string at addr u |
\ process the string at addr u |
| over dup rawinput ! dup line-start ! cookedinput ! |
over dup rawinput ! dup line-start ! cookedinput ! |