matthias-springer wrote: > What about in an unreachable block in a CFG? DialectConversion does not visit there, but they could happen in the greedy rewriter. I'm not sure how this comment relates to this PR. https://github.com/llvm/llvm-project/pull/161145