Name Date Size #Lines LOC

..--

abs.llH A D06-Feb-20245.8 KiB164149

add-nsw.llH A D27-Sep-202331.1 KiB902835

add-nuw.llH A D23-Dec-202323.9 KiB745675

add.llH A D28-Mar-202210.2 KiB293261

analysis-invalidation.llH A D27-Sep-20233.2 KiB7762

and-implied-by-operands.llH A D27-Nov-202421.1 KiB501442

and.llH A D20-Dec-202318.7 KiB606512

assumes.llH A D24-Aug-202320 KiB597549

cond-used-in-phi.llH A D24-Aug-20237.2 KiB253220

constants-signed-predicates.llH A D24-Aug-20233 KiB9286

constants-unsigned-predicates.llH A D24-Aug-20232.8 KiB9689

constraint-overflow.llH A D03-Dec-20241.7 KiB4138

debug.llH A D13-Dec-20231.6 KiB6448

decompose-with-temporary-indices.llH A D24-Aug-20232.3 KiB6351

dom.llH A D24-Aug-202317.8 KiB649565

empty-constraint.llH A D24-Aug-20231.2 KiB4537

eq.llH A D23-Jan-202514.7 KiB427355

gep-add-multiple-indices-signed-predicates.llH A D24-Dec-202216.1 KiB340317

gep-add-multiple-indices.llH A D27-Nov-202315.1 KiB325302

gep-arithmetic-add-signed-predicates.llH A D06-Dec-202219.8 KiB489446

gep-arithmetic-add.llH A D23-Dec-202319.3 KiB482439

gep-arithmetic-different-types.llH A D24-Aug-202320.4 KiB446403

gep-arithmetic-signed-predicates.llH A D20-Dec-202329.2 KiB653596

gep-arithmetic.llH A D04-Dec-202433.1 KiB633576

gep-chains.llH A D24-Aug-202319.5 KiB392376

gep-constexpr.llH A D24-Aug-20231.7 KiB4439

gep-sub-signed-predicates.llH A D06-Dec-202227.2 KiB549521

gep-sub.llH A D27-Nov-202331.2 KiB639607

geps-128-bit-pointers.llH A D12-Oct-20222.3 KiB5449

geps-i32-pointer-indexes.llH A D24-Aug-20231.3 KiB3833

geps-inbounds-precondition-ub-in-use-blocks.llH A D24-Dec-202210.7 KiB282253

geps-inbounds-precondition.llH A D24-Dec-202214.3 KiB345318

geps-pointers-to-arrays.llH A D24-Aug-202310 KiB247221

geps-pointers-to-structs.llH A D23-Dec-202317.9 KiB429388

geps-precondition-overflow-check.llH A D20-Dec-202312.5 KiB334302

geps-ptrvector.llH A D21-Nov-20242.2 KiB5649

geps-signed-predicates.llH A D06-Oct-202227.6 KiB677624

geps-unsigned-predicates.llH A D24-Aug-202325.9 KiB652599

induction-condition-in-loop-exit.llH A D18-Nov-202430.3 KiB771686

invoke.llH A D24-Aug-20231.5 KiB5043

large-constant-ints.llH A D23-Dec-202315 KiB436395

large-system-growth.llH A D24-Aug-20232.9 KiB8573

loops-bottom-tested-base.llH A D17-Aug-20235.7 KiB186164

loops-bottom-tested-pointer-cmps.llH A D28-Feb-20249.1 KiB222198

loops-header-tested-base.llH A D23-Dec-202313 KiB421372

loops-header-tested-pointer-cmps.llH A D28-Feb-202431.8 KiB787709

loops-header-tested-pointer-iv.llH A D27-Sep-20234 KiB120106

loops.llH A D24-Aug-202315 KiB459404

max-row-limit.llH A D23-Dec-20232.8 KiB8071

minmax.llH A D22-Feb-202420.8 KiB725665

mixed-signed-unsigned-predicates.llH A D24-Aug-202315.9 KiB448370

mixed.llH A D24-Dec-20221.5 KiB4135

monotonic-int-phis-cfg.llH A D27-Sep-20235.3 KiB169144

monotonic-int-phis-decrement.llH A D10-Oct-20238.3 KiB259229

monotonic-int-phis-multiples.llH A D04-Jan-20249.1 KiB286253

monotonic-int-phis-nested-loops.llH A D10-Oct-20235.4 KiB155136

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

monotonic-int-phis-wrapping.llH A D27-Sep-20238.5 KiB289250

monotonic-int-phis.llH A D27-Sep-20236.9 KiB207179

monotonic-phis-adjacent-loops.llH A D08-Nov-20233.6 KiB10589

monotonic-pointer-phis-chain-of-exits.llH A D10-Sep-202411.6 KiB

monotonic-pointer-phis-constant-upper-offset.llH A D27-Sep-202318.6 KiB529464

monotonic-pointer-phis-crashes.llH A D27-Jun-20233 KiB10186

monotonic-pointer-phis-custom-datalayout.llH A D27-Sep-202316 KiB440384

monotonic-pointer-phis-early-exits.llH A D27-Sep-202336.1 KiB1,025902

monotonic-pointer-phis-struct-types.llH A D27-Sep-202345.5 KiB1,2531,098

monotonic-pointer-phis.llH A D27-Sep-202338.9 KiB1,087958

mul-nsw.llH A D24-Aug-202336.5 KiB1,016960

mul.llH A D23-Dec-202350.2 KiB1,3691,238

ne.llH A D23-Jan-202512.7 KiB428371

or-implied-by-operands.llH A D23-Dec-20238 KiB310272

or.llH A D27-Nov-202427.2 KiB811729

overflows.llH A D10-Sep-20231.2 KiB3632

pointercast.llH A D24-Aug-20236.3 KiB153132

pr105785.llH A D23-Jan-20251.8 KiB

pr54228-variable-name-order.llH A D07-Mar-20221.9 KiB5646

pr70510.llH A D02-Nov-20233 KiB9583

range_checks.llH A D24-Aug-20235.9 KiB143124

reason-about-add-operands.llH A D23-Dec-202314.1 KiB390369

reproducer-remarks-debug.llH A D23-Dec-20231 KiB3427

reproducer-remarks.llH A D05-Feb-20248.6 KiB325281

sext-signed-predicates.llH A D27-Feb-20247.6 KiB271244

sext-unsigned-predicates.llH A D22-May-20244.2 KiB137126

sge.llH A D24-Aug-20236.8 KiB266233

shl.llH A D05-Jan-202450.2 KiB1,3951,260

signed-query-unsigned-system.llH A D22-Sep-20234.5 KiB151138

ssub-with-overflow.llH A D13-May-202211.1 KiB352309

sub-nsw.llH A D16-Dec-20243.7 KiB

sub-nuw.llH A D02-Jan-202415.2 KiB497442

sub.llH A D18-Nov-20218.4 KiB242213

switch.llH A D22-Sep-20235 KiB185167

transfer-samesign-facts.llH A D15-Dec-20249 KiB

transfer-signed-facts-to-unsigned-is-known-non-negative.llH A D21-Nov-202314.8 KiB475432

transfer-signed-facts-to-unsigned.llH A D22-May-202422.5 KiB731666

transfer-unsigned-facts-to-signed-is-known-non-negative.llH A D21-Nov-20237.2 KiB231209

transfer-unsigned-facts-to-signed.llH A D27-Sep-20239.9 KiB329282

trunc.llH A D06-Dec-20246.7 KiB

uge.llH A D24-Aug-20236.2 KiB244213

ugt-ule.llH A D24-Aug-2023909 3731

ule.llH A D24-Aug-20236.2 KiB245213

umin-result-may-be-poison.llH A D24-Jan-20242.2 KiB6356

uscmp.llH A D10-Jul-20243.8 KiB

uses-in-different-blocks.llH A D24-Aug-20232.6 KiB9682

usub-with-overflow.llH A D27-Sep-20239.9 KiB307267

vector-compares.llH A D06-Nov-20242.1 KiB6859

wrapping-math.llH A D24-Aug-202310.8 KiB346313

zext-for-per-formula-reasoning.llH A D28-Feb-20244.2 KiB114108

zext.llH A D24-Aug-20239.9 KiB294273