xref: /inferno-os/utils/ic/swt.c (revision a93f6c888f6d530420fbb54e2f7fa4572cdc5208)
1*6e84dc96SRichard Miller #include "gc.h"
2*6e84dc96SRichard Miller 
3*6e84dc96SRichard Miller void
swit1(C1 * q,int nc,long def,Node * n)4*6e84dc96SRichard Miller swit1(C1 *q, int nc, long def, Node *n)
5*6e84dc96SRichard Miller {
6*6e84dc96SRichard Miller 	Node tn;
7*6e84dc96SRichard Miller 
8*6e84dc96SRichard Miller 	if(typev[n->type->etype])
9*6e84dc96SRichard Miller 		regalloc(&tn, &vregnode, Z);
10*6e84dc96SRichard Miller 	else
11*6e84dc96SRichard Miller 		regalloc(&tn, &regnode, Z);
12*6e84dc96SRichard Miller 	swit2(q, nc, def, n, &tn);
13*6e84dc96SRichard Miller 	regfree(&tn);
14*6e84dc96SRichard Miller }
15*6e84dc96SRichard Miller 
16*6e84dc96SRichard Miller void
swit2(C1 * q,int nc,long def,Node * n,Node * tn)17*6e84dc96SRichard Miller swit2(C1 *q, int nc, long def, Node *n, Node *tn)
18*6e84dc96SRichard Miller {
19*6e84dc96SRichard Miller 	C1 *r;
20*6e84dc96SRichard Miller 	int i;
21*6e84dc96SRichard Miller 	Prog *sp;
22*6e84dc96SRichard Miller 
23*6e84dc96SRichard Miller 	if(nc < 5) {
24*6e84dc96SRichard Miller 		for(i=0; i<nc; i++) {
25*6e84dc96SRichard Miller 			if(debug['K'])
26*6e84dc96SRichard Miller 				print("case = %.8llux\n", q->val);
27*6e84dc96SRichard Miller 			gmove(nodgconst(q->val, n->type), tn);
28*6e84dc96SRichard Miller 			gopcode(OEQ, tn, n, Z);
29*6e84dc96SRichard Miller 			patch(p, q->label);
30*6e84dc96SRichard Miller 			q++;
31*6e84dc96SRichard Miller 		}
32*6e84dc96SRichard Miller 		gbranch(OGOTO);
33*6e84dc96SRichard Miller 		patch(p, def);
34*6e84dc96SRichard Miller 		return;
35*6e84dc96SRichard Miller 	}
36*6e84dc96SRichard Miller 	i = nc / 2;
37*6e84dc96SRichard Miller 	r = q+i;
38*6e84dc96SRichard Miller 	if(debug['K'])
39*6e84dc96SRichard Miller 		print("case > %.8llux\n", r->val);
40*6e84dc96SRichard Miller 	gmove(nodgconst(r->val, n->type), tn);
41*6e84dc96SRichard Miller 	gopcode(OGT, tn, n, Z);
42*6e84dc96SRichard Miller 	sp = p;
43*6e84dc96SRichard Miller 	gopcode(OEQ, tn, n, Z);
44*6e84dc96SRichard Miller 	patch(p, r->label);
45*6e84dc96SRichard Miller 	swit2(q, i, def, n, tn);
46*6e84dc96SRichard Miller 
47*6e84dc96SRichard Miller 	if(debug['K'])
48*6e84dc96SRichard Miller 		print("case < %.8llux\n", r->val);
49*6e84dc96SRichard Miller 	patch(sp, pc);
50*6e84dc96SRichard Miller 	swit2(r+1, nc-i-1, def, n, tn);
51*6e84dc96SRichard Miller }
52*6e84dc96SRichard Miller 
53*6e84dc96SRichard Miller void
bitload(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)54*6e84dc96SRichard Miller bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
55*6e84dc96SRichard Miller {
56*6e84dc96SRichard Miller 	int sh;
57*6e84dc96SRichard Miller 	long v;
58*6e84dc96SRichard Miller 	Node *l;
59*6e84dc96SRichard Miller 
60*6e84dc96SRichard Miller 	/*
61*6e84dc96SRichard Miller 	 * n1 gets adjusted/masked value
62*6e84dc96SRichard Miller 	 * n2 gets address of cell
63*6e84dc96SRichard Miller 	 * n3 gets contents of cell
64*6e84dc96SRichard Miller 	 */
65*6e84dc96SRichard Miller 	l = b->left;
66*6e84dc96SRichard Miller 	if(n2 != Z) {
67*6e84dc96SRichard Miller 		regalloc(n1, l, nn);
68*6e84dc96SRichard Miller 		reglcgen(n2, l, Z);
69*6e84dc96SRichard Miller 		regalloc(n3, l, Z);
70*6e84dc96SRichard Miller 		gopcode(OAS, n2, Z, n3);
71*6e84dc96SRichard Miller 		gopcode(OAS, n3, Z, n1);
72*6e84dc96SRichard Miller 	} else {
73*6e84dc96SRichard Miller 		regalloc(n1, l, nn);
74*6e84dc96SRichard Miller 		cgen(l, n1);
75*6e84dc96SRichard Miller 	}
76*6e84dc96SRichard Miller 	if(b->type->shift == 0 && typeu[b->type->etype]) {
77*6e84dc96SRichard Miller 		v = ~0 + (1L << b->type->nbits);
78*6e84dc96SRichard Miller 		gopcode(OAND, nodconst(v), Z, n1);
79*6e84dc96SRichard Miller 	} else {
80*6e84dc96SRichard Miller 		sh = 32 - b->type->shift - b->type->nbits;
81*6e84dc96SRichard Miller 		if(sh > 0)
82*6e84dc96SRichard Miller 			gopcode(OASHL, nodconst(sh), Z, n1);
83*6e84dc96SRichard Miller 		sh += b->type->shift;
84*6e84dc96SRichard Miller 		if(sh > 0)
85*6e84dc96SRichard Miller 			if(typeu[b->type->etype])
86*6e84dc96SRichard Miller 				gopcode(OLSHR, nodconst(sh), Z, n1);
87*6e84dc96SRichard Miller 			else
88*6e84dc96SRichard Miller 				gopcode(OASHR, nodconst(sh), Z, n1);
89*6e84dc96SRichard Miller 	}
90*6e84dc96SRichard Miller }
91*6e84dc96SRichard Miller 
92*6e84dc96SRichard Miller void
bitstore(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)93*6e84dc96SRichard Miller bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
94*6e84dc96SRichard Miller {
95*6e84dc96SRichard Miller 	long v;
96*6e84dc96SRichard Miller 	Node nod, *l;
97*6e84dc96SRichard Miller 	int sh;
98*6e84dc96SRichard Miller 
99*6e84dc96SRichard Miller 	/*
100*6e84dc96SRichard Miller 	 * n1 has adjusted/masked value
101*6e84dc96SRichard Miller 	 * n2 has address of cell
102*6e84dc96SRichard Miller 	 * n3 has contents of cell
103*6e84dc96SRichard Miller 	 */
104*6e84dc96SRichard Miller 	l = b->left;
105*6e84dc96SRichard Miller 	regalloc(&nod, l, Z);
106*6e84dc96SRichard Miller 	v = ~0 + (1L << b->type->nbits);
107*6e84dc96SRichard Miller 	gopcode(OAND, nodconst(v), Z, n1);
108*6e84dc96SRichard Miller 	gopcode(OAS, n1, Z, &nod);
109*6e84dc96SRichard Miller 	if(nn != Z)
110*6e84dc96SRichard Miller 		gopcode(OAS, n1, Z, nn);
111*6e84dc96SRichard Miller 	sh = b->type->shift;
112*6e84dc96SRichard Miller 	if(sh > 0)
113*6e84dc96SRichard Miller 		gopcode(OASHL, nodconst(sh), Z, &nod);
114*6e84dc96SRichard Miller 	v <<= sh;
115*6e84dc96SRichard Miller 	gopcode(OAND, nodconst(~v), Z, n3);
116*6e84dc96SRichard Miller 	gopcode(OOR, n3, Z, &nod);
117*6e84dc96SRichard Miller 	gopcode(OAS, &nod, Z, n2);
118*6e84dc96SRichard Miller 
119*6e84dc96SRichard Miller 	regfree(&nod);
120*6e84dc96SRichard Miller 	regfree(n1);
121*6e84dc96SRichard Miller 	regfree(n2);
122*6e84dc96SRichard Miller 	regfree(n3);
123*6e84dc96SRichard Miller }
124*6e84dc96SRichard Miller 
125*6e84dc96SRichard Miller long
outstring(char * s,long n)126*6e84dc96SRichard Miller outstring(char *s, long n)
127*6e84dc96SRichard Miller {
128*6e84dc96SRichard Miller 	long r;
129*6e84dc96SRichard Miller 
130*6e84dc96SRichard Miller 	if(suppress)
131*6e84dc96SRichard Miller 		return nstring;
132*6e84dc96SRichard Miller 	r = nstring;
133*6e84dc96SRichard Miller 	while(n) {
134*6e84dc96SRichard Miller 		string[mnstring] = *s++;
135*6e84dc96SRichard Miller 		mnstring++;
136*6e84dc96SRichard Miller 		nstring++;
137*6e84dc96SRichard Miller 		if(mnstring >= NSNAME) {
138*6e84dc96SRichard Miller 			gpseudo(ADATA, symstring, nodconst(0L));
139*6e84dc96SRichard Miller 			p->from.offset += nstring - NSNAME;
140*6e84dc96SRichard Miller 			p->reg = NSNAME;
141*6e84dc96SRichard Miller 			p->to.type = D_SCONST;
142*6e84dc96SRichard Miller 			memmove(p->to.sval, string, NSNAME);
143*6e84dc96SRichard Miller 			mnstring = 0;
144*6e84dc96SRichard Miller 		}
145*6e84dc96SRichard Miller 		n--;
146*6e84dc96SRichard Miller 	}
147*6e84dc96SRichard Miller 	return r;
148*6e84dc96SRichard Miller }
149*6e84dc96SRichard Miller 
150*6e84dc96SRichard Miller int
mulcon(Node * n,Node * nn)151*6e84dc96SRichard Miller mulcon(Node *n, Node *nn)
152*6e84dc96SRichard Miller {
153*6e84dc96SRichard Miller 	Node *l, *r, nod1, nod2;
154*6e84dc96SRichard Miller 	Multab *m;
155*6e84dc96SRichard Miller 	long v;
156*6e84dc96SRichard Miller 	int o;
157*6e84dc96SRichard Miller 	char code[sizeof(m->code)+2], *p;
158*6e84dc96SRichard Miller 
159*6e84dc96SRichard Miller 	if(typefd[n->type->etype])
160*6e84dc96SRichard Miller 		return 0;
161*6e84dc96SRichard Miller 	l = n->left;
162*6e84dc96SRichard Miller 	r = n->right;
163*6e84dc96SRichard Miller 	if(l->op == OCONST) {
164*6e84dc96SRichard Miller 		l = r;
165*6e84dc96SRichard Miller 		r = n->left;
166*6e84dc96SRichard Miller 	}
167*6e84dc96SRichard Miller 	if(r->op != OCONST)
168*6e84dc96SRichard Miller 		return 0;
169*6e84dc96SRichard Miller 	v = convvtox(r->vconst, n->type->etype);
170*6e84dc96SRichard Miller 	if(v != r->vconst) {
171*6e84dc96SRichard Miller 		if(debug['M'])
172*6e84dc96SRichard Miller 			print("%L multiply conv: %lld\n", n->lineno, r->vconst);
173*6e84dc96SRichard Miller 		return 0;
174*6e84dc96SRichard Miller 	}
175*6e84dc96SRichard Miller 	m = mulcon0(v);
176*6e84dc96SRichard Miller 	if(!m) {
177*6e84dc96SRichard Miller 		if(debug['M'])
178*6e84dc96SRichard Miller 			print("%L multiply table: %lld\n", n->lineno, r->vconst);
179*6e84dc96SRichard Miller 		return 0;
180*6e84dc96SRichard Miller 	}
181*6e84dc96SRichard Miller 	if(debug['M'] && debug['v'])
182*6e84dc96SRichard Miller 		print("%L multiply: %ld\n", n->lineno, v);
183*6e84dc96SRichard Miller 
184*6e84dc96SRichard Miller 	memmove(code, m->code, sizeof(m->code));
185*6e84dc96SRichard Miller 	code[sizeof(m->code)] = 0;
186*6e84dc96SRichard Miller 
187*6e84dc96SRichard Miller 	p = code;
188*6e84dc96SRichard Miller 	if(p[1] == 'i')
189*6e84dc96SRichard Miller 		p += 2;
190*6e84dc96SRichard Miller 	regalloc(&nod1, n, nn);
191*6e84dc96SRichard Miller 	cgen(l, &nod1);
192*6e84dc96SRichard Miller 	if(v < 0)
193*6e84dc96SRichard Miller 		gopcode(OSUB, &nod1, nodconst(0), &nod1);
194*6e84dc96SRichard Miller 	regalloc(&nod2, n, Z);
195*6e84dc96SRichard Miller 
196*6e84dc96SRichard Miller loop:
197*6e84dc96SRichard Miller 	switch(*p) {
198*6e84dc96SRichard Miller 	case 0:
199*6e84dc96SRichard Miller 		regfree(&nod2);
200*6e84dc96SRichard Miller 		gopcode(OAS, &nod1, Z, nn);
201*6e84dc96SRichard Miller 		regfree(&nod1);
202*6e84dc96SRichard Miller 		return 1;
203*6e84dc96SRichard Miller 	case '+':
204*6e84dc96SRichard Miller 		o = OADD;
205*6e84dc96SRichard Miller 		goto addsub;
206*6e84dc96SRichard Miller 	case '-':
207*6e84dc96SRichard Miller 		o = OSUB;
208*6e84dc96SRichard Miller 	addsub:	/* number is r,n,l */
209*6e84dc96SRichard Miller 		v = p[1] - '0';
210*6e84dc96SRichard Miller 		r = &nod1;
211*6e84dc96SRichard Miller 		if(v&4)
212*6e84dc96SRichard Miller 			r = &nod2;
213*6e84dc96SRichard Miller 		n = &nod1;
214*6e84dc96SRichard Miller 		if(v&2)
215*6e84dc96SRichard Miller 			n = &nod2;
216*6e84dc96SRichard Miller 		l = &nod1;
217*6e84dc96SRichard Miller 		if(v&1)
218*6e84dc96SRichard Miller 			l = &nod2;
219*6e84dc96SRichard Miller 		gopcode(o, l, n, r);
220*6e84dc96SRichard Miller 		break;
221*6e84dc96SRichard Miller 	default: /* op is shiftcount, number is r,l */
222*6e84dc96SRichard Miller 		v = p[1] - '0';
223*6e84dc96SRichard Miller 		r = &nod1;
224*6e84dc96SRichard Miller 		if(v&2)
225*6e84dc96SRichard Miller 			r = &nod2;
226*6e84dc96SRichard Miller 		l = &nod1;
227*6e84dc96SRichard Miller 		if(v&1)
228*6e84dc96SRichard Miller 			l = &nod2;
229*6e84dc96SRichard Miller 		v = *p - 'a';
230*6e84dc96SRichard Miller 		if(v < 0 || v >= 32) {
231*6e84dc96SRichard Miller 			diag(n, "mulcon unknown op: %c%c", p[0], p[1]);
232*6e84dc96SRichard Miller 			break;
233*6e84dc96SRichard Miller 		}
234*6e84dc96SRichard Miller 		gopcode(OASHL, nodconst(v), l, r);
235*6e84dc96SRichard Miller 		break;
236*6e84dc96SRichard Miller 	}
237*6e84dc96SRichard Miller 	p += 2;
238*6e84dc96SRichard Miller 	goto loop;
239*6e84dc96SRichard Miller }
240*6e84dc96SRichard Miller 
241*6e84dc96SRichard Miller void
sextern(Sym * s,Node * a,long o,long w)242*6e84dc96SRichard Miller sextern(Sym *s, Node *a, long o, long w)
243*6e84dc96SRichard Miller {
244*6e84dc96SRichard Miller 	long e, lw;
245*6e84dc96SRichard Miller 
246*6e84dc96SRichard Miller 	for(e=0; e<w; e+=NSNAME) {
247*6e84dc96SRichard Miller 		lw = NSNAME;
248*6e84dc96SRichard Miller 		if(w-e < lw)
249*6e84dc96SRichard Miller 			lw = w-e;
250*6e84dc96SRichard Miller 		gpseudo(ADATA, s, nodconst(0));
251*6e84dc96SRichard Miller 		p->from.offset += o+e;
252*6e84dc96SRichard Miller 		p->reg = lw;
253*6e84dc96SRichard Miller 		p->to.type = D_SCONST;
254*6e84dc96SRichard Miller 		memmove(p->to.sval, a->cstring+e, lw);
255*6e84dc96SRichard Miller 	}
256*6e84dc96SRichard Miller }
257*6e84dc96SRichard Miller 
258*6e84dc96SRichard Miller void
gextern(Sym * s,Node * a,long o,long w)259*6e84dc96SRichard Miller gextern(Sym *s, Node *a, long o, long w)
260*6e84dc96SRichard Miller {
261*6e84dc96SRichard Miller 
262*6e84dc96SRichard Miller 	if(a->op == OCONST && typev[a->type->etype]) {
263*6e84dc96SRichard Miller 		gpseudo(ADATA, s, nod32const(a->vconst));
264*6e84dc96SRichard Miller 		p->from.offset += o;
265*6e84dc96SRichard Miller 		p->reg = 4;
266*6e84dc96SRichard Miller 		gpseudo(ADATA, s, nod32const(a->vconst>>32));
267*6e84dc96SRichard Miller 		p->from.offset += o + 4;
268*6e84dc96SRichard Miller 		p->reg = 4;
269*6e84dc96SRichard Miller 		return;
270*6e84dc96SRichard Miller 	}
271*6e84dc96SRichard Miller 	gpseudo(ADATA, s, a);
272*6e84dc96SRichard Miller 	p->from.offset += o;
273*6e84dc96SRichard Miller 	p->reg = w;
274*6e84dc96SRichard Miller 	if(p->to.type == D_OREG)
275*6e84dc96SRichard Miller 		p->to.type = D_CONST;
276*6e84dc96SRichard Miller }
277*6e84dc96SRichard Miller 
278*6e84dc96SRichard Miller void	zname(Biobuf*, Sym*, int);
279*6e84dc96SRichard Miller char*	zaddr(char*, Adr*, int);
280*6e84dc96SRichard Miller void	zwrite(Biobuf*, Prog*, int, int);
281*6e84dc96SRichard Miller void	outhist(Biobuf*);
282*6e84dc96SRichard Miller 
283*6e84dc96SRichard Miller void
zwrite(Biobuf * b,Prog * p,int sf,int st)284*6e84dc96SRichard Miller zwrite(Biobuf *b, Prog *p, int sf, int st)
285*6e84dc96SRichard Miller {
286*6e84dc96SRichard Miller 	char bf[100], *bp;
287*6e84dc96SRichard Miller 
288*6e84dc96SRichard Miller 	bf[0] = p->as;
289*6e84dc96SRichard Miller 	bf[1] = p->reg;
290*6e84dc96SRichard Miller 	bf[2] = p->lineno;
291*6e84dc96SRichard Miller 	bf[3] = p->lineno>>8;
292*6e84dc96SRichard Miller 	bf[4] = p->lineno>>16;
293*6e84dc96SRichard Miller 	bf[5] = p->lineno>>24;
294*6e84dc96SRichard Miller 	bp = zaddr(bf+6, &p->from, sf);
295*6e84dc96SRichard Miller 	bp = zaddr(bp, &p->to, st);
296*6e84dc96SRichard Miller 	Bwrite(b, bf, bp-bf);
297*6e84dc96SRichard Miller }
298*6e84dc96SRichard Miller 
299*6e84dc96SRichard Miller void
outcode(void)300*6e84dc96SRichard Miller outcode(void)
301*6e84dc96SRichard Miller {
302*6e84dc96SRichard Miller 	struct { Sym *sym; short type; } h[NSYM];
303*6e84dc96SRichard Miller 	Prog *p;
304*6e84dc96SRichard Miller 	Sym *s;
305*6e84dc96SRichard Miller 	int sf, st, t, sym;
306*6e84dc96SRichard Miller 
307*6e84dc96SRichard Miller 	if(debug['S']) {
308*6e84dc96SRichard Miller 		for(p = firstp; p != P; p = p->link)
309*6e84dc96SRichard Miller 			if(p->as != ADATA && p->as != AGLOBL)
310*6e84dc96SRichard Miller 				pc--;
311*6e84dc96SRichard Miller 		for(p = firstp; p != P; p = p->link) {
312*6e84dc96SRichard Miller 			print("%P\n", p);
313*6e84dc96SRichard Miller 			if(p->as != ADATA && p->as != AGLOBL)
314*6e84dc96SRichard Miller 				pc++;
315*6e84dc96SRichard Miller 		}
316*6e84dc96SRichard Miller 	}
317*6e84dc96SRichard Miller 	outhist(&outbuf);
318*6e84dc96SRichard Miller 	for(sym=0; sym<NSYM; sym++) {
319*6e84dc96SRichard Miller 		h[sym].sym = S;
320*6e84dc96SRichard Miller 		h[sym].type = 0;
321*6e84dc96SRichard Miller 	}
322*6e84dc96SRichard Miller 	sym = 1;
323*6e84dc96SRichard Miller 	for(p = firstp; p != P; p = p->link) {
324*6e84dc96SRichard Miller 	jackpot:
325*6e84dc96SRichard Miller 		sf = 0;
326*6e84dc96SRichard Miller 		s = p->from.sym;
327*6e84dc96SRichard Miller 		while(s != S) {
328*6e84dc96SRichard Miller 			sf = s->sym;
329*6e84dc96SRichard Miller 			if(sf < 0 || sf >= NSYM)
330*6e84dc96SRichard Miller 				sf = 0;
331*6e84dc96SRichard Miller 			t = p->from.name;
332*6e84dc96SRichard Miller 			if(h[sf].type == t)
333*6e84dc96SRichard Miller 			if(h[sf].sym == s)
334*6e84dc96SRichard Miller 				break;
335*6e84dc96SRichard Miller 			s->sym = sym;
336*6e84dc96SRichard Miller 			zname(&outbuf, s, t);
337*6e84dc96SRichard Miller 			h[sym].sym = s;
338*6e84dc96SRichard Miller 			h[sym].type = t;
339*6e84dc96SRichard Miller 			sf = sym;
340*6e84dc96SRichard Miller 			sym++;
341*6e84dc96SRichard Miller 			if(sym >= NSYM)
342*6e84dc96SRichard Miller 				sym = 1;
343*6e84dc96SRichard Miller 			break;
344*6e84dc96SRichard Miller 		}
345*6e84dc96SRichard Miller 		st = 0;
346*6e84dc96SRichard Miller 		s = p->to.sym;
347*6e84dc96SRichard Miller 		while(s != S) {
348*6e84dc96SRichard Miller 			st = s->sym;
349*6e84dc96SRichard Miller 			if(st < 0 || st >= NSYM)
350*6e84dc96SRichard Miller 				st = 0;
351*6e84dc96SRichard Miller 			t = p->to.name;
352*6e84dc96SRichard Miller 			if(h[st].type == t)
353*6e84dc96SRichard Miller 			if(h[st].sym == s)
354*6e84dc96SRichard Miller 				break;
355*6e84dc96SRichard Miller 			s->sym = sym;
356*6e84dc96SRichard Miller 			zname(&outbuf, s, t);
357*6e84dc96SRichard Miller 			h[sym].sym = s;
358*6e84dc96SRichard Miller 			h[sym].type = t;
359*6e84dc96SRichard Miller 			st = sym;
360*6e84dc96SRichard Miller 			sym++;
361*6e84dc96SRichard Miller 			if(sym >= NSYM)
362*6e84dc96SRichard Miller 				sym = 1;
363*6e84dc96SRichard Miller 			if(st == sf)
364*6e84dc96SRichard Miller 				goto jackpot;
365*6e84dc96SRichard Miller 			break;
366*6e84dc96SRichard Miller 		}
367*6e84dc96SRichard Miller 		zwrite(&outbuf, p, sf, st);
368*6e84dc96SRichard Miller 	}
369*6e84dc96SRichard Miller 	firstp = P;
370*6e84dc96SRichard Miller 	lastp = P;
371*6e84dc96SRichard Miller }
372*6e84dc96SRichard Miller 
373*6e84dc96SRichard Miller void
outhist(Biobuf * b)374*6e84dc96SRichard Miller outhist(Biobuf *b)
375*6e84dc96SRichard Miller {
376*6e84dc96SRichard Miller 	Hist *h;
377*6e84dc96SRichard Miller 	char *p, *q, *op, c;
378*6e84dc96SRichard Miller 	Prog pg;
379*6e84dc96SRichard Miller 	int n;
380*6e84dc96SRichard Miller 
381*6e84dc96SRichard Miller 	pg = zprog;
382*6e84dc96SRichard Miller 	pg.as = AHISTORY;
383*6e84dc96SRichard Miller 	c = pathchar();
384*6e84dc96SRichard Miller 	for(h = hist; h != H; h = h->link) {
385*6e84dc96SRichard Miller 		p = h->name;
386*6e84dc96SRichard Miller 		op = 0;
387*6e84dc96SRichard Miller 		/* on windows skip drive specifier in pathname */
388*6e84dc96SRichard Miller 		if(systemtype(Windows) && p && p[1] == ':'){
389*6e84dc96SRichard Miller 			p += 2;
390*6e84dc96SRichard Miller 			c = *p;
391*6e84dc96SRichard Miller 		}
392*6e84dc96SRichard Miller 		if(p && p[0] != c && h->offset == 0 && pathname){
393*6e84dc96SRichard Miller 			/* on windows skip drive specifier in pathname */
394*6e84dc96SRichard Miller 			if(systemtype(Windows) && pathname[1] == ':') {
395*6e84dc96SRichard Miller 				op = p;
396*6e84dc96SRichard Miller 				p = pathname+2;
397*6e84dc96SRichard Miller 				c = *p;
398*6e84dc96SRichard Miller 			} else if(pathname[0] == c){
399*6e84dc96SRichard Miller 				op = p;
400*6e84dc96SRichard Miller 				p = pathname;
401*6e84dc96SRichard Miller 			}
402*6e84dc96SRichard Miller 		}
403*6e84dc96SRichard Miller 		while(p) {
404*6e84dc96SRichard Miller 			q = utfrune(p, c);
405*6e84dc96SRichard Miller 			if(q) {
406*6e84dc96SRichard Miller 				n = q-p;
407*6e84dc96SRichard Miller 				if(n == 0){
408*6e84dc96SRichard Miller 					n = 1;	/* leading "/" */
409*6e84dc96SRichard Miller 					*p = '/';	/* don't emit "\" on windows */
410*6e84dc96SRichard Miller 				}
411*6e84dc96SRichard Miller 				q++;
412*6e84dc96SRichard Miller 			} else {
413*6e84dc96SRichard Miller 				n = strlen(p);
414*6e84dc96SRichard Miller 				q = 0;
415*6e84dc96SRichard Miller 			}
416*6e84dc96SRichard Miller 			if(n) {
417*6e84dc96SRichard Miller 				Bputc(b, ANAME);
418*6e84dc96SRichard Miller 				Bputc(b, D_FILE);
419*6e84dc96SRichard Miller 				Bputc(b, 1);
420*6e84dc96SRichard Miller 				Bputc(b, '<');
421*6e84dc96SRichard Miller 				Bwrite(b, p, n);
422*6e84dc96SRichard Miller 				Bputc(b, 0);
423*6e84dc96SRichard Miller 			}
424*6e84dc96SRichard Miller 			p = q;
425*6e84dc96SRichard Miller 			if(p == 0 && op) {
426*6e84dc96SRichard Miller 				p = op;
427*6e84dc96SRichard Miller 				op = 0;
428*6e84dc96SRichard Miller 			}
429*6e84dc96SRichard Miller 		}
430*6e84dc96SRichard Miller 		pg.lineno = h->line;
431*6e84dc96SRichard Miller 		pg.to.type = zprog.to.type;
432*6e84dc96SRichard Miller 		pg.to.offset = h->offset;
433*6e84dc96SRichard Miller 		if(h->offset)
434*6e84dc96SRichard Miller 			pg.to.type = D_CONST;
435*6e84dc96SRichard Miller 
436*6e84dc96SRichard Miller 		zwrite(b, &pg, 0, 0);
437*6e84dc96SRichard Miller 	}
438*6e84dc96SRichard Miller }
439*6e84dc96SRichard Miller 
440*6e84dc96SRichard Miller void
zname(Biobuf * b,Sym * s,int t)441*6e84dc96SRichard Miller zname(Biobuf *b, Sym *s, int t)
442*6e84dc96SRichard Miller {
443*6e84dc96SRichard Miller 	char *n, bf[7];
444*6e84dc96SRichard Miller 	ulong sig;
445*6e84dc96SRichard Miller 
446*6e84dc96SRichard Miller 	n = s->name;
447*6e84dc96SRichard Miller 	if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){
448*6e84dc96SRichard Miller 		sig = sign(s);
449*6e84dc96SRichard Miller 		bf[0] = ASIGNAME;
450*6e84dc96SRichard Miller 		bf[1] = sig;
451*6e84dc96SRichard Miller 		bf[2] = sig>>8;
452*6e84dc96SRichard Miller 		bf[3] = sig>>16;
453*6e84dc96SRichard Miller 		bf[4] = sig>>24;
454*6e84dc96SRichard Miller 		bf[5] = t;
455*6e84dc96SRichard Miller 		bf[6] = s->sym;
456*6e84dc96SRichard Miller 		Bwrite(b, bf, 7);
457*6e84dc96SRichard Miller 		s->sig = SIGDONE;
458*6e84dc96SRichard Miller 	}
459*6e84dc96SRichard Miller 	else{
460*6e84dc96SRichard Miller 		bf[0] = ANAME;
461*6e84dc96SRichard Miller 		bf[1] = t;	/* type */
462*6e84dc96SRichard Miller 		bf[2] = s->sym;	/* sym */
463*6e84dc96SRichard Miller 		Bwrite(b, bf, 3);
464*6e84dc96SRichard Miller 	}
465*6e84dc96SRichard Miller 	Bwrite(b, n, strlen(n)+1);
466*6e84dc96SRichard Miller }
467*6e84dc96SRichard Miller 
468*6e84dc96SRichard Miller char*
zaddr(char * bp,Adr * a,int s)469*6e84dc96SRichard Miller zaddr(char *bp, Adr *a, int s)
470*6e84dc96SRichard Miller {
471*6e84dc96SRichard Miller 	long l;
472*6e84dc96SRichard Miller 	Ieee e;
473*6e84dc96SRichard Miller 
474*6e84dc96SRichard Miller 	bp[0] = a->type;
475*6e84dc96SRichard Miller 	bp[1] = a->reg;
476*6e84dc96SRichard Miller 	bp[2] = s;
477*6e84dc96SRichard Miller 	bp[3] = a->name;
478*6e84dc96SRichard Miller 	bp += 4;
479*6e84dc96SRichard Miller 	switch(a->type) {
480*6e84dc96SRichard Miller 	default:
481*6e84dc96SRichard Miller 		diag(Z, "unknown type %d in zaddr", a->type);
482*6e84dc96SRichard Miller 
483*6e84dc96SRichard Miller 	case D_NONE:
484*6e84dc96SRichard Miller 	case D_REG:
485*6e84dc96SRichard Miller 	case D_FREG:
486*6e84dc96SRichard Miller 	case D_FCREG:
487*6e84dc96SRichard Miller 		break;
488*6e84dc96SRichard Miller 
489*6e84dc96SRichard Miller 	case D_OREG:
490*6e84dc96SRichard Miller 	case D_CONST:
491*6e84dc96SRichard Miller 	case D_BRANCH:
492*6e84dc96SRichard Miller 		l = a->offset;
493*6e84dc96SRichard Miller 		bp[0] = l;
494*6e84dc96SRichard Miller 		bp[1] = l>>8;
495*6e84dc96SRichard Miller 		bp[2] = l>>16;
496*6e84dc96SRichard Miller 		bp[3] = l>>24;
497*6e84dc96SRichard Miller 		bp += 4;
498*6e84dc96SRichard Miller 		break;
499*6e84dc96SRichard Miller 
500*6e84dc96SRichard Miller 	case D_VCONST:
501*6e84dc96SRichard Miller 		l = *(long*)a->sval;
502*6e84dc96SRichard Miller 		bp[0] = l;
503*6e84dc96SRichard Miller 		bp[1] = l>>8;
504*6e84dc96SRichard Miller 		bp[2] = l>>16;
505*6e84dc96SRichard Miller 		bp[3] = l>>24;
506*6e84dc96SRichard Miller 		bp += 4;
507*6e84dc96SRichard Miller 		l = *((long*)a->sval + 1);
508*6e84dc96SRichard Miller 		bp[0] = l;
509*6e84dc96SRichard Miller 		bp[1] = l>>8;
510*6e84dc96SRichard Miller 		bp[2] = l>>16;
511*6e84dc96SRichard Miller 		bp[3] = l>>24;
512*6e84dc96SRichard Miller 		bp += 4;
513*6e84dc96SRichard Miller 		break;
514*6e84dc96SRichard Miller 
515*6e84dc96SRichard Miller 	case D_SCONST:
516*6e84dc96SRichard Miller 		memmove(bp, a->sval, NSNAME);
517*6e84dc96SRichard Miller 		bp += NSNAME;
518*6e84dc96SRichard Miller 		break;
519*6e84dc96SRichard Miller 
520*6e84dc96SRichard Miller 	case D_FCONST:
521*6e84dc96SRichard Miller 		ieeedtod(&e, a->dval);
522*6e84dc96SRichard Miller 		l = e.l;
523*6e84dc96SRichard Miller 		bp[0] = l;
524*6e84dc96SRichard Miller 		bp[1] = l>>8;
525*6e84dc96SRichard Miller 		bp[2] = l>>16;
526*6e84dc96SRichard Miller 		bp[3] = l>>24;
527*6e84dc96SRichard Miller 		bp += 4;
528*6e84dc96SRichard Miller 		l = e.h;
529*6e84dc96SRichard Miller 		bp[0] = l;
530*6e84dc96SRichard Miller 		bp[1] = l>>8;
531*6e84dc96SRichard Miller 		bp[2] = l>>16;
532*6e84dc96SRichard Miller 		bp[3] = l>>24;
533*6e84dc96SRichard Miller 		bp += 4;
534*6e84dc96SRichard Miller 		break;
535*6e84dc96SRichard Miller 	}
536*6e84dc96SRichard Miller 	return bp;
537*6e84dc96SRichard Miller }
538*6e84dc96SRichard Miller 
539*6e84dc96SRichard Miller long
align(long i,Type * t,int op)540*6e84dc96SRichard Miller align(long i, Type *t, int op)
541*6e84dc96SRichard Miller {
542*6e84dc96SRichard Miller 	long o;
543*6e84dc96SRichard Miller 	Type *v;
544*6e84dc96SRichard Miller 	int w;
545*6e84dc96SRichard Miller 	int linksave;
546*6e84dc96SRichard Miller 
547*6e84dc96SRichard Miller 	o = i;
548*6e84dc96SRichard Miller 	w = 1;
549*6e84dc96SRichard Miller 	linksave = 0;
550*6e84dc96SRichard Miller 	switch(op) {
551*6e84dc96SRichard Miller 	default:
552*6e84dc96SRichard Miller 		diag(Z, "unknown align opcode %d", op);
553*6e84dc96SRichard Miller 		break;
554*6e84dc96SRichard Miller 
555*6e84dc96SRichard Miller 	case Asu2:	/* padding at end of a struct */
556*6e84dc96SRichard Miller 		if(o <= SZ_LONG)
557*6e84dc96SRichard Miller 			w = SZ_LONG;
558*6e84dc96SRichard Miller 		else
559*6e84dc96SRichard Miller 			w = SZ_VLONG;
560*6e84dc96SRichard Miller 		if(packflg)
561*6e84dc96SRichard Miller 			w = packflg;
562*6e84dc96SRichard Miller 		break;
563*6e84dc96SRichard Miller 
564*6e84dc96SRichard Miller 	case Ael1:	/* initial align of struct element */
565*6e84dc96SRichard Miller 		for(v=t; v->etype==TARRAY; v=v->link)
566*6e84dc96SRichard Miller 			;
567*6e84dc96SRichard Miller 		w = v->width;
568*6e84dc96SRichard Miller 		if(w <= 0 || w >= SZ_VLONG)
569*6e84dc96SRichard Miller 			w = SZ_VLONG;
570*6e84dc96SRichard Miller 		if(packflg)
571*6e84dc96SRichard Miller 			w = packflg;
572*6e84dc96SRichard Miller 		break;
573*6e84dc96SRichard Miller 
574*6e84dc96SRichard Miller 	case Ael2:	/* width of a struct element */
575*6e84dc96SRichard Miller 		o += t->width;
576*6e84dc96SRichard Miller 		break;
577*6e84dc96SRichard Miller 
578*6e84dc96SRichard Miller 	case Aarg0:	/* initial passbyptr argument in arg list */
579*6e84dc96SRichard Miller 		if(typecmplx[t->etype]) {
580*6e84dc96SRichard Miller 			o = align(o, types[TIND], Aarg1);
581*6e84dc96SRichard Miller 			o = align(o, types[TIND], Aarg2);
582*6e84dc96SRichard Miller 		}
583*6e84dc96SRichard Miller 		break;
584*6e84dc96SRichard Miller 
585*6e84dc96SRichard Miller 	case Aarg1:	/* initial align of parameter */
586*6e84dc96SRichard Miller 		w = t->width;
587*6e84dc96SRichard Miller 		if(w > 0 && w <= SZ_LONG){
588*6e84dc96SRichard Miller 			w = 1;		/* little endian no adjustment */
589*6e84dc96SRichard Miller 			break;
590*6e84dc96SRichard Miller 		}
591*6e84dc96SRichard Miller 		if(w < SZ_VLONG)
592*6e84dc96SRichard Miller 			diag(Z, "compiler bug? type %T width %d\n", t, w);
593*6e84dc96SRichard Miller 		w = SZ_VLONG;
594*6e84dc96SRichard Miller 		linksave = ewidth[TIND];
595*6e84dc96SRichard Miller 		break;
596*6e84dc96SRichard Miller 
597*6e84dc96SRichard Miller 	case Aarg2:	/* width of a parameter */
598*6e84dc96SRichard Miller 		o += t->width;
599*6e84dc96SRichard Miller 		w = SZ_LONG;
600*6e84dc96SRichard Miller 		break;
601*6e84dc96SRichard Miller 
602*6e84dc96SRichard Miller 	case Aaut3:	/* total align of automatic */
603*6e84dc96SRichard Miller 		o = align(o, t, Ael1);
604*6e84dc96SRichard Miller 		o = align(o, t, Ael2);
605*6e84dc96SRichard Miller 		break;
606*6e84dc96SRichard Miller 	}
607*6e84dc96SRichard Miller 	o = round(o + linksave, w) - linksave;
608*6e84dc96SRichard Miller 	if(debug['A'])
609*6e84dc96SRichard Miller 		print("align %s %ld %T = %ld\n", bnames[op], i, t, o);
610*6e84dc96SRichard Miller 	return o;
611*6e84dc96SRichard Miller }
612*6e84dc96SRichard Miller 
613*6e84dc96SRichard Miller long
maxround(long max,long v)614*6e84dc96SRichard Miller maxround(long max, long v)
615*6e84dc96SRichard Miller {
616*6e84dc96SRichard Miller 	v = round(v, ewidth[TIND]);
617*6e84dc96SRichard Miller 	if(v > max)
618*6e84dc96SRichard Miller 		return v;
619*6e84dc96SRichard Miller 	return max;
620*6e84dc96SRichard Miller }
621