>>>>> "Matthew" == Matthew Woodcraft <[EMAIL PROTECTED]> writes:
Matthew> Paul Schlie wrote:
>> As optimization seems to be a non-argument, as by analogy all
>> optimizations which are available for unsigned arithmetic are
>> correspondingly available for signed integer operations; as any
>> signed value may then be thought of as being unsigned for the
>> purposes of computation and/or comparison.
Matthew> What about optimising x*2/2 to x?
If that doesn't overflow then it's valid, and if overflow is undefined
it's valid in that case, too. :-)
Of course this would be an example where overflow isn't treated as 2s
complement wrap...
paul
