[GianFabien]

Generating "good" machine code from MLIR requires a huge amount of effort. With the numerous variants of instruction sets (even within a single line, e.g. x86-64), the optimisations and instruction selection is a complex task.

[marssaxman]

It did not seem especially burdensome last time I tried it. Are you familiar with the LLVM dialect of MLIR?