[MLton-commit] r5706

Matthew Fluet fluet at mlton.org
Sun Jul 1 14:26:50 PDT 2007


Overflow checking for 64-bit multiplication is provided by Word-check.h
----------------------------------------------------------------------

U   mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun

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

Modified: mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun
===================================================================
--- mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun	2007-07-01 21:26:11 UTC (rev 5705)
+++ mlton/trunk/mlton/codegen/c-codegen/c-codegen.fun	2007-07-01 21:26:50 UTC (rev 5706)
@@ -134,12 +134,6 @@
 fun implementsPrim (p: 'a Prim.t): bool =
    let
       datatype z = datatype Prim.Name.t
-      fun w32168 s =
-         case WordSize.prim s of
-            W8 => true
-          | W16 => true
-          | W32 => true
-          | W64 => false
    in
       case Prim.name p of
          CPointer_add => true
@@ -186,7 +180,7 @@
        | Word_lshift _ => true
        | Word_lt _ => true
        | Word_mul _ => true
-       | Word_mulCheck (s, _) => w32168 s
+       | Word_mulCheck _ => true
        | Word_neg _ => true
        | Word_negCheck _ => true
        | Word_notb _ => true




More information about the MLton-commit mailing list