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

[Florian Hahn via llvm-commits]

fhahn wrote:

Test failure should be fixed in 484417abe1fdf4ac1e027ffd10cc65b0e74e59b1.

The new test added in fe403584c458cfde49d559adbeb592d53c29d8fa surfaced an interesting case where we seem to hit some limitations with SCEV reasoning for symbolic max BTCs.


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