Similar to 静的単一代入

Inline expansion

Strength reduction

Common subexpression elimination

Copy elision

Rematerialization

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-invariant code motion

Loop fission and fusion

Register allocation