David Majnemer e8be18e8a3 InstCombine: Combine (add (and %a, %b) (or %a, %b)) to (add %a, %b) ... What follows bellow is a correctness proof of the transform using CVC3. $ < t.cvc A, B : BITVECTOR(32); QUERY BVPLUS(32, A & B, A | B) = BVPLUS(32, A, B); $ cvc3 < t.cvc Valid. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215400 91177308-0d34-0410-b5e6-96231b3b80d8		2014-08-11 22:32:02 +00:00
..
Analysis	In LVI(Lazy Value Info), originally value on a BB can only be caculated once,	2014-08-11 05:02:04 +00:00
AsmParser	Remove dead code in condition	2014-08-05 18:22:58 +00:00
Bitcode	BitcodeReader: Fix non-determinism in use-list order	2014-08-05 17:49:48 +00:00
CodeGen	Add isRegSequence property.	2014-08-11 22:17:14 +00:00
DebugInfo	DWOHolder takes ownership of the argument constructor, use std::unique_ptr.	2014-07-31 20:26:42 +00:00
ExecutionEngine	[MCJIT] Simplify immediate decoding code in the RuntimeDyldMachO hierarchy.	2014-08-08 23:12:22 +00:00
IR	Fix typos:	2014-08-11 18:04:46 +00:00
IRReader
LineEditor
Linker	Fix use of uninitialized variable.	2014-08-11 17:07:34 +00:00
LTO	Don't internalize all but main by default.	2014-08-05 20:10:38 +00:00
MC	MC: Diagnose an unexpected token in COFF .section instead of asserting	2014-08-11 18:34:43 +00:00
Object	AArch64: add support for dynamic-loader relocations	2014-08-11 10:10:27 +00:00
Option
ProfileData	Coverage: add HasCodeBefore flag to a mapping region.	2014-08-04 18:00:51 +00:00
Support	ADT: remove MinGW32 and Cygwin OSType enum	2014-08-09 23:12:20 +00:00
TableGen	[tablegen] - Eliminate memory leaks in TGParser.cpp	2014-08-08 00:29:54 +00:00
Target	R600/SI: Add a ComplexPattern for selecting MUBUF _OFFSET variant	2014-08-11 22:18:17 +00:00
Transforms	InstCombine: Combine (add (and %a, %b) (or %a, %b)) to (add %a, %b)	2014-08-11 22:32:02 +00:00
CMakeLists.txt	ProfileData: Introduce the InstrProfReader interface and a text reader	2014-03-21 17:24:48 +00:00
LLVMBuild.txt
Makefile