--- gforth/libcc.fs 2007/04/09 10:26:35 1.10 +++ gforth/libcc.fs 2007/12/04 14:55:03 1.23 @@ -73,6 +73,48 @@ \ c-variable forth-name c-name \ c-constant forth-name c-name +\ Todo: conversion between function pointers and xts (both directions) + +\ taking an xt and turning it into a function pointer: + +\ e.g., assume we have the xt of + and want to create a C function int +\ gforth_callback_plus(int, int), and then pass the pointer to that +\ function: + +\ There should be Forth code like this: +\ ] + 0 (bye) +\ Assume that the start of this code is START + +\ Now, there should be a C function: + +\ int gforth_callback_plus(int p1, int p2) +\ { +\ Cell *sp = gforth_SP; +\ Float *fp = gforth_FP; +\ Float *fp = gforth_FP; +\ Address lp = gforth_LP; +\ sp -= 2; +\ sp[0] = p1; +\ sp[1] = p2; +\ gforth_engine(START, sp, rp, fp, lp); +\ sp += 1; +\ gforth_RP = rp; +\ gforth_SP = sp; +\ gforth_FP = fp; +\ gforth_LP = lp; +\ return sp[0]; +\ } + +\ and the pointer to that function is the C function pointer for the XT of +. + +\ Future problems: +\ how to combine the Forth code generation with inlining +\ START is not a constant across executions (when caching the C files) +\ Solution: make START a variable, and store into it on startup with dlsym + +\ Syntax: +\ callback -- + \ data structures @@ -82,13 +124,31 @@ \ first-time word, then to the run-time word; the run-time word calls \ the c function. +: delete-file 2drop 0 ; + +require struct.fs + + \ counted-string + \ c-function-ft word body: -\ cell xt of c-function-rt word -\ cell xt of c-function deferred word -\ char return type index -\ char parameter count n -\ char*n parameters (type indices) -\ counted string: c-name +struct + cell% field cff-cfr \ xt of c-function-rt word + cell% field cff-deferred \ xt of c-function deferred word + cell% field cff-lha \ address of the lib-handle for the lib that + \ contains the wrapper function of the word + char% field cff-rtype \ return type + char% field cff-np \ number of parameters + 1 0 field cff-ptypes \ #npar parameter types + \ counted string: c-name +end-struct cff% + +variable c-source-file-id \ contains the source file id of the current batch +0 c-source-file-id ! +variable lib-handle-addr \ points to the library handle of the current batch. + \ the library handle is 0 if the current + \ batch is not yet compiled. +2variable lib-filename \ filename without extension +2variable lib-modulename \ basename of the file without extension : .nb ( n -- ) 0 .r ; @@ -110,11 +170,19 @@ c c-addr1 c! c-addr1 u1 1 /string ; -\ linked list stuff (should go elsewhere) +: s+ { addr1 u1 addr2 u2 -- addr u } + u1 u2 + allocate throw { addr } + addr1 addr u1 move + addr2 addr u1 + u2 move + addr u1 u2 + +; -hex +: append { addr1 u1 addr2 u2 -- addr u } + addr1 u1 u2 + dup { u } resize throw { addr } + addr2 addr u1 + u2 move + addr u ; -require struct.fs +\ linked list stuff (should go elsewhere) struct cell% field list-next @@ -150,22 +218,25 @@ end-struct c-prefix% variable c-prefix-lines 0 c-prefix-lines ! variable c-prefix-lines-end c-prefix-lines c-prefix-lines-end ! -: save-c-prefix-line ( c-addr u -- ) - align here 0 , c-prefix-lines-end list-append ( c-addr u ) - longstring, ; - -: \c ( "rest-of-line" -- ) - -1 parse save-c-prefix-line ; - : print-c-prefix-line ( node -- ) dup c-prefix-chars swap c-prefix-count @ type cr ; : print-c-prefix-lines ( -- ) c-prefix-lines @ ['] print-c-prefix-line list-map ; -\c #include "engine/libcc.h" +: save-c-prefix-line ( c-addr u -- ) + c-source-file-id @ ?dup-if + >r 2dup r> write-line throw + then + align here 0 , c-prefix-lines-end list-append ( c-addr u ) + longstring, ; + +: \c ( "rest-of-line" -- ) \ gforth backslash-c + \G One line of C declarations for the C interface + -1 parse save-c-prefix-line ; -print-c-prefix-lines +s" #include " append ( c-addr u ) + 2dup save-c-prefix-line drop free throw \ Types (for parsing) @@ -327,9 +398,8 @@ create gen-wrapped-types : gen-wrapper-function ( addr -- ) \ 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 } - print-c-prefix-lines - ." void " descriptor wrapper-function-name 2dup type drop free throw + count { ret } count 2dup { d: pars } chars + count { d: c-name } + ." void " lib-modulename 2@ type ." _LTX_" descriptor wrapper-function-name 2dup type drop free throw .\" (void)\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" @@ -341,30 +411,75 @@ create gen-wrapped-types endif .\" }\n" ; -: compile-wrapper-function ( -- ) - s" gcc -fPIC -shared -Wl,-soname,xxx.so.1 -Wl,-export_dynamic -o xxx.so.1 -O xxx.c" system - $? abort" compiler generated error" ; +: tempdir ( -- c-addr u ) + s" TMPDIR" getenv dup 0= if + 2drop s" /tmp" + then ; + +: gen-filename ( x -- c-addr u ) + \ generates a filename without extension for lib-handle-addr X + 0 <<# ['] #s $10 base-execute #> + tempdir s" /gforth_c_" s+ 2swap append #>> ; + +: init-c-source-file ( -- ) + c-source-file-id @ 0= if + here 0 , dup lib-handle-addr ! gen-filename 2dup lib-filename 2! + 2dup tempdir nip 1+ /string lib-modulename 2! + s" .c" s+ 2dup w/o create-file throw dup c-source-file-id ! + ['] print-c-prefix-lines swap outfile-execute + drop free throw + endif ; + +: c-source-file ( -- file-id ) + c-source-file-id @ assert( dup ) ; + +\ libtool --mode=compile gcc -I /nfs/a5/anton/gforth-amd64/include -O -c /tmp/gforth_c_2AAAAB2E7C50.c -o /tmp/gforth_c_2AAAAB2E7C50.lo +\ libtool --mode=link gcc -module -rpath /tmp /tmp/gforth_c_2AAAAB2E7C50.lo -o /tmp/gforth_c_2AAAAB2E7C50.la + +DEFER compile-wrapper-function +:NONAME ( -- ) + c-source-file close-file throw + 0 c-source-file-id ! + [ s" libtool --silent --mode=compile gcc -I " + s" includedir" getenv append ] sliteral + s" -O -c " s+ lib-filename 2@ append s" .c -o " append + lib-filename 2@ append s" .lo" append ( c-addr u ) + 2dup system drop free throw $? abort" libtool compile failed" + s" libtool --silent --mode=link gcc -module -rpath " tempdir s+ s" " append + lib-filename 2@ append s" .lo -o " append + lib-filename 2@ append s" .la" append ( c-addr u ) + 2dup system drop free throw $? abort" libtool link failed" + lib-filename 2@ s" .la" s+ + 2dup open-lib dup 0= if + cr lib-error type true abort" open-lib failed" + endif + ( lib-handle ) lib-handle-addr @ ! + 2dup delete-file throw drop free throw + lib-filename 2@ s" .c" s+ 2dup delete-file throw drop free throw + lib-filename 2@ drop free throw 0 0 lib-filename 2! ; IS compile-wrapper-function \ s" ar rcs xxx.a xxx.o" system \ $? abort" ar generated error" ; -: link-wrapper-function ( addr -- sym ) - wrapper-function-name { d: wrapper-name } - s" /home/anton/gforth/xxx.so.1" open-lib ( lib-handle ) - wrapper-name rot lib-sym dup 0= -&32 and throw +: link-wrapper-function { cff -- sym } + cff cff-rtype wrapper-function-name { d: wrapper-name } + wrapper-name cff cff-lha @ @ assert( dup ) lib-sym dup 0= if + cr lib-error type -&32 throw + endif wrapper-name drop free throw ; -: c-function-ft ( xt-defer xt-cfr "c-name" "{libcc-type}" "--" "libcc-type" -- ) +: c-function-ft ( xt-defr xt-cfr "c-name" "{libcc-type}" "--" "libcc-type" -- ) \ build time/first time action for c-function - noname create 2, + init-c-source-file + noname create 2, lib-handle-addr @ , parse-name { d: c-name } here parse-function-types c-name string, - s" xxx.c" w/o create-file throw >r ( R:file-id ) - ['] gen-wrapper-function r@ outfile-execute - r> close-file throw + ['] gen-wrapper-function c-source-file outfile-execute does> ( ... -- ... ) dup 2@ { xt-defer xt-cfr } - compile-wrapper-function - 2 cells + link-wrapper-function xt-cfr >body ! + dup cff-lha @ @ 0= if + compile-wrapper-function + endif + link-wrapper-function xt-cfr >body ! xt-cfr xt-defer defer! xt-cfr execute ; @@ -375,45 +490,8 @@ create gen-wrapped-types does> ( ... -- ... ) @ call-c ; -: c-function ( "forth-name" "c-name" "{libcc-type}" "--" "libcc-type" -- ) +: c-function ( "forth-name" "c-name" "@{type@}" "--" "type" -- ) \ gforth + \G Define a Forth word @i{forth-name}. @i{Forth-name} has the + \G specified stack effect and calls the C function @code{c-name}. defer lastxt dup c-function-rt lastxt c-function-ft lastxt swap defer! ; - -s" Library not found" exception constant err-nolib - -: library ( "name" "file" -- ) \ gforth -\G Dynamically links the library specified by @i{file}. Defines a -\G word @i{name} ( -- lib ) that starts the declaration of a -\G function from that library. - create parse-name open-lib dup 0= err-nolib and throw , - does> ( -- lib ) - @ ; - -\ test - -\ test all parameter and return types - -\ cr .( #include "engine/libcc.h") -\ cr .( #include ) -\ cr ." typedef void (* func)(int); -\ cr ." int test1(int,char*,long,double,void (*)(int));" -\ cr ." Cell *test2(void);" -\ cr ." int test3(void);" -\ cr ." float test4(void);" -\ cr ." func test5(void);" -\ cr ." void test6(void);" -\ cr - -\ c-function dlseek lseek n d n -- d -\ c-function n test1 n a d r func -- n -\ c-function a test2 -- a -\ c-function d test3 -- d -\ c-function r test4 -- r -\ c-function func test5 -- func -\ c-function void test6 -- void - -\c #include - -c-function strlen strlen a -- n - -cr s\" fooo\0" 2dup dump drop .s strlen cr .s cr