• Home
Name Date Size #Lines LOC

..--

2007-07-15-NegativeStride.llD03-May-2024663 2217

2007-08-06-MisinterpretBranch.llD03-May-2024574 1915

2007-08-06-Unsigned.llD03-May-20241,015 3123

2007-09-27-LargeStepping.llD03-May-2024613 2318

2007-11-14-SignedAddRec.llD03-May-2024584 2519

2007-11-18-OrInstruction.llD03-May-2024433 2218

2008-02-11-ReversedCondition.llD03-May-2024355 1614

2008-02-12-SMAXTripCount.llD03-May-2024381 1816

2008-02-15-UMax.llD03-May-2024363 1815

2008-05-25-NegativeStepToZero.llD03-May-2024597 2318

2008-06-12-BinomialInt64.llD03-May-20241.6 KiB4436

2008-07-12-UnneededSelect1.llD03-May-20241.1 KiB3729

2008-07-12-UnneededSelect2.llD03-May-2024855 3124

2008-07-19-InfiniteLoop.llD03-May-2024371 1614

2008-07-19-WrappingIV.llD03-May-2024388 1614

2008-07-29-SGTTripCount.llD03-May-2024774 2921

2008-07-29-SMinExpr.llD03-May-2024822 2721

2008-08-04-IVOverflow.llD03-May-2024466 2821

2008-08-04-LongAddRec.llD03-May-20242.2 KiB5952

2008-11-02-QuadraticCrash.llD03-May-2024516 2217

2008-11-15-CubicOOM.llD03-May-2024526 2016

2008-11-18-LessThanOrEqual.llD03-May-2024882 3224

2008-11-18-Stride1.llD03-May-20241.2 KiB3628

2008-11-18-Stride2.llD03-May-20241 KiB3527

2008-12-08-FiniteSGE.llD03-May-2024936 2521

2008-12-11-SMaxOverflow.llD03-May-2024746 3122

2008-12-14-StrideAndSigned.llD03-May-2024577 2318

2008-12-15-DontUseSDiv.llD03-May-2024518 2217

2009-01-02-SignedNegativeStride.llD03-May-2024982 4129

2009-04-22-TruncCast.llD03-May-2024648 3831

2009-05-09-PointerEdgeCount.llD03-May-20241 KiB2922

2009-07-04-GroupConstantsWidthMismatch.llD03-May-2024376 1715

2010-09-03-RequiredTransitive.llD03-May-2024869 2519

2011-03-09-ExactNoMaxBECount.llD03-May-20241.2 KiB3529

2011-04-26-FoldAddRec.llD03-May-2024966 3327

2011-10-04-ConstEvolve.llD03-May-20241.2 KiB5146

2012-03-26-LoadConstant.llD03-May-20241.7 KiB4838

2012-05-18-LoopPredRecurse.llD03-May-2024996 3125

2012-05-29-MulAddRec.llD03-May-20241.8 KiB4639

SolveQuadraticEquation.llD03-May-20242.8 KiB10481

and-xor.llD03-May-2024173 97

avoid-infinite-recursion-0.llD03-May-20241.1 KiB3126

avoid-infinite-recursion-1.llD03-May-202426.8 KiB355307

avoid-smax-0.llD03-May-2024754 3628

avoid-smax-1.llD03-May-20248.1 KiB235192

div-overflow.llD03-May-2024242 118

do-loop.llD03-May-2024500 1915

fold.llD03-May-20241.3 KiB6358

how-far-to-zero.llD03-May-2024978 2822

lit.local.cfgD03-May-202426 21

load.llD03-May-20243.8 KiB6654

max-trip-count.llD03-May-20243.4 KiB10177

nsw-offset.llD03-May-20243.2 KiB7859

nsw.llD03-May-20244.5 KiB125106

pointer-sign-bits.llD03-May-20248.3 KiB221150

pr3909.llD03-May-2024888 3123

scev-aa.llD03-May-20246.4 KiB216175

sext-inreg.llD03-May-20241.2 KiB3126

sext-iv-0.llD03-May-20241.4 KiB3933

sext-iv-1.llD03-May-20243.7 KiB10186

sext-iv-2.llD03-May-20242.2 KiB7555

sle.llD03-May-20241.1 KiB2822

smax.llD03-May-2024340 1311

trip-count.llD03-May-2024836 2921

trip-count10.llD03-May-20243.1 KiB127103

trip-count11.llD03-May-20241.1 KiB3023

trip-count12.llD03-May-20241.4 KiB3628

trip-count2.llD03-May-20241,022 3527

trip-count3.llD03-May-20243.3 KiB7954

trip-count4.llD03-May-2024867 2520

trip-count5.llD03-May-20242.1 KiB4940

trip-count6.llD03-May-20241.1 KiB3828

trip-count7.llD03-May-20246.9 KiB151126

trip-count8.llD03-May-20241.2 KiB3828

trip-count9.llD03-May-202411.4 KiB409382

undefined.llD03-May-2024618 4026

unreachable-code.llD03-May-2024185 1410

unsimplified-loop.llD03-May-2024687 3021

xor-and.llD03-May-2024360 1310

zext-wrap.llD03-May-2024637 2518