Name Date Size #Lines LOC

..--

assume.llH A D25-Apr-2025339 1512

deref-bitcast-of-gep.llH A D25-Apr-20252.1 KiB8367

known-bits-from-range-md.llH A D25-Apr-2025777 3531

known-non-equal.llH A D25-Apr-2025526 2218

known-power-of-two.llH A D25-Apr-2025573 2116

knownnonzero-shift.llH A D25-Apr-2025365 1411

knownzero-shift.llH A D25-Apr-2025437 1512

memory-dereferenceable.llH A D25-Apr-20256.7 KiB171137

monotonic-phi.llH A D25-Apr-20251 KiB5046

pr23011.llH A D25-Apr-2025469 1613