module demo::lang::Pico::Assembly
rascal-0.40.17
Usage
import demo::lang::Pico::Assembly;
Dependencies
import demo::lang::Pico::Abstract;
data Instr
data Instr
= dclNat(PicoId Id)
| dclStr(PicoId Id)
| pushNat(int intCon)
| pushStr(str strCon)
| rvalue(PicoId Id)
| lvalue(PicoId Id)
| assign()
| add2()
| sub2()
| conc2()
| label(str label)
| go(str label)
| gotrue(str label)
| gofalse(str label)
;