Available expressions
Pairings in the atlas
- Forward must-analysisstandardRedundancy eliminationprogram-analysis
Rivals: other methods for the same problems
- 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
- Superoptimization
- Very busy expressions