diff options
Diffstat (limited to 'asm/asm.y')
| -rw-r--r-- | asm/asm.y | 385 |
1 files changed, 0 insertions, 385 deletions
diff --git a/asm/asm.y b/asm/asm.y deleted file mode 100644 index c167a053..00000000 --- a/asm/asm.y +++ /dev/null @@ -1,385 +0,0 @@ -%{ -#include "asm.h" -union { - uvlong l; - double d; -} u; -%} - -%union -{ - Inst* inst; - Addr* addr; - vlong ival; - double fval; - String* string; - Sym* sym; - List* list; -} - -%left '|' -%left '^' -%left '&' -%left '<' '>' -%left '+' '-' -%left '*' '/' '%' - -%type<inst> label ilist inst -%type<ival> con expr heapid -%type<addr> addr raddr mem roff -%type<list> elist -%type<string> ptrs -%token<ival> TOKI0 TOKI1 TOKI2 TOKI3 TCONST -%token TOKSB TOKFP TOKHEAP TOKDB TOKDW TOKDL TOKDF TOKDS TOKVAR -%token TOKEXT TOKMOD TOKLINK TOKENTRY TOKARRAY TOKINDIR TOKAPOP TOKLDTS TOKEXCS TOKEXC TOKETAB TOKSRC -%token<sym> TID -%token<fval> TFCONST -%token<string> TSTRING - -%% -prog : ilist - { - assem($1); - } - ; - -ilist : - { $$ = nil; } - | ilist label - { - if($2 != nil) { - $2->link = $1; - $$ = $2; - } - else - $$ = $1; - } - ; - -label : TID ':' inst - { - $3->sym = $1; - $$ = $3; - } - | TOKHEAP heapid ',' expr ptrs - { - heap($2, $4, $5); - $$ = nil; - } - | data - { - $$ = nil; - } - | inst - ; - -heapid : '$' expr - { - $$ = $2; - } - | TID - { - $1->value = heapid++; - $$ = $1->value; - } - ; - -ptrs : - { $$ = nil; } - | ',' TSTRING - { - $$ = $2; - } - ; - -elist : expr - { - $$ = newi($1, nil); - } - | elist ',' expr - { - $$ = newi($3, $1); - } - ; - -inst : TOKI3 addr ',' addr - { - $$ = ai($1); - $$->src = $2; - $$->dst = $4; - } - | TOKI3 addr ',' raddr ',' addr - { - $$ = ai($1); - $$->src = $2; - $$->reg = $4; - $$->dst = $6; - } - | TOKI2 addr ',' addr - { - $$ = ai($1); - $$->src = $2; - $$->dst = $4; - } - | TOKI1 addr - { - $$ = ai($1); - $$->dst = $2; - } - | TOKI0 - { - $$ = ai($1); - } - ; - -data : TOKDB expr ',' elist - { - data(DEFB, $2, $4); - } - | TOKDW expr ',' elist - { - data(DEFW, $2, $4); - } - | TOKDL expr ',' elist - { - data(DEFL, $2, $4); - } - | TOKDF expr ',' TCONST - { - data(DEFF, $2, newi(dtocanon((double)$4), nil)); - } - | TOKDF expr ',' TFCONST - { - data(DEFF, $2, newi(dtocanon($4), nil)); - } - | TOKDF expr ',' TID - { - if(strcmp($4->name, "Inf") == 0 || strcmp($4->name, "Infinity") == 0) { - u.l = (uvlong)0x7ff00000<<32; - data(DEFF, $2, newi(dtocanon(u.d), nil)); - } else if(strcmp($4->name, "NaN") == 0) { - u.l = ((uvlong)0x7fffffff<<32) | (uvlong)0xffffffffUL; - data(DEFF, $2, newi(dtocanon(u.d), nil)); - } else - diag("bad value for real: %s", $4->name); - } - | TOKDF expr ',' '-' TCONST - { - data(DEFF, $2, newi(dtocanon(-(double)$5), nil)); - } - | TOKDF expr ',' '-' TFCONST - { - data(DEFF, $2, newi(dtocanon(-$5), nil)); - } - | TOKDF expr ',' '-' TID - { - if(strcmp($5->name, "Inf") == 0 || strcmp($5->name, "Infinity") == 0) { - u.l = (uvlong)0xfff00000<<32; - data(DEFF, $2, newi(dtocanon(u.d), nil)); - } else - diag("bad value for real: %s", $5->name); - } - | TOKDS expr ',' TSTRING - { - data(DEFS, $2, news($4, nil)); - } - | TOKVAR TID ',' expr - { - if($2->ds != 0) - diag("%s declared twice", $2->name); - $2->ds = $4; - $2->value = dseg; - dseg += $4; - } - | TOKEXT expr ',' expr ',' TSTRING - { - ext($2, $4, $6); - } - | TOKLINK expr ',' expr ',' expr ',' TSTRING - { - mklink($2, $4, $6, $8); - } - | TOKMOD TID - { - if(module != nil) - diag("this module already defined as %s", $2->name); - else - module = $2; - } - | TOKENTRY expr ',' expr - { - if(pcentry >= 0) - diag("this module already has entry point %d, %d" , pcentry, dentry); - pcentry = $2; - dentry = $4; - } - | TOKARRAY expr ',' heapid ',' expr - { - data(DEFA, $2, newa($4, $6)); - } - | TOKINDIR expr ',' expr - { - data(DIND, $2, newa($4, 0)); - } - | TOKAPOP - { - data(DAPOP, 0, newa(0, 0)); - } - | TOKLDTS TID ',' expr - { - ldts($4); - } - | TOKEXCS expr - { - excs($2); - } - | TOKEXC expr ',' expr ',' expr ',' expr ',' expr ',' expr - { - exc($2, $4, $6, $8, $10, $12); - } - | TOKETAB TSTRING ',' expr - { - etab($2, $4); - } - | TOKETAB '*' ',' expr - { - etab(nil, $4); - } - | TOKSRC TSTRING - { - source($2); - } - ; - -raddr : '$' expr - { - $$ = aa($2); - $$->mode = AXIMM; - if($$->val > 0x7FFF || $$->val < -0x8000) - diag("immediate %d too large for middle operand", $$->val); - } - | roff - { - if($1->mode == AMP) - $1->mode = AXINM; - else - $1->mode = AXINF; - if($1->mode == AXINM && (ulong)$1->val > 0xFFFF) - diag("register offset %d(mp) too large", $1->val); - if($1->mode == AXINF && (ulong)$1->val > 0xFFFF) - diag("register offset %d(fp) too large", $1->val); - $$ = $1; - } - ; - -addr : '$' expr - { - $$ = aa($2); - $$->mode = AIMM; - } - | TID - { - $$ = aa(0); - $$->sym = $1; - } - | mem - ; - -mem : '*' roff - { - $2->mode |= AIND; - $$ = $2; - } - | expr '(' roff ')' - { - $3->mode |= AIND; - if($3->val & 3) - diag("indirect offset must be word size"); - if($3->mode == (AMP|AIND) && ((ulong)$3->val > 0xFFFF || (ulong)$1 > 0xFFFF)) - diag("indirect offset %d(%d(mp)) too large", $1, $3->val); - if($3->mode == (AFP|AIND) && ((ulong)$3->val > 0xFFFF || (ulong)$1 > 0xFFFF)) - diag("indirect offset %d(%d(fp)) too large", $1, $3->val); - $3->off = $3->val; - $3->val = $1; - $$ = $3; - } - | roff - ; - -roff : expr '(' TOKSB ')' - { - $$ = aa($1); - $$->mode = AMP; - } - | expr '(' TOKFP ')' - { - $$ = aa($1); - $$->mode = AFP; - } - ; - -con : TCONST - | TID - { - $$ = $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; - } - ; |