[Mlir-commits] [mlir] [mlir][bufferization] Relax happens-before analysis for unstructured CF (PR #223006)

[Matthias Springer]

matthias-springer wrote:

> * this check also tries to take into account simple loops in the CFG using the CFGLoopInfo analysis. Notably if you have a parent loop containing multiple blocks, back-edges through the parent's header block are ignored for the reachability condition.

What's the use case for this? MLIR has structured control flow to make these kind of analyses easier. Are you lowering SCF->CF too early in your compilation pipeline?

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