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

[Florian Hahn via llvm-commits]

================
@@ -11,12 +11,12 @@ define void @f(i32 %ptr_i, ptr %ptr2, i1 %cond) {
 ; CHECK-NEXT:    store i32 0, ptr [[PTR2:%.*]], align 4
 ; CHECK-NEXT:    br label [[FOR_BODY_LR_PH]]
 ; CHECK:       for.body.lr.ph:
-; CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[PTR]], align 4
----------------
fhahn wrote:

I added `f_nofree_nosync` below; the problem seems to be that `%ptr` is formed using `inttoptr` and `Value::canBeFreed` only applies to function arguments I think (it would be valid for the function to allocate and free locally).

So eventually we will probably need more powerful analysis.


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