ref: 1dbb193077af7ba6ff7fb70a4dd465480764382e
dir: /utils/c2l/c2l.c/
#define EXTERN #include "cc.h" /* * locals, parameters, globals etc of the same name should work ok without having * to duplicate Syms because the details are on the containing Nodes */ #define SZ_CHAR 1 #define SZ_SHORT 2 #define SZ_INT 4 #define SZ_LONG 4 #define SZ_FLOAT 4 #define SZ_IND 4 #define SZ_VLONG 8 #define SZ_DOUBLE 8 char buf[128], mbuf[128]; static Sym *sysop, *bioop, *libcop; static int again; #define STAR 0x80 #define RET 0x80 #define LARR (-1729) static void swalk(void); static int isdec(Node*); static int isconst(Node*, vlong); static int cktype(Node*, Node*, int, int); static void addnode(int, Node*); static int argpos(Node*, Node*); static void setdec(Sym*, Type*); static Type* tcp(Type*); static int isadt(Type*); static void aargs(Node*); static int iteq(Type*, Type*); static Node* arg(Node*, int); static void etgen2(Sym*); static Node* ckneg(Node*); static Sym* suename(Type*); static int isnil(Node*); static void sliceasgn(Node*); static Node* lastn(Node*); static char* hasm(void); static void prn(Node*, int); static int isfn(Type*); schar ewidth[NTYPE] = { -1, /* [TXXX] */ SZ_CHAR, /* [TCHAR] */ SZ_CHAR, /* [TUCHAR] */ SZ_SHORT, /* [TSHORT] */ SZ_SHORT, /* [TUSHORT] */ SZ_INT, /* [TINT] */ SZ_INT, /* [TUINT] */ SZ_LONG, /* [TLONG] */ SZ_LONG, /* [TULONG] */ SZ_VLONG, /* [TVLONG] */ SZ_VLONG, /* [TUVLONG] */ SZ_FLOAT, /* [TFLOAT] */ SZ_DOUBLE, /* [TDOUBLE] */ SZ_IND, /* [TIND] */ 0, /* [TFUNC] */ -1, /* [TARRAY] */ 0, /* [TVOID] */ -1, /* [TSTRUCT] */ -1, /* [TUNION] */ SZ_INT, /* [TENUM] */ }; long ncast[NTYPE] = { 0, /* [TXXX] */ BCHAR|BUCHAR, /* [TCHAR] */ BCHAR|BUCHAR, /* [TUCHAR] */ BSHORT|BUSHORT, /* [TSHORT] */ BSHORT|BUSHORT, /* [TUSHORT] */ BINT|BUINT|BLONG|BULONG|BIND, /* [TINT] */ BINT|BUINT|BLONG|BULONG|BIND, /* [TUINT] */ BINT|BUINT|BLONG|BULONG|BIND, /* [TLONG] */ BINT|BUINT|BLONG|BULONG|BIND, /* [TULONG] */ BVLONG|BUVLONG, /* [TVLONG] */ BVLONG|BUVLONG, /* [TUVLONG] */ BFLOAT, /* [TFLOAT] */ BDOUBLE, /* [TDOUBLE] */ BLONG|BULONG|BIND, /* [TIND] */ 0, /* [TFUNC] */ 0, /* [TARRAY] */ 0, /* [TVOID] */ BSTRUCT, /* [TSTRUCT] */ BUNION, /* [TUNION] */ 0, /* [TENUM] */ }; enum{ TCFD = 1, TCFC = 2, TCPC = 4, TCAR = 8, TCIN = 16, TCGEN = TCFD|TCFC|TCPC|TCAR, TCALL = TCFD|TCFC|TCPC|TCAR|TCIN, }; enum{ SGLOB, SPARM, SAUTO, }; typedef struct Scope Scope; struct Scope{ Node *n; int k; Scope *nxt; }; static void prtyp(Type *t, char *s, int nl) { print("%s: ", s); if(t == T){ print("nil"); if(nl) print("\n"); return; } while(t != T){ print("%d(%d)[%x] ", t->etype, t->mark, (int)t); if(isadt(t)) break; t = t->link; } if(nl) print("\n"); } static Node* func(Node *n) { while(n != Z && n->op != OFUNC) n = n->left; return n; } static void setmain(Node *n) { inmain |= n->left->op == ONAME && strcmp(n->left->sym->name, "main") == 0; } static Node* protoname(Node *n) { do n = n->left; while(n != Z && n->op != ONAME && n->op != ODOTDOT); return n; } static Type* prototype(Node *n, Type *t) { for( ; n != Z ; n = n->left){ switch(n->op){ case OARRAY: t = typ(TARRAY, t); t->width = 0; break; case OIND: t = typ(TIND, t); break; case OFUNC: t = typ(TFUNC, t); t->down = fnproto(n); break; } } return t; } static Scope *scopes, *freescopes; static void pushdcl(Node *n, int c) { Sym *s; if(passes){ s = n->sym; push1(s); if(c != CAUTO || s->class != CSTATIC) s->class = c; s->type = n->type; } } static void pushparams(Node *n) { if(n == Z) return; if(passes){ if(n->op == OLIST){ pushparams(n->left); pushparams(n->right); } else if(n->op == OPROTO){ n = protoname(n); if(n != Z && n->op == ONAME) pushdcl(n, CPARAM); } else if(n->op == ONAME){ addnode(OPROTO, n); pushdcl(n, CPARAM); } else if(n->op != ODOTDOT) diag(Z, "bad op in pushparams"); } } static void pushscope(Node *n, int k) { Scope *s; if(freescopes != nil){ s = freescopes; freescopes = freescopes->nxt; } else s = (Scope*)malloc(sizeof(Scope)); s->n = n; s->k = k; s->nxt = scopes; scopes = s; if(passes && (k == SPARM || k == SAUTO)) markdcl(); if(k == SPARM) pushparams(n->right); } static void popscope(void) { int k; Scope *s; s = scopes; k = s->k; scopes = scopes->nxt; s->nxt = freescopes; freescopes = s; if(passes && (k == SPARM || k == SAUTO)) revertdcl(); } static Node* curfn(void) { Scope *s; for(s = scopes; s != nil; s = s->nxt) if(s->k == SPARM) return s->n; return Z; } static void marktype(Type *t, int tc) { t->mark = tc; } static int marked(Type *t) { return t == T ? 0 : t->mark; } static Sym* decsym(Node *n) { if(n == Z) return S; if(n->op == OFUNC){ if(n->left->op == ONAME) return n->left->sym; return S; } if(n->op == ODAS) return n->left->sym; return n->sym; } static void trep(Type *t1, Type *t) { int l; Sym *s; Type *t2; if(t1 != T){ l = t1->lineno; s = t1->sym; t2 = t1->down; *t1 = *t; t1->down = t2; t1->sym = s; t1->lineno = l; } } static void tind(Node *n) { if(n == Z) return; n = protoname(n); if(n != Z && n->type != T){ n->type = tcp(n->type->link); marktype(n->type, TCIN); } } static void tcon(Node *n, Type *t) { Type *tt; if(n->garb) return; n->garb = 1; again = 1; switch(n->op){ case OCONST: if(t->mark == TCFD && !isnil(n)) addnode(OFILDES, n); n->type = t; break; case OCAST: tcon(n->left, t); *n = *n->left; n->type = t; break; case ONAME: n->sym->type = t; n->type = t; setdec(n->sym, t); break; case ODOT: case ODOTIND: trep(n->type, t); n->type = t; break; case OARRIND: tt = n->left->type; if(tt != T) tt->link = t; n->type = t; break; case OFUNC: n->left->type->link = t; if(n->left->op == ONAME) n->left->sym->type->link = t; n->type = t; break; } } static Node* retval(Node *n) { int i; Type *t; Node *a, *l, *cf; cf = curfn(); t = cf->left->type->link; if(t->mark&(TCPC|TCFC) && (n == Z || !(n->type->mark&(TCPC|TCFC)))){ if(n == Z) n = new1(ORETURN, Z, Z); l = n->left; for(i = 0; ; i++){ a = arg(cf->right, i); if(a == Z) break; a = protoname(a); if(a == Z || a->op != ONAME) break; if(a->type->mark == TCIN){ if(l == Z) l = ncopy(a); else l = new1(OTUPLE, l, ncopy(a)); } } n->left = l; n->type = l->type = t; } return n; } static void sube(Node *n) { Node *l, *r, *nn; Type *tt; static Node *gn; int p; if(n == Z) return; l = n->left; r = n->right; switch(n->op){ default: sube(l); sube(r); break; case OIND: if(l == Z) return; tt = l->type; sube(l); if(cktype(l, n, TCIN, 0) && iteq(tt, l->type)) *n = *n->left; break; case OARRIND: tt = l->type; sube(l); sube(r); if(!isconst(r, 0)) break; if(cktype(l, n, TCIN, 0) && iteq(tt, l->type)) *n = *n->left; break; case ONAME: if(cktype(n, n, TCALL, 0)) setdec(n->sym, n->type); break; case OCAST: sube(l); if(cktype(l, n, TCALL, 0)) n->type = l->type; break; case OPROTO: sube(l); sube(r); nn = protoname(n); if(nn != Z && cktype(nn, n, TCALL, 0)){ n->type = nn->type; p = argpos(n, gn->right); for(tt = gn->left->type->down; tt != T && p >= 0; tt = tt->down){ if(p == 0){ trep(tt, nn->type); break; } --p; } } break; case OFUNC: if(n->kind == KEXP) aargs(n); if(n->left->op == ONAME) gn = n; sube(l); sube(r); if(l != Z && cktype(n, n, TCGEN, 0)) l->type->link = n->type; break; case OAS: sube(l); sube(r); if(r->op == ORETV){ n->left = new1(OTUPLE, l, r->right); n->right = r->left; n->left->type = n->type; break; } if(cktype(r, n, TCGEN, 0)){ tcon(l, r->type); n->type = r->type; } if(cktype(l, n, TCGEN, 1)){ tcon(r, l->type); n->type = l->type; } break; case OLT: case OGE: sube(l); sube(r); if(cktype(l, n, TCFD, 0) && isconst(r, 0)){ n->op = n->op == OLT ? OEQ : ONE; r->op = ONIL; r->type = l->type; } break; case OGT: case OLE: sube(l); sube(r); if(cktype(r, n, TCFD, 0) && isconst(l, 0)){ n->op = n->op == OGT ? OEQ : ONE; l->op = ONIL; l->type = r->type; } break; } } static void subs(Node *n, int blk, int aut) { Node *l, *r; if(n == Z) return; if(blk) pushscope(n, SAUTO); nearln = n->lineno; l = n->left; r = n->right; switch(n->op){ default: sube(n); break; case ONAME: if(aut && n->kind != KEXP) pushdcl(n, CAUTO); if(cktype(n, n, TCALL, 0)) setdec(n->sym, n->type); break; case ODAS: if(aut) pushdcl(l, CAUTO); subs(l, 0, aut); if(cktype(l, n, TCALL, 0)) tcon(r, l->type); break; case OSBREAK: case ONUL: case OLABEL: case OGOTO: case OCONTINUE: case OBREAK: case OSET: case OUSED: break; case OBLK: subs(l, 1, aut); break; case OCASE: subs(r, 1, aut); break; case OLIST: subs(l, 0, aut); subs(r, 0, aut); break; case ORETURN: sube(l); if(l != Z && cktype(l, n, TCGEN, 0)){ n->type = l->type; tcon(curfn(), l->type); } retval(n); break; case OSWITCH: case OWHILE: case ODWHILE: sube(l); subs(r, 1, aut); break; case OIF: sube(l); subs(r->left, 1, aut); subs(r->right, 1, aut); break; case OFOR: sube(l->left); sube(l->right->left); sube(l->right->right); subs(r, 1, aut); break; } if(blk) popscope(); } static Node* finddec0(Sym *s, Node *n) { Node *nn; if(n == Z) return ZZ; switch(n->op){ case OLIST: nn = finddec0(s, n->left); if(nn != Z) return nn; return finddec0(s, n->right); case OFUNC: if(n->op != KEXP){ if(s == decsym(n)) return n; return finddec0(s, n->right); } else return ZZ; case OPROTO: case OIND: case OARRAY: return finddec0(s, n->left); case ODOTDOT: return ZZ; case ONOOP: case OPUSH: case OPOP: case OCODE: case ODECE: case ODECT: return finddec0(s, n->right); case ODECV: case ODECF: if(s == decsym(n->left) && !isfn(n->left->type)) return n->left; return finddec0(s, n->right); } if(isdec(n)){ if(s == decsym(n) && !isfn(n->type)) return n; return Z; } return ZZ; } static Node* finddec(Sym *s, int g) { Node *n; Scope *sc; for(sc = scopes; sc != nil; sc = sc->nxt){ if(!g || sc->k == SGLOB){ n = finddec0(s, sc->n); if(n != Z && n != ZZ) return n; } } return Z; } static void setdec(Sym *s, Type *t) { Node *n; if((n = finddec(s, 0)) != Z){ n->type = t; if(n->op == ODAS){ n = n->left; n->type = t; } n->sym->type = t; } } typedef struct Syml Syml; struct Syml{ Sym *sym; Syml *nxt; }; typedef struct Symq Symq; struct Symq{ Syml *f; Syml *r; }; typedef struct Modl Modl; struct Modl{ char *mod; int ld; Modl *nxt; }; static void prn(Node *n, int i) { int j; for(j = 0; j < i; j++) print("\t"); if(n == Z){ print("Z\n"); return; } print("%s", onames[n->op]); if(n->blk) print(" block"); if(n->type == T) print(" T"); else print(" %s", tnames[n->type->etype]); if(n->op == OCONST) print(" %d", (int)n->vconst); else if(n->op == OSTRING) print(" %s", n->cstring); else if(n->op == ONAME) print(" %s", n->sym->name); print("\n"); if(n->op != OLIST) i++; prn(n->left, i); prn(n->right, i); } static int isbigv(vlong v) { return v > 0xffffffff; } static int islbigv(vlong v) { return v > 0x7fffffff || v < -0x7fffffff; } static int isuintv(vlong v) { return !isbigv(v) && (v&0x80000000) != 0; } static int isadt(Type *t) { return t != T && (t->etype == TSTRUCT || t->etype == TUNION); } static int isreal(Type *t) { return t != T && (t->etype == TDOUBLE || t->etype == TFLOAT); } static int isbyte(Type *t) { return t != T && (t->etype == TCHAR || t->etype == TUCHAR); } static int isshort(Type *t) { return t != T && (t->etype == TSHORT || t->etype == TUSHORT); } static int isint(Type *t) { return t != T && (t->etype == TINT || t->etype == TUINT); } static int islong(Type *t) { return t != T && (t->etype == TLONG || t->etype == TULONG); } static int isbig(Type *t) { return t != T && (t->etype == TVLONG || t->etype == TUVLONG); } static int isinteger(Type *t) { return isbyte(t) || isshort(t) || isint(t) || islong(t) || isbig(t); } static int isptr(Type *t) { return t != T && (t->etype == TIND || t->etype == TARRAY || t->etype == TFUNC); } static int isscalar(Type *t) { return t != T && !isadt(t) && t->etype != TTUPLE; } static int isvoid(Type *t) { return t == T || t->etype == TVOID; } static int isnum(Type *t) { return t != T && isscalar(t) && !isptr(t) && !isvoid(t); } static int isarray(Type *t) { return t != T && (t->etype == TARRAY || (t->etype == TIND && !isadt(t->link))); } static int isstr(Type *t) { return t != T && (t->etype == TSTRING || isarray(t) && isbyte(t->link)); } static int isfn(Type *t) { return t != T && t->etype == TFUNC; } static int iscastable(Type *t, Type *tt) { return t != T && (!isptr(t) || isarray(t) && isbyte(t->link) && isstr(tt)); } static int isname(Node *n) { return n->op == ONAME; } static int isstring(Node *n) { return n->op == OSTRING || n->op == OLSTRING || n->op == ONAME && n->sym->tenum != T && n->sym->tenum->etype == TIND; } static int isnil(Node *n) { if(!isptr(n->type)) return 0; while(n->op == OCAST) n = n->left; return n->op == OCONST && n->vconst == 0 || n->op == ONIL; } static int isconst(Node *n, vlong v) { while(n->op == OCAST) n = n->left; return n->op == OCONST && n->vconst == v; } static Node* cknil(Node *n) { if(isconst(n, 0)) n->op = ONIL; return n; } static int cktype(Node *n, Node *t, int mask, int lev) { int g, m, m0; g = t->garb > lev; m = marked(n->type) & mask; if(n->op == ONAME){ m0 = marked(n->sym->type) & mask; if(m && !m0){ n->sym->type = n->type; if(!g) again = 1; } if(!m && m0){ n->type = n->sym->type; if(!g) again = 1; } m |= m0; } if(m && t->garb < 2) t->garb++; return m && !g ? m : 0; } int isconsym(Sym *s) { switch(s->class){ case CXXX: case CTYPEDEF: return 1; case CEXTERN: case CGLOBL: case CSTATIC: case CLOCAL: return s->type != T && s->type->etype == TENUM; } return -1; } static void genstart(void); static char* mprolog[] = { "%%: module", "{", "\tPATH: con \"%%%.dis\";", "", nil }; static char* mepilog[] = { "};", nil }; static char* bprolog[] = { "implement %%;", "", "include \"draw.m\";", "", "%%: module", "{", " init: fn(nil: ref Draw->Context, argl: list of string);", "};", "", nil }; static char* bmprolog[] = { "implement %%;", "", "include \"draw.m\";", "", nil }; static char* bepilog[] = { nil }; static void pgen0(char **txt) { int sub; char *b, *s, *t, **p; p = txt; for(;;){ s = *p++; if(s == nil) break; sub = 0; for(t = s; *t != 0; t++){ if(*t == '%' && *(t+1) == '%'){ sub = 1; break; } } if(sub){ strcpy(buf, s); b = buf; for(t = s; *t != 0; t++){ if(*t == '%' && *(t+1) == '%'){ if(*(t+2) == '%'){ outmod(mbuf, 0); t++; } else outmod(mbuf, 1); strcpy(b, mbuf); b += strlen(mbuf); t++; } else *b++ = *t; } *b = 0; prline(buf); } else prline(s); } } static char* hasm() { outmod(mbuf, 0); strcat(mbuf, ".m"); if(exists(mbuf)) return mbuf; else if(domod){ outmod(buf, 0); strcat(buf, ".h"); if(exists(buf)) return mbuf; } return nil; } void pgen(int b) { char **p; if(!dolog()) return; if(b) p = hasm() ? bmprolog : bprolog; else p = mprolog; pgen0(p); if(b && passes) genstart(); if(!b) incind(); } void epgen(int b) { char **p; /* output(0x7fffffff, 1); */ /* INFINITY */ if(!dolog()) return; if(b){ if(!passes) genstart(); p = bepilog; } else p = mepilog; if(!b) decind(); pgen0(p); } static int lastsec = 0; #define ASSOC 1 #define RASSOC 2 #define POSTOP 4 #define LEFT 1 #define RIGHT 2 #define PRE 4 #define POST 8 static int space[] = { 0, 0, 2, 0, 4, 5, 0, 0, 0, 9, 10, 0, 0, 0, 0, 0, 0, 0, 0 }; static struct{ char *name; int prec; int kind; } ops[] = { "", 0, 0, /* ONOOP */ "", 16, 0, /* OXXX, */ "+", 12, ASSOC, /* OADD, */ "&", 14, RASSOC, /* OADDR, */ "&", 8, ASSOC, /* OAND, */ "&&", 5, ASSOC, /* OANDAND, */ "", 16, 0, /* OARRAY, */ "=", 2, RASSOC, /* OAS, */ "=", 2, RASSOC, /* OASI, */ "+=", 2, RASSOC, /* OASADD, */ "&=", 2, RASSOC, /* OASAND, */ "<<=", 2, RASSOC, /* OASASHL, */ ">>=", 2, RASSOC, /* OASASHR, */ "/=", 2, RASSOC, /* OASDIV, */ "<<", 11, 0, /* OASHL, */ ">>", 11, 0, /* OASHR, */ "/=", 2, RASSOC, /* OASLDIV, */ "%=", 2, RASSOC, /* OASLMOD, */ "*=", 2, RASSOC, /* OASLMUL, */ ">>=", 2, RASSOC, /* OASLSHR, */ "%=", 2, RASSOC, /* OASMOD, */ "*=", 2, RASSOC, /* OASMUL, */ "|=", 2, RASSOC, /* OASOR, */ "-=", 2, RASSOC, /* OASSUB, */ "^=", 2, RASSOC, /* OASXOR, */ "", -1, 0, /* OBIT, */ "", -1, 0, /* OBREAK, */ "", -1, 0, /* OCASE, */ "", 14, RASSOC, /* OCAST, */ "", 1, ASSOC, /* OCOMMA, */ "", 3, RASSOC, /* OCOND, */ "", 16, 0, /* OCONST, */ "", -1, 0, /* OCONTINUE, */ "/", 13, 0, /* ODIV, */ ".", 15, 0, /* ODOT, */ "...", 16, 0, /* ODOTDOT, */ "", -1, 0, /* ODWHILE, */ "", -1, 0, /* OENUM, */ "==", 9, 0, /* OEQ, */ "", -1, 0, /* OFOR, */ "", 15, 0, /* OFUNC, */ ">=", 10, 0, /* OGE, */ "", -1, 0, /* OGOTO, */ ">", 10, 0, /* OGT, */ ">", 10, 0, /* OHI, */ ">=", 10, 0, /* OHS, */ "", -1, 0, /* OIF, */ "*", 14, RASSOC, /* OIND, */ "", -1, 0, /* OINDREG, */ "", 16, 0, /* OINIT, */ "", -1, 0, /* OLABEL, */ "/", 13, 0, /* OLDIV, */ "<=", 10, 0, /* OLE, */ "", 16, 0, /* OLIST, */ "%", 13, 0, /* OLMOD, */ "*", 13, ASSOC, /* OLMUL, */ "<", 10, 0, /* OLO, */ "<=", 10, 0, /* OLS, */ ">>", 11, 0, /* OLSHR, */ "<", 10, 0, /* OLT, */ "%", 13, 0, /* OMOD, */ "*", 13, ASSOC, /* OMUL, */ "", 16, 0, /* ONAME, */ "!=", 9, 0, /* ONE, */ "!", 14, RASSOC, /* ONOT, */ "|", 6, ASSOC, /* OOR, */ "||", 4, ASSOC, /* OOROR, */ "--", 14, RASSOC|POSTOP, /* OPOSTDEC, */ "++", 14, RASSOC|POSTOP, /* OPOSTINC, */ "--", 14, RASSOC, /* OPREDEC, */ "++", 14, RASSOC, /* OPREINC, */ "", 16, 0, /* OPROTO, */ "", -1, 0, /* OREGISTER, */ "", 0, 0, /* ORETURN, */ "SET", -1, 0, /* OSET, */ "signof", 14, RASSOC, /* OSIGN, */ "sizeof", 14, RASSOC, /* OSIZE, */ "", 16, 0, /* OSTRING, */ "", 16, 0, /* OLSTRING, */ "", 16, 0, /* OSTRUCT, */ "-", 12, 0, /* OSUB, */ "", -1, 0, /* OSWITCH, */ "", 16, 0, /* OUNION, */ "USED", -1, 0, /* OUSED, */ "", -1, 0, /* OWHILE, */ "^", 7, ASSOC, /* OXOR, */ "-", 14, RASSOC, /* ONEG, */ "~", 14, RASSOC, /* OCOM, */ "", 16, 0, /* OELEM, */ "", -1, 0, /* OTST, */ "", -1, 0, /* OINDEX, */ "", -1, 0, /* OFAS, */ "", -1, 0, /* OBLK */ "+", 14, RASSOC, /* OPOS */ "", -1, 0, /* ONUL */ ".", 15, 0, /* ODOTIND */ "", 15, 0, /* OARRIND */ "", -1, 0, /* ODAS */ ":=", 2, RASSOC, /* OASD */ "", 16, 0, /* OIOTA */ "", 14, RASSOC, /* OLEN */ "", 17, 0, /* OBRACKET */ "", 14, RASSOC, /* OREF */ "", 14, RASSOC, /* OARRAYOF */ "", 15, 0, /* OSLICE */ "&", 14, RASSOC, /* OSADDR, */ "", 16, 0, /* ONIL */ "", 16, 0, /* OS2AB */ "", 16, 0, /* OAB2S */ "", 16, 0, /* OFILDES */ ".", 15, 0, /* OFD */ "", 16, 0, /* OTUPLE */ ".", 15, 0, /* OT0 */ "", 15, 0, /* ORETV */ "+", 12, ASSOC, /* OCAT */ "", -1, 0, /* OSBREAK, */ ".", 15, 0, /* OLDOT */ "->", 15, 0, /* OMDOT */ nil, -1, 0, /* OCODE */ nil, -1, 0, /* ODECE */ nil, -1, 0, /* ODECT */ nil, -1, 0, /* ODECV */ nil, -1, 0, /* ODECF */ nil, -1, 0, /* OPUSH */ nil, -1, 0, /* OPOP */ "", -1, 0, /* OEND */ }; #define COMPLEX 32 #define NOBR 2 #define NOIN 4 #define YESBR 8 #define NONL 16 #define NOENL 32 enum{ LNONE, LSTRLEN, LSTRCMP, LSTRCPY, LSTRCAT, LSTRNCMP, LSTRNCPY, LSTRNCAT, LSTRDUP, LMEMMOVE, LMALLOC, LFREE, LEXIT, LCLOSE, LATOI, LATOL, LATOF, LPRINT, LFPRINT, LSPRINT, LSELF, }; static int tmp; static void egen(Node*, int, int); static Node* buildcases(Node*); static void tdgen(Node *, int); static Node* cfind(Node*); static Node* cgen(Node*, Node*); static void cgen0(Node*, Node*); static int lteq(Type*, Type*); static Type* ntype(Node*); static int rewe(Node*, Type*, int); static void rewlc(Node*, int, Type*); static Node* con(vlong); static void clrbrk(Node*); static int hasbrk(Node*); static int isgen(char*); static int simple(Node*); static void pfmt(char*); static void lpfmt(Rune*); static int lline(Node*); static void args(Node*); static void addmodn(Sym*); static void scomplex(Node*); static void mset(Node*); static Node *lastd; static int rev(int op) { switch(op){ case OLT: return OGT; case OLE: return OGE; case OGT: return OLT; case OGE: return OLE; } return op; } void newsec(int l) { if(l != 1 && lastd != Z){ tdgen(lastd, 1); lastd = Z; } if(l != 2) etgen2(nil); if(lastsec && l != lastsec) newline(); lastsec = l; } static Node* defval(Type *t) { Node *n; if(t == T) t = types[TINT]; n = con(0); n->type = types[TINT]; n->kind = KDEC; switch(t->etype){ case TFLOAT: case TDOUBLE: n->type = types[TDOUBLE]; n->fconst = 0.0; n->cstring = "0.0"; return n; default: break; case TIND: case TFUNC: case TARRAY: n->type = typ1(TIND, types[TVOID]); return n; case TVOID: case TSTRUCT: case TUNION: free(n); return Z; } if(!lteq(n->type, t)){ n = new1(OCAST, n, Z); n->type = t; } return n; } static int teq(Type *t1, Type *t2) { if(t1 == t2) return 1; return sametype(t1, t2); /* if(t1->etype != t2->etype) return 0; switch(t1->etype){ case TARRAY: if(t1->width != t2->width) return 0; break; case TFUNC: if(!teq(t1->down, t2->down)) return 0; break; case TSTRUCT: case TUNION: return t1->link == t2->link; case TENUM: return 1; } return teq(t1->link, t2->link); */ } static int tequiv(Type *t1, Type *t2) { if(!teq(t1, t2)) return 0; if(t1->etype == TSTRUCT || t1->etype == TUNION) return suename(t1) == suename(t2); return 1; } static int iteq(Type *t1, Type *t2) { if(t1 == T || t2 == T) return 0; return t1->etype == TIND && (teq(t1->link, t2) || (t1->link->etype == TVOID && isnum(t2))); } static Type * ltype(Type *t) { switch(t->etype){ case TUCHAR: return types[TCHAR]; case TSHORT: case TUSHORT: case TUINT: case TLONG: case TULONG: case TENUM: return types[TINT]; case TUVLONG: return types[TVLONG]; case TFLOAT: return types[TDOUBLE]; default: return t; } } static int lteq(Type *t1, Type *t2) { if(t1 == T || t2 == T) return 0; if(t1 == t2) return 1; if(t1->etype == TIND && t2->etype == TIND) return lteq(t1->link, t2->link); return sametype(ltype(t1), ltype(t2)); } static Type* tcp(Type *t) { Type *nt; if(t == T) return T; nt = typ1(TXXX, T); *nt = *t; return nt; } static Type* tuple(Type *t1, Type *t2) { Type *t, **at, *l; if(t1 == T || t1->etype == TVOID) return tcp(t2); if(t2 == T || t2->etype == TVOID) return tcp(t1); if(t2->etype == TTUPLE) diag(Z, "bad tuple type"); t = typ1(TTUPLE, T); at = &t->link; if(t1->etype == TTUPLE){ for(l = t1->link; l != T; l = l->down){ *at = tcp(l); at = &(*at)->down; } } else{ *at = tcp(t1); at = &(*at)->down; } *at = tcp(t2); return t; } static Sym* sue(Type *t) { int h; Sym *s; if(t != T) for(h=0; h<nelem(hash); h++) for(s = hash[h]; s != S; s = s->link) if(s->suetag && s->suetag->link == t) return s; return S; } static void pranon(int i) { prid("anon_"); prnum(i+1, KDEC, T); } static int dotpath(Sym *s, Type *t, int pr) { int i; Type *t1; if(t == T) return 0; for(t1 = t->link; t1 != T; t1 = t1->down){ if(t1->sym == s){ if(pr){ prdelim("."); prsym(s, 0); } return 1; } } i = 0; for(t1 = t->link; t1 != T; t1 = t1->down){ if(t1->sym == S){ i++; if(typesu[t1->etype] && sametype(s->type, t1)){ if(pr){ prdelim("."); pranon(i-1); } return 1; } } } i = 0; for(t1 = t->link; t1 != T; t1 = t1->down){ if(t1->sym == S){ i++; if(typesu[t1->etype] && dotpath(s, t1, 0)){ if(pr){ prdelim("."); pranon(i-1); dotpath(s, t1, 1); } return 1; } } } return 0; } static Sym* suename(Type *t) { Sym *s; s = sue(t->link); if(s != S) return s; else if(t->tag != S) return t->tag; else if(t->sym != S) return t->sym; return S; } static int cycle(Type *t, Type *base) { int r; Type *l; if(t->vis){ /* sametype() does structural comparison so have to check names */ if(t == base || tequiv(t, base)) return 1; return 0; } r = 0; t->vis = 1; switch(t->etype){ case TIND: case TARRAY: r = cycle(t->link, base); break; case TSTRUCT: case TUNION: case TTUPLE: for(l = t->link; l != T; l = l->down) r |= cycle(l, base); break; } t->vis = 0; return r; } static void addnode(int op, Node *n) { Node *nn; nn = new1(OXXX, Z, Z); *nn = *n; n->op = op; n->left = nn; n->right = Z; n->type = nn->type; } static void cast(Node *n, Type *t) { addnode(OCAST, n); n->type = t; } static void intcast(Node *n) { if(isptr(n->type)){ addnode(ONE, n); n->right = con(0); n->right->type = n->left->type; n->type = types[TINT]; } else cast(n, types[TINT]); } static void strcast(Node *n) { cast(n, stringtype); } static void bptr(Node *n) { if(n == Z) return; switch(n->op){ default: if(!lteq(n->type, types[TINT])) intcast(n); break; case ONOT: if(!lteq(n->left->type, types[TINT])){ intcast(n->left); if(n->left->op == ONE){ n->left->op = OEQ; *n = *n->left; } } break; case OANDAND: case OOROR: bptr(n->left); bptr(n->right); break; case OCOND: bptr(n->right->left); bptr(n->right->right); break; } } static void bcomplex(Node *n) { if(n == Z) return; if(!passes) complex(n); bptr(n); } static void ecomplex(Node *n) { if(!passes) complex(n); rewe(n, T, 0); } static void becomplex(Node *n) { bcomplex(n); rewe(n, T, 0); } static void tgen(Type *t, int dec, int arinit) { Type *l; if(t == T) return; switch(t->etype){ case TXXX: prid("int"); break; case TCHAR: case TUCHAR: prid("byte"); break; case TSHORT: case TUSHORT: case TINT: case TUINT: case TLONG: case TULONG: case TENUM: prid("int"); break; case TVLONG: case TUVLONG: prid("big"); break; case TFLOAT: case TDOUBLE: prid("real"); break; case TIND: if(strings == 2 && t->link && t->link->etype == TCHAR){ prid("string"); break; } if(isadt(t->link) || t->link->etype == TFUNC) prid("ref "); else prid("array of "); if(t->link && t->link->etype == TVOID){ prid("byte"); prcom("was void*", Z); } else tgen(t->link, 1, 0); break; case TFUNC: if(0){ prid("int"); prcom("was function", Z); break; } prid("fn"); prdelim("("); for(l = t->down; l != T; l = l->down){ if(l->etype == TVOID && l->down == T) break; if(l->etype == TDOT){ prcom("was ...", Z); break; } if(l->sym != S) prsym(l->sym, 0); else prid("nil"); prdelim(": "); tgen(l, 1, 0); if(l->down != T && l->down->etype != TDOT) prdelim(", "); } /* tgen(t->down, dec, 0, 0); */ prdelim(")"); if(!isvoid(t->link)){ prdelim(": "); tgen(t->link, dec, 0); } break; case TARRAY: prid("array"); if(t->width == LARR) t->width = LARR; else if(dec){ if(t->nwidth != Z) prcom("array index was ", t->nwidth); else if(t->width != 0){ sprint(buf, "array index was %ld", t->width/t->link->width); prcom(buf, Z); } } else{ prdelim("["); if(t->nwidth != Z) egen(t->nwidth, ONOOP, PRE); else if(t->width != 0) prnum(t->width/t->link->width, KDEC, T); prdelim("]"); } prdelim(" of "); if(!arinit) tgen(t->link, 1, 0); break; case TVOID: /* prid("void"); */ prid("byte"); prcom("was void", Z); break; case TSTRUCT: case TUNION: if(t->link != T && t->link->etype == TFD){ prid("Sys->FD"); usemod(sysop, 0); } else prsym(suename(t), 1); break; case TTUPLE: prdelim("("); for(l = t->link; l != T; l = l->down){ tgen(l, dec, 0); if(l->down != T) prdelim(", "); } prdelim(")"); break; case TDOT: prdelim("..."); break; case TSTRING: prid("string"); break; case TFD: prid("fd"); break; default: diag(Z, "unknown type"); break; } } static Type* typn(Type *t, int i) { Type *l; for(l = t->down; l != T && --i >= 0; l = l->down) ; return l; } void ttgen2(Type *t) { Type *l; Sym *s; int anon = 0; switch(t->etype){ case TSTRUCT: case TUNION: newsec(0); output(t->lineno, 1); s = suename(t); if(isgen(s->name)) addmodn(s); setmod(s); prsym(s, 0); prdelim(": "); prid("adt"); prdelim("{"); if(t->etype == TUNION) prcom("was union", Z); newline(); incind(); t->vis = 1; for(l = t->link; l != T; l = l->down){ output(l->lineno, 1); if(l->nbits) prcom("was bit field", Z); if(l->sym != S) prsym(l->sym, 0); else pranon(anon++); prdelim(": "); if(cycle(l, t)) prid("cyclic "); tgen(l, 1, 0); prdelim(";"); newline(); } t->vis = 0; decind(); prdelim("};"); newline(); newline(); break; default: break; } } static int canjoin(Node *n, Node *nn) { return teq(n->type, nn->type) && isname(n) && isname(nn) && n->type->etype != TARRAY; } void vtgen2(Node *n) { int t, c, comma = 0; Node *nn; Sym *s; nn = n; if(n->op == ODAS) nn = n->left; if(nn->type == T || nn->sym == S) return; t = nn->type->etype; c = nn->sym->class; if(0 && c == CTYPEDEF){ /* egen(nn, ONOOP, PRE); */ /* tdgen(n, 1, 0); */ if(isadt(n->type)){ s = suename(n->type); if(isgen(s->name)){ s->lname = nn->sym->name; ttgen2(n->type); } } } if(c != CGLOBL && c != CSTATIC && c != CLOCAL && c != CEXREG) return; newsec(1); if(lastd != Z){ if(t != TFUNC && canjoin(lastd, n)) comma = 1; else tdgen(lastd, 1); } output(nn->lineno, 1); if(t == TFUNC){ if(ism()){ setmod(nn->sym); egen(nn, ONOOP, PRE); tdgen(n, 1); } lastd = Z; return; } if(comma) prdelim(", "); if(nn->op != ONAME) diag(nn, "internal: not name in vtgen"); setmod(nn->sym); prsym(nn->sym, 0); /* egen(nn, ONOOP, PRE); */ /* tdgen(n, 1, 0); */ lastd = n; if(n->op == ODAS) rewe(n->right, T, 1); } static void minseq(Syml*); static Node* con(vlong v) { int neg = 0; Node *n; if(v < 0){ neg = 1; v = -v; } n = new1(OCONST, Z, Z); n->vconst = v; n->kind = KDEC; n->type = types[TINT]; if(neg) n = new1(ONEG, n, Z); return n; } /* static Node* fcon(double v) { int neg = 0; Node *n; if(v < 0){ neg = 1; v = -v; } n = new1(OCONST, Z, Z); n->fconst = v; n->kind = KDEC; n->type = types[TDOUBLE]; if(neg) n = new1(ONEG, n, Z); return n; } */ static Node* add(vlong v, Node *n) { if(v == 0) return n; return new1(OADD, con(v), n); } static Node* addn(Node *n1, Node *n2) { if(n1 == Z || n2 == Z) return Z; if(isconst(n1, 0)) return n2; if(isconst(n2, 0)) return n1; return new1(OADD, n1, n2); } static Node* mul(vlong v, Node *n) { if(v == 0) return con(0); else if(v == 1) return n; else if(v == -1) return new1(ONEG, n, Z); return new1(OMUL, con(v), n); } static Node* mydiv(Node *n, vlong w) { Node *nn; if(w == 0) return Z; if(w == 1) return n; else if(w == -1) return new1(ONEG, n, Z); switch(n->op){ case OCONST: if(n->vconst % w == 0){ n->vconst /= w; if(n->left != Z && mydiv(n->left, w) == Z){ n->vconst *= w; break; } return n; } break; case OCAST: return mydiv(n->left, w); case OMUL: nn = mydiv(n->right, w); if(nn != Z){ if(isconst(nn, 1)) *n = *n->left; return n; } nn = mydiv(n->left, w); if(nn != Z){ if(isconst(nn, 1)) *n = *n->right; return n; } break; default: break; } return Z; } static Node* iota(void) { return new1(OIOTA, Z, Z); } static Node* symcon(Sym *s) { Node *n; if(s->nconst != Z) return s->nconst; n = con(s->vconst); n->kind = s->kind; return n; } #define ARITH 1 #define GEOM 2 static Syml* newsyml(Sym *s, Syml **frees) { Syml *sl, *f; if((f = *frees) != nil){ sl = f; *frees = f->nxt; } else sl = (Syml*)malloc(sizeof(Syml)); sl->sym = s; sl->nxt = nil; return sl; } static Syml* etseq(Syml *syml) { int e, pio, io, comma; vlong d, dd, v0, v1, v, t, tt; Node *expr; Sym *s; Syml *sl, *lsl; lsl = nil; pio = io = ARITH|GEOM; e = 0; dd = 0; d = 0; for(sl = syml; sl != nil; sl = sl->nxt){ s = sl->sym; if(isreal(s->tenum) || s->tenum->etype == TIND) break; if(e == 0) v0 = s->vconst; if(e == 1){ v1 = s->vconst; d = v1-v0; } if(e > 0 && (v <= 0 || s->vconst != 2*v)) io &= ~GEOM; if(0 && e > 1 && s->vconst-v != d) io &= ~ARITH; if(e > 1){ t = s->vconst-v; tt = t-d; if(e > 2 && tt != dd) io &= ~ARITH; else{ d = t; dd = tt; } } if(io == 0) break; v = s->vconst; lsl = sl; pio = io; e++; } if(e < 2) pio = 0; if(pio&GEOM){ if(e < 3) pio = 0; } else if(pio&ARITH){ int n; if(d == 0 && dd == 0) n = 2; else if(dd == 0) n = 3; else n = 4; if(e < n || (dd&1) != 0) pio = 0; } if(lsl == nil || pio == 0) lsl = syml; comma = 0; for(sl = syml; sl != nil; sl = sl->nxt){ s = sl->sym; nearln = s->lineno; output(s->lineno, 1); if(pio){ if(comma) prdelim(", "); setmod(s); prsym(s, 0); comma = 1; } else{ setmod(s); prsym(s, 0); prdelim(": "); prid("con "); if(isbyte(s->tenum) || isbig(s->tenum) && !islbigv(s->vconst) || !isbig(s->tenum) && isuintv(s->vconst)){ tgen(s->tenum, 1, 0); prdelim(" "); } if(s->nconst != Z) egen(s->nconst, ONOOP, PRE); else if(s->kind == KCHR) prchar(s->vconst); else if(isreal(s->tenum)) prreal(s->fconst, s->cstring, s->kind); else prnum(s->vconst, s->kind, s->tenum); prdelim(";"); newline(); } if(sl == lsl) break; } if(pio){ s = syml->sym; prdelim(": "); prid("con "); if(isbyte(s->tenum) || isbig(s->tenum)){ tgen(s->tenum, 1, 0); prdelim(" "); } if(pio&GEOM){ if(v0 == 0 || v0 == 1 || v0 == -1) expr = mul(v0, new1(OASHL, con(1), iota())); else expr = new1(OMUL, symcon(s), new1(OASHL, con(1), iota())); } else if(d == 0 && dd == 0) expr = symcon(s); else if(dd == 0) expr = add(v0, mul(d, iota())); else expr = add(v0, new1(OADD, mul(v1-dd/2-v0, iota()), mul(dd/2, new1(OMUL, iota(), iota())))); complex(expr); expr = ckneg(expr); egen(expr, ONOOP, PRE); prdelim(";"); newline(); } return lsl->nxt; } static void adde(Syml *sl, Symq *q) { if(q->f == nil) q->f = sl; else q->r->nxt = sl; q->r = sl; } static void freeq(Symq *q, Syml **frees) { if(q->f){ q->r->nxt = *frees; *frees = q->f; q->f = q->r = nil; } } static void etgen2(Sym *s) { Syml *sl; static Syml *frees; static Symq symq, symq1; if(s != nil){ newsec(2); sl = newsyml(s, &frees); adde(sl, &symq); if(isinteger(s->tenum) && isbigv(s->vconst) && !isbig(s->tenum)) s->tenum = types[TVLONG]; return; } /* end of enums */ if(symq.f && symq.f == symq.r){ /* try to merge with other singletons */ adde(symq.f, &symq1); symq.f = symq.r = nil; return; } if(symq1.f){ for(sl = symq1.f; sl != nil; sl = etseq(sl)) ; freeq(&symq1, &frees); } if(symq.f){ for(sl = symq.f; sl != nil; sl = etseq(sl)) ; freeq(&symq, &frees); } } static void lgen(Node *n, int br, int first) { if(br) prdelim("("); if(n == Z){ if(br) prdelim(")"); return; } if(n->op == OLIST || n->op == OTUPLE){ lgen(n->left, 0, first); lgen(n->right, 0, 0); } else if(n->op != ODOTDOT){ if(!first) prdelim(", "); egen(n, ONOOP, PRE); } else prcom("was ...", Z); if(br) prdelim(")"); } static void preced(int op1, int op2, int s, int c) { int p1, p2, k1, k2, br; char buf[2]; br = 0; p1 = ops[op1].prec; p2 = ops[op2].prec; if(p1 < 0 || p2 < 0) diag(Z, "-ve precedence"); if(p1 > p2) br = 1; else if(p1 == p2){ k1 = ops[op1].kind; k2 = ops[op2].kind; if(op1 == op2){ if(k1&RASSOC) br = s == LEFT; else br = s == RIGHT && !(k1&ASSOC); } else{ if(k1&RASSOC) br = s == LEFT; else br = s == RIGHT && op1 != OADD; if(k1&POSTOP && !(k2&POSTOP)) br = 1; /* funny case */ if(op2 == OMDOT && s == LEFT && (op1 == ODOT || op1 == ODOTIND)) br = 1; } } if(br){ buf[0] = c; buf[1] = '\0'; prdelim(buf); } } static void egen(Node *n, int op0, int side) { int op, p; Type *t; Node *nn; if(n == Z){ if(op0 == OBRACKET) prdelim("()"); return; } if(n->op == OCONST && n->left != Z){ /* actual node in source */ n->left->type = n->type; n = n->left; } if((n->op == OSTRING || n->op == OLSTRING) && n->left != Z) /* actual node in source */ n = n->left; if(n->op == OCAST && (lteq(n->type, n->left->type) || isnil(n) || !iscastable(n->type, n->left->type))){ if(isnil(n)) prid("nil"); else egen(n->left, op0, side); return; } if(n->op == ONAME && arrow(n->sym)) n->op = OMDOT; if(n->op != OLIST) output(n->lineno, 0); op = n->op; preced(op0, op, side, '('); switch(op){ case OLIST: case OTUPLE: lgen(n, 1, 1); break; case OIOTA: prid("iota"); break; case OMDOT: case ONAME: case OXXX: prsym(n->sym, 1); break; case OCONST: if(n->kind == KCHR) prchar(n->vconst); else if(isreal(n->type)) prreal(n->fconst, n->cstring, n->kind); else if(isnil(n)) prid("nil"); else prnum(n->vconst, n->kind, n->type); if(n->right != Z) prcom("was ", n->right); break; case OSTRING: prstr(n->cstring); break; case OLSTRING: prlstr(n->rstring); break; case OCOND: egen(n->left, op, POST); prdelim(" ? "); egen(n->right->left, op, PRE|POST); prdelim(" : "); egen(n->right->right, op, PRE); prcom("?", Z); break; case OCOMMA: if(op0 != OCOMMA) prdelim("("); egen(n->left, op, LEFT); prdelim(", "); egen(n->right, op, RIGHT); if(op0 != OCOMMA) prdelim(")"); break; case OLDOT: egen(n->left, OMOD, LEFT); /* any precedence 13 operator */ prdelim("."); egen(n->right, op, RIGHT); break; default: p = ops[op].prec; egen(n->left, op, LEFT); if(space[p]) prdelim(" "); prdelim(ops[op].name); if(space[p]) prdelim(" "); egen(n->right, op, RIGHT); break; case OIND: case OADDR: case OSADDR: case OPOS: case ONEG: case ONOT: case OCOM: case OPREINC: case OPREDEC: if(op == OADDR){ n->op = OSADDR; if(!isfn(n->left->type)) prcom("was ", n); } else prdelim(ops[op].name); egen(n->left, op, PRE); break; case OPOSTINC: case OPOSTDEC: egen(n->left, op, POST); prdelim(ops[op].name); break; case ODOT: egen(n->left, op, LEFT); dotpath(n->sym, n->left->type, 1); /* prdelim(ops[op].name); */ /* prsym(n->sym, 0); */ break; case ODOTIND: egen(n->left, op, LEFT); if(isadt(n->left->type)) dotpath(n->sym, n->left->type, 1); /* type may be demoted arg */ else dotpath(n->sym, n->left->type->link, 1); /* prdelim(ops[op].name); */ /* prsym(n->sym, 0); */ break; case OARRIND: egen(n->left, op, LEFT); prdelim("["); egen(n->right, ONOOP, RIGHT); prdelim("]"); if(n->right->op == OCONST && n->right->vconst < 0) prcom("negative array index", Z); break; case OLEN: prid("len "); egen(n->right, op, PRE); break; case OREF: prid("ref "); tgen(n->type->link, 0, 0); break; case OARRAYOF: prid("array"); prdelim("["); egen(n->left, ONOOP, LEFT); prdelim("]"); prid(" of "); tgen(n->type->link, 0, 0); break; case OSLICE: egen(n->left, op, LEFT); prdelim("["); egen(n->right->left, ONOOP, RIGHT); prdelim(": "); egen(n->right->right, ONOOP, RIGHT); prdelim("]"); break; case OFUNC: if(n->kind == KEXP) egen(n->left, op, LEFT); else prsym(n->left->sym, 0); lgen(n->right, 1, 1); if(n->kind != KEXP && !isvoid(n->left->type->link)){ prdelim(": "); tgen(n->left->type->link, 0, 0); } break; case ONIL: prid("nil"); break; case OCAST: if(isnil(n)) prid("nil"); else if(iscastable(n->type, n->left->type)){ tgen(n->type, 0, 0); prdelim(" "); egen(n->left, op, RIGHT); } else egen(n->left, op0, RIGHT); break; case OARRAY: tgen(n->type, 0, 0); egen(n->left, op, LEFT); prdelim("["); egen(n->right, ONOOP, RIGHT); prdelim("]"); break; case OSTRUCT: case OUNION: tgen(n->type, 0, 0); lgen(n->left, 1, 1); break; case OELEM: prdelim("."); /* tgen(n->type, 0, 0, 0); */ prsym(n->sym, 0); break; case OSIZE: case OSIGN: prid(ops[op].name); if(n->left != Z) egen(n->left, OBRACKET, RIGHT); else{ prdelim(" "); prid(tnames[n->type->etype]); if(typesu[n->type->etype] && n->type->tag){ prdelim(" "); prid(n->type->tag->name); } } break; case OPROTO: nn = n; t = n->type; n = protoname(n); if(n != Z) t = n->type; else t = prototype(nn->left, t); if(!isvoid(t) || n != Z){ if(n == Z) prid("nil"); else if(n->op == ODOTDOT){ prcom("was ...", Z); break; } else prsym(n->sym, 0); /* egen(n, ONOOP, PRE); */ prdelim(": "); tgen(t, 1, 0); } break; case ODOTDOT: prid("..."); break; case OINIT: egen(n->left, ONOOP, PRE); break; case OS2AB: prid("libc0->s2ab"); prdelim("("); egen(n->left, ONOOP, PRE); prdelim(")"); usemod(libcop, 1); break; case OAB2S: prid("libc0->ab2s"); prdelim("("); egen(n->left, ONOOP, PRE); prdelim(")"); usemod(libcop, 1); break; case OFILDES: prid("sys->fildes"); prdelim("("); egen(n->left, ONOOP, PRE); prdelim(")"); usemod(sysop, 1); break; case OFD: egen(n->left, op, LEFT); prdelim(ops[op].name); prid("fd"); break; case OT0: egen(n->left, op, LEFT); prdelim(ops[op].name); prid("t0"); break; case ORETV: n->op = OAS; nn = n->left; p = isvoid(n->type) || n->type->etype != TTUPLE || n->type->mark == TCPC; if(p) n->left = n->right; else n->left = new1(OTUPLE, new1(ONIL, Z, Z), n->right); n->right = nn; n->left->type = n->type; if(!p && op0 != ONOOP) addnode(OT0, n); egen(n, op0, side); break; case OCAT: egen(n->left, op, LEFT); prdelim(" + "); egen(n->right, op, RIGHT); break; } preced(op0, op, side, ')'); } static int isexpr(Node *n, Type *t) { if(n == Z) return 0; if(n->op == OLIST || n->op == OINIT || n->op == OSTRUCT) return 0; if(teq(t, n->type)) return 1; return 0; } static Node * nxtval(Node *n, Node **nn) { if(n == Z){ *nn = Z; return Z; } if(n->op == OLIST){ *nn = n->right; return n->left; } *nn = Z; return n; } static Node* eagen(Node *n, Type *t, int ar, int *nz, int depth) { int i, w, nw, down; Type *t1; Node *nn, *tn; if(n != Z){ if(n->type == T && t == T){ egen(n, ONOOP, PRE); if(ar){ prdelim(","); newline(); } return Z; } if(ar && n->op == OLIST && n->left->op == OARRAY){ egen(n->left->left, ONOOP, PRE); prdelim(" => "); n = n->right; } if(n->op == OLIST && n->left->op == OELEM){ prcom("cannot do ", n->left); n = n->right; } if(n->op == OUSED || n->op == ODOTDOT) n = n->left; if(t == T) t = n->type; } switch(t->etype){ case TSTRUCT: case TUNION: if(isexpr(n, t)) goto Default; down = 0; tn = nxtval(n, &nn); if(tn != Z && (tn->op == OINIT || tn->op == OSTRUCT)){ down = 1; n = tn->left; } if(depth > 0){ tgen(t, 0, 0); prdelim(" "); } prdelim("("); for(t1 = t->link; t1 != T; t1 = t1->down){ if(n == Z) n = defval(t1); n = eagen(n, t1, 0, nil, depth+1); if(t1->down != T){ prdelim(","); if(ar) prdelim("\t"); else prdelim(" "); } } prdelim(")"); if(down) n = nn; break; case TARRAY: if(isexpr(n, t)) goto Default; if(depth > 0){ tgen(t, 0, 1); prdelim(" "); } prdelim("{"); newline(); incind(); w = t->width/t->link->width; nw = 0; for(i = 0; i < w; i++){ down = 0; tn = nxtval(n, &nn); if(tn != Z && (tn->op == OINIT || tn->op == OSTRUCT)){ down = 1; n = tn->left; } n = eagen(n, t->link, 1, &nw, depth+1); if(down) n = nn; } if(nw > 0){ if(nw > 1) prdelim("* => "); egen(defval(t->link), ONOOP, PRE); newline(); } decind(); prdelim("}"); break; default: Default: if(n == Z){ if(ar) (*nz)++; else egen(defval(t), ONOOP, PRE); return Z; } n = nxtval(n, &nn); if(ar && isnil(n) && iscastable(t, types[TINT])){ tgen(t, 0, 0); prdelim(" "); } egen(n, ONOOP, PRE); n = nn; break; } if(ar){ prdelim(","); newline(); } return n; } /* better is * array of byte "abcde\0" * but limbo compiler does not accept this as a constant expression */ static void stob(Node *n) { int m; char *s = nil, buf[UTFmax]; Rune *u = nil; while(n->op == ONAME) n = n->sym->nconst; if(n->op == OSTRING) s = n->cstring; else u = n->rstring; prdelim("{ "); if(s){ while(*s){ prid("byte "); prchar(*s++); prdelim(", "); } } else{ while(*u){ m = runetochar(buf, u++); s = buf; while(--m >= 0){ prid("byte "); prchar(*s++); prdelim(", "); } } } prid("byte "); prchar('\0'); prdelim(" }"); } static Type *arrayofchar; static void sdgen(Node *n, int glob) { int sop = 0; prdelim(" := "); if(glob && n->right->op == OS2AB && isstring(n->right->left)){ if(arrayofchar == T){ arrayofchar = typ1(TARRAY, types[TCHAR]); arrayofchar->width = 0; } n->type = n->right->type = arrayofchar; sop = 1; } else n->type = n->right->type = T; tgen(n->type, 0, 1); if(sop) stob(n->right->left); else eagen(n->right, n->type, 0, nil, 0); prdelim(";"); newline(); } static void tdgen(Node *n, int glob) { int ar, arinit; if(ism()){ prdelim(": "); tgen(n->type, 1, 0); if(n->op == ODAS) prcom("initial value was ", n->right); prdelim(";"); newline(); return; } if(n->op == ODAS && (isstring(n->right) || n->right->op == OS2AB)){ sdgen(n, glob); return; } ar = n->type->etype == TARRAY && n->type->width != LARR; arinit = ar && n->op == ODAS; if(ar) prdelim(" := "); else prdelim(": "); tgen(n->type, 0, arinit); if(n->op == ODAS){ if(!arinit) prdelim(" = "); eagen(n->right, n->type, 0, nil, 0); } prdelim(";"); newline(); } static int isdec(Node *n) { return isname(n) && n->kind != KEXP || n->op == ODAS; } static void sgen(Node *n, int blk, Node **ln) { int comma = 0; Node *nn; if(n == Z) return; if(blk){ pushscope(n, SAUTO); if(n->op == OLIST && !(blk&NOBR) || (blk&YESBR)){ prdelim("{"); newline(); } else if(!(blk&NONL)) newline(); if(!(blk&NOIN)) incind(); } if((nn = *ln) != Z && isdec(nn)){ if(isdec(n)){ if(canjoin(nn, n)) comma = 1; else tdgen(nn, 0); } else if(n->op != OLIST){ tdgen(nn, 0); newline(); } } if(n->op != OLIST){ *ln = n; output(n->lineno, 1); } switch(n->op){ default: egen(n, ONOOP, PRE); prdelim(";"); newline(); break; case ODAS: pushdcl(n->left, CAUTO); egen(n->left, ONOOP, PRE); break; case ONAME: if(n->kind == KEXP){ egen(n, ONOOP, PRE); prdelim(";"); newline(); } else{ pushdcl(n, CAUTO); if(comma) prdelim(", "); if(n->op != ONAME) diag(n, "internal: not name in sgen"); prsym(n->sym, 0); /* egen(n, ONOOP, PRE); */ /* prdelim(": "); tgen(n->type, 0, 0, 0); prdelim(";"); newline(); */ } break; case OSBREAK: break; case ONUL: prdelim(";"); newline(); break; case OBLK: sgen(n->left, 1|YESBR, ln); break; case OLIST: sgen(n->left, 0, ln); sgen(n->right, 0, ln); break; case ORETURN: prkeywd("return"); if(n->left != Z) prdelim(" "); egen(n->left, ONOOP, PRE); prdelim(";"); newline(); break; case OLABEL: prcom("was label ", n->left); /* i = zeroind(); */ /* egen(n->left, ONOOP, PRE); */ /* prdelim(":"); */ newline(); /* restoreind(i); */ break; case OGOTO: prcom("was goto ", n->left); /* prkeywd("goto "); */ /* egen(n->left, ONOOP, PRE); */ prdelim(";"); newline(); break; case OCASE: for(nn = n->left; nn != Z; nn = nn->right){ if(nn != n->left) prkeywd(" or "); if(nn->left != Z) egen(nn->left, ONOOP, PRE); else prkeywd("*"); } prdelim(" =>"); clrbrk(n->right); sgen(n->right, 1|NOBR, ln); if(n->kind != KLAST && !hasbrk(n->right)){ prcom("fall through", Z); newline(); } break; case OSWITCH: prkeywd("case"); egen(n->left, OBRACKET, PRE); sgen(n->right, 1|NOIN|YESBR, ln); break; case OWHILE: prkeywd("while"); egen(n->left, OBRACKET, PRE); sgen(n->right, 1, ln); break; case ODWHILE: prkeywd("do"); sgen(n->right, 1|NOENL, ln); prkeywd("while"); egen(n->left, OBRACKET, PRE); prdelim(";"); newline(); break; case OFOR: prkeywd("for"); prdelim("("); egen(n->left->right->left, ONOOP, PRE); prdelim(";"); if(n->left->left != Z) prdelim(" "); egen(n->left->left, ONOOP, PRE); prdelim(";"); if(n->left->right->right != Z) prdelim(" "); egen(n->left->right->right, ONOOP, PRE); prdelim(")"); sgen(n->right, 1, ln); break; case OCONTINUE: prkeywd("continue"); prdelim(";"); newline(); break; case OBREAK: prkeywd("break"); prdelim(";"); newline(); break; case OIF: prkeywd("if"); egen(n->left, OBRACKET, PRE); if(n->right->left->op == OIF && n->right->left->right->right == Z && n->right->right != Z) /* avoid dangling else */ sgen(n->right->left, 1|YESBR, ln); else sgen(n->right->left, 1, ln); if(n->right->right != Z){ prdelim("else"); if(n->right->right->op == OIF){ /* merge else and if */ prdelim(" "); sgen(n->right->right, 1|NONL|NOIN, ln); } else sgen(n->right->right, 1, ln); } break; case OSET: case OUSED: prkeywd(ops[n->op].name); lgen(n->left, 1, 1); prdelim(";"); newline(); break; } if(blk){ if(!(blk&NOIN)) decind(); if(n->op == OLIST&& !(blk&NOBR) || (blk&YESBR)){ prdelim("}"); if(!(blk&NOENL)) newline(); } popscope(); } } static void rew(Node*, int); static void rewc0(Node *n, Node *r) { Node *nn; if((nn = cfind(n)) != Z){ cgen0(nn, n); if(r->op == ORETURN){ n->right->left = new1(ORETURN, n->right->left, Z); n->right->right = new1(ORETURN, n->right->right, Z); n->right->left->type = n->right->left->left->type; n->right->right->type = n->right->right->left->type; *r = *n; } } } static void rewc1(Node *n) { Node *c, *nc; if(n == Z || n->op != OCOND || side(n) || !simple(n)) return; c = n->left; nc = new1(ONOT, ncopy(c), Z); n->op = OOROR; n->left = new1(OANDAND, c, n->right->left); n->right = new1(OANDAND, nc, n->right->right); } static void rewc(Node *n, Node *r) { Node *nn, *rr, *i; if((nn = cfind(n)) != Z){ i = cgen(nn, n); rr = new1(OXXX, Z, Z); if(n == r && nn == n) *rr = *nn; else *rr = *r; r->op = OLIST; r->left = i; r->right = rr; } } static int rewe(Node *n, Type *t, int lev) { int op, k, k1, k2; int v; Node *nn; if(n == Z) return -1; switch(n->op){ case OCONST: break; case ONAME: if(strings || !isstring(n)) break; case OSTRING: case OLSTRING: if(!strings) addnode(OS2AB, n); break; case OCOND: bptr(n->left); rewe(n->left, T, 1); rewe(n->right, T, 1); break; case OIND: if(isfn(n->type)){ *n = *n->left; rewe(n, T, 1); break; } if(!isadt(n->type)){ n->op = OARRIND; n->right = con(0); rewe(n, T, 1); break; } rewe(n->left, T, 1); break; case OADDR: if(n->left->op == OARRIND){ n->right = n->left; n->left = n->right->left; n->right->left = n->right->right; n->right->right = Z; n->right->op = OLIST; n->op = OSLICE; rewe(n, T, 1); break; } rewe(n->left, T, 1); break; case OSLICE: rewe(n->left, T, 1); rewe(n->right, T, 1); if(n->left->op == OSLICE){ n->right->left = addn(n->left->right->left, n->right->left); n->right->right = addn(n->left->right->left, n->right->right); n->left = n->left->left; rewe(n, T, 1); break; } break; case OCOMMA: rewe(n->left, T, 1); rewe(n->right, T, 1); if(n->left->op == OAS && n->right->op == OAS){ n->op = OAS; n->left->op = n->right->op = OLIST; nn = n->left->right; n->left->right = n->right->left; n->right->left = nn; rewe(n, T, 1); break; } break; case OFUNC: if(n->left->op == ONAME){ if((k = n->left->sym->kind) != LNONE){ rewlc(n, k, t); rewe(n->left, T, 1); rewe(n->right, T, 1); args(n); return k; } } else rewe(n->left, T, 1); rewe(n->right, T, 1); args(n); break; case OCAST: rewe(n->left, n->type, 1); break; case OAS: case OASI: case OASD: rewe(n->left, T, 1); rewe(n->right, n->type, 1); break; case ONOT: case OANDAND: case OOROR: bptr(n); rewe(n->left, T, 1); rewe(n->right, T, 1); break; case OPREINC: case OPOSTINC: case OASADD: if(n->op != OPOSTINC || lev == 0){ sliceasgn(n); if(n->op == OAS){ rewe(n, T, 1); break; } } rewe(n->left, T, 1); rewe(n->right, T, 1); break; case OEQ: case ONE: case OLT: case OLE: case OGT: case OGE: k1 = rewe(n->left, T, 1); k2 = rewe(n->right, T, 1); if(k1 == LSTRCMP && n->right->op == OCONST){ op = -1; v = n->right->vconst; switch(v){ case -1: if(n->op == OEQ) op = OLT; else if(n->op == ONE) op = OGE; break; case 0: op = n->op; break; case 1: if(n->op == OEQ) op = OGT; else if(n->op == ONE) op = OLE; break; } if(op != -1){ *n = *n->left; n->op = op; } } if(k2 == LSTRCMP && n->left->op == OCONST){ op = -1; v = n->left->vconst; switch(v){ case -1: if(n->op == OEQ) op = OLT; else if(n->op == ONE) op = OGE; break; case 0: op = rev(n->op); break; case 1: if(n->op == OEQ) op = OGT; else if(n->op == ONE) op = OLE; break; } if(op != -1){ *n = *n->right; n->op = op; } } break; default: rewe(n->left, T, 1); rewe(n->right, T, 1); break; } return -1; } /* static void rewf(Node *n) { if(n == Z) return; switch(n->op){ case OFUNC: if(n->left->op == ONAME) fdargs(n); break; default: rewf(n->left); rewf(n->right); break; } } */ static void rew(Node *n, int blk) { int i; Node *a, *nn; if(n == Z) return; if(blk) pushscope(n, SAUTO); nearln = n->lineno; if(n->blk){ n->blk = 0; addnode(OBLK, n); } switch(n->op){ default: if(simple(n)) rewc0(n, n); else rewc(n, n); if(n->op == OLIST || n->op == OIF){ rew(n, 0); break; } ecomplex(n); break; case ODAS: pushdcl(n->left, CAUTO); rewe(n->right, T, 1); break; case OSBREAK: case ONUL: break; case ONAME: if(n->kind == KEXP) ecomplex(n); else pushdcl(n, CAUTO); break; case OBLK: rew(n->left, 1); break; case OLIST: rew(n->left, 0); rew(n->right, 0); break; case ORETURN: if(simple(n->left)) rewc0(n->left, n); else rewc(n->left, n); if(n->op != ORETURN){ rew(n, 0); break; } ecomplex(n); break; case OLABEL: case OGOTO: break; case OCASE: for(nn = n->left; nn != Z; nn = nn->right) if(nn->left != Z) ecomplex(nn->left); rew(n->right, 1); break; case OSWITCH: rewc(n->left, n); if(n->op == OLIST){ rew(n, 0); break; } ecomplex(n->left); if(!lteq(n->left->type, types[TINT])) intcast(n->left); n->right = buildcases(n->right); rew(n->right, 1); break; case OWHILE: case ODWHILE: rewc1(n->left); becomplex(n->left); rew(n->right, 1); break; case OFOR: rewc1(n->left->left); rewc(n->left->right->left, n); if(n->op == OLIST){ rew(n, 0); break; } becomplex(n->left->left); ecomplex(n->left->right->left); ecomplex(n->left->right->right); rew(n->right, 1); break; case OCONTINUE: break; case OBREAK: break; case OIF: rewc1(n->left); rewc(n->left, n); if(n->op == OLIST){ rew(n, 0); break; } becomplex(n->left); rew(n->right->left, 1); rew(n->right->right, 1); break; case OSET: if(n->left == Z){ n->op = ONUL; n->left = n->right = Z; break; } if(n->left->op != OLIST){ n->op = OAS; n->right = defval(n->left->type); rew(n, 0); break; } i = 0; nn = Z; for(;;){ a = arg(n->left, i); if(a == Z) break; a = new1(OAS, a, defval(a->type)); if(i == 0) nn = a; else nn = new1(OLIST, nn, a); i++; } *n = *nn; rew(n, 0); break; case OUSED: if(n->left == Z){ n->op = ONUL; n->left = n->right = Z; break; } i = 0; nn = Z; for(;;){ a = arg(n->left, i); if(a == Z) break; if(i == 0) nn = a; else nn = new1(OOROR, nn, a); i++; } n->op = OIF; n->left = nn; n->right = new1(OLIST, Z, Z); n->right->left = new1(ONUL, Z, Z); rew(n, 0); break; } if(blk) popscope(); } void codgen2(Node *n, Node *nn, int lastlno, int rw) { Node *ln = Z; newsec(0); output(nn->lineno, 1); tmp = 0; /* t = types[TVOID]; */ nn = func(nn); pushscope(nn, SPARM); if(rw) rew(n, 1); egen(nn, ONOOP, PRE); newline(); prdelim("{"); newline(); incind(); /* rewf(n); */ pushscope(n, SAUTO); sgen(n, 0, &ln); if(ln != Z && isdec(ln)) tdgen(ln, 0); popscope(); popscope(); if(n != Z) output(lline(n), 1); output(lastlno, 1); decind(); prdelim("}"); newline(); newline(); setmain(nn); } void rewall(Node *n, Node *nn, int lastlno) { USED(lastlno); tmp = 0; nn = func(nn); pushscope(nn, SPARM); rew(n, 1); popscope(); setmain(nn); } void suball(Node *n, Node *nn) { Node *rn; nn = func(nn); pushscope(nn, SPARM); subs(nn, 0, 0); subs(n, 1, 1); nn = lastn(n); if(nn != Z && nn->op != ORETURN){ rn = retval(Z); if(rn != Z){ addnode(OLIST, nn); nn->right = rn; } } popscope(); } void ginit(void) { thechar = 'o'; thestring = "386"; tfield = types[TLONG]; } long align(long i, Type *t, int op) { long o; Type *v; int w; o = i; w = 1; switch(op) { default: diag(Z, "unknown align opcode %d", op); break; case Asu2: /* padding at end of a struct */ w = SZ_LONG; break; case Ael1: /* initial allign of struct element */ for(v=t; v->etype==TARRAY; v=v->link) ; w = ewidth[v->etype]; if(w <= 0 || w >= SZ_LONG) w = SZ_LONG; break; case Ael2: /* width of a struct element */ o += t->width; break; case Aarg0: /* initial passbyptr argument in arg list */ if(typesuv[t->etype]) { o = align(o, types[TIND], Aarg1); o = align(o, types[TIND], Aarg2); } break; case Aarg1: /* initial allign of parameter */ w = ewidth[t->etype]; if(w <= 0 || w >= SZ_LONG) { w = SZ_LONG; break; } w = 1; /* little endian no adjustment */ break; case Aarg2: /* width of a parameter */ o += t->width; w = SZ_LONG; break; case Aaut3: /* total allign of automatic */ o = align(o, t, Ael2); o = align(o, t, Ael1); w = SZ_LONG; /* because of a pun in cc/dcl.c:contig() */ break; } o = round(o, w); if(0) print("align %s %ld %T = %ld\n", bnames[op], i, t, o); return o; } long maxround(long max, long v) { v = round(v, SZ_LONG); if(v > max) return v; return max; } static int nlen(Node *n) { if(n == Z) return 0; if(n->op == OLIST) return nlen(n->left)+nlen(n->right); return 1; } static void flatten(Node *n, Node **a, int *i) { if(n == Z) return; if(n->op == OLIST){ flatten(n->left, a, i); flatten(n->right, a, i); free(n); return; } a[(*i)++] = n; } static Node* addcase(Node *n, Node **e, Node **s, int k) { Node *nn; if(*e != Z){ nn = new1(OCASE, *e, *s); nn->right->blk = 0; nn->kind = k; } else nn = *s; *e = *s = Z; if(n == Z) return nn; return new1(OLIST, n, nn); } /* collect case code together */ static Node* buildcases(Node *n) { int i, m, m0, c; Node *e, *s, *nn, **a, **ep; m = nlen(n); a = (Node **)malloc(m*sizeof(Node*)); m0 = 0; flatten(n, a, &m0); if(m != m0) diag(Z, "internal: bad buildcases()"); c = 1; e = s = nn = Z; ep = &e; for(i = 0; i < m; i++){ n = a[i]; if(n->op == OCASE){ if(!c){ nn = addcase(nn, &e, &s, KNIL); ep = &e; } *ep = new1(OLIST, n->left, Z); if(n->left == Z) (*ep)->lineno = n->lineno; ep = &(*ep)->right; c = 1; } else{ if(s == Z) s = n; else s = new1(OLIST, s, n); c = 0; } } nn = addcase(nn, &e, &s, KLAST); free(a); return nn; } static Sym * tmpgen(Type *t) { Sym *s; sprint(buf, "tmp_%d", ++tmp); s = slookup(buf); s->type = t; s->class = CAUTO; if(t->etype == TENUM) s->type = types[TINT]; return s; } static Node* cfind(Node *n) { Node *nn; if(n == Z) return Z; if(n->op == OCOND) return n; nn = cfind(n->left); if(nn != Z) return nn; return cfind(n->right); } Node* ncopy(Node *n) { Node *nn; if(n == Z) return Z; nn = new1(n->op, Z, Z); *nn = *n; nn->left = ncopy(n->left); nn->right = ncopy(n->right); return nn; } static int complexity(Node *n, int *cond) { int c; if(n == Z) return 0; c = complexity(n->left, cond)+1+complexity(n->right, cond); if(n->op == OCOND) (*cond)++; return c; } static int simple(Node *n) { int c; c = 0; return complexity(n, &c) < COMPLEX && c <= 1; } static Type* intype(Node *n) { Type *t; t = ntype(n); if(t == T) return T; return t->link; } static Type* ntype(Node *n) { Type *t; if(n == Z) return T; t = n->type; if(t != T){ if(t->etype == TENUM) return n->sym->tenum; return t; } switch(n->op){ case OEQ: case ONE: case OLT: case OGE: case OGT: case OLE: case ONOT: case OANDAND: case OOROR: case OIOTA: return types[TINT]; case OCOMMA: return ntype(n->right); case OCOND: return maxtype(ntype(n->right->left), ntype(n->right->right)); case OFUNC: return intype(n->left); case ODOT: tcomd(n, ntype(n->left)); t = n->type; n->type = T; return t; case ODOTIND: tcomd(n, intype(n->left)); t = n->type; n->type = T; return t; case OARRIND: return intype(n->left); case OADDR: return typ1(TIND, ntype(n->left)); case OIND: return intype(n->left); case OSTRUCT: return T; } return maxtype(ntype(n->left), ntype(n->right)); } static Type* gettype(Node *n1, Node *n2) { Type *t; t = maxtype(n1->type, n2->type); if(t != T) return t; return maxtype(ntype(n1), ntype(n2)); } static void cgen0(Node *n, Node *e) { Node *c, *nn, *ed, *ee; if(n == e){ n->op = OIF; return; } c = n->left; ed = new1(OXXX, Z, Z); *ed = *e; ee = ncopy(e); nn = cfind(ee); *n = *n->right->left; *nn = *nn->right->right; e->op = OIF; e->left = c; e->right = new1(OLIST, ed, ee); } static Node* cgen(Node *n, Node *e) { Type *t; Node *tn, *i; USED(e); tn = new1(ONAME, Z, Z); t = gettype(n->right->left, n->right->right); tn->sym = tmpgen(t); tn->type = tn->sym->type; /* if(n == e){ n->op = OIF; n->right->left = new1(OASD, tn, n->right->left); n->right->right = new1(OAS, tn, n->right->right); return n; } */ i = new1(OIF, n->left, new1(OLIST, new1(OASD, tn, n->right->left), new1(OAS, tn, n->right->right))); *n = *tn; return i; } static struct{ char *name; int args; int fd; char *lname; } sysops[] = { "create", 1, RET, nil, "dirstat", 1, 0, "stat", "dirfstat", 0, 1, "fstat", "dirwstat", 1, 0, "wstat", "dirfwstat", 0, 1, "fwstat", "dirread", 0, 1, nil, "dup", 0, 0, nil, "fprint", 2|STAR, 1, nil, "fprintf", 2|STAR, 1, "fprint", "open", 1, RET, nil, "print", 1|STAR, 0, nil, "printf", 1|STAR, 0, "print", "read", 0, 1, nil, "remove", 1, 0, nil, "seek", 0, 1, nil, "sleep", 0, 0, nil, "sprint", 1|STAR, 0, nil, "sprintf", 1|STAR, 0, "sprint", "write", 0, 1, nil, 0 }; /* dummy entry for module */ #define BIOTMP "__bio__" static struct{ char *name; char *lname; } bioops[] = { "Bflush", "flush", "Bgetc", "getc", "Bprint", "puts", "Bputc", "putc", "Bread", "read", "Bseek", "seek", "Bungetc", "ungetc", "Bwrite", "write", BIOTMP, nil, 0 }; char *libcops[] = { "isalnum", "isalpha", "isascii", "iscntrl", "isdigit", "isgraph", "islower", "isprint", "ispunct", "isspace", "isupper", "isxdigit", "strchr", "strrchr", "toascii", "tolower", "toupper", "abs", "min", "max", 0, }; static struct{ char *name; int type; int string; } xops[] = { "strlen", LSTRLEN, 1, "strcmp", LSTRCMP, 1, "strcpy", LSTRCPY, 1, "strcat", LSTRCAT, 1, "strncmp", LSTRNCMP, 1, "strncpy", LSTRNCPY, 1, "strncat", LSTRNCAT, 1, "strdup", LSTRDUP, 1, "memcpy", LMEMMOVE, 0, "memmove", LMEMMOVE, 0, "malloc", LMALLOC, 0, "free", LFREE, 0, "exit", LEXIT, 0, "exits", LEXIT, 0, "close", LCLOSE, 0, "atoi", LATOI, 0, "atol", LATOI, 0, "atoll", LATOL, 0, "atof", LATOF, 0, "atod", LATOF, 0, "print", LPRINT, 0, "printf", LPRINT, 0, "fprint", LFPRINT, 0, "fprintf", LFPRINT, 0, "sprint", LSPRINT, 0, "sprintf", LSPRINT, 0, 0 }; char *mathsops[] = { "sin", "cos", "tan", "sinh", "cosh", "tanh", "asin", "acos", "atan", "asinh", "acosh", "atanh", "atan2", "sqrt", "cbrt", "pow", "pow10", "exp", "log", "log10", 0 }; Node *glob, *globe; void sysinit(void) { int i; Sym *s; glob = globe = new1(ONOOP, Z, Z); for(i = 0; sysops[i].name; i++){ s = slookup(sysops[i].name); s->class = CEXTERN; s->args = sysops[i].args; s->fd = sysops[i].fd; s->mod = "sys"; s->lname = sysops[i].lname; s->limbo = 1; sysop = s; } for(i = 0; bioops[i].name; i++){ s = slookup(bioops[i].name); s->class = CEXTERN; if(strcmp(bioops[i].name, BIOTMP) == 0){ s->mod = "bufio"; bioop = s; } s->lname = bioops[i].lname; s->kind = LSELF; s->limbo = 1; } for(i = 0; mathsops[i]; i++){ s = slookup(mathsops[i]); s->class = CEXTERN; s->mod = "math"; s->limbo = 1; } for(i = 0; libcops[i]; i++){ s = slookup(libcops[i]); s->class = CEXTERN; s->mod = strings ? "libc" : "libc0"; s->limbo = 1; libcop = s; } for(i = 0; xops[i].name; i++){ s = slookup(xops[i].name); s->class = CEXTERN; if(strings || !xops[i].string) s->kind = xops[i].type; else s->mod = "libc0"; if(s->kind == LEXIT) s->lname = "exit"; s->limbo = 1; } usemod(sysop, 1); if(!strings) usemod(libcop, 1); } void clbegin(void) { pushscope(glob, SGLOB); } void clend(void) { if(passes) swalk(); popscope(); } static Modl *mods; void usemod(Sym *s, int ld) { Modl *ml; for(ml = mods; ml != nil; ml = ml->nxt) if(strcmp(ml->mod, s->mod) == 0){ ml->ld |= ld; return; } ml = (Modl *)malloc(sizeof(Modl)); ml->mod = s->mod; ml->ld = ld; ml->nxt = mods; mods = ml; } static void ginc(Modl *ml) { int c; char *s; if(ml == nil) return; if(ml->nxt != nil) ginc(ml->nxt); s = ml->mod; c = toupper(s[0]); sprint(buf, "include \"%s.m\";", s); prline(buf); if(ml->ld){ sprint(buf, " %s: %c%s;", s, c, s+1); prline(buf); } } static void gload(Modl *ml) { int c; char *s; if(ml == nil) return; if(ml->nxt != nil) gload(ml->nxt); if(ml->ld){ s = ml->mod; c = toupper(s[0]); sprint(buf, " %s = load %c%s %c%s->PATH;", s, c, s+1, c, s+1); prline(buf); } } static void callmain(void) { if(inmain){ if(strings) prline(" main(len argl, argl);"); else prline(" main(len argl, libc0->ls2aab(argl));"); } } static void genstart(void) { char *s; if(!strings && inmain) usemod(libcop, 1); ginc(mods); s = hasm(); if(s){ sprint(buf, "include \"%s\";", s); prline(buf); } prline(""); prline("init(nil: ref Draw->Context, argl: list of string)"); prline("{"); gload(mods); callmain(); prline("}"); prline(""); } static int argpos0(Node *nn, Node *n, int *p) { int pp; if(n == Z) return -1; if(n->op == OLIST){ pp = argpos0(nn, n->left, p); if(pp >= 0) return pp; return argpos0(nn, n->right, p); } if(n == nn) return *p; (*p)++; return -1; } static int argpos(Node *nn, Node *n) { int p = 0; p = argpos0(nn, n, &p); if(p < 0) diag(Z, "-ve argpos"); return p; } static Node* arg0(Node *n, int a, int *i) { Node *nn; if(n == Z) return Z; if(n->op == OLIST){ nn = arg0(n->left, a, i); if(nn != Z) return nn; return arg0(n->right, a, i); } if(a == (*i)++) return n; return Z; } static Node* arg(Node *n, int a) { int i = 0; return arg0(n, a, &i); } static Node* list(Node *l, Node *r) { if(r == Z) return l; if(l == Z) return r; return new1(OLIST, l, r); } static Node* droparg(Node *n, int a, int *i) { if(n == Z) return Z; if(n->op == OLIST) return list(droparg(n->left, a, i), droparg(n->right, a, i)); if(a == (*i)++) return Z; return n; } static void sargs(Node *n) { int s, f, i, j; Node *a; if(strings || (f = n->left->sym->args) == 0) return; s = 0; for(i = 1, j = 0; i < STAR || s; i *= 2, j++){ if(f&i || s){ a = arg(n->right, j); if(a == Z) break; if(s && !isstr(a->type)) continue; if(f&STAR) s++; if(a->op == OS2AB){ *a = *a->left; continue; } addnode(OAB2S, a); } } } static void fdargs(Node *n) { int f, i, j; Node *a; if((f = n->left->sym->fd) == 0) return; marktype(pfdtype, TCFD); if(f&RET) tcon(n, pfdtype); for(i = 1, j = 0; i < RET; i *= 2, j++){ if(f&i){ a = arg(n->right, j); if(a == Z) break; tcon(a, pfdtype); } } } static void aargs(Node *n) { int i; Node *a, *nn, *fn; Type *t, *t0, *ft, *at, *st; if(!doaddr) return; if(n->op != OFUNC || n->left->op != ONAME) return; /* ft = n->left->type; */ ft = n->left->sym->type; t = t0 = ft->link; nn = Z; for(i = 0; ; i++){ a = arg(n->right, i); if(a == Z) break; at = typn(ft, i); if(at != T && at->etype != TDOT && (a->op == OADDR || iteq(a->type, at) || iteq(at, a->type))){ if(iteq(at, a->type)) st = at->link; else st = a->type->link; if(doalladdr || isscalar(st)){ if(a->op == OADDR) *a = *a->left; else if(iteq(a->type, at)) a->type = at; if(t->mark == 0){ t = tuple(t, a->type); trep(at, at->link); fn = finddec(n->left->sym, 1); if(fn != Z && fn->op == OFUNC) tind(arg(fn->right, i)); } if(nn == Z) nn = cknil(ncopy(a)); else{ nn = new1(OTUPLE, nn, cknil(ncopy(a))); nn->type = t; } } } } if(nn != Z){ if(isvoid(t0) || t->mark == TCPC) marktype(t, TCPC); else marktype(t, TCFC); tcon(n, t); addnode(ORETV, n); n->right = nn; } } static void args(Node *n) { if(n->op != OFUNC || n->left->op != ONAME) return; sargs(n); if(passes){ fdargs(n); aargs(n); } } static Node* indir(Node *n) { if(n->op == OADDR) return n->left; return new1(OIND, n, Z); } static void rewlc(Node *n, int k, Type *t) { int i; Type *tt; Node *a0, *a1, *a2, *nn; if(t == T) t = n->type; a0 = arg(n->right, 0); a1 = arg(n->right, 1); switch(k){ case LSTRLEN: n->op = OLEN; break; case LSTRCMP: n->op = ONE; n->left = a0; n->right = a1; break; case LSTRCPY: n->op = OAS; n->left = a0; n->right = a1; n->type = n->left->type; break; case LSTRCAT: n->op = OASADD; n->left = a0; n->right = a1; n->type = n->left->type; break; case LSTRDUP: *n = *a0; break; case LMEMMOVE: if(!teq(a0->type, a1->type)) break; if(a0->type->etype == TIND){ tt = a0->type->link; a2 = arg(n->right, 2); if(isadt(tt) && isconst(a2, tt->width)){ n->op = OAS; n->left = indir(a0); n->right = indir(a1); n->type = n->left->type = n->right->type = tt; break; } if(mydiv(a2, tt->width) != Z){ n->op = OAS; n->left = new1(OSLICE, a0, new1(OLIST, con(0), Z)); n->right = new1(OSLICE, a1, new1(OLIST, con(0), a2)); n->type = n->left->type = n->right->type = a0->type; } } break; case LMALLOC: if(t->etype == TIND){ tt = t->link; if(isadt(tt) && isconst(a0, tt->width)){ n->op = OREF; n->left = Z; n->right = Z; n->type = t; break; } if(mydiv(a0, tt->width) != Z){ n->op = OARRAYOF; n->left = a0; n->right = Z; n->type = t; if(isadt(tt)){ n->type = typ1(TARRAY, tt); n->type->width = LARR; /* limbo array without bounds */ marktype(n->type, TCAR); } } } break; case LFREE: n->op = OAS; n->left = a0; n->right = con(0); n->type = n->left->type; n->right->type = n->type; break; case LEXIT: i = n->kind; *n = *n->left; n->kind = i; break; case LCLOSE: n->op = OAS; n->left = a0; n->right = con(0); n->left->type = typ1(TIND, n->left->type); n->type = n->left->type; n->right->type = n->type; break; case LATOI: if(!strings) strcast(a0); n->op = OCAST; n->left = a0; n->right = Z; n->type = types[TINT]; break; case LATOL: if(!strings) strcast(a0); n->op = OCAST; n->left = a0; n->right = Z; n->type = types[TVLONG]; break; case LATOF: if(!strings) strcast(a0); n->op = OCAST; n->left = a0; n->right = Z; n->type = types[TDOUBLE]; break; case LPRINT: if(a0->op == OSTRING) pfmt(a0->cstring); else if(a0->op == OLSTRING) lpfmt(a0->rstring); break; case LFPRINT: if(a1->op == OSTRING) pfmt(a1->cstring); else if(a1->op == OLSTRING) lpfmt(a1->rstring); break; case LSPRINT: if(n->right->kind != KDROP){ if(a1->op == OSTRING) pfmt(a1->cstring); else if(a1->op == OLSTRING) lpfmt(a1->rstring); nn = new1(OXXX, Z, Z); *nn = *n; i = 0; nn->right = droparg(nn->right, 0, &i); nn->right->kind = KDROP; n->op = OAS; n->left = a0; n->right = nn; n->type = nn->type; } break; case LSELF: if(n->right != Z && n->right->kind != KDROP){ i = 0; n->right = droparg(n->right, 0, &i); if(n->right != Z) n->right->kind = KDROP; addnode(OLDOT, n->left); n->left->right = n->left->left; n->left->left = a0; usemod(bioop, 1); } break; } } void expgen(Node *n) { egen(n, ONOOP, PRE); } static void clrbrk(Node *n) { if(n == Z) return; switch(n->op){ case OLIST: clrbrk(n->right); break; case OBREAK: n->op = OSBREAK; n->left = n->right = Z; break; } } static int hasbrk(Node *n) { if(n == Z) return 0; switch(n->op){ case OLIST: case OWHILE: case ODWHILE: case OFOR: return hasbrk(n->right); case OIF: if(n->right->right == Z) return 0; return hasbrk(n->right->left) && hasbrk(n->right->right); case ORETURN: case OGOTO: case OCONTINUE: case OBREAK: case OSBREAK: return 1; default: return 0; } } static int isgen(char *s) { char *s1, *s2; s1 = strchr(s, '_'); s2 = strrchr(s, '_'); if(s1 == nil || s2-s1 != 4) return 0; return s1[1] == 'a' && s1[2] == 'd' && s1[3] == 't'; } static void addmodn(Sym *s) { char buf[128], *ns; if(s->name[0] == '_'){ outmod(buf, -1); ns = malloc(strlen(buf)+strlen(s->name)+1); strcpy(ns, buf); strcat(ns, s->name); s->name = ns; } } static void pfmt(char *s) { char *t = s; while(*s != '\0'){ if(*s == '%'){ *t++ = *s++; if(*s == 'l'){ s++; if(*s == 'l') *t++ = 'b'; else *t++ = *s; s++; } else if(*s == 'p'){ *t++ = 'x'; s++; } else *t++ = *s++; } else *t++ = *s++; } *t = '\0'; } static void lpfmt(Rune *s) { Rune*t = s; while(*s != '\0'){ if(*s == '%'){ *t++ = *s++; if(*s == 'l'){ s++; if(*s == 'l') *t++ = 'b'; else *t++ = *s; s++; } else if(*s == 'p'){ *t++ = 'x'; s++; } else *t++ = *s++; } else *t++ = *s++; } *t = '\0'; } int line(Node *n) { if(n == Z) return 0; if(n->op == OLIST) return line(n->left); return n->lineno; } static int lline(Node *n) { if(n == Z) return 0; if(n->op == OLIST) return lline(n->right); return n->lineno+1; } static Node* lastn(Node *n) { while(n != Z && n->op == OLIST) n = n->right; return n; } static Node* newnode(int op, Node *l) { Node *n; n = new1(op, l, Z); globe->right = n; globe = n; return n; } void codgen1(Node *n, Node *nn, int lastlno) { Node *nnn; scomplex(n); nnn = newnode(OCODE, new1(OLIST, n, nn)); nnn->lineno = lastlno; mset(n); mset(nn); nn = func(nn); newnode(ODECF, nn); setmain(nn); } void vtgen1(Node *n) { int c; Node *nn = n; if(n->op == ODAS) nn = n->left; if(nn->type == T || nn->sym == S) return; c = nn->sym->class; if(c == CGLOBL || c == CSTATIC || c == CLOCAL || c == CEXREG){ newnode(ODECV, n); if(nn->type->etype != TFUNC || ism()) setmod(nn->sym); } mset(n); } void etgen1(Sym *s) { Node *n; n = newnode(ODECE, Z); n->sym = s; if(s != S) setmod(s); } void ttgen1(Type *t) { Node *n; n = newnode(ODECT, Z); n->type = t; if(isadt(t)) setmod(suename(t)); } void outpush1(char *s) { Node *n; char *t; n = newnode(OPUSH, Z); if(s == nil) t = nil; else{ t = malloc(strlen(s)+1); strcpy(t, s); } n->cstring = t; outpush0(s, n); } void outpop1(int lno) { Node *n; n = newnode(OPOP, Z); n->lineno = lno; outpop0(lno); } void codgen(Node *n, Node *nn, int lastlno) { if(passes) codgen1(n, nn, lastlno); else codgen2(n, nn, lastlno, 1); } void vtgen(Node *n) { if(passes) vtgen1(n); else vtgen2(n); } void etgen(Sym *s) { if(passes) etgen1(s); else etgen2(s); } void ttgen(Type *t) { if(passes) ttgen1(t); else ttgen2(t); } void outpush(char *s) { if(passes) outpush1(s); else outpush2(s, Z); } void outpop(int lno) { if(passes) outpop1(lno); else outpop2(lno); } static void swalk(void) { Node *n, *l; for(n = glob; n != Z; n = n->right){ l = n->left; switch(n->op){ case OCODE: rewall(l->left, l->right, n->lineno); break; default: break; } } while(again){ again = 0; for(n = glob; n != Z; n = n->right){ l = n->left; switch(n->op){ case OCODE: suball(l->left, l->right); break; case ODECV: subs(l, 0, 0); break; case ODECE: case ODECT: case ODECF: break; default: break; } } } for(n = glob; n != Z; n = n->right){ l = n->left; switch(n->op){ case ONOOP: break; case OPUSH: outpush2(n->cstring, n); break; case OPOP: outpop2(n->lineno); break; case OCODE: codgen2(l->left, l->right, n->lineno, 0); break; case ODECV: vtgen2(l); break; case ODECE: etgen2(n->sym); break; case ODECT: ttgen2(n->type); break; case ODECF: break; } } } static void scomplex(Node *n) { if(n == Z) return; switch(n->op){ default: complex(n); break; case ODAS: case OSBREAK: case ONUL: case OLABEL: case OGOTO: case OCONTINUE: case OBREAK: break; case ONAME: if(n->kind == KEXP) complex(n); break; case OBLK: case OSET: case OUSED: scomplex(n->left); break; case OLIST: scomplex(n->left); scomplex(n->right); break; case ORETURN: complex(n); break; case OCASE: complex(n->left); break; case OSWITCH: case OWHILE: case ODWHILE: complex(n->left); scomplex(n->right); break; case OFOR: complex(n->left->left); complex(n->left->right->left); complex(n->left->right->right); scomplex(n->right); break; case OIF: complex(n->left); scomplex(n->right->left); scomplex(n->right->right); break; } } static void mtset(Type *t) { if(t == T) return; switch(t->etype){ case TIND: case TARRAY: mtset(t->link); break; case TSTRUCT: case TUNION: prsym0(suename(t)); /* for(l = t->link; l != T; l = l->down) mtset(l); */ break; } } static void mset(Node *n) { if(n == Z) return; n->garb = 0; if(n->op == ONAME) prsym0(n->sym); mtset(n->type); mset(n->left); mset(n->right); } static int sign(Node *n) { int s; if(n == Z) return 1; switch(n->op){ case OCONST: sign(n->left); if(n->vconst < 0){ n->vconst = -n->vconst; return -1; } break; case OPOS: s = sign(n->left); *n = *n->left; return s; case ONEG: s = sign(n->left); *n = *n->left; return -s; case OADD: if(sign(n->right) < 0) n->op = OSUB; break; case OSUB: if(sign(n->right) < 0) n->op = OADD; break; case OMUL: case ODIV: return sign(n->left)*sign(n->right); default: break; } return 1; } static Node* ckneg(Node *n) { if(sign(n) < 0) return new1(ONEG, n, Z); return n; } static void sliceasgn(Node *n) { Type *t; Node *nn; if(side(n->left) || (n->right != Z && side(n->right))) return; t = n->type; if(isarray(t) && (!strings || t->link->etype != TCHAR)){ if(n->op == OASADD) nn = n->right; else nn = con(1); n->op = OAS; n->right = new1(OSLICE, ncopy(n->left), new1(OLIST, nn, Z)); } }