• Home
Name Date Size #Lines LOC

..--

add-metadata-pre-post-loops.llD03-May-20242.9 KiB8369

bad-loop-structure.llD03-May-20241.1 KiB4735

bad_expander.llD03-May-20244.6 KiB137108

bug-loop-varying-upper-limit.llD03-May-2024972 3325

bug-mismatched-types.llD03-May-20241.7 KiB6852

clamp.llD03-May-20243.9 KiB9677

conjunctive-checks.llD03-May-20244 KiB11189

correct-loop-info.llD03-May-20248.1 KiB184165

decrementing-loop.llD03-May-20247.5 KiB267216

empty_ranges.llD03-May-20242.4 KiB7059

eq_ne.llD03-May-20247.9 KiB289224

low-becount.llD03-May-20241.1 KiB3628

multiple-access-no-preloop.llD03-May-20242.5 KiB6853

non_known_positive_end.llD03-May-20243.4 KiB140106

not-likely-taken.llD03-May-20241.3 KiB4434

only-lower-check.llD03-May-20241.4 KiB3931

only-upper-check.llD03-May-20241.4 KiB3931

optimistic_scev.llD03-May-20241 KiB4331

pre_post_loops.llD03-May-20244.7 KiB119102

range_intersect_miscompile.llD03-May-202412.1 KiB288230

ranges_of_different_types.llD03-May-202414.5 KiB429367

rc-negative-bound.llD03-May-202426.8 KiB601555

single-access-no-preloop.llD03-May-20248.3 KiB251195

single-access-with-preloop.llD03-May-20244.7 KiB9477

skip-profitability-checks.llD03-May-20241,008 3326

stride_more_than_1.llD03-May-202419.9 KiB482422

unhandled.llD03-May-20242.9 KiB10180

unsigned_comparisons_ugt.llD03-May-20249.5 KiB265220

unsigned_comparisons_ult.llD03-May-202413.9 KiB392325

variable-loop-bounds.llD03-May-202413.7 KiB355304

with-parent-loops.llD03-May-202414.6 KiB347269