[llvm] [AssumeBundles] Dereferenceable used in bundle only applies at assume. (PR #126117)

[Florian Hahn via llvm-commits]

fhahn wrote:

> How effective are we at proving nofree and nosync these days? Do we need to consider some heuristic for a local "canBeFreedBetween(Assume,CtxI)"?

I think nofree/nosync inference is reasonably effective, but the attributes can only be used with arguments; a function still could allocate/free memory used internally. I am planning to add such a heuristic as follow-up; as long as the assumption is in the preheader, we would need to there and the blocks in the loop.

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