3 | NAME of Tiger_temp.Label.t
4 | TEMP of Tiger_temp.Temp.t
5 | BINOP of binop * exp * exp
7 | CALL of exp * exp list
12 | JUMP of exp * Tiger_temp.Label.t list
13 (* List is for possible locations that exp can evaluate to, which will be
14 * needed for dataflow analysis, but for now, the common case will be
15 * JUMP(NAME, l, [l]) *)
16 | CJUMP of relop * exp * exp * Tiger_temp.Label.t * Tiger_temp.Label.t
18 | LABEL of Tiger_temp.Label.t
20 | PLUS | MINUS | MUL | DIV | AND | OR | LSHIFT | RSHIFT | ARSHIFT | XOR
22 | EQ | NE | LT | GT | LE | GE
23 | ULT | ULE | UGT | UGE