diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-08-14 06:46:25 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-08-14 06:46:25 +0000 |
| commit | 698dca0b95be8b414993821d263b6a6fb9a807f3 (patch) | |
| tree | 340a112a54123974367e5af19bf1c9070e76ea25 /llvm/lib/CodeGen | |
| parent | c307c6676533b95ae5d47440d64414338635e8e3 (diff) | |
| download | bcm5719-llvm-698dca0b95be8b414993821d263b6a6fb9a807f3.tar.gz bcm5719-llvm-698dca0b95be8b414993821d263b6a6fb9a807f3.zip | |
InstCombine: ((A | ~B) ^ (~A | B)) to A ^ B
Proof using CVC3 follows:
$ cat t.cvc
A, B : BITVECTOR(32);
QUERY BVXOR((A | ~B),(~A |B)) = BVXOR(A,B);
$ cvc3 t.cvc
Valid.
Patch by Mayur Pandey!
Differential Revision: http://reviews.llvm.org/D4883
llvm-svn: 215621
Diffstat (limited to 'llvm/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions
