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