xref: /plan9-contrib/sys/src/cmd/kc/swt.c (revision 4ac975e2e38b792d24bc60de7fce5e6173f046ea)
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, &regnode, 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