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

[Philip Reames via llvm-commits]

================
@@ -171,7 +169,7 @@ static bool isDereferenceableAndAlignedPointer(
                                               Size, DL, CtxI, AC, DT, TLI,
                                               Visited, MaxDepth);
 
-  if (CtxI && (!UseDerefAtPointSemantics || !V->canBeFreed())) {
+  if (CtxI && !V->canBeFreed()) {
----------------
preames wrote:

Might be worth a comment here emphasizing the restriction on the dereferenceable result from the assume.  

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