Sanjoy Das cf2951e884 [BasicAA] Guard intrinsics don't write to memory ...

Summary:
The idea is very close to what we do for assume intrinsics: we mark the
guard intrinsics as writing to arbitrary memory to maintain control
dependence, but under the covers we teach AA that they do not mod any
particular memory location.

Reviewers: chandlerc, hfinkel, gbiv, reames

Subscribers: george.burgess.iv, mcrosier, llvm-commits

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

llvm-svn: 269007

2016-05-10 02:35:41 +00:00

..

AssumptionCache

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

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

BasicAA

[BasicAA] Guard intrinsics don't write to memory

2016-05-10 02:35:41 +00:00

BlockFrequencyInfo

[PM] port Branch Frequency Analaysis pass to new PM

2016-05-05 21:13:27 +00:00

BranchProbabilityInfo

[PM] Port Branch Probability Analysis pass to the new pass manager.

2016-05-05 02:59:57 +00:00

CallGraph

[CG] Add a new pass manager printer pass for the old call graph and

2016-03-10 11:24:11 +00:00

CFLAliasAnalysis

[CFLAA] Fix PR27213; incorrect tagging of args/globals

2016-04-05 21:40:45 +00:00

CostModel

[X86][SSE] Improve cost model for i64 vector comparisons on pre-SSE42 targets

2016-05-09 21:14:38 +00:00

Delinearization

[SCEV] Mark AddExprs as nsw or nuw if legal

2015-10-22 19:57:19 +00:00

DemandedBits

Port DemandedBits to the new pass manager.

2016-04-18 23:55:01 +00:00

DependenceAnalysis

[DependenceAnalysis] Check if result of getConstantPart is null

2016-04-04 18:13:18 +00:00

DivergenceAnalysis

DivergenceAnalysis: Fix crash with no return blocks

2016-05-09 16:57:08 +00:00

DominanceFrontier

Another fix the testcase introduced by r261903 - Add the missing matches

2016-02-26 03:41:47 +00:00

Dominators

Move the personality function from LandingPadInst to Function

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

GlobalsModRef

Don't IPO over functions that can be de-refined

2016-04-08 00:48:30 +00:00

LazyCallGraph

[LCG] Spell the printing pass pipeline name for the lazy call graph

2016-03-10 11:24:06 +00:00

Lint

[WinEH] Delete the old landingpad implementation of Windows EH

2015-10-09 23:34:53 +00:00

LoopAccessAnalysis

[SCEV] Improve the run-time checking of the NoWrap predicate

2016-04-25 09:27:16 +00:00

LoopInfo

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

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

MemoryDependenceAnalysis

[MDA] change BlockScanLimit into a command line option.

2015-07-21 21:50:39 +00:00

PostDominators

Introduce analysis pass to compute PostDominators in the new pass manager. NFC

2016-02-25 17:54:07 +00:00

RegionInfo

Introduce RegionInfoAnalysis, which compute Region Tree in the new PassManager. NFC

2016-02-25 17:54:25 +00:00

ScalarEvolution

[SCEV] Use guards to prove predicates

2016-05-10 00:31:49 +00:00

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

2016-03-07 17:49:10 +00:00

TypeBasedAliasAnalysis

[PM/AA] Wire up TBAA to the new pass manager's registry and test it.

2016-02-20 04:04:52 +00:00

ValueTracking

Use DL preferred alignment for alloca in Value::getPointerAlignment

2016-04-27 10:42:29 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

2016-02-09 01:21:57 +00:00