19662Slinton /* Copyright (c) 1982 Regents of the University of California */ 29662Slinton 3*11175Slinton static char sccsid[] = "@(#)eval.c 1.4 02/20/83"; 49662Slinton 59662Slinton /* 69662Slinton * Tree evaluation. 79662Slinton */ 89662Slinton 99662Slinton #include "defs.h" 109662Slinton #include "tree.h" 119662Slinton #include "operators.h" 129662Slinton #include "eval.h" 139662Slinton #include "events.h" 149662Slinton #include "symbols.h" 159662Slinton #include "scanner.h" 169662Slinton #include "source.h" 179662Slinton #include "object.h" 189662Slinton #include "mappings.h" 199662Slinton #include "process.h" 209662Slinton #include "machine.h" 219662Slinton #include <signal.h> 229662Slinton 239662Slinton #ifndef public 249662Slinton 259662Slinton #include "machine.h" 269662Slinton 279662Slinton #define STACKSIZE 2000 289662Slinton 299662Slinton typedef Char Stack; 309662Slinton 319662Slinton #define push(type, value) { \ 329662Slinton ((type *) (sp += sizeof(type)))[-1] = (value); \ 339662Slinton } 349662Slinton 359662Slinton #define pop(type) ( \ 369662Slinton (*((type *) (sp -= sizeof(type)))) \ 379662Slinton ) 389662Slinton 399662Slinton #define alignstack() { \ 409662Slinton sp = (Stack *) (( ((int) sp) + sizeof(int) - 1)&~(sizeof(int) - 1)); \ 419662Slinton } 429662Slinton 439662Slinton #endif 449662Slinton 459662Slinton public Stack stack[STACKSIZE]; 469662Slinton public Stack *sp = &stack[0]; 479662Slinton 489662Slinton #define chksp() \ 499662Slinton { \ 509662Slinton if (sp < &stack[0]) { \ 519662Slinton panic("stack underflow"); \ 529662Slinton } \ 539662Slinton } 549662Slinton 559662Slinton #define poparg(n, r, fr) { \ 569662Slinton eval(p->value.arg[n]); \ 579662Slinton if (isreal(p->op)) { \ 589662Slinton fr = pop(double); \ 599662Slinton } else if (isint(p->op)) { \ 609662Slinton r = popsmall(p->value.arg[n]->nodetype); \ 619662Slinton } \ 629662Slinton } 639662Slinton 649662Slinton #define Boolrep char /* underlying representation type for booleans */ 659662Slinton 669662Slinton /* 679662Slinton * Evaluate a parse tree leaving the value on the top of the stack. 689662Slinton */ 699662Slinton 709662Slinton public eval(p) 719662Slinton register Node p; 729662Slinton { 739662Slinton long r0, r1; 749662Slinton double fr0, fr1; 759662Slinton Address addr; 769662Slinton long i, n; 779662Slinton int len; 789662Slinton Symbol s, f; 799662Slinton Node n1, n2; 809662Slinton Boolean b; 819662Slinton File file; 829662Slinton 839662Slinton checkref(p); 849662Slinton switch (degree(p->op)) { 859662Slinton case BINARY: 869662Slinton poparg(1, r1, fr1); 879662Slinton poparg(0, r0, fr0); 889662Slinton break; 899662Slinton 909662Slinton case UNARY: 919662Slinton poparg(0, r0, fr0); 929662Slinton break; 939662Slinton 949662Slinton default: 959662Slinton /* do nothing */; 969662Slinton } 979662Slinton switch (p->op) { 989662Slinton case O_SYM: 999662Slinton s = p->value.sym; 1009662Slinton if (s == retaddrsym) { 1019662Slinton push(long, return_addr()); 1029662Slinton } else { 1039662Slinton if (isvariable(s)) { 1049662Slinton if (s != program and not isactive(container(s))) { 1059662Slinton error("\"%s\" is not active", symname(s)); 1069662Slinton } 1079662Slinton push(long, address(s, nil)); 1089662Slinton } else if (isblock(s)) { 1099662Slinton push(Symbol, s); 1109662Slinton } else { 1119662Slinton error("can't evaluate a %s", classname(s)); 1129662Slinton } 1139662Slinton } 1149662Slinton break; 1159662Slinton 1169662Slinton case O_LCON: 1179662Slinton r0 = p->value.lcon; 1189662Slinton pushsmall(p->nodetype, r0); 1199662Slinton break; 1209662Slinton 1219662Slinton case O_FCON: 1229662Slinton push(double, p->value.fcon); 1239662Slinton break; 1249662Slinton 1259662Slinton case O_SCON: 1269662Slinton len = size(p->nodetype); 1279662Slinton mov(p->value.scon, sp, len); 1289662Slinton sp += len; 1299662Slinton break; 1309662Slinton 1319662Slinton case O_INDEX: 1329662Slinton n = pop(long); 1339662Slinton i = evalindex(p->value.arg[0]->nodetype, 1349662Slinton popsmall(p->value.arg[1]->nodetype)); 1359662Slinton push(long, n + i*size(p->nodetype)); 1369662Slinton break; 1379662Slinton 1389662Slinton case O_DOT: 1399662Slinton s = p->value.arg[1]->value.sym; 1409662Slinton n = lval(p->value.arg[0]); 1419662Slinton push(long, n + (s->symvalue.field.offset div 8)); 1429662Slinton break; 1439662Slinton 1449662Slinton /* 1459662Slinton * Get the value of the expression addressed by the top of the stack. 1469662Slinton * Push the result back on the stack. 1479662Slinton */ 1489662Slinton 1499662Slinton case O_INDIR: 1509662Slinton case O_RVAL: 1519662Slinton addr = pop(long); 1529662Slinton if (addr == 0) { 1539662Slinton error("reference through nil pointer"); 1549662Slinton } 1559662Slinton if (p->op == O_INDIR) { 1569662Slinton len = sizeof(long); 1579662Slinton } else { 1589662Slinton len = size(p->nodetype); 1599662Slinton } 1609662Slinton rpush(addr, len); 1619662Slinton break; 1629662Slinton 163*11175Slinton /* 164*11175Slinton * Effectively, we want to pop n bytes off for the evaluated subtree 165*11175Slinton * and push len bytes on for the new type of the same tree. 166*11175Slinton */ 167*11175Slinton case O_TYPERENAME: 168*11175Slinton n = size(p->value.arg[0]->nodetype); 169*11175Slinton len = size(p->nodetype); 170*11175Slinton sp = sp - n + len; 171*11175Slinton break; 172*11175Slinton 1739662Slinton case O_COMMA: 1749662Slinton break; 1759662Slinton 1769662Slinton case O_ITOF: 1779662Slinton push(double, (double) r0); 1789662Slinton break; 1799662Slinton 1809662Slinton case O_ADD: 1819662Slinton push(long, r0+r1); 1829662Slinton break; 1839662Slinton 1849662Slinton case O_ADDF: 1859662Slinton push(double, fr0+fr1); 1869662Slinton break; 1879662Slinton 1889662Slinton case O_SUB: 1899662Slinton push(long, r0-r1); 1909662Slinton break; 1919662Slinton 1929662Slinton case O_SUBF: 1939662Slinton push(double, fr0-fr1); 1949662Slinton break; 1959662Slinton 1969662Slinton case O_NEG: 1979662Slinton push(long, -r0); 1989662Slinton break; 1999662Slinton 2009662Slinton case O_NEGF: 2019662Slinton push(double, -fr0); 2029662Slinton break; 2039662Slinton 2049662Slinton case O_MUL: 2059662Slinton push(long, r0*r1); 2069662Slinton break; 2079662Slinton 2089662Slinton case O_MULF: 2099662Slinton push(double, fr0*fr1); 2109662Slinton break; 2119662Slinton 2129662Slinton case O_DIVF: 2139662Slinton if (fr1 == 0) { 2149662Slinton error("error: division by 0"); 2159662Slinton } 2169662Slinton push(double, fr0 / fr1); 2179662Slinton break; 2189662Slinton 2199662Slinton case O_DIV: 2209662Slinton if (r1 == 0) { 2219662Slinton error("error: div by 0"); 2229662Slinton } 2239662Slinton push(long, r0 div r1); 2249662Slinton break; 2259662Slinton 2269662Slinton case O_MOD: 2279662Slinton if (r1 == 0) { 2289662Slinton error("error: mod by 0"); 2299662Slinton } 2309662Slinton push(long, r0 mod r1); 2319662Slinton break; 2329662Slinton 2339662Slinton case O_LT: 2349662Slinton push(Boolrep, r0 < r1); 2359662Slinton break; 2369662Slinton 2379662Slinton case O_LTF: 2389662Slinton push(Boolrep, fr0 < fr1); 2399662Slinton break; 2409662Slinton 2419662Slinton case O_LE: 2429662Slinton push(Boolrep, r0 <= r1); 2439662Slinton break; 2449662Slinton 2459662Slinton case O_LEF: 2469662Slinton push(Boolrep, fr0 <= fr1); 2479662Slinton break; 2489662Slinton 2499662Slinton case O_GT: 2509662Slinton push(Boolrep, r0 > r1); 2519662Slinton break; 2529662Slinton 2539662Slinton case O_GTF: 2549662Slinton push(Boolrep, fr0 > fr1); 2559662Slinton break; 2569662Slinton 2579662Slinton case O_EQ: 2589662Slinton push(Boolrep, r0 == r1); 2599662Slinton break; 2609662Slinton 2619662Slinton case O_EQF: 2629662Slinton push(Boolrep, fr0 == fr1); 2639662Slinton break; 2649662Slinton 2659662Slinton case O_NE: 2669662Slinton push(Boolrep, r0 != r1); 2679662Slinton break; 2689662Slinton 2699662Slinton case O_NEF: 2709662Slinton push(Boolrep, fr0 != fr1); 2719662Slinton break; 2729662Slinton 2739662Slinton case O_AND: 2749662Slinton push(Boolrep, r0 and r1); 2759662Slinton break; 2769662Slinton 2779662Slinton case O_OR: 2789662Slinton push(Boolrep, r0 or r1); 2799662Slinton break; 2809662Slinton 2819662Slinton case O_ASSIGN: 2829662Slinton assign(p->value.arg[0], p->value.arg[1]); 2839662Slinton break; 2849662Slinton 2859662Slinton case O_CHFILE: 2869662Slinton if (p->value.scon == nil) { 2879662Slinton printf("%s\n", cursource); 2889662Slinton } else { 2899662Slinton file = opensource(p->value.scon); 2909662Slinton if (file == nil) { 2919662Slinton error("can't read \"%s\"", p->value.scon); 2929662Slinton } else { 2939662Slinton fclose(file); 2949662Slinton setsource(p->value.scon); 2959662Slinton } 2969662Slinton } 2979662Slinton break; 2989662Slinton 2999662Slinton case O_CONT: 3009662Slinton cont(); 3019662Slinton printnews(); 3029662Slinton break; 3039662Slinton 3049662Slinton case O_LIST: 3059662Slinton if (p->value.arg[0]->op == O_SYM) { 3069662Slinton f = p->value.arg[0]->value.sym; 3079662Slinton addr = firstline(f); 3089662Slinton if (addr == NOADDR) { 3099662Slinton error("no source lines for \"%s\"", symname(f)); 3109662Slinton } 3119662Slinton setsource(srcfilename(addr)); 3129662Slinton r0 = srcline(addr) - 5; 3139662Slinton r1 = r0 + 10; 3149662Slinton if (r0 < 1) { 3159662Slinton r0 = 1; 3169662Slinton } 3179662Slinton } else { 3189662Slinton eval(p->value.arg[0]); 3199662Slinton r0 = pop(long); 3209662Slinton eval(p->value.arg[1]); 3219662Slinton r1 = pop(long); 3229662Slinton } 3239662Slinton printlines((Lineno) r0, (Lineno) r1); 3249662Slinton break; 3259662Slinton 3269662Slinton case O_FUNC: 3279662Slinton if (p->value.arg[0] == nil) { 3289662Slinton printname(stdout, curfunc); 3299662Slinton putchar('\n'); 3309662Slinton } else { 3319662Slinton curfunc = p->value.arg[0]->value.sym; 3329662Slinton addr = codeloc(curfunc); 3339662Slinton if (addr != NOADDR) { 3349662Slinton setsource(srcfilename(addr)); 3359662Slinton cursrcline = srcline(addr) - 5; 3369662Slinton if (cursrcline < 1) { 3379662Slinton cursrcline = 1; 3389662Slinton } 3399662Slinton } 3409662Slinton } 3419662Slinton break; 3429662Slinton 3439662Slinton case O_EXAMINE: 3449662Slinton eval(p->value.examine.beginaddr); 3459662Slinton r0 = pop(long); 3469662Slinton if (p->value.examine.endaddr == nil) { 3479662Slinton n = p->value.examine.count; 348*11175Slinton if (n == 0) { 349*11175Slinton printvalue(r0, p->value.examine.mode); 350*11175Slinton } else if (streq(p->value.examine.mode, "i")) { 3519662Slinton printninst(n, (Address) r0); 3529662Slinton } else { 3539662Slinton printndata(n, (Address) r0, p->value.examine.mode); 3549662Slinton } 3559662Slinton } else { 3569662Slinton eval(p->value.examine.endaddr); 3579662Slinton r1 = pop(long); 3589662Slinton if (streq(p->value.examine.mode, "i")) { 3599662Slinton printinst((Address)r0, (Address)r1); 3609662Slinton } else { 3619662Slinton printdata((Address)r0, (Address)r1, p->value.examine.mode); 3629662Slinton } 3639662Slinton } 3649662Slinton break; 3659662Slinton 3669662Slinton case O_PRINT: 3679662Slinton for (n1 = p->value.arg[0]; n1 != nil; n1 = n1->value.arg[1]) { 3689662Slinton eval(n1->value.arg[0]); 3699662Slinton printval(n1->value.arg[0]->nodetype); 3709662Slinton putchar(' '); 3719662Slinton } 3729662Slinton putchar('\n'); 3739662Slinton break; 3749662Slinton 3759662Slinton case O_PSYM: 3769662Slinton if (p->value.arg[0]->op == O_SYM) { 3779662Slinton psym(p->value.arg[0]->value.sym); 3789662Slinton } else { 3799662Slinton psym(p->value.arg[0]->nodetype); 3809662Slinton } 3819662Slinton break; 3829662Slinton 3839662Slinton case O_QLINE: 3849662Slinton eval(p->value.arg[1]); 3859662Slinton break; 3869662Slinton 3879662Slinton case O_STEP: 3889662Slinton b = inst_tracing; 3899662Slinton inst_tracing = (Boolean) (not p->value.step.source); 3909662Slinton if (p->value.step.skipcalls) { 3919662Slinton next(); 3929662Slinton } else { 3939662Slinton stepc(); 3949662Slinton } 3959662Slinton inst_tracing = b; 3969662Slinton printnews(); 3979662Slinton break; 3989662Slinton 3999662Slinton case O_WHATIS: 4009662Slinton if (p->value.arg[0]->op == O_SYM) { 4019662Slinton printdecl(p->value.arg[0]->value.sym); 4029662Slinton } else { 4039662Slinton printdecl(p->value.arg[0]->nodetype); 4049662Slinton } 4059662Slinton break; 4069662Slinton 4079662Slinton case O_WHERE: 4089662Slinton wherecmd(); 4099662Slinton break; 4109662Slinton 4119662Slinton case O_WHEREIS: 4129662Slinton printwhereis(stdout, p->value.arg[0]->value.sym); 4139662Slinton break; 4149662Slinton 4159662Slinton case O_WHICH: 4169662Slinton printwhich(stdout, p->value.arg[0]->value.sym); 4179662Slinton putchar('\n'); 4189662Slinton break; 4199662Slinton 4209662Slinton case O_ALIAS: 4219662Slinton n1 = p->value.arg[0]; 4229662Slinton n2 = p->value.arg[1]; 4239662Slinton if (n1 == nil) { 4249662Slinton print_alias(nil); 4259662Slinton } else if (n2 == nil) { 4269662Slinton print_alias(n1->value.name); 4279662Slinton } else { 4289662Slinton enter_alias(n1->value.name, n2->value.name); 4299662Slinton } 4309662Slinton break; 4319662Slinton 4329662Slinton case O_CALL: 4339662Slinton callproc(p->value.arg[0], p->value.arg[1]); 4349662Slinton break; 4359662Slinton 4369662Slinton case O_CATCH: 4379662Slinton psigtrace(process, p->value.lcon, true); 4389662Slinton break; 4399662Slinton 4409662Slinton case O_EDIT: 4419662Slinton edit(p->value.scon); 4429662Slinton break; 4439662Slinton 4449662Slinton case O_DUMP: 4459662Slinton dump(); 4469662Slinton break; 4479662Slinton 4489662Slinton case O_GRIPE: 4499662Slinton gripe(); 4509662Slinton break; 4519662Slinton 4529662Slinton case O_HELP: 4539662Slinton help(); 4549662Slinton break; 4559662Slinton 4569662Slinton case O_IGNORE: 4579662Slinton psigtrace(process, p->value.lcon, false); 4589662Slinton break; 4599662Slinton 4609662Slinton case O_RUN: 4619662Slinton run(); 4629662Slinton break; 4639662Slinton 4649662Slinton case O_SOURCE: 4659662Slinton setinput(p->value.scon); 4669662Slinton break; 4679662Slinton 4689662Slinton case O_STATUS: 4699662Slinton status(); 4709662Slinton break; 4719662Slinton 4729662Slinton case O_TRACE: 4739662Slinton case O_TRACEI: 4749662Slinton trace(p); 4759662Slinton if (isstdin()) { 4769662Slinton status(); 4779662Slinton } 4789662Slinton break; 4799662Slinton 4809662Slinton case O_STOP: 4819662Slinton case O_STOPI: 4829662Slinton stop(p); 4839662Slinton if (isstdin()) { 4849662Slinton status(); 4859662Slinton } 4869662Slinton break; 4879662Slinton 4889662Slinton case O_ADDEVENT: 4899662Slinton addevent(p->value.event.cond, p->value.event.actions); 4909662Slinton break; 4919662Slinton 4929662Slinton case O_DELETE: 4939662Slinton delevent((unsigned int) p->value.lcon); 4949662Slinton break; 4959662Slinton 4969662Slinton case O_ENDX: 4979662Slinton endprogram(); 4989662Slinton break; 4999662Slinton 5009662Slinton case O_IF: 5019662Slinton if (cond(p->value.event.cond)) { 5029662Slinton evalcmdlist(p->value.event.actions); 5039662Slinton } 5049662Slinton break; 5059662Slinton 5069662Slinton case O_ONCE: 5079662Slinton event_once(p->value.event.cond, p->value.event.actions); 5089662Slinton break; 5099662Slinton 5109662Slinton case O_PRINTCALL: 5119662Slinton printcall(p->value.sym, whatblock(return_addr())); 5129662Slinton break; 5139662Slinton 5149662Slinton case O_PRINTIFCHANGED: 5159662Slinton printifchanged(p->value.arg[0]); 5169662Slinton break; 5179662Slinton 5189662Slinton case O_PRINTRTN: 5199662Slinton printrtn(p->value.sym); 5209662Slinton break; 5219662Slinton 5229662Slinton case O_PRINTSRCPOS: 5239662Slinton getsrcpos(); 5249662Slinton if (p->value.arg[0] == nil) { 5259662Slinton printsrcpos(); 5269662Slinton putchar('\n'); 5279662Slinton printlines(curline, curline); 5289662Slinton } else if (p->value.arg[0]->op == O_QLINE) { 5299662Slinton if (p->value.arg[0]->value.arg[1]->value.lcon == 0) { 5309662Slinton printf("tracei: "); 5319662Slinton printinst(pc, pc); 5329662Slinton } else { 5339662Slinton printf("trace: "); 5349662Slinton printlines(curline, curline); 5359662Slinton } 5369662Slinton } else { 5379662Slinton printsrcpos(); 5389662Slinton printf(": "); 5399662Slinton eval(p->value.arg[0]); 5409662Slinton prtree(stdout, p->value.arg[0]); 5419662Slinton printf(" = "); 5429662Slinton printval(p->value.arg[0]->nodetype); 5439662Slinton putchar('\n'); 5449662Slinton } 5459662Slinton break; 5469662Slinton 5479662Slinton case O_PROCRTN: 5489662Slinton procreturn(p->value.sym); 5499662Slinton break; 5509662Slinton 5519662Slinton case O_STOPIFCHANGED: 5529662Slinton stopifchanged(p->value.arg[0]); 5539662Slinton break; 5549662Slinton 5559662Slinton case O_STOPX: 5569662Slinton isstopped = true; 5579662Slinton break; 5589662Slinton 5599662Slinton case O_TRACEON: 5609662Slinton traceon(p->value.trace.inst, p->value.trace.event, 5619662Slinton p->value.trace.actions); 5629662Slinton break; 5639662Slinton 5649662Slinton case O_TRACEOFF: 5659662Slinton traceoff(p->value.lcon); 5669662Slinton break; 5679662Slinton 5689662Slinton default: 5699662Slinton panic("eval: bad op %d", p->op); 5709662Slinton } 5719662Slinton } 5729662Slinton 5739662Slinton /* 5749662Slinton * Evaluate a list of commands. 5759662Slinton */ 5769662Slinton 5779662Slinton public evalcmdlist(cl) 5789662Slinton Cmdlist cl; 5799662Slinton { 5809662Slinton Command c; 5819662Slinton 5829662Slinton foreach (Command, c, cl) 5839662Slinton evalcmd(c); 5849662Slinton endfor 5859662Slinton } 5869662Slinton 5879662Slinton /* 5889662Slinton * Push "len" bytes onto the expression stack from address "addr" 5899662Slinton * in the process. If there isn't room on the stack, print an error message. 5909662Slinton */ 5919662Slinton 5929662Slinton public rpush(addr, len) 5939662Slinton Address addr; 5949662Slinton int len; 5959662Slinton { 5969662Slinton if (not canpush(len)) { 5979662Slinton error("expression too large to evaluate"); 5989662Slinton } else { 5999662Slinton chksp(); 6009662Slinton dread(sp, addr, len); 6019662Slinton sp += len; 6029662Slinton } 6039662Slinton } 6049662Slinton 6059662Slinton /* 6069662Slinton * Check if the stack has n bytes available. 6079662Slinton */ 6089662Slinton 6099662Slinton public Boolean canpush(n) 6109662Slinton Integer n; 6119662Slinton { 6129662Slinton return (Boolean) (sp + n < &stack[STACKSIZE]); 6139662Slinton } 6149662Slinton 6159662Slinton /* 6169662Slinton * Push a small scalar of the given type onto the stack. 6179662Slinton */ 6189662Slinton 6199662Slinton public pushsmall(t, v) 6209662Slinton Symbol t; 6219662Slinton long v; 6229662Slinton { 6239662Slinton register Integer s; 6249662Slinton 6259662Slinton s = size(t); 6269662Slinton switch (s) { 6279662Slinton case sizeof(char): 6289662Slinton push(char, v); 6299662Slinton break; 6309662Slinton 6319662Slinton case sizeof(short): 6329662Slinton push(short, v); 6339662Slinton break; 6349662Slinton 6359662Slinton case sizeof(long): 6369662Slinton push(long, v); 6379662Slinton break; 6389662Slinton 6399662Slinton default: 6409662Slinton panic("bad size %d in popsmall", s); 6419662Slinton } 6429662Slinton } 6439662Slinton 6449662Slinton /* 6459662Slinton * Pop an item of the given type which is assumed to be no larger 6469662Slinton * than a long and return it expanded into a long. 6479662Slinton */ 6489662Slinton 6499662Slinton public long popsmall(t) 6509662Slinton Symbol t; 6519662Slinton { 6529662Slinton long r; 6539662Slinton 6549662Slinton switch (size(t)) { 6559662Slinton case sizeof(char): 6569662Slinton r = (long) pop(char); 6579662Slinton break; 6589662Slinton 6599662Slinton case sizeof(short): 6609662Slinton r = (long) pop(short); 6619662Slinton break; 6629662Slinton 6639662Slinton case sizeof(long): 6649662Slinton r = pop(long); 6659662Slinton break; 6669662Slinton 6679662Slinton default: 6689662Slinton panic("popsmall: size is %d", size(t)); 6699662Slinton } 6709662Slinton return r; 6719662Slinton } 6729662Slinton 6739662Slinton /* 6749662Slinton * Evaluate a conditional expression. 6759662Slinton */ 6769662Slinton 6779662Slinton public Boolean cond(p) 6789662Slinton Node p; 6799662Slinton { 6809662Slinton register Boolean b; 6819662Slinton 6829662Slinton if (p == nil) { 6839662Slinton b = true; 6849662Slinton } else { 6859662Slinton eval(p); 6869662Slinton b = pop(Boolean); 6879662Slinton } 6889662Slinton return b; 6899662Slinton } 6909662Slinton 6919662Slinton /* 6929662Slinton * Return the address corresponding to a given tree. 6939662Slinton */ 6949662Slinton 6959662Slinton public Address lval(p) 6969662Slinton Node p; 6979662Slinton { 6989662Slinton if (p->op == O_RVAL) { 6999662Slinton eval(p->value.arg[0]); 7009662Slinton } else { 7019662Slinton eval(p); 7029662Slinton } 7039662Slinton return (Address) (pop(long)); 7049662Slinton } 7059662Slinton 7069662Slinton /* 7079662Slinton * Process a trace command, translating into the appropriate events 7089662Slinton * and associated actions. 7099662Slinton */ 7109662Slinton 7119662Slinton public trace(p) 7129662Slinton Node p; 7139662Slinton { 7149662Slinton Node exp, place, cond; 7159662Slinton Node left; 7169662Slinton 7179662Slinton exp = p->value.arg[0]; 7189662Slinton place = p->value.arg[1]; 7199662Slinton cond = p->value.arg[2]; 7209662Slinton if (exp == nil) { 7219662Slinton traceall(p->op, place, cond); 7229662Slinton } else if (exp->op == O_QLINE) { 7239662Slinton traceinst(p->op, exp, cond); 7249662Slinton } else if (place != nil and place->op == O_QLINE) { 7259662Slinton traceat(p->op, exp, place, cond); 7269662Slinton } else { 7279861Slinton left = exp; 7289861Slinton if (left->op == O_RVAL or left->op == O_CALL) { 7299861Slinton left = left->value.arg[0]; 7309861Slinton } 7319662Slinton if (left->op == O_SYM and isblock(left->value.sym)) { 7329662Slinton traceproc(p->op, left->value.sym, place, cond); 7339662Slinton } else { 7349662Slinton tracedata(p->op, exp, place, cond); 7359662Slinton } 7369662Slinton } 7379662Slinton } 7389662Slinton 7399662Slinton /* 7409662Slinton * Set a breakpoint that will turn on tracing. 7419662Slinton */ 7429662Slinton 7439662Slinton private traceall(op, place, cond) 7449662Slinton Operator op; 7459662Slinton Node place; 7469662Slinton Node cond; 7479662Slinton { 7489662Slinton Symbol s; 7499662Slinton Node event; 7509662Slinton Command action; 7519662Slinton 7529662Slinton if (place == nil) { 7539662Slinton s = program; 7549662Slinton } else { 7559662Slinton s = place->value.sym; 7569662Slinton } 7579662Slinton event = build(O_EQ, build(O_SYM, procsym), build(O_SYM, s)); 7589662Slinton action = build(O_PRINTSRCPOS, 7599662Slinton build(O_QLINE, nil, build(O_LCON, (op == O_TRACE) ? 1 : 0))); 7609662Slinton if (cond != nil) { 7619662Slinton action = build(O_IF, cond, buildcmdlist(action)); 7629662Slinton } 7639662Slinton action = build(O_TRACEON, (op == O_TRACEI), buildcmdlist(action)); 7649662Slinton action->value.trace.event = addevent(event, buildcmdlist(action)); 7659662Slinton } 7669662Slinton 7679662Slinton /* 7689662Slinton * Set up the appropriate breakpoint for tracing an instruction. 7699662Slinton */ 7709662Slinton 7719662Slinton private traceinst(op, exp, cond) 7729662Slinton Operator op; 7739662Slinton Node exp; 7749662Slinton Node cond; 7759662Slinton { 7769662Slinton Node event; 7779662Slinton Command action; 7789662Slinton 7799662Slinton if (op == O_TRACEI) { 7809662Slinton event = build(O_EQ, build(O_SYM, pcsym), exp); 7819662Slinton } else { 7829662Slinton event = build(O_EQ, build(O_SYM, linesym), exp); 7839662Slinton } 7849662Slinton action = build(O_PRINTSRCPOS, exp); 7859662Slinton if (cond) { 7869662Slinton action = build(O_IF, cond, buildcmdlist(action)); 7879662Slinton } 7889662Slinton addevent(event, buildcmdlist(action)); 7899662Slinton } 7909662Slinton 7919662Slinton /* 7929662Slinton * Set a breakpoint to print an expression at a given line or address. 7939662Slinton */ 7949662Slinton 7959662Slinton private traceat(op, exp, place, cond) 7969662Slinton Operator op; 7979662Slinton Node exp; 7989662Slinton Node place; 7999662Slinton Node cond; 8009662Slinton { 8019662Slinton Node event; 8029662Slinton Command action; 8039662Slinton 8049662Slinton if (op == O_TRACEI) { 8059662Slinton event = build(O_EQ, build(O_SYM, pcsym), place); 8069662Slinton } else { 8079662Slinton event = build(O_EQ, build(O_SYM, linesym), place); 8089662Slinton } 8099662Slinton action = build(O_PRINTSRCPOS, exp); 8109662Slinton if (cond != nil) { 8119662Slinton action = build(O_IF, cond, buildcmdlist(action)); 8129662Slinton } 8139662Slinton addevent(event, buildcmdlist(action)); 8149662Slinton } 8159662Slinton 8169662Slinton /* 8179662Slinton * Construct event for tracing a procedure. 8189662Slinton * 8199662Slinton * What we want here is 8209662Slinton * 8219662Slinton * when $proc = p do 8229662Slinton * if <condition> then 8239662Slinton * printcall; 8249662Slinton * once $pc = $retaddr do 8259662Slinton * printrtn; 8269662Slinton * end; 8279662Slinton * end if; 8289662Slinton * end; 8299662Slinton * 8309662Slinton * Note that "once" is like "when" except that the event 8319662Slinton * deletes itself as part of its associated action. 8329662Slinton */ 8339662Slinton 8349662Slinton private traceproc(op, p, place, cond) 8359662Slinton Operator op; 8369662Slinton Symbol p; 8379662Slinton Node place; 8389662Slinton Node cond; 8399662Slinton { 8409662Slinton Node event; 8419662Slinton Command action; 8429662Slinton Cmdlist actionlist; 8439662Slinton 8449662Slinton action = build(O_PRINTCALL, p); 8459662Slinton actionlist = list_alloc(); 8469662Slinton cmdlist_append(action, actionlist); 8479662Slinton event = build(O_EQ, build(O_SYM, pcsym), build(O_SYM, retaddrsym)); 8489662Slinton action = build(O_ONCE, event, buildcmdlist(build(O_PRINTRTN, p))); 8499662Slinton cmdlist_append(action, actionlist); 8509662Slinton if (cond != nil) { 8519662Slinton actionlist = buildcmdlist(build(O_IF, cond, actionlist)); 8529662Slinton } 8539662Slinton event = build(O_EQ, build(O_SYM, procsym), build(O_SYM, p)); 8549662Slinton addevent(event, actionlist); 8559662Slinton } 8569662Slinton 8579662Slinton /* 8589662Slinton * Set up breakpoint for tracing data. 8599662Slinton */ 8609662Slinton 8619662Slinton private tracedata(op, exp, place, cond) 8629662Slinton Operator op; 8639662Slinton Node exp; 8649662Slinton Node place; 8659662Slinton Node cond; 8669662Slinton { 8679662Slinton Symbol p; 8689662Slinton Node event; 8699662Slinton Command action; 8709662Slinton 8719662Slinton p = (place == nil) ? tcontainer(exp) : place->value.sym; 8729662Slinton if (p == nil) { 8739662Slinton p = program; 8749662Slinton } 8759662Slinton action = build(O_PRINTIFCHANGED, exp); 8769662Slinton if (cond != nil) { 8779662Slinton action = build(O_IF, cond, buildcmdlist(action)); 8789662Slinton } 8799662Slinton action = build(O_TRACEON, (op == O_TRACEI), buildcmdlist(action)); 8809662Slinton event = build(O_EQ, build(O_SYM, procsym), build(O_SYM, p)); 8819662Slinton action->value.trace.event = addevent(event, buildcmdlist(action)); 8829662Slinton } 8839662Slinton 8849662Slinton /* 8859662Slinton * Setting and unsetting of stops. 8869662Slinton */ 8879662Slinton 8889662Slinton public stop(p) 8899662Slinton Node p; 8909662Slinton { 8919662Slinton Node exp, place, cond; 8929662Slinton Symbol s; 8939662Slinton Command action; 8949662Slinton 8959662Slinton exp = p->value.arg[0]; 8969662Slinton place = p->value.arg[1]; 8979662Slinton cond = p->value.arg[2]; 8989662Slinton if (exp != nil) { 8999662Slinton stopvar(p->op, exp, place, cond); 9009662Slinton } else if (cond != nil) { 9019662Slinton s = (place == nil) ? program : place->value.sym; 9029662Slinton action = build(O_IF, cond, buildcmdlist(build(O_STOPX))); 9039662Slinton action = build(O_TRACEON, (p->op == O_STOPI), buildcmdlist(action)); 9049662Slinton cond = build(O_EQ, build(O_SYM, procsym), build(O_SYM, s)); 9059662Slinton action->value.trace.event = addevent(cond, buildcmdlist(action)); 9069662Slinton } else if (place->op == O_SYM) { 9079662Slinton s = place->value.sym; 9089662Slinton cond = build(O_EQ, build(O_SYM, procsym), build(O_SYM, s)); 9099662Slinton addevent(cond, buildcmdlist(build(O_STOPX))); 9109662Slinton } else { 9119662Slinton stopinst(p->op, place, cond); 9129662Slinton } 9139662Slinton } 9149662Slinton 9159662Slinton private stopinst(op, place, cond) 9169662Slinton Operator op; 9179662Slinton Node place; 9189662Slinton Node cond; 9199662Slinton { 9209662Slinton Node event; 9219662Slinton 9229662Slinton if (op == O_STOP) { 9239662Slinton event = build(O_EQ, build(O_SYM, linesym), place); 9249662Slinton } else { 9259662Slinton event = build(O_EQ, build(O_SYM, pcsym), place); 9269662Slinton } 9279662Slinton addevent(event, buildcmdlist(build(O_STOPX))); 9289662Slinton } 9299662Slinton 9309662Slinton /* 9319662Slinton * Implement stopping on assignment to a variable by adding it to 9329662Slinton * the variable list. 9339662Slinton */ 9349662Slinton 9359662Slinton private stopvar(op, exp, place, cond) 9369662Slinton Operator op; 9379662Slinton Node exp; 9389662Slinton Node place; 9399662Slinton Node cond; 9409662Slinton { 9419662Slinton Symbol p; 9429662Slinton Node event; 9439662Slinton Command action; 9449662Slinton 9459662Slinton p = (place == nil) ? tcontainer(exp) : place->value.sym; 9469662Slinton if (p == nil) { 9479662Slinton p = program; 9489662Slinton } 9499662Slinton action = build(O_IF, cond, buildcmdlist(build(O_STOPIFCHANGED, exp))); 9509662Slinton action = build(O_TRACEON, (op == O_STOPI), buildcmdlist(action)); 9519662Slinton event = build(O_EQ, build(O_SYM, procsym), build(O_SYM, p)); 9529662Slinton action->value.trace.event = addevent(event, buildcmdlist(action)); 9539662Slinton } 9549662Slinton 9559662Slinton /* 9569662Slinton * Assign the value of an expression to a variable (or term). 9579662Slinton */ 9589662Slinton 9599662Slinton public assign(var, exp) 9609662Slinton Node var; 9619662Slinton Node exp; 9629662Slinton { 9639662Slinton Address addr; 9649662Slinton int varsize; 9659662Slinton char cvalue; 9669662Slinton short svalue; 9679662Slinton long lvalue; 9689662Slinton 9699662Slinton if (not compatible(var->nodetype, exp->nodetype)) { 9709662Slinton error("incompatible types"); 9719662Slinton } 9729662Slinton addr = lval(var); 9739662Slinton eval(exp); 9749662Slinton varsize = size(var->nodetype); 9759662Slinton if (varsize < sizeof(long)) { 9769662Slinton lvalue = pop(long); 9779662Slinton switch (varsize) { 9789662Slinton case sizeof(char): 9799662Slinton cvalue = lvalue; 9809662Slinton dwrite(&cvalue, addr, varsize); 9819662Slinton break; 9829662Slinton 9839662Slinton case sizeof(short): 9849662Slinton svalue = lvalue; 9859662Slinton dwrite(&svalue, addr, varsize); 9869662Slinton break; 9879662Slinton 9889662Slinton default: 9899662Slinton panic("bad size %d", varsize); 9909662Slinton } 9919662Slinton } else { 9929662Slinton sp -= varsize; 9939662Slinton dwrite(sp, addr, varsize); 9949662Slinton } 9959662Slinton } 9969662Slinton 9979662Slinton #define DEF_EDITOR "vi" 9989662Slinton 9999662Slinton /* 10009662Slinton * Invoke an editor on the given file. Which editor to use might change 10019662Slinton * installation to installation. For now, we use "vi". In any event, 10029662Slinton * the environment variable "EDITOR" overrides any default. 10039662Slinton */ 10049662Slinton 10059662Slinton public edit(filename) 10069662Slinton String filename; 10079662Slinton { 10089662Slinton extern String getenv(); 10099662Slinton String ed, src; 10109662Slinton File f; 10119662Slinton Symbol s; 10129662Slinton Address addr; 10139662Slinton char buff[10]; 10149662Slinton 10159662Slinton ed = getenv("EDITOR"); 10169662Slinton if (ed == nil) { 10179662Slinton ed = DEF_EDITOR; 10189662Slinton } 10199662Slinton if (filename == nil) { 10209662Slinton call(ed, stdin, stdout, cursource, nil); 10219662Slinton } else { 10229662Slinton f = fopen(filename, "r"); 10239662Slinton if (f == nil) { 10249662Slinton s = which(identname(filename, true)); 10259662Slinton if (not isblock(s)) { 10269662Slinton error("can't read \"%s\"", filename); 10279662Slinton } 10289662Slinton addr = firstline(s); 10299662Slinton if (addr == NOADDR) { 10309662Slinton error("no source for \"%s\"", filename); 10319662Slinton } 10329662Slinton src = srcfilename(addr); 10339662Slinton sprintf(buff, "+%d", srcline(addr)); 10349662Slinton call(ed, stdin, stdout, buff, src, nil); 10359662Slinton } else { 10369662Slinton fclose(f); 10379662Slinton call(ed, stdin, stdout, filename, nil); 10389662Slinton } 10399662Slinton } 10409662Slinton } 10419662Slinton 10429662Slinton /* 10439662Slinton * Send some nasty mail to the current support person. 10449662Slinton */ 10459662Slinton 10469662Slinton public gripe() 10479662Slinton { 10489662Slinton typedef Operation(); 10499662Slinton Operation *old; 10509662Slinton 10519662Slinton char *maintainer = "linton@ucbarpa"; 10529662Slinton 10539662Slinton puts("Type control-D to end your message. Be sure to include"); 10549662Slinton puts("your name and the name of the file you are debugging."); 10559662Slinton putchar('\n'); 10569662Slinton old = signal(SIGINT, SIG_DFL); 10579662Slinton call("Mail", stdin, stdout, maintainer, nil); 10589662Slinton signal(SIGINT, old); 10599662Slinton puts("Thank you."); 10609662Slinton } 10619662Slinton 10629662Slinton /* 10639662Slinton * Give the user some help. 10649662Slinton */ 10659662Slinton 10669662Slinton public help() 10679662Slinton { 10689662Slinton puts("run - begin execution of the program"); 10699662Slinton puts("cont - continue execution"); 10709662Slinton puts("step - single step one line"); 10719662Slinton puts("next - step to next line (skip over calls)"); 10729662Slinton puts("trace <line#> - trace execution of the line"); 10739662Slinton puts("trace <proc> - trace calls to the procedure"); 10749662Slinton puts("trace <var> - trace changes to the variable"); 10759662Slinton puts("trace <exp> at <line#> - print <exp> when <line> is reached"); 10769662Slinton puts("stop at <line> - suspend execution at the line"); 10779662Slinton puts("stop in <proc> - suspend execution when <proc> is called"); 10789662Slinton puts("status - print trace/stop's in effect"); 10799662Slinton puts("delete <number> - remove trace or stop of given number"); 10809662Slinton puts("call <proc> - call the procedure"); 10819662Slinton puts("where - print currently active procedures"); 10829662Slinton puts("print <exp> - print the value of the expression"); 10839662Slinton puts("whatis <name> - print the declaration of the name"); 10849662Slinton puts("list <line>, <line> - list source lines"); 10859662Slinton puts("edit <proc> - edit file containing <proc>"); 10869662Slinton puts("gripe - send mail to the person in charge of dbx"); 10879662Slinton puts("quit - exit dbx"); 10889662Slinton } 10899662Slinton 10909662Slinton /* 10919662Slinton * Divert output to the given file name. 10929662Slinton * Cannot redirect to an existing file. 10939662Slinton */ 10949662Slinton 10959662Slinton private int so_fd; 10969662Slinton private Boolean notstdout; 10979662Slinton 10989662Slinton public setout(filename) 10999662Slinton String filename; 11009662Slinton { 11019662Slinton File f; 11029662Slinton 11039662Slinton f = fopen(filename, "r"); 11049662Slinton if (f != nil) { 11059662Slinton fclose(f); 11069662Slinton error("%s: file already exists", filename); 11079662Slinton } else { 11089662Slinton so_fd = dup(1); 11099662Slinton close(1); 11109662Slinton if (creat(filename, 0666) == nil) { 11119662Slinton unsetout(); 11129662Slinton error("can't create %s", filename); 11139662Slinton } 11149662Slinton notstdout = true; 11159662Slinton } 11169662Slinton } 11179662Slinton 11189662Slinton /* 11199662Slinton * Revert output to standard output. 11209662Slinton */ 11219662Slinton 11229662Slinton public unsetout() 11239662Slinton { 11249662Slinton fflush(stdout); 11259662Slinton close(1); 11269662Slinton if (dup(so_fd) != 1) { 11279662Slinton panic("standard out dup failed"); 11289662Slinton } 11299662Slinton close(so_fd); 11309662Slinton notstdout = false; 11319662Slinton } 11329662Slinton 11339662Slinton /* 11349662Slinton * Determine is standard output is currently being redirected 11359662Slinton * to a file (as far as we know). 11369662Slinton */ 11379662Slinton 11389662Slinton public Boolean isredirected() 11399662Slinton { 11409662Slinton return notstdout; 11419662Slinton } 1142