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

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Wed Feb 12 11:16:38 PST 2025


================
@@ -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:

Added a variant at the bottom, thanks

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


More information about the llvm-commits mailing list