Un-size optimize

[snipe.git] / trans / tree.sml

diff --git a/trans/tree.sml b/trans/tree.sml
index dbd0efc335dbd8b57deafab808daac8f536700b2..2111fc19f666758fa1680f3c211e509438935564 100644 (file)
--- a/trans/tree.sml
+++ b/trans/tree.sml
@@ -17,18 +17,18 @@ sig
   datatype exp = 
       CONST of Word32.word
     | TEMP of Temp.temp
   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
     | 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
     | COND of exp * exp * exp
     | STMVAR of stm list * exp
     | NULLPTR
   and stm =
       MOVE of exp * exp
     | ALLOC of exp
     | 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
     | EFFECT of exp
     | LABEL of Label.label
     | JUMPIFN of exp * Label.label


@@ -49,18 +49,18 @@ struct
   datatype exp = 
       CONST of Word32.word
     | TEMP of Temp.temp
   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
     | 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
     | COND of exp * exp * exp
     | STMVAR of stm list * exp
     | NULLPTR
   and stm =
       MOVE of exp * exp
     | ALLOC of exp
     | 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
     | EFFECT of exp
     | LABEL of Label.label
     | JUMPIFN of exp * Label.label