IRDL: An IR Definition Language for SSA Compilers
summary
A compact declarative language and toolchain that generates MLIR dialect bindings as C++/tablegen or supports runtime registration, applied to the MLIR ecosystem: about 30 dialects and ~1,000 operations are translated semi‑automatically, with a runtime subset available. The system enforces a small set of reusable type/operation constraints, emits printable assembly formats, and produces concrete statistics (operand counts, constraint usage) to feed external tools and SMT/verification bridges, showing the approach works in practice.
AI-written summary · about
chapters (6)
- 0:00Intro
- 0:25Evolution of Compiler Pipelines
- 1:48MLIR Compiler Pipeline
- 4:05IRDL Objectives
- 6:00Defining a Dialect in IRDL
- 10:19Conclusion
related talks
27mR Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
48mCross-Domain Compilation: Exploiting Synergies Across the CS Community
25mNice to Meet You: Synthesizing Practical MLIR Abstract Transformers
20mMimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
01h 05mSemantic Intermediate Representations for Sound Language Interoperability
26mAn MLIR Dialect for WebAssembly
18mGraph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Af...
06mLightning Talk: Keeping Up to LLVM IR: An Introduction to LLVM IR