Annotation of OpenXM_contrib2/asir2000/parse/eval.c, Revision 1.26
1.4 noro 1: /*
2: * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
3: * All rights reserved.
4: *
5: * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
6: * non-exclusive and royalty-free license to use, copy, modify and
7: * redistribute, solely for non-commercial and non-profit purposes, the
8: * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
9: * conditions of this Agreement. For the avoidance of doubt, you acquire
10: * only a limited right to use the SOFTWARE hereunder, and FLL or any
11: * third party developer retains all rights, including but not limited to
12: * copyrights, in and to the SOFTWARE.
13: *
14: * (1) FLL does not grant you a license in any way for commercial
15: * purposes. You may use the SOFTWARE only for non-commercial and
16: * non-profit purposes only, such as academic, research and internal
17: * business use.
18: * (2) The SOFTWARE is protected by the Copyright Law of Japan and
19: * international copyright treaties. If you make copies of the SOFTWARE,
20: * with or without modification, as permitted hereunder, you shall affix
21: * to all such copies of the SOFTWARE the above copyright notice.
22: * (3) An explicit reference to this SOFTWARE and its copyright owner
23: * shall be made on your publication or presentation in any form of the
24: * results obtained by use of the SOFTWARE.
25: * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
1.5 noro 26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
1.4 noro 27: * for such modification or the source code of the modified part of the
28: * SOFTWARE.
29: *
30: * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
31: * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
32: * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
33: * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
34: * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
35: * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
36: * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
37: * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
38: * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
39: * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
40: * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
41: * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
42: * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
43: * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
44: * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
45: * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
46: * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
47: *
1.26 ! takayama 48: * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.25 2003/05/16 09:34:49 noro Exp $
1.4 noro 49: */
1.1 noro 50: #include <ctype.h>
51: #include "ca.h"
52: #include "al.h"
53: #include "base.h"
54: #include "parse.h"
55: #include <sys/types.h>
56: #include <sys/stat.h>
1.20 ohara 57: #if defined(PARI)
1.1 noro 58: #include "genpari.h"
1.2 noro 59: #endif
1.1 noro 60:
1.18 noro 61: extern JMP_BUF timer_env;
1.1 noro 62:
63: int f_break,f_return,f_continue;
64: int evalstatline;
65: int recv_intr;
1.24 noro 66: int show_crossref;
1.1 noro 67:
1.16 noro 68: pointer eval(FNODE f)
1.1 noro 69: {
70: LIST t;
71: STRING str;
72: pointer val = 0;
73: pointer a,a1,a2;
74: NODE tn,ind;
75: R u;
76: DP dp;
1.21 noro 77: unsigned int pv;
78: int c;
1.1 noro 79: FNODE f1;
80: UP2 up2;
81: UP up;
1.13 noro 82: UM um;
1.14 noro 83: Obj obj;
1.1 noro 84: GF2N gf2n;
85: GFPN gfpn;
1.13 noro 86: GFSN gfsn;
1.1 noro 87:
88: #if defined(VISUAL)
89: if ( recv_intr ) {
90: #include <signal.h>
91: if ( recv_intr == 1 ) {
92: recv_intr = 0;
93: int_handler(SIGINT);
94: } else {
95: recv_intr = 0;
96: ox_usr1_handler(0);
97: }
98: }
99: #endif
100: if ( !f )
101: return ( 0 );
102: switch ( f->id ) {
1.10 noro 103: case I_PAREN:
104: val = eval((FNODE)(FA0(f)));
1.14 noro 105: break;
106: case I_MINUS:
107: a1 = eval((FNODE)(FA0(f)));
108: arf_chsgn((Obj)a1,&obj);
109: val = (pointer)obj;
1.10 noro 110: break;
1.1 noro 111: case I_BOP:
112: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
113: (*((ARF)FA0(f))->fp)(CO,a1,a2,&val);
1.10 noro 114: break;
1.1 noro 115: case I_COP:
116: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
117: c = arf_comp(CO,a1,a2);
118: switch ( (cid)FA0(f) ) {
119: case C_EQ:
120: c = (c == 0); break;
121: case C_NE:
122: c = (c != 0); break;
123: case C_GT:
124: c = (c > 0); break;
125: case C_LT:
126: c = (c < 0); break;
127: case C_GE:
128: c = (c >= 0); break;
129: case C_LE:
130: c = (c <= 0); break;
131: default:
132: c = 0; break;
133: }
134: if ( c )
135: val = (pointer)ONE;
136: break;
137: case I_AND:
138: if ( eval((FNODE)FA0(f)) && eval((FNODE)FA1(f)) )
139: val = (pointer)ONE;
140: break;
141: case I_OR:
142: if ( eval((FNODE)FA0(f)) || eval((FNODE)FA1(f)) )
143: val = (pointer)ONE;
144: break;
145: case I_NOT:
146: if ( eval((FNODE)FA0(f)) )
147: val = 0;
148: else
149: val = (pointer)ONE;
150: break;
151: case I_LOP:
152: a1 = eval((FNODE)FA1(f)); a2 = eval((FNODE)FA2(f));
153: val = evall((lid)FA0(f),a1,a2);
154: break;
155: case I_CE:
156: if ( eval((FNODE)FA0(f)) )
157: val = eval((FNODE)FA1(f));
158: else
159: val = eval((FNODE)FA2(f));
160: break;
161: case I_EV:
162: evalnodebody((NODE)FA0(f),&tn); nodetod(tn,&dp); val = (pointer)dp;
163: break;
164: case I_FUNC:
165: val = evalf((FUNC)FA0(f),(FNODE)FA1(f),0); break;
166: case I_FUNC_OPT:
167: val = evalf((FUNC)FA0(f),(FNODE)FA1(f),(FNODE)FA2(f)); break;
168: case I_PFDERIV:
169: error("eval : not implemented yet");
170: break;
171: case I_MAP:
172: val = evalmapf((FUNC)FA0(f),(FNODE)FA1(f)); break;
1.9 noro 173: case I_RECMAP:
174: val = eval_rec_mapf((FUNC)FA0(f),(FNODE)FA1(f)); break;
1.1 noro 175: case I_IFUNC:
176: val = evalif((FNODE)FA0(f),(FNODE)FA1(f)); break;
177: #if !defined(VISUAL)
178: case I_TIMER:
179: {
180: int interval;
181: Obj expired;
182:
183: interval = QTOS((Q)eval((FNODE)FA0(f)));
184: expired = (Obj)eval((FNODE)FA2(f));
185: set_timer(interval);
186: savepvs();
1.18 noro 187: if ( !SETJMP(timer_env) )
1.1 noro 188: val = eval((FNODE)FA1(f));
189: else {
190: val = (pointer)expired;
191: restorepvs();
192: }
193: reset_timer();
194: }
195: break;
196: #endif
197: case I_PRESELF:
198: f1 = (FNODE)FA1(f);
199: if ( ID(f1) == I_PVAR ) {
1.21 noro 200: pv = (unsigned int)FA0(f1); ind = (NODE)FA1(f1); GETPV(pv,a);
1.1 noro 201: if ( !ind ) {
202: (*((ARF)FA0(f))->fp)(CO,a,ONE,&val); ASSPV(pv,val);
203: } else if ( a ) {
204: evalnodebody(ind,&tn); getarray(a,tn,(pointer *)&u);
205: (*((ARF)FA0(f))->fp)(CO,u,ONE,&val); putarray(a,tn,val);
206: }
207: } else
1.6 noro 208: error("++ : not implemented yet");
1.1 noro 209: break;
210: case I_POSTSELF:
211: f1 = (FNODE)FA1(f);
212: if ( ID(f1) == I_PVAR ) {
1.21 noro 213: pv = (unsigned int)FA0(f1); ind = (NODE)FA1(f1); GETPV(pv,val);
1.1 noro 214: if ( !ind ) {
215: (*((ARF)FA0(f))->fp)(CO,val,ONE,&u); ASSPV(pv,u);
216: } else if ( val ) {
217: evalnodebody(ind,&tn); getarray(val,tn,&a);
218: (*((ARF)FA0(f))->fp)(CO,a,ONE,&u); putarray(val,tn,(pointer)u);
219: val = a;
220: }
221: } else
1.6 noro 222: error("-- : not implemented yet");
1.1 noro 223: break;
224: case I_PVAR:
1.21 noro 225: pv = (unsigned int)FA0(f); ind = (NODE)FA1(f); GETPV(pv,a);
1.1 noro 226: if ( !ind )
227: val = a;
228: else {
229: evalnodebody(ind,&tn); getarray(a,tn,&val);
230: }
231: break;
232: case I_ASSPVAR:
233: f1 = (FNODE)FA0(f);
234: if ( ID(f1) == I_PVAR ) {
1.21 noro 235: pv = (unsigned int)FA0(f1); ind = (NODE)FA1(f1);
1.1 noro 236: if ( !ind ) {
237: val = eval((FNODE)FA1(f)); ASSPV(pv,val);
238: } else {
239: GETPV(pv,a);
240: evalnodebody(ind,&tn);
241: putarray(a,tn,val = eval((FNODE)FA1(f)));
242: }
1.6 noro 243: } else if ( ID(f1) == I_POINT ) {
244: /* f1 <-> FA0(f1)->FA1(f1) */
245: a = eval(FA0(f1));
1.7 noro 246: assign_to_member(a,(char *)FA1(f1),val = eval((FNODE)FA1(f)));
247: } else if ( ID(f1) == I_INDEX ) {
248: /* f1 <-> FA0(f1)[FA1(f1)] */
249: a = eval((FNODE)FA0(f1)); ind = (NODE)FA1(f1);
250: evalnodebody(ind,&tn);
251: putarray(a,tn,val = eval((FNODE)FA1(f)));
1.15 noro 252: } else {
253: error("eval : invalid assignment");
1.6 noro 254: }
1.1 noro 255: break;
256: case I_ANS:
257: if ( (pv =(int)FA0(f)) < (int)APVS->n )
258: val = APVS->va[pv].priv;
259: break;
260: case I_GF2NGEN:
261: NEWUP2(up2,1);
262: up2->w=1;
263: up2->b[0] = 2; /* @ */
264: MKGF2N(up2,gf2n);
265: val = (pointer)gf2n;
266: break;
267: case I_GFPNGEN:
268: up = UPALLOC(1);
1.13 noro 269: DEG(up)=1;
270: COEF(up)[0] = 0;
271: COEF(up)[1] = (Num)ONELM;
1.1 noro 272: MKGFPN(up,gfpn);
273: val = (pointer)gfpn;
1.13 noro 274: break;
275: case I_GFSNGEN:
276: um = UMALLOC(1);
277: DEG(um) = 1;
278: COEF(um)[0] = 0;
279: COEF(um)[1] = _onesf();
280: MKGFSN(um,gfsn);
281: val = (pointer)gfsn;
1.1 noro 282: break;
283: case I_STR:
284: MKSTR(str,FA0(f)); val = (pointer)str; break;
285: case I_FORMULA:
286: val = FA0(f); break;
287: case I_LIST:
288: evalnodebody((NODE)FA0(f),&tn); MKLIST(t,tn); val = (pointer)t; break;
289: case I_NEWCOMP:
290: newstruct((int)FA0(f),(struct oCOMP **)&val); break;
291: case I_CAR:
292: if ( !(a = eval((FNODE)FA0(f))) || (OID(a) != O_LIST) )
293: val = 0;
294: else if ( !BDY((LIST)a) )
295: val = a;
296: else
297: val = (pointer)BDY(BDY((LIST)a));
298: break;
299: case I_CDR:
300: if ( !(a = eval((FNODE)FA0(f))) || (OID(a) != O_LIST) )
301: val = 0;
302: else if ( !BDY((LIST)a) )
303: val = a;
304: else {
305: MKLIST(t,NEXT(BDY((LIST)a))); val = (pointer)t;
306: }
307: break;
308: case I_PROC:
309: val = (pointer)FA0(f); break;
310: case I_INDEX:
311: a = eval((FNODE)FA0(f)); ind = (NODE)FA1(f);
312: evalnodebody(ind,&tn); getarray(a,tn,&val);
313: break;
314: case I_OPT:
315: MKSTR(str,(char *)FA0(f));
316: a = (pointer)eval(FA1(f));
317: tn = mknode(2,str,a);
318: MKLIST(t,tn); val = (pointer)t;
319: break;
320: case I_GETOPT:
321: val = (pointer)getopt_from_cpvs((char *)FA0(f));
1.6 noro 322: break;
323: case I_POINT:
324: a = (pointer)eval(FA0(f));
325: val = (pointer)memberofstruct(a,(char *)FA1(f));
1.1 noro 326: break;
327: default:
328: error("eval : unknown id");
329: break;
330: }
331: return ( val );
332: }
333:
1.16 noro 334: pointer evalstat(SNODE f)
1.1 noro 335: {
336: pointer val = 0,t,s,s1;
337: P u;
338: NODE tn;
339: int i,ac;
340: V *a;
341: char *buf;
342:
343: if ( !f )
344: return ( 0 );
345: if ( nextbp && nextbplevel <= 0 && f->id != S_CPLX ) {
346: nextbp = 0;
347: bp(f);
348: }
349: evalstatline = f->ln;
350:
351: switch ( f->id ) {
352: case S_BP:
353: if ( !nextbp && (!FA1(f) || eval((FNODE)FA1(f))) ) {
354: if ( (FNODE)FA2(f) ) {
1.20 ohara 355: #if defined(PARI)
1.1 noro 356: pari_outfile = stderr;
357: #endif
358: asir_out = stderr;
359: printexpr(CO,eval((FNODE)FA2(f)));
360: putc('\n',asir_out); fflush(asir_out);
1.20 ohara 361: #if defined(PARI)
1.1 noro 362: pari_outfile = stdout;
363: #endif
364: asir_out = stdout;
365: } else {
366: nextbp = 1; nextbplevel = 0;
367: }
368: }
369: val = evalstat((SNODE)FA0(f));
370: break;
371: case S_PFDEF:
372: ac = argc(FA1(f)); a = (V *)MALLOC(ac*sizeof(V));
373: s = eval((FNODE)FA2(f));
374: buf = (char *)ALLOCA(BUFSIZ);
375: for ( i = 0, tn = (NODE)FA1(f); tn; tn = NEXT(tn), i++ ) {
376: t = eval((FNODE)tn->body); sprintf(buf,"_%s",NAME(VR((P)t)));
377: makevar(buf,&u); a[i] = VR(u);
378: substr(CO,0,(Obj)s,VR((P)t),(Obj)u,(Obj *)&s1); s = s1;
379: }
380: mkpf((char *)FA0(f),(Obj)s,ac,a,0,0,0,(PF *)&val); val = 0; break;
381: case S_SINGLE:
382: val = eval((FNODE)FA0(f)); break;
383: case S_CPLX:
384: for ( tn = (NODE)FA0(f); tn; tn = NEXT(tn) ) {
385: if ( BDY(tn) )
386: val = evalstat((SNODE)BDY(tn));
387: if ( f_break || f_return || f_continue )
388: break;
389: }
390: break;
391: case S_BREAK:
392: if ( GPVS != CPVS )
393: f_break = 1;
394: break;
395: case S_CONTINUE:
396: if ( GPVS != CPVS )
397: f_continue = 1;
398: break;
399: case S_RETURN:
400: if ( GPVS != CPVS ) {
401: val = eval((FNODE)FA0(f)); f_return = 1;
402: }
403: break;
404: case S_IFELSE:
405: if ( evalnode((NODE)FA1(f)) )
406: val = evalstat((SNODE)FA2(f));
407: else if ( FA3(f) )
408: val = evalstat((SNODE)FA3(f));
409: break;
410: case S_FOR:
411: evalnode((NODE)FA1(f));
412: while ( 1 ) {
413: if ( !evalnode((NODE)FA2(f)) )
414: break;
415: val = evalstat((SNODE)FA4(f));
416: if ( f_break || f_return )
417: break;
418: f_continue = 0;
419: evalnode((NODE)FA3(f));
420: }
421: f_break = 0; break;
422: case S_DO:
423: while ( 1 ) {
424: val = evalstat((SNODE)FA1(f));
425: if ( f_break || f_return )
426: break;
427: f_continue = 0;
428: if ( !evalnode((NODE)FA2(f)) )
429: break;
430: }
431: f_break = 0; break;
432: default:
433: error("evalstat : unknown id");
434: break;
435: }
436: return ( val );
437: }
438:
1.16 noro 439: pointer evalnode(NODE node)
1.1 noro 440: {
441: NODE tn;
442: pointer val;
443:
444: for ( tn = node, val = 0; tn; tn = NEXT(tn) )
445: if ( BDY(tn) )
446: val = eval((FNODE)BDY(tn));
447: return ( val );
448: }
449:
450: extern FUNC cur_binf;
451: extern NODE PVSS;
452:
1.16 noro 453: pointer evalf(FUNC f,FNODE a,FNODE opt)
1.1 noro 454: {
455: LIST args;
456: pointer val;
457: int i,n,level;
1.11 noro 458: NODE tn,sn,opts,opt1;
1.21 noro 459: VS pvs,prev_mpvs;
1.1 noro 460: char errbuf[BUFSIZ];
1.19 saito 461: static unsigned int stack_size;
1.12 noro 462: static void *stack_base;
1.1 noro 463:
464: if ( f->id == A_UNDEF ) {
465: sprintf(errbuf,"evalf : %s undefined",NAME(f));
466: error(errbuf);
467: }
468: if ( f->id != A_PARI ) {
469: for ( i = 0, tn = a?(NODE)FA0(a):0; tn; i++, tn = NEXT(tn) );
470: if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) {
471: sprintf(errbuf,"evalf : argument mismatch in %s()",NAME(f));
472: error(errbuf);
473: }
474: }
475: switch ( f->id ) {
476: case A_BIN:
477: if ( !n ) {
478: cur_binf = f;
479: (*f->f.binf)(&val);
480: } else {
481: args = (LIST)eval(a);
482: cur_binf = f;
483: (*f->f.binf)(args?BDY(args):0,&val);
484: }
485: cur_binf = 0;
486: break;
487: case A_PARI:
488: args = (LIST)eval(a);
489: cur_binf = f;
490: val = evalparif(f,args?BDY(args):0);
491: cur_binf = 0;
492: break;
493: case A_USR:
1.12 noro 494: /* stack check */
1.17 noro 495: #if !defined(VISUAL) && !defined(__CYGWIN__)
1.12 noro 496: if ( !stack_size ) {
497: struct rlimit rl;
498: getrlimit(RLIMIT_STACK,&rl);
499: stack_size = rl.rlim_cur;
500: }
501: if ( !stack_base )
502: stack_base = (void *)GC_get_stack_base();
503: if ( (stack_base - (void *)&args) +0x100000 > stack_size )
504: error("stack overflow");
505: #endif
1.1 noro 506: args = (LIST)eval(a);
1.11 noro 507: if ( opt ) {
1.1 noro 508: opts = BDY((LIST)eval(opt));
1.11 noro 509: /* opts = ["opt1",arg1],... */
510: opt1 = BDY((LIST)BDY(opts));
511: if ( !strcmp(BDY((STRING)BDY(opt1)),"option_list") ) {
512: /*
513: * the special option specification:
514: * option_list=[["o1","a1"],...]
515: */
516: asir_assert(BDY(NEXT(opt1)),O_LIST,"evalf");
517: opts = BDY((LIST)BDY(NEXT(opt1)));
518: }
519: } else
1.1 noro 520: opts = 0;
521: pvs = f->f.usrf->pvs;
522: if ( PVSS ) {
523: ((VS)BDY(PVSS))->at = evalstatline;
524: level = ((VS)BDY(PVSS))->level+1;
525: } else
526: level = 1;
527: MKNODE(tn,pvs,PVSS); PVSS = tn;
528: CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
529: CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n;
530: CPVS->level = level;
531: CPVS->opt = opts;
532: if ( CPVS->n ) {
533: CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV));
534: bcopy((char *)pvs->va,(char *)CPVS->va,
535: (int)(pvs->n*sizeof(struct oPV)));
536: }
537: if ( nextbp )
538: nextbplevel++;
539: for ( tn = f->f.usrf->args, sn = BDY(args);
540: sn; tn = NEXT(tn), sn = NEXT(sn) )
541: ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
1.21 noro 542: if ( f->f.usrf->module ) {
543: prev_mpvs = MPVS;
544: MPVS = f->f.usrf->module->pvs;
545: val = evalstat((SNODE)BDY(f->f.usrf));
546: MPVS = prev_mpvs;
547: } else
548: val = evalstat((SNODE)BDY(f->f.usrf));
1.1 noro 549: f_return = f_break = f_continue = 0; poppvs();
550: break;
551: case A_PURE:
552: args = (LIST)eval(a);
553: val = evalpf(f->f.puref,args?BDY(args):0);
554: break;
555: default:
556: sprintf(errbuf,"evalf : %s undefined",NAME(f));
557: error(errbuf);
558: break;
559: }
560: return val;
561: }
562:
1.16 noro 563: pointer evalmapf(FUNC f,FNODE a)
1.1 noro 564: {
565: LIST args;
566: NODE node,rest,t,n,r,r0;
567: Obj head;
568: VECT v,rv;
569: MAT m,rm;
570: LIST rl;
571: int len,row,col,i,j;
572: pointer val;
573:
574: args = (LIST)eval(a);
575: node = BDY(args); head = (Obj)BDY(node); rest = NEXT(node);
1.3 noro 576: if ( !head ) {
577: val = bevalf(f,node);
578: return val;
579: }
1.1 noro 580: switch ( OID(head) ) {
581: case O_VECT:
582: v = (VECT)head; len = v->len; MKVECT(rv,len);
583: for ( i = 0; i < len; i++ ) {
584: MKNODE(t,BDY(v)[i],rest); BDY(rv)[i] = bevalf(f,t);
585: }
586: val = (pointer)rv;
587: break;
588: case O_MAT:
589: m = (MAT)head; row = m->row; col = m->col; MKMAT(rm,row,col);
590: for ( i = 0; i < row; i++ )
591: for ( j = 0; j < col; j++ ) {
592: MKNODE(t,BDY(m)[i][j],rest); BDY(rm)[i][j] = bevalf(f,t);
593: }
594: val = (pointer)rm;
595: break;
596: case O_LIST:
597: n = BDY((LIST)head);
598: for ( r0 = r = 0; n; n = NEXT(n) ) {
599: NEXTNODE(r0,r); MKNODE(t,BDY(n),rest); BDY(r) = bevalf(f,t);
1.9 noro 600: }
601: if ( r0 )
602: NEXT(r) = 0;
603: MKLIST(rl,r0);
604: val = (pointer)rl;
605: break;
606: default:
607: val = bevalf(f,node);
608: break;
609: }
610: return val;
611: }
612:
1.16 noro 613: pointer eval_rec_mapf(FUNC f,FNODE a)
1.9 noro 614: {
615: LIST args;
616:
617: args = (LIST)eval(a);
618: return beval_rec_mapf(f,BDY(args));
619: }
620:
1.16 noro 621: pointer beval_rec_mapf(FUNC f,NODE node)
1.9 noro 622: {
623: NODE rest,t,n,r,r0;
624: Obj head;
625: VECT v,rv;
626: MAT m,rm;
627: LIST rl;
628: int len,row,col,i,j;
629: pointer val;
630:
631: head = (Obj)BDY(node); rest = NEXT(node);
632: if ( !head ) {
633: val = bevalf(f,node);
634: return val;
635: }
636: switch ( OID(head) ) {
637: case O_VECT:
638: v = (VECT)head; len = v->len; MKVECT(rv,len);
639: for ( i = 0; i < len; i++ ) {
640: MKNODE(t,BDY(v)[i],rest); BDY(rv)[i] = beval_rec_mapf(f,t);
641: }
642: val = (pointer)rv;
643: break;
644: case O_MAT:
645: m = (MAT)head; row = m->row; col = m->col; MKMAT(rm,row,col);
646: for ( i = 0; i < row; i++ )
647: for ( j = 0; j < col; j++ ) {
648: MKNODE(t,BDY(m)[i][j],rest);
649: BDY(rm)[i][j] = beval_rec_mapf(f,t);
650: }
651: val = (pointer)rm;
652: break;
653: case O_LIST:
654: n = BDY((LIST)head);
655: for ( r0 = r = 0; n; n = NEXT(n) ) {
656: NEXTNODE(r0,r); MKNODE(t,BDY(n),rest);
657: BDY(r) = beval_rec_mapf(f,t);
1.1 noro 658: }
659: if ( r0 )
660: NEXT(r) = 0;
661: MKLIST(rl,r0);
662: val = (pointer)rl;
663: break;
664: default:
665: val = bevalf(f,node);
666: break;
667: }
668: return val;
669: }
670:
1.16 noro 671: pointer bevalf(FUNC f,NODE a)
1.1 noro 672: {
673: pointer val;
674: int i,n;
675: NODE tn,sn;
676: VS pvs;
677: char errbuf[BUFSIZ];
678:
679: if ( f->id == A_UNDEF ) {
680: sprintf(errbuf,"bevalf : %s undefined",NAME(f));
681: error(errbuf);
682: }
683: if ( f->id != A_PARI ) {
684: for ( i = 0, tn = a; tn; i++, tn = NEXT(tn) );
685: if ( ((n = f->argc)>= 0 && i != n) || (n < 0 && i > -n) ) {
686: sprintf(errbuf,"bevalf : argument mismatch in %s()",NAME(f));
687: error(errbuf);
688: }
689: }
690: switch ( f->id ) {
691: case A_BIN:
692: if ( !n ) {
693: cur_binf = f;
694: (*f->f.binf)(&val);
695: } else {
696: cur_binf = f;
697: (*f->f.binf)(a,&val);
698: }
699: cur_binf = 0;
700: break;
701: case A_PARI:
702: cur_binf = f;
703: val = evalparif(f,a);
704: cur_binf = 0;
705: break;
706: case A_USR:
707: pvs = f->f.usrf->pvs;
708: if ( PVSS )
709: ((VS)BDY(PVSS))->at = evalstatline;
710: MKNODE(tn,pvs,PVSS); PVSS = tn;
711: CPVS = (VS)ALLOCA(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
712: CPVS->usrf = f; CPVS->n = CPVS->asize = pvs->n;
713: CPVS->opt = 0;
714: if ( CPVS->n ) {
715: CPVS->va = (struct oPV *)ALLOCA(CPVS->n*sizeof(struct oPV));
716: bcopy((char *)pvs->va,(char *)CPVS->va,
717: (int)(pvs->n*sizeof(struct oPV)));
718: }
719: if ( nextbp )
720: nextbplevel++;
721: for ( tn = f->f.usrf->args, sn = a;
722: sn; tn = NEXT(tn), sn = NEXT(sn) )
723: ASSPV((int)FA0((FNODE)BDY(tn)),BDY(sn));
724: val = evalstat((SNODE)BDY(f->f.usrf));
725: f_return = f_break = f_continue = 0; poppvs();
726: break;
727: case A_PURE:
728: val = evalpf(f->f.puref,a);
729: break;
730: default:
731: sprintf(errbuf,"bevalf : %s undefined",NAME(f));
732: error(errbuf);
733: break;
734: }
735: return val;
736: }
737:
1.16 noro 738: pointer evalif(FNODE f,FNODE a)
1.1 noro 739: {
740: Obj g;
741:
742: g = (Obj)eval(f);
743: if ( g && (OID(g) == O_P) && (VR((P)g)->attr == (pointer)V_SR) )
744: return evalf((FUNC)VR((P)g)->priv,a,0);
745: else {
746: error("invalid function pointer");
1.16 noro 747: /* NOTREACHED */
748: return (pointer)-1;
1.1 noro 749: }
750: }
751:
1.16 noro 752: pointer evalpf(PF pf,NODE args)
1.1 noro 753: {
754: Obj s,s1;
755: int i;
756: NODE node;
757: PFINS ins;
758: PFAD ad;
759:
760: if ( !pf->body ) {
761: ins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD));
762: ins->pf = pf;
763: for ( i = 0, node = args, ad = ins->ad;
764: node; node = NEXT(node), i++ ) {
765: ad[i].d = 0; ad[i].arg = (Obj)node->body;
766: }
767: simplify_ins(ins,&s);
768: } else {
769: for ( i = 0, s = pf->body, node = args;
770: node; node = NEXT(node), i++ ) {
771: substr(CO,0,s,pf->args[i],(Obj)node->body,&s1); s = s1;
772: }
773: }
774: return (pointer)s;
775: }
776:
1.16 noro 777: void evalnodebody(NODE sn,NODE *dnp)
1.1 noro 778: {
779: NODE n,n0,tn;
780: int line;
781:
782: if ( !sn ) {
783: *dnp = 0;
784: return;
785: }
786: line = evalstatline;
787: for ( tn = sn, n0 = 0; tn; tn = NEXT(tn) ) {
788: NEXTNODE(n0,n);
789: BDY(n) = eval((FNODE)BDY(tn));
790: evalstatline = line;
791: }
792: NEXT(n) = 0; *dnp = n0;
793: }
794:
1.21 noro 795: MODULE searchmodule(char *name)
796: {
797: MODULE mod;
798: NODE m;
799:
800: for ( m = MODULE_LIST; m; m = NEXT(m) ) {
801: mod = (MODULE)BDY(m);
802: if ( !strcmp(mod->name,name) )
803: return mod;
804: }
805: return 0;
806: }
1.24 noro 807: /*
808: * xxx.yyy() is searched in the flist
809: * of the module xxx.
810: * yyy() is searched in the global flist.
811: */
1.21 noro 812:
1.22 noro 813: void searchuf(char *name,FUNC *r)
814: {
815: MODULE mod;
816: char *name0,*dot;
817:
818: if ( dot = strchr(name,'.') ) {
819: name0 = (char *)ALLOCA(strlen(name)+1);
820: strcpy(name0,name);
821: dot = strchr(name0,'.');
822: *dot = 0;
823: mod = searchmodule(name0);
824: if ( mod )
825: searchf(mod->usrf_list,dot+1,r);
826: } else
827: searchf(usrf,name,r);
828: }
829:
1.16 noro 830: void gen_searchf(char *name,FUNC *r)
1.12 noro 831: {
1.21 noro 832: FUNC val = 0;
833:
1.25 noro 834: if ( CUR_MODULE )
1.21 noro 835: searchf(CUR_MODULE->usrf_list,name,&val);
1.25 noro 836: if ( !val )
837: searchf(sysf,name,&val);
838: if ( !val )
839: searchf(ubinf,name,&val);
840: if ( !val )
841: searchpf(name,&val);
842: if ( !val )
843: searchuf(name,&val);
844: if ( !val )
845: appenduf(name,&val);
1.12 noro 846: *r = val;
847: }
848:
1.16 noro 849: void searchf(NODE fn,char *name,FUNC *r)
1.1 noro 850: {
851: NODE tn;
852:
853: for ( tn = fn;
854: tn && strcmp(NAME((FUNC)BDY(tn)),name); tn = NEXT(tn) );
855: if ( tn ) {
856: *r = (FUNC)BDY(tn);
857: return;
858: }
859: *r = 0;
860: }
861:
1.22 noro 862: MODULE mkmodule(char *);
863:
1.16 noro 864: void appenduf(char *name,FUNC *r)
1.1 noro 865: {
866: NODE tn;
867: FUNC f;
1.22 noro 868: int len;
869: MODULE mod;
870: char *modname,*fname,*dot;
1.1 noro 871:
872: f=(FUNC)MALLOC(sizeof(struct oFUNC));
1.22 noro 873: f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
874: if ( dot = strchr(name,'.') ) {
875: /* undefined function in undefined module */
876: len = dot-name;
877: modname = (char *)MALLOC_ATOMIC(len+1);
878: strncpy(modname,name,len); modname[len] = 0;
879: mod = mkmodule(modname);
880: fname = (char *)MALLOC_ATOMIC(strlen(name)-len+1);
881: strcpy(fname,dot+1);
882: f->name = fname;
1.25 noro 883: f->fullname = name;
1.22 noro 884: MKNODE(mod->usrf_list,f,0);
1.21 noro 885: } else {
1.22 noro 886: f->name = name;
1.25 noro 887: #if 0
1.22 noro 888: if ( CUR_MODULE ) {
1.25 noro 889: f->fullname =
890: (char *)MALLOC_ATOMIC(strlen(CUR_MODULE->name)+strlen(name)+1);
891: sprintf(f->fullname,"%s.%s",CUR_MODULE->name,name);
1.22 noro 892: MKNODE(tn,f,CUR_MODULE->usrf_list); CUR_MODULE->usrf_list = tn;
893: } else {
1.25 noro 894: f->fullname = name;
1.22 noro 895: MKNODE(tn,f,usrf); usrf = tn;
896: }
1.25 noro 897: #else
898: f->fullname = name;
899: MKNODE(tn,f,usrf); usrf = tn;
900: #endif
1.21 noro 901: }
1.1 noro 902: *r = f;
903: }
904:
1.25 noro 905: void appenduf_local(char *name,FUNC *r)
1.24 noro 906: {
907: NODE tn;
908: FUNC f;
1.25 noro 909: MODULE mod;
1.24 noro 910:
911: f=(FUNC)MALLOC(sizeof(struct oFUNC));
912: f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
1.25 noro 913: f->name = name;
914: f->fullname =
915: (char *)MALLOC_ATOMIC(strlen(CUR_MODULE->name)+strlen(name)+1);
916: sprintf(f->fullname,"%s.%s",CUR_MODULE->name,name);
917: MKNODE(tn,f,CUR_MODULE->usrf_list); CUR_MODULE->usrf_list = tn;
1.24 noro 918: *r = f;
919: }
920:
1.25 noro 921: void appenduflist(NODE n)
922: {
923: NODE tn;
924: FUNC f;
925:
926: for ( tn = n; tn; tn = NEXT(tn) )
927: appenduf_local((char *)BDY(tn),&f);
928: }
929:
1.16 noro 930: void mkparif(char *name,FUNC *r)
1.1 noro 931: {
932: FUNC f;
933:
934: *r = f =(FUNC)MALLOC(sizeof(struct oFUNC));
935: f->name = name; f->id = A_PARI; f->argc = 0; f->f.binf = 0;
936: }
937:
1.21 noro 938: void mkuf(char *name,char *fname,NODE args,SNODE body,int startl,int endl,char *desc,MODULE module)
1.1 noro 939: {
940: FUNC f;
941: USRF t;
1.21 noro 942: NODE usrf_list,sn,tn;
1.1 noro 943: FNODE fn;
1.21 noro 944: char *longname;
1.1 noro 945: int argc;
946:
1.21 noro 947: if ( !module ) {
948: searchf(sysf,name,&f);
949: if ( f ) {
950: fprintf(stderr,"def : builtin function %s() cannot be redefined.\n",name);
951: CPVS = GPVS; return;
952: }
1.1 noro 953: }
954: for ( argc = 0, sn = args; sn; argc++, sn = NEXT(sn) ) {
955: fn = (FNODE)BDY(sn);
956: if ( !fn || ID(fn) != I_PVAR ) {
957: fprintf(stderr,"illegal argument in %s()\n",name);
958: CPVS = GPVS; return;
959: }
960: }
1.21 noro 961: usrf_list = module ? module->usrf_list : usrf;
962: for ( sn = usrf_list; sn && strcmp(NAME((FUNC)BDY(sn)),name); sn = NEXT(sn) );
1.1 noro 963: if ( sn )
964: f = (FUNC)BDY(sn);
965: else {
966: f=(FUNC)MALLOC(sizeof(struct oFUNC));
967: f->name = name;
1.21 noro 968: MKNODE(tn,f,usrf_list); usrf_list = tn;
1.25 noro 969: if ( module ) {
970: f->fullname =
971: (char *)MALLOC_ATOMIC(strlen(f->name)+strlen(module->name)+1);
972: sprintf(f->fullname,"%s.%s",module->name,f->name);
1.21 noro 973: module->usrf_list = usrf_list;
1.25 noro 974: } else {
975: f->fullname = f->name;
1.21 noro 976: usrf = usrf_list;
1.25 noro 977: }
1.21 noro 978: }
979: if ( Verbose && f->id != A_UNDEF ) {
980: if ( module )
981: fprintf(stderr,"Warning : %s.%s() redefined.\n",module->name,name);
982: else
983: fprintf(stderr,"Warning : %s() redefined.\n",name);
1.1 noro 984: }
985: t=(USRF)MALLOC(sizeof(struct oUSRF));
986: t->args=args; BDY(t)=body; t->pvs = CPVS; t->fname = fname;
1.21 noro 987: t->startl = startl; t->endl = endl; t->module = module;
1.1 noro 988: t->desc = desc;
989: f->id = A_USR; f->argc = argc; f->f.usrf = t;
990: CPVS = GPVS;
1.24 noro 991: CUR_FUNC = 0;
1.1 noro 992: clearbp(f);
993: }
994:
995: /*
996: retrieve value of an option whose key matches 'key'
997: CVS->opt is a list(node) of key-value pair (list)
998: CVS->opt = BDY([[key,value],[key,value],...])
999: */
1000:
1.16 noro 1001: Obj getopt_from_cpvs(char *key)
1.1 noro 1002: {
1003: NODE opts,opt;
1.12 noro 1004: LIST r;
1.1 noro 1005: extern Obj VOIDobj;
1006:
1007: opts = CPVS->opt;
1.12 noro 1008: if ( !key ) {
1009: MKLIST(r,opts);
1010: return (Obj)r;
1011: } else {
1012: for ( ; opts; opts = NEXT(opts) ) {
1013: asir_assert(BDY(opts),O_LIST,"getopt_from_cvps");
1014: opt = BDY((LIST)BDY(opts));
1015: if ( !strcmp(key,BDY((STRING)BDY(opt))) )
1016: return (Obj)BDY(NEXT(opt));
1017: }
1018: return VOIDobj;
1.1 noro 1019: }
1020:
1.21 noro 1021: }
1022:
1023: MODULE mkmodule(char *name)
1024: {
1025: MODULE mod;
1026: NODE m;
1027: int len;
1028: VS mpvs;
1029:
1030: for ( m = MODULE_LIST; m; m = NEXT(m) ) {
1031: mod = (MODULE)m->body;
1032: if ( !strcmp(mod->name,name) )
1033: break;
1034: }
1035: if ( m )
1036: return mod;
1037: else {
1038: mod = (MODULE)MALLOC(sizeof(struct oMODULE));
1039: len = strlen(name);
1040: mod->name = (char *)MALLOC_ATOMIC(len+1);
1041: strcpy(mod->name,name);
1042: mod->pvs = mpvs = (VS)MALLOC(sizeof(struct oVS));
1043: reallocarray((char **)&mpvs->va,(int *)&mpvs->asize,
1044: (int *)&mpvs->n,(int)sizeof(struct oPV));
1045: mod->usrf_list = 0;
1046: MKNODE(m,mod,MODULE_LIST);
1047: MODULE_LIST = m;
1048: return mod;
1049: }
1.23 noro 1050: }
1051:
1.24 noro 1052: void print_crossref(FUNC f)
1053: {
1.26 ! takayama 1054: FUNC r;
! 1055: if ( show_crossref && CUR_FUNC ) {
! 1056: searchuf(f->fullname,&r);
! 1057: if (r != NULL) {
! 1058: fprintf(asir_out,"%s() at line %d in %s()\n",
! 1059: f->fullname, asir_infile->ln, CUR_FUNC);
! 1060: }
! 1061: }
1.1 noro 1062: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>