replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
hanchenye-llvm-project/llvm/test/Analysis/ScalarEvolution
History
Max Kazantsev c01e47b43f [SCEV] Make computeExitLimit more simple and more powerful 
Current implementation of `computeExitLimit` has a big piece of code
the only purpose of which is to prove that after the execution of this
block the latch will be executed. What it currently checks is actually a
subset of situations where the exiting block dominates latch.

This patch replaces all these checks for simple particular cases with
domination check over loop's latch which is the only necessary condition
of taking the exiting block into consideration. This change allows to
calculate exact loop taken count for simple loops like

  for (int i = 0; i < 100; i++) {
    if (cond) {...} else {...}
    if (i > 50) break;
    . . .
  }

Differential Revision: https://reviews.llvm.org/D44677
Reviewed By: efriedma

llvm-svn: 329047
 		2018-04-03 05:57:19 +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
…
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
…
SolveQuadraticEquation.ll
…
ZeroStep.ll [SCEV] createAddRecFromPHI: Optimize for the most common case. 2017-05-03 23:53:38 +00:00
and-xor.ll
…
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
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 [SCEV] Strengthen variance condition in calculateLoopDisposition 2017-11-22 06:21:39 +00:00
div-overflow.ll
…
do-loop.ll
…
exact_iter_count.ll [SCEV] Make computeExitLimit more simple and more powerful 2018-04-03 05:57:19 +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
…
flags-from-poison-dbg.ll
…
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
…
guards.ll Re-enable "[IndVars] Canonicalize comparisons between non-negative values and indvars" 2017-07-08 17:17:30 +00:00
how-far-to-zero.ll
…
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
…
infer-prestart-no-wrap.ll
…
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 instead of local cache for SExt and ZExt 2017-06-30 05:04:09 +00:00
load-with-range-metadata.ll
…
load.ll
…
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-mulops-inline.ll
…
max-trip-count-address-space.ll
…
max-trip-count.ll [SCEV] Make exact taken count calculation more optimistic 2018-03-27 07:30:38 +00:00
min-max-exprs.ll
…
no-wrap-add-exprs.ll
…
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 Revert @llvm.assume with operator bundles (r289755-r289757) 2016-12-19 08:22:17 +00:00
nsw-offset.ll
…
nsw.ll [SCEV] Clarify behavior around max backedge taken count 2017-05-22 06:46:04 +00:00
nw-sub-is-not-nw-add.ll
…
overflow-intrinsics.ll
…
pointer-sign-bits.ll
…
pr3909.ll
…
pr18606-min-zeros.ll [SCEV] Cache results during GetMinTrailingZeros query 2017-02-14 15:53:12 +00:00
pr18606.ll [SCEV] Memoize visitMulExpr results in SCEVRewriteVisitor. 2016-10-21 20:05:21 +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
…
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
predicated-trip-count.ll
…
range-signedness.ll
…
returned.ll
…
scev-aa.ll
…
scev-canonical-mode.ll
…
scev-dispositions.ll
…
scev-expander-existing-value-offset.ll
…
scev-expander-incorrect-nowrap.ll
…
scev-expander-reuse-gep.ll
…
scev-expander-reuse-unroll.ll
…
scev-expander-reuse-vect.ll
…
scev-invalid.ll
…
scev-prestart-nowrap.ll
…
sext-inreg.ll [SCEV] Simplify/generalize howFarToZero solving. 2017-01-31 00:42:42 +00:00
sext-iv-0.ll
…
sext-iv-1.ll
…
sext-iv-2.ll
…
sext-mul.ll Model ashr(shl(x, n), m) as mul(x, 2^(n-m)) when n > m 2017-03-23 18:06:09 +00:00
sext-to-zext.ll
…
sext-zero.ll Model ashr(shl(x, n), m) as mul(x, 2^(n-m)) when n > m 2017-03-23 18:06:09 +00:00
shift-op.ll [SCEV] Fix predicate usage in computeExitLimitFromICmp 2017-12-08 12:19:45 +00:00
sle.ll
…
smax-br-phi-idioms.ll
…
smax.ll
…
trip-count-pow2.ll [SCEV] Clarify behavior around max backedge taken count 2017-05-22 06:46:04 +00:00
trip-count-switch.ll
…
trip-count-unknown-stride.ll
…
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 Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1) 2018-01-19 17:13:12 +00:00
trip-count4.ll
…
trip-count5.ll
…
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] Make exact taken count calculation more optimistic 2018-03-27 07:30:38 +00:00
tripmultiple_calculation.ll [SCEV] Fix trip multiple calculation 2017-03-20 20:25:46 +00:00
truncate.ll [SCEV] Do not insert if it is already in cache 2017-12-27 07:15:23 +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
…
unsimplified-loop.ll
…
urem-0.ll [SCEV] Add URem support to SCEV 2017-09-01 14:59:59 +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