123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734 |
- %{
- #include "a.h"
- %}
- %union
- {
- Sym *sym;
- long lval;
- double dval;
- char sval[8];
- Gen gen;
- }
- %left '|'
- %left '^'
- %left '&'
- %left '<' '>'
- %left '+' '-'
- %left '*' '/' '%'
- %token <lval> LMOVW LMOVD LMOVB LSWAP LADDW LCMP
- %token <lval> LBRA LFMOV LFCONV LFADD LCPOP LTRAP LJMPL LXORW
- %token <lval> LNOP LEND LRETT LUNIMP LTEXT LDATA LRETRN
- %token <lval> LCONST LSP LSB LFP LPC LCREG LFLUSH
- %token <lval> LREG LFREG LR LC LF
- %token <lval> LFSR LFPQ LPSR LSCHED
- %token <dval> LFCONST
- %token <sval> LSCONST
- %token <sym> LNAME LLAB LVAR
- %type <lval> con expr pointer offset sreg
- %type <gen> addr rreg name psr creg freg
- %type <gen> imm ximm fimm rel fsr fpq
- %%
- prog:
- | prog line
- line:
- LLAB ':'
- {
- if($1->value != pc)
- yyerror("redeclaration of %s", $1->name);
- $1->value = pc;
- }
- line
- | LNAME ':'
- {
- $1->type = LLAB;
- $1->value = pc;
- }
- line
- | LNAME '=' expr ';'
- {
- $1->type = LVAR;
- $1->value = $3;
- }
- | LVAR '=' expr ';'
- {
- if($1->value != $3)
- yyerror("redeclaration of %s", $1->name);
- $1->value = $3;
- }
- | LSCHED ';'
- {
- nosched = $1;
- }
- | ';'
- | inst ';'
- | error ';'
- inst:
- /*
- * B.1 load integer instructions
- */
- LMOVW rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW addr ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD addr ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVB rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVB addr ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.2 load floating instructions
- * includes CSR
- */
- | LMOVD addr ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFMOV addr ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFMOV fimm ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFMOV freg ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFMOV freg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW addr ',' fsr
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.3 load coprocessor instructions
- * excludes CSR
- */
- | LMOVW addr ',' creg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD addr ',' creg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.4 store integer instructions
- */
- | LMOVW rreg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW imm ',' addr
- {
- if($2.offset != 0)
- yyerror("constant must be zero");
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD rreg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVB rreg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVB imm ',' addr
- {
- if($2.offset != 0)
- yyerror("constant must be zero");
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.5 store floating instructions
- * includes CSR and CQ
- */
- | LMOVW freg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD freg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW fsr ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD fpq ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.6 store coprocessor instructions
- * excludes CSR and CQ
- */
- | LMOVW creg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD creg ',' addr
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.7 atomic load unsigned byte (TAS)
- * B.8 swap
- */
- | LSWAP addr ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.9 add instructions
- * B.10 tagged add instructions
- * B.11 subtract instructions
- * B.12 tagged subtract instructions
- * B.13 multiply step instruction
- * B.14 logical instructions
- * B.15 shift instructions
- * B.17 save/restore
- */
- | LADDW rreg ',' sreg ',' rreg
- {
- outcode($1, &$2, $4, &$6);
- }
- | LADDW imm ',' sreg ',' rreg
- {
- outcode($1, &$2, $4, &$6);
- }
- | LADDW rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LADDW imm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LXORW rreg ',' sreg ',' rreg
- {
- outcode($1, &$2, $4, &$6);
- }
- | LXORW imm ',' sreg ',' rreg
- {
- outcode($1, &$2, $4, &$6);
- }
- | LXORW rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LXORW imm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.16 set hi
- * other pseudo moves
- */
- | LMOVW imm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD imm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW ximm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVD ximm ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.18 branch on integer condition
- * B.19 floating point branch on condition
- * B.20 coprocessor branch on condition
- */
- | LBRA comma rel
- {
- outcode($1, &nullgen, NREG, &$3);
- }
- /*
- * B.21 call instruction
- * B.22 jump and link instruction
- */
- | LJMPL comma rel
- {
- outcode($1, &nullgen, NREG, &$3);
- }
- | LJMPL comma addr
- {
- outcode($1, &nullgen, NREG, &$3);
- }
- | LJMPL comma sreg ',' rel
- {
- outcode($1, &nullgen, $3, &$5);
- }
- | LJMPL comma sreg ',' addr
- {
- outcode($1, &nullgen, $3, &$5);
- }
- /*
- * B.23 return from trap
- */
- | LRETT rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.28 instruction cache flush
- */
- | LFLUSH rel comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- | LFLUSH addr comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- /*
- * B.24 trap on condition
- */
- | LTRAP rreg ',' sreg
- {
- outcode($1, &$2, $4, &nullgen);
- }
- | LTRAP imm ',' sreg
- {
- outcode($1, &$2, $4, &nullgen);
- }
- | LTRAP rreg comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- | LTRAP comma
- {
- outcode($1, &nullgen, NREG, &nullgen);
- }
- /*
- * B.25 read state register instructions
- */
- | LMOVW psr ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * B.26 write state register instructions BOTCH XOR
- */
- | LMOVW rreg ',' psr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LMOVW imm ',' psr
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LXORW rreg ',' sreg ',' psr
- {
- outcode($1, &$2, $4, &$6);
- }
- | LXORW imm ',' sreg ',' psr
- {
- outcode($1, &$2, $4, &$6);
- }
- /*
- * B.27 unimplemented trap
- */
- | LUNIMP comma
- {
- outcode($1, &nullgen, NREG, &nullgen);
- }
- | LUNIMP imm comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- /*
- * B.29 floating point operate
- */
- | LFCONV freg ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFADD freg ',' freg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LFADD freg ',' freg ',' freg
- {
- outcode($1, &$2, $4.reg, &$6);
- }
- /*
- * B.30 coprocessor operate
- */
- | LCPOP creg ',' creg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LCPOP creg ',' creg ',' creg
- {
- outcode($1, &$2, $4.reg, &$6);
- }
- /*
- * CMP
- */
- | LCMP rreg ',' rreg
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LCMP rreg ',' imm
- {
- outcode($1, &$2, NREG, &$4);
- }
- /*
- * NOP
- */
- | LNOP comma
- {
- outcode($1, &nullgen, NREG, &nullgen);
- }
- | LNOP rreg comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- | LNOP freg comma
- {
- outcode($1, &$2, NREG, &nullgen);
- }
- | LNOP ',' rreg
- {
- outcode($1, &nullgen, NREG, &$3);
- }
- | LNOP ',' freg
- {
- outcode($1, &nullgen, NREG, &$3);
- }
- /*
- * END
- */
- | LEND comma
- {
- outcode($1, &nullgen, NREG, &nullgen);
- }
- /*
- * TEXT/GLOBL
- */
- | LTEXT name ',' imm
- {
- outcode($1, &$2, NREG, &$4);
- }
- | LTEXT name ',' con ',' imm
- {
- outcode($1, &$2, $4, &$6);
- }
- /*
- * DATA
- */
- | LDATA name '/' con ',' imm
- {
- outcode($1, &$2, $4, &$6);
- }
- | LDATA name '/' con ',' ximm
- {
- outcode($1, &$2, $4, &$6);
- }
- | LDATA name '/' con ',' fimm
- {
- outcode($1, &$2, $4, &$6);
- }
- /*
- * RETURN
- */
- | LRETRN comma
- {
- outcode($1, &nullgen, NREG, &nullgen);
- }
- rel:
- con '(' LPC ')'
- {
- $$ = nullgen;
- $$.type = D_BRANCH;
- $$.offset = $1 + pc;
- }
- | LNAME offset
- {
- $$ = nullgen;
- if(pass == 2)
- yyerror("undefined label: %s", $1->name);
- $$.type = D_BRANCH;
- $$.sym = $1;
- $$.offset = $2;
- }
- | LLAB offset
- {
- $$ = nullgen;
- $$.type = D_BRANCH;
- $$.sym = $1;
- $$.offset = $1->value + $2;
- }
- rreg:
- sreg
- {
- $$ = nullgen;
- $$.type = D_REG;
- $$.reg = $1;
- }
- fsr:
- LFSR
- {
- $$ = nullgen;
- $$.type = D_PREG;
- $$.reg = $1;
- }
- fpq:
- LFPQ
- {
- $$ = nullgen;
- $$.type = D_PREG;
- $$.reg = $1;
- }
- psr:
- LPSR
- {
- $$ = nullgen;
- $$.type = D_PREG;
- $$.reg = $1;
- }
- creg:
- LCREG
- {
- $$ = nullgen;
- $$.type = D_CREG;
- $$.reg = $1;
- }
- | LC '(' con ')'
- {
- $$ = nullgen;
- $$.type = D_CREG;
- $$.reg = $3;
- }
- freg:
- LFREG
- {
- $$ = nullgen;
- $$.type = D_FREG;
- $$.reg = $1;
- }
- | LF '(' con ')'
- {
- $$ = nullgen;
- $$.type = D_FREG;
- $$.reg = $3;
- }
- ximm:
- '$' addr
- {
- $$ = $2;
- $$.type = D_CONST;
- }
- | '$' LSCONST
- {
- $$ = nullgen;
- $$.type = D_SCONST;
- memcpy($$.sval, $2, sizeof($$.sval));
- }
- fimm:
- '$' LFCONST
- {
- $$ = nullgen;
- $$.type = D_FCONST;
- $$.dval = $2;
- }
- | '$' '-' LFCONST
- {
- $$ = nullgen;
- $$.type = D_FCONST;
- $$.dval = -$3;
- }
- imm: '$' con
- {
- $$ = nullgen;
- $$.type = D_CONST;
- $$.offset = $2;
- }
- sreg:
- LREG
- | LR '(' con ')'
- {
- if($$ < 0 || $$ >= NREG)
- print("register value out of range\n");
- $$ = $3;
- }
- addr:
- '(' sreg ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.reg = $2;
- $$.offset = 0;
- }
- | '(' sreg ',' con ')'
- {
- $$ = nullgen;
- $$.type = D_ASI;
- $$.reg = $2;
- $$.offset = $4;
- }
- | '(' sreg '+' sreg ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.reg = $2;
- $$.xreg = $4;
- $$.offset = 0;
- }
- | name
- | con '(' sreg ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.reg = $3;
- $$.offset = $1;
- }
- name:
- con '(' pointer ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.name = $3;
- $$.sym = S;
- $$.offset = $1;
- }
- | LNAME offset '(' pointer ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.name = $4;
- $$.sym = $1;
- $$.offset = $2;
- }
- | LNAME '<' '>' offset '(' LSB ')'
- {
- $$ = nullgen;
- $$.type = D_OREG;
- $$.name = D_STATIC;
- $$.sym = $1;
- $$.offset = $4;
- }
- comma:
- | ','
- offset:
- {
- $$ = 0;
- }
- | '+' con
- {
- $$ = $2;
- }
- | '-' con
- {
- $$ = -$2;
- }
- pointer:
- LSB
- | LSP
- | LFP
- con:
- LCONST
- | LVAR
- {
- $$ = $1->value;
- }
- | '-' con
- {
- $$ = -$2;
- }
- | '+' con
- {
- $$ = $2;
- }
- | '~' con
- {
- $$ = ~$2;
- }
- | '(' expr ')'
- {
- $$ = $2;
- }
- expr:
- con
- | expr '+' expr
- {
- $$ = $1 + $3;
- }
- | expr '-' expr
- {
- $$ = $1 - $3;
- }
- | expr '*' expr
- {
- $$ = $1 * $3;
- }
- | expr '/' expr
- {
- $$ = $1 / $3;
- }
- | expr '%' expr
- {
- $$ = $1 % $3;
- }
- | expr '<' '<' expr
- {
- $$ = $1 << $4;
- }
- | expr '>' '>' expr
- {
- $$ = $1 >> $4;
- }
- | expr '&' expr
- {
- $$ = $1 & $3;
- }
- | expr '^' expr
- {
- $$ = $1 ^ $3;
- }
- | expr '|' expr
- {
- $$ = $1 | $3;
- }
|