Karthik Bhat 7ef167ae1f InstCombine: Combine (xor (or %a, %b) (xor %a, %b)) to (add %a, %b) ...

Correctness proof of the transform using CVC3-

$ cat t.cvc
A, B : BITVECTOR(32);
QUERY BVXOR(A | B, BVXOR(A,B) ) = A & B;

$ cvc3 t.cvc
Valid.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215524 91177308-0d34-0410-b5e6-96231b3b80d8

2014-08-13 05:13:14 +00:00

..

ADCE

…

AddDiscriminators

…

ArgumentPromotion

…

AtomicExpandLoadLinked/ARM

…

BBVectorize

…

BranchFolding

…

CodeExtractor

…

CodeGenPrepare

…

ConstantHoisting

…

ConstantMerge

…

ConstProp

…

CorrelatedValuePropagation

…

DeadArgElim

…

DeadStoreElimination

Revert "r214897 - Remove dead zero store to calloc initialized memory"

2014-08-06 19:30:38 +00:00

DebugIR

…

EarlyCSE

…

FunctionAttrs

…

GCOVProfiling

…

GlobalDCE

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

GlobalOpt

GlobalOpt: Optimize in the face of insertvalue/extractvalue

2014-08-08 05:50:43 +00:00

GVN

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

IndVarSimplify

…

Inline

…

InstCombine

InstCombine: Combine (xor (or %a, %b) (xor %a, %b)) to (add %a, %b)

2014-08-13 05:13:14 +00:00

InstMerge

…

InstSimplify

InstSimplify: Simplify (X - (0 - Y)) if the second sub is NUW

2014-07-31 04:49:18 +00:00

Internalize

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

IPConstantProp

…

JumpThreading

In LVI(Lazy Value Info), originally value on a BB can only be caculated once,

2014-08-11 05:02:04 +00:00

LCSSA

…

LICM

…

LoadCombine

…

LoopDeletion

…

LoopIdiom

…

LoopReroll

…

LoopRotate

…

LoopSimplify

…

LoopStrengthReduce

…

LoopUnroll

…

LoopUnswitch

…

LoopVectorize

[LoopVectorizer] Enable support for floating-point subtraction reductions

2014-08-08 12:41:08 +00:00

LowerAtomic

…

LowerExpectIntrinsic

…

LowerInvoke

…

LowerSwitch

…

Mem2Reg

…

MemCpyOpt

…

MergeFunc

…

MetaRenamer

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

ObjCARC

…

PartiallyInlineLibCalls

PartiallyInlineLibCalls: Check sqrt result type before transforming it.

2014-08-01 23:21:21 +00:00

PhaseOrdering

…

PruneEH

…

Reassociate

…

Reg2Mem

…

SampleProfile

…

Scalarizer

…

ScalarRepl

…

SCCP

…

SeparateConstOffsetFromGEP/NVPTX

…

SimplifyCFG

[SimplifyCFG] fix accessing deleted PHINodes in switch-to-table conversion.

2014-08-02 23:41:54 +00:00

Sink

…

SLPVectorizer

SLPVectorizer: Use the type of the value loaded/stored to get the ABI alignment

2014-08-07 22:47:27 +00:00

SROA

Fix a case in SROA where lifetime intrinsics could inhibit alloca promotion. In

2014-08-07 21:07:35 +00:00

StripSymbols

…

StructurizeCFG

…

TailCallElim

…

TailDup

…