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

[Philip Reames via llvm-commits]

https://github.com/preames commented:

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

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