| |
|
| : flush-tos ( -- ) |
: flush-tos ( -- ) |
| effect-in-size 2@ effect-out-size 2@ |
effect-in-size 2@ effect-out-size 2@ |
| |
rot - swap rot - ( -f-diff -d-diff ) >r >r |
| |
effect-in-size 2@ effect-out-size 2@ |
| 0<> rot 0= and |
0<> rot 0= and |
| if |
if |
| ." IF_FTOS(fp[0] = FTOS);" cr |
." IF_FTOS(fp[" r@ 0 .r ." ] = FTOS);" cr |
| endif |
endif rdrop |
| 0<> swap 0= and |
0<> swap 0= and |
| if |
if |
| ." IF_TOS(sp[0] = TOS);" cr |
." IF_TOS(sp[" r@ 0 .r ." ] = TOS);" cr |
| endif ; |
endif rdrop ; |
| |
|
| : fill-tos ( -- ) |
: fill-tos ( -- ) |
| effect-in-size 2@ effect-out-size 2@ |
effect-in-size 2@ effect-out-size 2@ |
| ." DEF_CA" cr |
." DEF_CA" cr |
| declarations |
declarations |
| compute-offsets \ for everything else |
compute-offsets \ for everything else |
| flush-tos |
|
| fetches |
fetches |
| stack-pointer-updates cr |
stack-pointer-updates cr |
| ." NAME(" [char] " emit forth-name 2@ type [char] " emit ." )" cr \ debugging |
." NAME(" [char] " emit forth-name 2@ type [char] " emit ." )" cr \ debugging |
| c-code 2@ type |
c-code 2@ type |
| ." }" cr |
." }" cr |
| ." NEXT_P1;" cr |
." NEXT_P1;" cr |
| |
flush-tos |
| stores |
stores |
| fill-tos |
fill-tos |
| ." NEXT_P2;" cr |
." NEXT_P2;" cr |