Name Date Size #Lines LOC

..--

abs.llH A D08-Jul-20245.8 KiB164149

add-nsw.llH A D08-Jul-202431.1 KiB902835

add-nuw.llH A D08-Jul-202423.9 KiB745675

add.llH A D15-Nov-202210.2 KiB293261

analysis-invalidation.llH A D08-Jul-20243.2 KiB7762

and-implied-by-operands.llH A D29-Jan-202521.1 KiB501442

and.llH A D08-Jul-202418.7 KiB606512

assumes.llH A D08-Jul-202420 KiB597549

cond-used-in-phi.llH A D08-Jul-20247.2 KiB253220

constants-signed-predicates.llH A D08-Jul-20243 KiB9286

constants-unsigned-predicates.llH A D08-Jul-20242.8 KiB9689

constraint-overflow.llH A D29-Jan-20251.7 KiB4138

debug.llH A D08-Jul-20241.6 KiB6448

decompose-with-temporary-indices.llH A D08-Jul-20242.3 KiB6351

dom.llH A D08-Jul-202417.8 KiB649565

empty-constraint.llH A D08-Jul-20241.2 KiB4537

eq.llH A D29-Jan-202514.7 KiB427355

gep-add-multiple-indices-signed-predicates.llH A D08-Jul-202416.1 KiB340317

gep-add-multiple-indices.llH A D08-Jul-202415.1 KiB325302

gep-arithmetic-add-signed-predicates.llH A D08-Jul-202419.8 KiB489446

gep-arithmetic-add.llH A D08-Jul-202419.3 KiB482439

gep-arithmetic-different-types.llH A D08-Jul-202420.4 KiB446403

gep-arithmetic-signed-predicates.llH A D08-Jul-202429.2 KiB653596

gep-arithmetic.llH A D29-Jan-202533.1 KiB633576

gep-chains.llH A D08-Jul-202419.5 KiB392376

gep-constexpr.llH A D08-Jul-20241.7 KiB4439

gep-sub-signed-predicates.llH A D08-Jul-202427.2 KiB549521

gep-sub.llH A D08-Jul-202431.2 KiB639607

geps-128-bit-pointers.llH A D15-Nov-20222.3 KiB5449

geps-i32-pointer-indexes.llH A D08-Jul-20241.3 KiB3833

geps-inbounds-precondition-ub-in-use-blocks.llH A D08-Jul-202410.7 KiB282253

geps-inbounds-precondition.llH A D08-Jul-202414.3 KiB345318

geps-pointers-to-arrays.llH A D08-Jul-202410 KiB247221

geps-pointers-to-structs.llH A D08-Jul-202417.9 KiB429388

geps-precondition-overflow-check.llH A D08-Jul-202412.5 KiB334302

geps-ptrvector.llH A D29-Jan-20252.2 KiB5649

geps-signed-predicates.llH A D15-Nov-202227.6 KiB677624

geps-unsigned-predicates.llH A D08-Jul-202425.9 KiB652599

induction-condition-in-loop-exit.llH A D29-Jan-202530.3 KiB771686

invoke.llH A D08-Jul-20241.5 KiB5043

large-constant-ints.llH A D08-Jul-202415 KiB436395

large-system-growth.llH A D08-Jul-20242.9 KiB8573

loops-bottom-tested-base.llH A D08-Jul-20245.7 KiB186164

loops-bottom-tested-pointer-cmps.llH A D08-Jul-20249.1 KiB222198

loops-header-tested-base.llH A D08-Jul-202413 KiB421372

loops-header-tested-pointer-cmps.llH A D08-Jul-202431.8 KiB787709

loops-header-tested-pointer-iv.llH A D08-Jul-20244 KiB120106

loops.llH A D08-Jul-202415 KiB459404

max-row-limit.llH A D08-Jul-20242.8 KiB8071

minmax.llH A D08-Jul-202420.8 KiB725665

mixed-signed-unsigned-predicates.llH A D08-Jul-202415.9 KiB448370

mixed.llH A D08-Jul-20241.5 KiB4135

monotonic-int-phis-cfg.llH A D08-Jul-20245.3 KiB169144

monotonic-int-phis-decrement.llH A D08-Jul-20248.3 KiB259229

monotonic-int-phis-multiples.llH A D08-Jul-20249.1 KiB286253

monotonic-int-phis-nested-loops.llH A D08-Jul-20245.4 KiB155136

monotonic-int-phis-signed.llH A D08-Jul-20249.4 KiB292262

monotonic-int-phis-wrapping.llH A D08-Jul-20248.5 KiB289250

monotonic-int-phis.llH A D08-Jul-20246.9 KiB207179

monotonic-phis-adjacent-loops.llH A D08-Jul-20243.6 KiB10589

monotonic-pointer-phis-chain-of-exits.llH A D29-Jan-202511.6 KiB

monotonic-pointer-phis-constant-upper-offset.llH A D08-Jul-202418.6 KiB529464

monotonic-pointer-phis-crashes.llH A D08-Jul-20243 KiB10186

monotonic-pointer-phis-custom-datalayout.llH A D08-Jul-202416 KiB440384

monotonic-pointer-phis-early-exits.llH A D08-Jul-202436.1 KiB1,025902

monotonic-pointer-phis-struct-types.llH A D08-Jul-202445.5 KiB1,2531,098

monotonic-pointer-phis.llH A D08-Jul-202438.9 KiB1,087958

mul-nsw.llH A D08-Jul-202436.5 KiB1,016960

mul.llH A D08-Jul-202450.2 KiB1,3691,238

ne.llH A D29-Jan-202512.7 KiB428371

or-implied-by-operands.llH A D08-Jul-20248 KiB310272

or.llH A D29-Jan-202527.2 KiB811729

overflows.llH A D08-Jul-20241.2 KiB3632

pointercast.llH A D08-Jul-20246.3 KiB153132

pr105785.llH A D29-Jan-20251.8 KiB

pr54228-variable-name-order.llH A D15-Nov-20221.9 KiB5646

pr70510.llH A D08-Jul-20243 KiB9583

range_checks.llH A D08-Jul-20245.9 KiB143124

reason-about-add-operands.llH A D08-Jul-202414.1 KiB390369

reproducer-remarks-debug.llH A D08-Jul-20241 KiB3427

reproducer-remarks.llH A D08-Jul-20248.6 KiB325281

sext-signed-predicates.llH A D08-Jul-20247.6 KiB271244

sext-unsigned-predicates.llH A D08-Jul-20244.2 KiB137126

sge.llH A D08-Jul-20246.8 KiB266233

shl.llH A D08-Jul-202450.2 KiB1,3951,260

signed-query-unsigned-system.llH A D08-Jul-20244.5 KiB151138

ssub-with-overflow.llH A D15-Nov-202211.1 KiB352309

sub-nsw.llH A D29-Jan-20253.7 KiB

sub-nuw.llH A D08-Jul-202415.2 KiB497442

sub.llH A D18-Feb-20228.4 KiB242213

switch.llH A D08-Jul-20245 KiB185167

transfer-samesign-facts.llH A D29-Jan-20259 KiB

transfer-signed-facts-to-unsigned-is-known-non-negative.llH A D08-Jul-202414.8 KiB475432

transfer-signed-facts-to-unsigned.llH A D08-Jul-202422.5 KiB731666

transfer-unsigned-facts-to-signed-is-known-non-negative.llH A D08-Jul-20247.2 KiB231209

transfer-unsigned-facts-to-signed.llH A D08-Jul-20249.9 KiB329282

trunc.llH A D29-Jan-20256.7 KiB

uge.llH A D08-Jul-20246.2 KiB244213

ugt-ule.llH A D08-Jul-2024909 3731

ule.llH A D08-Jul-20246.2 KiB245213

umin-result-may-be-poison.llH A D08-Jul-20242.2 KiB6356

uscmp.llH A D16-Jul-20243.8 KiB

uses-in-different-blocks.llH A D08-Jul-20242.6 KiB9682

usub-with-overflow.llH A D08-Jul-20249.9 KiB307267

vector-compares.llH A D29-Jan-20252.1 KiB6859

wrapping-math.llH A D08-Jul-202410.8 KiB346313

zext-for-per-formula-reasoning.llH A D08-Jul-20244.2 KiB114108

zext.llH A D08-Jul-20249.9 KiB294273