Equality saturation
Also known as E-graph optimization. This is the canonical page; those names redirect here.
Pairings in the atlas
- E-graph rewriting without phase orderingspecialistCompiler optimizationprogram-analysis
Rivals: other methods for the same problems
- Available expressions
- Common subexpression elimination
- Constant propagation
- Dead code elimination
- Escape analysis
- Havlak loop nesting
- Loop interchange
- Loop tiling
- Loop unrolling
- Loop-invariant code motion
- Natural loop detection
- Partial redundancy elimination
- Polyhedral analysis
- Sparse conditional constant propagation
- Superoptimization
- Very busy expressions