diff options
| author | Mayur Pandey <mayur.p@samsung.com> | 2014-08-19 08:19:19 +0000 |
|---|---|---|
| committer | Mayur Pandey <mayur.p@samsung.com> | 2014-08-19 08:19:19 +0000 |
| commit | 960507beb4666d2289cd78f160ff9074cd1225ad (patch) | |
| tree | 65178898efc0bc823bf160e68bb2f72932e7a36e /clang/lib/CodeGen | |
| parent | 97ebe53032e82c7575a1e9c18277c96a2005ac7c (diff) | |
| download | bcm5719-llvm-960507beb4666d2289cd78f160ff9074cd1225ad.tar.gz bcm5719-llvm-960507beb4666d2289cd78f160ff9074cd1225ad.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.
Differential Revision: http://reviews.llvm.org/D4898
llvm-svn: 215974
Diffstat (limited to 'clang/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions
