diff options
Diffstat (limited to 'src/cmd/5a/lex.c')
-rw-r--r-- | src/cmd/5a/lex.c | 704 |
1 files changed, 704 insertions, 0 deletions
diff --git a/src/cmd/5a/lex.c b/src/cmd/5a/lex.c new file mode 100644 index 000000000..ad7ed05dd --- /dev/null +++ b/src/cmd/5a/lex.c @@ -0,0 +1,704 @@ +// Inferno utils/5a/lex.c +// http://code.google.com/p/inferno-os/source/browse/utils/5a/lex.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. + +#define EXTERN +#include <u.h> +#include <libc.h> +#include "a.h" +#include "y.tab.h" + +enum +{ + Plan9 = 1<<0, + Unix = 1<<1, + Windows = 1<<2, +}; + +int +systemtype(int sys) +{ + return sys&Plan9; +} + +void +main(int argc, char *argv[]) +{ + char *p; + int c; + + thechar = '5'; + thestring = "arm"; + + ensuresymb(NSYMB); + memset(debug, 0, sizeof(debug)); + cinit(); + outfile = 0; + setinclude("."); + ARGBEGIN { + default: + c = ARGC(); + if(c >= 0 || c < sizeof(debug)) + debug[c] = 1; + break; + + case 'o': + outfile = ARGF(); + break; + + case 'D': + p = ARGF(); + if(p) { + if (nDlist%8 == 0) + Dlist = allocn(Dlist, nDlist*sizeof(char *), + 8*sizeof(char *)); + Dlist[nDlist++] = p; + } + break; + + case 'I': + p = ARGF(); + setinclude(p); + break; + case 't': + thechar = 't'; + thestring = "thumb"; + break; + } ARGEND + if(*argv == 0) { + print("usage: %ca [-options] file.s\n", thechar); + errorexit(); + } + if(argc > 1){ + print("can't assemble multiple files\n"); + errorexit(); + } + if(assemble(argv[0])) + errorexit(); + exits(0); +} + +int +assemble(char *file) +{ + char *ofile, *p; + int i, of; + + ofile = alloc(strlen(file)+3); // +3 for .x\0 (x=thechar) + strcpy(ofile, file); + p = utfrrune(ofile, '/'); + if(p) { + include[0] = ofile; + *p++ = 0; + } else + p = ofile; + if(outfile == 0) { + outfile = p; + if(outfile){ + p = utfrrune(outfile, '.'); + if(p) + if(p[1] == 's' && p[2] == 0) + p[0] = 0; + p = utfrune(outfile, 0); + p[0] = '.'; + p[1] = thechar; + p[2] = 0; + } else + outfile = "/dev/null"; + } + + of = create(outfile, OWRITE, 0664); + if(of < 0) { + yyerror("%ca: cannot create %s", thechar, outfile); + errorexit(); + } + Binit(&obuf, of, OWRITE); + + pass = 1; + pinit(file); + + Bprint(&obuf, "go object %s %s %s\n", getgoos(), thestring, getgoversion()); + + for(i=0; i<nDlist; i++) + dodefine(Dlist[i]); + yyparse(); + if(nerrors) { + cclean(); + return nerrors; + } + + Bprint(&obuf, "\n!\n"); + + pass = 2; + outhist(); + pinit(file); + for(i=0; i<nDlist; i++) + dodefine(Dlist[i]); + yyparse(); + cclean(); + return nerrors; +} + +struct +{ + char *name; + ushort type; + ushort value; +} itab[] = +{ + "SP", LSP, D_AUTO, + "SB", LSB, D_EXTERN, + "FP", LFP, D_PARAM, + "PC", LPC, D_BRANCH, + + "R", LR, 0, + "R0", LREG, 0, + "R1", LREG, 1, + "R2", LREG, 2, + "R3", LREG, 3, + "R4", LREG, 4, + "R5", LREG, 5, + "R6", LREG, 6, + "R7", LREG, 7, + "R8", LREG, 8, + "R9", LREG, 9, + "R10", LREG, 10, + "R11", LREG, 11, + "R12", LREG, 12, + "R13", LREG, 13, + "R14", LREG, 14, + "R15", LREG, 15, + + "F", LF, 0, + + "F0", LFREG, 0, + "F1", LFREG, 1, + "F2", LFREG, 2, + "F3", LFREG, 3, + "F4", LFREG, 4, + "F5", LFREG, 5, + "F6", LFREG, 6, + "F7", LFREG, 7, + "F8", LFREG, 8, + "F9", LFREG, 9, + "F10", LFREG, 10, + "F11", LFREG, 11, + "F12", LFREG, 12, + "F13", LFREG, 13, + "F14", LFREG, 14, + "F15", LFREG, 15, + + "C", LC, 0, + + "C0", LCREG, 0, + "C1", LCREG, 1, + "C2", LCREG, 2, + "C3", LCREG, 3, + "C4", LCREG, 4, + "C5", LCREG, 5, + "C6", LCREG, 6, + "C7", LCREG, 7, + "C8", LCREG, 8, + "C9", LCREG, 9, + "C10", LCREG, 10, + "C11", LCREG, 11, + "C12", LCREG, 12, + "C13", LCREG, 13, + "C14", LCREG, 14, + "C15", LCREG, 15, + + "CPSR", LPSR, 0, + "SPSR", LPSR, 1, + + "FPSR", LFCR, 0, + "FPCR", LFCR, 1, + + ".EQ", LCOND, 0, + ".NE", LCOND, 1, + ".CS", LCOND, 2, + ".HS", LCOND, 2, + ".CC", LCOND, 3, + ".LO", LCOND, 3, + ".MI", LCOND, 4, + ".PL", LCOND, 5, + ".VS", LCOND, 6, + ".VC", LCOND, 7, + ".HI", LCOND, 8, + ".LS", LCOND, 9, + ".GE", LCOND, 10, + ".LT", LCOND, 11, + ".GT", LCOND, 12, + ".LE", LCOND, 13, + ".AL", LCOND, Always, + + ".U", LS, C_UBIT, + ".S", LS, C_SBIT, + ".W", LS, C_WBIT, + ".P", LS, C_PBIT, + ".PW", LS, C_WBIT|C_PBIT, + ".WP", LS, C_WBIT|C_PBIT, + + ".F", LS, C_FBIT, + + ".IBW", LS, C_WBIT|C_PBIT|C_UBIT, + ".IAW", LS, C_WBIT|C_UBIT, + ".DBW", LS, C_WBIT|C_PBIT, + ".DAW", LS, C_WBIT, + ".IB", LS, C_PBIT|C_UBIT, + ".IA", LS, C_UBIT, + ".DB", LS, C_PBIT, + ".DA", LS, 0, + + "@", LAT, 0, + + "AND", LTYPE1, AAND, + "EOR", LTYPE1, AEOR, + "SUB", LTYPE1, ASUB, + "RSB", LTYPE1, ARSB, + "ADD", LTYPE1, AADD, + "ADC", LTYPE1, AADC, + "SBC", LTYPE1, ASBC, + "RSC", LTYPE1, ARSC, + "ORR", LTYPE1, AORR, + "BIC", LTYPE1, ABIC, + + "SLL", LTYPE1, ASLL, + "SRL", LTYPE1, ASRL, + "SRA", LTYPE1, ASRA, + + "MUL", LTYPE1, AMUL, + "MULA", LTYPEN, AMULA, + "DIV", LTYPE1, ADIV, + "MOD", LTYPE1, AMOD, + + "MULL", LTYPEM, AMULL, + "MULAL", LTYPEM, AMULAL, + "MULLU", LTYPEM, AMULLU, + "MULALU", LTYPEM, AMULALU, + + "MVN", LTYPE2, AMVN, /* op2 ignored */ + + "MOVB", LTYPE3, AMOVB, + "MOVBU", LTYPE3, AMOVBU, + "MOVH", LTYPE3, AMOVH, + "MOVHU", LTYPE3, AMOVHU, + "MOVW", LTYPE3, AMOVW, + + "MOVD", LTYPE3, AMOVD, + "MOVDF", LTYPE3, AMOVDF, + "MOVDW", LTYPE3, AMOVDW, + "MOVF", LTYPE3, AMOVF, + "MOVFD", LTYPE3, AMOVFD, + "MOVFW", LTYPE3, AMOVFW, + "MOVWD", LTYPE3, AMOVWD, + "MOVWF", LTYPE3, AMOVWF, + + "LDREX", LTYPE3, ALDREX, + "LDREXD", LTYPE3, ALDREXD, + "STREX", LTYPE9, ASTREX, + "STREXD", LTYPE9, ASTREXD, + +/* + "ABSF", LTYPEI, AABSF, + "ABSD", LTYPEI, AABSD, + "NEGF", LTYPEI, ANEGF, + "NEGD", LTYPEI, ANEGD, + "SQTF", LTYPEI, ASQTF, + "SQTD", LTYPEI, ASQTD, + "RNDF", LTYPEI, ARNDF, + "RNDD", LTYPEI, ARNDD, + "URDF", LTYPEI, AURDF, + "URDD", LTYPEI, AURDD, + "NRMF", LTYPEI, ANRMF, + "NRMD", LTYPEI, ANRMD, +*/ + + "SQRTF", LTYPEI, ASQRTF, + "SQRTD", LTYPEI, ASQRTD, + "CMPF", LTYPEL, ACMPF, + "CMPD", LTYPEL, ACMPD, + "ADDF", LTYPEK, AADDF, + "ADDD", LTYPEK, AADDD, + "SUBF", LTYPEK, ASUBF, + "SUBD", LTYPEK, ASUBD, + "MULF", LTYPEK, AMULF, + "MULD", LTYPEK, AMULD, + "DIVF", LTYPEK, ADIVF, + "DIVD", LTYPEK, ADIVD, + + "B", LTYPE4, AB, + "BL", LTYPE4, ABL, + "BX", LTYPEBX, ABX, + + "BEQ", LTYPE5, ABEQ, + "BNE", LTYPE5, ABNE, + "BCS", LTYPE5, ABCS, + "BHS", LTYPE5, ABHS, + "BCC", LTYPE5, ABCC, + "BLO", LTYPE5, ABLO, + "BMI", LTYPE5, ABMI, + "BPL", LTYPE5, ABPL, + "BVS", LTYPE5, ABVS, + "BVC", LTYPE5, ABVC, + "BHI", LTYPE5, ABHI, + "BLS", LTYPE5, ABLS, + "BGE", LTYPE5, ABGE, + "BLT", LTYPE5, ABLT, + "BGT", LTYPE5, ABGT, + "BLE", LTYPE5, ABLE, + "BCASE", LTYPE5, ABCASE, + + "SWI", LTYPE6, ASWI, + + "CMP", LTYPE7, ACMP, + "TST", LTYPE7, ATST, + "TEQ", LTYPE7, ATEQ, + "CMN", LTYPE7, ACMN, + + "MOVM", LTYPE8, AMOVM, + + "SWPBU", LTYPE9, ASWPBU, + "SWPW", LTYPE9, ASWPW, + + "RET", LTYPEA, ARET, + "RFE", LTYPEA, ARFE, + + "TEXT", LTYPEB, ATEXT, + "GLOBL", LTYPEB, AGLOBL, + "DATA", LTYPEC, ADATA, + "CASE", LTYPED, ACASE, + "END", LTYPEE, AEND, + "WORD", LTYPEH, AWORD, + "NOP", LTYPEI, ANOP, + + "MCR", LTYPEJ, 0, + "MRC", LTYPEJ, 1, + 0 +}; + +void +cinit(void) +{ + Sym *s; + int i; + + nullgen.sym = S; + nullgen.offset = 0; + nullgen.type = D_NONE; + nullgen.name = D_NONE; + nullgen.reg = NREG; + if(FPCHIP) + nullgen.dval = 0; + for(i=0; i<sizeof(nullgen.sval); i++) + nullgen.sval[i] = 0; + + nerrors = 0; + iostack = I; + iofree = I; + peekc = IGN; + nhunk = 0; + for(i=0; i<NHASH; i++) + hash[i] = S; + for(i=0; itab[i].name; i++) { + s = slookup(itab[i].name); + s->type = itab[i].type; + s->value = itab[i].value; + } + + pathname = allocn(pathname, 0, 100); + if(getwd(pathname, 99) == 0) { + pathname = allocn(pathname, 100, 900); + if(getwd(pathname, 999) == 0) + strcpy(pathname, "/???"); + } +} + +void +syminit(Sym *s) +{ + + s->type = LNAME; + s->value = 0; +} + +int +isreg(Gen *g) +{ + + USED(g); + return 1; +} + +void +cclean(void) +{ + + outcode(AEND, Always, &nullgen, NREG, &nullgen); + Bflush(&obuf); +} + +void +zname(char *n, int t, int s) +{ + + Bputc(&obuf, ANAME); + Bputc(&obuf, t); /* type */ + Bputc(&obuf, s); /* sym */ + while(*n) { + Bputc(&obuf, *n); + n++; + } + Bputc(&obuf, 0); +} + +void +zaddr(Gen *a, int s) +{ + int32 l; + int i; + char *n; + Ieee e; + + Bputc(&obuf, a->type); + Bputc(&obuf, a->reg); + Bputc(&obuf, s); + Bputc(&obuf, a->name); + switch(a->type) { + default: + print("unknown type %d\n", a->type); + exits("arg"); + + case D_NONE: + case D_REG: + case D_FREG: + case D_PSR: + case D_FPCR: + break; + + case D_REGREG: + Bputc(&obuf, a->offset); + break; + + case D_OREG: + case D_CONST: + case D_BRANCH: + case D_SHIFT: + l = a->offset; + Bputc(&obuf, l); + Bputc(&obuf, l>>8); + Bputc(&obuf, l>>16); + Bputc(&obuf, l>>24); + break; + + case D_SCONST: + n = a->sval; + for(i=0; i<NSNAME; i++) { + Bputc(&obuf, *n); + n++; + } + break; + + case D_FCONST: + ieeedtod(&e, a->dval); + Bputc(&obuf, e.l); + Bputc(&obuf, e.l>>8); + Bputc(&obuf, e.l>>16); + Bputc(&obuf, e.l>>24); + Bputc(&obuf, e.h); + Bputc(&obuf, e.h>>8); + Bputc(&obuf, e.h>>16); + Bputc(&obuf, e.h>>24); + break; + } +} + +static int bcode[] = +{ + ABEQ, + ABNE, + ABCS, + ABCC, + ABMI, + ABPL, + ABVS, + ABVC, + ABHI, + ABLS, + ABGE, + ABLT, + ABGT, + ABLE, + AB, + ANOP, +}; + +void +outcode(int a, int scond, Gen *g1, int reg, Gen *g2) +{ + int sf, st, t; + Sym *s; + + /* hack to make B.NE etc. work: turn it into the corresponding conditional */ + if(a == AB){ + a = bcode[scond&0xf]; + scond = (scond & ~0xf) | Always; + } + + if(pass == 1) + goto out; +jackpot: + sf = 0; + s = g1->sym; + while(s != S) { + sf = s->sym; + if(sf < 0 || sf >= NSYM) + sf = 0; + t = g1->name; + if(h[sf].type == t) + if(h[sf].sym == s) + break; + zname(s->name, t, sym); + s->sym = sym; + h[sym].sym = s; + h[sym].type = t; + sf = sym; + sym++; + if(sym >= NSYM) + sym = 1; + break; + } + st = 0; + s = g2->sym; + while(s != S) { + st = s->sym; + if(st < 0 || st >= NSYM) + st = 0; + t = g2->name; + if(h[st].type == t) + if(h[st].sym == s) + break; + zname(s->name, t, sym); + s->sym = sym; + h[sym].sym = s; + h[sym].type = t; + st = sym; + sym++; + if(sym >= NSYM) + sym = 1; + if(st == sf) + goto jackpot; + break; + } + Bputc(&obuf, a); + Bputc(&obuf, scond); + Bputc(&obuf, reg); + Bputc(&obuf, stmtline); + Bputc(&obuf, stmtline>>8); + Bputc(&obuf, stmtline>>16); + Bputc(&obuf, stmtline>>24); + zaddr(g1, sf); + zaddr(g2, st); + +out: + if(a != AGLOBL && a != ADATA) + pc++; +} + +void +outhist(void) +{ + Gen g; + Hist *h; + char *p, *q, *op, c; + int n; + + g = nullgen; + c = '/'; + for(h = hist; h != H; h = h->link) { + p = h->name; + op = 0; + /* on windows skip drive specifier in pathname */ + if(systemtype(Windows) && p && p[1] == ':'){ + p += 2; + c = *p; + } + if(p && p[0] != c && h->offset == 0 && pathname){ + /* on windows skip drive specifier in pathname */ + if(systemtype(Windows) && pathname[1] == ':') { + op = p; + p = pathname+2; + c = *p; + } else if(pathname[0] == c){ + op = p; + p = pathname; + } + } + while(p) { + q = strchr(p, c); + if(q) { + n = q-p; + if(n == 0){ + n = 1; /* leading "/" */ + *p = '/'; /* don't emit "\" on windows */ + } + q++; + } else { + n = strlen(p); + q = 0; + } + if(n) { + Bputc(&obuf, ANAME); + Bputc(&obuf, D_FILE); /* type */ + Bputc(&obuf, 1); /* sym */ + Bputc(&obuf, '<'); + Bwrite(&obuf, p, n); + Bputc(&obuf, 0); + } + p = q; + if(p == 0 && op) { + p = op; + op = 0; + } + } + g.offset = h->offset; + + Bputc(&obuf, AHISTORY); + Bputc(&obuf, Always); + Bputc(&obuf, 0); + Bputc(&obuf, h->line); + Bputc(&obuf, h->line>>8); + Bputc(&obuf, h->line>>16); + Bputc(&obuf, h->line>>24); + zaddr(&nullgen, 0); + zaddr(&g, 0); + } +} + +#include "../cc/lexbody" +#include "../cc/macbody" |