Add transformation:
authorBill Wendling <isanbard@gmail.com>
Thu, 1 Jan 2009 01:18:23 +0000 (01:18 +0000)
committerBill Wendling <isanbard@gmail.com>
Thu, 1 Jan 2009 01:18:23 +0000 (01:18 +0000)
commit3479be91c42b7e7b24ea481c3a1591f9231ef1ff
tree6a1c25e7176e894de9926e18788d76c13d815c19
parentd5b207baabf18c03656387aeac87e62b5bb3c12b
Add transformation:

 xor (or (icmp, icmp), true) -> and(icmp, icmp)

This is possible because of De Morgan's law.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61537 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/InstructionCombining.cpp
test/Transforms/InstCombine/xor-demorgans.ll [new file with mode: 0644]