Overview
These are introductory notebooks for the basics of compiler development in xDSL. We currently provide two series of notebooks on manipulating IR and working with assembly-level dialects.
We use Marimo, a modern Python notebook that runs in your browser. It keeps a dependency graph between cells in the notebook, re-running all dependencies of a cell that you change. Note that each notebook automatically installs xDSL in an environment in your browser tab when you open it, so you may need to wait a little for installation to complete and re-run all the cells.
Manipulating IR
This series introduces MLIR IR, and xDSL APIs to traverse it, define your own IR constructs, and implement your rewrites.
- Introduction
- Func, Arith, and SCF Dialects
- Traversing IR
- Builders
- IR Generation
- Rewrites
- Rewrite Exercises
- Defining Dialects
- Pattern Description Language (PDL)
RISC-V Dialects
This series of notebooks introduces the RISC-V dialects, which let us represent assembly-level concepts as MLIR IR.