Partial redundancy elimination
Also known as PRE, Lazy code motion. This is the canonical page; those names redirect here.
Pairings in the atlas
- Lazy code motionspecialistCompiler 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
- Polyhedral analysis
- Sparse conditional constant propagation
- Superoptimization
- Very busy expressions