--- gforth/code.fs	2010/04/06 21:33:44	1.19
+++ gforth/code.fs	2010/12/31 18:09:02	1.23
@@ -1,6 +1,6 @@
 \ ASSEMBLER, CODE etc.
 
-\ Copyright (C) 1995,1996,1997,1999,2003,2007 Free Software Foundation, Inc.
+\ Copyright (C) 1995,1996,1997,1999,2003,2007,2010 Free Software Foundation, Inc.
 
 \ This file is part of Gforth.
 
@@ -22,21 +22,34 @@
 \ defined for all machines.
 
 vocabulary assembler ( -- ) \ tools-ext
+\g A vocubulary: Replaces the wordlist at the top of the search order
+\g with the assembler wordlist.
 
 : init-asm ( -- ) \ gforth
+\g Pushes the assembler wordlist on the search order.
     also assembler ;
-
+    
 : code ( "name" -- colon-sys )	\ tools-ext
-    \ start a native code definition
+    \G Start a native code definition that runs in the context of the
+    \G Gforth virtual machine (engine).  Such a definition is not
+    \G portable between Gforth installations, so we recommend using
+    \G @code{abi-code} instead of @code{code}.  You have to end a
+    \G @code{code} definition with a dispatch to the next virtual
+    \G machine instruction.
     header
     here >body cfa,
     defstart init-asm ;
 
 [ifdef] doabicode:
-: abi-code ( "name" -- colon-sys )	\ gforth
-   \ start a native code definition that is called using the platform's
-   \ ABI conventions corresponding to C-prototype
-   \ struct{Cell*sp;double*fp;} function (Cell *sp, double *fp);
+: abi-code ( "name" -- colon-sys )	\ gforth	abi-code
+   \G Start a native code definition that is called using the platform's
+   \G ABI conventions corresponding to the C-prototype:
+   \G @example
+   \G Cell *function(Cell *sp, Float **fpp);
+   \G @end example
+   \G The FP stack pointer is passed in by providing a reference to a
+   \G memory location containing the FP stack pointer and is passed
+   \G out by storing the changed FP stack pointer there (if necessary).
     header  
     doabicode: cfa,
     defstart init-asm ;
@@ -54,9 +67,23 @@ vocabulary assembler ( -- ) \ tools-ext
     ;-hook postpone (;code) basic-block-end finish-code ?struc postpone [
     defstart init-asm ;
 interpret/compile: ;code ( compilation. colon-sys1 -- colon-sys2 )	\ tools-ext	semicolon-code
-
+\g The code after @code{;code} becomes the behaviour of the last
+\g defined word (which must be a @code{create}d word).  The same
+\g caveats apply as for @code{code}, so we recommend using
+\g @code{;abi-code} instead.
+
+[ifdef] do;abicode: 
+: !;abi-code ( addr -- )
+    latestxt do;abicode: any-code! ;
+
+: ;abi-code ( -- ) \ gforth semicolon-abi-code
+    ['] !;abi-code does>-like postpone [ init-asm ; immediate
+[then]
+    
 : end-code ( colon-sys -- )	\ gforth	end_code
-    ( end a code definition )
+    \G End a code definition.  Note that you have to assemble the
+    \G return from the ABI call (for @code{abi-code}) or the dispatch
+    \G to the next VM instruction (for @code{code} and @code{;code})
+    \G yourself.
     latestxt here over - flush-icache
     previous ?struc reveal ;
-