Make jump threading honor x|undef -> true and x&undef -> false,
authorChris Lattner <sabre@nondot.org>
Thu, 11 Feb 2010 04:40:44 +0000 (04:40 +0000)
committerChris Lattner <sabre@nondot.org>
Thu, 11 Feb 2010 04:40:44 +0000 (04:40 +0000)
commit1e452650c6044735b6aa922d41736bda5721adcc
tree2d20ad4f2dcf838bbf4e1c48ff1473508a3b5663
parent26d0e892e36e8dcc4248a8ccc8bedbd2d235eaee
Make jump threading honor x|undef -> true and x&undef -> false,
instead of considering x|undef -> x, which may not be true.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95850 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/JumpThreading.cpp
test/Transforms/JumpThreading/or-undef.ll [new file with mode: 0644]