[Mlir-commits] [mlir] [mlir][SPIR-V] Update the `ConvertToSPIRV` pass to use dialect interfaces (PR #102046)

[Jakub Kuderski]

https://github.com/kuhar commented:

This is interesting! What's your motivation for this beyond what's explained in the PR description? Is this to better align with the llvm conversion or do you have some out of tree dialects that you would like to support?

The reason I'm asking is that converting to SPIR-V has a set of issues that are unique to it and make it harder (I think?) than conversion to llvm:
* It does not support arbitrary (1d) vector types
* It does not support arbitrary integer types
* I think arrays are also more limited
* Not all ops are converted directly and some require expansion / emulation before conversion (e.g., masked vector load / store).

Because of these complications, our plan immediate was to stick with handcrafted conversion that happens in a few phases.

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