| |
|
| \ data structures |
\ data structures |
| |
|
| \ c-function word body: |
\ For every c-function, we have three words: two anonymous words |
| \ cell function pointer |
\ created by c-function-ft (first time) and c-function-rt (run-time), |
| |
\ and a named deferred word. The deferred word first points to the |
| |
\ first-time word, then to the run-time word; the run-time word calls |
| |
\ the c function. |
| |
|
| |
\ c-function-ft word body: |
| |
\ cell xt of c-function-rt word |
| |
\ cell xt of c-function deferred word |
| \ char return type index |
\ char return type index |
| \ char parameter count n |
\ char parameter count n |
| \ char*n parameters (type indices) |
\ char*n parameters (type indices) |
| : const+ ( n1 "name" -- n2 ) |
: const+ ( n1 "name" -- n2 ) |
| dup constant 1+ ; |
dup constant 1+ ; |
| |
|
| |
: front-string { c-addr1 u1 c-addr2 u2 -- c-addr3 u3 } |
| |
\ insert string c-addr2 u2 in buffer c-addr1 u1; c-addr3 u3 is the |
| |
\ remainder of the buffer. |
| |
assert( u1 u2 u>= ) |
| |
c-addr2 c-addr1 u2 move |
| |
c-addr1 u1 u2 /string ; |
| |
|
| |
: front-char { c-addr1 u1 c -- c-addr3 u2 } |
| |
\ insert c in buffer c-addr1 u1; c-addr3 u3 is the remainder of |
| |
\ the buffer. |
| |
assert( u1 0 u> ) |
| |
c c-addr1 c! |
| |
c-addr1 u1 1 /string ; |
| |
|
| \ linked list stuff (should go elsewhere) |
\ linked list stuff (should go elsewhere) |
| |
|
| hex |
hex |
| : gen-wrapped-stmt ( pars c-name fp-change1 sp-change1 ret -- fp-change sp-change ) |
: gen-wrapped-stmt ( pars c-name fp-change1 sp-change1 ret -- fp-change sp-change ) |
| cells gen-wrapped-types + @ execute ; |
cells gen-wrapped-types + @ execute ; |
| |
|
| |
: wrapper-function-name ( addr -- c-addr u ) |
| |
\ addr points to the return type index of a c-function descriptor |
| |
count { r-type } count { d: pars } |
| |
pars + count { d: c-name } |
| |
s" gforth_c_" { d: prefix } |
| |
prefix nip c-name nip + pars nip + 3 + { u } |
| |
u allocate throw { c-addr } |
| |
c-addr u |
| |
prefix front-string c-name front-string '_ front-char |
| |
pars bounds u+do |
| |
i c@ type-letter front-char |
| |
loop |
| |
'_ front-char r-type type-letter front-char assert( dup 0= ) |
| |
2drop c-addr u ; |
| |
|
| : gen-wrapper-function ( addr -- ) |
: gen-wrapper-function ( addr -- ) |
| \ addr points to the return type index of a c-function descriptor |
\ addr points to the return type index of a c-function descriptor |
| |
dup { descriptor } |
| c@+ { ret } count 2dup { d: pars } chars + count { d: c-name } |
c@+ { ret } count 2dup { d: pars } chars + count { d: c-name } |
| print-c-prefix-lines |
print-c-prefix-lines |
| ." void gforth_c_" c-name type ." _" |
." void " descriptor wrapper-function-name 2dup type drop free throw |
| pars bounds u+do |
.\" (void)\n" |
| i c@ type-letter emit |
|
| loop |
|
| ." _" ret type-letter emit .\" (void)\n" |
|
| .\" {\n Cell MAYBE_UNUSED *sp = gforth_SP;\n Float MAYBE_UNUSED *fp = gforth_FP;\n " |
.\" {\n Cell MAYBE_UNUSED *sp = gforth_SP;\n Float MAYBE_UNUSED *fp = gforth_FP;\n " |
| pars c-name 2over count-stacks ret gen-wrapped-stmt .\" ;\n" |
pars c-name 2over count-stacks ret gen-wrapped-stmt .\" ;\n" |
| ?dup-if |
?dup-if |
| \ s" ar rcs xxx.a xxx.o" system |
\ s" ar rcs xxx.a xxx.o" system |
| \ $? abort" ar generated error" ; |
\ $? abort" ar generated error" ; |
| |
|
| : link-wrapper-function ( -- sym ) |
: link-wrapper-function ( addr -- sym ) |
| |
wrapper-function-name { d: wrapper-name } |
| s" /home/anton/gforth/xxx.so.1" open-lib ( lib-handle ) |
s" /home/anton/gforth/xxx.so.1" open-lib ( lib-handle ) |
| s" gforth_c_strlen_a_n" rot lib-sym dup 0= -&32 and throw ; |
wrapper-name rot lib-sym dup 0= -&32 and throw |
| |
wrapper-name drop free throw ; |
| |
|
| : c-function-ft ( xt-defer xt-cfr "c-name" "{libcc-type}" "--" "libcc-type" -- ) |
: c-function-ft ( xt-defer xt-cfr "c-name" "{libcc-type}" "--" "libcc-type" -- ) |
| \ build time/first time action for c-function |
\ build time/first time action for c-function |
| ['] gen-wrapper-function r@ outfile-execute |
['] gen-wrapper-function r@ outfile-execute |
| r> close-file throw |
r> close-file throw |
| does> ( ... -- ... ) |
does> ( ... -- ... ) |
| 2@ { xt-defer xt-cfr } |
dup 2@ { xt-defer xt-cfr } |
| compile-wrapper-function |
compile-wrapper-function |
| link-wrapper-function xt-cfr >body ! |
2 cells + link-wrapper-function xt-cfr >body ! |
| xt-cfr xt-defer defer! |
xt-cfr xt-defer defer! |
| xt-cfr execute ; |
xt-cfr execute ; |
| |
|