[llvm-commits] [llvm] r153452 - in /llvm/trunk: lib/Analysis/InstructionSimplify.cpp lib/Analysis/ValueTracking.cpp test/Transforms/InstSimplify/pr12251.ll

[Rafael Espíndola]

> Is it possible the test has undefined behavior?

I think that is the case. Chad, can you try the attached patch? The
problem is that the optimizer is seeing:

rnd = (nsw operations) & 0x7fffffff
rnd = (nsw operations) & 0x7fffffff

And concluding it can remove the last 'and' since none of the nsw
operations could have changed the sign bit.

> -Chris

Cheers,
Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.patch
Type: application/octet-stream
Size: 344 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20120326/243694e6/attachment.obj>