Jingyue Wu f182c81444 [NaryReassociate] run NaryReassociate iteratively ...

Summary:
An alternative is to use a worklist approach. However, that approach
would break the traversing order so that we couldn't lookup SeenExprs
efficiently. I don't see a clear winner here, so I picked the easier approach.

Along with two minor improvements:
1. preserves ScalarEvolution by forgetting instructions replaced
2. removes dead code locally avoiding the need of running DCE afterwards

Test Plan: add to slsr-add.ll a test that requires multiple iterations

Reviewers: broune, dberlin, atrick, meheff

Reviewed By: atrick

Subscribers: llvm-commits

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

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

2015-04-17 00:25:10 +00:00

..

ADCE

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

AddDiscriminators

DebugInfo: Fix testcases that fail -verify-debug-info=true

2015-03-16 21:10:12 +00:00

AlignmentFromAssumptions

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

ArgumentPromotion

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

AtomicExpand/ARM

Use target-dependent emitLeading/TrailingFence instead of the target-independent insertLeading/TrailingFence (in AtomicExpandPass)

2014-09-03 21:01:03 +00:00

BBVectorize

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

BDCE

[BDCE] Don't forget uses of root instructions seen before the instruction itself

2015-02-18 03:12:28 +00:00

BranchFolding

Delete -std-compile-opts.

2014-10-16 20:00:02 +00:00

CodeExtractor

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

CodeGenPrepare

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantHoisting

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantMerge

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

ConstProp

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

CorrelatedValuePropagation

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

DeadArgElim

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

DeadStoreElimination

DebugInfo: Add missing !dbg attachments to intrinsics

2015-04-15 21:04:10 +00:00

EarlyCSE

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

Float2Int

Reapply r233175 and r233183: float2int.

2015-03-27 10:36:57 +00:00

FunctionAttrs

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GCOVProfiling

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GlobalDCE

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GlobalOpt

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GVN

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

IndVarSimplify

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Inline

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

InstCombine

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

InstMerge

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

InstSimplify

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Internalize

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

IPConstantProp

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

IRCE

[IRCE] Fix a regression introduced in r232444.

2015-03-24 19:29:18 +00:00

JumpThreading

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LCSSA

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

LICM

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoadCombine

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopDeletion

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopIdiom

DebugInfo: Fix bad debug info for compile units and types

2015-03-27 20:46:33 +00:00

LoopInterchange

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopReroll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopRotate

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopSimplify

Verifier: Call verifyModule() from llc and opt

2015-03-27 22:04:28 +00:00

LoopStrengthReduce

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopUnroll

[LoopUnrollRuntime] Avoid high-cost trip count computation.

2015-04-14 03:20:38 +00:00

LoopUnswitch

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopVectorize

DebugInfo: Fix bad debug info for compile units and types

2015-03-27 20:46:33 +00:00

LowerAtomic

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LowerBitSets

LowerBitSets: Avoid reusing byte set addresses.

2015-03-19 22:02:10 +00:00

LowerExpectIntrinsic

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LowerInvoke

Verifier: Call verifyModule() from llc and opt

2015-03-27 22:04:28 +00:00

LowerSwitch

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

Mem2Reg

DebugInfo: Remove 'inlinedAt:' field from MDLocalVariable

2015-04-15 22:29:27 +00:00

MemCpyOpt

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

MergeFunc

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

MetaRenamer

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

NaryReassociate

[NaryReassociate] run NaryReassociate iteratively

2015-04-17 00:25:10 +00:00

ObjCARC

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PlaceSafepoints

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PruneEH

Fix invalid LLVM IR in PruneEH tests

2015-02-11 02:06:47 +00:00

Reassociate

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Reg2Mem

…

RewriteStatepointsForGC

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SampleProfile

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Scalarizer

DebugInfo: Fix bad debug info for compile units and types

2015-03-27 20:46:33 +00:00

ScalarRepl

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SeparateConstOffsetFromGEP/NVPTX

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

SimplifyCFG

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Sink

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

SLPVectorizer

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SROA

[ConstantFold] Don't fold ppc_fp128 <-> int bitcasts

2015-03-28 16:44:57 +00:00

StraightLineStrengthReduce

[NFC] [SLSR] clean up some tests

2015-04-15 17:14:03 +00:00

StripSymbols

DebugInfo: Fix bad debug info for compile units and types

2015-03-27 20:46:33 +00:00

StructurizeCFG

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

TailCallElim

TRE: Just erase dead BBs and tweak the iteration loop not to increment the deleted BB iterator.

2015-02-28 16:47:27 +00:00

TailDup

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Util

[SwitchLowering] Remove incoming values in the reverse order

2015-03-17 18:03:10 +00:00