[Mlir-commits] [mlir] Added RecursiveMemoryEffects to ExecuteRegionOp (PR #164390)

[Mehdi Amini]

================
@@ -156,3 +156,23 @@ func.func @manual_deallocation(%c: i1, %f: f32, %idx: index) -> f32 {
 //       CHECK:   cf.assert %[[true]], "expected that the block does not have ownership"
 //       CHECK:   memref.dealloc %[[manual_alloc]]
 //       CHECK:   bufferization.dealloc (%[[managed_alloc]] : memref<5xf32>) if (%[[true]])
+
+// -----
+
+// CHECK:           %[[true:.*]] = arith.constant true
----------------
joker-eph wrote:

```suggestion
// CHECK-LABEL: func.func private @properly_creats_deallocations_in_execute_region(
// CHECK:           %[[true:.*]] = arith.constant true
```

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