[LLVMdev] No Signed Wrap

[Pranav Bhandarkar]

Hi,

I am not able to understand the No Signed Wrap property. My problem is in
the Instruction combiner which combines two operations -
add1 = add 'nsw' x 5
add2 = add 'nsw' add1 1
into
add2 = add x 6.  // No 'nsw' property in the combined operation.

>From the comments in the Instruction Combiner I can see that the nsw flag /
property is "conservatively cleared" but do not understand why - especially
when it was present in both the add instructions.

Any insight would be appreciated.

Thanks in advance,
Pranav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110619/e7fec279/attachment.html>