Erik Verbruggen 0edc5e8391 Reassociate x + -0.1234 * y into x - 0.1234 * y ...

This does not require -ffast-math, and it gives CSE/GVN more options to
eliminate duplicate expressions in, e.g.:

  return ((x + 0.1234 * y) * (x - 0.1234 * y));

Differential Revision: http://reviews.llvm.org/D4904



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

2014-08-21 10:45:30 +00:00

..

ADCE

…

AddDiscriminators

…

ArgumentPromotion

ArgPromo+DebugInfo: Handle updating debug info over multiple applications of argument promotion.

2014-07-23 22:09:29 +00:00

AtomicExpandLoadLinked/ARM

CodeGen: it turns out that NAND is not the same thing as BIC. At all.

2014-07-07 09:06:35 +00:00

BBVectorize

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

BranchFolding

…

CodeExtractor

…

CodeGenPrepare

CodeGenPrep: fall back to MVT::Other if instruction's type isn't an EVT.

2014-07-29 10:20:22 +00:00

ConstantHoisting

[ConstantHoisting][X86] Improve the cost model for small constants with large types (i64 and above).

2014-06-10 00:32:29 +00:00

ConstantMerge

…

ConstProp

Fix a bug around truncating vector in const prop.

2014-08-21 02:12:35 +00:00

CorrelatedValuePropagation

…

DeadArgElim

…

DeadStoreElimination

Weak relaxing of the constraints on atomics in MemoryDependencyAnalysis

2014-08-18 22:18:11 +00:00

DebugIR

…

EarlyCSE

…

FunctionAttrs

[optnone] Make the optnone attribute effective at suppressing function

2014-08-13 10:49:33 +00:00

GCOVProfiling

Fix coverage for files with global constructors again. Adds a testcase to the commit from r206671, as requested by David Blaikie.

2014-06-05 04:31:43 +00:00

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

Answer to Philip Reames comments

2014-08-18 22:18:14 +00:00

IndVarSimplify

[INDVARS] Extend using of widening of induction variables for the cases of "sub nsw" and "mul nsw" instructions.

2014-08-21 08:25:45 +00:00

Inline

Copy noalias metadata from call sites to inlined instructions

2014-08-14 21:09:37 +00:00

InstCombine

InstCombine: Fold ((A | B) & C1) ^ (B & C2) -> (A & C1) ^ B if C1^C2=-1

2014-08-21 05:14:48 +00:00

InstMerge

MergedLoadStoreMotion pass

2014-07-18 19:13:09 +00:00

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

No need for those tests to go thru llvm-as and/or llvm-dis.

2014-05-27 22:03:28 +00:00

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

Make Value::isDereferenceablePointer handle offsets to pointer types with dereferenceable attributes

2014-07-19 03:25:16 +00:00

LoadCombine

Add LoadCombine pass.

2014-05-29 01:55:07 +00:00

LoopDeletion

…

LoopIdiom

R600: Implement TTI:getPopcntSupport

2014-07-18 06:07:13 +00:00

LoopReroll

…

LoopRotate

…

LoopSimplify

No need for those tests to go thru llvm-as and/or llvm-dis.

2014-05-27 22:03:28 +00:00

LoopStrengthReduce

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

LoopUnroll

After unrolling a loop with llvm.loop.unroll.count metadata (unroll factor

2014-07-24 22:36:40 +00:00

LoopUnswitch

…

LoopVectorize

Revert "Small refactor on VectorizerHint for deduplication"

2014-08-19 18:08:50 +00:00

LowerAtomic

IR: add "cmpxchg weak" variant to support permitted failure.

2014-06-13 14:24:07 +00:00

LowerExpectIntrinsic

…

LowerInvoke

…

LowerSwitch

Added test for commit r212802 that was missing

2014-07-11 10:36:00 +00:00

Mem2Reg

…

MemCpyOpt

Don't eliminate memcpy's when the address of the pointer may itself be relevant. Fixes PR18304. Patch by David Wiberg!

2014-07-14 18:52:02 +00:00

MergeFunc

MergeFunc patch from Björn Steinbrink.

2014-07-15 10:46:51 +00:00

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

Reassociate x + -0.1234 * y into x - 0.1234 * y

2014-08-21 10:45:30 +00:00

Reg2Mem

…

SampleProfile

…

Scalarizer

…

ScalarRepl

…

SCCP

SCCP: update for cmpxchg returning { iN, i1 } now.

2014-06-13 14:54:09 +00:00

SeparateConstOffsetFromGEP/NVPTX

Partially revert r210444 due to performance regression

2014-07-16 23:25:00 +00:00

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

We may visit a call that uses an alloca multiple times in callUsesLocalStack, sometimes with IsNocapture true and sometimes with IsNocapture false. We accidentally skipped work we needed to do in the IsNocapture=false case if we were called with IsNocapture=true the first time. Fixes PR20405!

2014-07-23 06:24:49 +00:00

TailDup

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

Util

utils: Fix segfault in flattencfg

2014-08-13 20:31:53 +00:00