[Mlir-commits] [mlir] [mlir] [memref] Compile-time memref.alloc Scheduling/Merging optimization (PR #95882)

[llvmlistbot at llvm.org]

Menooker wrote:

> OK, I see.To meet the constraint, we need to exclude all ops with branch semantics (or directly require all block size must be 1 in all regions)?

Something like that. If an Op
 * has 1 or more regions
 * and access memory internally
 * and is not RegionBranchOpInterface

an error would be throw by this pass (in tick-based impl). As far as I know, there are similar restrictions on owner-based-buffer-deallocation.

In the document of this PR, we have:

```
only RegionBranchOpInterface operations are allowed to access memref inside the operations' children regions. Other operaions containing regions should not access memref inside. Otherwise, a pass error could occur.
```

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