llvm-project/llvm/test/Analysis/ScalarEvolution
Florian Hahn 4c11b5268c [LoopUnroll] Add support for loops with exiting headers and uncond latches.
This patch generalizes the UnrollLoop utility to support loops that exit
from the header instead of the latch. Usually, LoopRotate would take care
of must of those cases, but in some cases (e.g. -Oz), LoopRotate does
not kick in.

Codesize impact looks relatively neutral on ARM64 with -Oz + LTO.

Program                                         master     patch     diff
 External/S.../CFP2006/447.dealII/447.dealII   629060.00  627676.00  -0.2%
 External/SPEC/CINT2000/176.gcc/176.gcc        1245916.00 1244932.00 -0.1%
 MultiSourc...Prolangs-C/simulator/simulator   86100.00   86156.00    0.1%
 MultiSourc...arks/Rodinia/backprop/backprop   66212.00   66252.00    0.1%
 MultiSourc...chmarks/Prolangs-C++/life/life   67276.00   67312.00    0.1%
 MultiSourc...s/Prolangs-C/compiler/compiler   69824.00   69788.00   -0.1%
 MultiSourc...Prolangs-C/assembler/assembler   86672.00   86696.00    0.0%

Reviewers: efriedma, vsk, paquette

Reviewed By: paquette

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

llvm-svn: 364398
2019-06-26 09:16:57 +00:00
..
2007-07-15-NegativeStride.ll
2007-08-06-MisinterpretBranch.ll
2007-08-06-Unsigned.ll
2007-09-27-LargeStepping.ll
2007-11-14-SignedAddRec.ll
2007-11-18-OrInstruction.ll
2008-02-11-ReversedCondition.ll
2008-02-12-SMAXTripCount.ll
2008-02-15-UMax.ll
2008-05-25-NegativeStepToZero.ll
2008-06-12-BinomialInt64.ll
2008-07-12-UnneededSelect1.ll
2008-07-12-UnneededSelect2.ll
2008-07-19-InfiniteLoop.ll
2008-07-19-WrappingIV.ll
2008-07-29-SGTTripCount.ll
2008-07-29-SMinExpr.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
2008-08-04-IVOverflow.ll
2008-08-04-LongAddRec.ll
2008-11-02-QuadraticCrash.ll
2008-11-15-CubicOOM.ll
2008-11-18-LessThanOrEqual.ll
2008-11-18-Stride1.ll
2008-11-18-Stride2.ll
2008-12-08-FiniteSGE.ll
2008-12-11-SMaxOverflow.ll
2008-12-14-StrideAndSigned.ll
2008-12-15-DontUseSDiv.ll
2009-01-02-SignedNegativeStride.ll
2009-04-22-TruncCast.ll
2009-05-09-PointerEdgeCount.ll
2009-07-04-GroupConstantsWidthMismatch.ll
2010-09-03-RequiredTransitive.ll
2011-03-09-ExactNoMaxBECount.ll
2011-04-26-FoldAddRec.ll [PM] Clean up the testing for IVUsers, especially with the new PM. 2017-01-15 09:29:27 +00:00
2011-10-04-ConstEvolve.ll
2012-03-26-LoadConstant.ll
2012-05-18-LoopPredRecurse.ll [PM] Clean up the testing for IVUsers, especially with the new PM. 2017-01-15 09:29:27 +00:00
2012-05-29-MulAddRec.ll [SimplifyIndVars] Ignore dead users 2018-06-13 02:25:32 +00:00
SolveQuadraticEquation.ll
ZeroStep.ll [SCEV] createAddRecFromPHI: Optimize for the most common case. 2017-05-03 23:53:38 +00:00
and-xor.ll [SCEV] Simplify zext/trunc idiom that appears when handling bitmasks. 2018-06-14 17:13:48 +00:00
avoid-assume-hang.ll
avoid-infinite-recursion-0.ll
avoid-infinite-recursion-1.ll [PM] Clean up the testing for IVUsers, especially with the new PM. 2017-01-15 09:29:27 +00:00
avoid-smax-0.ll
avoid-smax-1.ll Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1) 2018-01-19 17:13:12 +00:00
binomial-explision.ll [SCEV] Avoid redundant computations when doing AddRec merge 2018-11-01 06:18:27 +00:00
cache_loop_exit_limit.ll [SCEV] Re-enable "Cache results of computeExitLimit" 2017-08-03 08:41:30 +00:00
constant_condition.ll
different-loops-recs.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
div-overflow.ll
do-loop.ll
exact-exit-count-more-precise.ll [SCEV] Handle case where MaxBECount is less precise than ExactBECount for OR. 2019-03-02 02:31:44 +00:00
exact_iter_count.ll Re-enable "[SCEV] Make computeExitLimit more simple and more powerful" 2018-05-03 02:37:55 +00:00
exhaustive-trip-counts.ll
expander-replace-congruent-ivs.ll
exponential-behavior.ll [SCEV] Fix exponential time complexity by caching 2017-04-24 00:09:46 +00:00
ext-antecedent.ll
extract-highbits-sameconstmask.ll [SCEV] Use unsigned/signed intersection type in SCEV 2019-06-15 09:15:52 +00:00
extract-highbits-variablemask.ll [NFC][SCEV] Add tests related to bit masking (PR37793) 2018-06-20 07:54:11 +00:00
extract-lowbits-sameconstmask.ll [NFC][SCEV] Add tests related to bit masking (PR37793) 2018-06-20 07:54:11 +00:00
extract-lowbits-variablemask.ll [NFC][SCEV] Add tests related to bit masking (PR37793) 2018-06-20 07:54:11 +00:00
flags-from-poison-dbg.ll [DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label. 2018-05-09 02:40:45 +00:00
flags-from-poison.ll [SCEV] Preserve NSW information for sext(subtract). 2017-08-04 20:19:46 +00:00
flattened-0.ll [SCEV] Add URem support to SCEV 2017-09-01 14:59:59 +00:00
fold.ll Fix incorrect CHECK-LABEL 2018-06-11 19:56:12 +00:00
guards.ll [SimplifyIndVars] Ignore dead users 2018-06-13 02:25:32 +00:00
how-far-to-zero.ll
huge_expression_limit.ll [SCEV] Prohibit SCEV transformations for huge SCEVs 2019-01-31 06:19:25 +00:00
implied-via-addition.ll [ScalarEvolution] Re-enable Predicate implication from operations 2017-03-31 12:05:30 +00:00
implied-via-division.ll [ScalarEvolution] Re-enable Predicate implication from operations 2017-03-31 12:05:30 +00:00
incorrect-nsw.ll
increasing-or-decreasing-iv.ll [SCEV] Use unsigned/signed intersection type in SCEV 2019-06-15 09:15:52 +00:00
infer-prestart-no-wrap.ll [SCEV] Use unsigned/signed intersection type in SCEV 2019-06-15 09:15:52 +00:00
infer-via-ranges.ll
inner-loop-by-latch-cond-unknown.ll [SCEV] Re-land: Fix isKnownPredicate 2018-03-19 06:35:30 +00:00
invalidation.ll [PM] The assumption cache is fundamentally designed to be self-updating, 2017-01-15 00:26:18 +00:00
latch-dominating-conditions.ll
limit-depth.ll [SCEV] Use depth limit for trunc analysis 2019-03-12 18:28:05 +00:00
load-with-range-metadata.ll
load.ll
lshr-shl-differentconstmask.ll [SCEV] Use unsigned/signed intersection type in SCEV 2019-06-15 09:15:52 +00:00
max-addops-inline.ll [SCEV] Introduce add operation inlining limit 2017-01-26 13:33:17 +00:00
max-addrec-size.ll [SCEV] Limit max size of AddRecExpr during evolving 2017-07-23 15:40:19 +00:00
max-be-count-not-constant.ll [SCEV] Fix an assertion failure in the max backedge taken count 2017-10-25 21:41:00 +00:00
max-expr-cache.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
max-mulops-inline.ll [SCEV] Add a threshold to restrict number of mul operands to be inlined into SCEV 2016-10-20 21:38:39 +00:00
max-trip-count-address-space.ll [SCEV] Simplify trunc-of-add/mul to add/mul-of-trunc under more circumstances. 2018-06-14 17:13:35 +00:00
max-trip-count.ll [SCEV] Make exact taken count calculation more optimistic 2018-03-27 07:30:38 +00:00
merge-add-rec-many-inputs.ll Fix overconfident assert in ScalarEvolution::isImpliedViaMerge 2018-06-29 11:46:30 +00:00
min-max-exprs.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
no-wrap-add-exprs.ll [SCEV] Add zext(C + x + ...) -> D + zext(C-D + x + ...)<nuw><nsw> transform 2018-07-24 21:48:56 +00:00
no-wrap-unknown-becount.ll Revert @llvm.assume with operator bundles (r289755-r289757) 2016-12-19 08:22:17 +00:00
non-IV-phi.ll
nowrap-preinc-limits.ll
nsw-offset-assume.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
nsw-offset.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
nsw.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
nw-sub-is-not-nw-add.ll
overflow-intrinsics.ll
pointer-sign-bits.ll
pr3909.ll
pr18606-min-zeros.ll Fixed typos in tests: s/CEHCK/CHECK/ 2019-02-25 13:12:33 +00:00
pr18606.ll Fixed typos in tests: s/CEHCK/CHECK/ 2019-02-25 13:12:33 +00:00
pr22179.ll
pr22641.ll
pr22674.ll
pr22856.ll
pr24757.ll [SCEV] Make getUDivExactExpr handle non-nuw multiplies correctly. 2017-01-18 23:56:42 +00:00
pr25369.ll
pr27315.ll
pr28705.ll Return "[IndVars] Smart hard uses detection" 2018-11-08 11:54:35 +00:00
pr34538.ll [SCEV] Handling for ICmp occuring in the evolution chain. 2017-11-13 16:43:24 +00:00
pr35890.ll [SCEV] Make getPostIncExpr guaranteed to return AddRec 2018-02-12 05:09:38 +00:00
pr40420.ll [SCEV] Take correct loop in AddRec simplification. PR40420 2019-01-29 05:37:59 +00:00
predicated-trip-count.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
range-signedness.ll
returned.ll
scev-aa.ll
scev-canonical-mode.ll
scev-dispositions.ll
scev-expander-existing-value-offset.ll Recommit "Use ValueOffsetPair to enhance value reuse during SCEV expansion". 2016-08-09 20:37:50 +00:00
scev-expander-incorrect-nowrap.ll
scev-expander-reuse-gep.ll Create a getelementptr instead of sub expr for ValueOffsetPair if the 2016-09-14 04:39:50 +00:00
scev-expander-reuse-unroll.ll [LoopUnroll] Add support for loops with exiting headers and uncond latches. 2019-06-26 09:16:57 +00:00
scev-expander-reuse-vect.ll [UNROLL] Postpone ScalarEvolution::forgetLoop after TripCountSC is expanded 2016-08-25 16:17:18 +00:00
scev-invalid.ll
scev-prestart-nowrap.ll
sext-inreg.ll [SCEV] Simplify trunc-of-add/mul to add/mul-of-trunc under more circumstances. 2018-06-14 17:13:35 +00:00
sext-iv-0.ll
sext-iv-1.ll
sext-iv-2.ll
sext-mul.ll [SCEV] Use unsigned/signed intersection type in SCEV 2019-06-15 09:15:52 +00:00
sext-to-zext.ll
sext-zero.ll Revert "[SCEV] Add nuw/nsw to mul ops in StrengthenNoWrapFlags" 2018-06-19 04:09:44 +00:00
shift-op.ll [SCEV] Fix predicate usage in computeExitLimitFromICmp 2017-12-08 12:19:45 +00:00
shl-lshr-differentconstmask.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
sle.ll
smax-br-phi-idioms.ll [SCEV] Don't infinitely recurse on unreachable code 2016-08-05 18:34:14 +00:00
smax.ll
solve-quadratic-i1.ll [SCEV] Properly solve quadratic equations 2018-08-02 19:13:35 +00:00
solve-quadratic-overflow.ll [SCEV] Properly solve quadratic equations 2018-08-02 19:13:35 +00:00
solve-quadratic.ll [test] Fix ScalarEvolution test to allow __func__ with prototype 2018-12-02 16:49:28 +00:00
strip-injective-zext.ll [SCEV] Simplify trunc-of-add/mul to add/mul-of-trunc under more circumstances. 2018-06-14 17:13:35 +00:00
trip-count-pow2.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
trip-count-switch.ll
trip-count-unknown-stride.ll Reapplying r278731 after fixing the problem that caused it to be reverted. 2016-09-16 14:38:13 +00:00
trip-count.ll Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1) 2018-01-19 17:13:12 +00:00
trip-count2.ll
trip-count3.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
trip-count4.ll
trip-count5.ll [SCEV] Un-grep'ify tests; NFC 2016-08-05 20:33:49 +00:00
trip-count6.ll
trip-count7.ll
trip-count8.ll
trip-count9.ll
trip-count10.ll
trip-count11.ll
trip-count12.ll
trip-count13.ll [LoopUnroll] Keep the loop test only on the first iteration of max-or-zero loops 2016-10-21 11:08:48 +00:00
trip-count14.ll [SCEV] Add explicit representations of umin/smin 2019-05-07 15:28:47 +00:00
tripmultiple_calculation.ll [SCEV] Fix trip multiple calculation 2017-03-20 20:25:46 +00:00
trunc-simplify.ll [SCEV] Simplify trunc-of-add/mul to add/mul-of-trunc under more circumstances. 2018-06-14 17:13:35 +00:00
truncate.ll [SCEV] Fix buggy behavior in getAddExpr with truncs 2018-07-19 01:46:21 +00:00
undefined.ll
unknown_phis.ll [SCEV] Smart range calculation for SCEVUnknown Phis 2018-03-01 06:56:48 +00:00
unreachable-code.ll [SCEV] Do not bother creating separate SCEVUnknown for unreachable nodes 2019-02-04 05:04:19 +00:00
unsimplified-loop.ll
urem-0.ll [SCEV] Add URem support to SCEV 2017-09-01 14:59:59 +00:00
zext-divrem.ll [SCEV] Re-apply r335197 (with Polly fixes). 2018-06-21 21:29:54 +00:00
zext-mul.ll Re-apply "[SCEV] Strengthen StrengthenNoWrapFlags (reapply r334428)." 2018-07-13 23:58:46 +00:00
zext-signed-addrec.ll
zext-wrap.ll [SCEV] Compute affine range in another way to avoid bitwidth extending. 2017-03-16 21:07:38 +00:00