[Mlir-commits] [mlir] [MLIR][Conversion] Add convert-xevm-to-llvm pass. (PR #147375)

[Sang Ik Lee]

silee2 wrote:

> Ideally, unsupported combinations would be caught by op verifier as it's nice to have that as an invariant.
If there's a potential use case for such combination (some rewrites, canonicalization etc. directly on xevm ops), then please at least add extra checks to this pass so it doesn't blow up on an assertion.

Valid point. I'll keep that in mind.
Unsupported combination sometimes depends on target uArch and available backend intrinsics.
For now, op verifier tries to validate common invariants that hold regardless.
Meanwhile, I'll add extra checks to the pass as you have suggested until there is a better solution. 


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