Remove explicit check for: not (not X) = X, it is already handled because xor is...
authorChris Lattner <sabre@nondot.org>
Wed, 23 Jul 2003 21:37:07 +0000 (21:37 +0000)
committerChris Lattner <sabre@nondot.org>
Wed, 23 Jul 2003 21:37:07 +0000 (21:37 +0000)
commiteca0c5c3799ad04a0d3764b58bbdc6006aa2fb14
tree415994bd0a6db58bdb4cf8edd73a90a0971c7065
parentae623cb3032d841ce6f07fd5247bf13ce81b71a9
Remove explicit check for: not (not X) = X, it is already handled because xor is commutative
  - InstCombine: (X & C1) ^ C2 --> (X & C1) | C2 iff (C1&C2) == 0
  - InstCombine: (X | C1) ^ C2 --> (X | C1) & ~C2 iff (C1&C2) == C2

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