13e12c5d1SDavid du Colombier #include "gc.h" 23e12c5d1SDavid du Colombier 33e12c5d1SDavid du Colombier void 4*4ac975e2SDavid du Colombier swit1(C1 *q, int nc, long def, Node *n) 53e12c5d1SDavid du Colombier { 63e12c5d1SDavid du Colombier Node tn; 73e12c5d1SDavid du Colombier 83e12c5d1SDavid du Colombier regalloc(&tn, ®node, Z); 9*4ac975e2SDavid du Colombier swit2(q, nc, def, n, &tn); 103e12c5d1SDavid du Colombier regfree(&tn); 113e12c5d1SDavid du Colombier } 123e12c5d1SDavid du Colombier 133e12c5d1SDavid du Colombier void 14*4ac975e2SDavid du Colombier swit2(C1 *q, int nc, long def, Node *n, Node *tn) 153e12c5d1SDavid du Colombier { 163e12c5d1SDavid du Colombier C1 *r; 173e12c5d1SDavid du Colombier int i; 183e12c5d1SDavid du Colombier Prog *sp; 193e12c5d1SDavid du Colombier 203e12c5d1SDavid du Colombier if(nc < 5) { 213e12c5d1SDavid du Colombier for(i=0; i<nc; i++) { 223e12c5d1SDavid du Colombier if(sval(q->val)) { 233e12c5d1SDavid du Colombier gopcode(OEQ, n, Z, nodconst(q->val)); 243e12c5d1SDavid du Colombier } else { 253e12c5d1SDavid du Colombier gopcode(OSUB, nodconst(q->val), n, tn); 263e12c5d1SDavid du Colombier gopcode(OEQ, tn, Z, nodconst(0)); 273e12c5d1SDavid du Colombier } 283e12c5d1SDavid du Colombier patch(p, q->label); 293e12c5d1SDavid du Colombier q++; 303e12c5d1SDavid du Colombier } 313e12c5d1SDavid du Colombier gbranch(OGOTO); 323e12c5d1SDavid du Colombier patch(p, def); 333e12c5d1SDavid du Colombier return; 343e12c5d1SDavid du Colombier } 353e12c5d1SDavid du Colombier i = nc / 2; 363e12c5d1SDavid du Colombier r = q+i; 373e12c5d1SDavid du Colombier if(sval(r->val)) { 383e12c5d1SDavid du Colombier gopcode(OGT, n, Z, nodconst(r->val)); 393e12c5d1SDavid du Colombier sp = p; 403e12c5d1SDavid du Colombier } else { 413e12c5d1SDavid du Colombier gopcode(OSUB, nodconst(r->val), n, tn); 423e12c5d1SDavid du Colombier gopcode(OGT, tn, Z, nodconst(0)); 433e12c5d1SDavid du Colombier sp = p; 443e12c5d1SDavid du Colombier } 453e12c5d1SDavid du Colombier gbranch(OGOTO); 463e12c5d1SDavid du Colombier p->as = ABE; 473e12c5d1SDavid du Colombier patch(p, r->label); 48*4ac975e2SDavid du Colombier swit2(q, i, def, n, tn); 493e12c5d1SDavid du Colombier 503e12c5d1SDavid du Colombier patch(sp, pc); 51*4ac975e2SDavid du Colombier swit2(r+1, nc-i-1, def, n, tn); 523e12c5d1SDavid du Colombier } 533e12c5d1SDavid du Colombier 543e12c5d1SDavid du Colombier void 553e12c5d1SDavid du Colombier bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) 563e12c5d1SDavid du Colombier { 573e12c5d1SDavid du Colombier int sh; 583e12c5d1SDavid du Colombier long v; 593e12c5d1SDavid du Colombier Node *l; 603e12c5d1SDavid du Colombier 613e12c5d1SDavid du Colombier /* 623e12c5d1SDavid du Colombier * n1 gets adjusted/masked value 633e12c5d1SDavid du Colombier * n2 gets address of cell 643e12c5d1SDavid du Colombier * n3 gets contents of cell 653e12c5d1SDavid du Colombier */ 663e12c5d1SDavid du Colombier l = b->left; 673e12c5d1SDavid du Colombier if(n2 != Z) { 683e12c5d1SDavid du Colombier regalloc(n1, l, nn); 693e12c5d1SDavid du Colombier reglcgen(n2, l, Z); 703e12c5d1SDavid du Colombier regalloc(n3, l, Z); 713e12c5d1SDavid du Colombier gopcode(OAS, n2, Z, n3); 723e12c5d1SDavid du Colombier gopcode(OAS, n3, Z, n1); 733e12c5d1SDavid du Colombier } else { 743e12c5d1SDavid du Colombier regalloc(n1, l, nn); 753e12c5d1SDavid du Colombier cgen(l, n1); 763e12c5d1SDavid du Colombier } 773e12c5d1SDavid du Colombier if(b->type->shift == 0 && typeu[b->type->etype]) { 783e12c5d1SDavid du Colombier v = ~0 + (1L << b->type->nbits); 793e12c5d1SDavid du Colombier gopcode(OAND, nodconst(v), Z, n1); 803e12c5d1SDavid du Colombier } else { 813e12c5d1SDavid du Colombier sh = 32 - b->type->shift - b->type->nbits; 823e12c5d1SDavid du Colombier if(sh > 0) 833e12c5d1SDavid du Colombier gopcode(OASHL, nodconst(sh), Z, n1); 843e12c5d1SDavid du Colombier sh += b->type->shift; 853e12c5d1SDavid du Colombier if(sh > 0) 863e12c5d1SDavid du Colombier if(typeu[b->type->etype]) 873e12c5d1SDavid du Colombier gopcode(OLSHR, nodconst(sh), Z, n1); 883e12c5d1SDavid du Colombier else 893e12c5d1SDavid du Colombier gopcode(OASHR, nodconst(sh), Z, n1); 903e12c5d1SDavid du Colombier } 913e12c5d1SDavid du Colombier } 923e12c5d1SDavid du Colombier 933e12c5d1SDavid du Colombier void 943e12c5d1SDavid du Colombier bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) 953e12c5d1SDavid du Colombier { 963e12c5d1SDavid du Colombier long v; 973e12c5d1SDavid du Colombier Node nod, *l; 983e12c5d1SDavid du Colombier int sh; 993e12c5d1SDavid du Colombier 1003e12c5d1SDavid du Colombier /* 1013e12c5d1SDavid du Colombier * n1 has adjusted/masked value 1023e12c5d1SDavid du Colombier * n2 has address of cell 1033e12c5d1SDavid du Colombier * n3 has contents of cell 1043e12c5d1SDavid du Colombier */ 1053e12c5d1SDavid du Colombier l = b->left; 1063e12c5d1SDavid du Colombier regalloc(&nod, l, Z); 1073e12c5d1SDavid du Colombier v = ~0 + (1L << b->type->nbits); 1083e12c5d1SDavid du Colombier gopcode(OAND, nodconst(v), Z, n1); 1093e12c5d1SDavid du Colombier gopcode(OAS, n1, Z, &nod); 1103e12c5d1SDavid du Colombier if(nn != Z) 1113e12c5d1SDavid du Colombier gopcode(OAS, n1, Z, nn); 1123e12c5d1SDavid du Colombier sh = b->type->shift; 1133e12c5d1SDavid du Colombier if(sh > 0) 1143e12c5d1SDavid du Colombier gopcode(OASHL, nodconst(sh), Z, &nod); 1153e12c5d1SDavid du Colombier v <<= sh; 1163e12c5d1SDavid du Colombier gopcode(OAND, nodconst(~v), Z, n3); 1173e12c5d1SDavid du Colombier gopcode(OOR, n3, Z, &nod); 1183e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, n2); 1193e12c5d1SDavid du Colombier 1203e12c5d1SDavid du Colombier regfree(&nod); 1213e12c5d1SDavid du Colombier regfree(n1); 1223e12c5d1SDavid du Colombier regfree(n2); 1233e12c5d1SDavid du Colombier regfree(n3); 1243e12c5d1SDavid du Colombier } 1253e12c5d1SDavid du Colombier 1263e12c5d1SDavid du Colombier long 1273e12c5d1SDavid du Colombier outstring(char *s, long n) 1283e12c5d1SDavid du Colombier { 1293e12c5d1SDavid du Colombier long r; 1303e12c5d1SDavid du Colombier 1313e12c5d1SDavid du Colombier r = nstring; 1323e12c5d1SDavid du Colombier while(n) { 1333e12c5d1SDavid du Colombier string[mnstring] = *s++; 1343e12c5d1SDavid du Colombier mnstring++; 1353e12c5d1SDavid du Colombier nstring++; 1363e12c5d1SDavid du Colombier if(mnstring >= NSNAME) { 1373e12c5d1SDavid du Colombier gpseudo(ADATA, symstring, nodconst(0L)); 1383e12c5d1SDavid du Colombier p->from.offset += nstring - NSNAME; 1393e12c5d1SDavid du Colombier p->reg = NSNAME; 1403e12c5d1SDavid du Colombier p->to.type = D_SCONST; 1413e12c5d1SDavid du Colombier memmove(p->to.sval, string, NSNAME); 1423e12c5d1SDavid du Colombier mnstring = 0; 1433e12c5d1SDavid du Colombier } 1443e12c5d1SDavid du Colombier n--; 1453e12c5d1SDavid du Colombier } 1463e12c5d1SDavid du Colombier return r; 1473e12c5d1SDavid du Colombier } 1483e12c5d1SDavid du Colombier 1493e12c5d1SDavid du Colombier long 1503e12c5d1SDavid du Colombier outlstring(ushort *s, long n) 1513e12c5d1SDavid du Colombier { 1523e12c5d1SDavid du Colombier char buf[2]; 1533e12c5d1SDavid du Colombier int c; 1543e12c5d1SDavid du Colombier long r; 1553e12c5d1SDavid du Colombier 1563e12c5d1SDavid du Colombier while(nstring & 1) 1573e12c5d1SDavid du Colombier outstring("", 1); 1583e12c5d1SDavid du Colombier r = nstring; 1593e12c5d1SDavid du Colombier while(n > 0) { 1603e12c5d1SDavid du Colombier c = *s++; 1617dd7cddfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) { 1623e12c5d1SDavid du Colombier buf[0] = c>>8; 1633e12c5d1SDavid du Colombier buf[1] = c; 1643e12c5d1SDavid du Colombier } else { 1653e12c5d1SDavid du Colombier buf[0] = c; 1663e12c5d1SDavid du Colombier buf[1] = c>>8; 1673e12c5d1SDavid du Colombier } 1683e12c5d1SDavid du Colombier outstring(buf, 2); 1693e12c5d1SDavid du Colombier n -= sizeof(ushort); 1703e12c5d1SDavid du Colombier } 1713e12c5d1SDavid du Colombier return r; 1723e12c5d1SDavid du Colombier } 1733e12c5d1SDavid du Colombier 1743e12c5d1SDavid du Colombier int 1753e12c5d1SDavid du Colombier mulcon(Node *n, Node *nn) 1763e12c5d1SDavid du Colombier { 1773e12c5d1SDavid du Colombier Node *l, *r, nod1, nod2; 1783e12c5d1SDavid du Colombier Multab *m; 1793e12c5d1SDavid du Colombier long v; 1803e12c5d1SDavid du Colombier int o; 1813e12c5d1SDavid du Colombier char code[sizeof(m->code)+2], *p; 1823e12c5d1SDavid du Colombier 183219b2ee8SDavid du Colombier if(typefd[n->type->etype]) 1843e12c5d1SDavid du Colombier return 0; 1853e12c5d1SDavid du Colombier l = n->left; 1863e12c5d1SDavid du Colombier r = n->right; 1873e12c5d1SDavid du Colombier if(l->op == OCONST) { 1883e12c5d1SDavid du Colombier l = r; 1893e12c5d1SDavid du Colombier r = n->left; 1903e12c5d1SDavid du Colombier } 1913e12c5d1SDavid du Colombier if(r->op != OCONST) 1923e12c5d1SDavid du Colombier return 0; 193219b2ee8SDavid du Colombier v = convvtox(r->vconst, n->type->etype); 194219b2ee8SDavid du Colombier if(v != r->vconst) { 195219b2ee8SDavid du Colombier if(debug['M']) 196219b2ee8SDavid du Colombier print("%L multiply conv: %lld\n", n->lineno, r->vconst); 1973e12c5d1SDavid du Colombier return 0; 198219b2ee8SDavid du Colombier } 199219b2ee8SDavid du Colombier m = mulcon0(n, v); 200219b2ee8SDavid du Colombier if(!m) { 201219b2ee8SDavid du Colombier if(debug['M']) 202219b2ee8SDavid du Colombier print("%L multiply table: %lld\n", n->lineno, r->vconst); 203219b2ee8SDavid du Colombier return 0; 204219b2ee8SDavid du Colombier } 2053e12c5d1SDavid du Colombier 2063e12c5d1SDavid du Colombier memmove(code, m->code, sizeof(m->code)); 2073e12c5d1SDavid du Colombier code[sizeof(m->code)] = 0; 2083e12c5d1SDavid du Colombier 2093e12c5d1SDavid du Colombier p = code; 2103e12c5d1SDavid du Colombier if(p[1] == 'i') 2113e12c5d1SDavid du Colombier p += 2; 2123e12c5d1SDavid du Colombier regalloc(&nod1, n, nn); 2133e12c5d1SDavid du Colombier cgen(l, &nod1); 2143e12c5d1SDavid du Colombier if(v < 0) 2153e12c5d1SDavid du Colombier gopcode(OSUB, &nod1, nodconst(0), &nod1); 2163e12c5d1SDavid du Colombier regalloc(&nod2, n, Z); 2173e12c5d1SDavid du Colombier 2183e12c5d1SDavid du Colombier loop: 2193e12c5d1SDavid du Colombier switch(*p) { 2203e12c5d1SDavid du Colombier case 0: 2213e12c5d1SDavid du Colombier regfree(&nod2); 2223e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, nn); 2233e12c5d1SDavid du Colombier regfree(&nod1); 2243e12c5d1SDavid du Colombier return 1; 2253e12c5d1SDavid du Colombier case '+': 2263e12c5d1SDavid du Colombier o = OADD; 2273e12c5d1SDavid du Colombier goto addsub; 2283e12c5d1SDavid du Colombier case '-': 2293e12c5d1SDavid du Colombier o = OSUB; 2303e12c5d1SDavid du Colombier addsub: /* number is r,n,l */ 2313e12c5d1SDavid du Colombier v = p[1] - '0'; 2323e12c5d1SDavid du Colombier r = &nod1; 2333e12c5d1SDavid du Colombier if(v&4) 2343e12c5d1SDavid du Colombier r = &nod2; 2353e12c5d1SDavid du Colombier n = &nod1; 2363e12c5d1SDavid du Colombier if(v&2) 2373e12c5d1SDavid du Colombier n = &nod2; 2383e12c5d1SDavid du Colombier l = &nod1; 2393e12c5d1SDavid du Colombier if(v&1) 2403e12c5d1SDavid du Colombier l = &nod2; 2413e12c5d1SDavid du Colombier gopcode(o, l, n, r); 2423e12c5d1SDavid du Colombier break; 2433e12c5d1SDavid du Colombier default: /* op is shiftcount, number is r,l */ 2443e12c5d1SDavid du Colombier v = p[1] - '0'; 2453e12c5d1SDavid du Colombier r = &nod1; 2463e12c5d1SDavid du Colombier if(v&2) 2473e12c5d1SDavid du Colombier r = &nod2; 2483e12c5d1SDavid du Colombier l = &nod1; 2493e12c5d1SDavid du Colombier if(v&1) 2503e12c5d1SDavid du Colombier l = &nod2; 2513e12c5d1SDavid du Colombier v = *p - 'a'; 2523e12c5d1SDavid du Colombier if(v < 0 || v >= 32) { 2533e12c5d1SDavid du Colombier diag(n, "mulcon unknown op: %c%c", p[0], p[1]); 2543e12c5d1SDavid du Colombier break; 2553e12c5d1SDavid du Colombier } 2563e12c5d1SDavid du Colombier gopcode(OASHL, nodconst(v), l, r); 2573e12c5d1SDavid du Colombier break; 2583e12c5d1SDavid du Colombier } 2593e12c5d1SDavid du Colombier p += 2; 2603e12c5d1SDavid du Colombier goto loop; 2613e12c5d1SDavid du Colombier } 2623e12c5d1SDavid du Colombier 2633e12c5d1SDavid du Colombier void 2643e12c5d1SDavid du Colombier nullwarn(Node *l, Node *r) 2653e12c5d1SDavid du Colombier { 2663e12c5d1SDavid du Colombier warn(Z, "result of operation not used"); 2673e12c5d1SDavid du Colombier if(l != Z) 2683e12c5d1SDavid du Colombier cgen(l, Z); 2693e12c5d1SDavid du Colombier if(r != Z) 2703e12c5d1SDavid du Colombier cgen(r, Z); 2713e12c5d1SDavid du Colombier } 2723e12c5d1SDavid du Colombier 2733e12c5d1SDavid du Colombier void 2743e12c5d1SDavid du Colombier sextern(Sym *s, Node *a, long o, long w) 2753e12c5d1SDavid du Colombier { 2763e12c5d1SDavid du Colombier long e, lw; 2773e12c5d1SDavid du Colombier 2783e12c5d1SDavid du Colombier for(e=0; e<w; e+=NSNAME) { 2793e12c5d1SDavid du Colombier lw = NSNAME; 2803e12c5d1SDavid du Colombier if(w-e < lw) 2813e12c5d1SDavid du Colombier lw = w-e; 282219b2ee8SDavid du Colombier gpseudo(ADATA, s, nodconst(0)); 2833e12c5d1SDavid du Colombier p->from.offset += o+e; 2843e12c5d1SDavid du Colombier p->reg = lw; 2853e12c5d1SDavid du Colombier p->to.type = D_SCONST; 286219b2ee8SDavid du Colombier memmove(p->to.sval, a->cstring+e, lw); 2873e12c5d1SDavid du Colombier } 2883e12c5d1SDavid du Colombier } 2893e12c5d1SDavid du Colombier 2903e12c5d1SDavid du Colombier void 2913e12c5d1SDavid du Colombier gextern(Sym *s, Node *a, long o, long w) 2923e12c5d1SDavid du Colombier { 293219b2ee8SDavid du Colombier if(a->op == OCONST && typev[a->type->etype]) { 29480ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */ 295219b2ee8SDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32)); 29680ee5cbfSDavid du Colombier else 29780ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst)); 298219b2ee8SDavid du Colombier p->from.offset += o; 299219b2ee8SDavid du Colombier p->reg = 4; 30080ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */ 301219b2ee8SDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst)); 30280ee5cbfSDavid du Colombier else 30380ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32)); 304219b2ee8SDavid du Colombier p->from.offset += o + 4; 305219b2ee8SDavid du Colombier p->reg = 4; 306219b2ee8SDavid du Colombier return; 307219b2ee8SDavid du Colombier } 3083e12c5d1SDavid du Colombier gpseudo(ADATA, s, a); 3093e12c5d1SDavid du Colombier p->from.offset += o; 3103e12c5d1SDavid du Colombier p->reg = w; 3113e12c5d1SDavid du Colombier if(p->to.type == D_OREG) 3123e12c5d1SDavid du Colombier p->to.type = D_CONST; 3133e12c5d1SDavid du Colombier } 3143e12c5d1SDavid du Colombier 315375daca8SDavid du Colombier void zname(Biobuf*, Sym*, int); 3163e12c5d1SDavid du Colombier void zaddr(Biobuf*, Adr*, int); 3173e12c5d1SDavid du Colombier void zwrite(Biobuf*, Prog*, int, int); 3183e12c5d1SDavid du Colombier void outhist(Biobuf*); 3193e12c5d1SDavid du Colombier 3203e12c5d1SDavid du Colombier void 3213e12c5d1SDavid du Colombier outcode(void) 3223e12c5d1SDavid du Colombier { 3233e12c5d1SDavid du Colombier struct { Sym *sym; short type; } h[NSYM]; 3243e12c5d1SDavid du Colombier Prog *p; 3253e12c5d1SDavid du Colombier Sym *s; 326219b2ee8SDavid du Colombier int sf, st, t, sym; 3273e12c5d1SDavid du Colombier 3283e12c5d1SDavid du Colombier if(debug['S']) { 3293e12c5d1SDavid du Colombier for(p = firstp; p != P; p = p->link) 3303e12c5d1SDavid du Colombier if(p->as != ADATA && p->as != AGLOBL) 3313e12c5d1SDavid du Colombier pc--; 3323e12c5d1SDavid du Colombier for(p = firstp; p != P; p = p->link) { 3333e12c5d1SDavid du Colombier print("%P\n", p); 3343e12c5d1SDavid du Colombier if(p->as != ADATA && p->as != AGLOBL) 3353e12c5d1SDavid du Colombier pc++; 3363e12c5d1SDavid du Colombier } 3373e12c5d1SDavid du Colombier } 338219b2ee8SDavid du Colombier outhist(&outbuf); 3393e12c5d1SDavid du Colombier for(sym=0; sym<NSYM; sym++) { 3403e12c5d1SDavid du Colombier h[sym].sym = S; 3413e12c5d1SDavid du Colombier h[sym].type = 0; 3423e12c5d1SDavid du Colombier } 3433e12c5d1SDavid du Colombier sym = 1; 3443e12c5d1SDavid du Colombier for(p = firstp; p != P; p = p->link) { 3453e12c5d1SDavid du Colombier jackpot: 3463e12c5d1SDavid du Colombier sf = 0; 3473e12c5d1SDavid du Colombier s = p->from.sym; 3483e12c5d1SDavid du Colombier while(s != S) { 3493e12c5d1SDavid du Colombier sf = s->sym; 3503e12c5d1SDavid du Colombier if(sf < 0 || sf >= NSYM) 3513e12c5d1SDavid du Colombier sf = 0; 3523e12c5d1SDavid du Colombier t = p->from.name; 3533e12c5d1SDavid du Colombier if(h[sf].type == t) 3543e12c5d1SDavid du Colombier if(h[sf].sym == s) 3553e12c5d1SDavid du Colombier break; 3563e12c5d1SDavid du Colombier s->sym = sym; 357375daca8SDavid du Colombier zname(&outbuf, s, t); 3583e12c5d1SDavid du Colombier h[sym].sym = s; 3593e12c5d1SDavid du Colombier h[sym].type = t; 3603e12c5d1SDavid du Colombier sf = sym; 3613e12c5d1SDavid du Colombier sym++; 3623e12c5d1SDavid du Colombier if(sym >= NSYM) 3633e12c5d1SDavid du Colombier sym = 1; 3643e12c5d1SDavid du Colombier break; 3653e12c5d1SDavid du Colombier } 3663e12c5d1SDavid du Colombier st = 0; 3673e12c5d1SDavid du Colombier s = p->to.sym; 3683e12c5d1SDavid du Colombier while(s != S) { 3693e12c5d1SDavid du Colombier st = s->sym; 3703e12c5d1SDavid du Colombier if(st < 0 || st >= NSYM) 3713e12c5d1SDavid du Colombier st = 0; 3723e12c5d1SDavid du Colombier t = p->to.name; 3733e12c5d1SDavid du Colombier if(h[st].type == t) 3743e12c5d1SDavid du Colombier if(h[st].sym == s) 3753e12c5d1SDavid du Colombier break; 3763e12c5d1SDavid du Colombier s->sym = sym; 377375daca8SDavid du Colombier zname(&outbuf, s, t); 3783e12c5d1SDavid du Colombier h[sym].sym = s; 3793e12c5d1SDavid du Colombier h[sym].type = t; 3803e12c5d1SDavid du Colombier st = sym; 3813e12c5d1SDavid du Colombier sym++; 3823e12c5d1SDavid du Colombier if(sym >= NSYM) 3833e12c5d1SDavid du Colombier sym = 1; 3843e12c5d1SDavid du Colombier if(st == sf) 3853e12c5d1SDavid du Colombier goto jackpot; 3863e12c5d1SDavid du Colombier break; 3873e12c5d1SDavid du Colombier } 388219b2ee8SDavid du Colombier zwrite(&outbuf, p, sf, st); 3893e12c5d1SDavid du Colombier } 3903e12c5d1SDavid du Colombier firstp = P; 3913e12c5d1SDavid du Colombier lastp = P; 3923e12c5d1SDavid du Colombier } 3933e12c5d1SDavid du Colombier 3943e12c5d1SDavid du Colombier void 3953e12c5d1SDavid du Colombier zwrite(Biobuf *b, Prog *p, int sf, int st) 3963e12c5d1SDavid du Colombier { 3973e12c5d1SDavid du Colombier long l; 3983e12c5d1SDavid du Colombier 3993e12c5d1SDavid du Colombier Bputc(b, p->as); 4003e12c5d1SDavid du Colombier Bputc(b, p->reg); 4013e12c5d1SDavid du Colombier l = p->lineno; 4023e12c5d1SDavid du Colombier Bputc(b, l); 4033e12c5d1SDavid du Colombier Bputc(b, l>>8); 4043e12c5d1SDavid du Colombier Bputc(b, l>>16); 4053e12c5d1SDavid du Colombier Bputc(b, l>>24); 4063e12c5d1SDavid du Colombier zaddr(b, &p->from, sf); 4073e12c5d1SDavid du Colombier zaddr(b, &p->to, st); 4083e12c5d1SDavid du Colombier } 4093e12c5d1SDavid du Colombier 4103e12c5d1SDavid du Colombier void 4113e12c5d1SDavid du Colombier outhist(Biobuf *b) 4123e12c5d1SDavid du Colombier { 4133e12c5d1SDavid du Colombier Hist *h; 4147dd7cddfSDavid du Colombier char *p, *q, *op, c; 4153e12c5d1SDavid du Colombier Prog pg; 4163e12c5d1SDavid du Colombier int n; 4173e12c5d1SDavid du Colombier 4183e12c5d1SDavid du Colombier pg = zprog; 4193e12c5d1SDavid du Colombier pg.as = AHISTORY; 4207dd7cddfSDavid du Colombier c = pathchar(); 4213e12c5d1SDavid du Colombier for(h = hist; h != H; h = h->link) { 4223e12c5d1SDavid du Colombier p = h->name; 423219b2ee8SDavid du Colombier op = 0; 424375daca8SDavid du Colombier /* on windows skip drive specifier in pathname */ 425375daca8SDavid du Colombier if(systemtype(Windows) && p && p[1] == ':'){ 426375daca8SDavid du Colombier p += 2; 427375daca8SDavid du Colombier c = *p; 428375daca8SDavid du Colombier } 4297dd7cddfSDavid du Colombier if(p && p[0] != c && h->offset == 0 && pathname){ 4307dd7cddfSDavid du Colombier /* on windows skip drive specifier in pathname */ 431375daca8SDavid du Colombier if(systemtype(Windows) && pathname[1] == ':') { 4327dd7cddfSDavid du Colombier op = p; 4337dd7cddfSDavid du Colombier p = pathname+2; 434375daca8SDavid du Colombier c = *p; 4357dd7cddfSDavid du Colombier } else if(pathname[0] == c){ 436219b2ee8SDavid du Colombier op = p; 437219b2ee8SDavid du Colombier p = pathname; 438219b2ee8SDavid du Colombier } 4397dd7cddfSDavid du Colombier } 4403e12c5d1SDavid du Colombier while(p) { 4417dd7cddfSDavid du Colombier q = utfrune(p, c); 4423e12c5d1SDavid du Colombier if(q) { 4433e12c5d1SDavid du Colombier n = q-p; 444375daca8SDavid du Colombier if(n == 0){ 4453e12c5d1SDavid du Colombier n = 1; /* leading "/" */ 446375daca8SDavid du Colombier *p = '/'; /* don't emit "\" on windows */ 447375daca8SDavid du Colombier } 4483e12c5d1SDavid du Colombier q++; 4493e12c5d1SDavid du Colombier } else { 4503e12c5d1SDavid du Colombier n = strlen(p); 4513e12c5d1SDavid du Colombier q = 0; 4523e12c5d1SDavid du Colombier } 4533e12c5d1SDavid du Colombier if(n) { 454219b2ee8SDavid du Colombier Bputc(b, ANAME); 455219b2ee8SDavid du Colombier Bputc(b, D_FILE); 456219b2ee8SDavid du Colombier Bputc(b, 1); 457219b2ee8SDavid du Colombier Bputc(b, '<'); 458219b2ee8SDavid du Colombier Bwrite(b, p, n); 459219b2ee8SDavid du Colombier Bputc(b, 0); 4603e12c5d1SDavid du Colombier } 4613e12c5d1SDavid du Colombier p = q; 462219b2ee8SDavid du Colombier if(p == 0 && op) { 463219b2ee8SDavid du Colombier p = op; 464219b2ee8SDavid du Colombier op = 0; 465219b2ee8SDavid du Colombier } 4663e12c5d1SDavid du Colombier } 4673e12c5d1SDavid du Colombier pg.lineno = h->line; 4683e12c5d1SDavid du Colombier pg.to.type = zprog.to.type; 4693e12c5d1SDavid du Colombier pg.to.offset = h->offset; 4703e12c5d1SDavid du Colombier if(h->offset) 4713e12c5d1SDavid du Colombier pg.to.type = D_CONST; 4723e12c5d1SDavid du Colombier 4733e12c5d1SDavid du Colombier zwrite(b, &pg, 0, 0); 4743e12c5d1SDavid du Colombier } 4753e12c5d1SDavid du Colombier } 4763e12c5d1SDavid du Colombier 4773e12c5d1SDavid du Colombier void 478375daca8SDavid du Colombier zname(Biobuf *b, Sym *s, int t) 4793e12c5d1SDavid du Colombier { 480375daca8SDavid du Colombier char *n; 481375daca8SDavid du Colombier ulong sig; 4823e12c5d1SDavid du Colombier 483375daca8SDavid du Colombier if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){ 484375daca8SDavid du Colombier sig = sign(s); 485375daca8SDavid du Colombier Bputc(b, ASIGNAME); 486375daca8SDavid du Colombier Bputc(b, sig); 487375daca8SDavid du Colombier Bputc(b, sig>>8); 488375daca8SDavid du Colombier Bputc(b, sig>>16); 489375daca8SDavid du Colombier Bputc(b, sig>>24); 490375daca8SDavid du Colombier s->sig = SIGDONE; 491375daca8SDavid du Colombier } 492375daca8SDavid du Colombier else 493375daca8SDavid du Colombier Bputc(b, ANAME); /* as */ 4943e12c5d1SDavid du Colombier Bputc(b, t); /* type */ 495375daca8SDavid du Colombier Bputc(b, s->sym); /* sym */ 496375daca8SDavid du Colombier n = s->name; 4973e12c5d1SDavid du Colombier while(*n) { 4983e12c5d1SDavid du Colombier Bputc(b, *n); 4993e12c5d1SDavid du Colombier n++; 5003e12c5d1SDavid du Colombier } 5013e12c5d1SDavid du Colombier Bputc(b, 0); 5023e12c5d1SDavid du Colombier } 5033e12c5d1SDavid du Colombier 5043e12c5d1SDavid du Colombier void 5053e12c5d1SDavid du Colombier zaddr(Biobuf *b, Adr *a, int s) 5063e12c5d1SDavid du Colombier { 5073e12c5d1SDavid du Colombier long l; 5083e12c5d1SDavid du Colombier int i; 5093e12c5d1SDavid du Colombier char *n; 5103e12c5d1SDavid du Colombier Ieee e; 5113e12c5d1SDavid du Colombier 5123e12c5d1SDavid du Colombier Bputc(b, a->type); 5133e12c5d1SDavid du Colombier Bputc(b, a->reg); 5143e12c5d1SDavid du Colombier Bputc(b, s); 5153e12c5d1SDavid du Colombier Bputc(b, a->name); 5163e12c5d1SDavid du Colombier switch(a->type) { 5173e12c5d1SDavid du Colombier default: 5183e12c5d1SDavid du Colombier diag(Z, "unknown type %d in zaddr", a->type); 5193e12c5d1SDavid du Colombier 5203e12c5d1SDavid du Colombier case D_NONE: 5213e12c5d1SDavid du Colombier case D_REG: 5223e12c5d1SDavid du Colombier case D_FREG: 5233e12c5d1SDavid du Colombier case D_CREG: 5243e12c5d1SDavid du Colombier break; 5253e12c5d1SDavid du Colombier 5263e12c5d1SDavid du Colombier case D_OREG: 5273e12c5d1SDavid du Colombier case D_CONST: 5283e12c5d1SDavid du Colombier case D_BRANCH: 5293e12c5d1SDavid du Colombier l = a->offset; 5303e12c5d1SDavid du Colombier Bputc(b, l); 5313e12c5d1SDavid du Colombier Bputc(b, l>>8); 5323e12c5d1SDavid du Colombier Bputc(b, l>>16); 5333e12c5d1SDavid du Colombier Bputc(b, l>>24); 5343e12c5d1SDavid du Colombier break; 5353e12c5d1SDavid du Colombier 5363e12c5d1SDavid du Colombier case D_SCONST: 5373e12c5d1SDavid du Colombier n = a->sval; 5383e12c5d1SDavid du Colombier for(i=0; i<NSNAME; i++) { 5393e12c5d1SDavid du Colombier Bputc(b, *n); 5403e12c5d1SDavid du Colombier n++; 5413e12c5d1SDavid du Colombier } 5423e12c5d1SDavid du Colombier break; 5433e12c5d1SDavid du Colombier 5443e12c5d1SDavid du Colombier case D_FCONST: 5453e12c5d1SDavid du Colombier ieeedtod(&e, a->dval); 5463e12c5d1SDavid du Colombier l = e.l; 5473e12c5d1SDavid du Colombier Bputc(b, l); 5483e12c5d1SDavid du Colombier Bputc(b, l>>8); 5493e12c5d1SDavid du Colombier Bputc(b, l>>16); 5503e12c5d1SDavid du Colombier Bputc(b, l>>24); 5513e12c5d1SDavid du Colombier l = e.h; 5523e12c5d1SDavid du Colombier Bputc(b, l); 5533e12c5d1SDavid du Colombier Bputc(b, l>>8); 5543e12c5d1SDavid du Colombier Bputc(b, l>>16); 5553e12c5d1SDavid du Colombier Bputc(b, l>>24); 5563e12c5d1SDavid du Colombier break; 5573e12c5d1SDavid du Colombier } 5583e12c5d1SDavid du Colombier } 5593e12c5d1SDavid du Colombier 5603e12c5d1SDavid du Colombier void 5613e12c5d1SDavid du Colombier ieeedtod(Ieee *ieee, double native) 5623e12c5d1SDavid du Colombier { 5633e12c5d1SDavid du Colombier double fr, ho, f; 5643e12c5d1SDavid du Colombier int exp; 5653e12c5d1SDavid du Colombier 5663e12c5d1SDavid du Colombier if(native < 0) { 5673e12c5d1SDavid du Colombier ieeedtod(ieee, -native); 5683e12c5d1SDavid du Colombier ieee->h |= 0x80000000L; 5693e12c5d1SDavid du Colombier return; 5703e12c5d1SDavid du Colombier } 5713e12c5d1SDavid du Colombier if(native == 0) { 5723e12c5d1SDavid du Colombier ieee->l = 0; 5733e12c5d1SDavid du Colombier ieee->h = 0; 5743e12c5d1SDavid du Colombier return; 5753e12c5d1SDavid du Colombier } 5763e12c5d1SDavid du Colombier fr = frexp(native, &exp); 5773e12c5d1SDavid du Colombier f = 2097152L; /* shouldnt use fp constants here */ 5783e12c5d1SDavid du Colombier fr = modf(fr*f, &ho); 5793e12c5d1SDavid du Colombier ieee->h = ho; 5803e12c5d1SDavid du Colombier ieee->h &= 0xfffffL; 5813e12c5d1SDavid du Colombier ieee->h |= (exp+1022L) << 20; 5823e12c5d1SDavid du Colombier f = 65536L; 5833e12c5d1SDavid du Colombier fr = modf(fr*f, &ho); 5843e12c5d1SDavid du Colombier ieee->l = ho; 5853e12c5d1SDavid du Colombier ieee->l <<= 16; 5863e12c5d1SDavid du Colombier ieee->l |= (long)(fr*f); 5873e12c5d1SDavid du Colombier } 5883e12c5d1SDavid du Colombier 5897dd7cddfSDavid du Colombier long 5907dd7cddfSDavid du Colombier align(long i, Type *t, int op) 5913e12c5d1SDavid du Colombier { 5927dd7cddfSDavid du Colombier long o; 5937dd7cddfSDavid du Colombier Type *v; 5947dd7cddfSDavid du Colombier int w; 5953e12c5d1SDavid du Colombier 5967dd7cddfSDavid du Colombier o = i; 5977dd7cddfSDavid du Colombier w = 1; 5987dd7cddfSDavid du Colombier switch(op) { 5997dd7cddfSDavid du Colombier default: 6007dd7cddfSDavid du Colombier diag(Z, "unknown align opcode %d", op); 6017dd7cddfSDavid du Colombier break; 6027dd7cddfSDavid du Colombier 6037dd7cddfSDavid du Colombier case Asu2: /* padding at end of a struct */ 6047dd7cddfSDavid du Colombier w = SZ_LONG; 6059847521cSDavid du Colombier if(packflg) 6069847521cSDavid du Colombier w = packflg; 6077dd7cddfSDavid du Colombier break; 6087dd7cddfSDavid du Colombier 6097dd7cddfSDavid du Colombier case Ael1: /* initial allign of struct element */ 6107dd7cddfSDavid du Colombier for(v=t; v->etype==TARRAY; v=v->link) 6117dd7cddfSDavid du Colombier ; 6127dd7cddfSDavid du Colombier w = ewidth[v->etype]; 6137dd7cddfSDavid du Colombier if(w <= 0 || w >= SZ_LONG) 6147dd7cddfSDavid du Colombier w = SZ_LONG; 6159847521cSDavid du Colombier if(packflg) 6169847521cSDavid du Colombier w = packflg; 6177dd7cddfSDavid du Colombier break; 6187dd7cddfSDavid du Colombier 6197dd7cddfSDavid du Colombier case Ael2: /* width of a struct element */ 6207dd7cddfSDavid du Colombier o += t->width; 6217dd7cddfSDavid du Colombier break; 6227dd7cddfSDavid du Colombier 6237dd7cddfSDavid du Colombier case Aarg0: /* initial passbyptr argument in arg list */ 6247dd7cddfSDavid du Colombier if(typesuv[t->etype]) { 6257dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg1); 6267dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg2); 6277dd7cddfSDavid du Colombier } 6287dd7cddfSDavid du Colombier break; 6297dd7cddfSDavid du Colombier 6307dd7cddfSDavid du Colombier case Aarg1: /* initial allign of parameter */ 6317dd7cddfSDavid du Colombier w = ewidth[t->etype]; 6327dd7cddfSDavid du Colombier if(w <= 0 || w >= SZ_LONG) { 6337dd7cddfSDavid du Colombier w = SZ_LONG; 6347dd7cddfSDavid du Colombier break; 6357dd7cddfSDavid du Colombier } 6367dd7cddfSDavid du Colombier o += SZ_LONG - w; /* big endian adjustment */ 6377dd7cddfSDavid du Colombier w = 1; 6387dd7cddfSDavid du Colombier break; 6397dd7cddfSDavid du Colombier 6407dd7cddfSDavid du Colombier case Aarg2: /* width of a parameter */ 6417dd7cddfSDavid du Colombier o += t->width; 6427dd7cddfSDavid du Colombier w = SZ_LONG; 6437dd7cddfSDavid du Colombier break; 6447dd7cddfSDavid du Colombier 6457dd7cddfSDavid du Colombier case Aaut3: /* total allign of automatic */ 6467dd7cddfSDavid du Colombier o = align(o, t, Ael1); 6477dd7cddfSDavid du Colombier o = align(o, t, Ael2); 6487dd7cddfSDavid du Colombier break; 6497dd7cddfSDavid du Colombier } 6507dd7cddfSDavid du Colombier o = round(o, w); 6517dd7cddfSDavid du Colombier if(debug['A']) 6527dd7cddfSDavid du Colombier print("align %s %ld %T = %ld\n", bnames[op], i, t, o); 6537dd7cddfSDavid du Colombier return o; 6543e12c5d1SDavid du Colombier } 655219b2ee8SDavid du Colombier 6567dd7cddfSDavid du Colombier long 6577dd7cddfSDavid du Colombier maxround(long max, long v) 658219b2ee8SDavid du Colombier { 6597dd7cddfSDavid du Colombier v += SZ_LONG-1; 6607dd7cddfSDavid du Colombier if(v > max) 6617dd7cddfSDavid du Colombier max = round(v, SZ_LONG); 6627dd7cddfSDavid du Colombier return max; 663219b2ee8SDavid du Colombier } 664