[MLton-devel] Fwd: C back end for MLton (fwd)

[Stephen Weeks]

> As Matt says, the asm was an attempt to tie down the semantics for negative
> operands to match the standard.  I seem to remember seeing cases where if
> things were constants gcc would sometimes do the computation in a different
> way.  Something about a % b where a was negative non-constant and b was a
> constant power of 2 which gcc would compile into a bit-wise and, which is
> legal for C but not for ML.  Any way, something like that.

But that argument doesn't apply in the case that we're talking about,
since Int_quot is a non-inlined function.  There is no way gcc will
see any constants.  So, I propose to change Int_quot to use /.


-------------------------------------------------------
This sf.net email is sponsored by: See the NEW Palm 
Tungsten T handheld. Power & Color in a compact size!
http://ads.sourceforge.net/cgi-bin/redirect.pl?palm0001en
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel