[Mlir-commits] [mlir] [mlir][bufferization] Hoist allocations through exactly-once regions (PR #224921)

[Federico Bruzzone]

================
@@ -519,3 +519,30 @@ func.func @hoist_alloca(
 //      CHECK: %[[ALLOCA0:.*]] = memref.alloca({{.*}})
 // CHECK-NEXT: %[[ALLOCA1:.*]] = memref.alloca({{.*}})
 // CHECK-NEXT: {{.*}} = scf.for
+
+// -----
+
+// CHECK-LABEL: func @loop_execute_region
----------------
FedericoBruzzone wrote:

Could you please check that the `memref.store` uses `%[[ALLOC]]`?


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