Φ 関数の数を減らすための方法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/08 08:22 UTC 版)
「静的単一代入」の記事における「Φ 関数の数を減らすための方法」の解説
"最小の" SSA はそれぞれの名前に一度だけ変数が割り当てられることを保証し、もともとのプログラムでの名前の参照(変数の使用箇所)が一意の名前を参照できることを保証する。(後者はコンパイラが各操作の対象となる変数の名前を特定できるようにするために必要である) しかし、Φ 関数の一部はデッドコードである可能性がある。このため、最小の SSA は必ずしも特定の手続きに必要な最小の Φ 関数を生成する必要はない。方法によっては、このような Φ 関数は無用であり、解析の効率を落としてしまう。
※この「Φ 関数の数を減らすための方法」の解説は、「静的単一代入」の解説の一部です。
「Φ 関数の数を減らすための方法」を含む「静的単一代入」の記事については、「静的単一代入」の概要を参照ください。
- Φ 関数の数を減らすための方法のページへのリンク