--- gforth/libcc.fs 2012/07/02 21:59:10 1.71 +++ gforth/libcc.fs 2012/08/16 20:26:11 1.77 @@ -217,6 +217,8 @@ end-struct list% 2variable c-libs \ library names in a string (without "lib") +: lib-prefix ( -- addr u ) s" libgf" ; + : add-lib ( c-addr u -- ) \ gforth \G Add library lib@i{string} to the list of libraries, where \G @i{string} is represented by @i{c-addr u}. @@ -266,7 +268,7 @@ defer save-c-prefix-line ( c-addr u -- ) \G One line of C declarations for the C interface -1 parse save-c-prefix-line ; -s" #include " append ( c-addr u ) +s" #include " append ( c-addr u ) 2dup save-c-prefix-line drop free throw \ Types (for parsing) @@ -318,8 +320,12 @@ drop c, 0 c, ; : parse-variable-type ( -- addr ) - c-var c, here - s" a" libcc-type c, 0 c, ; + c-var c, here + s" a" libcc-type c, 0 c, ; + +0 Value is-funptr? +: parse-funptr-types ( "{libcc-type}" "--" "libcc-type" -- addr ) + true to is-funptr? parse-function-types ; : type-letter ( n -- c ) chars s" nadrfv" drop + c@ ; @@ -447,6 +453,15 @@ create gen-wrapped-types : gen-wrapped-stmt ( pars c-name fp-change1 sp-change1 ret -- fp-change sp-change ) cells gen-wrapped-types + @ execute ; +: sanitize ( addr u -- ) + bounds ?DO + I c@ + dup 'a' 'z' 1+ within + over 'A' 'Z' 1+ within or + over '0' '9' 1+ within or + swap '_' = or 0= IF '_' I c! THEN + LOOP ; + : 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 } @@ -460,17 +475,18 @@ create gen-wrapped-types i c@ type-letter front-char loop '_ front-char r-type type-letter front-char assert( dup 0= ) - 2drop c-addr u ; + 2drop c-addr u 2dup sanitize ; : gen-wrapper-function ( addr -- ) \ addr points to the return type index of a c-function descriptor dup { descriptor } count { ret } count 2dup { d: pars } chars + count { d: c-name } ." void " - [ lib-suffix s" .la" str= [IF] ] lib-modulename 2@ type ." _LTX_" [ [THEN] ] + [ lib-suffix s" .la" str= [IF] ] lib-prefix type lib-modulename 2@ type ." _LTX_" [ [THEN] ] descriptor wrapper-function-name 2dup type drop free throw .\" (GFORTH_ARGS)\n" .\" {\n Cell MAYBE_UNUSED *sp = gforth_SP;\n Float MAYBE_UNUSED *fp = gforth_FP;\n " + is-funptr? IF .\" Cell ptr = *sp++;\n " 0 to is-funptr? THEN pars c-name 2over count-stacks ret gen-wrapped-stmt .\" ;\n" ?dup-if ." gforth_SP = sp+" .nb .\" ;\n" @@ -512,7 +528,8 @@ create gen-wrapped-types 2over s+ 2swap drop free throw ; : open-wrappers ( -- addr|0 ) - lib-filename 2@ lib-suffix s+ + lib-filename 2@ dirname lib-prefix s+ + lib-filename 2@ basename append lib-suffix append 2dup libcc-named-dir string-prefix? if ( c-addr u ) \ see if we can open it in the path libcc-named-dir nip /string @@ -607,7 +624,8 @@ DEFER compile-wrapper-function ( -- ) libtool-cc append libtool-flags append s" -module -rpath " s+ ] sliteral lib-filename 2@ dirname replace-rpath s+ s" " append lib-filename 2@ append s" .lo -o " append - lib-filename 2@ append s" .la" append ( c-addr u ) + lib-filename 2@ dirname append lib-prefix append + lib-filename 2@ basename append s" .la" append ( c-addr u ) c-libs 2@ append \ 2dup type cr 2dup system drop free throw $? abort" libtool link failed" @@ -671,6 +689,12 @@ DEFER compile-wrapper-function ( -- ) \G address of @code{c-name}. ['] parse-variable-type (c-function) ; +: c-funptr ( "forth-name" "c-typecast" "@{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 pointer + \G ptr using the typecast or struct access @code{c-typecast}. + ['] parse-funptr-types (c-function) ; + : clear-libs ( -- ) \ gforth \G Clear the list of libs c-source-file-id @ if