Category:コンパイラ最適化

静的単一代入
Static single-assignment form
部分評価
Partial evaluation
データフロー解析
Data-flow analysis
大域値番号付け
Global value numbering
命令スケジューリング
Instruction scheduling
先行評価
Eager evaluation
コピーの省略
Copy elision
再実体化
Rematerialization
ループ不変量コード移動
Loop-invariant code motion
デッドコード削除
Dead-code elimination
ループ分割とループ融合
Loop fission and fusion
トレーススケジューリング
Trace scheduling
疎な条件分岐を考慮した定数伝播
Sparse conditional constant propagation
共通部分式除去
Common subexpression elimination
ソフトウェアパイプライン
Software pipelining
のぞき穴的最適化
Peephole optimization
ベクトル化
Image tracing
レジスタ割り付け
Register allocation
演算子強度低減
Strength reduction
定数畳み込み
Constant folding
ループ展開
Loop unrolling
遅延評価
Lazy evaluation
到達不能コード
Unreachable code
コンパイラ最適化

短絡評価
Short-circuit evaluationインライン展開
Inline expansion