[MLton] arith shrinking & bit fiddling

[Stephen Weeks]

> 1) Is there any reason that the following case is absent from
> shrinkTransfer in ssa/shrink.fun:
> 
> 		       | Prim.ApplyResult.Apply (prim, args) =>
> 			    let val args = Vector.fromList args
> 			    in
> 			       ([], Arith {prim = prim,
> 					   args = uses args,
> 					   overflow = simplifyLabel overflow,
> 					   success = simplifyLabel success,
> 					   ty = ty})
> 			    end
> 
> Without it, we don't simplify overflow checking operations like:
>  0 - x
>  ~1 * x

It seems OK to add it to me.

_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton