X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/6c5506c5b97dabd72ba38c1f033dc4fded52cbfd..075222c771a121b12d6f07f39af868ae14cd06a1:/codegen/blarg.sml diff --git a/codegen/blarg.sml b/codegen/blarg.sml index 797ab3e..ab48de1 100644 --- 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 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 *)