joker-eph wrote: Same request as the other PR: I'd like to see a description that refers to something principled into the design and constraint of the dialect conversion. Let's wait for @matthias-springer to help on this. https://github.com/llvm/llvm-project/pull/154083