| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 2007-07-15-NegativeStride.ll | 2025-07-15 07:15 | 1.1K | ||
| 2007-08-06-MisinterpretBranch.ll | 2025-07-15 07:15 | 1.0K | ||
| 2007-08-06-Unsigned.ll | 2025-07-15 07:15 | 1.4K | ||
| 2007-09-27-LargeStepping.ll | 2025-07-15 07:15 | 1.1K | ||
| 2007-11-14-SignedAddRec.ll | 2025-07-15 07:15 | 607 | ||
| 2007-11-18-OrInstruction.ll | 2025-07-15 07:15 | 461 | ||
| 2008-02-11-ReversedCondition.ll | 2025-07-15 07:15 | 399 | ||
| 2008-02-12-SMAXTripCount.ll | 2025-07-15 07:15 | 409 | ||
| 2008-02-15-UMax.ll | 2025-07-15 07:15 | 409 | ||
| 2008-05-25-NegativeStepToZero.ll | 2025-07-15 07:15 | 1.0K | ||
| 2008-06-12-BinomialInt64.ll | 2025-07-15 07:15 | 1.6K | ||
| 2008-07-12-UnneededSelect1.ll | 2025-07-15 07:15 | 1.2K | ||
| 2008-07-12-UnneededSelect2.ll | 2025-07-15 07:15 | 1.0K | ||
| 2008-07-19-InfiniteLoop.ll | 2025-07-15 07:15 | 406 | ||
| 2008-07-19-WrappingIV.ll | 2025-07-15 07:15 | 859 | ||
| 2008-07-29-SGTTripCount.ll | 2025-07-15 07:15 | 791 | ||
| 2008-07-29-SMinExpr.ll | 2025-07-15 07:15 | 818 | ||
| 2008-08-04-IVOverflow.ll | 2025-07-15 07:15 | 483 | ||
| 2008-08-04-LongAddRec.ll | 2025-07-15 07:15 | 2.3K | ||
| 2008-11-02-QuadraticCrash.ll | 2025-07-15 07:15 | 523 | ||
| 2008-11-15-CubicOOM.ll | 2025-07-15 07:15 | 533 | ||
| 2008-11-18-LessThanOrEqual.ll | 2025-07-15 07:15 | 914 | ||
| 2008-11-18-Stride1.ll | 2025-07-15 07:15 | 1.6K | ||
| 2008-11-18-Stride2.ll | 2025-07-15 07:15 | 1.8K | ||
| 2008-12-08-FiniteSGE.ll | 2025-07-15 07:15 | 1.4K | ||
| 2008-12-11-SMaxOverflow.ll | 2025-07-15 07:15 | 774 | ||
| 2008-12-14-StrideAndSigned.ll | 2025-07-15 07:15 | 613 | ||
| 2008-12-15-DontUseSDiv.ll | 2025-07-15 07:15 | 551 | ||
| 2009-01-02-SignedNegativeStride.ll | 2025-07-15 07:15 | 1.1K | ||
| 2009-04-22-TruncCast.ll | 2025-07-15 07:15 | 1.3K | ||
| 2009-05-09-PointerEdgeCount.ll | 2025-07-15 07:15 | 1.5K | ||
| 2009-07-04-GroupConstantsWidthMismatch.ll | 2025-07-15 07:15 | 391 | ||
| 2010-09-03-RequiredTransitive.ll | 2025-07-15 07:15 | 964 | ||
| 2011-03-09-ExactNoMaxBECount.ll | 2025-07-15 07:15 | 1.2K | ||
| 2011-04-26-FoldAddRec.ll | 2025-07-15 07:15 | 1.0K | ||
| 2011-10-04-ConstEvolve.ll | 2025-07-15 07:15 | 1.2K | ||
| 2012-03-26-LoadConstant.ll | 2025-07-15 07:15 | 1.5K | ||
| 2012-05-18-LoopPredRecurse.ll | 2025-07-15 07:15 | 1.0K | ||
| 2012-05-29-MulAddRec.ll | 2025-07-15 07:15 | 1.9K | ||
| SolveQuadraticEquation.ll | 2025-07-15 07:15 | 4.2K | ||
| ZeroStep.ll | 2025-07-15 07:15 | 1.2K | ||
| abs-intrinsic.ll | 2025-07-15 07:15 | 938 | ||
| add-expr-pointer-operand-sorting.ll | 2025-07-15 07:15 | 4.8K | ||
| add-like-or.ll | 2025-07-15 07:15 | 4.0K | ||
| addrec-computed-during-addrec-calculation.ll | 2025-07-15 07:15 | 3.9K | ||
| addrec-sub-nsw.ll | 2025-07-15 07:15 | 3.5K | ||
| alloca.ll | 2025-07-15 07:15 | 3.2K | ||
| and-xor.ll | 2025-07-15 07:15 | 1.0K | ||
| annotation-intrinsics.ll | 2025-07-15 07:15 | 1.1K | ||
| ashr.ll | 2025-07-15 07:15 | 2.5K | ||
| avoid-assume-hang.ll | 2025-07-15 07:15 | 3.2K | ||
| avoid-infinite-recursion-0.ll | 2025-07-15 07:15 | 1.1K | ||
| avoid-infinite-recursion-1.ll | 2025-07-15 07:15 | 20K | ||
| avoid-smax-0.ll | 2025-07-15 07:15 | 811 | ||
| avoid-smax-1.ll | 2025-07-15 07:15 | 8.1K | ||
| backedge-taken-count-guard-info-with-multiple-predecessors.ll | 2025-07-15 07:15 | 11K | ||
| backedge-taken-count-guard-info.ll | 2025-07-15 07:15 | 4.7K | ||
| becount-invalidation.ll | 2025-07-15 07:15 | 4.2K | ||
| binomial-explision.ll | 2025-07-15 07:15 | 1.5K | ||
| cache_loop_exit_limit.ll | 2025-07-15 07:15 | 12K | ||
| constant_condition.ll | 2025-07-15 07:15 | 1.3K | ||
| cycled_phis.ll | 2025-07-15 07:15 | 6.8K | ||
| decrementing_addrecs.ll | 2025-07-15 07:15 | 6.0K | ||
| different-loops-recs.ll | 2025-07-15 07:15 | 83K | ||
| div-overflow.ll | 2025-07-15 07:15 | 274 | ||
| do-loop.ll | 2025-07-15 07:15 | 546 | ||
| exact-exit-count-more-precise.ll | 2025-07-15 07:15 | 3.8K | ||
| exact_iter_count.ll | 2025-07-15 07:15 | 2.2K | ||
| exhaustive-trip-counts.ll | 2025-07-15 07:15 | 5.7K | ||
| exit-count-non-strict.ll | 2025-07-15 07:15 | 21K | ||
| exit-count-samesign.ll | 2025-07-15 07:15 | 1.8K | ||
| exit-count-select-safe.ll | 2025-07-15 07:15 | 68K | ||
| exit-count-select.ll | 2025-07-15 07:15 | 12K | ||
| expander-replace-congruent-ivs.ll | 2025-07-15 07:15 | 2.3K | ||
| exponential-behavior.ll | 2025-07-15 07:15 | 2.1K | ||
| ext-antecedent.ll | 2025-07-15 07:15 | 1.0K | ||
| ext_min_max.ll | 2025-07-15 07:15 | 7.8K | ||
| extract-highbits-sameconstmask.ll | 2025-07-15 07:15 | 2.1K | ||
| extract-highbits-variablemask.ll | 2025-07-15 07:15 | 2.5K | ||
| extract-lowbits-sameconstmask.ll | 2025-07-15 07:15 | 1.7K | ||
| extract-lowbits-variablemask.ll | 2025-07-15 07:15 | 3.5K | ||
| finite-trip-count.ll | 2025-07-15 07:15 | 11K | ||
| flags-from-poison-dbg.ll | 2025-07-15 07:15 | 3.5K | ||
| flags-from-poison-noautogen.ll | 2025-07-15 07:15 | 3.1K | ||
| flags-from-poison.ll | 2025-07-15 07:15 | 112K | ||
| flattened-0.ll | 2025-07-15 07:15 | 563 | ||
| fold.ll | 2025-07-15 07:15 | 9.5K | ||
| how-far-to-zero.ll | 2025-07-15 07:15 | 1.0K | ||
| huge-trip-multiple.ll | 2025-07-15 07:15 | 7.1K | ||
| huge_expression_limit.ll | 2025-07-15 07:15 | 1.8K | ||
| implied-via-addition.ll | 2025-07-15 07:15 | 3.9K | ||
| implied-via-division.ll | 2025-07-15 07:15 | 19K | ||
| incorrect-exit-count.ll | 2025-07-15 07:15 | 9.6K | ||
| incorrect-nsw.ll | 2025-07-15 07:15 | 723 | ||
| increasing-or-decreasing-iv.ll | 2025-07-15 07:15 | 21K | ||
| infer-prestart-no-wrap.ll | 2025-07-15 07:15 | 10K | ||
| infer-via-ranges.ll | 2025-07-15 07:15 | 1.4K | ||
| inner-loop-by-latch-cond-unknown.ll | 2025-07-15 07:15 | 1.2K | ||
| invalidation.ll | 2025-07-15 07:15 | 2.5K | ||
| iv-poison.ll | 2025-07-15 07:15 | 19K | ||
| latch-dominating-conditions.ll | 2025-07-15 07:15 | 1.4K | ||
| limit-depth.ll | 2025-07-15 07:15 | 4.4K | ||
| load-with-range-metadata.ll | 2025-07-15 07:15 | 1.7K | ||
| load.ll | 2025-07-15 07:15 | 6.7K | ||
| logical-operations.ll | 2025-07-15 07:15 | 38K | ||
| lshr-shl-differentconstmask.ll | 2025-07-15 07:15 | 5.3K | ||
| lt-overflow.ll | 2025-07-15 07:15 | 6.8K | ||
| malloc.ll | 2025-07-15 07:15 | 1.3K | ||
| max-addops-inline.ll | 2025-07-15 07:15 | 771 | ||
| max-addrec-size.ll | 2025-07-15 07:15 | 1.5K | ||
| max-backedge-taken-count-guard-info-operand-order.ll | 2025-07-15 07:15 | 12K | ||
| max-backedge-taken-count-guard-info-rewrite-expressions.ll | 2025-07-15 07:15 | 46K | ||
| max-backedge-taken-count-guard-info.ll | 2025-07-15 07:15 | 78K | ||
| max-backedge-taken-count-limit-by-wrapping.ll | 2025-07-15 07:15 | 3.3K | ||
| max-be-count-not-constant.ll | 2025-07-15 07:15 | 1.9K | ||
| max-expr-cache.ll | 2025-07-15 07:15 | 32K | ||
| max-mulops-inline.ll | 2025-07-15 07:15 | 1.1K | ||
| max-trip-count-address-space.ll | 2025-07-15 07:15 | 2.9K | ||
| max-trip-count.ll | 2025-07-15 07:15 | 23K | ||
| merge-add-rec-many-inputs.ll | 2025-07-15 07:15 | 5.7K | ||
| min-max-exprs.ll | 2025-07-15 07:15 | 9.9K | ||
| minmax-intrinsics.ll | 2025-07-15 07:15 | 2.2K | ||
| mul.ll | 2025-07-15 07:15 | 2.5K | ||
| multiple-max-iterations.ll | 2025-07-15 07:15 | 196 | ||
| ne-overflow.ll | 2025-07-15 07:15 | 18K | ||
| no-follow-alias.ll | 2025-07-15 07:15 | 939 | ||
| no-wrap-add-exprs.ll | 2025-07-15 07:15 | 18K | ||
| no-wrap-symbolic-becount.ll | 2025-07-15 07:15 | 8.9K | ||
| no-wrap-unknown-becount.ll | 2025-07-15 07:15 | 15K | ||
| non-IV-phi.ll | 2025-07-15 07:15 | 1.4K | ||
| nowrap-preinc-limits.ll | 2025-07-15 07:15 | 1.1K | ||
| nsw-offset-assume.ll | 2025-07-15 07:15 | 7.1K | ||
| nsw-offset.ll | 2025-07-15 07:15 | 6.8K | ||
| nsw.ll | 2025-07-15 07:15 | 24K | ||
| nw-sub-is-not-nw-add.ll | 2025-07-15 07:15 | 944 | ||
| outer_phi.ll | 2025-07-15 07:15 | 6.1K | ||
| overflow-intrinsics-trip-count.ll | 2025-07-15 07:15 | 16K | ||
| overflow-intrinsics.ll | 2025-07-15 07:15 | 11K | ||
| pointer-rounding.ll | 2025-07-15 07:15 | 9.5K | ||
| pointer-select.ll | 2025-07-15 07:15 | 14K | ||
| pointer-sign-bits.ll | 2025-07-15 07:15 | 8.3K | ||
| pr3909.ll | 2025-07-15 07:15 | 895 | ||
| pr18606-min-zeros.ll | 2025-07-15 07:15 | 1.7K | ||
| pr18606.ll | 2025-07-15 07:15 | 2.5K | ||
| pr22179.ll | 2025-07-15 07:15 | 806 | ||
| pr22641.ll | 2025-07-15 07:15 | 634 | ||
| pr22674.ll | 2025-07-15 07:15 | 5.5K | ||
| pr22856.ll | 2025-07-15 07:15 | 958 | ||
| pr24757.ll | 2025-07-15 07:15 | 1.0K | ||
| pr25369.ll | 2025-07-15 07:15 | 4.1K | ||
| pr27315.ll | 2025-07-15 07:15 | 929 | ||
| pr34538.ll | 2025-07-15 07:15 | 1.8K | ||
| pr35890.ll | 2025-07-15 07:15 | 1.0K | ||
| pr40420.ll | 2025-07-15 07:15 | 1.8K | ||
| pr44605.ll | 2025-07-15 07:15 | 2.7K | ||
| pr46786.ll | 2025-07-15 07:15 | 6.9K | ||
| pr48225.ll | 2025-07-15 07:15 | 4.6K | ||
| pr49856.ll | 2025-07-15 07:15 | 842 | ||
| pr51869-scalar-evolution-prove-implications-via-truncation.ll | 2025-07-15 07:15 | 6.9K | ||
| pr58402-large-number-of-zext-exprs.ll | 2025-07-15 07:15 | 19K | ||
| pr62380.ll | 2025-07-15 07:15 | 3.7K | ||
| pr62430.ll | 2025-07-15 07:15 | 2.1K | ||
| pr76234.ll | 2025-07-15 07:15 | 1.5K | ||
| pr87798.ll | 2025-07-15 07:15 | 3.5K | ||
| pr92560.ll | 2025-07-15 07:15 | 7.9K | ||
| pr116483.ll | 2025-07-15 07:15 | 1.1K | ||
| pr117133.ll | 2025-07-15 07:15 | 5.0K | ||
| pr123550.ll | 2025-07-15 07:15 | 2.6K | ||
| pr135531.ll | 2025-07-15 07:15 | 1.0K | ||
| predicated-exit-count.ll | 2025-07-15 07:15 | 2.9K | ||
| predicated-max-backedge-taken-count-guard-info.ll | 2025-07-15 07:15 | 6.9K | ||
| predicated-symbolic-max-backedge-taken-count.ll | 2025-07-15 07:15 | 4.2K | ||
| predicated-trip-count.ll | 2025-07-15 07:15 | 5.6K | ||
| ptrtoint-constantexpr-loop.ll | 2025-07-15 07:15 | 27K | ||
| ptrtoint-global.ll | 2025-07-15 07:15 | 9.5K | ||
| ptrtoint.ll | 2025-07-15 07:15 | 33K | ||
| range-attribute.ll | 2025-07-15 07:15 | 2.5K | ||
| range-signedness.ll | 2025-07-15 07:15 | 2.2K | ||
| range_nw_flag.ll | 2025-07-15 07:15 | 13K | ||
| ranges.ll | 2025-07-15 07:15 | 20K | ||
| returned.ll | 2025-07-15 07:15 | 561 | ||
| saturating-intrinsics.ll | 2025-07-15 07:15 | 2.6K | ||
| scalable-vector.ll | 2025-07-15 07:15 | 6.1K | ||
| scev-aa.ll | 2025-07-15 07:15 | 11K | ||
| scev-canonical-mode.ll | 2025-07-15 07:15 | 1.5K | ||
| scev-dispositions.ll | 2025-07-15 07:15 | 2.5K | ||
| scev-expander-existing-value-offset.ll | 2025-07-15 07:15 | 1.8K | ||
| scev-expander-incorrect-nowrap.ll | 2025-07-15 07:15 | 729 | ||
| scev-expander-reuse-gep.ll | 2025-07-15 07:15 | 1.3K | ||
| scev-expander-reuse-unroll.ll | 2025-07-15 07:15 | 1.4K | ||
| scev-expander-reuse-vect.ll | 2025-07-15 07:15 | 1.5K | ||
| scev-invalid.ll | 2025-07-15 07:15 | 834 | ||
| scev-prestart-nowrap.ll | 2025-07-15 07:15 | 2.3K | ||
| sdiv.ll | 2025-07-15 07:15 | 3.9K | ||
| sext-add-inreg-loop.ll | 2025-07-15 07:15 | 3.0K | ||
| sext-add-inreg-unequal.ll | 2025-07-15 07:15 | 2.3K | ||
| sext-add-inreg.ll | 2025-07-15 07:15 | 1.8K | ||
| sext-inreg.ll | 2025-07-15 07:15 | 1.2K | ||
| sext-iv-0.ll | 2025-07-15 07:15 | 1.6K | ||
| sext-iv-1.ll | 2025-07-15 07:15 | 3.9K | ||
| sext-iv-2.ll | 2025-07-15 07:15 | 2.3K | ||
| sext-mul.ll | 2025-07-15 07:15 | 8.3K | ||
| sext-to-zext.ll | 2025-07-15 07:15 | 2.2K | ||
| sext-zero.ll | 2025-07-15 07:15 | 1.4K | ||
| shift-op.ll | 2025-07-15 07:15 | 6.2K | ||
| shift-recurrences.ll | 2025-07-15 07:15 | 37K | ||
| shl-lshr-differentconstmask.ll | 2025-07-15 07:15 | 5.2K | ||
| sle.ll | 2025-07-15 07:15 | 1.5K | ||
| smax-br-phi-idioms.ll | 2025-07-15 07:15 | 6.8K | ||
| smin-smax-folds.ll | 2025-07-15 07:15 | 4.9K | ||
| solve-quadratic-i1.ll | 2025-07-15 07:15 | 4.4K | ||
| solve-quadratic-overflow.ll | 2025-07-15 07:15 | 2.1K | ||
| solve-quadratic.ll | 2025-07-15 07:15 | 17K | ||
| srem.ll | 2025-07-15 07:15 | 3.9K | ||
| strip-injective-zext.ll | 2025-07-15 07:15 | 1.5K | ||
| symbolic_max_exit_count.ll | 2025-07-15 07:15 | 31K | ||
| trip-count-andor-selectform.ll | 2025-07-15 07:15 | 10K | ||
| trip-count-andor.ll | 2025-07-15 07:15 | 10K | ||
| trip-count-implied-addrec.ll | 2025-07-15 07:15 | 19K | ||
| trip-count-minmax.ll | 2025-07-15 07:15 | 14K | ||
| trip-count-negative-stride.ll | 2025-07-15 07:15 | 24K | ||
| trip-count-non-unit-stride.ll | 2025-07-15 07:15 | 9.3K | ||
| trip-count-phi-increment.ll | 2025-07-15 07:15 | 4.1K | ||
| trip-count-pow2.ll | 2025-07-15 07:15 | 3.3K | ||
| trip-count-scalable-stride.ll | 2025-07-15 07:15 | 31K | ||
| trip-count-switch.ll | 2025-07-15 07:15 | 1.2K | ||
| trip-count-unknown-stride.ll | 2025-07-15 07:15 | 20K | ||
| trip-count-urem.ll | 2025-07-15 07:15 | 1.1K | ||
| trip-count.ll | 2025-07-15 07:15 | 7.4K | ||
| trip-count2.ll | 2025-07-15 07:15 | 1.3K | ||
| trip-count3.ll | 2025-07-15 07:15 | 3.5K | ||
| trip-count4.ll | 2025-07-15 07:15 | 1.3K | ||
| trip-count5.ll | 2025-07-15 07:15 | 1.8K | ||
| trip-count6.ll | 2025-07-15 07:15 | 1.7K | ||
| trip-count7.ll | 2025-07-15 07:15 | 7.0K | ||
| trip-count8.ll | 2025-07-15 07:15 | 1.6K | ||
| trip-count9.ll | 2025-07-15 07:15 | 16K | ||
| trip-count10.ll | 2025-07-15 07:15 | 5.2K | ||
| trip-count11.ll | 2025-07-15 07:15 | 2.1K | ||
| trip-count12.ll | 2025-07-15 07:15 | 1.8K | ||
| trip-count13.ll | 2025-07-15 07:15 | 4.2K | ||
| trip-count14.ll | 2025-07-15 07:15 | 7.8K | ||
| trip-count15.ll | 2025-07-15 07:15 | 5.4K | ||
| trip-multiple-guard-info.ll | 2025-07-15 07:15 | 26K | ||
| trip-multiple.ll | 2025-07-15 07:15 | 13K | ||
| tripmultiple_calculation.ll | 2025-07-15 07:15 | 4.2K | ||
| trivial-phis.ll | 2025-07-15 07:15 | 7.4K | ||
| trunc-simplify.ll | 2025-07-15 07:15 | 2.4K | ||
| truncate.ll | 2025-07-15 07:15 | 3.5K | ||
| udiv-of-x-xsmaxone-fold.ll | 2025-07-15 07:15 | 4.0K | ||
| umin-seq-operand-may-trigger-ub.ll | 2025-07-15 07:15 | 4.6K | ||
| umin-umax-folds.ll | 2025-07-15 07:15 | 16K | ||
| undefined.ll | 2025-07-15 07:15 | 646 | ||
| unknown_phis.ll | 2025-07-15 07:15 | 3.2K | ||
| unreachable-code.ll | 2025-07-15 07:15 | 217 | ||
| unsimplified-loop.ll | 2025-07-15 07:15 | 715 | ||
| urem-0.ll | 2025-07-15 07:15 | 2.9K | ||
| values-at-scopes-consistency.ll | 2025-07-15 07:15 | 683 | ||
| widenable-condition.ll | 2025-07-15 07:15 | 2.3K | ||
| zext-divrem.ll | 2025-07-15 07:15 | 1.2K | ||
| zext-mul.ll | 2025-07-15 07:15 | 876 | ||
| zext-signed-addrec.ll | 2025-07-15 07:15 | 3.1K | ||
| zext-wrap.ll | 2025-07-15 07:15 | 830 | ||