Sanjoy Das c8ce43d192 Have isKnownNotFullPoison be smarter around control flow ...

Summary:
(... while still not using a PostDomTree)

The way we use isKnownNotFullPoison from SCEV today, the new CFG walking
logic will not trigger for any realistic cases -- it will kick in only
for situations where we could have merged the contiguous basic blocks
anyway[0], since the poison generating instruction dominates all of its
non-PHI uses (which are the only uses we consider right now).

However, having this change in place will allow a later bugfix to break
fewer llvm-lit tests.

[0]: i.e. cases where block A branches to block B and B is A's only
successor and A is B's only predecessor.

Reviewers: broune, bjarke.roune

Subscribers: mcrosier, llvm-commits

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

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

2016-04-22 17:41:06 +00:00

..

AssumptionCache

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

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

BasicAA

[PM/AA] Port alias analysis evaluator to the new pass manager, and use

2016-02-20 03:46:03 +00:00

BlockFrequencyInfo

Use getEdgeProbability() instead of getEdgeWeight() in BFI and remove getEdgeWeight() interfaces from MBPI.

2015-12-18 21:53:24 +00:00

BranchProbabilityInfo

[BPI] Consider deoptimize calls as "unreachable"

2016-04-18 19:01:28 +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]: Changing cost for “TRUNCATE v16i32 to v16i8” in SSE4.1 mode.

2016-04-22 08:34:05 +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] Treat PHI with incoming undef as constant

2016-04-14 17:42:47 +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][LAA] Add tests for SCEV expression transformations performed during LAA

2016-04-14 16:08:45 +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

Have isKnownNotFullPoison be smarter around control flow

2016-04-22 17:41:06 +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

InstCombine: Restrict computeKnownBits() on all Values to OptLevel > 2

2016-03-09 18:47:11 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

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