xref: /plan9/sys/src/cmd/vc/swt.c (revision 178702b161d3fe3e021aa6cb2f305be898e56ca0)
13e12c5d1SDavid du Colombier #include "gc.h"
23e12c5d1SDavid du Colombier 
33e12c5d1SDavid du Colombier void
swit1(C1 * q,int nc,long def,Node * n)44ac975e2SDavid 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);
94ac975e2SDavid du Colombier 	swit2(q, nc, def, n, &tn);
103e12c5d1SDavid du Colombier 	regfree(&tn);
113e12c5d1SDavid du Colombier }
123e12c5d1SDavid du Colombier 
133e12c5d1SDavid du Colombier void
swit2(C1 * q,int nc,long def,Node * n,Node * tn)144ac975e2SDavid 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++) {
22*178702b1SDavid du Colombier 			if(debug['K'])
23afa28516SDavid du Colombier 				print("case = %.8llux\n", q->val);
243e12c5d1SDavid du Colombier 			gmove(nodconst(q->val), tn);
253e12c5d1SDavid du Colombier 			gopcode(OEQ, n, tn, Z);
263e12c5d1SDavid du Colombier 			patch(p, q->label);
273e12c5d1SDavid du Colombier 			q++;
283e12c5d1SDavid du Colombier 		}
293e12c5d1SDavid du Colombier 		gbranch(OGOTO);
303e12c5d1SDavid du Colombier 		patch(p, def);
313e12c5d1SDavid du Colombier 		return;
323e12c5d1SDavid du Colombier 	}
333e12c5d1SDavid du Colombier 	i = nc / 2;
343e12c5d1SDavid du Colombier 	r = q+i;
35*178702b1SDavid du Colombier 	if(debug['K'])
36afa28516SDavid du Colombier 		print("case > %.8llux\n", r->val);
373e12c5d1SDavid du Colombier 	gmove(nodconst(r->val), tn);
383e12c5d1SDavid du Colombier 	gopcode(OLT, tn, n, Z);
393e12c5d1SDavid du Colombier 	sp = p;
403e12c5d1SDavid du Colombier 	gopcode(OEQ, n, tn, Z);
413e12c5d1SDavid du Colombier 	patch(p, r->label);
424ac975e2SDavid du Colombier 	swit2(q, i, def, n, tn);
433e12c5d1SDavid du Colombier 
44*178702b1SDavid du Colombier 	if(debug['K'])
45afa28516SDavid du Colombier 		print("case < %.8llux\n", r->val);
463e12c5d1SDavid du Colombier 	patch(sp, pc);
474ac975e2SDavid du Colombier 	swit2(r+1, nc-i-1, def, n, tn);
483e12c5d1SDavid du Colombier }
493e12c5d1SDavid du Colombier 
503e12c5d1SDavid du Colombier void
bitload(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)513e12c5d1SDavid du Colombier bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
523e12c5d1SDavid du Colombier {
533e12c5d1SDavid du Colombier 	int sh;
543e12c5d1SDavid du Colombier 	long v;
553e12c5d1SDavid du Colombier 	Node *l;
563e12c5d1SDavid du Colombier 
573e12c5d1SDavid du Colombier 	/*
583e12c5d1SDavid du Colombier 	 * n1 gets adjusted/masked value
593e12c5d1SDavid du Colombier 	 * n2 gets address of cell
603e12c5d1SDavid du Colombier 	 * n3 gets contents of cell
613e12c5d1SDavid du Colombier 	 */
623e12c5d1SDavid du Colombier 	l = b->left;
633e12c5d1SDavid du Colombier 	if(n2 != Z) {
643e12c5d1SDavid du Colombier 		regalloc(n1, l, nn);
653e12c5d1SDavid du Colombier 		reglcgen(n2, l, Z);
663e12c5d1SDavid du Colombier 		regalloc(n3, l, Z);
673e12c5d1SDavid du Colombier 		gopcode(OAS, n2, Z, n3);
683e12c5d1SDavid du Colombier 		gopcode(OAS, n3, Z, n1);
693e12c5d1SDavid du Colombier 	} else {
703e12c5d1SDavid du Colombier 		regalloc(n1, l, nn);
713e12c5d1SDavid du Colombier 		cgen(l, n1);
723e12c5d1SDavid du Colombier 	}
733e12c5d1SDavid du Colombier 	if(b->type->shift == 0 && typeu[b->type->etype]) {
743e12c5d1SDavid du Colombier 		v = ~0 + (1L << b->type->nbits);
753e12c5d1SDavid du Colombier 		gopcode(OAND, nodconst(v), Z, n1);
763e12c5d1SDavid du Colombier 	} else {
773e12c5d1SDavid du Colombier 		sh = 32 - b->type->shift - b->type->nbits;
783e12c5d1SDavid du Colombier 		if(sh > 0)
793e12c5d1SDavid du Colombier 			gopcode(OASHL, nodconst(sh), Z, n1);
803e12c5d1SDavid du Colombier 		sh += b->type->shift;
813e12c5d1SDavid du Colombier 		if(sh > 0)
823e12c5d1SDavid du Colombier 			if(typeu[b->type->etype])
833e12c5d1SDavid du Colombier 				gopcode(OLSHR, nodconst(sh), Z, n1);
843e12c5d1SDavid du Colombier 			else
853e12c5d1SDavid du Colombier 				gopcode(OASHR, nodconst(sh), Z, n1);
863e12c5d1SDavid du Colombier 	}
873e12c5d1SDavid du Colombier }
883e12c5d1SDavid du Colombier 
893e12c5d1SDavid du Colombier void
bitstore(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)903e12c5d1SDavid du Colombier bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
913e12c5d1SDavid du Colombier {
923e12c5d1SDavid du Colombier 	long v;
933e12c5d1SDavid du Colombier 	Node nod, *l;
943e12c5d1SDavid du Colombier 	int sh;
953e12c5d1SDavid du Colombier 
963e12c5d1SDavid du Colombier 	/*
973e12c5d1SDavid du Colombier 	 * n1 has adjusted/masked value
983e12c5d1SDavid du Colombier 	 * n2 has address of cell
993e12c5d1SDavid du Colombier 	 * n3 has contents of cell
1003e12c5d1SDavid du Colombier 	 */
1013e12c5d1SDavid du Colombier 	l = b->left;
1023e12c5d1SDavid du Colombier 	regalloc(&nod, l, Z);
1033e12c5d1SDavid du Colombier 	v = ~0 + (1L << b->type->nbits);
1043e12c5d1SDavid du Colombier 	gopcode(OAND, nodconst(v), Z, n1);
1053e12c5d1SDavid du Colombier 	gopcode(OAS, n1, Z, &nod);
1063e12c5d1SDavid du Colombier 	if(nn != Z)
1073e12c5d1SDavid du Colombier 		gopcode(OAS, n1, Z, nn);
1083e12c5d1SDavid du Colombier 	sh = b->type->shift;
1093e12c5d1SDavid du Colombier 	if(sh > 0)
1103e12c5d1SDavid du Colombier 		gopcode(OASHL, nodconst(sh), Z, &nod);
1113e12c5d1SDavid du Colombier 	v <<= sh;
1123e12c5d1SDavid du Colombier 	gopcode(OAND, nodconst(~v), Z, n3);
1133e12c5d1SDavid du Colombier 	gopcode(OOR, n3, Z, &nod);
1143e12c5d1SDavid du Colombier 	gopcode(OAS, &nod, Z, n2);
1153e12c5d1SDavid du Colombier 
1163e12c5d1SDavid du Colombier 	regfree(&nod);
1173e12c5d1SDavid du Colombier 	regfree(n1);
1183e12c5d1SDavid du Colombier 	regfree(n2);
1193e12c5d1SDavid du Colombier 	regfree(n3);
1203e12c5d1SDavid du Colombier }
1213e12c5d1SDavid du Colombier 
1223e12c5d1SDavid du Colombier long
outstring(char * s,long n)1233e12c5d1SDavid du Colombier outstring(char *s, long n)
1243e12c5d1SDavid du Colombier {
1253e12c5d1SDavid du Colombier 	long r;
1263e12c5d1SDavid du Colombier 
1273e12c5d1SDavid du Colombier 	r = nstring;
1283e12c5d1SDavid du Colombier 	while(n) {
1293e12c5d1SDavid du Colombier 		string[mnstring] = *s++;
1303e12c5d1SDavid du Colombier 		mnstring++;
1313e12c5d1SDavid du Colombier 		nstring++;
1323e12c5d1SDavid du Colombier 		if(mnstring >= NSNAME) {
1333e12c5d1SDavid du Colombier 			gpseudo(ADATA, symstring, nodconst(0L));
1343e12c5d1SDavid du Colombier 			p->from.offset += nstring - NSNAME;
1353e12c5d1SDavid du Colombier 			p->reg = NSNAME;
1363e12c5d1SDavid du Colombier 			p->to.type = D_SCONST;
1373e12c5d1SDavid du Colombier 			memmove(p->to.sval, string, NSNAME);
1383e12c5d1SDavid du Colombier 			mnstring = 0;
1393e12c5d1SDavid du Colombier 		}
1403e12c5d1SDavid du Colombier 		n--;
1413e12c5d1SDavid du Colombier 	}
1423e12c5d1SDavid du Colombier 	return r;
1433e12c5d1SDavid du Colombier }
1443e12c5d1SDavid du Colombier 
1453e12c5d1SDavid du Colombier int
mulcon(Node * n,Node * nn)146219b2ee8SDavid du Colombier mulcon(Node *n, Node *nn)
147219b2ee8SDavid du Colombier {
148219b2ee8SDavid du Colombier 	Node *l, *r, nod1, nod2;
149219b2ee8SDavid du Colombier 	Multab *m;
150219b2ee8SDavid du Colombier 	long v;
151219b2ee8SDavid du Colombier 	int o;
152219b2ee8SDavid du Colombier 	char code[sizeof(m->code)+2], *p;
153219b2ee8SDavid du Colombier 
154219b2ee8SDavid du Colombier 	if(typefd[n->type->etype])
155219b2ee8SDavid du Colombier 		return 0;
156219b2ee8SDavid du Colombier 	l = n->left;
157219b2ee8SDavid du Colombier 	r = n->right;
158219b2ee8SDavid du Colombier 	if(l->op == OCONST) {
159219b2ee8SDavid du Colombier 		l = r;
160219b2ee8SDavid du Colombier 		r = n->left;
161219b2ee8SDavid du Colombier 	}
162219b2ee8SDavid du Colombier 	if(r->op != OCONST)
163219b2ee8SDavid du Colombier 		return 0;
164219b2ee8SDavid du Colombier 	v = convvtox(r->vconst, n->type->etype);
165219b2ee8SDavid du Colombier 	if(v != r->vconst) {
166219b2ee8SDavid du Colombier 		if(debug['M'])
167219b2ee8SDavid du Colombier 			print("%L multiply conv: %lld\n", n->lineno, r->vconst);
168219b2ee8SDavid du Colombier 		return 0;
169219b2ee8SDavid du Colombier 	}
170219b2ee8SDavid du Colombier 	m = mulcon0(v);
171219b2ee8SDavid du Colombier 	if(!m) {
172219b2ee8SDavid du Colombier 		if(debug['M'])
173219b2ee8SDavid du Colombier 			print("%L multiply table: %lld\n", n->lineno, r->vconst);
174219b2ee8SDavid du Colombier 		return 0;
175219b2ee8SDavid du Colombier 	}
176219b2ee8SDavid du Colombier 	if(debug['M'] && debug['v'])
177219b2ee8SDavid du Colombier 		print("%L multiply: %ld\n", n->lineno, v);
178219b2ee8SDavid du Colombier 
179219b2ee8SDavid du Colombier 	memmove(code, m->code, sizeof(m->code));
180219b2ee8SDavid du Colombier 	code[sizeof(m->code)] = 0;
181219b2ee8SDavid du Colombier 
182219b2ee8SDavid du Colombier 	p = code;
183219b2ee8SDavid du Colombier 	if(p[1] == 'i')
184219b2ee8SDavid du Colombier 		p += 2;
185219b2ee8SDavid du Colombier 	regalloc(&nod1, n, nn);
186219b2ee8SDavid du Colombier 	cgen(l, &nod1);
187219b2ee8SDavid du Colombier 	if(v < 0)
188219b2ee8SDavid du Colombier 		gopcode(OSUB, &nod1, nodconst(0), &nod1);
189219b2ee8SDavid du Colombier 	regalloc(&nod2, n, Z);
190219b2ee8SDavid du Colombier 
191219b2ee8SDavid du Colombier loop:
192219b2ee8SDavid du Colombier 	switch(*p) {
193219b2ee8SDavid du Colombier 	case 0:
194219b2ee8SDavid du Colombier 		regfree(&nod2);
195219b2ee8SDavid du Colombier 		gopcode(OAS, &nod1, Z, nn);
196219b2ee8SDavid du Colombier 		regfree(&nod1);
197219b2ee8SDavid du Colombier 		return 1;
198219b2ee8SDavid du Colombier 	case '+':
199219b2ee8SDavid du Colombier 		o = OADD;
200219b2ee8SDavid du Colombier 		goto addsub;
201219b2ee8SDavid du Colombier 	case '-':
202219b2ee8SDavid du Colombier 		o = OSUB;
203219b2ee8SDavid du Colombier 	addsub:	/* number is r,n,l */
204219b2ee8SDavid du Colombier 		v = p[1] - '0';
205219b2ee8SDavid du Colombier 		r = &nod1;
206219b2ee8SDavid du Colombier 		if(v&4)
207219b2ee8SDavid du Colombier 			r = &nod2;
208219b2ee8SDavid du Colombier 		n = &nod1;
209219b2ee8SDavid du Colombier 		if(v&2)
210219b2ee8SDavid du Colombier 			n = &nod2;
211219b2ee8SDavid du Colombier 		l = &nod1;
212219b2ee8SDavid du Colombier 		if(v&1)
213219b2ee8SDavid du Colombier 			l = &nod2;
214219b2ee8SDavid du Colombier 		gopcode(o, l, n, r);
215219b2ee8SDavid du Colombier 		break;
216219b2ee8SDavid du Colombier 	default: /* op is shiftcount, number is r,l */
217219b2ee8SDavid du Colombier 		v = p[1] - '0';
218219b2ee8SDavid du Colombier 		r = &nod1;
219219b2ee8SDavid du Colombier 		if(v&2)
220219b2ee8SDavid du Colombier 			r = &nod2;
221219b2ee8SDavid du Colombier 		l = &nod1;
222219b2ee8SDavid du Colombier 		if(v&1)
223219b2ee8SDavid du Colombier 			l = &nod2;
224219b2ee8SDavid du Colombier 		v = *p - 'a';
225219b2ee8SDavid du Colombier 		if(v < 0 || v >= 32) {
226219b2ee8SDavid du Colombier 			diag(n, "mulcon unknown op: %c%c", p[0], p[1]);
227219b2ee8SDavid du Colombier 			break;
228219b2ee8SDavid du Colombier 		}
229219b2ee8SDavid du Colombier 		gopcode(OASHL, nodconst(v), l, r);
230219b2ee8SDavid du Colombier 		break;
231219b2ee8SDavid du Colombier 	}
232219b2ee8SDavid du Colombier 	p += 2;
233219b2ee8SDavid du Colombier 	goto loop;
234219b2ee8SDavid du Colombier }
235219b2ee8SDavid du Colombier 
2363e12c5d1SDavid du Colombier void
gextern(Sym * s,Node * a,long o,long w)2373e12c5d1SDavid du Colombier gextern(Sym *s, Node *a, long o, long w)
2383e12c5d1SDavid du Colombier {
239219b2ee8SDavid du Colombier 
240219b2ee8SDavid du Colombier 	if(a->op == OCONST && typev[a->type->etype]) {
24180ee5cbfSDavid du Colombier 		if(align(0, types[TCHAR], Aarg1))	/* isbigendian */
242219b2ee8SDavid du Colombier 			gpseudo(ADATA, s, nod32const(a->vconst>>32));
24380ee5cbfSDavid du Colombier 		else
24480ee5cbfSDavid du Colombier 			gpseudo(ADATA, s, nod32const(a->vconst));
245219b2ee8SDavid du Colombier 		p->from.offset += o;
246219b2ee8SDavid du Colombier 		p->reg = 4;
24780ee5cbfSDavid du Colombier 		if(align(0, types[TCHAR], Aarg1))	/* isbigendian */
248219b2ee8SDavid du Colombier 			gpseudo(ADATA, s, nod32const(a->vconst));
24980ee5cbfSDavid du Colombier 		else
25080ee5cbfSDavid du Colombier 			gpseudo(ADATA, s, nod32const(a->vconst>>32));
251219b2ee8SDavid du Colombier 		p->from.offset += o + 4;
252219b2ee8SDavid du Colombier 		p->reg = 4;
253219b2ee8SDavid du Colombier 		return;
254219b2ee8SDavid du Colombier 	}
2553e12c5d1SDavid du Colombier 	gpseudo(ADATA, s, a);
2563e12c5d1SDavid du Colombier 	p->from.offset += o;
2573e12c5d1SDavid du Colombier 	p->reg = w;
2583e12c5d1SDavid du Colombier 	if(p->to.type == D_OREG)
2593e12c5d1SDavid du Colombier 		p->to.type = D_CONST;
2603e12c5d1SDavid du Colombier }
2613e12c5d1SDavid du Colombier 
262375daca8SDavid du Colombier void	zname(Biobuf*, Sym*, int);
2633e12c5d1SDavid du Colombier char*	zaddr(char*, Adr*, int);
2643e12c5d1SDavid du Colombier void	zwrite(Biobuf*, Prog*, int, int);
2653e12c5d1SDavid du Colombier void	outhist(Biobuf*);
2663e12c5d1SDavid du Colombier 
2673e12c5d1SDavid du Colombier void
zwrite(Biobuf * b,Prog * p,int sf,int st)2683e12c5d1SDavid du Colombier zwrite(Biobuf *b, Prog *p, int sf, int st)
2693e12c5d1SDavid du Colombier {
2703e12c5d1SDavid du Colombier 	char bf[100], *bp;
2713e12c5d1SDavid du Colombier 
2723e12c5d1SDavid du Colombier 	bf[0] = p->as;
2733e12c5d1SDavid du Colombier 	bf[1] = p->reg;
2743e12c5d1SDavid du Colombier 	bf[2] = p->lineno;
2753e12c5d1SDavid du Colombier 	bf[3] = p->lineno>>8;
2763e12c5d1SDavid du Colombier 	bf[4] = p->lineno>>16;
2773e12c5d1SDavid du Colombier 	bf[5] = p->lineno>>24;
2783e12c5d1SDavid du Colombier 	bp = zaddr(bf+6, &p->from, sf);
2793e12c5d1SDavid du Colombier 	bp = zaddr(bp, &p->to, st);
2803e12c5d1SDavid du Colombier 	Bwrite(b, bf, bp-bf);
2813e12c5d1SDavid du Colombier }
2823e12c5d1SDavid du Colombier 
2833e12c5d1SDavid du Colombier void
outcode(void)2843e12c5d1SDavid du Colombier outcode(void)
2853e12c5d1SDavid du Colombier {
2863e12c5d1SDavid du Colombier 	struct { Sym *sym; short type; } h[NSYM];
2873e12c5d1SDavid du Colombier 	Prog *p;
2883e12c5d1SDavid du Colombier 	Sym *s;
289219b2ee8SDavid du Colombier 	int sf, st, t, sym;
2903e12c5d1SDavid du Colombier 
2913e12c5d1SDavid du Colombier 	if(debug['S']) {
2923e12c5d1SDavid du Colombier 		for(p = firstp; p != P; p = p->link)
2933e12c5d1SDavid du Colombier 			if(p->as != ADATA && p->as != AGLOBL)
2943e12c5d1SDavid du Colombier 				pc--;
2953e12c5d1SDavid du Colombier 		for(p = firstp; p != P; p = p->link) {
2963e12c5d1SDavid du Colombier 			print("%P\n", p);
2973e12c5d1SDavid du Colombier 			if(p->as != ADATA && p->as != AGLOBL)
2983e12c5d1SDavid du Colombier 				pc++;
2993e12c5d1SDavid du Colombier 		}
3003e12c5d1SDavid du Colombier 	}
301219b2ee8SDavid du Colombier 	outhist(&outbuf);
3023e12c5d1SDavid du Colombier 	for(sym=0; sym<NSYM; sym++) {
3033e12c5d1SDavid du Colombier 		h[sym].sym = S;
3043e12c5d1SDavid du Colombier 		h[sym].type = 0;
3053e12c5d1SDavid du Colombier 	}
3063e12c5d1SDavid du Colombier 	sym = 1;
3073e12c5d1SDavid du Colombier 	for(p = firstp; p != P; p = p->link) {
3083e12c5d1SDavid du Colombier 	jackpot:
3093e12c5d1SDavid du Colombier 		sf = 0;
3103e12c5d1SDavid du Colombier 		s = p->from.sym;
3113e12c5d1SDavid du Colombier 		while(s != S) {
3123e12c5d1SDavid du Colombier 			sf = s->sym;
3133e12c5d1SDavid du Colombier 			if(sf < 0 || sf >= NSYM)
3143e12c5d1SDavid du Colombier 				sf = 0;
3153e12c5d1SDavid du Colombier 			t = p->from.name;
3163e12c5d1SDavid du Colombier 			if(h[sf].type == t)
3173e12c5d1SDavid du Colombier 			if(h[sf].sym == s)
3183e12c5d1SDavid du Colombier 				break;
3193e12c5d1SDavid du Colombier 			s->sym = sym;
320375daca8SDavid du Colombier 			zname(&outbuf, s, t);
3213e12c5d1SDavid du Colombier 			h[sym].sym = s;
3223e12c5d1SDavid du Colombier 			h[sym].type = t;
3233e12c5d1SDavid du Colombier 			sf = sym;
3243e12c5d1SDavid du Colombier 			sym++;
3253e12c5d1SDavid du Colombier 			if(sym >= NSYM)
3263e12c5d1SDavid du Colombier 				sym = 1;
3273e12c5d1SDavid du Colombier 			break;
3283e12c5d1SDavid du Colombier 		}
3293e12c5d1SDavid du Colombier 		st = 0;
3303e12c5d1SDavid du Colombier 		s = p->to.sym;
3313e12c5d1SDavid du Colombier 		while(s != S) {
3323e12c5d1SDavid du Colombier 			st = s->sym;
3333e12c5d1SDavid du Colombier 			if(st < 0 || st >= NSYM)
3343e12c5d1SDavid du Colombier 				st = 0;
3353e12c5d1SDavid du Colombier 			t = p->to.name;
3363e12c5d1SDavid du Colombier 			if(h[st].type == t)
3373e12c5d1SDavid du Colombier 			if(h[st].sym == s)
3383e12c5d1SDavid du Colombier 				break;
3393e12c5d1SDavid du Colombier 			s->sym = sym;
340375daca8SDavid du Colombier 			zname(&outbuf, s, t);
3413e12c5d1SDavid du Colombier 			h[sym].sym = s;
3423e12c5d1SDavid du Colombier 			h[sym].type = t;
3433e12c5d1SDavid du Colombier 			st = sym;
3443e12c5d1SDavid du Colombier 			sym++;
3453e12c5d1SDavid du Colombier 			if(sym >= NSYM)
3463e12c5d1SDavid du Colombier 				sym = 1;
3473e12c5d1SDavid du Colombier 			if(st == sf)
3483e12c5d1SDavid du Colombier 				goto jackpot;
3493e12c5d1SDavid du Colombier 			break;
3503e12c5d1SDavid du Colombier 		}
351219b2ee8SDavid du Colombier 		zwrite(&outbuf, p, sf, st);
3523e12c5d1SDavid du Colombier 	}
3533e12c5d1SDavid du Colombier 	firstp = P;
3543e12c5d1SDavid du Colombier 	lastp = P;
3553e12c5d1SDavid du Colombier }
3563e12c5d1SDavid du Colombier 
3573e12c5d1SDavid du Colombier void
outhist(Biobuf * b)3583e12c5d1SDavid du Colombier outhist(Biobuf *b)
3593e12c5d1SDavid du Colombier {
3603e12c5d1SDavid du Colombier 	Hist *h;
3617dd7cddfSDavid du Colombier 	char *p, *q, *op, c;
3623e12c5d1SDavid du Colombier 	Prog pg;
3633e12c5d1SDavid du Colombier 	int n;
3643e12c5d1SDavid du Colombier 
3653e12c5d1SDavid du Colombier 	pg = zprog;
3663e12c5d1SDavid du Colombier 	pg.as = AHISTORY;
3677dd7cddfSDavid du Colombier 	c = pathchar();
3683e12c5d1SDavid du Colombier 	for(h = hist; h != H; h = h->link) {
3693e12c5d1SDavid du Colombier 		p = h->name;
370219b2ee8SDavid du Colombier 		op = 0;
371375daca8SDavid du Colombier 		/* on windows skip drive specifier in pathname */
372375daca8SDavid du Colombier 		if(systemtype(Windows) && p && p[1] == ':'){
373375daca8SDavid du Colombier 			p += 2;
374375daca8SDavid du Colombier 			c = *p;
375375daca8SDavid du Colombier 		}
3767dd7cddfSDavid du Colombier 		if(p && p[0] != c && h->offset == 0 && pathname){
3777dd7cddfSDavid du Colombier 			/* on windows skip drive specifier in pathname */
378375daca8SDavid du Colombier 			if(systemtype(Windows) && pathname[1] == ':') {
3797dd7cddfSDavid du Colombier 				op = p;
3807dd7cddfSDavid du Colombier 				p = pathname+2;
381375daca8SDavid du Colombier 				c = *p;
3827dd7cddfSDavid du Colombier 			} else if(pathname[0] == c){
383219b2ee8SDavid du Colombier 				op = p;
384219b2ee8SDavid du Colombier 				p = pathname;
385219b2ee8SDavid du Colombier 			}
3867dd7cddfSDavid du Colombier 		}
3873e12c5d1SDavid du Colombier 		while(p) {
3887dd7cddfSDavid du Colombier 			q = utfrune(p, c);
3893e12c5d1SDavid du Colombier 			if(q) {
3903e12c5d1SDavid du Colombier 				n = q-p;
391375daca8SDavid du Colombier 				if(n == 0){
3923e12c5d1SDavid du Colombier 					n = 1;	/* leading "/" */
393375daca8SDavid du Colombier 					*p = '/';	/* don't emit "\" on windows */
394375daca8SDavid du Colombier 				}
3953e12c5d1SDavid du Colombier 				q++;
3963e12c5d1SDavid du Colombier 			} else {
3973e12c5d1SDavid du Colombier 				n = strlen(p);
3983e12c5d1SDavid du Colombier 				q = 0;
3993e12c5d1SDavid du Colombier 			}
4003e12c5d1SDavid du Colombier 			if(n) {
401219b2ee8SDavid du Colombier 				Bputc(b, ANAME);
402219b2ee8SDavid du Colombier 				Bputc(b, D_FILE);
403219b2ee8SDavid du Colombier 				Bputc(b, 1);
404219b2ee8SDavid du Colombier 				Bputc(b, '<');
405219b2ee8SDavid du Colombier 				Bwrite(b, p, n);
406219b2ee8SDavid du Colombier 				Bputc(b, 0);
4073e12c5d1SDavid du Colombier 			}
4083e12c5d1SDavid du Colombier 			p = q;
409219b2ee8SDavid du Colombier 			if(p == 0 && op) {
410219b2ee8SDavid du Colombier 				p = op;
411219b2ee8SDavid du Colombier 				op = 0;
412219b2ee8SDavid du Colombier 			}
4133e12c5d1SDavid du Colombier 		}
4143e12c5d1SDavid du Colombier 		pg.lineno = h->line;
4153e12c5d1SDavid du Colombier 		pg.to.type = zprog.to.type;
4163e12c5d1SDavid du Colombier 		pg.to.offset = h->offset;
4173e12c5d1SDavid du Colombier 		if(h->offset)
4183e12c5d1SDavid du Colombier 			pg.to.type = D_CONST;
4193e12c5d1SDavid du Colombier 
4203e12c5d1SDavid du Colombier 		zwrite(b, &pg, 0, 0);
4213e12c5d1SDavid du Colombier 	}
4223e12c5d1SDavid du Colombier }
4233e12c5d1SDavid du Colombier 
4243e12c5d1SDavid du Colombier void
zname(Biobuf * b,Sym * s,int t)425375daca8SDavid du Colombier zname(Biobuf *b, Sym *s, int t)
4263e12c5d1SDavid du Colombier {
427375daca8SDavid du Colombier 	char *n, bf[7];
428375daca8SDavid du Colombier 	ulong sig;
4293e12c5d1SDavid du Colombier 
430375daca8SDavid du Colombier 	n = s->name;
431375daca8SDavid du Colombier 	if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){
432375daca8SDavid du Colombier 		sig = sign(s);
433375daca8SDavid du Colombier 		bf[0] = ASIGNAME;
434375daca8SDavid du Colombier 		bf[1] = sig;
435375daca8SDavid du Colombier 		bf[2] = sig>>8;
436375daca8SDavid du Colombier 		bf[3] = sig>>16;
437375daca8SDavid du Colombier 		bf[4] = sig>>24;
438375daca8SDavid du Colombier 		bf[5] = t;
439375daca8SDavid du Colombier 		bf[6] = s->sym;
440375daca8SDavid du Colombier 		Bwrite(b, bf, 7);
441375daca8SDavid du Colombier 		s->sig = SIGDONE;
442375daca8SDavid du Colombier 	}
443375daca8SDavid du Colombier 	else{
444219b2ee8SDavid du Colombier 		bf[0] = ANAME;
445219b2ee8SDavid du Colombier 		bf[1] = t;	/* type */
446375daca8SDavid du Colombier 		bf[2] = s->sym;	/* sym */
447219b2ee8SDavid du Colombier 		Bwrite(b, bf, 3);
448375daca8SDavid du Colombier 	}
449219b2ee8SDavid du Colombier 	Bwrite(b, n, strlen(n)+1);
4503e12c5d1SDavid du Colombier }
4513e12c5d1SDavid du Colombier 
4523e12c5d1SDavid du Colombier char*
zaddr(char * bp,Adr * a,int s)4533e12c5d1SDavid du Colombier zaddr(char *bp, Adr *a, int s)
4543e12c5d1SDavid du Colombier {
4553e12c5d1SDavid du Colombier 	long l;
4563e12c5d1SDavid du Colombier 	Ieee e;
4573e12c5d1SDavid du Colombier 
4583e12c5d1SDavid du Colombier 	bp[0] = a->type;
4593e12c5d1SDavid du Colombier 	bp[1] = a->reg;
4603e12c5d1SDavid du Colombier 	bp[2] = s;
4613e12c5d1SDavid du Colombier 	bp[3] = a->name;
4623e12c5d1SDavid du Colombier 	bp += 4;
4633e12c5d1SDavid du Colombier 	switch(a->type) {
4643e12c5d1SDavid du Colombier 	default:
4653e12c5d1SDavid du Colombier 		diag(Z, "unknown type %d in zaddr", a->type);
4663e12c5d1SDavid du Colombier 
4673e12c5d1SDavid du Colombier 	case D_NONE:
4683e12c5d1SDavid du Colombier 	case D_REG:
4693e12c5d1SDavid du Colombier 	case D_FREG:
4703e12c5d1SDavid du Colombier 	case D_MREG:
4713e12c5d1SDavid du Colombier 	case D_FCREG:
4723e12c5d1SDavid du Colombier 	case D_LO:
4733e12c5d1SDavid du Colombier 	case D_HI:
4743e12c5d1SDavid du Colombier 		break;
4753e12c5d1SDavid du Colombier 
4763e12c5d1SDavid du Colombier 	case D_OREG:
4773e12c5d1SDavid du Colombier 	case D_CONST:
4783e12c5d1SDavid du Colombier 	case D_BRANCH:
4793e12c5d1SDavid du Colombier 		l = a->offset;
4803e12c5d1SDavid du Colombier 		bp[0] = l;
4813e12c5d1SDavid du Colombier 		bp[1] = l>>8;
4823e12c5d1SDavid du Colombier 		bp[2] = l>>16;
4833e12c5d1SDavid du Colombier 		bp[3] = l>>24;
4843e12c5d1SDavid du Colombier 		bp += 4;
4853e12c5d1SDavid du Colombier 		break;
4863e12c5d1SDavid du Colombier 
4873e12c5d1SDavid du Colombier 	case D_SCONST:
4883e12c5d1SDavid du Colombier 		memmove(bp, a->sval, NSNAME);
4893e12c5d1SDavid du Colombier 		bp += NSNAME;
4903e12c5d1SDavid du Colombier 		break;
4913e12c5d1SDavid du Colombier 
4923e12c5d1SDavid du Colombier 	case D_FCONST:
4933e12c5d1SDavid du Colombier 		ieeedtod(&e, a->dval);
4943e12c5d1SDavid du Colombier 		l = e.l;
4953e12c5d1SDavid du Colombier 		bp[0] = l;
4963e12c5d1SDavid du Colombier 		bp[1] = l>>8;
4973e12c5d1SDavid du Colombier 		bp[2] = l>>16;
4983e12c5d1SDavid du Colombier 		bp[3] = l>>24;
4993e12c5d1SDavid du Colombier 		bp += 4;
5003e12c5d1SDavid du Colombier 		l = e.h;
5013e12c5d1SDavid du Colombier 		bp[0] = l;
5023e12c5d1SDavid du Colombier 		bp[1] = l>>8;
5033e12c5d1SDavid du Colombier 		bp[2] = l>>16;
5043e12c5d1SDavid du Colombier 		bp[3] = l>>24;
5053e12c5d1SDavid du Colombier 		bp += 4;
5063e12c5d1SDavid du Colombier 		break;
5073e12c5d1SDavid du Colombier 	}
5083e12c5d1SDavid du Colombier 	return bp;
5093e12c5d1SDavid du Colombier }
5103e12c5d1SDavid du Colombier 
5117dd7cddfSDavid du Colombier long
align(long i,Type * t,int op)5127dd7cddfSDavid du Colombier align(long i, Type *t, int op)
5133e12c5d1SDavid du Colombier {
5147dd7cddfSDavid du Colombier 	long o;
5157dd7cddfSDavid du Colombier 	Type *v;
5167dd7cddfSDavid du Colombier 	int w;
5173e12c5d1SDavid du Colombier 
5187dd7cddfSDavid du Colombier 	o = i;
5197dd7cddfSDavid du Colombier 	w = 1;
5207dd7cddfSDavid du Colombier 	switch(op) {
5217dd7cddfSDavid du Colombier 	default:
5227dd7cddfSDavid du Colombier 		diag(Z, "unknown align opcode %d", op);
5237dd7cddfSDavid du Colombier 		break;
5247dd7cddfSDavid du Colombier 
5257dd7cddfSDavid du Colombier 	case Asu2:	/* padding at end of a struct */
5267dd7cddfSDavid du Colombier 		w = SZ_LONG;
5279847521cSDavid du Colombier 		if(packflg)
5289847521cSDavid du Colombier 			w = packflg;
5297dd7cddfSDavid du Colombier 		break;
5307dd7cddfSDavid du Colombier 
5317dd7cddfSDavid du Colombier 	case Ael1:	/* initial allign of struct element */
5327dd7cddfSDavid du Colombier 		for(v=t; v->etype==TARRAY; v=v->link)
5337dd7cddfSDavid du Colombier 			;
5347dd7cddfSDavid du Colombier 		w = ewidth[v->etype];
5357dd7cddfSDavid du Colombier 		if(w <= 0 || w >= SZ_LONG)
5367dd7cddfSDavid du Colombier 			w = SZ_LONG;
5379847521cSDavid du Colombier 		if(packflg)
5389847521cSDavid du Colombier 			w = packflg;
5397dd7cddfSDavid du Colombier 		break;
5407dd7cddfSDavid du Colombier 
5417dd7cddfSDavid du Colombier 	case Ael2:	/* width of a struct element */
5427dd7cddfSDavid du Colombier 		o += t->width;
5437dd7cddfSDavid du Colombier 		break;
5447dd7cddfSDavid du Colombier 
5457dd7cddfSDavid du Colombier 	case Aarg0:	/* initial passbyptr argument in arg list */
5467dd7cddfSDavid du Colombier 		if(typesuv[t->etype]) {
5477dd7cddfSDavid du Colombier 			o = align(o, types[TIND], Aarg1);
5487dd7cddfSDavid du Colombier 			o = align(o, types[TIND], Aarg2);
5497dd7cddfSDavid du Colombier 		}
5507dd7cddfSDavid du Colombier 		break;
5517dd7cddfSDavid du Colombier 
5527dd7cddfSDavid du Colombier 	case Aarg1:	/* initial allign of parameter */
5537dd7cddfSDavid du Colombier 		w = ewidth[t->etype];
5547dd7cddfSDavid du Colombier 		if(w <= 0 || w >= SZ_LONG) {
5557dd7cddfSDavid du Colombier 			w = SZ_LONG;
5567dd7cddfSDavid du Colombier 			break;
5577dd7cddfSDavid du Colombier 		}
558acfb0edcSDavid du Colombier 		if(thechar == 'v')
5597dd7cddfSDavid du Colombier 			o += SZ_LONG - w;	/* big endian adjustment */
5607dd7cddfSDavid du Colombier 		w = 1;
5617dd7cddfSDavid du Colombier 		break;
5627dd7cddfSDavid du Colombier 
5637dd7cddfSDavid du Colombier 	case Aarg2:	/* width of a parameter */
5647dd7cddfSDavid du Colombier 		o += t->width;
5657dd7cddfSDavid du Colombier 		w = SZ_LONG;
5667dd7cddfSDavid du Colombier 		break;
5677dd7cddfSDavid du Colombier 
5687dd7cddfSDavid du Colombier 	case Aaut3:	/* total allign of automatic */
5697dd7cddfSDavid du Colombier 		o = align(o, t, Ael1);
5707dd7cddfSDavid du Colombier 		o = align(o, t, Ael2);
5717dd7cddfSDavid du Colombier 		break;
5727dd7cddfSDavid du Colombier 	}
5737dd7cddfSDavid du Colombier 	o = round(o, w);
5747dd7cddfSDavid du Colombier 	if(debug['A'])
5757dd7cddfSDavid du Colombier 		print("align %s %ld %T = %ld\n", bnames[op], i, t, o);
5767dd7cddfSDavid du Colombier 	return o;
5773e12c5d1SDavid du Colombier }
578219b2ee8SDavid du Colombier 
5797dd7cddfSDavid du Colombier long
maxround(long max,long v)5807dd7cddfSDavid du Colombier maxround(long max, long v)
581219b2ee8SDavid du Colombier {
58285e2e562SDavid du Colombier 	v = round(v, SZ_LONG);
5837dd7cddfSDavid du Colombier 	if(v > max)
58485e2e562SDavid du Colombier 		return v;
5857dd7cddfSDavid du Colombier 	return max;
586219b2ee8SDavid du Colombier }
587