Florian Hahn 9d592d9e07 [LAA] Catch load/store to invariant address in dependency checker. (#187023) ...

There are some accesses we cannot easily catch with the existing SSA
based tracking of uniform stores.

Extend the dependency checker to reject accesses the same invariant
address for cases SCEV can prove (distance is zero).

For those cases, we would not generate runtime checks for the
problematic pair, as they are part of the same group.

Note that this adds a new InvariantUnsafe kind, similar to
IndirectUnsafe, although maybe it would be sufficient to just have a
single Unsafe kind, with slight loss of precision.

Fixes https://github.com/llvm/llvm-project/issues/186922.

PR: https://github.com/llvm/llvm-project/pull/187023

2026-04-01 12:48:33 +00:00

27 KiB

Raw Permalink Blame History

View Raw