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

[Chad Rosier]

LGTM.  I've updated the test, disray, and reapplied r153152 in r153521.  Thanks, Rafael.

 Chad

On Mar 26, 2012, at 9:10 PM, Rafael Espíndola wrote:

>> 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
> <t.patch>