[llvm] [LV] Add early-exit-with-store tests (PR #140899)

David Sherwood via llvm-commits llvm-commits at lists.llvm.org
Wed May 21 08:03:39 PDT 2025


================

----------------
david-arm wrote:

It's probably worth adding these tests too:

1. A test for a store to an invariant address if that matters for your early exit work.
2. A loop with a store in the latch block instead of the early exiting block.
3. A test with a store to an unknown address that isn't safe to vectorise.
4. A test with a store where the loop condition is invariant (since I believe this will be important for your follow-on work?).
5. Do we need a test that requires runtime memory checks? I don't know if this is possible, but if two `ptr dereferenceable(40)` pointer arguments are passed they could still potentially alias, even if it's something as simple as they are just identical pointers. I just want to make sure we don't silently vectorise such a loop without runtime checks.

https://github.com/llvm/llvm-project/pull/140899


More information about the llvm-commits mailing list