| .. | | - | - |
| AA.ll | D | 03-May-2024 | 3.8 KiB | 143 | 125 |
| Banerjee.ll | D | 03-May-2024 | 28.8 KiB | 794 | 672 |
| BasePtrBug.ll | D | 03-May-2024 | 2.1 KiB | 83 | 67 |
| Constraints.ll | D | 03-May-2024 | 5 KiB | 105 | 90 |
| Coupled.ll | D | 03-May-2024 | 22.7 KiB | 664 | 559 |
| DADelin.ll | D | 03-May-2024 | 23.8 KiB | 593 | 497 |
| Dump.ll | D | 03-May-2024 | 1.7 KiB | 51 | 41 |
| ExactRDIV.ll | D | 03-May-2024 | 21.6 KiB | 621 | 514 |
| ExactSIV.ll | D | 03-May-2024 | 16.6 KiB | 528 | 442 |
| GCD.ll | D | 03-May-2024 | 24.9 KiB | 663 | 565 |
| Invariant.ll | D | 03-May-2024 | 1.5 KiB | 44 | 36 |
| MIVCheckConst.ll | D | 03-May-2024 | 3.8 KiB | 75 | 62 |
| NonAffineExpr.ll | D | 03-May-2024 | 1.1 KiB | 38 | 32 |
| NonCanonicalizedSubscript.ll | D | 03-May-2024 | 3.9 KiB | 101 | 83 |
| PR21585.ll | D | 03-May-2024 | 2.6 KiB | 108 | 93 |
| Preliminary.ll | D | 03-May-2024 | 29 KiB | 713 | 624 |
| PreliminaryNoValidityCheckFixedSize.ll | D | 03-May-2024 | 4.8 KiB | 107 | 86 |
| Propagating.ll | D | 03-May-2024 | 20.7 KiB | 545 | 461 |
| Separability.ll | D | 03-May-2024 | 13.2 KiB | 305 | 255 |
| SimpleSIVNoValidityCheck.ll | D | 03-May-2024 | 9.6 KiB | 239 | 205 |
| SimpleSIVNoValidityCheckFixedSize.ll | D | 03-May-2024 | 4.9 KiB | 121 | 99 |
| StrongSIV.ll | D | 03-May-2024 | 14.6 KiB | 438 | 360 |
| SymbolicRDIV.ll | D | 03-May-2024 | 16.9 KiB | 449 | 363 |
| SymbolicSIV.ll | D | 03-May-2024 | 14.4 KiB | 426 | 353 |
| UsefulGEP.ll | D | 03-May-2024 | 1.7 KiB | 53 | 41 |
| WeakCrossingSIV.ll | D | 03-May-2024 | 9.4 KiB | 283 | 233 |
| WeakZeroDstSIV.ll | D | 03-May-2024 | 9.7 KiB | 298 | 242 |
| WeakZeroSrcSIV.ll | D | 03-May-2024 | 9.7 KiB | 296 | 242 |
| ZIV.ll | D | 03-May-2024 | 2.1 KiB | 77 | 60 |
| new-pm-invalidation.ll | D | 03-May-2024 | 688 | 17 | 15 |