Go to file
Mayur Pandey 960507beb4 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
2014-08-19 08:19:19 +00:00
clang MS ABI: Update alias template mangling for VC "14" CTP 3 2014-08-19 07:29:03 +00:00
clang-tools-extra [clang-rename] revert r215839 2014-08-18 23:03:30 +00:00
compiler-rt DFSan's set label function should avoid writing to the shadow memory when the write would not change the value in memory. 2014-08-19 01:47:33 +00:00
debuginfo-tests relax testcase for LLDB output format compatibility. 2014-03-19 23:06:18 +00:00
libclc relational: Add islessequal(floatN) builtin 2014-08-01 21:50:59 +00:00
libcxx Add standard version to lit.cfg's available features 2014-08-18 07:05:40 +00:00
libcxxabi libcxxabi must link to dl if using bundled unwind 2014-08-18 23:43:43 +00:00
lld [mach-o] improve darwin driver 'usage' message when run with no args 2014-08-15 22:42:46 +00:00
lldb Update for llvm api change. 2014-08-19 04:27:03 +00:00
llvm InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B 2014-08-19 08:19:19 +00:00
openmp Commit PowerPC64 support from Carlo Bertolli at IBM. 2014-08-07 10:12:54 +00:00
polly Added arcanist linters and cleaned errors and warnings 2014-08-18 00:40:13 +00:00