17dd7cddfSDavid du Colombier #include "gc.h" 27dd7cddfSDavid du Colombier 37dd7cddfSDavid du Colombier void 4*4ac975e2SDavid du Colombier swit1(C1 *q, int nc, long def, Node *n) 57dd7cddfSDavid du Colombier { 67dd7cddfSDavid du Colombier Node tn; 77dd7cddfSDavid du Colombier 87dd7cddfSDavid du Colombier regalloc(&tn, ®node, Z); 9*4ac975e2SDavid du Colombier swit2(q, nc, def, n, &tn); 107dd7cddfSDavid du Colombier regfree(&tn); 117dd7cddfSDavid du Colombier } 127dd7cddfSDavid du Colombier 137dd7cddfSDavid du Colombier void 14*4ac975e2SDavid du Colombier swit2(C1 *q, int nc, long def, Node *n, Node *tn) 157dd7cddfSDavid du Colombier { 167dd7cddfSDavid du Colombier C1 *r; 177dd7cddfSDavid du Colombier int i; 1859cc4ca5SDavid du Colombier long v; 197dd7cddfSDavid du Colombier Prog *sp; 207dd7cddfSDavid du Colombier 2159cc4ca5SDavid du Colombier if(nc >= 3) { 2259cc4ca5SDavid du Colombier i = (q+nc-1)->val - (q+0)->val; 2359cc4ca5SDavid du Colombier if(i > 0 && i < nc*2) 2459cc4ca5SDavid du Colombier goto direct; 2559cc4ca5SDavid du Colombier } 267dd7cddfSDavid du Colombier if(nc < 5) { 277dd7cddfSDavid du Colombier for(i=0; i<nc; i++) { 287dd7cddfSDavid du Colombier if(debug['W']) 297dd7cddfSDavid du Colombier print("case = %.8lux\n", q->val); 307dd7cddfSDavid du Colombier gopcode(OEQ, nodconst(q->val), n, Z); 317dd7cddfSDavid du Colombier patch(p, q->label); 327dd7cddfSDavid du Colombier q++; 337dd7cddfSDavid du Colombier } 347dd7cddfSDavid du Colombier gbranch(OGOTO); 357dd7cddfSDavid du Colombier patch(p, def); 367dd7cddfSDavid du Colombier return; 377dd7cddfSDavid du Colombier } 387dd7cddfSDavid du Colombier 397dd7cddfSDavid du Colombier i = nc / 2; 407dd7cddfSDavid du Colombier r = q+i; 417dd7cddfSDavid du Colombier if(debug['W']) 427dd7cddfSDavid du Colombier print("case > %.8lux\n", r->val); 437dd7cddfSDavid du Colombier gopcode(OGT, nodconst(r->val), n, Z); 447dd7cddfSDavid du Colombier sp = p; 457dd7cddfSDavid du Colombier gopcode(OEQ, nodconst(r->val), n, Z); /* just gen the B.EQ */ 467dd7cddfSDavid du Colombier patch(p, r->label); 47*4ac975e2SDavid du Colombier swit2(q, i, def, n, tn); 487dd7cddfSDavid du Colombier 497dd7cddfSDavid du Colombier if(debug['W']) 507dd7cddfSDavid du Colombier print("case < %.8lux\n", r->val); 517dd7cddfSDavid du Colombier patch(sp, pc); 52*4ac975e2SDavid du Colombier swit2(r+1, nc-i-1, def, n, tn); 5359cc4ca5SDavid du Colombier return; 5459cc4ca5SDavid du Colombier 5559cc4ca5SDavid du Colombier direct: 5659cc4ca5SDavid du Colombier v = q->val; 5759cc4ca5SDavid du Colombier if(v != 0) 5859cc4ca5SDavid du Colombier gopcode(OSUB, nodconst(v), Z, n); 5959cc4ca5SDavid du Colombier gopcode(OCASE, nodconst((q+nc-1)->val - v), n, Z); 6059cc4ca5SDavid du Colombier patch(p, def); 6159cc4ca5SDavid du Colombier for(i=0; i<nc; i++) { 6259cc4ca5SDavid du Colombier if(debug['W']) 6359cc4ca5SDavid du Colombier print("case = %.8lux\n", q->val); 6459cc4ca5SDavid du Colombier while(q->val != v) { 6559cc4ca5SDavid du Colombier nextpc(); 6659cc4ca5SDavid du Colombier p->as = ABCASE; 6759cc4ca5SDavid du Colombier patch(p, def); 6859cc4ca5SDavid du Colombier v++; 6959cc4ca5SDavid du Colombier } 7059cc4ca5SDavid du Colombier nextpc(); 7159cc4ca5SDavid du Colombier p->as = ABCASE; 7259cc4ca5SDavid du Colombier patch(p, q->label); 7359cc4ca5SDavid du Colombier q++; 7459cc4ca5SDavid du Colombier v++; 7559cc4ca5SDavid du Colombier } 7659cc4ca5SDavid du Colombier gbranch(OGOTO); /* so that regopt() won't be confused */ 7759cc4ca5SDavid du Colombier patch(p, def); 787dd7cddfSDavid du Colombier } 797dd7cddfSDavid du Colombier 807dd7cddfSDavid du Colombier void 817dd7cddfSDavid du Colombier bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) 827dd7cddfSDavid du Colombier { 837dd7cddfSDavid du Colombier int sh; 847dd7cddfSDavid du Colombier long v; 857dd7cddfSDavid du Colombier Node *l; 867dd7cddfSDavid du Colombier 877dd7cddfSDavid du Colombier /* 887dd7cddfSDavid du Colombier * n1 gets adjusted/masked value 897dd7cddfSDavid du Colombier * n2 gets address of cell 907dd7cddfSDavid du Colombier * n3 gets contents of cell 917dd7cddfSDavid du Colombier */ 927dd7cddfSDavid du Colombier l = b->left; 937dd7cddfSDavid du Colombier if(n2 != Z) { 947dd7cddfSDavid du Colombier regalloc(n1, l, nn); 957dd7cddfSDavid du Colombier reglcgen(n2, l, Z); 967dd7cddfSDavid du Colombier regalloc(n3, l, Z); 977dd7cddfSDavid du Colombier gopcode(OAS, n2, Z, n3); 987dd7cddfSDavid du Colombier gopcode(OAS, n3, Z, n1); 997dd7cddfSDavid du Colombier } else { 1007dd7cddfSDavid du Colombier regalloc(n1, l, nn); 101*4ac975e2SDavid du Colombier cgen(l, n1); 1027dd7cddfSDavid du Colombier } 1037dd7cddfSDavid du Colombier if(b->type->shift == 0 && typeu[b->type->etype]) { 1047dd7cddfSDavid du Colombier v = ~0 + (1L << b->type->nbits); 1057dd7cddfSDavid du Colombier gopcode(OAND, nodconst(v), Z, n1); 1067dd7cddfSDavid du Colombier } else { 1077dd7cddfSDavid du Colombier sh = 32 - b->type->shift - b->type->nbits; 1087dd7cddfSDavid du Colombier if(sh > 0) 1097dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(sh), Z, n1); 1107dd7cddfSDavid du Colombier sh += b->type->shift; 1117dd7cddfSDavid du Colombier if(sh > 0) 1127dd7cddfSDavid du Colombier if(typeu[b->type->etype]) 1137dd7cddfSDavid du Colombier gopcode(OLSHR, nodconst(sh), Z, n1); 1147dd7cddfSDavid du Colombier else 1157dd7cddfSDavid du Colombier gopcode(OASHR, nodconst(sh), Z, n1); 1167dd7cddfSDavid du Colombier } 1177dd7cddfSDavid du Colombier } 1187dd7cddfSDavid du Colombier 1197dd7cddfSDavid du Colombier void 1207dd7cddfSDavid du Colombier bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) 1217dd7cddfSDavid du Colombier { 1227dd7cddfSDavid du Colombier long v; 1237dd7cddfSDavid du Colombier Node nod, *l; 1247dd7cddfSDavid du Colombier int sh; 1257dd7cddfSDavid du Colombier 1267dd7cddfSDavid du Colombier /* 1277dd7cddfSDavid du Colombier * n1 has adjusted/masked value 1287dd7cddfSDavid du Colombier * n2 has address of cell 1297dd7cddfSDavid du Colombier * n3 has contents of cell 1307dd7cddfSDavid du Colombier */ 1317dd7cddfSDavid du Colombier l = b->left; 1327dd7cddfSDavid du Colombier regalloc(&nod, l, Z); 1337dd7cddfSDavid du Colombier v = ~0 + (1L << b->type->nbits); 1347dd7cddfSDavid du Colombier gopcode(OAND, nodconst(v), Z, n1); 1357dd7cddfSDavid du Colombier gopcode(OAS, n1, Z, &nod); 1367dd7cddfSDavid du Colombier if(nn != Z) 1377dd7cddfSDavid du Colombier gopcode(OAS, n1, Z, nn); 1387dd7cddfSDavid du Colombier sh = b->type->shift; 1397dd7cddfSDavid du Colombier if(sh > 0) 1407dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(sh), Z, &nod); 1417dd7cddfSDavid du Colombier v <<= sh; 1427dd7cddfSDavid du Colombier gopcode(OAND, nodconst(~v), Z, n3); 1437dd7cddfSDavid du Colombier gopcode(OOR, n3, Z, &nod); 1447dd7cddfSDavid du Colombier gopcode(OAS, &nod, Z, n2); 1457dd7cddfSDavid du Colombier 1467dd7cddfSDavid du Colombier regfree(&nod); 1477dd7cddfSDavid du Colombier regfree(n1); 1487dd7cddfSDavid du Colombier regfree(n2); 1497dd7cddfSDavid du Colombier regfree(n3); 1507dd7cddfSDavid du Colombier } 1517dd7cddfSDavid du Colombier 1527dd7cddfSDavid du Colombier long 1537dd7cddfSDavid du Colombier outstring(char *s, long n) 1547dd7cddfSDavid du Colombier { 1557dd7cddfSDavid du Colombier long r; 1567dd7cddfSDavid du Colombier 1579a747e4fSDavid du Colombier if(suppress) 1589a747e4fSDavid du Colombier return nstring; 1597dd7cddfSDavid du Colombier r = nstring; 1607dd7cddfSDavid du Colombier while(n) { 1617dd7cddfSDavid du Colombier string[mnstring] = *s++; 1627dd7cddfSDavid du Colombier mnstring++; 1637dd7cddfSDavid du Colombier nstring++; 1647dd7cddfSDavid du Colombier if(mnstring >= NSNAME) { 1657dd7cddfSDavid du Colombier gpseudo(ADATA, symstring, nodconst(0L)); 1667dd7cddfSDavid du Colombier p->from.offset += nstring - NSNAME; 1677dd7cddfSDavid du Colombier p->reg = NSNAME; 1687dd7cddfSDavid du Colombier p->to.type = D_SCONST; 1697dd7cddfSDavid du Colombier memmove(p->to.sval, string, NSNAME); 1707dd7cddfSDavid du Colombier mnstring = 0; 1717dd7cddfSDavid du Colombier } 1727dd7cddfSDavid du Colombier n--; 1737dd7cddfSDavid du Colombier } 1747dd7cddfSDavid du Colombier return r; 1757dd7cddfSDavid du Colombier } 1767dd7cddfSDavid du Colombier 1777dd7cddfSDavid du Colombier long 1787dd7cddfSDavid du Colombier outlstring(ushort *s, long n) 1797dd7cddfSDavid du Colombier { 1807dd7cddfSDavid du Colombier char buf[2]; 1817dd7cddfSDavid du Colombier int c; 1827dd7cddfSDavid du Colombier long r; 1837dd7cddfSDavid du Colombier 1849a747e4fSDavid du Colombier if(suppress) 1859a747e4fSDavid du Colombier return nstring; 1867dd7cddfSDavid du Colombier while(nstring & 1) 1877dd7cddfSDavid du Colombier outstring("", 1); 1887dd7cddfSDavid du Colombier r = nstring; 1897dd7cddfSDavid du Colombier while(n > 0) { 1907dd7cddfSDavid du Colombier c = *s++; 1917dd7cddfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) { 1927dd7cddfSDavid du Colombier buf[0] = c>>8; 1937dd7cddfSDavid du Colombier buf[1] = c; 1947dd7cddfSDavid du Colombier } else { 1957dd7cddfSDavid du Colombier buf[0] = c; 1967dd7cddfSDavid du Colombier buf[1] = c>>8; 1977dd7cddfSDavid du Colombier } 1987dd7cddfSDavid du Colombier outstring(buf, 2); 1997dd7cddfSDavid du Colombier n -= sizeof(ushort); 2007dd7cddfSDavid du Colombier } 2017dd7cddfSDavid du Colombier return r; 2027dd7cddfSDavid du Colombier } 2037dd7cddfSDavid du Colombier 2047dd7cddfSDavid du Colombier int 2057dd7cddfSDavid du Colombier mulcon(Node *n, Node *nn) 2067dd7cddfSDavid du Colombier { 2077dd7cddfSDavid du Colombier Node *l, *r, nod1, nod2; 2087dd7cddfSDavid du Colombier Multab *m; 2097dd7cddfSDavid du Colombier long v, vs; 2107dd7cddfSDavid du Colombier int o; 2117dd7cddfSDavid du Colombier char code[sizeof(m->code)+2], *p; 2127dd7cddfSDavid du Colombier 2137dd7cddfSDavid du Colombier if(typefd[n->type->etype]) 2147dd7cddfSDavid du Colombier return 0; 2157dd7cddfSDavid du Colombier l = n->left; 2167dd7cddfSDavid du Colombier r = n->right; 2177dd7cddfSDavid du Colombier if(l->op == OCONST) { 2187dd7cddfSDavid du Colombier l = r; 2197dd7cddfSDavid du Colombier r = n->left; 2207dd7cddfSDavid du Colombier } 2217dd7cddfSDavid du Colombier if(r->op != OCONST) 2227dd7cddfSDavid du Colombier return 0; 2237dd7cddfSDavid du Colombier v = convvtox(r->vconst, n->type->etype); 2247dd7cddfSDavid du Colombier if(v != r->vconst) { 2257dd7cddfSDavid du Colombier if(debug['M']) 2267dd7cddfSDavid du Colombier print("%L multiply conv: %lld\n", n->lineno, r->vconst); 2277dd7cddfSDavid du Colombier return 0; 2287dd7cddfSDavid du Colombier } 2297dd7cddfSDavid du Colombier m = mulcon0(v); 2307dd7cddfSDavid du Colombier if(!m) { 2317dd7cddfSDavid du Colombier if(debug['M']) 2327dd7cddfSDavid du Colombier print("%L multiply table: %lld\n", n->lineno, r->vconst); 2337dd7cddfSDavid du Colombier return 0; 2347dd7cddfSDavid du Colombier } 2357dd7cddfSDavid du Colombier if(debug['M'] && debug['v']) 2367dd7cddfSDavid du Colombier print("%L multiply: %ld\n", n->lineno, v); 2377dd7cddfSDavid du Colombier 2387dd7cddfSDavid du Colombier memmove(code, m->code, sizeof(m->code)); 2397dd7cddfSDavid du Colombier code[sizeof(m->code)] = 0; 2407dd7cddfSDavid du Colombier 2417dd7cddfSDavid du Colombier p = code; 2427dd7cddfSDavid du Colombier if(p[1] == 'i') 2437dd7cddfSDavid du Colombier p += 2; 2447dd7cddfSDavid du Colombier regalloc(&nod1, n, nn); 245*4ac975e2SDavid du Colombier cgen(l, &nod1); 2467dd7cddfSDavid du Colombier vs = v; 2477dd7cddfSDavid du Colombier regalloc(&nod2, n, Z); 2487dd7cddfSDavid du Colombier 2497dd7cddfSDavid du Colombier loop: 2507dd7cddfSDavid du Colombier switch(*p) { 2517dd7cddfSDavid du Colombier case 0: 2527dd7cddfSDavid du Colombier regfree(&nod2); 2537dd7cddfSDavid du Colombier if(vs < 0) { 2547dd7cddfSDavid du Colombier gopcode(OAS, &nod1, Z, &nod1); 2557dd7cddfSDavid du Colombier gopcode(OSUB, &nod1, nodconst(0), nn); 2567dd7cddfSDavid du Colombier } else 2577dd7cddfSDavid du Colombier gopcode(OAS, &nod1, Z, nn); 2587dd7cddfSDavid du Colombier regfree(&nod1); 2597dd7cddfSDavid du Colombier return 1; 2607dd7cddfSDavid du Colombier case '+': 2617dd7cddfSDavid du Colombier o = OADD; 2627dd7cddfSDavid du Colombier goto addsub; 2637dd7cddfSDavid du Colombier case '-': 2647dd7cddfSDavid du Colombier o = OSUB; 2657dd7cddfSDavid du Colombier addsub: /* number is r,n,l */ 2667dd7cddfSDavid du Colombier v = p[1] - '0'; 2677dd7cddfSDavid du Colombier r = &nod1; 2687dd7cddfSDavid du Colombier if(v&4) 2697dd7cddfSDavid du Colombier r = &nod2; 2707dd7cddfSDavid du Colombier n = &nod1; 2717dd7cddfSDavid du Colombier if(v&2) 2727dd7cddfSDavid du Colombier n = &nod2; 2737dd7cddfSDavid du Colombier l = &nod1; 2747dd7cddfSDavid du Colombier if(v&1) 2757dd7cddfSDavid du Colombier l = &nod2; 2767dd7cddfSDavid du Colombier gopcode(o, l, n, r); 2777dd7cddfSDavid du Colombier break; 2787dd7cddfSDavid du Colombier default: /* op is shiftcount, number is r,l */ 2797dd7cddfSDavid du Colombier v = p[1] - '0'; 2807dd7cddfSDavid du Colombier r = &nod1; 2817dd7cddfSDavid du Colombier if(v&2) 2827dd7cddfSDavid du Colombier r = &nod2; 2837dd7cddfSDavid du Colombier l = &nod1; 2847dd7cddfSDavid du Colombier if(v&1) 2857dd7cddfSDavid du Colombier l = &nod2; 2867dd7cddfSDavid du Colombier v = *p - 'a'; 2877dd7cddfSDavid du Colombier if(v < 0 || v >= 32) { 2887dd7cddfSDavid du Colombier diag(n, "mulcon unknown op: %c%c", p[0], p[1]); 2897dd7cddfSDavid du Colombier break; 2907dd7cddfSDavid du Colombier } 2917dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(v), l, r); 2927dd7cddfSDavid du Colombier break; 2937dd7cddfSDavid du Colombier } 2947dd7cddfSDavid du Colombier p += 2; 2957dd7cddfSDavid du Colombier goto loop; 2967dd7cddfSDavid du Colombier } 2977dd7cddfSDavid du Colombier 2987dd7cddfSDavid du Colombier void 2997dd7cddfSDavid du Colombier nullwarn(Node *l, Node *r) 3007dd7cddfSDavid du Colombier { 3017dd7cddfSDavid du Colombier warn(Z, "result of operation not used"); 3027dd7cddfSDavid du Colombier if(l != Z) 303*4ac975e2SDavid du Colombier cgen(l, Z); 3047dd7cddfSDavid du Colombier if(r != Z) 305*4ac975e2SDavid du Colombier cgen(r, Z); 3067dd7cddfSDavid du Colombier } 3077dd7cddfSDavid du Colombier 3087dd7cddfSDavid du Colombier void 3097dd7cddfSDavid du Colombier sextern(Sym *s, Node *a, long o, long w) 3107dd7cddfSDavid du Colombier { 3117dd7cddfSDavid du Colombier long e, lw; 3127dd7cddfSDavid du Colombier 3137dd7cddfSDavid du Colombier for(e=0; e<w; e+=NSNAME) { 3147dd7cddfSDavid du Colombier lw = NSNAME; 3157dd7cddfSDavid du Colombier if(w-e < lw) 3167dd7cddfSDavid du Colombier lw = w-e; 3177dd7cddfSDavid du Colombier gpseudo(ADATA, s, nodconst(0)); 3187dd7cddfSDavid du Colombier p->from.offset += o+e; 3197dd7cddfSDavid du Colombier p->reg = lw; 3207dd7cddfSDavid du Colombier p->to.type = D_SCONST; 3217dd7cddfSDavid du Colombier memmove(p->to.sval, a->cstring+e, lw); 3227dd7cddfSDavid du Colombier } 3237dd7cddfSDavid du Colombier } 3247dd7cddfSDavid du Colombier 3257dd7cddfSDavid du Colombier void 3267dd7cddfSDavid du Colombier gextern(Sym *s, Node *a, long o, long w) 3277dd7cddfSDavid du Colombier { 3287dd7cddfSDavid du Colombier 3297dd7cddfSDavid du Colombier if(a->op == OCONST && typev[a->type->etype]) { 33080ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */ 3317dd7cddfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32)); 33280ee5cbfSDavid du Colombier else 33380ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst)); 3347dd7cddfSDavid du Colombier p->from.offset += o; 3357dd7cddfSDavid du Colombier p->reg = 4; 33680ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */ 3377dd7cddfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst)); 33880ee5cbfSDavid du Colombier else 33980ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32)); 3407dd7cddfSDavid du Colombier p->from.offset += o + 4; 3417dd7cddfSDavid du Colombier p->reg = 4; 3427dd7cddfSDavid du Colombier return; 3437dd7cddfSDavid du Colombier } 3447dd7cddfSDavid du Colombier gpseudo(ADATA, s, a); 3457dd7cddfSDavid du Colombier p->from.offset += o; 3467dd7cddfSDavid du Colombier p->reg = w; 3477dd7cddfSDavid du Colombier if(p->to.type == D_OREG) 3487dd7cddfSDavid du Colombier p->to.type = D_CONST; 3497dd7cddfSDavid du Colombier } 3507dd7cddfSDavid du Colombier 351375daca8SDavid du Colombier void zname(Biobuf*, Sym*, int); 3527dd7cddfSDavid du Colombier char* zaddr(char*, Adr*, int); 3537dd7cddfSDavid du Colombier void zwrite(Biobuf*, Prog*, int, int); 3547dd7cddfSDavid du Colombier void outhist(Biobuf*); 3557dd7cddfSDavid du Colombier 3567dd7cddfSDavid du Colombier void 3577dd7cddfSDavid du Colombier zwrite(Biobuf *b, Prog *p, int sf, int st) 3587dd7cddfSDavid du Colombier { 3597dd7cddfSDavid du Colombier char bf[100], *bp; 3607dd7cddfSDavid du Colombier 3617dd7cddfSDavid du Colombier bf[0] = p->as; 3627dd7cddfSDavid du Colombier bf[1] = p->scond; 3637dd7cddfSDavid du Colombier bf[2] = p->reg; 3647dd7cddfSDavid du Colombier bf[3] = p->lineno; 3657dd7cddfSDavid du Colombier bf[4] = p->lineno>>8; 3667dd7cddfSDavid du Colombier bf[5] = p->lineno>>16; 3677dd7cddfSDavid du Colombier bf[6] = p->lineno>>24; 3687dd7cddfSDavid du Colombier bp = zaddr(bf+7, &p->from, sf); 3697dd7cddfSDavid du Colombier bp = zaddr(bp, &p->to, st); 3707dd7cddfSDavid du Colombier Bwrite(b, bf, bp-bf); 3717dd7cddfSDavid du Colombier } 3727dd7cddfSDavid du Colombier 3737dd7cddfSDavid du Colombier void 3747dd7cddfSDavid du Colombier outcode(void) 3757dd7cddfSDavid du Colombier { 3767dd7cddfSDavid du Colombier struct { Sym *sym; short type; } h[NSYM]; 3777dd7cddfSDavid du Colombier Prog *p; 3787dd7cddfSDavid du Colombier Sym *s; 3797dd7cddfSDavid du Colombier int sf, st, t, sym; 3807dd7cddfSDavid du Colombier 3817dd7cddfSDavid du Colombier if(debug['S']) { 3827dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link) 3837dd7cddfSDavid du Colombier if(p->as != ADATA && p->as != AGLOBL) 3847dd7cddfSDavid du Colombier pc--; 3857dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link) { 3867dd7cddfSDavid du Colombier print("%P\n", p); 3877dd7cddfSDavid du Colombier if(p->as != ADATA && p->as != AGLOBL) 3887dd7cddfSDavid du Colombier pc++; 3897dd7cddfSDavid du Colombier } 3907dd7cddfSDavid du Colombier } 3917dd7cddfSDavid du Colombier outhist(&outbuf); 3927dd7cddfSDavid du Colombier for(sym=0; sym<NSYM; sym++) { 3937dd7cddfSDavid du Colombier h[sym].sym = S; 3947dd7cddfSDavid du Colombier h[sym].type = 0; 3957dd7cddfSDavid du Colombier } 3967dd7cddfSDavid du Colombier sym = 1; 3977dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link) { 3987dd7cddfSDavid du Colombier jackpot: 3997dd7cddfSDavid du Colombier sf = 0; 4007dd7cddfSDavid du Colombier s = p->from.sym; 4017dd7cddfSDavid du Colombier while(s != S) { 4027dd7cddfSDavid du Colombier sf = s->sym; 4037dd7cddfSDavid du Colombier if(sf < 0 || sf >= NSYM) 4047dd7cddfSDavid du Colombier sf = 0; 4057dd7cddfSDavid du Colombier t = p->from.name; 4067dd7cddfSDavid du Colombier if(h[sf].type == t) 4077dd7cddfSDavid du Colombier if(h[sf].sym == s) 4087dd7cddfSDavid du Colombier break; 4097dd7cddfSDavid du Colombier s->sym = sym; 410375daca8SDavid du Colombier zname(&outbuf, s, t); 4117dd7cddfSDavid du Colombier h[sym].sym = s; 4127dd7cddfSDavid du Colombier h[sym].type = t; 4137dd7cddfSDavid du Colombier sf = sym; 4147dd7cddfSDavid du Colombier sym++; 4157dd7cddfSDavid du Colombier if(sym >= NSYM) 4167dd7cddfSDavid du Colombier sym = 1; 4177dd7cddfSDavid du Colombier break; 4187dd7cddfSDavid du Colombier } 4197dd7cddfSDavid du Colombier st = 0; 4207dd7cddfSDavid du Colombier s = p->to.sym; 4217dd7cddfSDavid du Colombier while(s != S) { 4227dd7cddfSDavid du Colombier st = s->sym; 4237dd7cddfSDavid du Colombier if(st < 0 || st >= NSYM) 4247dd7cddfSDavid du Colombier st = 0; 4257dd7cddfSDavid du Colombier t = p->to.name; 4267dd7cddfSDavid du Colombier if(h[st].type == t) 4277dd7cddfSDavid du Colombier if(h[st].sym == s) 4287dd7cddfSDavid du Colombier break; 4297dd7cddfSDavid du Colombier s->sym = sym; 430375daca8SDavid du Colombier zname(&outbuf, s, t); 4317dd7cddfSDavid du Colombier h[sym].sym = s; 4327dd7cddfSDavid du Colombier h[sym].type = t; 4337dd7cddfSDavid du Colombier st = sym; 4347dd7cddfSDavid du Colombier sym++; 4357dd7cddfSDavid du Colombier if(sym >= NSYM) 4367dd7cddfSDavid du Colombier sym = 1; 4377dd7cddfSDavid du Colombier if(st == sf) 4387dd7cddfSDavid du Colombier goto jackpot; 4397dd7cddfSDavid du Colombier break; 4407dd7cddfSDavid du Colombier } 4417dd7cddfSDavid du Colombier zwrite(&outbuf, p, sf, st); 4427dd7cddfSDavid du Colombier } 4437dd7cddfSDavid du Colombier firstp = P; 4447dd7cddfSDavid du Colombier lastp = P; 4457dd7cddfSDavid du Colombier } 4467dd7cddfSDavid du Colombier 4477dd7cddfSDavid du Colombier void 4487dd7cddfSDavid du Colombier outhist(Biobuf *b) 4497dd7cddfSDavid du Colombier { 4507dd7cddfSDavid du Colombier Hist *h; 4517dd7cddfSDavid du Colombier char *p, *q, *op, c; 4527dd7cddfSDavid du Colombier Prog pg; 4537dd7cddfSDavid du Colombier int n; 4547dd7cddfSDavid du Colombier 4557dd7cddfSDavid du Colombier pg = zprog; 4567dd7cddfSDavid du Colombier pg.as = AHISTORY; 4577dd7cddfSDavid du Colombier c = pathchar(); 4587dd7cddfSDavid du Colombier for(h = hist; h != H; h = h->link) { 4597dd7cddfSDavid du Colombier p = h->name; 4607dd7cddfSDavid du Colombier op = 0; 461375daca8SDavid du Colombier /* on windows skip drive specifier in pathname */ 462375daca8SDavid du Colombier if(systemtype(Windows) && p && p[1] == ':'){ 463375daca8SDavid du Colombier p += 2; 464375daca8SDavid du Colombier c = *p; 465375daca8SDavid du Colombier } 4667dd7cddfSDavid du Colombier if(p && p[0] != c && h->offset == 0 && pathname){ 4677dd7cddfSDavid du Colombier /* on windows skip drive specifier in pathname */ 468375daca8SDavid du Colombier if(systemtype(Windows) && pathname[1] == ':') { 4697dd7cddfSDavid du Colombier op = p; 4707dd7cddfSDavid du Colombier p = pathname+2; 471375daca8SDavid du Colombier c = *p; 4727dd7cddfSDavid du Colombier } else if(pathname[0] == c){ 4737dd7cddfSDavid du Colombier op = p; 4747dd7cddfSDavid du Colombier p = pathname; 4757dd7cddfSDavid du Colombier } 4767dd7cddfSDavid du Colombier } 4777dd7cddfSDavid du Colombier while(p) { 4787dd7cddfSDavid du Colombier q = utfrune(p, c); 4797dd7cddfSDavid du Colombier if(q) { 4807dd7cddfSDavid du Colombier n = q-p; 481375daca8SDavid du Colombier if(n == 0){ 4827dd7cddfSDavid du Colombier n = 1; /* leading "/" */ 483375daca8SDavid du Colombier *p = '/'; /* don't emit "\" on windows */ 484375daca8SDavid du Colombier } 4857dd7cddfSDavid du Colombier q++; 4867dd7cddfSDavid du Colombier } else { 4877dd7cddfSDavid du Colombier n = strlen(p); 4887dd7cddfSDavid du Colombier q = 0; 4897dd7cddfSDavid du Colombier } 4907dd7cddfSDavid du Colombier if(n) { 4917dd7cddfSDavid du Colombier Bputc(b, ANAME); 4927dd7cddfSDavid du Colombier Bputc(b, D_FILE); 4937dd7cddfSDavid du Colombier Bputc(b, 1); 4947dd7cddfSDavid du Colombier Bputc(b, '<'); 4957dd7cddfSDavid du Colombier Bwrite(b, p, n); 4967dd7cddfSDavid du Colombier Bputc(b, 0); 4977dd7cddfSDavid du Colombier } 4987dd7cddfSDavid du Colombier p = q; 4997dd7cddfSDavid du Colombier if(p == 0 && op) { 5007dd7cddfSDavid du Colombier p = op; 5017dd7cddfSDavid du Colombier op = 0; 5027dd7cddfSDavid du Colombier } 5037dd7cddfSDavid du Colombier } 5047dd7cddfSDavid du Colombier pg.lineno = h->line; 5057dd7cddfSDavid du Colombier pg.to.type = zprog.to.type; 5067dd7cddfSDavid du Colombier pg.to.offset = h->offset; 5077dd7cddfSDavid du Colombier if(h->offset) 5087dd7cddfSDavid du Colombier pg.to.type = D_CONST; 5097dd7cddfSDavid du Colombier 5107dd7cddfSDavid du Colombier zwrite(b, &pg, 0, 0); 5117dd7cddfSDavid du Colombier } 5127dd7cddfSDavid du Colombier } 5137dd7cddfSDavid du Colombier 5147dd7cddfSDavid du Colombier void 515375daca8SDavid du Colombier zname(Biobuf *b, Sym *s, int t) 5167dd7cddfSDavid du Colombier { 517375daca8SDavid du Colombier char *n, bf[7]; 518375daca8SDavid du Colombier ulong sig; 5197dd7cddfSDavid du Colombier 520375daca8SDavid du Colombier n = s->name; 521375daca8SDavid du Colombier if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){ 522375daca8SDavid du Colombier sig = sign(s); 523375daca8SDavid du Colombier bf[0] = ASIGNAME; 524375daca8SDavid du Colombier bf[1] = sig; 525375daca8SDavid du Colombier bf[2] = sig>>8; 526375daca8SDavid du Colombier bf[3] = sig>>16; 527375daca8SDavid du Colombier bf[4] = sig>>24; 528375daca8SDavid du Colombier bf[5] = t; 529375daca8SDavid du Colombier bf[6] = s->sym; 530375daca8SDavid du Colombier Bwrite(b, bf, 7); 531375daca8SDavid du Colombier s->sig = SIGDONE; 532375daca8SDavid du Colombier } 533375daca8SDavid du Colombier else{ 5347dd7cddfSDavid du Colombier bf[0] = ANAME; 5357dd7cddfSDavid du Colombier bf[1] = t; /* type */ 536375daca8SDavid du Colombier bf[2] = s->sym; /* sym */ 5377dd7cddfSDavid du Colombier Bwrite(b, bf, 3); 538375daca8SDavid du Colombier } 5397dd7cddfSDavid du Colombier Bwrite(b, n, strlen(n)+1); 5407dd7cddfSDavid du Colombier } 5417dd7cddfSDavid du Colombier 5427dd7cddfSDavid du Colombier char* 5437dd7cddfSDavid du Colombier zaddr(char *bp, Adr *a, int s) 5447dd7cddfSDavid du Colombier { 5457dd7cddfSDavid du Colombier long l; 5467dd7cddfSDavid du Colombier Ieee e; 5477dd7cddfSDavid du Colombier 5487dd7cddfSDavid du Colombier bp[0] = a->type; 5497dd7cddfSDavid du Colombier bp[1] = a->reg; 5507dd7cddfSDavid du Colombier bp[2] = s; 5517dd7cddfSDavid du Colombier bp[3] = a->name; 5527dd7cddfSDavid du Colombier bp += 4; 5537dd7cddfSDavid du Colombier switch(a->type) { 5547dd7cddfSDavid du Colombier default: 5557dd7cddfSDavid du Colombier diag(Z, "unknown type %d in zaddr", a->type); 5567dd7cddfSDavid du Colombier 5577dd7cddfSDavid du Colombier case D_NONE: 5587dd7cddfSDavid du Colombier case D_REG: 5597dd7cddfSDavid du Colombier case D_FREG: 5607dd7cddfSDavid du Colombier case D_PSR: 5617dd7cddfSDavid du Colombier break; 5627dd7cddfSDavid du Colombier 5637dd7cddfSDavid du Colombier case D_OREG: 5647dd7cddfSDavid du Colombier case D_CONST: 5657dd7cddfSDavid du Colombier case D_BRANCH: 56659cc4ca5SDavid du Colombier case D_SHIFT: 5677dd7cddfSDavid du Colombier l = a->offset; 5687dd7cddfSDavid du Colombier bp[0] = l; 5697dd7cddfSDavid du Colombier bp[1] = l>>8; 5707dd7cddfSDavid du Colombier bp[2] = l>>16; 5717dd7cddfSDavid du Colombier bp[3] = l>>24; 5727dd7cddfSDavid du Colombier bp += 4; 5737dd7cddfSDavid du Colombier break; 5747dd7cddfSDavid du Colombier 5757dd7cddfSDavid du Colombier case D_SCONST: 5767dd7cddfSDavid du Colombier memmove(bp, a->sval, NSNAME); 5777dd7cddfSDavid du Colombier bp += NSNAME; 5787dd7cddfSDavid du Colombier break; 5797dd7cddfSDavid du Colombier 5807dd7cddfSDavid du Colombier case D_FCONST: 5817dd7cddfSDavid du Colombier ieeedtod(&e, a->dval); 5827dd7cddfSDavid du Colombier l = e.l; 5837dd7cddfSDavid du Colombier bp[0] = l; 5847dd7cddfSDavid du Colombier bp[1] = l>>8; 5857dd7cddfSDavid du Colombier bp[2] = l>>16; 5867dd7cddfSDavid du Colombier bp[3] = l>>24; 5877dd7cddfSDavid du Colombier bp += 4; 5887dd7cddfSDavid du Colombier l = e.h; 5897dd7cddfSDavid du Colombier bp[0] = l; 5907dd7cddfSDavid du Colombier bp[1] = l>>8; 5917dd7cddfSDavid du Colombier bp[2] = l>>16; 5927dd7cddfSDavid du Colombier bp[3] = l>>24; 5937dd7cddfSDavid du Colombier bp += 4; 5947dd7cddfSDavid du Colombier break; 5957dd7cddfSDavid du Colombier } 5967dd7cddfSDavid du Colombier return bp; 5977dd7cddfSDavid du Colombier } 5987dd7cddfSDavid du Colombier 5997dd7cddfSDavid du Colombier void 6007dd7cddfSDavid du Colombier ieeedtod(Ieee *ieee, double native) 6017dd7cddfSDavid du Colombier { 6027dd7cddfSDavid du Colombier double fr, ho, f; 6037dd7cddfSDavid du Colombier int exp; 6047dd7cddfSDavid du Colombier 6057dd7cddfSDavid du Colombier if(native < 0) { 6067dd7cddfSDavid du Colombier ieeedtod(ieee, -native); 6077dd7cddfSDavid du Colombier ieee->h |= 0x80000000L; 6087dd7cddfSDavid du Colombier return; 6097dd7cddfSDavid du Colombier } 6107dd7cddfSDavid du Colombier if(native == 0) { 6117dd7cddfSDavid du Colombier ieee->l = 0; 6127dd7cddfSDavid du Colombier ieee->h = 0; 6137dd7cddfSDavid du Colombier return; 6147dd7cddfSDavid du Colombier } 6157dd7cddfSDavid du Colombier fr = frexp(native, &exp); 6167dd7cddfSDavid du Colombier f = 2097152L; /* shouldnt use fp constants here */ 6177dd7cddfSDavid du Colombier fr = modf(fr*f, &ho); 6187dd7cddfSDavid du Colombier ieee->h = ho; 6197dd7cddfSDavid du Colombier ieee->h &= 0xfffffL; 6207dd7cddfSDavid du Colombier ieee->h |= (exp+1022L) << 20; 6217dd7cddfSDavid du Colombier f = 65536L; 6227dd7cddfSDavid du Colombier fr = modf(fr*f, &ho); 6237dd7cddfSDavid du Colombier ieee->l = ho; 6247dd7cddfSDavid du Colombier ieee->l <<= 16; 6257dd7cddfSDavid du Colombier ieee->l |= (long)(fr*f); 6267dd7cddfSDavid du Colombier } 6277dd7cddfSDavid du Colombier 6287dd7cddfSDavid du Colombier long 6297dd7cddfSDavid du Colombier align(long i, Type *t, int op) 6307dd7cddfSDavid du Colombier { 6317dd7cddfSDavid du Colombier long o; 6327dd7cddfSDavid du Colombier Type *v; 6337dd7cddfSDavid du Colombier int w; 6347dd7cddfSDavid du Colombier 6357dd7cddfSDavid du Colombier o = i; 6367dd7cddfSDavid du Colombier w = 1; 6377dd7cddfSDavid du Colombier switch(op) { 6387dd7cddfSDavid du Colombier default: 6397dd7cddfSDavid du Colombier diag(Z, "unknown align opcode %d", op); 6407dd7cddfSDavid du Colombier break; 6417dd7cddfSDavid du Colombier 6427dd7cddfSDavid du Colombier case Asu2: /* padding at end of a struct */ 6437dd7cddfSDavid du Colombier w = SZ_LONG; 6449847521cSDavid du Colombier if(packflg) 6459847521cSDavid du Colombier w = packflg; 6467dd7cddfSDavid du Colombier break; 6477dd7cddfSDavid du Colombier 6487dd7cddfSDavid du Colombier case Ael1: /* initial allign of struct element */ 6497dd7cddfSDavid du Colombier for(v=t; v->etype==TARRAY; v=v->link) 6507dd7cddfSDavid du Colombier ; 6517dd7cddfSDavid du Colombier w = ewidth[v->etype]; 6527dd7cddfSDavid du Colombier if(w <= 0 || w >= SZ_LONG) 6537dd7cddfSDavid du Colombier w = SZ_LONG; 6549847521cSDavid du Colombier if(packflg) 6559847521cSDavid du Colombier w = packflg; 6567dd7cddfSDavid du Colombier break; 6577dd7cddfSDavid du Colombier 6587dd7cddfSDavid du Colombier case Ael2: /* width of a struct element */ 6597dd7cddfSDavid du Colombier o += t->width; 6607dd7cddfSDavid du Colombier break; 6617dd7cddfSDavid du Colombier 6627dd7cddfSDavid du Colombier case Aarg0: /* initial passbyptr argument in arg list */ 6637dd7cddfSDavid du Colombier if(typesuv[t->etype]) { 6647dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg1); 6657dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg2); 6667dd7cddfSDavid du Colombier } 6677dd7cddfSDavid du Colombier break; 6687dd7cddfSDavid du Colombier 6697dd7cddfSDavid du Colombier case Aarg1: /* initial allign of parameter */ 6707dd7cddfSDavid du Colombier w = ewidth[t->etype]; 6717dd7cddfSDavid du Colombier if(w <= 0 || w >= SZ_LONG) { 6727dd7cddfSDavid du Colombier w = SZ_LONG; 6737dd7cddfSDavid du Colombier break; 6747dd7cddfSDavid du Colombier } 6757dd7cddfSDavid du Colombier w = 1; /* little endian no adjustment */ 6767dd7cddfSDavid du Colombier break; 6777dd7cddfSDavid du Colombier 6787dd7cddfSDavid du Colombier case Aarg2: /* width of a parameter */ 6797dd7cddfSDavid du Colombier o += t->width; 6807dd7cddfSDavid du Colombier w = SZ_LONG; 6817dd7cddfSDavid du Colombier break; 6827dd7cddfSDavid du Colombier 6837dd7cddfSDavid du Colombier case Aaut3: /* total allign of automatic */ 6847dd7cddfSDavid du Colombier o = align(o, t, Ael2); 68559cc4ca5SDavid du Colombier o = align(o, t, Ael1); 68659cc4ca5SDavid du Colombier w = SZ_LONG; /* because of a pun in cc/dcl.c:contig() */ 6877dd7cddfSDavid du Colombier break; 6887dd7cddfSDavid du Colombier } 6897dd7cddfSDavid du Colombier o = round(o, w); 6907dd7cddfSDavid du Colombier if(debug['A']) 6917dd7cddfSDavid du Colombier print("align %s %ld %T = %ld\n", bnames[op], i, t, o); 6927dd7cddfSDavid du Colombier return o; 6937dd7cddfSDavid du Colombier } 6947dd7cddfSDavid du Colombier 6957dd7cddfSDavid du Colombier long 6967dd7cddfSDavid du Colombier maxround(long max, long v) 6977dd7cddfSDavid du Colombier { 69859cc4ca5SDavid du Colombier v = round(v, SZ_LONG); 6997dd7cddfSDavid du Colombier if(v > max) 70059cc4ca5SDavid du Colombier return v; 7017dd7cddfSDavid du Colombier return max; 7027dd7cddfSDavid du Colombier } 703