Building a Compiler with Multi-Level Intermediate Representation (MLIR) (2020) [pdf]

I love MLIR. The modularity and friendly abstractions make it incredibly flexible. I've now used it to write _multiple_ domain-specific optimizations and transformations for some of my recent research! It truly bridges the gap between different devices (CPUs, GPUs, TPUs, etc.). I pray more people adopt it so it doesn't end up abandoned!

What is the difference between MLIR and LLVM IR code that we used to?

Can this handle undelimited continuations?

I say programs are digraphs and any compiler/compiler-ish library which represents them as serialized textual statements (other than as the final backend output) is just doing it all wrong.

Any idea if/when Clang will move to MLIR?