[MLton-commit] r6592

[Vesa Karvonen]

Enabled optimization of Word_subCheck (x, x) to 0.

----------------------------------------------------------------------

U   mlton/trunk/mlton/atoms/prim.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/atoms/prim.fun
===================================================================
--- mlton/trunk/mlton/atoms/prim.fun	2008-04-14 16:35:43 UTC (rev 6591)
+++ mlton/trunk/mlton/atoms/prim.fun	2008-04-15 17:29:12 UTC (rev 6592)
@@ -182,7 +182,7 @@
  | Word_ror of WordSize.t (* codegen *)
  | Word_rshift of WordSize.t * {signed: bool} (* codegen *)
  | Word_sub of WordSize.t (* codegen *)
- | Word_subCheck of WordSize.t* {signed: bool} (* codegen *)
+ | Word_subCheck of WordSize.t * {signed: bool} (* codegen *)
  | Word_toIntInf (* ssa to rssa *)
  | Word_xorb of WordSize.t (* codegen *)
  | WordVector_toIntInf (* ssa to rssa *)
@@ -1689,6 +1689,7 @@
                               | Word_quot (s, _) => word (WordX.one s)
                               | Word_rem (s, _) => word (WordX.zero s)
                               | Word_sub s => word (WordX.zero s)
+                              | Word_subCheck (s, _) => word (WordX.zero s)
                               | Word_xorb s => word (WordX.zero s)
                               | _ => Unknown
                           end