Superoptimization
Also known as Stochastic superoptimization. This is the canonical page; those names redirect here.
Pairings in the atlas
- Stochastic instruction-sequence searchspecialistCompiler optimizationprogram-analysis
Rivals: other methods for the same problems
- Available expressions
- Common subexpression elimination
- Constant propagation
- Dead code elimination
- Equality saturation
- 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
- Very busy expressions