[Mlir-commits] [mlir] [mlir][scf] fix getSuccessorRegions func in scf.forall (PR #147491)

[Oleksandr Alex Zinenko]

https://github.com/ftynse commented:

Is this stemming from some real use case or bug?

The control flow interfaces are not modeling parallelism currently, and this is a bit tricky. In particular, control flow interfaces are used by dataflow analyses to understand whether a block may be executed before or after another block, including a different "instance" of the same block. This may be the case here. I'd like to better think through this before we decide one way or another.

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