Un-size optimize

[snipe.git] / codegen / blarg.sml

diff --git a/codegen/blarg.sml b/codegen/blarg.sml
index e482813a9c14e0c297c30af56173754c3cae5398..ab48de189f964630b7381516d3c6e8fab8c20c3e 100644 (file)
--- a/codegen/blarg.sml
+++ b/codegen/blarg.sml
@@ -13,7 +13,7 @@ sig
   datatype oper = REG of reg |
                      TEMP of Temp.temp |
                      STACKARG of int
   datatype oper = REG of reg |
                      TEMP of Temp.temp |
                      STACKARG of int

-  datatype pred = NV | NE | EQ | LT | GT | AL
+  datatype pred = NV | NE | EQ | LT | GT | LE | GE | AL

   (* instructions *)
   datatype opc =
     MOVLIT of oper * word |
   (* instructions *)
   datatype opc =
     MOVLIT of oper * word |


@@ -70,7 +70,7 @@ struct
   datatype oper = REG of reg |
                   TEMP of Temp.temp |
                   STACKARG of int
   datatype oper = REG of reg |
                   TEMP of Temp.temp |
                   STACKARG of int

-  datatype pred = NV | NE | EQ | LT | GT | AL
+  datatype pred = NV | NE | EQ | LT | GT | LE | GE | AL

   (* instructions *)
   datatype opc =
     MOVLIT of oper * word |
   (* instructions *)
   datatype opc =
     MOVLIT of oper * word |


@@ -125,6 +125,8 @@ struct
     | predname EQ = "eq"
     | predname LT = "lt"
     | predname GT = "gt"
     | predname EQ = "eq"
     | predname LT = "lt"
     | predname GT = "gt"

+    | predname GE = "ge"
+    | predname LE = "le"

     | predname AL = ""
 
   (* gives number (color) associated with reg *)
     | predname AL = ""
 
   (* gives number (color) associated with reg *)


@@ -168,7 +170,7 @@ struct
                                  end)
   
   fun pp_oper (REG r) = "%" ^ (regname r)
                                  end)
   
   fun pp_oper (REG r) = "%" ^ (regname r)

-    | pp_oper (TEMP t) = (Temp.name t) ^ (Temp.sfx (Temp.size t))
+    | pp_oper (TEMP t) = (Temp.name t)

     | pp_oper (STACKARG i) = "arg#"^Int.toString i
   
   fun pp_insn pr (MOVLIT (d, w)) = "\tmov"^pr^" "^(pp_oper d)^", #"^(Word.toString w)^"\n"
     | pp_oper (STACKARG i) = "arg#"^Int.toString i
   
   fun pp_insn pr (MOVLIT (d, w)) = "\tmov"^pr^" "^(pp_oper d)^", #"^(Word.toString w)^"\n"