OSDN Git Service

If one side of and/or is known to be 0/-1, it doesn't matter
authorChris Lattner <sabre@nondot.org>
Sat, 11 Dec 2004 23:15:19 +0000 (23:15 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 11 Dec 2004 23:15:19 +0000 (23:15 +0000)
commita177c6747195f2abe5a0fc10e1a65d6c0afb85b5
tree2143a5b9674a47f631aa7387bf1b368d08bfdde8
parente0e50dbb9fe975b4f4b3d2eb061b2ac74a5cc7c0
If one side of and/or is known to be 0/-1, it doesn't matter
if the other side is overdefined.

This allows us to fold conditions like:  if (X < Y || Y > Z) in some cases.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18807 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/SCCP.cpp