Propagate strings through the blarg backend.

[snipe.git] / optimize / optimizer.sml

diff --git a/optimize/optimizer.sml b/optimize/optimizer.sml
index fba648557b370ae17379dd1dafbd620aea9a21e1..97d481e905a15ac3bdd0ad3757aa1b5741df8092 100644 (file)
--- a/optimize/optimizer.sml
+++ b/optimize/optimizer.sml
@@ -5,8 +5,8 @@ sig
     IRFUNC of (Tree.func -> Tree.func) |
     IRSTM of (Tree.stm -> Tree.stm list) |
     IREXP of (Tree.exp -> Tree.exp) |
-    PRELIVENESS of (x86.insn list -> x86.insn list) |
-    FINAL of (x86.insn list -> x86.insn list)
+    PRELIVENESS of (Blarg.insn list -> Blarg.insn list) |
+    FINAL of (Blarg.insn list -> Blarg.insn list)
   
   type optimization = {
     shortname : string,
@@ -15,8 +15,8 @@ sig
     }
   
   val optimize_ir : optimization list -> Tree.program -> Tree.program
-  val optimize_preliveness : optimization list -> x86.insn list -> x86.insn list
-  val optimize_final : optimization list -> x86.insn list -> x86.insn list
+  val optimize_preliveness : optimization list -> Blarg.insn list -> Blarg.insn list
+  val optimize_final : optimization list -> Blarg.insn list -> Blarg.insn list
 end
 
 structure Optimizer :> OPTIMIZER =
@@ -28,8 +28,8 @@ struct
     IRFUNC of (Tree.func -> Tree.func) |
     IRSTM of (Tree.stm -> Tree.stm list) |
     IREXP of (Tree.exp -> Tree.exp) |
-    PRELIVENESS of (x86.insn list -> x86.insn list) |
-    FINAL of (x86.insn list -> x86.insn list)
+    PRELIVENESS of (Blarg.insn list -> Blarg.insn list) |
+    FINAL of (Blarg.insn list -> Blarg.insn list)
   
   type optimization = {
     shortname : string,
@@ -39,7 +39,7 @@ struct
   
   fun foldfunc f (T.FUNCTION (id, stml)) = T.FUNCTION (id, List.concat (List.map f stml))
   fun expfunc f (T.MOVE (e1, e2)) = [T.MOVE (f e1, f e2)]
-    | expfunc f (T.RETURN (e, s)) = [T.RETURN (f e, s)]
+    | expfunc f (T.RETURN (e)) = [T.RETURN (f e)]
     | expfunc f (T.EFFECT e) = [T.EFFECT (f e)]
     | expfunc f (a as T.LABEL _) = [a]
     | expfunc f (T.JUMPIFN (e, l)) = [T.JUMPIFN (f e, l)]