Alina Sbirlea 831fe3501a [MemorySSA] Update MSSA for non-conventional AA. ...

Summary:
Regularly when moving an instruction that may not read or write memory,
the instruction is not modelled in MSSA, so not action is necessary.
For a non-conventional AA pipeline, MSSA needs to explicitly check when
creating accesses, so as to not model instructions that may not read and
write memory.

Reviewers: george.burgess.iv

Subscribers: Prazek, sanjoy.google, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D67562

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

2019-09-17 16:31:37 +00:00

..

AliasSet

[Analysis] Make LocationSize pretty-printing more descriptive

2018-10-10 01:35:22 +00:00

AssumptionCache

Add files I seem to have dropped in my revert (r290086).

2016-12-19 08:32:13 +00:00

BasicAA

[SimplifyLibCalls] Mark known arguments with nonnull

2019-09-17 09:32:52 +00:00

BlockFrequencyInfo

[BFI] Use rounding while computing profile counts.

2018-08-16 00:26:59 +00:00

BranchProbabilityInfo

[BPI] Adjust the probability for floating point unordered comparison

2019-09-10 17:25:11 +00:00

CallGraph

Revert "[CallGraph] Refine call graph for indirect calls with !callees metadata"

2019-08-16 10:59:18 +00:00

CFLAliasAnalysis

[CFLGraph] Add support for unary fneg instruction.

2019-06-06 19:21:23 +00:00

ConstantFolding

[ConstantFolding] Expand folding of some library functions

2019-09-12 21:23:22 +00:00

CostModel

[CostModel][X86] Add scalar sext/zext cost tests

2019-09-02 21:02:51 +00:00

Delinearization

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

DemandedBits

Reapply "[DemandedBits][BDCE] Support vectors of integers"

2018-12-07 15:38:13 +00:00

DependenceAnalysis

[NFC] Test commit access

2019-09-16 20:44:15 +00:00

DivergenceAnalysis

[AMDGPU] ImmArg and SourceOfDivergence for permlane/dpp

2019-06-13 16:31:51 +00:00

DominanceFrontier

IR: Support parsing numeric block ids, and emit them in textual output.

2019-03-22 18:27:13 +00:00

Dominators

[Dominators] Don't compute DFS InOut numbers eagerly.

2017-06-30 01:28:21 +00:00

GlobalsModRef

[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.

2018-05-09 02:40:45 +00:00

IVUsers

Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)."

2018-07-13 23:58:46 +00:00

LazyCallGraph

Revert "[CallGraph] Refine call graph for indirect calls with !callees metadata"

2019-08-16 10:59:18 +00:00

LazyValueAnalysis

[LVI] run transfer function for binary operator even when the RHS isn't a constant

2018-11-21 05:24:12 +00:00

LegacyDivergenceAnalysis

[AMDGPU] Add support for 64 bit buffer atomic artihmetic instructions

2019-03-06 17:02:06 +00:00

Lint

[Lint] Permit aliasing noalias readonly arguments

2019-04-23 23:43:47 +00:00

LoopAccessAnalysis

Revert "[IRBuilder] Fold consistently for or/and whether constant is LHS or RHS"

2019-07-07 22:12:01 +00:00

LoopCacheAnalysis/PowerPC

Title: Improve Loop Cache Analysis LIT tests.

2019-08-09 16:18:22 +00:00

LoopInfo

Introduce llvm.loop.parallel_accesses and llvm.access.group metadata.

2018-12-20 04:58:07 +00:00

MemoryDependenceAnalysis

[AliasAnalysis/NewPassManager] Invalidate AAManager less often.

2019-04-30 22:15:47 +00:00

MemorySSA

[MemorySSA] Update MSSA for non-conventional AA.

2019-09-17 16:31:37 +00:00

MustExecute

[MustExec] Add a generic "must-be-executed-context" explorer

2019-08-23 15:17:27 +00:00

PhiValues

Add a PhiValuesAnalysis pass to calculate the underlying values of phis

2018-06-28 14:13:06 +00:00

PostDominators

[Dominators] Include infinite loops in PostDominatorTree

2017-08-15 18:14:57 +00:00

ProfileSummary

[ProfileSummary] Add options to override hot and cold count thresholds.

2018-11-02 17:39:31 +00:00

RegionInfo

IR: Support parsing numeric block ids, and emit them in textual output.

2019-03-22 18:27:13 +00:00

ScalarEvolution

[SCEV] Add smin support to getRangeRef

2019-09-12 21:32:27 +00:00

ScopedNoAliasAA

[ScopedNoAliasAA] Make test basic.ll less confusing

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

StackSafetyAnalysis

[stack-safety] Inter-Procedural Analysis implementation

2018-11-26 23:05:58 +00:00

TypeBasedAliasAnalysis

[SimplifyLibCalls] Mark known arguments with nonnull

2019-09-17 09:32:52 +00:00

ValueTracking

[IR][Verifier] Allow IntToPtrInst to be !dereferenceable

2019-07-23 17:19:56 +00:00

alias-analysis-uses.ll

Add an "addUsedAAAnalyses" helper function

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