version 1.14, 2003/03/09 15:16:46
|
version 1.21, 2010/04/17 21:31:36
|
Line 1
|
Line 1
|
\ ASSEMBLER, CODE etc. |
\ ASSEMBLER, CODE etc. |
|
|
\ Copyright (C) 1995,1996,1997,1999,2003 Free Software Foundation, Inc. |
\ Copyright (C) 1995,1996,1997,1999,2003,2007 Free Software Foundation, Inc. |
|
|
\ This file is part of Gforth. |
\ This file is part of Gforth. |
|
|
\ Gforth is free software; you can redistribute it and/or |
\ Gforth is free software; you can redistribute it and/or |
\ modify it under the terms of the GNU General Public License |
\ modify it under the terms of the GNU General Public License |
\ as published by the Free Software Foundation; either version 2 |
\ as published by the Free Software Foundation, either version 3 |
\ of the License, or (at your option) any later version. |
\ of the License, or (at your option) any later version. |
|
|
\ This program is distributed in the hope that it will be useful, |
\ This program is distributed in the hope that it will be useful, |
Line 15
|
Line 15
|
\ GNU General Public License for more details. |
\ GNU General Public License for more details. |
|
|
\ You should have received a copy of the GNU General Public License |
\ You should have received a copy of the GNU General Public License |
\ along with this program; if not, write to the Free Software |
\ along with this program. If not, see http://www.gnu.org/licenses/. |
\ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. |
|
|
|
\ does not include the actual assembler (which is machine-dependent), |
\ does not include the actual assembler (which is machine-dependent), |
\ only words like CODE that are implementation-dependent, but can be |
\ only words like CODE that are implementation-dependent, but can be |
\ defined for all machines. |
\ defined for all machines. |
|
|
vocabulary assembler ( -- ) \ tools-ext |
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 |
: init-asm ( -- ) \ gforth |
|
\g Pushes the assembler wordlist on the search order. |
also assembler ; |
also assembler ; |
|
|
: code ( "name" -- colon-sys ) \ tools-ext |
: 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 |
header |
here >body cfa, |
here >body cfa, |
defstart init-asm ; |
defstart init-asm ; |
|
|
|
[ifdef] doabicode: |
|
: 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 ; |
|
[endif] |
|
|
: (;code) ( -- ) \ gforth |
: (;code) ( -- ) \ gforth |
\ execution semantics of @code{;code} |
\ execution semantics of @code{;code} |
r> lastxt code-address! ; |
r> latestxt code-address! ; |
|
|
:noname ( -- colon-sys ) |
:noname ( -- colon-sys ) |
align here lastxt code-address! |
align here latestxt code-address! |
defstart init-asm ; |
defstart init-asm ; |
:noname ( colon-sys1 -- colon-sys2 ) \ tools-ext semicolon-code |
:noname ( colon-sys1 -- colon-sys2 ) \ tools-ext semicolon-code |
( create the [;code] part of a low level defining word ) |
( create the [;code] part of a low level defining word ) |
;-hook postpone (;code) basic-block-end finish-code ?struc postpone [ |
;-hook postpone (;code) basic-block-end finish-code ?struc postpone [ |
defstart init-asm ; |
defstart init-asm ; |
interpret/compile: ;code ( compilation. colon-sys1 -- colon-sys2 ) \ tools-ext semicolon-code |
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}, but Gforth does not have a |
|
\g @code{;abi-code} yet. As a workaround, you can use @code{does> foo |
|
\g ;} instead, where @code{foo} is defined with @code{abi-code}. |
|
|
: end-code ( colon-sys -- ) \ gforth end_code |
: end-code ( colon-sys -- ) \ gforth end_code |
( end a code definition ) |
\G End a code definition. Note that you have to assemble the |
lastxt here over - flush-icache |
\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 ; |
previous ?struc reveal ; |
|
|