lang.y

program: statementlist;

statementlist: statementlist statement | statement;

statement: taglist statementop|statementop;

taglist: taglist tag | tag;
tag: label|site;

label: STRING ':';
site: INTEGER '@';

arithop: '*'|'/'|'+'|'-';

compop: '>'|'='|'<';

assignop: '=' | '+' '=';

addrspec: INTEGER;
addrspec: STRING;
addrspec: STRING '+' INTEGER;
addrspec: STRING '-' INTEGER;

memspec: SIGNAL | SIGNAL '+' '+' | '-' '-' SIGNAL;

assignspec: REGISTER assignop;
assignspec: SIGNAL assignop;
assignspec: memspec '=';

expr: arithexpr | compexpr | REGISTER | SIGNAL ;
arithexpr: REGISTER arithop SIGNAL; 
compexpr: SIGNAL compop REGISTER;

statementop: STRING;

statementop: JUMP addrspec;
statementop: RJUMP addrspec; 
statementop: CALL addrspec; 
statementop: RCALL addrspec;

statementop: assignspec assignop expr; 

statementop: BRANCH SIGNAL INTEGER;


statementop: MEMSET REGISTER SIGNAL INTEGER;
statementop: MEMCPY REGISTER REGISTER;