MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable(…)
summary
MISAAL is a synthesis-based compiler that moves expensive synthesis offline, uses instruction semantics to generate automated swizzle operators and higher-order rewrite templates, and applies light-weight term rewriting at compile time. It produces tens of thousands of concrete rewrite rules then folds them into 19x rule compression abstracted templates, and the end-to-end system reduces compilation times by up to 16x versus HYDRIDE while delivering competitive runtime across x86, Hexagon and ARM.
AI-written summary · about
chapters (12)
- 0:00MISAL introduction and goals
- 2:38MISAL synthesis methodology
- 4:24Hydrate compiler and AutoVM IR
- 6:52AutoVM IR for rewrite rules
- 8:59Program synthesis for rewrite templates
- 10:44In-register data movement
- 13:53Pruning for large-depth enumeration
- 14:56Evaluation on x86, Hexagon, ARM
- 15:59Conclusion and future directions
- 16:42Q&A: Instruction collapsing trade-offs
- 17:48Q&A: ISA pseudo code docs
- 18:53Q&A: Constants in rewrite rules
related talks
15mVerifying and Improving Halide’s Term Rewriting System with Program Synthesis
25mNice to Meet You: Synthesizing Practical MLIR Abstract Transformers
15mHieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…)
19mMinotaur: A SIMD-Oriented Synthesizing Superoptimizer
27mCompiler Support for Control-Flow Linearization Using Architectural Mimicry
19mHydra: Generalizing Peephole Optimizations with Program Synthesis
16mAutomatically Deriving Control-Flow Graph Generators from Operational Semantics
30mAutomated High-Level Synthesis Design Modularization via E-Graph Anti-Unification