| // Inferno utils/5c/swt.c | |
| // http://code.google.com/p/inferno-os/source/browse/utils/5c/swt.c | |
| // | |
| // Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved. | |
| // Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net) | |
| // Portions Copyright © 1997-1999 Vita Nuova Limited | |
| // Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com) | |
| // Portions Copyright © 2004,2006 Bruce Ellis | |
| // Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net) | |
| // Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others | |
| // Portions Copyright © 2009 The Go Authors. All rights reserved. | |
| // | |
| // Permission is hereby granted, free of charge, to any person obtaining a copy | |
| // of this software and associated documentation files (the "Software"), to deal | |
| // in the Software without restriction, including without limitation the rights | |
| // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
| // copies of the Software, and to permit persons to whom the Software is | |
| // furnished to do so, subject to the following conditions: | |
| // | |
| // The above copyright notice and this permission notice shall be included in | |
| // all copies or substantial portions of the Software. | |
| // | |
| // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
| // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
| // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | |
| // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
| // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
| // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | |
| // THE SOFTWARE. | |
| #include "gc.h" | |
| void | |
| swit1(C1 *q, int nc, int32 def, Node *n) | |
| { | |
| Node nreg; | |
| if(typev[n->type->etype]) { | |
| regsalloc(&nreg, n); | |
| nreg.type = types[TVLONG]; | |
| cgen(n, &nreg); | |
| swit2(q, nc, def, &nreg); | |
| return; | |
| } | |
| regalloc(&nreg, n, Z); | |
| nreg.type = types[TLONG]; | |
| cgen(n, &nreg); | |
| swit2(q, nc, def, &nreg); | |
| regfree(&nreg); | |
| } | |
| void | |
| swit2(C1 *q, int nc, int32 def, Node *n) | |
| { | |
| C1 *r; | |
| int i; | |
| int32 v; | |
| Prog *sp; | |
| if(nc >= 3) { | |
| i = (q+nc-1)->val - (q+0)->val; | |
| if(i > 0 && i < nc*2) | |
| goto direct; | |
| } | |
| if(nc < 5) { | |
| for(i=0; i<nc; i++) { | |
| if(debug['W']) | |
| print("case = %.8ux\n", q->val); | |
| gopcode(OEQ, nodconst(q->val), n, Z); | |
| patch(p, q->label); | |
| q++; | |
| } | |
| gbranch(OGOTO); | |
| patch(p, def); | |
| return; | |
| } | |
| i = nc / 2; | |
| r = q+i; | |
| if(debug['W']) | |
| print("case > %.8ux\n", r->val); | |
| gopcode(OGT, nodconst(r->val), n, Z); | |
| sp = p; | |
| gopcode(OEQ, nodconst(r->val), n, Z); /* just gen the B.EQ */ | |
| patch(p, r->label); | |
| swit2(q, i, def, n); | |
| if(debug['W']) | |
| print("case < %.8ux\n", r->val); | |
| patch(sp, pc); | |
| swit2(r+1, nc-i-1, def, n); | |
| return; | |
| direct: | |
| v = q->val; | |
| if(v != 0) | |
| gopcode(OSUB, nodconst(v), Z, n); | |
| gopcode(OCASE, nodconst((q+nc-1)->val - v), n, Z); | |
| patch(p, def); | |
| for(i=0; i<nc; i++) { | |
| if(debug['W']) | |
| print("case = %.8ux\n", q->val); | |
| while(q->val != v) { | |
| nextpc(); | |
| p->as = ABCASE; | |
| patch(p, def); | |
| v++; | |
| } | |
| nextpc(); | |
| p->as = ABCASE; | |
| patch(p, q->label); | |
| q++; | |
| v++; | |
| } | |
| gbranch(OGOTO); /* so that regopt() won't be confused */ | |
| patch(p, def); | |
| } | |
| void | |
| bitload(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) | |
| { | |
| int sh; | |
| int32 v; | |
| Node *l; | |
| /* | |
| * n1 gets adjusted/masked value | |
| * n2 gets address of cell | |
| * n3 gets contents of cell | |
| */ | |
| l = b->left; | |
| if(n2 != Z) { | |
| regalloc(n1, l, nn); | |
| reglcgen(n2, l, Z); | |
| regalloc(n3, l, Z); | |
| gopcode(OAS, n2, Z, n3); | |
| gopcode(OAS, n3, Z, n1); | |
| } else { | |
| regalloc(n1, l, nn); | |
| cgen(l, n1); | |
| } | |
| if(b->type->shift == 0 && typeu[b->type->etype]) { | |
| v = ~0 + (1L << b->type->nbits); | |
| gopcode(OAND, nodconst(v), Z, n1); | |
| } else { | |
| sh = 32 - b->type->shift - b->type->nbits; | |
| if(sh > 0) | |
| gopcode(OASHL, nodconst(sh), Z, n1); | |
| sh += b->type->shift; | |
| if(sh > 0) | |
| if(typeu[b->type->etype]) | |
| gopcode(OLSHR, nodconst(sh), Z, n1); | |
| else | |
| gopcode(OASHR, nodconst(sh), Z, n1); | |
| } | |
| } | |
| void | |
| bitstore(Node *b, Node *n1, Node *n2, Node *n3, Node *nn) | |
| { | |
| int32 v; | |
| Node nod, *l; | |
| int sh; | |
| /* | |
| * n1 has adjusted/masked value | |
| * n2 has address of cell | |
| * n3 has contents of cell | |
| */ | |
| l = b->left; | |
| regalloc(&nod, l, Z); | |
| v = ~0 + (1L << b->type->nbits); | |
| gopcode(OAND, nodconst(v), Z, n1); | |
| gopcode(OAS, n1, Z, &nod); | |
| if(nn != Z) | |
| gopcode(OAS, n1, Z, nn); | |
| sh = b->type->shift; | |
| if(sh > 0) | |
| gopcode(OASHL, nodconst(sh), Z, &nod); | |
| v <<= sh; | |
| gopcode(OAND, nodconst(~v), Z, n3); | |
| gopcode(OOR, n3, Z, &nod); | |
| gopcode(OAS, &nod, Z, n2); | |
| regfree(&nod); | |
| regfree(n1); | |
| regfree(n2); | |
| regfree(n3); | |
| } | |
| int32 | |
| outstring(char *s, int32 n) | |
| { | |
| int32 r; | |
| if(suppress) | |
| return nstring; | |
| r = nstring; | |
| while(n) { | |
| string[mnstring] = *s++; | |
| mnstring++; | |
| nstring++; | |
| if(mnstring >= NSNAME) { | |
| gpseudo(ADATA, symstring, nodconst(0L)); | |
| p->from.offset += nstring - NSNAME; | |
| p->reg = NSNAME; | |
| p->to.type = D_SCONST; | |
| memmove(p->to.u.sval, string, NSNAME); | |
| mnstring = 0; | |
| } | |
| n--; | |
| } | |
| return r; | |
| } | |
| int | |
| mulcon(Node *n, Node *nn) | |
| { | |
| Node *l, *r, nod1, nod2; | |
| Multab *m; | |
| int32 v, vs; | |
| int o; | |
| char code[sizeof(m->code)+2], *p; | |
| if(typefd[n->type->etype]) | |
| return 0; | |
| l = n->left; | |
| r = n->right; | |
| if(l->op == OCONST) { | |
| l = r; | |
| r = n->left; | |
| } | |
| if(r->op != OCONST) | |
| return 0; | |
| v = convvtox(r->vconst, n->type->etype); | |
| if(v != r->vconst) { | |
| if(debug['M']) | |
| print("%L multiply conv: %lld\n", n->lineno, r->vconst); | |
| return 0; | |
| } | |
| m = mulcon0(v); | |
| if(!m) { | |
| if(debug['M']) | |
| print("%L multiply table: %lld\n", n->lineno, r->vconst); | |
| return 0; | |
| } | |
| if(debug['M'] && debug['v']) | |
| print("%L multiply: %d\n", n->lineno, v); | |
| memmove(code, m->code, sizeof(m->code)); | |
| code[sizeof(m->code)] = 0; | |
| p = code; | |
| if(p[1] == 'i') | |
| p += 2; | |
| regalloc(&nod1, n, nn); | |
| cgen(l, &nod1); | |
| vs = v; | |
| regalloc(&nod2, n, Z); | |
| loop: | |
| switch(*p) { | |
| case 0: | |
| regfree(&nod2); | |
| if(vs < 0) { | |
| gopcode(OAS, &nod1, Z, &nod1); | |
| gopcode(OSUB, &nod1, nodconst(0), nn); | |
| } else | |
| gopcode(OAS, &nod1, Z, nn); | |
| regfree(&nod1); | |
| return 1; | |
| case '+': | |
| o = OADD; | |
| goto addsub; | |
| case '-': | |
| o = OSUB; | |
| addsub: /* number is r,n,l */ | |
| v = p[1] - '0'; | |
| r = &nod1; | |
| if(v&4) | |
| r = &nod2; | |
| n = &nod1; | |
| if(v&2) | |
| n = &nod2; | |
| l = &nod1; | |
| if(v&1) | |
| l = &nod2; | |
| gopcode(o, l, n, r); | |
| break; | |
| default: /* op is shiftcount, number is r,l */ | |
| v = p[1] - '0'; | |
| r = &nod1; | |
| if(v&2) | |
| r = &nod2; | |
| l = &nod1; | |
| if(v&1) | |
| l = &nod2; | |
| v = *p - 'a'; | |
| if(v < 0 || v >= 32) { | |
| diag(n, "mulcon unknown op: %c%c", p[0], p[1]); | |
| break; | |
| } | |
| gopcode(OASHL, nodconst(v), l, r); | |
| break; | |
| } | |
| p += 2; | |
| goto loop; | |
| } | |
| void | |
| sextern(Sym *s, Node *a, int32 o, int32 w) | |
| { | |
| int32 e, lw; | |
| for(e=0; e<w; e+=NSNAME) { | |
| lw = NSNAME; | |
| if(w-e < lw) | |
| lw = w-e; | |
| gpseudo(ADATA, s, nodconst(0)); | |
| p->from.offset += o+e; | |
| p->reg = lw; | |
| p->to.type = D_SCONST; | |
| memmove(p->to.u.sval, a->cstring+e, lw); | |
| } | |
| } | |
| void | |
| gextern(Sym *s, Node *a, int32 o, int32 w) | |
| { | |
| if(a->op == OCONST && typev[a->type->etype]) { | |
| if(isbigendian) | |
| gpseudo(ADATA, s, nod32const(a->vconst>>32)); | |
| else | |
| gpseudo(ADATA, s, nod32const(a->vconst)); | |
| p->from.offset += o; | |
| p->reg = 4; | |
| if(isbigendian) | |
| gpseudo(ADATA, s, nod32const(a->vconst)); | |
| else | |
| gpseudo(ADATA, s, nod32const(a->vconst>>32)); | |
| p->from.offset += o + 4; | |
| p->reg = 4; | |
| return; | |
| } | |
| gpseudo(ADATA, s, a); | |
| p->from.offset += o; | |
| p->reg = w; | |
| if(p->to.type == D_OREG) | |
| p->to.type = D_CONST; | |
| } | |
| void | |
| outcode(void) | |
| { | |
| Bprint(&outbuf, "go object %s %s %s\n", getgoos(), getgoarch(), getgoversion()); | |
| if(pragcgobuf.to > pragcgobuf.start) { | |
| Bprint(&outbuf, "\n"); | |
| Bprint(&outbuf, "$$ // exports\n\n"); | |
| Bprint(&outbuf, "$$ // local types\n\n"); | |
| Bprint(&outbuf, "$$ // cgo\n"); | |
| Bprint(&outbuf, "%s", fmtstrflush(&pragcgobuf)); | |
| Bprint(&outbuf, "\n$$\n\n"); | |
| } | |
| Bprint(&outbuf, "!\n"); | |
| writeobj(ctxt, &outbuf); | |
| lastp = P; | |
| } | |
| int32 | |
| align(int32 i, Type *t, int op, int32 *maxalign) | |
| { | |
| int32 o; | |
| Type *v; | |
| int w; | |
| o = i; | |
| w = 1; | |
| switch(op) { | |
| default: | |
| diag(Z, "unknown align opcode %d", op); | |
| break; | |
| case Asu2: /* padding at end of a struct */ | |
| w = *maxalign; | |
| if(w < 1) | |
| w = 1; | |
| if(packflg) | |
| w = packflg; | |
| break; | |
| case Ael1: /* initial align of struct element */ | |
| for(v=t; v->etype==TARRAY; v=v->link) | |
| ; | |
| if(v->etype == TSTRUCT || v->etype == TUNION) | |
| w = v->align; | |
| else { | |
| w = ewidth[v->etype]; | |
| if(w == 8) | |
| w = 4; | |
| } | |
| if(w < 1 || w > SZ_LONG) | |
| fatal(Z, "align"); | |
| if(packflg) | |
| w = packflg; | |
| break; | |
| case Ael2: /* width of a struct element */ | |
| o += t->width; | |
| break; | |
| case Aarg0: /* initial passbyptr argument in arg list */ | |
| if(typesuv[t->etype]) { | |
| o = align(o, types[TIND], Aarg1, nil); | |
| o = align(o, types[TIND], Aarg2, nil); | |
| } | |
| break; | |
| case Aarg1: /* initial align of parameter */ | |
| w = ewidth[t->etype]; | |
| if(w <= 0 || w >= SZ_LONG) { | |
| w = SZ_LONG; | |
| break; | |
| } | |
| w = 1; /* little endian no adjustment */ | |
| break; | |
| case Aarg2: /* width of a parameter */ | |
| o += t->width; | |
| w = t->width; | |
| if(w > SZ_LONG) | |
| w = SZ_LONG; | |
| break; | |
| case Aaut3: /* total align of automatic */ | |
| o = align(o, t, Ael2, nil); | |
| o = align(o, t, Ael1, nil); | |
| w = SZ_LONG; /* because of a pun in cc/dcl.c:contig() */ | |
| break; | |
| } | |
| o = xround(o, w); | |
| if(maxalign != nil && *maxalign < w) | |
| *maxalign = w; | |
| if(debug['A']) | |
| print("align %s %d %T = %d\n", bnames[op], i, t, o); | |
| return o; | |
| } | |
| int32 | |
| maxround(int32 max, int32 v) | |
| { | |
| v = xround(v, SZ_LONG); | |
| if(v > max) | |
| return v; | |
| return max; | |
| } |