version 1.46, 2005/09/28 08:08:34 |
version 1.67, 2010/05/24 01:59:52 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.45 2005/09/27 03:00:21 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.66 2010/04/23 04:44:52 noro Exp $ |
*/ |
*/ |
#include <ctype.h> |
#include <ctype.h> |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
#include "base.h" |
#include "base.h" |
#include "parse.h" |
#include "parse.h" |
|
#if defined(GC7) |
|
#include "gc.h" |
|
#endif |
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/stat.h> |
#include <sys/stat.h> |
#if defined(PARI) |
#if defined(PARI) |
|
|
#endif |
#endif |
|
|
extern JMP_BUF timer_env; |
extern JMP_BUF timer_env; |
|
extern FUNC cur_binf; |
|
extern NODE PVSS; |
|
|
int f_break,f_return,f_continue; |
int f_break,f_return,f_continue; |
int evalstatline; |
int evalstatline; |
int recv_intr; |
int recv_intr; |
int show_crossref; |
int show_crossref; |
|
int at_root; |
void gen_searchf_searchonly(char *name,FUNC *r); |
void gen_searchf_searchonly(char *name,FUNC *r); |
|
LIST eval_arg(FNODE a,unsigned int quote); |
|
|
pointer eval(FNODE f) |
pointer eval(FNODE f) |
{ |
{ |
Line 72 pointer eval(FNODE f) |
|
Line 79 pointer eval(FNODE f) |
|
STRING str; |
STRING str; |
pointer val = 0; |
pointer val = 0; |
pointer a,a1,a2; |
pointer a,a1,a2; |
NODE tn,ind,match; |
NODE tn,tn1,ind,match; |
R u; |
R u; |
DP dp; |
DP dp; |
unsigned int pv; |
unsigned int pv; |
Line 178 pointer eval(FNODE f) |
|
Line 185 pointer eval(FNODE f) |
|
val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break; |
val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break; |
case I_FUNC_OPT: |
case I_FUNC_OPT: |
val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
|
case I_FUNC_QARG: |
|
tn = BDY(eval_arg((FNODE)FA1(f),(unsigned int)0xffffffff)); |
|
val = bevalf((FUNC)FA0(f),tn); break; |
case I_PFDERIV: |
case I_PFDERIV: |
val = evalf_deriv((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
val = evalf_deriv((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
case I_MAP: |
case I_MAP: |
Line 185 pointer eval(FNODE f) |
|
Line 195 pointer eval(FNODE f) |
|
case I_RECMAP: |
case I_RECMAP: |
val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break; |
val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break; |
case I_IFUNC: |
case I_IFUNC: |
val = evalif((FNODE)FA0(f),(FNODE)FA1(f)); break; |
val = evalif((FNODE)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break; |
#if !defined(VISUAL) |
#if !defined(VISUAL) |
case I_TIMER: |
case I_TIMER: |
{ |
{ |
Line 300 pointer eval(FNODE f) |
|
Line 310 pointer eval(FNODE f) |
|
val = FA0(f); break; |
val = FA0(f); break; |
case I_LIST: |
case I_LIST: |
evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break; |
evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break; |
|
case I_CONS: |
|
evalnodebody((NODE)FA0(f),&tn); a2 = eval(FA1(f)); |
|
if ( !a2 || OID(a2) != O_LIST ) |
|
error("cons : invalid argument"); |
|
for ( tn1 = tn; NEXT(tn1); tn1 = NEXT(tn1) ); |
|
NEXT(tn1) = BDY((LIST)a2); |
|
MKLIST(t,tn); val = (pointer)t; |
|
break; |
case I_NEWCOMP: |
case I_NEWCOMP: |
newstruct((int)FA0(f),(struct oCOMP **)&val); break; |
newstruct((int)FA0(f),(struct oCOMP **)&val); break; |
case I_CAR: |
case I_CAR: |
Line 343 pointer eval(FNODE f) |
|
Line 361 pointer eval(FNODE f) |
|
return ( val ); |
return ( val ); |
} |
} |
|
|
NODE quote_bin_to_nary_node(NODE); |
NODE fnode_to_nary_node(NODE); |
NODE quote_nary_to_bin_node(NODE,int); |
NODE fnode_to_bin_node(NODE,int); |
|
|
FNODE quote_bin_to_nary(FNODE f) |
FNODE fnode_to_nary(FNODE f) |
{ |
{ |
FNODE a0,a1,a2; |
FNODE a0,a1,a2; |
NODE n,t; |
NODE n,t,t0; |
pointer val; |
pointer val; |
char *op; |
char *op; |
|
|
if ( !f ) |
if ( !f ) |
return f; |
return f; |
switch ( f->id ) { |
switch ( f->id ) { |
|
case I_NARYOP: |
|
n = fnode_to_nary_node((NODE)FA1(f)); |
|
return mkfnode(2,I_NARYOP,FA0(f),n); |
|
|
case I_BOP: |
case I_BOP: |
a1 = quote_bin_to_nary((FNODE)FA1(f)); |
a1 = fnode_to_nary((FNODE)FA1(f)); |
a2 = quote_bin_to_nary((FNODE)FA2(f)); |
a2 = fnode_to_nary((FNODE)FA2(f)); |
op = ((ARF)FA0(f))->name; |
op = ((ARF)FA0(f))->name; |
if ( !strcmp(op,"+") || !strcmp(op,"*") ) { |
if ( !strcmp(op,"+") || !strcmp(op,"*") ) { |
if ( a1->id == I_NARYOP && !strcmp(op,((ARF)FA0(a1))->name) ) { |
if ( a1->id == I_NARYOP && !strcmp(op,((ARF)FA0(a1))->name) ) { |
for ( t = (NODE)FA1(a1); NEXT(t); t = NEXT(t)); |
for ( n = (NODE)FA1(a1); NEXT(n); n = NEXT(n) ); |
if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) |
if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) |
NEXT(t) = (NODE)FA1(a2); |
NEXT(n) = (NODE)FA1(a2); |
else |
else |
MKNODE(NEXT(t),a2,0); |
MKNODE(NEXT(n),a2,0); |
return a1; |
return a1; |
} else if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) { |
} else if ( a2->id == I_NARYOP && !strcmp(op,((ARF)FA0(a2))->name) ) { |
MKNODE(t,a1,(NODE)FA1(a2)); |
MKNODE(t,a1,(NODE)FA1(a2)); |
FA1(a2) = (pointer)t; |
return mkfnode(2,I_NARYOP,FA0(f),t); |
return a2; |
|
} else { |
} else { |
t = mknode(2,a1,a2); |
t = mknode(2,a1,a2); |
return mkfnode(2,I_NARYOP,FA0(f),t); |
return mkfnode(2,I_NARYOP,FA0(f),t); |
Line 381 FNODE quote_bin_to_nary(FNODE f) |
|
Line 402 FNODE quote_bin_to_nary(FNODE f) |
|
|
|
case I_NOT: case I_PAREN: case I_MINUS: |
case I_NOT: case I_PAREN: case I_MINUS: |
case I_CAR: case I_CDR: |
case I_CAR: case I_CDR: |
a0 = quote_bin_to_nary((FNODE)FA0(f)); |
a0 = fnode_to_nary((FNODE)FA0(f)); |
return mkfnode(1,f->id,a0); |
return mkfnode(1,f->id,a0); |
|
|
case I_COP: case I_LOP: |
case I_COP: case I_LOP: |
a1 = quote_bin_to_nary((FNODE)FA1(f)); |
a1 = fnode_to_nary((FNODE)FA1(f)); |
a2 = quote_bin_to_nary((FNODE)FA2(f)); |
a2 = fnode_to_nary((FNODE)FA2(f)); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
case I_AND: case I_OR: |
case I_AND: case I_OR: |
a0 = quote_bin_to_nary((FNODE)FA0(f)); |
a0 = fnode_to_nary((FNODE)FA0(f)); |
a1 = quote_bin_to_nary((FNODE)FA1(f)); |
a1 = fnode_to_nary((FNODE)FA1(f)); |
return mkfnode(2,f->id,a0,a1); |
return mkfnode(2,f->id,a0,a1); |
|
|
/* ternary operators */ |
/* ternary operators */ |
case I_CE: |
case I_CE: |
a0 = quote_bin_to_nary((FNODE)FA0(f)); |
a0 = fnode_to_nary((FNODE)FA0(f)); |
a1 = quote_bin_to_nary((FNODE)FA1(f)); |
a1 = fnode_to_nary((FNODE)FA1(f)); |
a2 = quote_bin_to_nary((FNODE)FA2(f)); |
a2 = fnode_to_nary((FNODE)FA2(f)); |
return mkfnode(3,f->id,a0,a1,a2); |
return mkfnode(3,f->id,a0,a1,a2); |
break; |
break; |
|
|
/* function */ |
/* function */ |
case I_FUNC: |
case I_FUNC: |
a1 = quote_bin_to_nary((FNODE)FA1(f)); |
a1 = fnode_to_nary((FNODE)FA1(f)); |
return mkfnode(2,f->id,FA0(f),a1); |
return mkfnode(2,f->id,FA0(f),a1); |
|
|
case I_LIST: case I_EV: |
case I_LIST: case I_EV: |
n = quote_bin_to_nary_node((NODE)FA0(f)); |
n = fnode_to_nary_node((NODE)FA0(f)); |
return mkfnode(1,f->id,n); |
return mkfnode(1,f->id,n); |
|
|
case I_STR: case I_FORMULA: case I_PVAR: |
case I_STR: case I_FORMULA: case I_PVAR: |
return f; |
return f; |
|
|
default: |
default: |
error("quote_bin_to_nary : not implemented yet"); |
error("fnode_to_nary : not implemented yet"); |
} |
} |
} |
} |
|
|
FNODE quote_nary_to_bin(FNODE f,int dir) |
FNODE fnode_to_bin(FNODE f,int dir) |
{ |
{ |
FNODE a0,a1,a2; |
FNODE a0,a1,a2; |
NODE n,t; |
NODE n,t; |
Line 434 FNODE quote_nary_to_bin(FNODE f,int dir) |
|
Line 455 FNODE quote_nary_to_bin(FNODE f,int dir) |
|
case I_NARYOP: |
case I_NARYOP: |
fun = (ARF)FA0(f); |
fun = (ARF)FA0(f); |
len = length((NODE)FA1(f)); |
len = length((NODE)FA1(f)); |
|
if ( len==1 ) return BDY((NODE)(FA1(f))); |
|
|
arg = (FNODE *)ALLOCA(len*sizeof(FNODE)); |
arg = (FNODE *)ALLOCA(len*sizeof(FNODE)); |
for ( i = 0, t = (NODE)FA1(f); i < len; i++, t = NEXT(t) ) |
for ( i = 0, t = (NODE)FA1(f); i < len; i++, t = NEXT(t) ) |
arg[i] = quote_nary_to_bin((FNODE)BDY(t),dir); |
arg[i] = fnode_to_bin((FNODE)BDY(t),dir); |
if ( dir ) { |
if ( dir ) { |
a2 = mkfnode(3,I_BOP,fun,arg[len-2],arg[len-1]); |
a2 = mkfnode(3,I_BOP,fun,arg[len-2],arg[len-1]); |
for ( i = len-3; i >= 0; i-- ) |
for ( i = len-3; i >= 0; i-- ) |
Line 450 FNODE quote_nary_to_bin(FNODE f,int dir) |
|
Line 473 FNODE quote_nary_to_bin(FNODE f,int dir) |
|
|
|
case I_NOT: case I_PAREN: case I_MINUS: |
case I_NOT: case I_PAREN: case I_MINUS: |
case I_CAR: case I_CDR: |
case I_CAR: case I_CDR: |
a0 = quote_nary_to_bin((FNODE)FA0(f),dir); |
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
return mkfnode(1,f->id,a0); |
return mkfnode(1,f->id,a0); |
|
|
case I_BOP: case I_COP: case I_LOP: |
case I_BOP: case I_COP: case I_LOP: |
a1 = quote_nary_to_bin((FNODE)FA1(f),dir); |
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
a2 = quote_nary_to_bin((FNODE)FA2(f),dir); |
a2 = fnode_to_bin((FNODE)FA2(f),dir); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
case I_AND: case I_OR: |
case I_AND: case I_OR: |
a0 = quote_nary_to_bin((FNODE)FA0(f),dir); |
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
a1 = quote_nary_to_bin((FNODE)FA1(f),dir); |
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
return mkfnode(2,f->id,a0,a1); |
return mkfnode(2,f->id,a0,a1); |
|
|
/* ternary operators */ |
/* ternary operators */ |
case I_CE: |
case I_CE: |
a0 = quote_nary_to_bin((FNODE)FA0(f),dir); |
a0 = fnode_to_bin((FNODE)FA0(f),dir); |
a1 = quote_nary_to_bin((FNODE)FA1(f),dir); |
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
a2 = quote_nary_to_bin((FNODE)FA2(f),dir); |
a2 = fnode_to_bin((FNODE)FA2(f),dir); |
return mkfnode(3,f->id,a0,a1,a2); |
return mkfnode(3,f->id,a0,a1,a2); |
break; |
break; |
|
|
/* function */ |
/* function */ |
case I_FUNC: |
case I_FUNC: |
a1 = quote_nary_to_bin((FNODE)FA1(f),dir); |
a1 = fnode_to_bin((FNODE)FA1(f),dir); |
return mkfnode(2,f->id,FA0(f),a1); |
return mkfnode(2,f->id,FA0(f),a1); |
|
|
case I_LIST: case I_EV: |
case I_LIST: case I_EV: |
n = quote_nary_to_bin_node((NODE)FA0(f),dir); |
n = fnode_to_bin_node((NODE)FA0(f),dir); |
return mkfnode(1,f->id,n); |
return mkfnode(1,f->id,n); |
|
|
case I_STR: case I_FORMULA: case I_PVAR: |
case I_STR: case I_FORMULA: case I_PVAR: |
return f; |
return f; |
|
|
default: |
default: |
error("quote_nary_to_bin : not implemented yet"); |
error("fnode_to_bin : not implemented yet"); |
} |
} |
} |
} |
|
|
Line 495 FNODE partial_eval(FNODE f) |
|
Line 518 FNODE partial_eval(FNODE f) |
|
{ |
{ |
FNODE a0,a1,a2; |
FNODE a0,a1,a2; |
NODE n; |
NODE n; |
|
Obj obj; |
|
QUOTE q; |
pointer val; |
pointer val; |
|
FUNC func; |
|
|
if ( !f ) |
if ( !f ) |
return f; |
return f; |
Line 510 FNODE partial_eval(FNODE f) |
|
Line 536 FNODE partial_eval(FNODE f) |
|
a2 = partial_eval((FNODE)FA2(f)); |
a2 = partial_eval((FNODE)FA2(f)); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
|
case I_NARYOP: |
|
n = partial_eval_node((NODE)FA1(f)); |
|
return mkfnode(2,f->id,FA0(f),n); |
|
|
case I_AND: case I_OR: |
case I_AND: case I_OR: |
a0 = partial_eval((FNODE)FA0(f)); |
a0 = partial_eval((FNODE)FA0(f)); |
a1 = partial_eval((FNODE)FA1(f)); |
a1 = partial_eval((FNODE)FA1(f)); |
Line 523 FNODE partial_eval(FNODE f) |
|
Line 553 FNODE partial_eval(FNODE f) |
|
return mkfnode(3,f->id,a0,a1,a2); |
return mkfnode(3,f->id,a0,a1,a2); |
break; |
break; |
|
|
/* function */ |
/* XXX : function is evaluated with QUOTE args */ |
case I_FUNC: |
case I_FUNC: |
a1 = partial_eval((FNODE)FA1(f)); |
a1 = partial_eval((FNODE)FA1(f)); |
return mkfnode(2,f->id,FA0(f),a1); |
func = (FUNC)FA0(f); |
|
if ( func->id == A_UNDEF || func->id != A_USR ) { |
|
a1 = mkfnode(2,I_FUNC,func,a1); |
|
return a1; |
|
} else { |
|
n = BDY(eval_arg(a1,(unsigned int)0xffffffff)); |
|
obj = bevalf(func,n); |
|
objtoquote(obj,&q); |
|
return BDY(q); |
|
} |
|
break; |
|
|
case I_LIST: case I_EV: |
case I_LIST: case I_EV: |
n = partial_eval_node((NODE)FA0(f)); |
n = partial_eval_node((NODE)FA0(f)); |
Line 560 NODE partial_eval_node(NODE n) |
|
Line 600 NODE partial_eval_node(NODE n) |
|
return r0; |
return r0; |
} |
} |
|
|
NODE quote_bin_to_nary_node(NODE n) |
NODE rewrite_fnode_node(NODE n,NODE arg,int qarg); |
|
FNODE rewrite_fnode(FNODE f,NODE arg,int qarg); |
|
|
|
FNODE rewrite_fnode(FNODE f,NODE arg,int qarg) |
{ |
{ |
|
FNODE a0,a1,a2,value; |
|
NODE n,t,pair; |
|
pointer val; |
|
int pv,ind; |
|
|
|
if ( !f ) |
|
return f; |
|
switch ( f->id ) { |
|
case I_NOT: case I_PAREN: case I_MINUS: |
|
case I_CAR: case I_CDR: |
|
a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg); |
|
return mkfnode(1,f->id,a0); |
|
|
|
case I_BOP: case I_COP: case I_LOP: |
|
a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg); |
|
a2 = rewrite_fnode((FNODE)FA2(f),arg,qarg); |
|
return mkfnode(3,f->id,FA0(f),a1,a2); |
|
|
|
case I_AND: case I_OR: |
|
a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg); |
|
a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg); |
|
return mkfnode(2,f->id,a0,a1); |
|
|
|
/* ternary operators */ |
|
case I_CE: |
|
a0 = rewrite_fnode((FNODE)FA0(f),arg,qarg); |
|
a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg); |
|
a2 = rewrite_fnode((FNODE)FA2(f),arg,qarg); |
|
return mkfnode(3,f->id,a0,a1,a2); |
|
break; |
|
|
|
/* nary operators */ |
|
case I_NARYOP: |
|
n = rewrite_fnode_node((NODE)FA1(f),arg,qarg); |
|
return mkfnode(2,f->id,FA0(f),n); |
|
|
|
/* and function */ |
|
case I_FUNC: |
|
a1 = rewrite_fnode((FNODE)FA1(f),arg,qarg); |
|
return mkfnode(2,qarg?I_FUNC_QARG:f->id,FA0(f),a1); |
|
|
|
case I_LIST: case I_EV: |
|
n = rewrite_fnode_node((NODE)FA0(f),arg,qarg); |
|
return mkfnode(1,f->id,n); |
|
|
|
case I_STR: case I_FORMULA: |
|
return f; |
|
|
|
/* program variable */ |
|
case I_PVAR: |
|
pv = (int)FA0(f); |
|
for ( t = arg; t; t = NEXT(t) ) { |
|
pair = (NODE)BDY(t); |
|
ind = (int)BDY(pair); |
|
value = (FNODE)BDY(NEXT(pair)); |
|
if ( pv == ind ) |
|
return value; |
|
} |
|
return f; |
|
break; |
|
|
|
default: |
|
error("rewrite_fnode : not implemented yet"); |
|
} |
|
} |
|
|
|
NODE rewrite_fnode_node(NODE n,NODE arg,int qarg) |
|
{ |
NODE r0,r,t; |
NODE r0,r,t; |
|
|
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
BDY(r) = quote_bin_to_nary((FNODE)BDY(t)); |
BDY(r) = rewrite_fnode((FNODE)BDY(t),arg,qarg); |
} |
} |
if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
return r0; |
return r0; |
} |
} |
|
|
NODE quote_nary_to_bin_node(NODE n,int dir) |
NODE fnode_to_nary_node(NODE n) |
{ |
{ |
NODE r0,r,t; |
NODE r0,r,t; |
|
|
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
BDY(r) = quote_nary_to_bin((FNODE)BDY(t),dir); |
BDY(r) = fnode_to_nary((FNODE)BDY(t)); |
} |
} |
if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
return r0; |
return r0; |
} |
} |
|
|
|
NODE fnode_to_bin_node(NODE n,int dir) |
|
{ |
|
NODE r0,r,t; |
|
|
|
for ( r0 = 0, t = n; t; t = NEXT(t) ) { |
|
NEXTNODE(r0,r); |
|
BDY(r) = fnode_to_bin((FNODE)BDY(t),dir); |
|
} |
|
if ( r0 ) NEXT(r) = 0; |
|
return r0; |
|
} |
|
|
V searchvar(char *name); |
V searchvar(char *name); |
|
|
pointer evalstat(SNODE f) |
pointer evalstat(SNODE f) |
Line 604 pointer evalstat(SNODE f) |
|
Line 727 pointer evalstat(SNODE f) |
|
bp(f); |
bp(f); |
} |
} |
evalstatline = f->ln; |
evalstatline = f->ln; |
|
if ( !PVSS ) at_root = evalstatline; |
|
|
switch ( f->id ) { |
switch ( f->id ) { |
case S_BP: |
case S_BP: |
Line 717 pointer evalnode(NODE node) |
|
Line 841 pointer evalnode(NODE node) |
|
return ( val ); |
return ( val ); |
} |
} |
|
|
extern FUNC cur_binf; |
|
extern NODE PVSS; |
|
|
|
LIST eval_arg(FNODE a,unsigned int quote) |
LIST eval_arg(FNODE a,unsigned int quote) |
{ |
{ |
Line 819 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 941 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
getrlimit(RLIMIT_STACK,&rl); |
getrlimit(RLIMIT_STACK,&rl); |
stack_size = rl.rlim_cur; |
stack_size = rl.rlim_cur; |
} |
} |
if ( !stack_base ) |
if ( !stack_base ) { |
stack_base = (void *)GC_get_stack_base(); |
#if defined(GC7) |
|
stack_base = (void *)GC_get_main_stack_base(); |
|
#else |
|
stack_base = (void *)GC_get_stack_base(); |
|
#endif |
|
} |
if ( (stack_base - (void *)&args) +0x100000 > stack_size ) |
if ( (stack_base - (void *)&args) +0x100000 > stack_size ) |
error("stack overflow"); |
error("stack overflow"); |
#endif |
#endif |
Line 860 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 987 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
for ( tn = f->f.usrf->args, sn = BDY(args); |
for ( tn = f->f.usrf->args, sn = BDY(args); |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
if ( f->f.usrf->module ) { |
if ( f->f.usrf->module ) { |
prev_mpvs = MPVS; |
prev_mpvs = MPVS; |
MPVS = f->f.usrf->module->pvs; |
MPVS = f->f.usrf->module->pvs; |
Line 868 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
Line 996 pointer evalf(FUNC f,FNODE a,FNODE opt) |
|
} else |
} else |
val = evalstat((SNODE)BDY(f->f.usrf)); |
val = evalstat((SNODE)BDY(f->f.usrf)); |
f_return = f_break = f_continue = 0; poppvs(); |
f_return = f_break = f_continue = 0; poppvs(); |
|
if ( PVSS ) |
|
evalstatline = ((VS)BDY(PVSS))->at; |
break; |
break; |
case A_PURE: |
case A_PURE: |
args = (LIST)eval(a); |
args = (LIST)eval(a); |
Line 1068 pointer bevalf(FUNC f,NODE a) |
|
Line 1198 pointer bevalf(FUNC f,NODE a) |
|
for ( tn = f->f.usrf->args, sn = a; |
for ( tn = f->f.usrf->args, sn = a; |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
if ( f->f.usrf->module ) { |
if ( f->f.usrf->module ) { |
prev_mpvs = MPVS; |
prev_mpvs = MPVS; |
MPVS = f->f.usrf->module->pvs; |
MPVS = f->f.usrf->module->pvs; |
Line 1088 pointer bevalf(FUNC f,NODE a) |
|
Line 1219 pointer bevalf(FUNC f,NODE a) |
|
return val; |
return val; |
} |
} |
|
|
pointer evalif(FNODE f,FNODE a) |
pointer bevalf_with_opts(FUNC f,NODE a,NODE opts) |
{ |
{ |
|
pointer val; |
|
int i,n; |
|
NODE tn,sn; |
|
VS pvs,prev_mpvs; |
|
char errbuf[BUFSIZ]; |
|
|
|
if ( f->id == A_UNDEF ) { |
|
sprintf(errbuf,"bevalf : %s undefined",NAME(f)); |
|
error(errbuf); |
|
} |
|
if ( getsecuremode() && !PVSS && !f->secure ) { |
|
sprintf(errbuf,"bevalf : %s not permitted",NAME(f)); |
|
error(errbuf); |
|
} |
|
if ( f->id != A_PARI ) { |
|
for ( i = 0, tn = a; tn; i++, tn = NEXT(tn) ); |
|
if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) { |
|
sprintf(errbuf,"bevalf : argument mismatch in %s()",NAME(f)); |
|
error(errbuf); |
|
} |
|
} |
|
switch ( f->id ) { |
|
case A_BIN: |
|
current_option = opts; |
|
if ( !n ) { |
|
cur_binf = f; |
|
(*f->f.binf)(&val); |
|
} else { |
|
cur_binf = f; |
|
(*f->f.binf)(a,&val); |
|
} |
|
cur_binf = 0; |
|
break; |
|
case A_PARI: |
|
cur_binf = f; |
|
val = evalparif(f,a); |
|
cur_binf = 0; |
|
break; |
|
case A_USR: |
|
pvs = f->f.usrf->pvs; |
|
if ( PVSS ) |
|
((VS)BDY(PVSS))->at = evalstatline; |
|
MKNODE(tn,pvs,PVSS); PVSS = tn; |
|
CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS; |
|
CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n; |
|
CPVS->opt = opts; |
|
if ( CPVS->n ) { |
|
CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV)); |
|
bcopy((char *)pvs->va,(char *)CPVS->va, |
|
(int)(pvs->n*sizeof(struct oPV))); |
|
} |
|
if ( nextbp ) |
|
nextbplevel++; |
|
for ( tn = f->f.usrf->args, sn = a; |
|
sn; tn = NEXT(tn), sn = NEXT(sn) ) |
|
ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn)); |
|
f_return = f_break = f_continue = 0; |
|
if ( f->f.usrf->module ) { |
|
prev_mpvs = MPVS; |
|
MPVS = f->f.usrf->module->pvs; |
|
val = evalstat((SNODE)BDY(f->f.usrf)); |
|
MPVS = prev_mpvs; |
|
} else |
|
val = evalstat((SNODE)BDY(f->f.usrf)); |
|
f_return = f_break = f_continue = 0; poppvs(); |
|
break; |
|
case A_PURE: |
|
val = evalpf(f->f.puref,a,0); |
|
break; |
|
default: |
|
sprintf(errbuf,"bevalf : %s undefined",NAME(f)); |
|
error(errbuf); |
|
break; |
|
} |
|
return val; |
|
} |
|
|
|
pointer evalif(FNODE f,FNODE a,FNODE opt) |
|
{ |
Obj g; |
Obj g; |
|
QUOTE q; |
FNODE t; |
FNODE t; |
|
LIST l; |
|
|
g = (Obj)eval(f); |
g = (Obj)eval(f); |
if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) ) |
if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) ) |
return evalf((FUNC)VR((P)g)->priv,a,0); |
return evalf((FUNC)VR((P)g)->priv,a,opt); |
else if ( g && OID(g) == O_QUOTEARG && ((QUOTEARG)g)->type == A_func ) { |
else if ( g && OID(g) == O_QUOTEARG && ((QUOTEARG)g)->type == A_func ) { |
t = mkfnode(2,I_FUNC,((QUOTEARG)g)->body,a); |
t = mkfnode(2,I_FUNC,((QUOTEARG)g)->body,a); |
return eval(t); |
MKQUOTE(q,t); |
|
return q; |
} else { |
} else { |
error("invalid function pointer"); |
error("invalid function pointer"); |
/* NOTREACHED */ |
/* NOTREACHED */ |
Line 1109 pointer evalif(FNODE f,FNODE a) |
|
Line 1322 pointer evalif(FNODE f,FNODE a) |
|
pointer evalpf(PF pf,NODE args,NODE dargs) |
pointer evalpf(PF pf,NODE args,NODE dargs) |
{ |
{ |
Obj s,s1; |
Obj s,s1; |
int i; |
int i,di,j; |
NODE node,dnode; |
NODE node,dnode; |
PFINS ins; |
PFINS ins; |
PFAD ad; |
PFAD ad; |
Line 1128 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
Line 1341 pointer evalpf(PF pf,NODE args,NODE dargs) |
|
} |
} |
simplify_ins(ins,&s); |
simplify_ins(ins,&s); |
} else { |
} else { |
for ( i = 0, s = pf->body, node = args; |
s = pf->body; |
node; node = NEXT(node), i++ ) { |
if ( dnode ) { |
|
for ( i = 0, dnode = dargs; dnode; dnode = NEXT(dnode), i++ ) { |
|
di = QTOS((Q)dnode->body); |
|
for ( j = 0; j < di; j++ ) { |
|
derivr(CO,s,pf->args[i],&s1); s = s1; |
|
} |
|
} |
|
} |
|
for ( i = 0, node = args; node; node = NEXT(node), i++ ) { |
substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1; |
substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1; |
} |
} |
} |
} |