[llvm] [Loads] Support dereferenceable assumption with variable size. (PR #128436)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

This looks conceptually fine to me, but we should wait for https://github.com/llvm/llvm-project/pull/128061 to land first to clarify the wrapping situation.

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