shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Transforms/IndVarSimplify
History
Florian Mayer a1d12e944e
[NFC] [IndVars] test for multiple bounds for predicate-loop-traps 
This can come from loops like

```
for (int i = 0; i < X; ++i) {
  if (i < N)
    __builtin_trap();
  if (i < M)
    __builtin_trap();
  x[i] = y[i];
}
```

Reviewers: nikic

Reviewed By: nikic

Pull Request: https://github.com/llvm/llvm-project/pull/181264
2026-02-13 10:13:31 -08:00
..
AArch64
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
AMDGPU
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
ARM
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
NVPTX
…
X86
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
2002-09-09-PointerIndVar.ll
…
2003-04-16-ExprAnalysis.ll
…
2003-09-23-NotAtTop.ll
…
2003-12-10-RemoveInstrCrash.ll
…
2003-12-15-Crash.ll
…
2004-03-10-PHIInsertionBug.ll
…
2004-04-05-InvokeCastCrash.ll
…
2004-04-07-ScalarEvolutionCrash.ll
…
2005-02-11-InvokeCrash.ll
…
2005-02-17-TruncateExprCrash.ll
…
2005-02-26-ExitValueCompute.ll
…
2005-06-15-InstMoveCrash.ll
…
2005-11-18-Crash.ll
…
2006-03-31-NegativeStride.ll
…
2006-06-16-Indvar-LCSSA-Crash.ll
…
2006-09-20-LFTR-Crash.ll
…
2006-12-10-BitCast.ll
…
2007-01-06-TripCount.ll
…
2007-06-06-DeleteDanglesPtr.ll
…
2007-11-23-BitcastCrash.ll
…
2008-06-15-SCEVExpanderBug.ll
…
2008-09-02-IVType.ll
…
2008-10-03-CouldNotCompute.ll
…
2008-11-25-APFloatAssert.ll
…
2009-04-22-IndvarCrash.ll
…
2009-04-27-Floating.ll
…
2009-05-24-useafterfree.ll
…
2011-09-10-widen-nsw.ll
…
2011-09-19-vectoriv.ll
…
2011-09-27-hoistsext.ll
…
2011-10-27-lftrnull.ll
…
2011-11-01-lftrptr.ll
…
2011-11-17-selfphi.ll
…
2012-10-19-congruent-constant.ll
…
2014-06-21-congruent-constant.ll
…
2020-12-15-trunc-bug-expensive-range-inference.ll
…
ada-loops.ll
…
add-nsw-zext-fold.ll
[SCEV] Add more tests with zext(add C, %var)<nsw>.
2025-06-03 22:03:20 +01:00
addrec_no_exec_on_every_iteration.ll
IR: Promote "denormal-fp-math" to a first class attribute (#174293)
2026-02-05 13:31:26 +00:00
ashr-expansion.ll
…
ashr-tripcount.ll
…
avoid-i0.ll
…
backedge-on-min-max.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
bbi-63564.ll
…
bec-cmp.ll
…
canonicalize-cmp.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
casted-argument.ll
…
casted-trunc.ll
…
checks_against_min_value.ll
…
const_phi.ll
…
constant_result.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
constant-fold.ll
…
crash.ll
…
cycled_phis.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
D108043.ll
…
dangling-use.ll
…
debugloc-rem-subst.ll
[SCEV] Regenerate a subset of auto updated tests
2025-12-02 12:16:53 -08:00
deterministic-sign.ll
…
divide-pointer.ll
…
dont-recompute.ll
[SCEV] Regenerate a subset of auto updated tests
2025-12-02 12:16:53 -08:00
drop-exact.ll
…
elim-extend.ll
…
eliminate-backedge.ll
[IR] Reland Optimize PHINode::removeIncomingValue() and PHINode::removeIncomingValueIf() to use the swapping strategy. (#174274)
2026-01-04 09:24:53 +08:00
eliminate-comparison.ll
…
eliminate-exit-no-dl.ll
…
eliminate-exit.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
eliminate-max.ll
…
eliminate-overflow-modified.ll
…
eliminate-rem.ll
…
eliminate-sat.ll
[SCEV] Regenerate a subset of auto updated tests
2025-12-02 12:16:53 -08:00
exit_value_test2.ll
[IR] Remove size argument from lifetime intrinsics (#150248)
2025-08-08 11:09:34 +02:00
exit_value_test3.ll
[IndVarsSimplify] sinkUnusedInvariants is skipping instructions while sinking. (#135205)
2025-04-17 19:21:18 -05:00
exit_value_tests.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
exit-count-select.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
finite-exit-comparisons.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
floating-point-iv.ll
[IndVarSimplify] Add regression test for recently-added refactor (NFC)
2025-11-28 11:59:46 +01:00
floating-point-small-iv.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
full_widening.ll
…
guards.ll
[SCEV] Move a test into IndVars (#147360)
2025-07-09 13:32:30 +01:00
hoist-wide-inc-for-narrow-use-recompute-flags.ll
…
implied-via-addition.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
indirectbr.ll
…
infer-poison-flags.ll
…
infer-via-ranges.ll
SCEV: re-org a test, regen via UTC (#126237)
2025-02-07 13:19:34 +00:00
interesting-invoke-use.ll
…
invalidate-modified-lcssa-phi.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
iterationCount_zext_or_trunc.ll
…
iv-cmp-sext.ll
[IndVars] Teach widenLoopCompare to use sext if narrow IV is positive and other operand is already sext. (#142703)
2025-06-10 12:52:39 -07:00
iv-ext-samesign.ll
[Reland][SCEV] teach isImpliedViaOperations about samesign (#133711)
2025-04-02 18:45:33 +08:00
iv-fold.ll
…
iv-poison.ll
…
iv-sext.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
iv-widen-elim-ext.ll
…
iv-zext.ll
…
lcssa-preservation.ll
…
lftr_disabled.ll
…
lftr-address-space-pointers.ll
…
lftr-dead-ivs.ll
…
lftr-multi-exit.ll
…
lftr-pr20680.ll
…
lftr-pr31181.ll
…
lftr-pr41998.ll
…
lftr-promote.ll
…
lftr-reuse.ll
…
lftr.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
loop_evaluate7.ll
…
loop_evaluate8.ll
…
loop_evaluate9.ll
…
loop_evaluate11.ll
…
loop_evaluate_1.ll
…
loop_evaluate_2.ll
…
loop_evaluate_3.ll
…
loop_evaluate_4.ll
…
loop_evaluate_5.ll
…
loop_evaluate_6.ll
…
loop-guard-order.ll
[SCEV] Improve handling of divisibility information from loop guards. (#163021)
2025-11-02 14:16:24 +00:00
loop-predication.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
lrev-existing-umin.ll
…
masked-iv.ll
…
monotonic_checks.ll
[SCEV] Regenerate a subset of auto updated tests
2025-12-02 12:16:53 -08:00
negative_ranges.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
no-iv-rewrite.ll
…
opaque-ptr.ll
…
outer_phi.ll
…
phi-select.ll
…
phi-uses-value-multiple-times.ll
…
pointer-loop-guards.ll
[SCEV] Rewrite A - B = UMin(1, A - B) lazily for A != B loop guards. (#163787)
2025-10-18 13:32:40 +01:00
post-inc-range.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr18223.ll
…
pr22222.ll
…
pr24783.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
pr24952.ll
…
pr25060.ll
…
pr25578.ll
…
pr26974.ll
…
pr28705.ll
…
pr30806-phi-scev.ll
…
pr32045.ll
…
pr38674.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr38855.ll
…
pr39673.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr40454.ll
…
pr45835.ll
…
pr50506.ll
…
pr55689.ll
…
pr55925.ll
…
pr56242.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr57247.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr58702-invalidate-scev-when-replacing-congruent-phis.ll
…
pr59633.ll
…
pr60944.ll
…
pr62992.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
pr63763.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
pr64891.ll
…
pr66066.ll
…
pr66986.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
pr68260.ll
…
pr79861.ll
…
pr102597.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
pr106239.ll
…
pr116483.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
pr117133.ll
…
pr126012.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
pr126409.ll
[Reland][SCEV] teach isImpliedViaOperations about samesign (#133711)
2025-04-02 18:45:33 +08:00
pr135182.ll
[IndVarSimplify] Handle the case where both operands are the same when widening IV (#135207)
2025-04-11 09:03:06 +08:00
predicated_ranges.ll
…
preserve-memoryssa.ll
…
preserve-nsw-during-expansion.ll
…
preserve-signed-wrap.ll
…
preserving-debugloc-rem-div.ll
…
preserving-debugloc-sat-overflow.ll
…
preserving-debugloc.ll
[IndVarSimplify] Set samesign when converting signed comparison to unsigned comparison in eliminateIVComparison. (#138215)
2025-05-02 08:17:45 -07:00
promote-iv-to-eliminate-casts.ll
…
ptrtoint-global-cmp.ll
…
range-iter-threshold.ll
…
replace-loop-exit-folds.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
replace-sdiv-by-udiv.ll
…
replace-srem-by-urem.ll
…
rewrite-loop-exit-value.ll
…
rewrite-loop-exit-values-phi.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
rlev-add-me.ll
…
scev-expander-preserve-lcssa.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
scev-invalidation.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
scev-update-loop-opt.ll
[IndVarSimplify] Add safety check for getTruncateExpr in genLoopLimit (#181296)
2026-02-13 05:52:34 +00:00
scevexpander-phi-base-case.ll
…
sentinel.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
shared-exit-between-nested-loop.ll
…
sharpen-range.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
shift-range-checks.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
shrunk-constant.ll
…
signed-trip-count.ll
…
simplify-icmp-operands-order.ll
[SCEV] Better preserve wrapping info in SimplifyICmpOperands for UGE. (#144404)
2025-06-17 15:30:08 +01:00
simplify-pointer-arithmetic.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
single-element-range.ll
…
sink-alloca.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
sink-from-preheader.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
sink-trapping.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
skip-predication-convergence.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
skip-predication-nested-convergence.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
strengthen-overflow.ll
…
trip-count-expansion-loop-guard-preserve-nsw.ll
…
tripcount_compute.ll
…
tripcount_infinite.ll
…
trivial-checks.ll
…
trivial-guard.ll
…
turn-to-invariant.ll
[SCEV] Discard samesign when analyzing loop invariant exits (#181171)
2026-02-13 12:23:31 +01:00
udiv-invariant-but-traps.ll
…
udiv.ll
…
ult-sub-to-eq.ll
…
unreachable-exit.ll
[NFC] [IndVars] test for multiple bounds for predicate-loop-traps
2026-02-13 10:13:31 -08:00
use-range-metadata.ll
…
variable-stride-ivs-0.ll
…
widen-i32-i8ptr.ll
…
widen-nonnegative-countdown.ll
[IndVars] Strengthen inference of samesign flags (#170363)
2025-12-03 16:16:22 +00:00
widen-nonnegative.ll
…
zext-nuw.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00