Hal Finkel 5f36b46bf0 Make use @llvm.assume for loop guards in ScalarEvolution ...

This adds a basic (but important) use of @llvm.assume calls in ScalarEvolution.
When SE is attempting to validate a condition guarding a loop (such as whether
or not the loop count can be zero), this check should also include dominating
assumptions.

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

2014-09-07 21:37:59 +00:00

..

BasicAA

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

BlockFrequencyInfo

Fix typos

2014-05-15 01:52:21 +00:00

BranchProbabilityInfo

Fix a bug in which BranchProbabilityInfo wasn't setting branch weights of basic blocks inside loops correctly.

2014-04-14 16:56:19 +00:00

CallGraph

[tests] Cleanup initialization of test suffixes.

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

CFLAliasAnalysis

Add a CFL Alias Analysis implementation

2014-09-02 21:43:13 +00:00

CostModel

[CostModel][x86] Improved cost model for alternate shuffles.

2014-07-03 22:24:18 +00:00

Delinearization

ScalarEvolution: Derive element size from the type of the loaded element

2014-06-08 19:21:20 +00:00

DependenceAnalysis

remove constant terms

2014-05-27 22:41:45 +00:00

Dominators

[tests] Cleanup initialization of test suffixes.

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

GlobalsModRef

BasicAA: Use reachabilty instead of dominance for checking value equality in phi

2014-01-03 05:47:03 +00:00

LazyCallGraph

[LCG] Add support for building persistent and connected SCCs to the

2014-04-18 10:50:32 +00:00

Lint

Teach lint about address spaces

2014-03-06 17:33:55 +00:00

LoopInfo

FileCheck-ize tests.

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

MemoryDependenceAnalysis

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +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

Make use @llvm.assume for loop guards in ScalarEvolution

2014-09-07 21:37:59 +00:00

ScopedNoAliasAA

Convert noalias parameter attributes into noalias metadata during inlining

2014-07-25 15:50:08 +00:00

TypeBasedAliasAnalysis

AA metadata refactoring (introduce AAMDNodes)

2014-07-24 12:16:19 +00:00