[InstCombine] Remove unreachable code for turning an And where all demanded bits...
authorCraig Topper <craig.topper@gmail.com>
Wed, 12 Apr 2017 19:08:03 +0000 (19:08 +0000)
committerCraig Topper <craig.topper@gmail.com>
Wed, 12 Apr 2017 19:08:03 +0000 (19:08 +0000)
commitcf3641fd5704076e018cdc39e0eb53e4dc515d6c
tree601fd3b1cab61bef5430d33cd2a3464544ea465d
parent6e410189421190343a742c8e7513ef10f53fc0f0
[InstCombine] Remove unreachable code for turning an And where all demanded bits on both sides are known to be zero into a constant 0.

We already handled a superset check that included the known ones too and folded to a constant that may include ones. But it can also handle the case of no ones.

llvm-svn: 300093
llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp