The acyclic e-graph: Cranelift's mid-end optimizer

Chris Fallin documents Cranelift's acyclic e-graph (aegraph), a mid-end optimizer that uses equality saturation principles to improve compilation. The post covers the design rationale, implementation challenges solved to make it efficient, and evaluation results against alternatives, drawing on three years of development and community feedback from PLDI and Dagstuhl seminars.