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