version 1.246, 2010/04/05 22:17:56
|
version 1.259, 2011/11/21 01:37:12
|
Line 1
|
Line 1
|
\ Gforth primitives |
\ Gforth primitives |
|
|
\ Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006,2007,2008,2009 Free Software Foundation, Inc. |
\ Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005,2006,2007,2008,2009,2010 Free Software Foundation, Inc. |
|
|
\ This file is part of Gforth. |
\ This file is part of Gforth. |
|
|
Line 229 fprintf(stderr, "dodoes to %x, push %x\n
|
Line 229 fprintf(stderr, "dodoes to %x, push %x\n
|
SET_IP(DOES_CODE1(CFA)); |
SET_IP(DOES_CODE1(CFA)); |
#endif /* !defined(NO_IP) */ |
#endif /* !defined(NO_IP) */ |
|
|
(does-handler) ( -- ) gforth-internal paren_does_handler |
(doabicode) ( ... -- ...) gforth-internal paren_doabicode |
""just a slot to have an encoding for the DOESJUMP, |
""run-time routine for @code{ABI-code} definitions"" |
which is no longer used anyway (!! eliminate this)"" |
abifunc *f = (abifunc *)PFA(CFA); |
|
Float *fp_mem = fp; |
(doabicode) ( s:... f:... -- s:... f:...) gforth-internal paren_doabicode |
sp = (*f)(sp, &fp_mem); |
""run-time routine for ABI-CODE definitions"" |
fp = fp_mem; |
struct abi_code_ret_t { |
#ifdef NO_IP |
Cell *sp; |
INST_TAIL; |
double * fp; |
goto *next_code; |
} ret = ((struct abi_code_ret_t(*)(Cell *, double *))(PFA(CFA)))(sp, fp); |
#endif /* defined(NO_IP) */ |
sp = ret.sp; |
|
fp = ret.fp; |
(do;abicode) ( ... -- ... ) gforth-internal paren_do_semicolon_abi_code |
|
""run-time routine for @code{;abi-code}-defined words"" |
|
Float *fp_mem = fp; |
|
Address body = (Address)PFA(CFA); |
|
semiabifunc *f = (semiabifunc *)DOES_CODE1(CFA); |
|
sp = (*f)(sp, &fp_mem, body); |
|
fp = fp_mem; |
#ifdef NO_IP |
#ifdef NO_IP |
INST_TAIL; |
INST_TAIL; |
goto *next_code; |
goto *next_code; |
Line 606 SET_IP((Xt *)a_target);
|
Line 612 SET_IP((Xt *)a_target);
|
cell+ |
cell+ |
THEN >r ; |
THEN >r ; |
|
|
|
(try1) ( ... a_oldhandler a_recovery -- R:a_recovery R:a_sp R:f_fp R:c_lp R:a_oldhandler a_newhandler ) gforth paren_try1 |
|
a_sp = sp-1; |
|
f_fp = fp; |
|
c_lp = lp; |
|
a_newhandler = rp-5; |
|
|
|
(throw1) ( ... wball a_handler -- ... wball ) gforth paren_throw1 |
|
rp = a_handler; |
|
lp = (Address)rp[1]; |
|
fp = (Float *)rp[2]; |
|
sp = (Cell *)rp[3]; |
|
#ifndef NO_IP |
|
ip=IP; |
|
#endif |
|
SUPER_END; |
|
VM_JUMP(EXEC1(*(Xt *)rp[4])); |
|
|
|
|
\+ |
\+ |
|
|
\ don't make any assumptions where the return stack is!! |
\ don't make any assumptions where the return stack is!! |
Line 638 k ( R:w R:w1 R:w2 R:w3 R:w4 -- w R:w R:w
|
Line 662 k ( R:w R:w1 R:w2 R:w3 R:w4 -- w R:w R:w
|
|
|
\ digit is high-level: 0/0% |
\ digit is high-level: 0/0% |
|
|
abi-call ( #a_callee s:... f:... -- s:... f:... ) gforth abi_call |
|
struct abi_code_ret_t { |
|
Cell *sp; |
|
double * fp; |
|
} ret = ((struct abi_code_ret_t(*)(Cell *, double *))(a_callee))(sp, fp); |
|
sp = ret.sp; |
|
fp = ret.fp; |
|
|
|
\g strings |
\g strings |
|
|
move ( c_from c_to ucount -- ) core |
move ( c_from c_to ucount -- ) core |
Line 1788 if (a_addr1==NULL)
|
Line 1804 if (a_addr1==NULL)
|
else |
else |
a_addr2 = (Cell *)realloc(a_addr1, u); |
a_addr2 = (Cell *)realloc(a_addr1, u); |
wior = IOR(a_addr2==NULL); /* !! Define a return code */ |
wior = IOR(a_addr2==NULL); /* !! Define a return code */ |
|
if (a_addr2==NULL) |
|
a_addr2 = a_addr1; |
|
|
strerror ( n -- c_addr u ) gforth |
strerror ( n -- c_addr u ) gforth |
c_addr = (Char *)strerror(n); |
c_addr = (Char *)strerror(n); |
Line 2015 duser = timeval2us(&time1);
|
Line 2033 duser = timeval2us(&time1);
|
dsystem = DZERO; |
dsystem = DZERO; |
#endif |
#endif |
|
|
|
ntime ( -- dtime ) gforth |
|
""Report the current time in nanoseconds since some epoch."" |
|
struct timespec t; |
|
clock_gettime(CLOCK_REALTIME,&t); |
|
dtime = timespec2ns(&t); |
|
|
\+ |
\+ |
|
|
\+floating |
\+floating |
Line 2494 c_addr = "libltdl is not configured";
|
Line 2518 c_addr = "libltdl is not configured";
|
u = strlen(c_addr); |
u = strlen(c_addr); |
#endif |
#endif |
|
|
|
be-w! ( w c_addr -- ) gforth w_store_be |
|
""Store the bottom 16 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[0] = w >> 8; |
|
c_addr[1] = w; |
|
|
|
be-l! ( w c_addr -- ) gforth l_store_be |
|
""Store the bottom 32 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[0] = w >> 24; |
|
c_addr[1] = w >> 16; |
|
c_addr[2] = w >> 8; |
|
c_addr[3] = w; |
|
|
|
le-w! ( w c_addr -- ) gforth w_store_le |
|
""Store the bottom 16 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[1] = w >> 8; |
|
c_addr[0] = w; |
|
|
|
le-l! ( w c_addr -- ) gforth l_store_le |
|
""Store the bottom 32 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[3] = w >> 24; |
|
c_addr[2] = w >> 16; |
|
c_addr[1] = w >> 8; |
|
c_addr[0] = w; |
|
|
|
be-uw@ ( c_addr -- u ) gforth w_fetch_be |
|
""@i{u} is the zero-extended 16-bit big endian value stored at @i{c_addr}."" |
|
u = (c_addr[0] << 8) | (c_addr[1]); |
|
|
|
be-ul@ ( c_addr -- u ) gforth l_fetch_be |
|
""@i{u} is the zero-extended 32-bit big endian value stored at @i{c_addr}."" |
|
u = (c_addr[0] << 24) | (c_addr[1] << 16) | (c_addr[2] << 8) | (c_addr[3]); |
|
|
|
le-uw@ ( c_addr -- u ) gforth w_fetch_le |
|
""@i{u} is the zero-extended 16-bit little endian value stored at @i{c_addr}."" |
|
u = (c_addr[1] << 8) | (c_addr[0]); |
|
|
|
le-ul@ ( c_addr -- u ) gforth l_fetch_le |
|
""@i{u} is the zero-extended 32-bit little endian value stored at @i{c_addr}."" |
|
u = (c_addr[3] << 24) | (c_addr[2] << 16) | (c_addr[1] << 8) | (c_addr[0]); |
|
|
|
\+64bit |
|
|
|
x! ( w c_addr -- ) gforth x_store |
|
""Store the bottom 64 bits of @i{w} at 64-bit-aligned @i{c_addr}."" |
|
*(UOctabyte *)c_addr = w; |
|
|
|
ux@ ( c_addr -- u ) gforth u_x_fetch |
|
""@i{u} is the zero-extended 64-bit value stored at 64-bit-aligned @i{c_addr}."" |
|
u = *(UOctabyte *)c_addr; |
|
|
|
sx@ ( c_addr -- n ) gforth s_x_fetch |
|
""@i{u} is the sign-extended 64-bit value stored at 64-bit-aligned @i{c_addr}."" |
|
n = *(Octabyte *)c_addr; |
|
|
|
be-x! ( w c_addr -- ) gforth b_e_x_store |
|
""Store the bottom 64 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[0] = w >> 56; |
|
c_addr[1] = w >> 48; |
|
c_addr[2] = w >> 40; |
|
c_addr[3] = w >> 32; |
|
c_addr[4] = w >> 24; |
|
c_addr[5] = w >> 16; |
|
c_addr[6] = w >> 8; |
|
c_addr[7] = w; |
|
|
|
le-x! ( w c_addr -- ) gforth l_e_x_store |
|
""Store the bottom 64 bits of @i{w} at @i{c_addr} in big endian format."" |
|
c_addr[7] = w >> 56; |
|
c_addr[6] = w >> 48; |
|
c_addr[5] = w >> 40; |
|
c_addr[4] = w >> 32; |
|
c_addr[3] = w >> 24; |
|
c_addr[2] = w >> 16; |
|
c_addr[1] = w >> 8; |
|
c_addr[0] = w; |
|
|
|
be-ux@ ( c_addr -- u ) gforth b_e_u_x_fetch |
|
""@i{u} is the zero-extended 64-bit big endian value stored at @i{c_addr}."" |
|
u = (((Cell)(c_addr[0]) << 56) | |
|
((Cell)(c_addr[1]) << 48) | |
|
((Cell)(c_addr[2]) << 40) | |
|
((Cell)(c_addr[3]) << 32) | |
|
((Cell)(c_addr[4]) << 24) | |
|
((Cell)(c_addr[5]) << 16) | |
|
((Cell)(c_addr[6]) << 8) | |
|
((Cell)(c_addr[7]))); |
|
|
|
le-ux@ ( c_addr -- u ) gforth l_e_u_x_fetch |
|
""@i{u} is the zero-extended 64-bit little endian value stored at @i{c_addr}."" |
|
u = (((Cell)(c_addr[7]) << 56) | |
|
((Cell)(c_addr[6]) << 48) | |
|
((Cell)(c_addr[5]) << 40) | |
|
((Cell)(c_addr[4]) << 32) | |
|
((Cell)(c_addr[3]) << 24) | |
|
((Cell)(c_addr[2]) << 16) | |
|
((Cell)(c_addr[1]) << 8) | |
|
((Cell)(c_addr[0]))); |
|
|
|
\+ |
\+ |
\+ |
\g peephole |
\g peephole |
|
|
Line 2541 a_addr = groups;
|
Line 2664 a_addr = groups;
|
|
|
\+ |
\+ |
|
|
|
\g primitive_centric |
|
|
|
\ primitives for primitive-centric code |
|
\ another one is does-exec |
|
|
|
abi-call ( #a_callee ... -- ... ) gforth-internal abi_call |
|
/* primitive for compiled ABI-CODE words */ |
|
abifunc *f = (abifunc *)a_callee; |
|
Float *fp_mem = fp; |
|
sp = (*f)(sp, &fp_mem); |
|
fp = fp_mem; |
|
|
|
;abi-code-exec ( #a_cfa ... -- ... ) gforth-internal semi_abi_code_exec |
|
/* primitive for performing ;ABI-CODE words */ |
|
Float *fp_mem = fp; |
|
semiabifunc *f = (semiabifunc *)DOES_CODE1(a_cfa); |
|
Address body = (Address)PFA(a_cfa); |
|
sp = (*f)(sp, &fp_mem, body); |
|
fp = fp_mem; |
|
|
|
lit-execute ( #a_addr -- ) new lit_execute |
|
/* for ;code and code words; a static superinstruction would be more general, |
|
but VM_JUMP is currently not supported there */ |
|
#ifndef NO_IP |
|
ip=IP; |
|
#endif |
|
SUPER_END; |
|
VM_JUMP(EXEC1((Xt)a_addr)); |
|
|
|
|
\g static_super |
\g static_super |
|
|
ifdef(`STACK_CACHE_FILE', |
ifdef(`STACK_CACHE_FILE', |