Sanjoy Das 5c8bead46d [IndVars] Don't break dominance in eliminateIdentitySCEV ...

Summary:
After r249211, `getSCEV(X) == getSCEV(Y)` does not guarantee that X and
Y are related in the dominator tree, even if X is an operand to Y (I've
included a toy example in comments, and a real example as a test case).

This commit changes `SimplifyIndVar` to require a `DominatorTree`.  I
don't think this is a problem because `ScalarEvolution` requires it
anyway.

Fixes PR25051.

Depends on D13459.

Reviewers: atrick, hfinkel

Subscribers: joker.eph, llvm-commits, sanjoy

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

llvm-svn: 249471

2015-10-06 21:44:49 +00:00

..

ADCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

AddDiscriminators

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AlignmentFromAssumptions

…

ArgumentPromotion

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AtomicExpand

[ARM] Emit clrex in the expanded cmpxchg fail block.

2015-09-22 17:22:58 +00:00

BBVectorize

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

BDCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

BranchFolding

Make the default triple optional by allowing an empty string

2015-09-16 05:34:32 +00:00

CodeExtractor

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

CodeGenPrepare

Introducing llvm.invariant.group.barrier intrinsic

2015-09-15 18:32:14 +00:00

ConstantHoisting

…

ConstantMerge

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

ConstProp

[test] (NFC) Simplify Transforms/ConstProp/calls.ll

2015-08-28 18:04:20 +00:00

CorrelatedValuePropagation

[LazyValueInfo] Report nonnull range for nonnull pointers

2015-09-18 13:01:48 +00:00

DeadArgElim

[DeadArgElim] Split the invoke successor edge

2015-09-23 15:41:09 +00:00

DeadStoreElimination

[DeadStoreElimination] Remove dead zero store to calloc initialized memory

2015-09-23 11:38:44 +00:00

EarlyCSE

Allow value forwarding past release fences in EarlyCSE

2015-08-27 01:32:33 +00:00

EliminateAvailableExternally

Don't change the visibility when converting a definition to a declaration.

2015-07-13 14:18:22 +00:00

Float2Int

…

FunctionAttrs

[FunctionAttr] Infer nonnull attributes on returns

2015-08-31 19:44:38 +00:00

GCOVProfiling

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

GlobalDCE

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

GlobalOpt

[GlobalOpt] Sort members of llvm.used deterministically

2015-09-28 19:02:11 +00:00

GVN

inariant.group handling in GVN

2015-10-02 22:12:22 +00:00

IndVarSimplify

[IndVars] Don't break dominance in eliminateIdentitySCEV

2015-10-06 21:44:49 +00:00

Inline

Move dbg.declare intrinsics when merging and replacing allocas.

2015-09-29 00:30:19 +00:00

InstCombine

Extend known bits to understand @llvm.bswap

2015-10-06 20:20:45 +00:00

InstMerge

…

InstSimplify

Extend known bits to understand @llvm.bswap

2015-10-06 20:20:45 +00:00

Internalize

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

IPConstantProp

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

IRCE

…

JumpThreading

[LazyValueInfo] Look through Phi nodes when trying to prove a predicate

2015-08-31 18:31:48 +00:00

LCSSA

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LICM

[LICM] Hoist calls to readonly argmemonly functions even with stores in the loop

2015-09-21 22:27:59 +00:00

LoadCombine

…

LoopDeletion

…

LoopDistribute

[LAA] Hold bounds via ValueHandles during SCEV expansion

2015-08-21 23:19:57 +00:00

LoopIdiom

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopInterchange

…

LoopReroll

[LoopReroll] Ignore debug intrinsics

2015-09-28 17:03:23 +00:00

LoopRotate

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopSimplify

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopStrengthReduce

[TwoAddressInstructionPass] When looking for a 3 addr conversion after commuting, make sure regB has been updated to take into account the commute.

2015-10-06 05:39:59 +00:00

LoopUnroll

[Tests] Add one more case to LoopUnroll/pr18861.ll for better coverage.

2015-10-02 19:21:52 +00:00

LoopUnswitch

[LoopUnswitch] Add block frequency analysis to recognize hot/cold regions

2015-09-29 05:03:32 +00:00

LoopVectorize

[LoopUtils,LV] Propagate fast-math flags on generated FCmp instructions

2015-09-21 19:41:19 +00:00

LowerAtomic

…

LowerBitSets

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

LowerExpectIntrinsic

…

LowerInvoke

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LowerSwitch

[LowerSwitch] Fix a bug when LowerSwitch deletes the default block

2015-08-11 18:12:26 +00:00

Mem2Reg

DI: Update tests before adding !dbg subprogram attachments

2015-08-28 23:32:00 +00:00

MemCpyOpt

Emit argmemonly attribute for intrinsics.

2015-08-13 17:40:04 +00:00

MergeFunc

MergeFunctions: Clear GlobalNumbers ValueMap

2015-10-05 17:26:36 +00:00

MetaRenamer

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

NaryReassociate

[NaryReassociate] SeenExprs records WeakVH

2015-10-01 03:51:44 +00:00

ObjCARC

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

PlaceSafepoints

[PlaceSafepoints] Make the width of a counted loop settable.

2015-09-15 01:42:48 +00:00

PruneEH

[PruneEH] A naked, noinline function can return via InlineAsm

2015-06-27 07:52:53 +00:00

Reassociate

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

RewriteStatepointsForGC

[RewriteStatepointsForGC] Extend base pointer inference to handle insertelement

2015-09-09 23:40:12 +00:00

SafeStack

Fix debug info with SafeStack.

2015-09-30 19:55:43 +00:00

SampleProfile

Update sample profile propagation algorithm.

2015-10-01 00:26:56 +00:00

Scalarizer

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

ScalarRepl

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

SeparateConstOffsetFromGEP

[SeparateConstOffsetFromGEP] sext(a)+sext(b) => sext(a+b) when a+b can't sign-overflow.

2015-08-14 02:02:05 +00:00

SimplifyCFG

[EH] Create removeUnwindEdge utility

2015-09-27 01:47:46 +00:00

Sink

…

SLPVectorizer

[SLP] Don't vectorize loads of non-packed types (like i1, i2).

2015-09-30 21:05:43 +00:00

SpeculativeExecution

…

SROA

[PM] Port SROA to the new pass manager.

2015-09-12 09:09:14 +00:00

StraightLineStrengthReduce

[SeparateConstOffsetFromGEP] strengthen the inbounds attribute

2015-08-13 18:48:49 +00:00

StripSymbols

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

StructurizeCFG

Fix CHECK directives that weren't checking.

2015-08-31 21:10:35 +00:00

TailCallElim

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

TailDup

…

Util

…