llvm-project
26183f36 - [LAA] Add tests for a set of miscompiles. (NFC) (#230773)

Commit
21 days ago
[LAA] Add tests for a set of miscompiles. (NFC) (#230773) Add tests for the following issues: * interleaved-accesses-retry-runtime-checks.ll: when LAA retries with runtime checks, the store of an interleave group is moved past a load from the same address. * is-safe-dep-distance-narrow-btc.ll: accesses with a real backward dependence are reported as safe if the byte stride does not fit in a narrow backedge-taken count type or MaxBTC * MaxStride wraps in it. * is-safe-dep-distance-partial-overlap.ll: accesses are reported as independent if |Dist| > MaxBTC * MaxStride, even if the distance is not a multiple of the access size and the accesses partially overlap. * different-access-types-rt-checks.ll: the runtime check bounds of a pointer loaded as i32 and stored as i8 only account for the i8 store, so the tail of the loaded range is not checked. * runtime-check-grouping-wrapping-bounds.ll: pointers whose bounds can wrap relative to each other are grouped, so the group's Low can be above its High and the runtime checks never detect a conflict.
Author
Parents
Loading