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

[Philip Reames via llvm-commits]

https://github.com/preames commented:

Do have a test case for when deref comes from the assumption, but alignment comes from some other source? 

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