[llvm] [Loads] Check deref assumption early. (PR #127414)

[Florian Hahn via llvm-commits]

fhahn wrote:

> I'm not sure this is the right direction. If I understand correctly, this still requires the pointers to be exactly the same, so e.g. if you have a deref(4) assumption at p+1, you won't be able to determine that deref(3) holds at p+2.
> 
> I think the solution to that would be to encode an offset into the deref operand bundle, similarly to how the align operand bundle takes an optional offset as well. Then canonicalize deref of gep to move the offset into the bundle and make use of it in isDerefAndAligned.

Yeah I can do that

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