Anna Thomas 3f407d73ea [UnrollRuntime] Fix domTree failures in multiexit unrolling ...

Summary:
This fixes the IDom for exit blocks and all blocks reachable from the exit blocks, when runtime unrolling under multiexit/exiting case.
We initially had a restrictive check that the IDom is only updated when
it is the header of the loop.
However, we also need to update the IDom to the correct one when the
IDom is any block within the original loop. See added test cases (which
fail dom tree verification without the patch).

Reviewers: reames, mzolotukhin, mkazantsev, hfinkel

Reviewed by: brzycki, kuhar

Subscribers: zzheng, dmgreen, llvm-commits

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

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

2019-01-08 17:16:25 +00:00

..

AArch64

[AArch64][Falkor] Try to avoid exhausting HW prefetcher resources when unrolling.

2017-06-28 18:53:09 +00:00

AMDGPU

AMDGPU: Fix tests using old number for constant address space

2018-09-10 02:54:25 +00:00

ARM

[ARM] Use Cortex-A57 sched model for Cortex-A72

2018-10-25 15:08:29 +00:00

Hexagon

peel loops with runtime small trip counts

2018-04-03 03:39:43 +00:00

PowerPC

The cost of splitting a large vector instruction is not being taken into account by the getUserCost function. This was leading to some loops being over unrolled. The cost of a vector instruction is now being multiplied by the cost of the type legalization. This will return a more accurate cost.

2017-10-19 18:16:31 +00:00

X86

[X86] Make Feature64Bit useful

2018-08-30 06:01:05 +00:00

2004-05-13-DontUnrollTooMuch.ll

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

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

2005-03-06-BadLoopInfoUpdate.ll

Rename 'loopsimplify' to 'loop-simplify'.

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

2006-08-24-MultiBlockLoop.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-04-16-PhiUpdate.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-05-UnrollMiscomp.ll

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

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

2007-05-09-UnknownTripCount.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-11-05-Crash.ll

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

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

2011-08-08-PhiUpdate.ll

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

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

2011-08-09-IVSimplify.ll

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

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

2011-08-09-PhiUpdate.ll

Fixup to r186268 and r186269: don't append -LABEL to CHECK-NOT. No functionality change.

2013-07-14 02:10:57 +00:00

2011-10-01-NoopTrunc.ll

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

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

2012-04-09-unroll-indirectbr.ll

Fix 12513: Loop unrolling breaks with indirect branches.

2012-04-10 05:14:42 +00:00

basic.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

complete_unroll_profitability_with_assume.ll

[LoopUnroll] Peel off iterations if it makes conditions true/false.

2018-03-15 21:34:43 +00:00

convergent.ll

LoopUnroll: respect pragma unroll when AllowRemainder is disabled

2018-03-02 16:22:32 +00:00

debug-info.ll

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

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

disable_nonforced_count.ll

[Unroll/UnrollAndJam/Vectorizer/Distribute] Add followup loop attributes.

2018-12-12 17:32:52 +00:00

disable_nonforced_enable.ll

[Unroll/UnrollAndJam/Vectorizer/Distribute] Add followup loop attributes.

2018-12-12 17:32:52 +00:00

disable_nonforced_full.ll

[Unroll/UnrollAndJam/Vectorizer/Distribute] Add followup loop attributes.

2018-12-12 17:32:52 +00:00

disable_nonforced.ll

[Unroll/UnrollAndJam/Vectorizer/Distribute] Add followup loop attributes.

2018-12-12 17:32:52 +00:00

disable-loop-unrolling_forced.ll

[LoopUnroll] Honor '#pragma unroll' even with -fno-unroll-loops.

2018-12-18 17:16:05 +00:00

ephemeral.ll

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

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

epilog_const_phi.ll

Add test missed in r296770.

2017-03-04 05:20:02 +00:00

followup.ll

[Unroll/UnrollAndJam/Vectorizer/Distribute] Add followup loop attributes.

2018-12-12 17:32:52 +00:00

full-unroll-bad-cost.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-crashers.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics-2.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics-cmp.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics-dce.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics-geps.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics-phi-prop.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

full-unroll-heuristics.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

full-unroll-keep-first-exit.ll

[PM] Simplify the new PM interface to the loop unroller and expose two

2017-01-26 02:13:50 +00:00

high-cost-trip-count-computation.ll

Adds the ability to use an epilog remainder loop during loop unrolling and makes

2016-04-05 12:19:35 +00:00

ignore-annotation-intrinsic-cost.ll

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

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

invalidate_right_loop.ll

[LoopUnroll] Fix dangling pointers in SCEV

2018-03-26 11:31:46 +00:00

loop-remarks-with-hotness.ll

[LoopUnroll] Include hotness of region in opt remark

2016-07-29 19:29:47 +00:00

loop-remarks.ll

[LoopUnroll] Clean up remarks for unroll remainder

2017-10-31 10:47:46 +00:00

not-rotated.ll

[LoopUnroll] Fix a test. REQUIRE should be REQUIRES.

2017-05-12 15:30:58 +00:00

partial-unroll-const-bounds.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

peel-loop2.ll

[LoopUnroll] Remap references in peeled iteration

2017-03-26 16:46:53 +00:00

peel-loop-conditions.ll

Remove LoopID metadata from the branch instruction

2018-09-26 01:03:21 +00:00

peel-loop-irreducible.ll

[LoopUnroll] Don't peel loops where the latch isn't the exiting block

2017-03-16 21:07:48 +00:00

peel-loop-negative.ll

[LoopPeeling] Fix condition for phi-eliminating peeling

2017-04-17 05:38:28 +00:00

peel-loop-not-forced.ll

[LoopUnroll] Make LoopPeeling respect the AllowPeeling preference.

2018-04-06 13:57:21 +00:00

peel-loop-pgo.ll

Use profile summary to disable peeling for huge working sets

2017-08-03 23:42:58 +00:00

peel-loop.ll

[LoopUnroll] allow customization for new-pass-manager version of LoopUnroll

2018-10-31 14:33:14 +00:00

pr10813.ll

ConstantVector returns arbitrary value for the wrong index.

2011-09-02 15:43:43 +00:00

pr11361.ll

Fix tests that didn't test anything.

2012-09-26 09:51:39 +00:00

pr14167.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

pr18861.ll

[Tests] Add one more case to LoopUnroll/pr18861.ll for better coverage.

2015-10-02 19:21:52 +00:00

pr27157.ll

[LoopUnroll] Fix the way we update DT after complete unrolling.

2016-04-06 21:47:12 +00:00

pr28132.ll

[LoopUnroll] Don't crash trying to unroll loop with EH pad exit

2016-06-15 00:19:56 +00:00

pr31718.ll

[LoopUnroll] First form LCSSA, then loop-simplify

2017-01-23 23:45:42 +00:00

pr33437.ll

[LoopUnroll] Make the test for PR33437 actually useful.

2017-08-29 17:24:09 +00:00

rebuild_lcssa.ll

[LoopSimplify] When simplifying phis in loop-simplify, do it only if it preserves LCSSA form.

2016-09-27 21:03:45 +00:00

revisit.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

runtime-epilog-debuginfo.ll

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

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

runtime-li.ll

[LoopUnroll] Properly update loopinfo for runtime unrolling by 2

2017-01-26 01:04:11 +00:00

runtime-loop1.ll

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

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

runtime-loop2.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

runtime-loop3.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

runtime-loop4.ll

[LoopUnroll] Switch the default value of -unroll-runtime-epilog back to its original value.

2016-08-02 21:24:14 +00:00

runtime-loop5.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

runtime-loop-multiexit-dom-verify.ll

[UnrollRuntime] Fix domTree failures in multiexit unrolling

2019-01-08 17:16:25 +00:00

runtime-loop-multiple-exits.ll

[UnrollRuntime] NFC: Updated exiting tests and added more tests

2018-12-28 19:21:50 +00:00

runtime-loop-non-exiting-latch.ll

[LoopUnroll] Add check to Latch's terminator in UnrollRuntimeLoopRemainder

2018-09-25 10:08:47 +00:00

runtime-loop.ll

[LoopUnroll] allow customization for new-pass-manager version of LoopUnroll

2018-10-31 14:33:14 +00:00

runtime-multiexit-heuristic.ll

[RuntimeUnroll] Add heuristic for unrolling multi-exit loop

2017-09-15 15:56:05 +00:00

runtime-unroll-remainder.ll

[ValueTracking] Enabling ValueTracking patch by default

2017-10-20 10:08:47 +00:00

scevunroll.ll

Revert "[IndVarSimplify] Rewrite loop exit values with their initial values from loop preheader"

2015-11-03 07:14:39 +00:00

shifted-tripcount.ll

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

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

tripcount-overflow.ll

[LoopUnroll] Switch the default value of -unroll-runtime-epilog back to its original value.

2016-08-02 21:24:14 +00:00

unloop.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00

unroll-cleanup.ll

[LoopUnroll] Switch the default value of -unroll-runtime-epilog back to its original value.

2016-08-02 21:24:14 +00:00

unroll-cleanuppad.ll

[LoopUnroll] Unroll loops which have exit blocks to EH pads

2016-05-03 03:57:40 +00:00

unroll-count.ll

The patch set unroll disable pragma when unroll

2016-06-08 20:21:24 +00:00

unroll-heuristics-pgo.ll

The patch turns on epilogue unroll for loops with constant recurency start.

2017-03-02 17:38:46 +00:00

unroll-loop-invalidation.ll

Use a BumpPtrAllocator for Loop objects

2017-09-28 02:45:42 +00:00

unroll-maxcount.ll

[LoopUnroll] Fix bug in computeUnrollCount causing it to not honor MaxCount

2017-06-28 17:01:15 +00:00

unroll-opt-attribute.ll

Loop unroller: set thresholds for optsize and minsize functions to zero

2016-05-10 21:45:55 +00:00

unroll-pragmas-disabled.ll

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

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

unroll-pragmas.ll

LoopUnroll: respect pragma unroll when AllowRemainder is disabled

2018-03-02 16:22:32 +00:00

update-loop-info-in-subloops.ll

[PM] Split LoopUnrollPass and make partial unroller a function pass

2017-08-02 20:35:29 +00:00