[Mlir-commits] [mlir] [mlir][IR] `DominanceInfo`: Fix inconsistency in proper block/op dominance (PR #115413)

[Matthias Springer]

matthias-springer wrote:

> Any way to exercise his in a test?

I updated the `test-dominance.mlir` test to also include the enclosing `builtin.module` (which has a graph region). Also printing proper block dominance now. Also some general improvements to the test such as printing the computed block IDs to make it easier to read the test output.


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