[Mlir-commits] [mlir] [mlir][IR] Add `Block::isReachable` helper function (PR #114928)

[Matthias Springer]

matthias-springer wrote:

> Why don't the various transforms just use DominanceInfo? Answering these queries is what it's intended for.

Block reachability and block dominance are two different things. Just because there is a path from `block A -> block B` does not necessarily mean that `block A dominates block B`. I'm not sure how "block reachability" could be implemented with `DominanceInfo`.

That being said, in the dialect conversion I actually need dominance, so this helper function is actually not useful there...


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