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