Loop-invariant code motion
Also known as LICM. This is the canonical page; those names redirect here.
Pairings in the atlas
- standalonestandardCompiler 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
- Natural loop detection
- Partial redundancy elimination
- Polyhedral analysis
- Sparse conditional constant propagation
- Superoptimization
- Very busy expressions