Name Date Size #Lines LOC

..--

2007-07-15-NegativeStride.llH A D25-Apr-2025681 2317

2007-08-06-MisinterpretBranch.llH A D25-Apr-2025590 2116

2007-08-06-Unsigned.llH A D25-Apr-20251 KiB3324

2007-09-27-LargeStepping.llH A D25-Apr-2025618 2418

2007-11-14-SignedAddRec.llH A D25-Apr-2025600 2720

2007-11-18-OrInstruction.llH A D25-Apr-2025433 2218

2008-02-11-ReversedCondition.llH A D25-Apr-2025371 1815

2008-02-12-SMAXTripCount.llH A D25-Apr-2025381 1816

2008-02-15-UMax.llH A D25-Apr-2025381 2016

2008-05-25-NegativeStepToZero.llH A D25-Apr-2025602 2418

2008-06-12-BinomialInt64.llH A D25-Apr-20251.6 KiB4436

2008-07-12-UnneededSelect1.llH A D25-Apr-20251.2 KiB4031

2008-07-12-UnneededSelect2.llH A D25-Apr-2025945 3426

2008-07-19-InfiniteLoop.llH A D25-Apr-2025378 1714

2008-07-19-WrappingIV.llH A D25-Apr-2025393 1714

2008-07-29-SGTTripCount.llH A D25-Apr-2025774 2921

2008-07-29-SMinExpr.llH A D25-Apr-2025822 2721

2008-08-04-IVOverflow.llH A D25-Apr-2025466 2821

2008-08-04-LongAddRec.llH A D25-Apr-20252.2 KiB5952

2008-11-02-QuadraticCrash.llH A D25-Apr-2025516 2217

2008-11-15-CubicOOM.llH A D25-Apr-2025526 2016

2008-11-18-LessThanOrEqual.llH A D25-Apr-2025887 3324

2008-11-18-Stride1.llH A D25-Apr-20251.2 KiB3929

2008-11-18-Stride2.llH A D25-Apr-20251.1 KiB3828

2008-12-08-FiniteSGE.llH A D25-Apr-2025967 2722

2008-12-11-SMaxOverflow.llH A D25-Apr-2025746 3122

2008-12-14-StrideAndSigned.llH A D25-Apr-2025585 2418

2008-12-15-DontUseSDiv.llH A D25-Apr-2025523 2317

2009-01-02-SignedNegativeStride.llH A D25-Apr-20251.1 KiB4431

2009-04-22-TruncCast.llH A D25-Apr-20251.2 KiB5643

2009-05-09-PointerEdgeCount.llH A D25-Apr-20251.1 KiB3223

2009-07-04-GroupConstantsWidthMismatch.llH A D25-Apr-2025385 1715

2010-09-03-RequiredTransitive.llH A D25-Apr-2025931 2720

2011-03-09-ExactNoMaxBECount.llH A D25-Apr-20251.2 KiB3529

2011-04-26-FoldAddRec.llH A D25-Apr-2025967 3427

2011-10-04-ConstEvolve.llH A D25-Apr-20251.2 KiB5146

2012-03-26-LoadConstant.llH A D25-Apr-20251.6 KiB4435

2012-05-18-LoopPredRecurse.llH A D25-Apr-2025996 3125

2012-05-29-MulAddRec.llH A D25-Apr-20251.8 KiB4639

SolveQuadraticEquation.llH A D25-Apr-20252.8 KiB10380

and-xor.llH A D25-Apr-2025628 2822

avoid-assume-hang.llH A D25-Apr-20253.2 KiB139101

avoid-infinite-recursion-0.llH A D25-Apr-20251.1 KiB3126

avoid-infinite-recursion-1.llH A D25-Apr-202526.8 KiB355307

avoid-smax-0.llH A D25-Apr-2025790 3829

avoid-smax-1.llH A D25-Apr-20258.2 KiB235192

constant_condition.llH A D25-Apr-20251.3 KiB5243

div-overflow.llH A D25-Apr-2025246 128

do-loop.llH A D25-Apr-2025518 2116

exhaustive-trip-counts.llH A D25-Apr-2025722 2720

expander-replace-congruent-ivs.llH A D25-Apr-20252.3 KiB11280

ext-antecedent.llH A D25-Apr-2025982 4638

flags-from-poison-dbg.llH A D25-Apr-20253.4 KiB7663

flags-from-poison.llH A D25-Apr-202519.1 KiB691589

fold.llH A D25-Apr-20252.3 KiB10193

guards.llH A D25-Apr-20254 KiB142107

how-far-to-zero.llH A D25-Apr-2025978 2822

incorrect-nsw.llH A D25-Apr-2025689 2720

incorrect-offset-scaling.llH A D25-Apr-20251.5 KiB4940

increasing-or-decreasing-iv.llH A D25-Apr-20258.1 KiB248210

infer-prestart-no-wrap.llH A D25-Apr-20253.2 KiB11090

infer-via-ranges.llH A D25-Apr-2025755 3125

latch-dominating-conditions.llH A D25-Apr-20251.4 KiB5646

load-with-range-metadata.llH A D25-Apr-2025972 3830

load.llH A D25-Apr-20254 KiB6654

max-trip-count-address-space.llH A D25-Apr-20252.2 KiB6952

max-trip-count.llH A D25-Apr-20257.2 KiB210167

min-max-exprs.llH A D25-Apr-20251.8 KiB5449

no-wrap-add-exprs.llH A D25-Apr-20254.1 KiB123103

no-wrap-unknown-becount.llH A D25-Apr-20253 KiB125105

non-IV-phi.llH A D25-Apr-20251.4 KiB6043

nowrap-preinc-limits.llH A D25-Apr-20251 KiB4634

nsw-offset-assume.llH A D25-Apr-20253.6 KiB8464

nsw-offset.llH A D25-Apr-20253.3 KiB7859

nsw.llH A D25-Apr-20258.5 KiB263220

nw-sub-is-not-nw-add.llH A D25-Apr-2025939 4234

overflow-intrinsics.llH A D25-Apr-202511.2 KiB310247

pointer-sign-bits.llH A D25-Apr-20258.3 KiB221150

pr22179.llH A D25-Apr-2025974 2923

pr22641.llH A D25-Apr-2025606 2620

pr22674.llH A D25-Apr-20256.4 KiB10278

pr22856.llH A D25-Apr-2025954 3425

pr24757.llH A D25-Apr-2025982 3628

pr25369.llH A D25-Apr-20252.6 KiB7963

pr27315.llH A D25-Apr-2025901 3225

pr3909.llH A D25-Apr-2025888 3123

predicated-trip-count.llH A D25-Apr-20253.9 KiB11088

range-signedness.llH A D25-Apr-2025882 4029

returned.llH A D25-Apr-2025533 1712

scev-aa.llH A D25-Apr-20256.8 KiB218177

scev-canonical-mode.llH A D25-Apr-20251.5 KiB3325

scev-dispositions.llH A D25-Apr-20252.4 KiB7460

scev-expander-existing-value.llH A D25-Apr-20251.5 KiB3931

scev-expander-incorrect-nowrap.llH A D25-Apr-2025722 3123

scev-invalid.llH A D25-Apr-2025814 3530

scev-prestart-nowrap.llH A D25-Apr-20252.3 KiB8369

sext-inreg.llH A D25-Apr-20251.2 KiB3126

sext-iv-0.llH A D25-Apr-20251.5 KiB3933

sext-iv-1.llH A D25-Apr-20254 KiB10892

sext-iv-2.llH A D25-Apr-20252.3 KiB7555

sext-to-zext.llH A D25-Apr-2025675 2420

shift-op.llH A D25-Apr-20253.8 KiB165130

sle.llH A D25-Apr-20251.1 KiB2822

smax-br-phi-idioms.llH A D25-Apr-20252.9 KiB129102

smax.llH A D25-Apr-2025330 1512

trip-count-pow2.llH A D25-Apr-20251.3 KiB5447

trip-count-switch.llH A D25-Apr-2025817 3123

trip-count.llH A D25-Apr-20253.8 KiB11491

trip-count10.llH A D25-Apr-20254 KiB152125

trip-count11.llH A D25-Apr-20252.1 KiB5643

trip-count12.llH A D25-Apr-20251.4 KiB3628

trip-count13.llH A D25-Apr-20252.3 KiB8265

trip-count2.llH A D25-Apr-20251 KiB3527

trip-count3.llH A D25-Apr-20253.4 KiB8155

trip-count4.llH A D25-Apr-2025896 2620

trip-count5.llH A D25-Apr-20252.2 KiB4940

trip-count6.llH A D25-Apr-20251.1 KiB3928

trip-count7.llH A D25-Apr-20257.1 KiB152126

trip-count8.llH A D25-Apr-20251.2 KiB3928

trip-count9.llH A D25-Apr-202511.7 KiB416389

undefined.llH A D25-Apr-2025618 4026

unreachable-code.llH A D25-Apr-2025185 1410

unsimplified-loop.llH A D25-Apr-2025687 3021

zext-signed-addrec.llH A D25-Apr-20253.1 KiB8263

zext-wrap.llH A D25-Apr-2025655 2417