assuem(X) handling in GVN bugfix
authorPiotr Padlewski <prazek@google.com>
Wed, 2 Sep 2015 20:00:03 +0000 (20:00 +0000)
committerPiotr Padlewski <prazek@google.com>
Wed, 2 Sep 2015 20:00:03 +0000 (20:00 +0000)
commit0c7d8fc1f6ebf984479ff910f285cd291a611ab0
treeded2ee27618f47b25f9f817a479f035639b353f1
parent28ffcbe1ccbdd667f9f222a3c9ef9d2e3ed69253
assuem(X) handling in GVN bugfix

There was infinite loop because it was trying to change assume(true) into
assume(true)
Also added handling when assume(false) appear

http://reviews.llvm.org/D12516

llvm-svn: 246697
llvm/lib/Transforms/Scalar/GVN.cpp
llvm/test/Transforms/GVN/assume-equal.ll