--- gforth/libcc.fs 2007/06/01 18:40:20 1.18 +++ gforth/libcc.fs 2007/10/29 15:56:31 1.22 @@ -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,6 +124,7 @@ \ first-time word, then to the run-time word; the run-time word calls \ the c function. +: delete-file 2drop 0 ; require struct.fs @@ -191,7 +234,8 @@ variable c-prefix-lines-end c-prefix-lin \G One line of C declarations for the C interface -1 parse save-c-prefix-line ; -\c #include "engine/libcc.h" +s" #include " append ( c-addr u ) + 2dup save-c-prefix-line drop free throw \ Types (for parsing) @@ -387,20 +431,27 @@ create gen-wrapped-types : c-source-file ( -- file-id ) c-source-file-id @ assert( dup ) ; -: compile-wrapper-function ( -- ) +DEFER compile-wrapper-function +:NONAME ( -- ) c-source-file close-file throw 0 c-source-file-id ! - s" gcc -I. -fPIC -shared -Wl,-soname," lib-filename 2@ s+ - s" .so.1 -Wl,-export_dynamic -o " append lib-filename 2@ append - s" .so.1 -O " append lib-filename 2@ append s" .c" append ( c-addr u ) - 2dup system drop free throw + [ s" libtool --silent --mode=link gcc -module -I " + s" includedir" getenv append s" -rpath " append ] sliteral + tempdir s+ s" -O -c " append lib-filename 2@ append s" .c -o " append + lib-filename 2@ append s" .la" append ( c-addr u ) +\ s" gcc -fPIC -shared -Wl,-soname," lib-filename 2@ s+ +\ s" .so.1 -Wl,-export_dynamic -o " append lib-filename 2@ append +\ [ s" .so.1 -O -I " s" includedir" getenv append s" " append ] sliteral +\ append lib-filename 2@ append s" .c" append ( c-addr u ) + ~~ 2dup type 2dup system drop free throw $? abort" compiler generated error" \ !! call dlerror - lib-filename 2@ s" .so.1" s+ + tempdir s" /.libs/" s+ lib-filename 2@ append s" .so.0" append + 2dup type 2dup open-lib dup 0= abort" open-lib failed" \ !! call dlerror ( 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! ; + 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" ;