%{#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;	}	;