| \ Gforth primitives |
\ Gforth primitives |
| |
|
| \ Copyright (C) 1995,1996,1997,1998,2000,2003,2004 Free Software Foundation, Inc. |
\ Copyright (C) 1995,1996,1997,1998,2000,2003,2004,2005 Free Software Foundation, Inc. |
| |
|
| \ This file is part of Gforth. |
\ This file is part of Gforth. |
| |
|
| : |
: |
| dup [char] a - [ char z char a - 1 + ] Literal u< bl and - ; |
dup [char] a - [ char z char a - 1 + ] Literal u< bl and - ; |
| |
|
| |
capscompare ( c_addr1 u1 c_addr2 u2 -- n ) string |
| |
""Compare two strings lexicographically. If they are equal, @i{n} is 0; if |
| |
the first string is smaller, @i{n} is -1; if the first string is larger, @i{n} |
| |
is 1. Currently this is based on the machine's character |
| |
comparison. In the future, this may change to consider the current |
| |
locale and its collation order."" |
| |
/* close ' to keep fontify happy */ |
| |
n = capscompare(c_addr1, u1, c_addr2, u2); |
| |
|
| /string ( c_addr1 u1 n -- c_addr2 u2 ) string slash_string |
/string ( c_addr1 u1 n -- c_addr2 u2 ) string slash_string |
| ""Adjust the string specified by @i{c-addr1, u1} to remove @i{n} |
""Adjust the string specified by @i{c-addr1, u1} to remove @i{n} |
| characters from the start of the string."" |
characters from the start of the string."" |
| n2 = n1>>1; |
n2 = n1>>1; |
| : |
: |
| dup MINI and IF 1 ELSE 0 THEN |
dup MINI and IF 1 ELSE 0 THEN |
| [ bits/byte cell * 1- ] literal |
[ bits/char cell * 1- ] literal |
| 0 DO 2* swap dup 2* >r MINI and |
0 DO 2* swap dup 2* >r MINI and |
| IF 1 ELSE 0 THEN or r> swap |
IF 1 ELSE 0 THEN or r> swap |
| LOOP nip ; |
LOOP nip ; |
| a_addr = (Cell *)(up+u); |
a_addr = (Cell *)(up+u); |
| |
|
| up! ( a_addr -- ) gforth up_store |
up! ( a_addr -- ) gforth up_store |
| UP=up=(char *)a_addr; |
gforth_UP=up=(Address)a_addr; |
| : |
: |
| up ! ; |
up ! ; |
| Variable UP |
Variable UP |
| |
|
| \g hostos |
\g hostos |
| |
|
| key-file ( wfileid -- n ) gforth paren_key_file |
key-file ( wfileid -- c ) gforth paren_key_file |
| |
""Read one character @i{c} from @i{wfileid}. "" |
| #ifdef HAS_FILE |
#ifdef HAS_FILE |
| fflush(stdout); |
fflush(stdout); |
| n = key((FILE*)wfileid); |
c = key((FILE*)wfileid); |
| #else |
#else |
| n = key(stdin); |
c = key(stdin); |
| #endif |
#endif |
| |
|
| key?-file ( wfileid -- n ) gforth key_q_file |
key?-file ( wfileid -- f ) gforth key_q_file |
| |
""@i{f} is true if at least one character can be read from @i{wfileid} |
| |
without blocking."" |
| #ifdef HAS_FILE |
#ifdef HAS_FILE |
| fflush(stdout); |
fflush(stdout); |
| n = key_query((FILE*)wfileid); |
f = key_query((FILE*)wfileid); |
| #else |
#else |
| n = key_query(stdin); |
f = key_query(stdin); |
| #endif |
#endif |
| |
|
| \+os |
\+os |
| urows=rows; |
urows=rows; |
| ucols=cols; |
ucols=cols; |
| |
|
| |
wcwidth ( u -- n ) gforth |
| |
""The number of fixed-width characters per unicode character u"" |
| |
n = wcwidth(u); |
| |
|
| flush-icache ( c_addr u -- ) gforth flush_icache |
flush-icache ( c_addr u -- ) gforth flush_icache |
| ""Make sure that the instruction cache of the processor (if there is |
""Make sure that the instruction cache of the processor (if there is |
| one) does not contain stale data at @i{c-addr} and @i{u} bytes |
one) does not contain stale data at @i{c-addr} and @i{u} bytes |
| environment variable does not exist, @i{c-addr2 u2} specifies a string 0 characters |
environment variable does not exist, @i{c-addr2 u2} specifies a string 0 characters |
| in length."" |
in length."" |
| /* close ' to keep fontify happy */ |
/* close ' to keep fontify happy */ |
| c_addr2 = getenv(cstr(c_addr1,u1,1)); |
c_addr2 = (Char *)getenv(cstr(c_addr1,u1,1)); |
| u2 = (c_addr2 == NULL ? 0 : strlen(c_addr2)); |
u2 = (c_addr2 == NULL ? 0 : strlen((char *)c_addr2)); |
| |
|
| open-pipe ( c_addr u wfam -- wfileid wior ) gforth open_pipe |
open-pipe ( c_addr u wfam -- wfileid wior ) gforth open_pipe |
| wfileid=(Cell)popen(cstr(c_addr,u,1),pfileattr[wfam]); /* ~ expansion of 1st arg? */ |
wfileid=(Cell)popen(cstr(c_addr,u,1),pfileattr[wfam]); /* ~ expansion of 1st arg? */ |
| wior = IOR(a_addr2==NULL); /* !! Define a return code */ |
wior = IOR(a_addr2==NULL); /* !! Define a return code */ |
| |
|
| strerror ( n -- c_addr u ) gforth |
strerror ( n -- c_addr u ) gforth |
| c_addr = strerror(n); |
c_addr = (Char *)strerror(n); |
| u = strlen(c_addr); |
u = strlen((char *)c_addr); |
| |
|
| strsignal ( n -- c_addr u ) gforth |
strsignal ( n -- c_addr u ) gforth |
| c_addr = (Address)strsignal(n); |
c_addr = (Char *)strsignal(n); |
| u = strlen(c_addr); |
u = strlen((char *)c_addr); |
| |
|
| call-c ( ... w -- ... ) gforth call_c |
call-c ( ... w -- ... ) gforth call_c |
| ""Call the C function pointed to by @i{w}. The C function has to |
""Call the C function pointed to by @i{w}. The C function has to |
| variables @code{SP} and @code{FP}."" |
variables @code{SP} and @code{FP}."" |
| /* This is a first attempt at support for calls to C. This may change in |
/* This is a first attempt at support for calls to C. This may change in |
| the future */ |
the future */ |
| FP=fp; |
gforth_FP=fp; |
| SP=sp; |
gforth_SP=sp; |
| ((void (*)())w)(); |
((void (*)())w)(); |
| sp=SP; |
sp=gforth_SP; |
| fp=FP; |
fp=gforth_FP; |
| |
|
| \+ |
\+ |
| \+file |
\+file |
| u2 = 0; |
u2 = 0; |
| flag = 0; |
flag = 0; |
| } else { |
} else { |
| u2 = strlen(dent->d_name); |
u2 = strlen((char *)dent->d_name); |
| if(u2 > u1) { |
if(u2 > u1) { |
| u2 = u1; |
u2 = u1; |
| wior = -512-ENAMETOOLONG; |
wior = -512-ENAMETOOLONG; |
| get-dir ( c_addr1 u1 -- c_addr2 u2 ) gforth get_dir |
get-dir ( c_addr1 u1 -- c_addr2 u2 ) gforth get_dir |
| ""Store the current directory in the buffer specified by @{c-addr1, u1}. |
""Store the current directory in the buffer specified by @{c-addr1, u1}. |
| If the buffer size is not sufficient, return 0 0"" |
If the buffer size is not sufficient, return 0 0"" |
| c_addr2 = getcwd(c_addr1, u1); |
c_addr2 = (Char *)getcwd((char *)c_addr1, u1); |
| if(c_addr2 != NULL) { |
if(c_addr2 != NULL) { |
| u2 = strlen(c_addr2); |
u2 = strlen((char *)c_addr2); |
| } else { |
} else { |
| u2 = 0; |
u2 = 0; |
| } |
} |
| '\r','\n' |
'\r','\n' |
| #endif |
#endif |
| }; |
}; |
| c_addr=newline; |
c_addr=(Char *)newline; |
| u=sizeof(newline); |
u=sizeof(newline); |
| : |
: |
| "newline count ; |
"newline count ; |
| n=(r==0. ? 1 : decpt); |
n=(r==0. ? 1 : decpt); |
| f1=FLAG(flag!=0); |
f1=FLAG(flag!=0); |
| f2=FLAG(isdigit((unsigned)(sig[0]))!=0); |
f2=FLAG(isdigit((unsigned)(sig[0]))!=0); |
| siglen=strlen(sig); |
siglen=strlen((char *)sig); |
| if (siglen>u) /* happens in glibc-2.1.3 if 999.. is rounded up */ |
if (siglen>u) /* happens in glibc-2.1.3 if 999.. is rounded up */ |
| siglen=u; |
siglen=u; |
| if (!f2) /* workaround Cygwin trailing 0s for Inf and Nan */ |
if (!f2) /* workaround Cygwin trailing 0s for Inf and Nan */ |
| #endif |
#endif |
| |
|
| wcall ( ... u -- ... ) gforth |
wcall ( ... u -- ... ) gforth |
| FP=fp; |
gforth_FP=fp; |
| sp=(Cell*)(SYSCALL(Cell*(*)(Cell *, void *))u)(sp, &FP); |
sp=(Cell*)(SYSCALL(Cell*(*)(Cell *, void *))u)(sp, &gforth_FP); |
| fp=FP; |
fp=gforth_FP; |
| |
|
| |
uw@ ( c_addr -- u ) gforth u_w_fetch |
| |
""@i{u} is the zero-extended 16-bit value stored at @i{c_addr}."" |
| |
u = *(UWyde*)(c_addr); |
| |
|
| |
sw@ ( c_addr -- n ) gforth s_w_fetch |
| |
""@i{n} is the sign-extended 16-bit value stored at @i{c_addr}."" |
| |
n = *(Wyde*)(c_addr); |
| |
|
| |
w! ( w c_addr -- ) gforth w_store |
| |
""Store the bottom 16 bits of @i{w} at @i{c_addr}."" |
| |
*(Wyde*)(c_addr) = w; |
| |
|
| |
ul@ ( c_addr -- u ) gforth u_l_fetch |
| |
""@i{u} is the zero-extended 32-bit value stored at @i{c_addr}."" |
| |
u = *(UTetrabyte*)(c_addr); |
| |
|
| |
sl@ ( c_addr -- n ) gforth s_l_fetch |
| |
""@i{n} is the sign-extended 32-bit value stored at @i{c_addr}."" |
| |
n = *(Tetrabyte*)(c_addr); |
| |
|
| |
l! ( w c_addr -- ) gforth l_store |
| |
""Store the bottom 32 bits of @i{w} at @i{c_addr}."" |
| |
*(Tetrabyte*)(c_addr) = w; |
| |
|
| \+FFCALL |
\+FFCALL |
| |
|
| c_addr = prv; |
c_addr = prv; |
| |
|
| alloc-callback ( a_ip -- c_addr ) gforth alloc_callback |
alloc-callback ( a_ip -- c_addr ) gforth alloc_callback |
| c_addr = (char *)alloc_callback(engine_callback, (Xt *)a_ip); |
c_addr = (char *)alloc_callback(gforth_callback, (Xt *)a_ip); |
| |
|
| va-start-void ( -- ) gforth va_start_void |
va-start-void ( -- ) gforth va_start_void |
| va_start_void(clist); |
va_start_void(gforth_clist); |
| |
|
| va-start-int ( -- ) gforth va_start_int |
va-start-int ( -- ) gforth va_start_int |
| va_start_int(clist); |
va_start_int(gforth_clist); |
| |
|
| va-start-longlong ( -- ) gforth va_start_longlong |
va-start-longlong ( -- ) gforth va_start_longlong |
| va_start_longlong(clist); |
va_start_longlong(gforth_clist); |
| |
|
| va-start-ptr ( -- ) gforth va_start_ptr |
va-start-ptr ( -- ) gforth va_start_ptr |
| va_start_ptr(clist, (char *)); |
va_start_ptr(gforth_clist, (char *)); |
| |
|
| va-start-float ( -- ) gforth va_start_float |
va-start-float ( -- ) gforth va_start_float |
| va_start_float(clist); |
va_start_float(gforth_clist); |
| |
|
| va-start-double ( -- ) gforth va_start_double |
va-start-double ( -- ) gforth va_start_double |
| va_start_double(clist); |
va_start_double(gforth_clist); |
| |
|
| va-arg-int ( -- w ) gforth va_arg_int |
va-arg-int ( -- w ) gforth va_arg_int |
| w = va_arg_int(clist); |
w = va_arg_int(gforth_clist); |
| |
|
| va-arg-longlong ( -- d ) gforth va_arg_longlong |
va-arg-longlong ( -- d ) gforth va_arg_longlong |
| #ifdef BUGGY_LONG_LONG |
#ifdef BUGGY_LONG_LONG |
| DLO_IS(d, va_arg_longlong(clist)); |
DLO_IS(d, va_arg_longlong(gforth_clist)); |
| DHI_IS(d, 0); |
DHI_IS(d, 0); |
| #else |
#else |
| d = va_arg_longlong(clist); |
d = va_arg_longlong(gforth_clist); |
| #endif |
#endif |
| |
|
| va-arg-ptr ( -- c_addr ) gforth va_arg_ptr |
va-arg-ptr ( -- c_addr ) gforth va_arg_ptr |
| c_addr = (char *)va_arg_ptr(clist,char*); |
c_addr = (char *)va_arg_ptr(gforth_clist,char*); |
| |
|
| va-arg-float ( -- r ) gforth va_arg_float |
va-arg-float ( -- r ) gforth va_arg_float |
| r = va_arg_float(clist); |
r = va_arg_float(gforth_clist); |
| |
|
| va-arg-double ( -- r ) gforth va_arg_double |
va-arg-double ( -- r ) gforth va_arg_double |
| r = va_arg_double(clist); |
r = va_arg_double(gforth_clist); |
| |
|
| va-return-void ( -- ) gforth va_return_void |
va-return-void ( -- ) gforth va_return_void |
| va_return_void(clist); |
va_return_void(gforth_clist); |
| return 0; |
return 0; |
| |
|
| va-return-int ( w -- ) gforth va_return_int |
va-return-int ( w -- ) gforth va_return_int |
| va_return_int(clist, w); |
va_return_int(gforth_clist, w); |
| return 0; |
return 0; |
| |
|
| va-return-ptr ( c_addr -- ) gforth va_return_ptr |
va-return-ptr ( c_addr -- ) gforth va_return_ptr |
| va_return_ptr(clist, void *, c_addr); |
va_return_ptr(gforth_clist, void *, c_addr); |
| return 0; |
return 0; |
| |
|
| va-return-longlong ( d -- ) gforth va_return_longlong |
va-return-longlong ( d -- ) gforth va_return_longlong |
| #ifdef BUGGY_LONG_LONG |
#ifdef BUGGY_LONG_LONG |
| va_return_longlong(clist, d.lo); |
va_return_longlong(gforth_clist, d.lo); |
| #else |
#else |
| va_return_longlong(clist, d); |
va_return_longlong(gforth_clist, d); |
| #endif |
#endif |
| return 0; |
return 0; |
| |
|
| va-return-float ( r -- ) gforth va_return_float |
va-return-float ( r -- ) gforth va_return_float |
| va_return_float(clist, r); |
va_return_float(gforth_clist, r); |
| return 0; |
return 0; |
| |
|
| va-return-double ( r -- ) gforth va_return_double |
va-return-double ( r -- ) gforth va_return_double |
| va_return_double(clist, r); |
va_return_double(gforth_clist, r); |
| return 0; |
return 0; |
| |
|
| \+ |
\+ |
| n2 = ffi_sizes[n1]; |
n2 = ffi_sizes[n1]; |
| |
|
| ffi-prep-cif ( a_atypes n a_rtype a_cif -- w ) gforth ffi_prep_cif |
ffi-prep-cif ( a_atypes n a_rtype a_cif -- w ) gforth ffi_prep_cif |
| w = ffi_prep_cif(a_cif, FFI_DEFAULT_ABI, n, a_rtype, a_atypes); |
w = ffi_prep_cif((ffi_cif *)a_cif, FFI_DEFAULT_ABI, n, |
| |
(ffi_type *)a_rtype, (ffi_type **)a_atypes); |
| |
|
| ffi-call ( a_avalues a_rvalue a_ip a_cif -- ) gforth ffi_call |
ffi-call ( a_avalues a_rvalue a_ip a_cif -- ) gforth ffi_call |
| ffi_call(a_cif, a_ip, a_rvalue, a_avalues); |
SAVE_REGS |
| |
ffi_call((ffi_cif *)a_cif, (void(*)())a_ip, (void *)a_rvalue, (void **)a_avalues); |
| |
REST_REGS |
| |
|
| ffi-prep-closure ( a_ip a_cif a_closure -- w ) gforth ffi_prep_closure |
ffi-prep-closure ( a_ip a_cif a_closure -- w ) gforth ffi_prep_closure |
| w = ffi_prep_closure(a_closure, a_cif, ffi_callback, a_ip); |
w = ffi_prep_closure((ffi_closure *)a_closure, (ffi_cif *)a_cif, gforth_callback, (void *)a_ip); |
| |
|
| ffi-i@ ( a_addr -- n ) gforth ffi_ifetch |
|
| n = *(int*)(*a_addr); |
|
| |
|
| ffi-i! ( n a_addr -- ) gforth ffi_istore |
|
| *(int*)(a_addr) = n; |
|
| |
|
| ffi-2@ ( a_addr -- d ) gforth ffi_2fetch |
ffi-2@ ( a_addr -- d ) gforth ffi_2fetch |
| #ifdef BUGGY_LONG_LONG |
#ifdef BUGGY_LONG_LONG |
| DLO_IS(d, (Cell*)(*a_addr)); |
DLO_IS(d, (Cell*)(*a_addr)); |
| DHI_IS(d, 0); |
DHI_IS(d, 0); |
| #else |
#else |
| d = *(DCell*)(*a_addr); |
d = *(DCell*)(a_addr); |
| #endif |
#endif |
| |
|
| ffi-2! ( d a_addr -- ) gforth ffi_2store |
ffi-2! ( d a_addr -- ) gforth ffi_2store |
| #endif |
#endif |
| |
|
| ffi-arg-int ( -- w ) gforth ffi_arg_int |
ffi-arg-int ( -- w ) gforth ffi_arg_int |
| w = *(int *)(*clist++); |
w = *(int *)(*gforth_clist++); |
| |
|
| ffi-arg-longlong ( -- d ) gforth ffi_arg_longlong |
ffi-arg-longlong ( -- d ) gforth ffi_arg_longlong |
| #ifdef BUGGY_LONG_LONG |
#ifdef BUGGY_LONG_LONG |
| DLO_IS(d, (Cell*)(*clist++)); |
DLO_IS(d, (Cell*)(*gforth_clist++)); |
| DHI_IS(d, 0); |
DHI_IS(d, 0); |
| #else |
#else |
| d = *(DCell*)(*clist++); |
d = *(DCell*)(*gforth_clist++); |
| #endif |
#endif |
| |
|
| ffi-arg-ptr ( -- c_addr ) gforth ffi_arg_ptr |
ffi-arg-ptr ( -- c_addr ) gforth ffi_arg_ptr |
| c_addr = *(char **)(*clist++); |
c_addr = *(Char **)(*gforth_clist++); |
| |
|
| ffi-arg-float ( -- r ) gforth ffi_arg_float |
ffi-arg-float ( -- r ) gforth ffi_arg_float |
| r = *(float*)(*clist++); |
r = *(float*)(*gforth_clist++); |
| |
|
| ffi-arg-double ( -- r ) gforth ffi_arg_double |
ffi-arg-double ( -- r ) gforth ffi_arg_double |
| r = *(double*)(*clist++); |
r = *(double*)(*gforth_clist++); |
| |
|
| ffi-ret-void ( -- ) gforth ffi_ret_void |
ffi-ret-void ( -- ) gforth ffi_ret_void |
| return 0; |
return 0; |
| |
|
| ffi-ret-int ( w -- ) gforth ffi_ret_int |
ffi-ret-int ( w -- ) gforth ffi_ret_int |
| *(int*)(ritem) = w; |
*(int*)(gforth_ritem) = w; |
| return 0; |
return 0; |
| |
|
| ffi-ret-longlong ( d -- ) gforth ffi_ret_longlong |
ffi-ret-longlong ( d -- ) gforth ffi_ret_longlong |
| #ifdef BUGGY_LONG_LONG |
#ifdef BUGGY_LONG_LONG |
| *(Cell*)(ritem) = DLO(d); |
*(Cell*)(gforth_ritem) = DLO(d); |
| #else |
#else |
| *(DCell*)(ritem) = d; |
*(DCell*)(gforth_ritem) = d; |
| #endif |
#endif |
| return 0; |
return 0; |
| |
|
| ffi-ret-ptr ( c_addr -- ) gforth ffi_ret_ptr |
ffi-ret-ptr ( c_addr -- ) gforth ffi_ret_ptr |
| *(char **)(ritem) = c_addr; |
*(Char **)(gforth_ritem) = c_addr; |
| return 0; |
return 0; |
| |
|
| ffi-ret-float ( r -- ) gforth ffi_ret_float |
ffi-ret-float ( r -- ) gforth ffi_ret_float |
| *(float*)(ritem) = r; |
*(float*)(gforth_ritem) = r; |
| return 0; |
return 0; |
| |
|
| ffi-ret-double ( r -- ) gforth ffi_ret_double |
ffi-ret-double ( r -- ) gforth ffi_ret_double |
| *(double*)(ritem) = r; |
*(double*)(gforth_ritem) = r; |
| return 0; |
return 0; |
| |
|
| \+ |
\+ |