Similar to ループ不変量コード移動

Inline expansion

Strength reduction

Common subexpression elimination

Copy elision

Rematerialization

Static single-assignment form

Eager evaluation

Sparse conditional constant propagation

Software pipelining

Global value numbering

Short-circuit evaluation

Lazy evaluation

Constant folding

Data-flow analysis

Dead-code elimination

Unreachable code

Trace scheduling

Peephole optimization

Partial evaluation

Image tracing

Instruction scheduling

Loop unrolling

Loop fission and fusion

Register allocation