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