]> Joshua Wise's Git repositories - snipe.git/blobdiff - codegen/blarg.sml
Code generation.
[snipe.git] / codegen / blarg.sml
index 797ab3e1c5b9a83919aa9723054b850b0020a42d..ab48de189f964630b7381516d3c6e8fab8c20c3e 100644 (file)
@@ -13,7 +13,7 @@ sig
   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 |
@@ -70,7 +70,7 @@ struct
   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 |
@@ -125,6 +125,8 @@ struct
     | predname EQ = "eq"
     | predname LT = "lt"
     | predname GT = "gt"
+    | predname GE = "ge"
+    | predname LE = "le"
     | predname AL = ""
 
   (* gives number (color) associated with reg *)
This page took 0.02294 seconds and 4 git commands to generate.