OSDN Git Service

Make this transformation slightly less agressive and more correct.
authorBill Wendling <isanbard@gmail.com>
Sat, 10 Mar 2012 17:56:03 +0000 (17:56 +0000)
committerBill Wendling <isanbard@gmail.com>
Sat, 10 Mar 2012 17:56:03 +0000 (17:56 +0000)
commitc17731d65d2c059a71256ee995cbb057ff28a109
treeef447e97a03696376e42c465b741d913ae844b1f
parent63155f967c6f97ba1c9958a7282ea67517b8abf8
Make this transformation slightly less agressive and more correct.

The 'CmpInst::isFalseWhenEqual' function returns 'false' for values other than
simply equality. For instance, it returns 'false' for <= or >=. This isn't the
correct behavior for this transformation, which is checking for strict equality
and non-equality. It was causing the gcc.c-torture/execute/frame-address.c test
to fail because it would completely (and incorrectly) optimize a whole function
into a 'ret i32 0'.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152497 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp
test/Transforms/InstCombine/2012-03-10-InstCombine.ll [new file with mode: 0644]