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)
commitcd0a59d1aae531bb005b5d4ec7939ee27130d95a
treec944d00b574a1ae5b9079dae658c3eb1aebc4a8f
parent782ac282c55286d36156c5f1abf72a56588b9fcf
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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246697 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/GVN.cpp
test/Transforms/GVN/assume-equal.ll