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

[Colin De Vlieghere]

Cubevoid wrote:

Fixed some conflicts which were missed due to the old `"write happens outside of block"` check being too relaxed since the new happens-before logic lets those cases though now. 

Also factored out a `hasCFGPath` helper function and added logic to treat blocks which define the read as barriers too for the reachability check.

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