Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | - | - | ||||
assumes.ll | H A D | 22-Mar-2023 | 4.9 KiB | 110 | 95 | |
basic.ll | H A D | 07-Dec-2023 | 89.2 KiB | 2,016 | 1,799 | |
basic_widenable_branch_guards.ll | H A D | 20-Sep-2023 | 112 KiB | 2,207 | 2,017 | |
constant-ranges.ll | H A D | 29-Nov-2022 | 22.2 KiB | 551 | 489 | |
invalidate-analyses.ll | H A D | 03-May-2024 | 6.4 KiB | 166 | 139 | |
invariant_load.ll | H A D | 22-Mar-2023 | 20.3 KiB | 449 | 398 | |
nested.ll | H A D | 22-Mar-2023 | 18.3 KiB | 360 | 317 | |
poison.ll | H A D | 22-Mar-2023 | 4.4 KiB | 114 | 102 | |
pr61022.ll | H A D | 22-Mar-2023 | 2.6 KiB | 68 | 57 | |
pr61963.ll | H A D | 06-Apr-2023 | 4.9 KiB | 97 | 86 | |
pr66382.ll | H A D | 19-Sep-2023 | 2 KiB | 52 | 42 | |
predicate-exits.ll | H A D | 21-Nov-2024 | 48.9 KiB | 1,144 | 1,026 | |
preserve-bpi.ll | H A D | 02-Jan-2023 | 2.5 KiB | 61 | 48 | |
profitability.ll | H A D | 22-Mar-2023 | 9.1 KiB | 181 | 164 | |
reverse.ll | H A D | 22-Mar-2023 | 19.3 KiB | 409 | 376 | |
scale.ll | H A D | 29-Jan-2025 | 15.5 KiB | 260 | 242 | |
unswitch-exit-loop.ll | H A D | 02-Jan-2023 | 2 KiB | 57 | 46 | |
visited.ll | H A D | 10-Aug-2023 | 16.6 KiB | 263 | 255 | |
widened.ll | H A D | 22-Mar-2023 | 10.1 KiB | 217 | 205 |