datatype exp =
CONST of Word32.word
| TEMP of Temp.temp
- | ARG of Blarg * Temp.size (* I am j4cbo *)
+ | ARG of Blarg (* I am j4cbo *)
| BINOP of binop * exp * exp
| UNOP of unop * exp
- | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
- | MEMORY of exp * Temp.size
+ | CALL of Ast.ident * exp list
+ | MEMORY of exp
| ALLOC of exp
+ | STRING of Stringref.stringref
| COND of exp * exp * exp
| STMVAR of stm list * exp
| NULLPTR
and stm =
MOVE of exp * exp
- | RETURN of exp * Temp.size
+ | RETURN of exp
| EFFECT of exp
| LABEL of Label.label
| JUMPIFN of exp * Label.label
datatype exp =
CONST of Word32.word
| TEMP of Temp.temp
- | ARG of Blarg * Temp.size (* I am j4cbo *)
+ | ARG of Blarg (* I am j4cbo *)
| BINOP of binop * exp * exp
| UNOP of unop * exp
- | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
- | MEMORY of exp * Temp.size
+ | CALL of Ast.ident * exp list
+ | MEMORY of exp
| ALLOC of exp
+ | STRING of Stringref.stringref
| COND of exp * exp * exp
| STMVAR of stm list * exp
| NULLPTR
and stm =
MOVE of exp * exp
- | RETURN of exp * Temp.size
+ | RETURN of exp
| EFFECT of exp
| LABEL of Label.label
| JUMPIFN of exp * Label.label