17dd7cddfSDavid du Colombier #include "gc.h"
27dd7cddfSDavid du Colombier
36891d857SDavid du Colombier static int doubleflag;
46891d857SDavid du Colombier
57dd7cddfSDavid du Colombier void
swit1(C1 * q,int nc,long def,Node * n)64ac975e2SDavid du Colombier swit1(C1 *q, int nc, long def, Node *n)
77dd7cddfSDavid du Colombier {
87dd7cddfSDavid du Colombier Node tn;
97dd7cddfSDavid du Colombier
107dd7cddfSDavid du Colombier regalloc(&tn, ®node, Z);
114ac975e2SDavid du Colombier swit2(q, nc, def, n, &tn);
127dd7cddfSDavid du Colombier regfree(&tn);
137dd7cddfSDavid du Colombier }
147dd7cddfSDavid du Colombier
157dd7cddfSDavid du Colombier void
swit2(C1 * q,int nc,long def,Node * n,Node * tn)164ac975e2SDavid du Colombier swit2(C1 *q, int nc, long def, Node *n, Node *tn)
177dd7cddfSDavid du Colombier {
187dd7cddfSDavid du Colombier C1 *r;
197dd7cddfSDavid du Colombier int i;
207dd7cddfSDavid du Colombier Prog *sp;
217dd7cddfSDavid du Colombier
227dd7cddfSDavid du Colombier if(nc < 5) {
237dd7cddfSDavid du Colombier for(i=0; i<nc; i++) {
247dd7cddfSDavid du Colombier if(sval(q->val)) {
257dd7cddfSDavid du Colombier gopcode(OEQ, n, Z, nodconst(q->val));
267dd7cddfSDavid du Colombier } else {
277dd7cddfSDavid du Colombier gopcode(OSUB, nodconst(q->val), n, tn);
287dd7cddfSDavid du Colombier gopcode(OEQ, tn, Z, nodconst(0));
297dd7cddfSDavid du Colombier }
307dd7cddfSDavid du Colombier patch(p, q->label);
317dd7cddfSDavid du Colombier q++;
327dd7cddfSDavid du Colombier }
337dd7cddfSDavid du Colombier gbranch(OGOTO);
347dd7cddfSDavid du Colombier patch(p, def);
357dd7cddfSDavid du Colombier return;
367dd7cddfSDavid du Colombier }
377dd7cddfSDavid du Colombier i = nc / 2;
387dd7cddfSDavid du Colombier r = q+i;
397dd7cddfSDavid du Colombier if(sval(r->val)) {
407dd7cddfSDavid du Colombier gopcode(OGT, n, Z, nodconst(r->val));
417dd7cddfSDavid du Colombier sp = p;
427dd7cddfSDavid du Colombier } else {
437dd7cddfSDavid du Colombier gopcode(OSUB, nodconst(r->val), n, tn);
447dd7cddfSDavid du Colombier gopcode(OGT, tn, Z, nodconst(0));
457dd7cddfSDavid du Colombier sp = p;
467dd7cddfSDavid du Colombier }
477dd7cddfSDavid du Colombier gbranch(OGOTO);
487dd7cddfSDavid du Colombier p->as = ABEQ;
497dd7cddfSDavid du Colombier patch(p, r->label);
504ac975e2SDavid du Colombier swit2(q, i, def, n, tn);
517dd7cddfSDavid du Colombier
527dd7cddfSDavid du Colombier patch(sp, pc);
534ac975e2SDavid du Colombier swit2(r+1, nc-i-1, def, n, tn);
547dd7cddfSDavid du Colombier }
557dd7cddfSDavid du Colombier
567dd7cddfSDavid du Colombier void
bitload(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)577dd7cddfSDavid du Colombier bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
587dd7cddfSDavid du Colombier {
597dd7cddfSDavid du Colombier int sh;
607dd7cddfSDavid du Colombier long v;
617dd7cddfSDavid du Colombier Node *l;
627dd7cddfSDavid du Colombier
637dd7cddfSDavid du Colombier /*
647dd7cddfSDavid du Colombier * n1 gets adjusted/masked value
657dd7cddfSDavid du Colombier * n2 gets address of cell
667dd7cddfSDavid du Colombier * n3 gets contents of cell
677dd7cddfSDavid du Colombier */
687dd7cddfSDavid du Colombier l = b->left;
697dd7cddfSDavid du Colombier if(n2 != Z) {
707dd7cddfSDavid du Colombier regalloc(n1, l, nn);
717dd7cddfSDavid du Colombier reglcgen(n2, l, Z);
727dd7cddfSDavid du Colombier regalloc(n3, l, Z);
737dd7cddfSDavid du Colombier gopcode(OAS, n2, Z, n3);
747dd7cddfSDavid du Colombier gopcode(OAS, n3, Z, n1);
757dd7cddfSDavid du Colombier } else {
767dd7cddfSDavid du Colombier regalloc(n1, l, nn);
777dd7cddfSDavid du Colombier cgen(l, n1);
787dd7cddfSDavid du Colombier }
797dd7cddfSDavid du Colombier if(b->type->shift == 0 && typeu[b->type->etype]) {
807dd7cddfSDavid du Colombier v = ~0 + (1L << b->type->nbits);
817dd7cddfSDavid du Colombier gopcode(OAND, nodconst(v), Z, n1);
827dd7cddfSDavid du Colombier } else {
837dd7cddfSDavid du Colombier sh = 32 - b->type->shift - b->type->nbits;
847dd7cddfSDavid du Colombier if(sh > 0)
857dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(sh), Z, n1);
867dd7cddfSDavid du Colombier sh += b->type->shift;
877dd7cddfSDavid du Colombier if(sh > 0)
887dd7cddfSDavid du Colombier if(typeu[b->type->etype])
897dd7cddfSDavid du Colombier gopcode(OLSHR, nodconst(sh), Z, n1);
907dd7cddfSDavid du Colombier else
917dd7cddfSDavid du Colombier gopcode(OASHR, nodconst(sh), Z, n1);
927dd7cddfSDavid du Colombier }
937dd7cddfSDavid du Colombier }
947dd7cddfSDavid du Colombier
957dd7cddfSDavid du Colombier void
bitstore(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)967dd7cddfSDavid du Colombier bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
977dd7cddfSDavid du Colombier {
987dd7cddfSDavid du Colombier long v;
997dd7cddfSDavid du Colombier Node nod, *l;
1007dd7cddfSDavid du Colombier int sh;
1017dd7cddfSDavid du Colombier
1027dd7cddfSDavid du Colombier /*
1037dd7cddfSDavid du Colombier * n1 has adjusted/masked value
1047dd7cddfSDavid du Colombier * n2 has address of cell
1057dd7cddfSDavid du Colombier * n3 has contents of cell
1067dd7cddfSDavid du Colombier */
1077dd7cddfSDavid du Colombier l = b->left;
1087dd7cddfSDavid du Colombier regalloc(&nod, l, Z);
1097dd7cddfSDavid du Colombier v = ~0 + (1L << b->type->nbits);
1107dd7cddfSDavid du Colombier gopcode(OAND, nodconst(v), Z, n1);
1117dd7cddfSDavid du Colombier gopcode(OAS, n1, Z, &nod);
1127dd7cddfSDavid du Colombier if(nn != Z)
1137dd7cddfSDavid du Colombier gopcode(OAS, n1, Z, nn);
1147dd7cddfSDavid du Colombier sh = b->type->shift;
1157dd7cddfSDavid du Colombier if(sh > 0)
1167dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(sh), Z, &nod);
1177dd7cddfSDavid du Colombier v <<= sh;
1187dd7cddfSDavid du Colombier gopcode(OAND, nodconst(~v), Z, n3);
1197dd7cddfSDavid du Colombier gopcode(OOR, n3, Z, &nod);
1207dd7cddfSDavid du Colombier gopcode(OAS, &nod, Z, n2);
1217dd7cddfSDavid du Colombier
1227dd7cddfSDavid du Colombier regfree(&nod);
1237dd7cddfSDavid du Colombier regfree(n1);
1247dd7cddfSDavid du Colombier regfree(n2);
1257dd7cddfSDavid du Colombier regfree(n3);
1267dd7cddfSDavid du Colombier }
1277dd7cddfSDavid du Colombier
1287dd7cddfSDavid du Colombier long
outstring(char * s,long n)1297dd7cddfSDavid du Colombier outstring(char *s, long n)
1307dd7cddfSDavid du Colombier {
1317dd7cddfSDavid du Colombier long r;
1327dd7cddfSDavid du Colombier
133375daca8SDavid du Colombier if(suppress)
134375daca8SDavid du Colombier return nstring;
1357dd7cddfSDavid du Colombier r = nstring;
1367dd7cddfSDavid du Colombier while(n) {
1377dd7cddfSDavid du Colombier string[mnstring] = *s++;
1387dd7cddfSDavid du Colombier mnstring++;
1397dd7cddfSDavid du Colombier nstring++;
1407dd7cddfSDavid du Colombier if(mnstring >= NSNAME) {
1417dd7cddfSDavid du Colombier gpseudo(ADATA, symstring, nodconst(0L));
1427dd7cddfSDavid du Colombier p->from.offset += nstring - NSNAME;
1437dd7cddfSDavid du Colombier p->reg = NSNAME;
1447dd7cddfSDavid du Colombier p->to.type = D_SCONST;
1457dd7cddfSDavid du Colombier memmove(p->to.sval, string, NSNAME);
1467dd7cddfSDavid du Colombier mnstring = 0;
1477dd7cddfSDavid du Colombier }
1487dd7cddfSDavid du Colombier n--;
1497dd7cddfSDavid du Colombier }
1507dd7cddfSDavid du Colombier return r;
1517dd7cddfSDavid du Colombier }
1527dd7cddfSDavid du Colombier
1537dd7cddfSDavid du Colombier int
mulcon(Node * n,Node * nn)1547dd7cddfSDavid du Colombier mulcon(Node *n, Node *nn)
1557dd7cddfSDavid du Colombier {
1567dd7cddfSDavid du Colombier Node *l, *r, nod1, nod2;
1577dd7cddfSDavid du Colombier Multab *m;
1587dd7cddfSDavid du Colombier long v;
1597dd7cddfSDavid du Colombier int o;
1607dd7cddfSDavid du Colombier char code[sizeof(m->code)+2], *p;
1617dd7cddfSDavid du Colombier
1627dd7cddfSDavid du Colombier if(typefd[n->type->etype])
1637dd7cddfSDavid du Colombier return 0;
1647dd7cddfSDavid du Colombier l = n->left;
1657dd7cddfSDavid du Colombier r = n->right;
1667dd7cddfSDavid du Colombier if(l->op == OCONST) {
1677dd7cddfSDavid du Colombier l = r;
1687dd7cddfSDavid du Colombier r = n->left;
1697dd7cddfSDavid du Colombier }
1707dd7cddfSDavid du Colombier if(r->op != OCONST)
1717dd7cddfSDavid du Colombier return 0;
1727dd7cddfSDavid du Colombier v = convvtox(r->vconst, n->type->etype);
1737dd7cddfSDavid du Colombier if(v != r->vconst) {
1747dd7cddfSDavid du Colombier if(debug['M'])
1757dd7cddfSDavid du Colombier print("%L multiply conv: %lld\n", n->lineno, r->vconst);
1767dd7cddfSDavid du Colombier return 0;
1777dd7cddfSDavid du Colombier }
1787dd7cddfSDavid du Colombier m = mulcon0(n, v);
1797dd7cddfSDavid du Colombier if(!m) {
1807dd7cddfSDavid du Colombier if(debug['M'])
1817dd7cddfSDavid du Colombier print("%L multiply table: %lld\n", n->lineno, r->vconst);
1827dd7cddfSDavid du Colombier return 0;
1837dd7cddfSDavid du Colombier }
1847dd7cddfSDavid du Colombier
1857dd7cddfSDavid du Colombier memmove(code, m->code, sizeof(m->code));
1867dd7cddfSDavid du Colombier code[sizeof(m->code)] = 0;
1877dd7cddfSDavid du Colombier
1887dd7cddfSDavid du Colombier p = code;
1897dd7cddfSDavid du Colombier if(p[1] == 'i')
1907dd7cddfSDavid du Colombier p += 2;
1917dd7cddfSDavid du Colombier regalloc(&nod1, n, nn);
1927dd7cddfSDavid du Colombier cgen(l, &nod1);
1937dd7cddfSDavid du Colombier if(v < 0)
1947dd7cddfSDavid du Colombier gopcode(ONEG, &nod1, Z, &nod1);
1957dd7cddfSDavid du Colombier regalloc(&nod2, n, Z);
1967dd7cddfSDavid du Colombier
1977dd7cddfSDavid du Colombier loop:
1987dd7cddfSDavid du Colombier switch(*p) {
1997dd7cddfSDavid du Colombier case 0:
2007dd7cddfSDavid du Colombier regfree(&nod2);
2017dd7cddfSDavid du Colombier gopcode(OAS, &nod1, Z, nn);
2027dd7cddfSDavid du Colombier regfree(&nod1);
2037dd7cddfSDavid du Colombier return 1;
2047dd7cddfSDavid du Colombier case '+':
2057dd7cddfSDavid du Colombier o = OADD;
2067dd7cddfSDavid du Colombier goto addsub;
2077dd7cddfSDavid du Colombier case '-':
2087dd7cddfSDavid du Colombier o = OSUB;
2097dd7cddfSDavid du Colombier addsub: /* number is r,n,l */
2107dd7cddfSDavid du Colombier v = p[1] - '0';
2117dd7cddfSDavid du Colombier r = &nod1;
2127dd7cddfSDavid du Colombier if(v&4)
2137dd7cddfSDavid du Colombier r = &nod2;
2147dd7cddfSDavid du Colombier n = &nod1;
2157dd7cddfSDavid du Colombier if(v&2)
2167dd7cddfSDavid du Colombier n = &nod2;
2177dd7cddfSDavid du Colombier l = &nod1;
2187dd7cddfSDavid du Colombier if(v&1)
2197dd7cddfSDavid du Colombier l = &nod2;
2207dd7cddfSDavid du Colombier gopcode(o, l, n, r);
2217dd7cddfSDavid du Colombier break;
2227dd7cddfSDavid du Colombier default: /* op is shiftcount, number is r,l */
2237dd7cddfSDavid du Colombier v = p[1] - '0';
2247dd7cddfSDavid du Colombier r = &nod1;
2257dd7cddfSDavid du Colombier if(v&2)
2267dd7cddfSDavid du Colombier r = &nod2;
2277dd7cddfSDavid du Colombier l = &nod1;
2287dd7cddfSDavid du Colombier if(v&1)
2297dd7cddfSDavid du Colombier l = &nod2;
2307dd7cddfSDavid du Colombier v = *p - 'a';
2317dd7cddfSDavid du Colombier if(v < 0 || v >= 32) {
2327dd7cddfSDavid du Colombier diag(n, "mulcon unknown op: %c%c", p[0], p[1]);
2337dd7cddfSDavid du Colombier break;
2347dd7cddfSDavid du Colombier }
2357dd7cddfSDavid du Colombier gopcode(OASHL, nodconst(v), l, r);
2367dd7cddfSDavid du Colombier break;
2377dd7cddfSDavid du Colombier }
2387dd7cddfSDavid du Colombier p += 2;
2397dd7cddfSDavid du Colombier goto loop;
2407dd7cddfSDavid du Colombier }
2417dd7cddfSDavid du Colombier
2427dd7cddfSDavid du Colombier void
gextern(Sym * s,Node * a,long o,long w)2437dd7cddfSDavid du Colombier gextern(Sym *s, Node *a, long o, long w)
2447dd7cddfSDavid du Colombier {
2457dd7cddfSDavid du Colombier if(a->op == OCONST && typev[a->type->etype]) {
24680ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */
2477dd7cddfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32));
24880ee5cbfSDavid du Colombier else
24980ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst));
2507dd7cddfSDavid du Colombier p->from.offset += o;
2517dd7cddfSDavid du Colombier p->reg = 4;
25280ee5cbfSDavid du Colombier if(align(0, types[TCHAR], Aarg1)) /* isbigendian */
2537dd7cddfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst));
25480ee5cbfSDavid du Colombier else
25580ee5cbfSDavid du Colombier gpseudo(ADATA, s, nod32const(a->vconst>>32));
2567dd7cddfSDavid du Colombier p->from.offset += o + 4;
2577dd7cddfSDavid du Colombier p->reg = 4;
2587dd7cddfSDavid du Colombier return;
2597dd7cddfSDavid du Colombier }
2607dd7cddfSDavid du Colombier gpseudo(ADATA, s, a);
2617dd7cddfSDavid du Colombier p->from.offset += o;
2627dd7cddfSDavid du Colombier p->reg = w;
2637dd7cddfSDavid du Colombier if(p->to.type == D_OREG)
2647dd7cddfSDavid du Colombier p->to.type = D_CONST;
2657dd7cddfSDavid du Colombier }
2667dd7cddfSDavid du Colombier
267375daca8SDavid du Colombier void zname(Biobuf*, Sym*, int);
2687dd7cddfSDavid du Colombier char* zaddr(char*, Adr*, int);
2697dd7cddfSDavid du Colombier void zwrite(Biobuf*, Prog*, int, int);
2707dd7cddfSDavid du Colombier void outhist(Biobuf*);
2717dd7cddfSDavid du Colombier
2727dd7cddfSDavid du Colombier void
outcode(void)2737dd7cddfSDavid du Colombier outcode(void)
2747dd7cddfSDavid du Colombier {
2757dd7cddfSDavid du Colombier struct { Sym *sym; short type; } h[NSYM];
2767dd7cddfSDavid du Colombier Prog *p;
2777dd7cddfSDavid du Colombier Sym *s;
2787dd7cddfSDavid du Colombier int sf, st, t, sym;
2797dd7cddfSDavid du Colombier
2807dd7cddfSDavid du Colombier if(debug['S']) {
2817dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link)
2827dd7cddfSDavid du Colombier if(p->as != ADATA && p->as != AGLOBL)
2837dd7cddfSDavid du Colombier pc--;
2847dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link) {
2857dd7cddfSDavid du Colombier print("%P\n", p);
2867dd7cddfSDavid du Colombier if(p->as != ADATA && p->as != AGLOBL)
2877dd7cddfSDavid du Colombier pc++;
2887dd7cddfSDavid du Colombier }
2897dd7cddfSDavid du Colombier }
2907dd7cddfSDavid du Colombier outhist(&outbuf);
2917dd7cddfSDavid du Colombier for(sym=0; sym<NSYM; sym++) {
2927dd7cddfSDavid du Colombier h[sym].sym = S;
2937dd7cddfSDavid du Colombier h[sym].type = 0;
2947dd7cddfSDavid du Colombier }
2957dd7cddfSDavid du Colombier sym = 1;
2967dd7cddfSDavid du Colombier for(p = firstp; p != P; p = p->link) {
2977dd7cddfSDavid du Colombier jackpot:
2987dd7cddfSDavid du Colombier sf = 0;
2997dd7cddfSDavid du Colombier s = p->from.sym;
3007dd7cddfSDavid du Colombier while(s != S) {
3017dd7cddfSDavid du Colombier sf = s->sym;
3027dd7cddfSDavid du Colombier if(sf < 0 || sf >= NSYM)
3037dd7cddfSDavid du Colombier sf = 0;
3047dd7cddfSDavid du Colombier t = p->from.name;
3057dd7cddfSDavid du Colombier if(h[sf].type == t)
3067dd7cddfSDavid du Colombier if(h[sf].sym == s)
3077dd7cddfSDavid du Colombier break;
3087dd7cddfSDavid du Colombier s->sym = sym;
309375daca8SDavid du Colombier zname(&outbuf, s, t);
3107dd7cddfSDavid du Colombier h[sym].sym = s;
3117dd7cddfSDavid du Colombier h[sym].type = t;
3127dd7cddfSDavid du Colombier sf = sym;
3137dd7cddfSDavid du Colombier sym++;
3147dd7cddfSDavid du Colombier if(sym >= NSYM)
3157dd7cddfSDavid du Colombier sym = 1;
3167dd7cddfSDavid du Colombier break;
3177dd7cddfSDavid du Colombier }
3187dd7cddfSDavid du Colombier st = 0;
3197dd7cddfSDavid du Colombier s = p->to.sym;
3207dd7cddfSDavid du Colombier while(s != S) {
3217dd7cddfSDavid du Colombier st = s->sym;
3227dd7cddfSDavid du Colombier if(st < 0 || st >= NSYM)
3237dd7cddfSDavid du Colombier st = 0;
3247dd7cddfSDavid du Colombier t = p->to.name;
3257dd7cddfSDavid du Colombier if(h[st].type == t)
3267dd7cddfSDavid du Colombier if(h[st].sym == s)
3277dd7cddfSDavid du Colombier break;
3287dd7cddfSDavid du Colombier s->sym = sym;
329375daca8SDavid du Colombier zname(&outbuf, s, t);
3307dd7cddfSDavid du Colombier h[sym].sym = s;
3317dd7cddfSDavid du Colombier h[sym].type = t;
3327dd7cddfSDavid du Colombier st = sym;
3337dd7cddfSDavid du Colombier sym++;
3347dd7cddfSDavid du Colombier if(sym >= NSYM)
3357dd7cddfSDavid du Colombier sym = 1;
3367dd7cddfSDavid du Colombier if(st == sf)
3377dd7cddfSDavid du Colombier goto jackpot;
3387dd7cddfSDavid du Colombier break;
3397dd7cddfSDavid du Colombier }
3407dd7cddfSDavid du Colombier zwrite(&outbuf, p, sf, st);
3417dd7cddfSDavid du Colombier }
3427dd7cddfSDavid du Colombier firstp = P;
3437dd7cddfSDavid du Colombier lastp = P;
3447dd7cddfSDavid du Colombier }
3457dd7cddfSDavid du Colombier
3467dd7cddfSDavid du Colombier void
zwrite(Biobuf * b,Prog * p,int sf,int st)3477dd7cddfSDavid du Colombier zwrite(Biobuf *b, Prog *p, int sf, int st)
3487dd7cddfSDavid du Colombier {
3497dd7cddfSDavid du Colombier char bf[100], *bp;
3507dd7cddfSDavid du Colombier long l;
3517dd7cddfSDavid du Colombier
3527dd7cddfSDavid du Colombier bf[0] = p->as;
3536891d857SDavid du Colombier bf[1] = p->as>>8;
3546891d857SDavid du Colombier bf[2] = p->reg;
3556891d857SDavid du Colombier if(p->from3.type != D_NONE)
3566891d857SDavid du Colombier bf[2] |= 0x40;
3577dd7cddfSDavid du Colombier l = p->lineno;
3586891d857SDavid du Colombier bf[3] = l;
3596891d857SDavid du Colombier bf[4] = l>>8;
3606891d857SDavid du Colombier bf[5] = l>>16;
3616891d857SDavid du Colombier bf[6] = l>>24;
3626891d857SDavid du Colombier bp = zaddr(bf+7, &p->from, sf);
3636891d857SDavid du Colombier if(bf[2] & 0x40)
3646891d857SDavid du Colombier bp = zaddr(bp, &p->from3, 0);
3657dd7cddfSDavid du Colombier bp = zaddr(bp, &p->to, st);
3667dd7cddfSDavid du Colombier Bwrite(b, bf, bp-bf);
3677dd7cddfSDavid du Colombier }
3687dd7cddfSDavid du Colombier
3697dd7cddfSDavid du Colombier void
outhist(Biobuf * b)3707dd7cddfSDavid du Colombier outhist(Biobuf *b)
3717dd7cddfSDavid du Colombier {
3727dd7cddfSDavid du Colombier Hist *h;
373375daca8SDavid du Colombier char *p, *q, *op, c;
3747dd7cddfSDavid du Colombier Prog pg;
3757dd7cddfSDavid du Colombier int n;
3767dd7cddfSDavid du Colombier
3777dd7cddfSDavid du Colombier pg = zprog;
3787dd7cddfSDavid du Colombier pg.as = AHISTORY;
379375daca8SDavid du Colombier c = pathchar();
3807dd7cddfSDavid du Colombier for(h = hist; h != H; h = h->link) {
3817dd7cddfSDavid du Colombier p = h->name;
3827dd7cddfSDavid du Colombier op = 0;
383375daca8SDavid du Colombier /* on windows skip drive specifier in pathname */
384375daca8SDavid du Colombier if(systemtype(Windows) && p && p[1] == ':'){
385375daca8SDavid du Colombier p += 2;
386375daca8SDavid du Colombier c = *p;
387375daca8SDavid du Colombier }
388375daca8SDavid du Colombier if(p && p[0] != c && h->offset == 0 && pathname){
389375daca8SDavid du Colombier /* on windows skip drive specifier in pathname */
390375daca8SDavid du Colombier if(systemtype(Windows) && pathname[1] == ':') {
391375daca8SDavid du Colombier op = p;
392375daca8SDavid du Colombier p = pathname+2;
393375daca8SDavid du Colombier c = *p;
394375daca8SDavid du Colombier } else if(pathname[0] == c){
3957dd7cddfSDavid du Colombier op = p;
3967dd7cddfSDavid du Colombier p = pathname;
3977dd7cddfSDavid du Colombier }
398375daca8SDavid du Colombier }
3997dd7cddfSDavid du Colombier while(p) {
400375daca8SDavid du Colombier q = utfrune(p, c);
4017dd7cddfSDavid du Colombier if(q) {
4027dd7cddfSDavid du Colombier n = q-p;
403375daca8SDavid du Colombier if(n == 0){
4047dd7cddfSDavid du Colombier n = 1; /* leading "/" */
405375daca8SDavid du Colombier *p = '/'; /* don't emit "\" on windows */
406375daca8SDavid du Colombier }
4077dd7cddfSDavid du Colombier q++;
4087dd7cddfSDavid du Colombier } else {
4097dd7cddfSDavid du Colombier n = strlen(p);
4107dd7cddfSDavid du Colombier q = 0;
4117dd7cddfSDavid du Colombier }
4127dd7cddfSDavid du Colombier if(n) {
4137dd7cddfSDavid du Colombier Bputc(b, ANAME);
4146891d857SDavid du Colombier Bputc(b, ANAME>>8);
4157dd7cddfSDavid du Colombier Bputc(b, D_FILE);
4167dd7cddfSDavid du Colombier Bputc(b, 1);
4177dd7cddfSDavid du Colombier Bputc(b, '<');
4187dd7cddfSDavid du Colombier Bwrite(b, p, n);
4197dd7cddfSDavid du Colombier Bputc(b, 0);
4207dd7cddfSDavid du Colombier }
4217dd7cddfSDavid du Colombier p = q;
4227dd7cddfSDavid du Colombier if(p == 0 && op) {
4237dd7cddfSDavid du Colombier p = op;
4247dd7cddfSDavid du Colombier op = 0;
4257dd7cddfSDavid du Colombier }
4267dd7cddfSDavid du Colombier }
4277dd7cddfSDavid du Colombier pg.lineno = h->line;
4287dd7cddfSDavid du Colombier pg.to.type = zprog.to.type;
4297dd7cddfSDavid du Colombier pg.to.offset = h->offset;
4307dd7cddfSDavid du Colombier if(h->offset)
4317dd7cddfSDavid du Colombier pg.to.type = D_CONST;
4327dd7cddfSDavid du Colombier
4337dd7cddfSDavid du Colombier zwrite(b, &pg, 0, 0);
4347dd7cddfSDavid du Colombier }
4357dd7cddfSDavid du Colombier }
4367dd7cddfSDavid du Colombier
4377dd7cddfSDavid du Colombier void
zname(Biobuf * b,Sym * s,int t)438375daca8SDavid du Colombier zname(Biobuf *b, Sym *s, int t)
4397dd7cddfSDavid du Colombier {
4406891d857SDavid du Colombier char *n, bf[8];
441375daca8SDavid du Colombier ulong sig;
4427dd7cddfSDavid du Colombier
443375daca8SDavid du Colombier n = s->name;
444375daca8SDavid du Colombier if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){
445375daca8SDavid du Colombier sig = sign(s);
446375daca8SDavid du Colombier bf[0] = ASIGNAME;
4476891d857SDavid du Colombier bf[1] = ASIGNAME>>8;
4486891d857SDavid du Colombier bf[2] = sig;
4496891d857SDavid du Colombier bf[3] = sig>>8;
4506891d857SDavid du Colombier bf[4] = sig>>16;
4516891d857SDavid du Colombier bf[5] = sig>>24;
4526891d857SDavid du Colombier bf[6] = t;
4536891d857SDavid du Colombier bf[7] = s->sym;
4546891d857SDavid du Colombier Bwrite(b, bf, 8);
455375daca8SDavid du Colombier s->sig = SIGDONE;
456375daca8SDavid du Colombier }
457375daca8SDavid du Colombier else{
4587dd7cddfSDavid du Colombier bf[0] = ANAME;
4596891d857SDavid du Colombier bf[1] = ANAME>>8;
4606891d857SDavid du Colombier bf[2] = t; /* type */
4616891d857SDavid du Colombier bf[3] = s->sym; /* sym */
4626891d857SDavid du Colombier Bwrite(b, bf, 4);
463375daca8SDavid du Colombier }
4647dd7cddfSDavid du Colombier Bwrite(b, n, strlen(n)+1);
4657dd7cddfSDavid du Colombier }
4667dd7cddfSDavid du Colombier
4677dd7cddfSDavid du Colombier char*
zaddr(char * bp,Adr * a,int s)4687dd7cddfSDavid du Colombier zaddr(char *bp, Adr *a, int s)
4697dd7cddfSDavid du Colombier {
4707dd7cddfSDavid du Colombier long l;
4717dd7cddfSDavid du Colombier Ieee e;
4727dd7cddfSDavid du Colombier
4737dd7cddfSDavid du Colombier bp[0] = a->type;
4747dd7cddfSDavid du Colombier bp[1] = a->reg;
4757dd7cddfSDavid du Colombier bp[2] = s;
4767dd7cddfSDavid du Colombier bp[3] = a->name;
4777dd7cddfSDavid du Colombier bp += 4;
4787dd7cddfSDavid du Colombier switch(a->type) {
4797dd7cddfSDavid du Colombier default:
4807dd7cddfSDavid du Colombier diag(Z, "unknown type %d in zaddr", a->type);
4817dd7cddfSDavid du Colombier
4827dd7cddfSDavid du Colombier case D_NONE:
4837dd7cddfSDavid du Colombier case D_REG:
4847dd7cddfSDavid du Colombier case D_FREG:
4857dd7cddfSDavid du Colombier case D_CREG:
4867dd7cddfSDavid du Colombier break;
4877dd7cddfSDavid du Colombier
4887dd7cddfSDavid du Colombier case D_OREG:
4897dd7cddfSDavid du Colombier case D_CONST:
4907dd7cddfSDavid du Colombier case D_BRANCH:
4917dd7cddfSDavid du Colombier l = a->offset;
4927dd7cddfSDavid du Colombier bp[0] = l;
4937dd7cddfSDavid du Colombier bp[1] = l>>8;
4947dd7cddfSDavid du Colombier bp[2] = l>>16;
4957dd7cddfSDavid du Colombier bp[3] = l>>24;
4967dd7cddfSDavid du Colombier bp += 4;
4977dd7cddfSDavid du Colombier break;
4987dd7cddfSDavid du Colombier
4997dd7cddfSDavid du Colombier case D_SCONST:
5007dd7cddfSDavid du Colombier memmove(bp, a->sval, NSNAME);
5017dd7cddfSDavid du Colombier bp += NSNAME;
5027dd7cddfSDavid du Colombier break;
5037dd7cddfSDavid du Colombier
5047dd7cddfSDavid du Colombier case D_FCONST:
5057dd7cddfSDavid du Colombier ieeedtod(&e, a->dval);
5067dd7cddfSDavid du Colombier l = e.l;
5077dd7cddfSDavid du Colombier bp[0] = l;
5087dd7cddfSDavid du Colombier bp[1] = l>>8;
5097dd7cddfSDavid du Colombier bp[2] = l>>16;
5107dd7cddfSDavid du Colombier bp[3] = l>>24;
5117dd7cddfSDavid du Colombier bp += 4;
5127dd7cddfSDavid du Colombier l = e.h;
5137dd7cddfSDavid du Colombier bp[0] = l;
5147dd7cddfSDavid du Colombier bp[1] = l>>8;
5157dd7cddfSDavid du Colombier bp[2] = l>>16;
5167dd7cddfSDavid du Colombier bp[3] = l>>24;
5177dd7cddfSDavid du Colombier bp += 4;
5187dd7cddfSDavid du Colombier break;
5197dd7cddfSDavid du Colombier }
5207dd7cddfSDavid du Colombier return bp;
5217dd7cddfSDavid du Colombier }
5227dd7cddfSDavid du Colombier
5236891d857SDavid du Colombier static int
doubled(Type * t)5246891d857SDavid du Colombier doubled(Type *t)
5256891d857SDavid du Colombier {
5266891d857SDavid du Colombier Type *v;
5276891d857SDavid du Colombier
5286891d857SDavid du Colombier if(debug['4'])
5296891d857SDavid du Colombier return 0;
5306891d857SDavid du Colombier if(t->nbits != 0)
5316891d857SDavid du Colombier return 0;
5326891d857SDavid du Colombier switch(t->etype){
5336891d857SDavid du Colombier case TDOUBLE:
5346891d857SDavid du Colombier return 1;
5356891d857SDavid du Colombier
5366891d857SDavid du Colombier case TARRAY:
5376891d857SDavid du Colombier for(v=t; v->etype==TARRAY; v=v->link)
5386891d857SDavid du Colombier ;
5396891d857SDavid du Colombier return v->etype == TDOUBLE;
5406891d857SDavid du Colombier
5416891d857SDavid du Colombier case TSTRUCT:
5426891d857SDavid du Colombier case TUNION:
5436891d857SDavid du Colombier for(v = t->link; v != T; v = v->down)
5446891d857SDavid du Colombier if(doubled(v))
5456891d857SDavid du Colombier return 1;
5466891d857SDavid du Colombier break;
5476891d857SDavid du Colombier }
5486891d857SDavid du Colombier return 0;
5496891d857SDavid du Colombier }
5506891d857SDavid du Colombier
5517dd7cddfSDavid du Colombier long
align(long i,Type * t,int op)5527dd7cddfSDavid du Colombier align(long i, Type *t, int op)
5537dd7cddfSDavid du Colombier {
5547dd7cddfSDavid du Colombier long o;
5557dd7cddfSDavid du Colombier Type *v;
5566891d857SDavid du Colombier int w, pc;
5577dd7cddfSDavid du Colombier
5587dd7cddfSDavid du Colombier o = i;
5597dd7cddfSDavid du Colombier w = 1;
5606891d857SDavid du Colombier pc = 0;
5617dd7cddfSDavid du Colombier switch(op) {
5627dd7cddfSDavid du Colombier default:
5637dd7cddfSDavid du Colombier diag(Z, "unknown align opcode %d", op);
5647dd7cddfSDavid du Colombier break;
5657dd7cddfSDavid du Colombier
5667dd7cddfSDavid du Colombier case Asu2: /* padding at end of a struct */
5676891d857SDavid du Colombier w = doubled(t)? SZ_DOUBLE: SZ_LONG;
5689847521cSDavid du Colombier if(packflg)
5699847521cSDavid du Colombier w = packflg;
5707dd7cddfSDavid du Colombier break;
5717dd7cddfSDavid du Colombier
5726891d857SDavid du Colombier case Ael1: /* initial align of struct element (also automatic) */
5737dd7cddfSDavid du Colombier for(v=t; v->etype==TARRAY; v=v->link)
5747dd7cddfSDavid du Colombier ;
5757dd7cddfSDavid du Colombier w = ewidth[v->etype];
5766891d857SDavid du Colombier if(w <= 0 || w >= SZ_LONG){
5776891d857SDavid du Colombier if(doubled(v)){
5786891d857SDavid du Colombier w = SZ_DOUBLE;
5796891d857SDavid du Colombier doubleflag = 1;
5806891d857SDavid du Colombier }else
5817dd7cddfSDavid du Colombier w = SZ_LONG;
5826891d857SDavid du Colombier }
5839847521cSDavid du Colombier if(packflg)
5849847521cSDavid du Colombier w = packflg;
5857dd7cddfSDavid du Colombier break;
5867dd7cddfSDavid du Colombier
5877dd7cddfSDavid du Colombier case Ael2: /* width of a struct element */
5887dd7cddfSDavid du Colombier o += t->width;
5897dd7cddfSDavid du Colombier break;
5907dd7cddfSDavid du Colombier
5917dd7cddfSDavid du Colombier case Aarg0: /* initial passbyptr argument in arg list */
5927dd7cddfSDavid du Colombier if(typesuv[t->etype]) {
5937dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg1);
5947dd7cddfSDavid du Colombier o = align(o, types[TIND], Aarg2);
5957dd7cddfSDavid du Colombier }
5967dd7cddfSDavid du Colombier break;
5977dd7cddfSDavid du Colombier
5986891d857SDavid du Colombier case Aarg1: /* initial align of parameter */
5997dd7cddfSDavid du Colombier w = ewidth[t->etype];
6007dd7cddfSDavid du Colombier if(w <= 0 || w >= SZ_LONG) {
6016891d857SDavid du Colombier if(doubled(t)){
6026891d857SDavid du Colombier w = SZ_DOUBLE;
6036891d857SDavid du Colombier pc = SZ_LONG; /* alignment must account for pc */
6046891d857SDavid du Colombier hasdoubled = 1;
6056891d857SDavid du Colombier }else
6067dd7cddfSDavid du Colombier w = SZ_LONG;
6077dd7cddfSDavid du Colombier break;
6087dd7cddfSDavid du Colombier }
6097dd7cddfSDavid du Colombier o += SZ_LONG - w; /* big endian adjustment */
6107dd7cddfSDavid du Colombier w = 1;
6117dd7cddfSDavid du Colombier break;
6127dd7cddfSDavid du Colombier
6137dd7cddfSDavid du Colombier case Aarg2: /* width of a parameter */
6147dd7cddfSDavid du Colombier o += t->width;
6157dd7cddfSDavid du Colombier w = SZ_LONG;
6166891d857SDavid du Colombier if(doubled(t)){
6176891d857SDavid du Colombier pc = SZ_LONG;
6186891d857SDavid du Colombier hasdoubled = 1;
6196891d857SDavid du Colombier }
6207dd7cddfSDavid du Colombier break;
6217dd7cddfSDavid du Colombier
6226891d857SDavid du Colombier case Aaut3: /* total align of automatic */
6236891d857SDavid du Colombier doubleflag = 0;
6247dd7cddfSDavid du Colombier o = align(o, t, Ael1);
6257dd7cddfSDavid du Colombier o = align(o, t, Ael2);
6266891d857SDavid du Colombier hasdoubled |= doubleflag;
6277dd7cddfSDavid du Colombier break;
6287dd7cddfSDavid du Colombier }
6296891d857SDavid du Colombier o = round(o+pc, w)-pc;
6307dd7cddfSDavid du Colombier if(debug['A'])
6317dd7cddfSDavid du Colombier print("align %s %ld %T = %ld\n", bnames[op], i, t, o);
6327dd7cddfSDavid du Colombier return o;
6337dd7cddfSDavid du Colombier }
6347dd7cddfSDavid du Colombier
6357dd7cddfSDavid du Colombier long
maxround(long max,long v)6367dd7cddfSDavid du Colombier maxround(long max, long v)
6377dd7cddfSDavid du Colombier {
6386891d857SDavid du Colombier int w;
6396891d857SDavid du Colombier
6406891d857SDavid du Colombier w = SZ_LONG;
6416891d857SDavid du Colombier if((debug['8'] || hasdoubled) && !debug['4'])
6426891d857SDavid du Colombier w = SZ_DOUBLE;
643*85e2e562SDavid du Colombier v = round(v, w);
6447dd7cddfSDavid du Colombier if(v > max)
645*85e2e562SDavid du Colombier return v;
6467dd7cddfSDavid du Colombier return max;
6477dd7cddfSDavid du Colombier }
648