]> granicus.if.org Git - llvm/commit
[InstSimplify] Add patterns for folding (A & B) | (~A ^ B) -> (~A ^ B) and its commut...
authorCraig Topper <craig.topper@gmail.com>
Sun, 14 May 2017 07:54:43 +0000 (07:54 +0000)
committerCraig Topper <craig.topper@gmail.com>
Sun, 14 May 2017 07:54:43 +0000 (07:54 +0000)
commit462d5d6cc2cc6c81207614b655cf33a46bec7767
tree765a253f25cf0e31d4a94c05cda9922389d22ca4
parentb72b7c24b768080d99d992115ae1f1920b0f919b
[InstSimplify] Add patterns for folding (A & B) | (~A ^ B) -> (~A ^ B) and its commuted variants.

We already had (A & ~B) | (A ^ B), but we missed the cases where the not was part of the xor.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303004 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp
test/Transforms/InstSimplify/AndOrXor.ll