Alina Sbirlea 1895810dff [MemorySSA +LICM CFHoist] Solve PR40317. ...

Summary:
MemorySSA needs updating each time an instruction is moved.
LICM and control flow hoisting re-hoists instructions, thus needing another update when re-moving those instructions.
Pending cleanup: the MSSA update is duplicated, should be moved inside moveInstructionBefore.

Reviewers: jnspaulsson

Subscribers: sanjoy, jlebar, Prazek, george.burgess.iv, llvm-commits

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

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

2019-01-24 19:48:35 +00:00

..

2003-02-26-LoopExitNotDominated.ll

…

2003-02-27-NestedLoopExitBlocks.ll

…

2003-02-27-PreheaderExitNodeUpdate.ll

…

2003-02-27-PreheaderProblem.ll

…

2003-02-27-StoreSinkPHIs.ll

…

2003-02-28-PromoteDifferentType.ll

…

2003-05-02-LoadHoist.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-12-11-SinkingToPHI.ll

…

2004-09-14-AliasAnalysisInvalidate.ll

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

2004-11-17-UndefIndexCrash.ll

…

2006-09-12-DeadUserOfSunkInstr.ll

…

2007-05-22-VolatileSink.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-07-30-AliasSet.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-09-17-PromoteValue.ll

…

2007-09-24-PromoteNullValue.ll

…

2007-10-01-PromoteSafeValue.ll

…

2008-05-20-AliasSetVAArg.ll

…

2008-07-22-LoadGlobalConstant.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-12-10-LICM-Indbr-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2011-04-06-HoistMissedASTUpdate.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2011-04-06-PromoteResultOfPromotion.ll

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

2011-04-09-RAUW-AST.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2011-07-06-Alignment.ll

…

2014-09-10-doFinalizationAssert.ll

…

alias-set-tracker-loss.ll

[LICM] Teach LICM how to handle cases where the alias set tracker was

2016-02-27 04:34:07 +00:00

AliasSetMemSet.ll

[AliasSetTracker] Teach AliasSetTracker about MemSetInst

2016-02-17 02:01:50 +00:00

argmemonly-call.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

assume.ll

[LICM] Hoist assumes out of loops

2018-08-10 22:21:56 +00:00

atomics.ll

[LICM] Hoist stores of invariant values to invariant addresses out of loops

2018-08-29 21:49:30 +00:00

basictest.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

bisect-state.ll

[LICM] Work around LICM needs to maintain state across loops.

2016-12-23 13:12:50 +00:00

call-hoisting.ll

[LICM] Fix a test so it actualy checks what was meant [NFC]

2018-08-21 21:27:26 +00:00

constexpr.ll

[PM] Teach the LoopPassManager to automatically canonicalize loops by

2017-01-17 19:18:12 +00:00

crash.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

debug-value.ll

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

dropped-tbaa.ll

[AliasSetTracker] Don't drop AA MD so eagerly

2017-06-29 19:13:11 +00:00

explicit_guards.ll

Introduce llvm.experimental.widenable_condition intrinsic

2018-12-07 14:39:46 +00:00

extra-copies.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

fence.ll

[LICM] hoist fences out of loops w/o memory operations

2018-08-09 20:18:42 +00:00

funclet.ll

[LICM] Hoist stores of invariant values to invariant addresses out of loops

2018-08-29 21:49:30 +00:00

guards.ll

[LICM] Hoist guards from non-header blocks

2018-11-12 09:29:58 +00:00

hoist-bitcast-load.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-debuginvariant.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-deref-load.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-fast-fdiv.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-invariant-load.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-mustexec.ll

[LICM] Use ICFLoopSafetyInfo in LICM

2018-11-06 02:44:49 +00:00

hoist-nounwind.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-phi.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoist-round.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

hoisting.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

infinite_loops.ll

[MustExecute] Fix algorithmic bug in isGuaranteedToExecute. PR38514

2018-08-17 06:19:17 +00:00

int_sideeffect.ll

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

invariant.start.ll

[LICM] Hoist an invariant_start out of loops if there are no stores executed before it

2018-08-24 16:24:48 +00:00

lcssa-ssa-promoter.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

loopsink-pr38462.ll

LoopSink: Don't sink into blocks without an insertion point (PR38462)

2018-08-29 06:55:27 +00:00

loopsink-pr39570.ll

[LoopSink] Do not sink instructions into non-cold blocks

2018-11-07 18:26:24 +00:00

loopsink-pr39695.ll

[LoopSink] Add preheader to alias set

2018-11-20 16:49:07 +00:00

loopsink.ll

NFC - Various typo fixes in tests

2018-07-04 13:28:39 +00:00

no-preheader-test.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

opt-remarks-conditional-load.ll

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

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

opt-remarks-intervening-store.ll

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

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

opt-remarks.ll

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

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

pr23608.ll

Fix CHECK directives that weren't checking.

2015-08-31 21:10:35 +00:00

pr26843.ll

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

pr27262.ll

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

pr32129.ll

Use a WeakVH for UnknownInstructions in AliasSetTracker

2017-03-11 01:15:48 +00:00

pr35342.ll

[LICM] Fix PR35342

2017-11-17 20:38:25 +00:00

pr36228.ll

[Analysis] Make LocationSizes carry an 'imprecise' bit

2018-10-10 06:39:40 +00:00

pr37323.ll

[LICM] Preserve DT and LoopInfo specifically

2018-05-24 15:58:34 +00:00

pr40317.ll

[MemorySSA +LICM CFHoist] Solve PR40317.

2019-01-24 19:48:35 +00:00

PR19798.ll

…

PR21582.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

PR24013.ll

[LICM] Don't try to sink values out of loops without any exits

2015-07-12 03:53:05 +00:00

preheader-safe.ll

[LICM] Use ICFLoopSafetyInfo in LICM

2018-11-06 02:44:49 +00:00

Preserve-LCSSA.ll

…

promote-order.ll

[LICM] Hoist stores of invariant values to invariant addresses out of loops

2018-08-29 21:49:30 +00:00

promote-tls.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

read-only-calls.ll

[LICM] Add a diagnostic analysis for identifying alias information

2018-08-17 13:44:00 +00:00

scalar-promote-memmodel.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

scalar-promote-unwind.ll

Improve what can be promoted in LICM.

2017-01-19 19:31:40 +00:00

scalar-promote.ll

[LICM] Add tests from D50786 [NFC]

2018-08-21 00:42:07 +00:00

sink-foldable.ll

Re-commit : [LICM] Allow sinking when foldable in loop

2017-12-15 20:33:24 +00:00

sink-promote.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

sink.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

sinking.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00

speculate.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +00:00

store-hoisting.ll

Add a todo and tests to Address a review commnt from D50925 [NFC]

2018-08-29 22:09:21 +00:00

strlen.ll

Add argmononly attribute to strlen and wcslen, i.e. they only read memory (string) passed to them.

2017-06-18 03:10:26 +00:00

unrolled-deeply-nested.ll

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

update-scev.ll

[LICM] Kill SCEV loop dispositions if needed

2016-05-03 17:50:11 +00:00

volatile-alias.ll

Use MemorySSA in LICM to do sinking and hoisting.

2019-01-10 19:29:04 +00:00