Jun Bum Lim 7c2eb4ec8b [LICM] sink through non-trivially replicable PHI ...

Summary:
The current LICM allows sinking an instruction only when it is exposed to exit
blocks through a trivially replacable PHI of which all incoming values are the
same instruction. This change enhance LICM to sink a sinkable instruction
through non-trivially replacable PHIs by spliting predecessors of loop
exits.

Reviewers: hfinkel, majnemer, davidxl, bmakam, mcrosier, danielcdh, efriedma, jtony

Reviewed By: efriedma

Subscribers: nemanjai, dberlin, llvm-commits

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

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

2017-11-03 16:24:53 +00:00

..

2003-02-26-LoopExitNotDominated.ll

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

2015-02-27 19:29:02 +00:00

2003-02-27-NestedLoopExitBlocks.ll

Rename 'loopsimplify' to 'loop-simplify'.

2011-02-10 23:38:10 +00:00

2003-02-27-PreheaderExitNodeUpdate.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2003-02-27-PreheaderProblem.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

2003-02-27-StoreSinkPHIs.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2003-02-28-PromoteDifferentType.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

AArch64: adjust tests which rely on a default JIT

2013-02-18 11:08:37 +00:00

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

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

2015-02-27 19:29:02 +00:00

2006-09-12-DeadUserOfSunkInstr.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

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

2015-02-27 19:29:02 +00:00

2007-09-24-PromoteNullValue.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2007-10-01-PromoteSafeValue.ll

PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad

2011-04-07 01:35:06 +00:00

2008-05-20-AliasSetVAArg.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

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

2015-02-27 19:29:02 +00:00

2014-09-10-doFinalizationAssert.ll

Fix assertion in LICM doFinalization()

2014-09-24 16:48:31 +00:00

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

[LICM] Report successful hoist/sink/promotion

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

assume.ll

[LICM] Report successful hoist/sink/promotion

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

atomics.ll

[LICM] Make store promotion work in the face of unordered atomics

2017-02-14 01:38:31 +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

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

extra-copies.ll

[LICM] Report successful hoist/sink/promotion

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

funclet.ll

[LICM] Report successful hoist/sink/promotion

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

hoist-bitcast-load.ll

[PM] Teach the loop PM to run LoopSimplify prior to the loop pipeline.

2017-01-21 03:48:51 +00:00

hoist-deref-load.ll

[PM] Teach the loop PM to run LoopSimplify prior to the loop pipeline.

2017-01-21 03:48:51 +00:00

hoist-fast-fdiv.ll

[LICM] Hoist fp division from the loops and replace by a reciprocal

2017-04-11 02:22:54 +00:00

hoist-invariant-load.ll

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

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

hoist-nounwind.ll

[PM] Teach the LoopPassManager to automatically canonicalize loops by

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

hoist-round.ll

Mark @llvm.powi.* as safe to speculatively execute.

2017-01-25 09:32:30 +00:00

hoisting.ll

[LICM] Hoist loads that are dominated by invariant.start intrinsic, and are invariant in the loop.

2017-02-02 13:22:03 +00:00

lcssa-ssa-promoter.ll

[LICM] Report successful hoist/sink/promotion

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

loopsink.ll

Add test case for LoopSink pass

2017-10-20 06:40:48 +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

[LICM] Report failing to hoist conditionally-executed loads

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

opt-remarks-intervening-store.ll

[LICM] Report failing to hoist a load with an invariant address

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

opt-remarks.ll

Correct a typo, s/hosting/hoisting/

2017-02-14 16:41:10 +00:00

pr23608.ll

Fix CHECK directives that weren't checking.

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

pr26843.ll

[AliasSetTracker] Do not strip pointer casts when processing MemSetInst

2016-03-14 18:34:29 +00:00

pr27262.ll

[AliasSetTracker] Correctly handle changing the size of an entry

2016-04-14 22:00:11 +00:00

pr32129.ll

Use a WeakVH for UnknownInstructions in AliasSetTracker

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

PR19798.ll

LICM: Don't crash when an instruction is used by an unreachable BB

2014-09-02 16:22:00 +00:00

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

Revert "Compute safety information in a much finer granularity."

2017-04-24 18:25:07 +00:00

Preserve-LCSSA.ll

Make these tests more interesting by using

2009-10-24 23:23:04 +00:00

promote-order.ll

[LICM] Report successful hoist/sink/promotion

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

promote-tls.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +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] Make store promotion work in the face of unordered atomics

2017-02-14 01:38:31 +00:00

sink.ll

[PM] Port LoopSink to the new pass manager.

2017-01-20 08:42:19 +00:00

sinking.ll

[LICM] sink through non-trivially replicable PHI

2017-11-03 16:24:53 +00:00

speculate.ll

[LICM] Report successful hoist/sink/promotion

2017-01-11 04:39:35 +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

[LICM] When we are recomputing the alias sets for a subloop, we cannot

2017-01-27 10:27:32 +00:00

update-scev.ll

[LICM] Kill SCEV loop dispositions if needed

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

volatile-alias.ll

[LICM] Report successful hoist/sink/promotion

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