174a4d8c2SCharles.Forsyth #include "gc.h"
274a4d8c2SCharles.Forsyth
374a4d8c2SCharles.Forsyth int
swcmp(void * a1,void * a2)4*45a20ab7Sforsyth swcmp(void *a1, void *a2)
574a4d8c2SCharles.Forsyth {
674a4d8c2SCharles.Forsyth C1 *p1, *p2;
774a4d8c2SCharles.Forsyth
874a4d8c2SCharles.Forsyth p1 = (C1*)a1;
974a4d8c2SCharles.Forsyth p2 = (C1*)a2;
1074a4d8c2SCharles.Forsyth if(p1->val < p2->val)
1174a4d8c2SCharles.Forsyth return -1;
1274a4d8c2SCharles.Forsyth return p1->val > p2->val;
1374a4d8c2SCharles.Forsyth }
1474a4d8c2SCharles.Forsyth
1574a4d8c2SCharles.Forsyth void
doswit(Node * n)1674a4d8c2SCharles.Forsyth doswit(Node *n)
1774a4d8c2SCharles.Forsyth {
1874a4d8c2SCharles.Forsyth Case *c;
1974a4d8c2SCharles.Forsyth C1 *q, *iq;
2074a4d8c2SCharles.Forsyth long def, nc, i;
2174a4d8c2SCharles.Forsyth Node tn;
2274a4d8c2SCharles.Forsyth
2374a4d8c2SCharles.Forsyth def = 0;
2474a4d8c2SCharles.Forsyth nc = 0;
2574a4d8c2SCharles.Forsyth for(c = cases; c->link != C; c = c->link) {
2674a4d8c2SCharles.Forsyth if(c->def) {
2774a4d8c2SCharles.Forsyth if(def)
2874a4d8c2SCharles.Forsyth diag(n, "more than one default in switch");
2974a4d8c2SCharles.Forsyth def = c->label;
3074a4d8c2SCharles.Forsyth continue;
3174a4d8c2SCharles.Forsyth }
3274a4d8c2SCharles.Forsyth nc++;
3374a4d8c2SCharles.Forsyth }
3474a4d8c2SCharles.Forsyth
3574a4d8c2SCharles.Forsyth iq = alloc(nc*sizeof(C1));
3674a4d8c2SCharles.Forsyth q = iq;
3774a4d8c2SCharles.Forsyth for(c = cases; c->link != C; c = c->link) {
3874a4d8c2SCharles.Forsyth if(c->def)
3974a4d8c2SCharles.Forsyth continue;
4074a4d8c2SCharles.Forsyth q->label = c->label;
4174a4d8c2SCharles.Forsyth q->val = c->val;
4274a4d8c2SCharles.Forsyth q++;
4374a4d8c2SCharles.Forsyth }
4474a4d8c2SCharles.Forsyth qsort(iq, nc, sizeof(C1), swcmp);
4574a4d8c2SCharles.Forsyth if(debug['W'])
4674a4d8c2SCharles.Forsyth for(i=0; i<nc; i++)
4774a4d8c2SCharles.Forsyth print("case %2ld: = %.8lux\n", i, iq[i].val);
4874a4d8c2SCharles.Forsyth if(def == 0)
4974a4d8c2SCharles.Forsyth def = breakpc;
5074a4d8c2SCharles.Forsyth for(i=0; i<nc-1; i++)
5174a4d8c2SCharles.Forsyth if(iq[i].val == iq[i+1].val)
5274a4d8c2SCharles.Forsyth diag(n, "duplicate cases in switch %ld", iq[i].val);
5374a4d8c2SCharles.Forsyth regalloc(&tn, ®node, Z);
5474a4d8c2SCharles.Forsyth swit1(iq, nc, def, n, &tn);
5574a4d8c2SCharles.Forsyth regfree(&tn);
5674a4d8c2SCharles.Forsyth }
5774a4d8c2SCharles.Forsyth
5874a4d8c2SCharles.Forsyth void
swit1(C1 * q,int nc,long def,Node * n,Node * tn)5974a4d8c2SCharles.Forsyth swit1(C1 *q, int nc, long def, Node *n, Node *tn)
6074a4d8c2SCharles.Forsyth {
6174a4d8c2SCharles.Forsyth C1 *r;
6274a4d8c2SCharles.Forsyth int i;
6374a4d8c2SCharles.Forsyth Prog *sp;
6474a4d8c2SCharles.Forsyth
6574a4d8c2SCharles.Forsyth if(nc < 5) {
6674a4d8c2SCharles.Forsyth for(i=0; i<nc; i++) {
6774a4d8c2SCharles.Forsyth if(debug['W'])
6874a4d8c2SCharles.Forsyth print("case = %.8lux\n", q->val);
6974a4d8c2SCharles.Forsyth gmove(nodconst(q->val), tn);
7074a4d8c2SCharles.Forsyth gopcode(OEQ, n, tn, Z);
7174a4d8c2SCharles.Forsyth patch(p, q->label);
7274a4d8c2SCharles.Forsyth q++;
7374a4d8c2SCharles.Forsyth }
7474a4d8c2SCharles.Forsyth gbranch(OGOTO);
7574a4d8c2SCharles.Forsyth patch(p, def);
7674a4d8c2SCharles.Forsyth return;
7774a4d8c2SCharles.Forsyth }
7874a4d8c2SCharles.Forsyth i = nc / 2;
7974a4d8c2SCharles.Forsyth r = q+i;
8074a4d8c2SCharles.Forsyth if(debug['W'])
8174a4d8c2SCharles.Forsyth print("case > %.8lux\n", r->val);
8274a4d8c2SCharles.Forsyth gmove(nodconst(r->val), tn);
8374a4d8c2SCharles.Forsyth gopcode(OLT, tn, n, Z);
8474a4d8c2SCharles.Forsyth sp = p;
8574a4d8c2SCharles.Forsyth gopcode(OEQ, n, tn, Z);
8674a4d8c2SCharles.Forsyth patch(p, r->label);
8774a4d8c2SCharles.Forsyth swit1(q, i, def, n, tn);
8874a4d8c2SCharles.Forsyth
8974a4d8c2SCharles.Forsyth if(debug['W'])
9074a4d8c2SCharles.Forsyth print("case < %.8lux\n", r->val);
9174a4d8c2SCharles.Forsyth patch(sp, pc);
9274a4d8c2SCharles.Forsyth swit1(r+1, nc-i-1, def, n, tn);
9374a4d8c2SCharles.Forsyth }
9474a4d8c2SCharles.Forsyth
9574a4d8c2SCharles.Forsyth void
casf(void)96d67b7dadSforsyth casf(void)
9774a4d8c2SCharles.Forsyth {
9874a4d8c2SCharles.Forsyth Case *c;
9974a4d8c2SCharles.Forsyth
10074a4d8c2SCharles.Forsyth c = alloc(sizeof(*c));
10174a4d8c2SCharles.Forsyth c->link = cases;
10274a4d8c2SCharles.Forsyth cases = c;
10374a4d8c2SCharles.Forsyth }
10474a4d8c2SCharles.Forsyth
10574a4d8c2SCharles.Forsyth void
bitload(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)10674a4d8c2SCharles.Forsyth bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
10774a4d8c2SCharles.Forsyth {
10874a4d8c2SCharles.Forsyth int sh;
10974a4d8c2SCharles.Forsyth long v;
11074a4d8c2SCharles.Forsyth Node *l;
11174a4d8c2SCharles.Forsyth
11274a4d8c2SCharles.Forsyth /*
11374a4d8c2SCharles.Forsyth * n1 gets adjusted/masked value
11474a4d8c2SCharles.Forsyth * n2 gets address of cell
11574a4d8c2SCharles.Forsyth * n3 gets contents of cell
11674a4d8c2SCharles.Forsyth */
11774a4d8c2SCharles.Forsyth l = b->left;
11874a4d8c2SCharles.Forsyth if(n2 != Z) {
11974a4d8c2SCharles.Forsyth regalloc(n1, l, nn);
12074a4d8c2SCharles.Forsyth reglcgen(n2, l, Z);
12174a4d8c2SCharles.Forsyth regalloc(n3, l, Z);
12274a4d8c2SCharles.Forsyth gopcode(OAS, n2, Z, n3);
12374a4d8c2SCharles.Forsyth gopcode(OAS, n3, Z, n1);
12474a4d8c2SCharles.Forsyth } else {
12574a4d8c2SCharles.Forsyth regalloc(n1, l, nn);
12674a4d8c2SCharles.Forsyth cgen(l, n1);
12774a4d8c2SCharles.Forsyth }
12874a4d8c2SCharles.Forsyth if(b->type->shift == 0 && typeu[b->type->etype]) {
12974a4d8c2SCharles.Forsyth v = ~0 + (1L << b->type->nbits);
13074a4d8c2SCharles.Forsyth gopcode(OAND, nodconst(v), Z, n1);
13174a4d8c2SCharles.Forsyth } else {
13274a4d8c2SCharles.Forsyth sh = 32 - b->type->shift - b->type->nbits;
13374a4d8c2SCharles.Forsyth if(sh > 0)
13474a4d8c2SCharles.Forsyth gopcode(OASHL, nodconst(sh), Z, n1);
13574a4d8c2SCharles.Forsyth sh += b->type->shift;
13674a4d8c2SCharles.Forsyth if(sh > 0)
13774a4d8c2SCharles.Forsyth if(typeu[b->type->etype])
13874a4d8c2SCharles.Forsyth gopcode(OLSHR, nodconst(sh), Z, n1);
13974a4d8c2SCharles.Forsyth else
14074a4d8c2SCharles.Forsyth gopcode(OASHR, nodconst(sh), Z, n1);
14174a4d8c2SCharles.Forsyth }
14274a4d8c2SCharles.Forsyth }
14374a4d8c2SCharles.Forsyth
14474a4d8c2SCharles.Forsyth void
bitstore(Node * b,Node * n1,Node * n2,Node * n3,Node * nn)14574a4d8c2SCharles.Forsyth bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn)
14674a4d8c2SCharles.Forsyth {
14774a4d8c2SCharles.Forsyth long v;
14874a4d8c2SCharles.Forsyth Node nod, *l;
14974a4d8c2SCharles.Forsyth int sh;
15074a4d8c2SCharles.Forsyth
15174a4d8c2SCharles.Forsyth /*
15274a4d8c2SCharles.Forsyth * n1 has adjusted/masked value
15374a4d8c2SCharles.Forsyth * n2 has address of cell
15474a4d8c2SCharles.Forsyth * n3 has contents of cell
15574a4d8c2SCharles.Forsyth */
15674a4d8c2SCharles.Forsyth l = b->left;
15774a4d8c2SCharles.Forsyth regalloc(&nod, l, Z);
15874a4d8c2SCharles.Forsyth v = ~0 + (1L << b->type->nbits);
15974a4d8c2SCharles.Forsyth gopcode(OAND, nodconst(v), Z, n1);
16074a4d8c2SCharles.Forsyth gopcode(OAS, n1, Z, &nod);
16174a4d8c2SCharles.Forsyth if(nn != Z)
16274a4d8c2SCharles.Forsyth gopcode(OAS, n1, Z, nn);
16374a4d8c2SCharles.Forsyth sh = b->type->shift;
16474a4d8c2SCharles.Forsyth if(sh > 0)
16574a4d8c2SCharles.Forsyth gopcode(OASHL, nodconst(sh), Z, &nod);
16674a4d8c2SCharles.Forsyth v <<= sh;
16774a4d8c2SCharles.Forsyth gopcode(OAND, nodconst(~v), Z, n3);
16874a4d8c2SCharles.Forsyth gopcode(OOR, n3, Z, &nod);
16974a4d8c2SCharles.Forsyth gopcode(OAS, &nod, Z, n2);
17074a4d8c2SCharles.Forsyth
17174a4d8c2SCharles.Forsyth regfree(&nod);
17274a4d8c2SCharles.Forsyth regfree(n1);
17374a4d8c2SCharles.Forsyth regfree(n2);
17474a4d8c2SCharles.Forsyth regfree(n3);
17574a4d8c2SCharles.Forsyth }
17674a4d8c2SCharles.Forsyth
17774a4d8c2SCharles.Forsyth long
outstring(char * s,long n)17874a4d8c2SCharles.Forsyth outstring(char *s, long n)
17974a4d8c2SCharles.Forsyth {
18074a4d8c2SCharles.Forsyth long r;
18174a4d8c2SCharles.Forsyth
18274a4d8c2SCharles.Forsyth r = nstring;
18374a4d8c2SCharles.Forsyth while(n) {
18474a4d8c2SCharles.Forsyth string[mnstring] = *s++;
18574a4d8c2SCharles.Forsyth mnstring++;
18674a4d8c2SCharles.Forsyth nstring++;
18774a4d8c2SCharles.Forsyth if(mnstring >= NSNAME) {
18874a4d8c2SCharles.Forsyth gpseudo(ADATA, symstring, nodconst(0L));
18974a4d8c2SCharles.Forsyth p->from.offset += nstring - NSNAME;
19074a4d8c2SCharles.Forsyth p->reg = NSNAME;
19174a4d8c2SCharles.Forsyth p->to.type = D_SCONST;
19274a4d8c2SCharles.Forsyth memmove(p->to.sval, string, NSNAME);
19374a4d8c2SCharles.Forsyth mnstring = 0;
19474a4d8c2SCharles.Forsyth }
19574a4d8c2SCharles.Forsyth n--;
19674a4d8c2SCharles.Forsyth }
19774a4d8c2SCharles.Forsyth return r;
19874a4d8c2SCharles.Forsyth }
19974a4d8c2SCharles.Forsyth
20074a4d8c2SCharles.Forsyth long
outlstring(TRune * s,long n)201*45a20ab7Sforsyth outlstring(TRune *s, long n)
20274a4d8c2SCharles.Forsyth {
20374a4d8c2SCharles.Forsyth char buf[2];
20474a4d8c2SCharles.Forsyth int c;
20574a4d8c2SCharles.Forsyth long r;
20674a4d8c2SCharles.Forsyth
20774a4d8c2SCharles.Forsyth while(nstring & 1)
20874a4d8c2SCharles.Forsyth outstring("", 1);
20974a4d8c2SCharles.Forsyth r = nstring;
21074a4d8c2SCharles.Forsyth while(n > 0) {
21174a4d8c2SCharles.Forsyth c = *s++;
21274a4d8c2SCharles.Forsyth if(align(0, types[TCHAR], Aarg1)) {
21374a4d8c2SCharles.Forsyth buf[0] = c>>8;
21474a4d8c2SCharles.Forsyth buf[1] = c;
21574a4d8c2SCharles.Forsyth } else {
21674a4d8c2SCharles.Forsyth buf[0] = c;
21774a4d8c2SCharles.Forsyth buf[1] = c>>8;
21874a4d8c2SCharles.Forsyth }
21974a4d8c2SCharles.Forsyth outstring(buf, 2);
22074a4d8c2SCharles.Forsyth n -= sizeof(ushort);
22174a4d8c2SCharles.Forsyth }
22274a4d8c2SCharles.Forsyth return r;
22374a4d8c2SCharles.Forsyth }
22474a4d8c2SCharles.Forsyth
22574a4d8c2SCharles.Forsyth int
mulcon(Node * n,Node * nn)22674a4d8c2SCharles.Forsyth mulcon(Node *n, Node *nn)
22774a4d8c2SCharles.Forsyth {
22874a4d8c2SCharles.Forsyth Node *l, *r, nod1, nod2;
22974a4d8c2SCharles.Forsyth Multab *m;
23074a4d8c2SCharles.Forsyth long v;
23174a4d8c2SCharles.Forsyth int o;
23274a4d8c2SCharles.Forsyth char code[sizeof(m->code)+2], *p;
23374a4d8c2SCharles.Forsyth
23474a4d8c2SCharles.Forsyth if(typefd[n->type->etype])
23574a4d8c2SCharles.Forsyth return 0;
23674a4d8c2SCharles.Forsyth l = n->left;
23774a4d8c2SCharles.Forsyth r = n->right;
23874a4d8c2SCharles.Forsyth if(l->op == OCONST) {
23974a4d8c2SCharles.Forsyth l = r;
24074a4d8c2SCharles.Forsyth r = n->left;
24174a4d8c2SCharles.Forsyth }
24274a4d8c2SCharles.Forsyth if(r->op != OCONST)
24374a4d8c2SCharles.Forsyth return 0;
24474a4d8c2SCharles.Forsyth v = convvtox(r->vconst, n->type->etype);
24574a4d8c2SCharles.Forsyth if(v != r->vconst) {
24674a4d8c2SCharles.Forsyth if(debug['M'])
24774a4d8c2SCharles.Forsyth print("%L multiply conv: %lld\n", n->lineno, r->vconst);
24874a4d8c2SCharles.Forsyth return 0;
24974a4d8c2SCharles.Forsyth }
25074a4d8c2SCharles.Forsyth m = mulcon0(v);
25174a4d8c2SCharles.Forsyth if(!m) {
25274a4d8c2SCharles.Forsyth if(debug['M'])
25374a4d8c2SCharles.Forsyth print("%L multiply table: %lld\n", n->lineno, r->vconst);
25474a4d8c2SCharles.Forsyth return 0;
25574a4d8c2SCharles.Forsyth }
25674a4d8c2SCharles.Forsyth if(debug['M'] && debug['v'])
25774a4d8c2SCharles.Forsyth print("%L multiply: %ld\n", n->lineno, v);
25874a4d8c2SCharles.Forsyth
25974a4d8c2SCharles.Forsyth memmove(code, m->code, sizeof(m->code));
26074a4d8c2SCharles.Forsyth code[sizeof(m->code)] = 0;
26174a4d8c2SCharles.Forsyth
26274a4d8c2SCharles.Forsyth p = code;
26374a4d8c2SCharles.Forsyth if(p[1] == 'i')
26474a4d8c2SCharles.Forsyth p += 2;
26574a4d8c2SCharles.Forsyth regalloc(&nod1, n, nn);
26674a4d8c2SCharles.Forsyth cgen(l, &nod1);
26774a4d8c2SCharles.Forsyth if(v < 0)
26874a4d8c2SCharles.Forsyth gopcode(OSUB, &nod1, nodconst(0), &nod1);
26974a4d8c2SCharles.Forsyth regalloc(&nod2, n, Z);
27074a4d8c2SCharles.Forsyth
27174a4d8c2SCharles.Forsyth loop:
27274a4d8c2SCharles.Forsyth switch(*p) {
27374a4d8c2SCharles.Forsyth case 0:
27474a4d8c2SCharles.Forsyth regfree(&nod2);
27574a4d8c2SCharles.Forsyth gopcode(OAS, &nod1, Z, nn);
27674a4d8c2SCharles.Forsyth regfree(&nod1);
27774a4d8c2SCharles.Forsyth return 1;
27874a4d8c2SCharles.Forsyth case '+':
27974a4d8c2SCharles.Forsyth o = OADD;
28074a4d8c2SCharles.Forsyth goto addsub;
28174a4d8c2SCharles.Forsyth case '-':
28274a4d8c2SCharles.Forsyth o = OSUB;
28374a4d8c2SCharles.Forsyth addsub: /* number is r,n,l */
28474a4d8c2SCharles.Forsyth v = p[1] - '0';
28574a4d8c2SCharles.Forsyth r = &nod1;
28674a4d8c2SCharles.Forsyth if(v&4)
28774a4d8c2SCharles.Forsyth r = &nod2;
28874a4d8c2SCharles.Forsyth n = &nod1;
28974a4d8c2SCharles.Forsyth if(v&2)
29074a4d8c2SCharles.Forsyth n = &nod2;
29174a4d8c2SCharles.Forsyth l = &nod1;
29274a4d8c2SCharles.Forsyth if(v&1)
29374a4d8c2SCharles.Forsyth l = &nod2;
29474a4d8c2SCharles.Forsyth gopcode(o, l, n, r);
29574a4d8c2SCharles.Forsyth break;
29674a4d8c2SCharles.Forsyth default: /* op is shiftcount, number is r,l */
29774a4d8c2SCharles.Forsyth v = p[1] - '0';
29874a4d8c2SCharles.Forsyth r = &nod1;
29974a4d8c2SCharles.Forsyth if(v&2)
30074a4d8c2SCharles.Forsyth r = &nod2;
30174a4d8c2SCharles.Forsyth l = &nod1;
30274a4d8c2SCharles.Forsyth if(v&1)
30374a4d8c2SCharles.Forsyth l = &nod2;
30474a4d8c2SCharles.Forsyth v = *p - 'a';
30574a4d8c2SCharles.Forsyth if(v < 0 || v >= 32) {
30674a4d8c2SCharles.Forsyth diag(n, "mulcon unknown op: %c%c", p[0], p[1]);
30774a4d8c2SCharles.Forsyth break;
30874a4d8c2SCharles.Forsyth }
30974a4d8c2SCharles.Forsyth gopcode(OASHL, nodconst(v), l, r);
31074a4d8c2SCharles.Forsyth break;
31174a4d8c2SCharles.Forsyth }
31274a4d8c2SCharles.Forsyth p += 2;
31374a4d8c2SCharles.Forsyth goto loop;
31474a4d8c2SCharles.Forsyth }
31574a4d8c2SCharles.Forsyth
31674a4d8c2SCharles.Forsyth void
nullwarn(Node * l,Node * r)31774a4d8c2SCharles.Forsyth nullwarn(Node *l, Node *r)
31874a4d8c2SCharles.Forsyth {
31974a4d8c2SCharles.Forsyth warn(Z, "result of operation not used");
32074a4d8c2SCharles.Forsyth if(l != Z)
32174a4d8c2SCharles.Forsyth cgen(l, Z);
32274a4d8c2SCharles.Forsyth if(r != Z)
32374a4d8c2SCharles.Forsyth cgen(r, Z);
32474a4d8c2SCharles.Forsyth }
32574a4d8c2SCharles.Forsyth
32674a4d8c2SCharles.Forsyth
32774a4d8c2SCharles.Forsyth void
gextern(Sym * s,Node * a,long o,long w)32874a4d8c2SCharles.Forsyth gextern(Sym *s, Node *a, long o, long w)
32974a4d8c2SCharles.Forsyth {
33074a4d8c2SCharles.Forsyth
33174a4d8c2SCharles.Forsyth if(a->op == OCONST && typev[a->type->etype]) {
33274a4d8c2SCharles.Forsyth gpseudo(ADATA, s, nodconst(a->vconst));
33374a4d8c2SCharles.Forsyth p->from.offset += o;
33474a4d8c2SCharles.Forsyth p->reg = 4;
33574a4d8c2SCharles.Forsyth gpseudo(ADATA, s, nodconst(a->vconst>>32));
33674a4d8c2SCharles.Forsyth p->from.offset += o + 4;
33774a4d8c2SCharles.Forsyth p->reg = 4;
33874a4d8c2SCharles.Forsyth return;
33974a4d8c2SCharles.Forsyth }
34074a4d8c2SCharles.Forsyth gpseudo(ADATA, s, a);
34174a4d8c2SCharles.Forsyth p->from.offset += o;
34274a4d8c2SCharles.Forsyth p->reg = w;
34374a4d8c2SCharles.Forsyth if(p->to.type == D_OREG)
34474a4d8c2SCharles.Forsyth p->to.type = D_CONST;
34574a4d8c2SCharles.Forsyth }
34674a4d8c2SCharles.Forsyth
34774a4d8c2SCharles.Forsyth void zname(Biobuf*, Sym*, int);
34874a4d8c2SCharles.Forsyth char* zaddr(char*, Adr*, int);
34974a4d8c2SCharles.Forsyth void zwrite(Biobuf*, Prog*, int, int);
35074a4d8c2SCharles.Forsyth void outhist(Biobuf*);
35174a4d8c2SCharles.Forsyth
35274a4d8c2SCharles.Forsyth void
zwrite(Biobuf * b,Prog * p,int sf,int st)35374a4d8c2SCharles.Forsyth zwrite(Biobuf *b, Prog *p, int sf, int st)
35474a4d8c2SCharles.Forsyth {
35574a4d8c2SCharles.Forsyth char bf[100], *bp;
35674a4d8c2SCharles.Forsyth
35774a4d8c2SCharles.Forsyth bf[0] = p->as;
35874a4d8c2SCharles.Forsyth bf[1] = p->reg;
35974a4d8c2SCharles.Forsyth bf[2] = p->lineno;
36074a4d8c2SCharles.Forsyth bf[3] = p->lineno>>8;
36174a4d8c2SCharles.Forsyth bf[4] = p->lineno>>16;
36274a4d8c2SCharles.Forsyth bf[5] = p->lineno>>24;
36374a4d8c2SCharles.Forsyth bp = zaddr(bf+6, &p->from, sf);
36474a4d8c2SCharles.Forsyth bp = zaddr(bp, &p->to, st);
36574a4d8c2SCharles.Forsyth Bwrite(b, bf, bp-bf);
36674a4d8c2SCharles.Forsyth }
36774a4d8c2SCharles.Forsyth
36874a4d8c2SCharles.Forsyth void
outcode(void)36974a4d8c2SCharles.Forsyth outcode(void)
37074a4d8c2SCharles.Forsyth {
37174a4d8c2SCharles.Forsyth struct { Sym *sym; short type; } h[NSYM];
37274a4d8c2SCharles.Forsyth Prog *p;
37374a4d8c2SCharles.Forsyth Sym *s;
37474a4d8c2SCharles.Forsyth int sf, st, t, sym;
37574a4d8c2SCharles.Forsyth
37674a4d8c2SCharles.Forsyth if(debug['S']) {
37774a4d8c2SCharles.Forsyth for(p = firstp; p != P; p = p->link)
37874a4d8c2SCharles.Forsyth if(p->as != ADATA && p->as != AGLOBL)
37974a4d8c2SCharles.Forsyth pc--;
38074a4d8c2SCharles.Forsyth for(p = firstp; p != P; p = p->link) {
38174a4d8c2SCharles.Forsyth print("%P\n", p);
38274a4d8c2SCharles.Forsyth if(p->as != ADATA && p->as != AGLOBL)
38374a4d8c2SCharles.Forsyth pc++;
38474a4d8c2SCharles.Forsyth }
38574a4d8c2SCharles.Forsyth }
38674a4d8c2SCharles.Forsyth outhist(&outbuf);
38774a4d8c2SCharles.Forsyth for(sym=0; sym<NSYM; sym++) {
38874a4d8c2SCharles.Forsyth h[sym].sym = S;
38974a4d8c2SCharles.Forsyth h[sym].type = 0;
39074a4d8c2SCharles.Forsyth }
39174a4d8c2SCharles.Forsyth sym = 1;
39274a4d8c2SCharles.Forsyth for(p = firstp; p != P; p = p->link) {
39374a4d8c2SCharles.Forsyth jackpot:
39474a4d8c2SCharles.Forsyth sf = 0;
39574a4d8c2SCharles.Forsyth s = p->from.sym;
39674a4d8c2SCharles.Forsyth while(s != S) {
39774a4d8c2SCharles.Forsyth sf = s->sym;
39874a4d8c2SCharles.Forsyth if(sf < 0 || sf >= NSYM)
39974a4d8c2SCharles.Forsyth sf = 0;
40074a4d8c2SCharles.Forsyth t = p->from.name;
40174a4d8c2SCharles.Forsyth if(h[sf].type == t)
40274a4d8c2SCharles.Forsyth if(h[sf].sym == s)
40374a4d8c2SCharles.Forsyth break;
40474a4d8c2SCharles.Forsyth s->sym = sym;
40574a4d8c2SCharles.Forsyth zname(&outbuf, s, t);
40674a4d8c2SCharles.Forsyth h[sym].sym = s;
40774a4d8c2SCharles.Forsyth h[sym].type = t;
40874a4d8c2SCharles.Forsyth sf = sym;
40974a4d8c2SCharles.Forsyth sym++;
41074a4d8c2SCharles.Forsyth if(sym >= NSYM)
41174a4d8c2SCharles.Forsyth sym = 1;
41274a4d8c2SCharles.Forsyth break;
41374a4d8c2SCharles.Forsyth }
41474a4d8c2SCharles.Forsyth st = 0;
41574a4d8c2SCharles.Forsyth s = p->to.sym;
41674a4d8c2SCharles.Forsyth while(s != S) {
41774a4d8c2SCharles.Forsyth st = s->sym;
41874a4d8c2SCharles.Forsyth if(st < 0 || st >= NSYM)
41974a4d8c2SCharles.Forsyth st = 0;
42074a4d8c2SCharles.Forsyth t = p->to.name;
42174a4d8c2SCharles.Forsyth if(h[st].type == t)
42274a4d8c2SCharles.Forsyth if(h[st].sym == s)
42374a4d8c2SCharles.Forsyth break;
42474a4d8c2SCharles.Forsyth s->sym = sym;
42574a4d8c2SCharles.Forsyth zname(&outbuf, s, t);
42674a4d8c2SCharles.Forsyth h[sym].sym = s;
42774a4d8c2SCharles.Forsyth h[sym].type = t;
42874a4d8c2SCharles.Forsyth st = sym;
42974a4d8c2SCharles.Forsyth sym++;
43074a4d8c2SCharles.Forsyth if(sym >= NSYM)
43174a4d8c2SCharles.Forsyth sym = 1;
43274a4d8c2SCharles.Forsyth if(st == sf)
43374a4d8c2SCharles.Forsyth goto jackpot;
43474a4d8c2SCharles.Forsyth break;
43574a4d8c2SCharles.Forsyth }
43674a4d8c2SCharles.Forsyth zwrite(&outbuf, p, sf, st);
43774a4d8c2SCharles.Forsyth }
43874a4d8c2SCharles.Forsyth firstp = P;
43974a4d8c2SCharles.Forsyth lastp = P;
44074a4d8c2SCharles.Forsyth }
44174a4d8c2SCharles.Forsyth
44274a4d8c2SCharles.Forsyth void
outhist(Biobuf * b)44374a4d8c2SCharles.Forsyth outhist(Biobuf *b)
44474a4d8c2SCharles.Forsyth {
44574a4d8c2SCharles.Forsyth Hist *h;
44674a4d8c2SCharles.Forsyth char *p, *q, *op, c;
44774a4d8c2SCharles.Forsyth Prog pg;
44874a4d8c2SCharles.Forsyth int n;
44974a4d8c2SCharles.Forsyth
45074a4d8c2SCharles.Forsyth pg = zprog;
45174a4d8c2SCharles.Forsyth pg.as = AHISTORY;
45274a4d8c2SCharles.Forsyth c = pathchar();
45374a4d8c2SCharles.Forsyth for(h = hist; h != H; h = h->link) {
45474a4d8c2SCharles.Forsyth p = h->name;
45574a4d8c2SCharles.Forsyth op = 0;
45674a4d8c2SCharles.Forsyth /* on windows skip drive specifier in pathname */
45774a4d8c2SCharles.Forsyth if(systemtype(Windows) && p && p[1] == ':'){
45874a4d8c2SCharles.Forsyth p += 2;
45974a4d8c2SCharles.Forsyth c = *p;
46074a4d8c2SCharles.Forsyth }
46174a4d8c2SCharles.Forsyth if(p && p[0] != c && h->offset == 0 && pathname){
46274a4d8c2SCharles.Forsyth /* on windows skip drive specifier in pathname */
46374a4d8c2SCharles.Forsyth if(systemtype(Windows) && pathname[1] == ':') {
46474a4d8c2SCharles.Forsyth op = p;
46574a4d8c2SCharles.Forsyth p = pathname+2;
46674a4d8c2SCharles.Forsyth c = *p;
46774a4d8c2SCharles.Forsyth } else if(pathname[0] == c){
46874a4d8c2SCharles.Forsyth op = p;
46974a4d8c2SCharles.Forsyth p = pathname;
47074a4d8c2SCharles.Forsyth }
47174a4d8c2SCharles.Forsyth }
47274a4d8c2SCharles.Forsyth while(p) {
47374a4d8c2SCharles.Forsyth q = utfrune(p, c);
47474a4d8c2SCharles.Forsyth if(q) {
47574a4d8c2SCharles.Forsyth n = q-p;
47674a4d8c2SCharles.Forsyth if(n == 0){
47774a4d8c2SCharles.Forsyth n = 1; /* leading "/" */
47874a4d8c2SCharles.Forsyth *p = '/'; /* don't emit "\" on windows */
47974a4d8c2SCharles.Forsyth }
48074a4d8c2SCharles.Forsyth q++;
48174a4d8c2SCharles.Forsyth } else {
48274a4d8c2SCharles.Forsyth n = strlen(p);
48374a4d8c2SCharles.Forsyth q = 0;
48474a4d8c2SCharles.Forsyth }
48574a4d8c2SCharles.Forsyth if(n) {
48674a4d8c2SCharles.Forsyth Bputc(b, ANAME);
48774a4d8c2SCharles.Forsyth Bputc(b, D_FILE);
48874a4d8c2SCharles.Forsyth Bputc(b, 1);
48974a4d8c2SCharles.Forsyth Bputc(b, '<');
49074a4d8c2SCharles.Forsyth Bwrite(b, p, n);
49174a4d8c2SCharles.Forsyth Bputc(b, 0);
49274a4d8c2SCharles.Forsyth }
49374a4d8c2SCharles.Forsyth p = q;
49474a4d8c2SCharles.Forsyth if(p == 0 && op) {
49574a4d8c2SCharles.Forsyth p = op;
49674a4d8c2SCharles.Forsyth op = 0;
49774a4d8c2SCharles.Forsyth }
49874a4d8c2SCharles.Forsyth }
49974a4d8c2SCharles.Forsyth pg.lineno = h->line;
50074a4d8c2SCharles.Forsyth pg.to.type = zprog.to.type;
50174a4d8c2SCharles.Forsyth pg.to.offset = h->offset;
50274a4d8c2SCharles.Forsyth if(h->offset)
50374a4d8c2SCharles.Forsyth pg.to.type = D_CONST;
50474a4d8c2SCharles.Forsyth
50574a4d8c2SCharles.Forsyth zwrite(b, &pg, 0, 0);
50674a4d8c2SCharles.Forsyth }
50774a4d8c2SCharles.Forsyth }
50874a4d8c2SCharles.Forsyth
50974a4d8c2SCharles.Forsyth void
zname(Biobuf * b,Sym * s,int t)51074a4d8c2SCharles.Forsyth zname(Biobuf *b, Sym *s, int t)
51174a4d8c2SCharles.Forsyth {
51274a4d8c2SCharles.Forsyth char *n, bf[7];
51374a4d8c2SCharles.Forsyth ulong sig;
51474a4d8c2SCharles.Forsyth
51574a4d8c2SCharles.Forsyth n = s->name;
51674a4d8c2SCharles.Forsyth if(debug['T'] && t == D_EXTERN && s->sig != SIGDONE && s->type != types[TENUM] && s != symrathole){
51774a4d8c2SCharles.Forsyth sig = sign(s);
51874a4d8c2SCharles.Forsyth bf[0] = ASIGNAME;
51974a4d8c2SCharles.Forsyth bf[1] = sig;
52074a4d8c2SCharles.Forsyth bf[2] = sig>>8;
52174a4d8c2SCharles.Forsyth bf[3] = sig>>16;
52274a4d8c2SCharles.Forsyth bf[4] = sig>>24;
52374a4d8c2SCharles.Forsyth bf[5] = t;
52474a4d8c2SCharles.Forsyth bf[6] = s->sym;
52574a4d8c2SCharles.Forsyth Bwrite(b, bf, 7);
52674a4d8c2SCharles.Forsyth s->sig = SIGDONE;
52774a4d8c2SCharles.Forsyth }
52874a4d8c2SCharles.Forsyth else{
52974a4d8c2SCharles.Forsyth bf[0] = ANAME;
53074a4d8c2SCharles.Forsyth bf[1] = t; /* type */
53174a4d8c2SCharles.Forsyth bf[2] = s->sym; /* sym */
53274a4d8c2SCharles.Forsyth Bwrite(b, bf, 3);
53374a4d8c2SCharles.Forsyth }
53474a4d8c2SCharles.Forsyth Bwrite(b, n, strlen(n)+1);
53574a4d8c2SCharles.Forsyth }
53674a4d8c2SCharles.Forsyth
53774a4d8c2SCharles.Forsyth char*
zaddr(char * bp,Adr * a,int s)53874a4d8c2SCharles.Forsyth zaddr(char *bp, Adr *a, int s)
53974a4d8c2SCharles.Forsyth {
54074a4d8c2SCharles.Forsyth vlong v;
54174a4d8c2SCharles.Forsyth long l;
54274a4d8c2SCharles.Forsyth Ieee e;
54374a4d8c2SCharles.Forsyth
54474a4d8c2SCharles.Forsyth bp[0] = a->type;
54574a4d8c2SCharles.Forsyth bp[1] = a->reg;
54674a4d8c2SCharles.Forsyth bp[2] = s;
54774a4d8c2SCharles.Forsyth bp[3] = a->name;
54874a4d8c2SCharles.Forsyth bp += 4;
54974a4d8c2SCharles.Forsyth switch(a->type) {
55074a4d8c2SCharles.Forsyth default:
55174a4d8c2SCharles.Forsyth diag(Z, "unknown type %d in zaddr", a->type);
55274a4d8c2SCharles.Forsyth
55374a4d8c2SCharles.Forsyth case D_NONE:
55474a4d8c2SCharles.Forsyth case D_REG:
55574a4d8c2SCharles.Forsyth case D_FREG:
55674a4d8c2SCharles.Forsyth case D_MREG:
55774a4d8c2SCharles.Forsyth case D_FCREG:
55874a4d8c2SCharles.Forsyth case D_LO:
55974a4d8c2SCharles.Forsyth case D_HI:
56074a4d8c2SCharles.Forsyth break;
56174a4d8c2SCharles.Forsyth
56274a4d8c2SCharles.Forsyth case D_CONST:
56374a4d8c2SCharles.Forsyth case D_OREG:
56474a4d8c2SCharles.Forsyth case D_BRANCH:
56574a4d8c2SCharles.Forsyth l = a->offset;
56674a4d8c2SCharles.Forsyth bp[0] = l;
56774a4d8c2SCharles.Forsyth bp[1] = l>>8;
56874a4d8c2SCharles.Forsyth bp[2] = l>>16;
56974a4d8c2SCharles.Forsyth bp[3] = l>>24;
57074a4d8c2SCharles.Forsyth bp += 4;
57174a4d8c2SCharles.Forsyth break;
57274a4d8c2SCharles.Forsyth
57374a4d8c2SCharles.Forsyth case D_SCONST:
57474a4d8c2SCharles.Forsyth memmove(bp, a->sval, NSNAME);
57574a4d8c2SCharles.Forsyth bp += NSNAME;
57674a4d8c2SCharles.Forsyth break;
57774a4d8c2SCharles.Forsyth
57874a4d8c2SCharles.Forsyth case D_FCONST:
57974a4d8c2SCharles.Forsyth ieeedtod(&e, a->dval);
58074a4d8c2SCharles.Forsyth l = e.l;
58174a4d8c2SCharles.Forsyth bp[0] = l;
58274a4d8c2SCharles.Forsyth bp[1] = l>>8;
58374a4d8c2SCharles.Forsyth bp[2] = l>>16;
58474a4d8c2SCharles.Forsyth bp[3] = l>>24;
58574a4d8c2SCharles.Forsyth bp += 4;
58674a4d8c2SCharles.Forsyth l = e.h;
58774a4d8c2SCharles.Forsyth bp[0] = l;
58874a4d8c2SCharles.Forsyth bp[1] = l>>8;
58974a4d8c2SCharles.Forsyth bp[2] = l>>16;
59074a4d8c2SCharles.Forsyth bp[3] = l>>24;
59174a4d8c2SCharles.Forsyth bp += 4;
59274a4d8c2SCharles.Forsyth break;
59374a4d8c2SCharles.Forsyth case D_VCONST:
59474a4d8c2SCharles.Forsyth v = a->vval;
59574a4d8c2SCharles.Forsyth bp[0] = v;
59674a4d8c2SCharles.Forsyth bp[1] = v>>8;
59774a4d8c2SCharles.Forsyth bp[2] = v>>16;
59874a4d8c2SCharles.Forsyth bp[3] = v>>24;
59974a4d8c2SCharles.Forsyth bp[4] = v>>32;
60074a4d8c2SCharles.Forsyth bp[5] = v>>40;
60174a4d8c2SCharles.Forsyth bp[6] = v>>48;
60274a4d8c2SCharles.Forsyth bp[7] = v>>56;
60374a4d8c2SCharles.Forsyth bp += 8;
60474a4d8c2SCharles.Forsyth break;
60574a4d8c2SCharles.Forsyth }
60674a4d8c2SCharles.Forsyth return bp;
60774a4d8c2SCharles.Forsyth }
60874a4d8c2SCharles.Forsyth
60974a4d8c2SCharles.Forsyth void
ieeedtod(Ieee * ieee,double native)61074a4d8c2SCharles.Forsyth ieeedtod(Ieee *ieee, double native)
61174a4d8c2SCharles.Forsyth {
61274a4d8c2SCharles.Forsyth double fr, ho, f;
61374a4d8c2SCharles.Forsyth int exp;
61474a4d8c2SCharles.Forsyth
61574a4d8c2SCharles.Forsyth if(native < 0) {
61674a4d8c2SCharles.Forsyth ieeedtod(ieee, -native);
61774a4d8c2SCharles.Forsyth ieee->h |= 0x80000000L;
61874a4d8c2SCharles.Forsyth return;
61974a4d8c2SCharles.Forsyth }
62074a4d8c2SCharles.Forsyth if(native == 0) {
62174a4d8c2SCharles.Forsyth ieee->l = 0;
62274a4d8c2SCharles.Forsyth ieee->h = 0;
62374a4d8c2SCharles.Forsyth return;
62474a4d8c2SCharles.Forsyth }
62574a4d8c2SCharles.Forsyth fr = frexp(native, &exp);
62674a4d8c2SCharles.Forsyth f = 2097152L; /* shouldnt use fp constants here */
62774a4d8c2SCharles.Forsyth fr = modf(fr*f, &ho);
62874a4d8c2SCharles.Forsyth ieee->h = ho;
62974a4d8c2SCharles.Forsyth ieee->h &= 0xfffffL;
63074a4d8c2SCharles.Forsyth ieee->h |= (exp+1022L) << 20;
63174a4d8c2SCharles.Forsyth f = 65536L;
63274a4d8c2SCharles.Forsyth fr = modf(fr*f, &ho);
63374a4d8c2SCharles.Forsyth ieee->l = ho;
63474a4d8c2SCharles.Forsyth ieee->l <<= 16;
63574a4d8c2SCharles.Forsyth ieee->l |= (long)(fr*f);
63674a4d8c2SCharles.Forsyth }
63774a4d8c2SCharles.Forsyth
63874a4d8c2SCharles.Forsyth long
align(long i,Type * t,int op)63974a4d8c2SCharles.Forsyth align(long i, Type *t, int op)
64074a4d8c2SCharles.Forsyth {
64174a4d8c2SCharles.Forsyth long o;
64274a4d8c2SCharles.Forsyth Type *v;
64374a4d8c2SCharles.Forsyth int w;
64474a4d8c2SCharles.Forsyth
64574a4d8c2SCharles.Forsyth o = i;
64674a4d8c2SCharles.Forsyth w = 1;
64774a4d8c2SCharles.Forsyth switch(op) {
64874a4d8c2SCharles.Forsyth default:
64974a4d8c2SCharles.Forsyth diag(Z, "unknown align opcode %d", op);
65074a4d8c2SCharles.Forsyth break;
65174a4d8c2SCharles.Forsyth
65274a4d8c2SCharles.Forsyth case Asu2: /* padding at end of a struct */
65374a4d8c2SCharles.Forsyth w = SZ_VLONG;
65474a4d8c2SCharles.Forsyth if(packflg)
65574a4d8c2SCharles.Forsyth w = packflg;
65674a4d8c2SCharles.Forsyth break;
65774a4d8c2SCharles.Forsyth
65874a4d8c2SCharles.Forsyth case Ael1: /* initial allign of struct element */
65974a4d8c2SCharles.Forsyth for(v=t; v->etype==TARRAY; v=v->link)
66074a4d8c2SCharles.Forsyth ;
66174a4d8c2SCharles.Forsyth w = ewidth[v->etype];
66274a4d8c2SCharles.Forsyth if(w <= 0 || w >= SZ_VLONG)
66374a4d8c2SCharles.Forsyth w = SZ_VLONG;
66474a4d8c2SCharles.Forsyth if(packflg)
66574a4d8c2SCharles.Forsyth w = packflg;
66674a4d8c2SCharles.Forsyth break;
66774a4d8c2SCharles.Forsyth
66874a4d8c2SCharles.Forsyth case Ael2: /* width of a struct element */
66974a4d8c2SCharles.Forsyth o += t->width;
67074a4d8c2SCharles.Forsyth break;
67174a4d8c2SCharles.Forsyth
67274a4d8c2SCharles.Forsyth case Aarg0: /* initial passbyptr argument in arg list */
67374a4d8c2SCharles.Forsyth if(typesu[t->etype]) {
67474a4d8c2SCharles.Forsyth o = align(o, types[TIND], Aarg1);
67574a4d8c2SCharles.Forsyth o = align(o, types[TIND], Aarg2);
67674a4d8c2SCharles.Forsyth }
67774a4d8c2SCharles.Forsyth break;
67874a4d8c2SCharles.Forsyth
67974a4d8c2SCharles.Forsyth case Aarg1: /* initial allign of parameter */
68074a4d8c2SCharles.Forsyth w = ewidth[t->etype];
68174a4d8c2SCharles.Forsyth if(w <= 0 || w >= SZ_VLONG) {
68274a4d8c2SCharles.Forsyth w = SZ_VLONG;
68374a4d8c2SCharles.Forsyth break;
68474a4d8c2SCharles.Forsyth }
68574a4d8c2SCharles.Forsyth w = 1; /* little endian no adjustment */
68674a4d8c2SCharles.Forsyth break;
68774a4d8c2SCharles.Forsyth
68874a4d8c2SCharles.Forsyth case Aarg2: /* width of a parameter */
68974a4d8c2SCharles.Forsyth o += t->width;
69074a4d8c2SCharles.Forsyth w = SZ_LONG;
69174a4d8c2SCharles.Forsyth break;
69274a4d8c2SCharles.Forsyth
69374a4d8c2SCharles.Forsyth case Aaut3: /* total allign of automatic */
69474a4d8c2SCharles.Forsyth o = align(o, t, Ael1);
69574a4d8c2SCharles.Forsyth o = align(o, t, Ael2);
69674a4d8c2SCharles.Forsyth break;
69774a4d8c2SCharles.Forsyth }
69874a4d8c2SCharles.Forsyth o = round(o, w);
69974a4d8c2SCharles.Forsyth if(debug['A'])
70074a4d8c2SCharles.Forsyth print("align %s %ld %T = %ld\n", bnames[op], i, t, o);
70174a4d8c2SCharles.Forsyth return o;
70274a4d8c2SCharles.Forsyth }
70374a4d8c2SCharles.Forsyth
70474a4d8c2SCharles.Forsyth long
maxround(long max,long v)70574a4d8c2SCharles.Forsyth maxround(long max, long v)
70674a4d8c2SCharles.Forsyth {
70774a4d8c2SCharles.Forsyth v += SZ_VLONG-1;
70874a4d8c2SCharles.Forsyth if(v > max)
70974a4d8c2SCharles.Forsyth max = round(v, SZ_VLONG);
71074a4d8c2SCharles.Forsyth return max;
71174a4d8c2SCharles.Forsyth }
712