[llvm] [LAA] Check if invariant accesses is strictly before other access. (PR #92307)

[Philip Reames via llvm-commits]

preames wrote:

Code as you have it looks correct, but a couple questions:
* Why the focus on strictly before specifically?  I'd expect strictly after to work as well.  Given that, wouldn't phrasing it as an compile time evaluated overlap check of two regions make the most sense?
* Unless I'm missing something, the code you added work be correct and precise for scalable types if you used TypeSize.  

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