Add strings to the IR

[snipe.git] / trans / tree.sml

diff --git a/trans/tree.sml b/trans/tree.sml
index dbd0efc335dbd8b57deafab808daac8f536700b2..d03180ed7129860b3a9086200866c725852d8173 100644 (file)
--- a/trans/tree.sml
+++ b/trans/tree.sml
@@ -17,18 +17,19 @@ sig
   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
@@ -49,18 +50,19 @@ struct
   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