A fully-featured domain-specific language front-end in MLIR

MLIR is a novel compiler framework that promises revolutionary new opportunities for compiling problems from diverse domains for heterogeneous systems. Its architecture makes it possible to combine independent compiler parts in a common in-memory representation and exchange programs between MLIR compilers. Since its adoption into LLVM in late 2019, MLIR has grown into a large community in both industry and academia. In this demo, we demonstrate how advantageous the MLIR framework is for implementing domain-specific languages. Using the EVEREST kernel language as an example, we show how MLIR abstractions can be designed and combined to form complex but effective compilers. The demo will show concrete applications of EKL in the EVEREST project while showing glimpses of how MLIR made it possible.