Sanjoy Das e464bbfb5a [SCEV] Look at backedge dominating conditions. ...

Summary:
This change teaches ScalarEvolution::isLoopBackedgeGuardedByCond to look
at edges within the loop body that dominate the latch.  We don't do an
exhaustive search for all possible edges, but only a quick walk up the
dom tree.

Reviewers: atrick, hfinkel

Subscribers: llvm-commits

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

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

2015-03-27 23:18:08 +00:00

..

AssumptionCache

[PM] Actually add the new pass manager support for the assumption cache.

2015-01-22 21:53:09 +00:00

BasicAA

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

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

BlockFrequencyInfo

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

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

BranchProbabilityInfo

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

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

CallGraph

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

CFLAliasAnalysis

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

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

CostModel

[X86][SSE] Avoid scalarization of v2i64 vector shifts (REAPPLIED)

2015-03-18 22:18:51 +00:00

Delinearization

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

DependenceAnalysis

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

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

Dominators

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

2015-02-27 19:29:02 +00:00

GlobalsModRef

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

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

LazyCallGraph

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

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

Lint

Make llvm.eh.begincatch use an outparam

2015-03-03 17:41:09 +00:00

LoopAccessAnalysis

[LoopAccesses 3/3] Print the dependences with -analyze

2015-03-10 17:40:43 +00:00

LoopInfo

[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis

2015-01-20 10:58:50 +00:00

MemoryDependenceAnalysis

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

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

PostDominators

FileCheck-ize tests.

2013-08-22 00:51:19 +00:00

RegionInfo

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

ScalarEvolution

[SCEV] Look at backedge dominating conditions.

2015-03-27 23:18:08 +00:00

ScopedNoAliasAA

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

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

TypeBasedAliasAnalysis

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

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

ValueTracking

Require a GC strategy be specified for functions which use gc.statepoint

2015-03-27 05:09:33 +00:00