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

[Philip Reames via llvm-commits]

================
@@ -2922,6 +2924,11 @@ the behavior is undefined, unless one of the following exceptions applies:
   (including a zero alignment). If this is the case, then the pointer value
   must be a null pointer, otherwise the behavior is undefined.
 
+* ``dereferenceable(<n>)`` operand bundles only guarantee the pointer is
+    dereferenceable at the point of the assumption and may not be
----------------
preames wrote:

"and may not be" seems like you're referring to the assumption at first.  Maybe: ".  The pointer may not be " (the rest of the sentence is fine)

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