Alina Sbirlea 83774c7e99 [MemorySSA] Make the use of moveAllAfterMergeBlocks consistent. ...

Summary:
The rule for the moveAllAfterMergeBlocks API si for all instructions
from `From` to have been moved to `To`, while keeping the CFG edges (and
block terminators) unchanged.
Update all the callsites for moveAllAfterMergeBlocks to follow this.

Pending follow-up: since the same behavior is needed everytime, merge
all callsites into one. The common denominator may be the call to
`MergeBlockIntoPredecessor`.

Resolves PR43569.

Reviewers: george.burgess.iv

Subscribers: Prazek, sanjoy.google, llvm-commits

Tags: #llvm

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

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

2019-10-09 15:54:24 +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] Fold constant calls to log2()

2019-09-30 20:53:23 +00:00

CostModel

[CostModel][X86] Add tests for insertelement to non-immediate vector element indices

2019-10-09 12:36:34 +00:00

DDG

[DDG] Data Dependence Graph - Root Node

2019-10-01 19:32:42 +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

[SDA] Don't stop divergence propagation at the IPD.

2019-09-18 13:40:22 +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] Make the use of moveAllAfterMergeBlocks consistent.

2019-10-09 15:54:24 +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

Revert "[SCEV] add no wrap flag for SCEVAddExpr."

2019-09-30 07:46:52 +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