Semi-pruned SSA
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/08 08:22 UTC 版)
「静的単一代入」の記事における「Semi-pruned SSA」の解説
Semi-pruned SSA 形式 は、生存変数の情報を求める比較的高い計算コストを要せず、Φ 関数の数を減らすための試みである。Semi-pruned SSA は次の観察に基づいている:「変数が基本的なブロックに入る際に生存していなければ、 Φ 関数は必要ない」。従って、SSA の構築の際、ブロックの局所変数に対する Φ 関数は省略可能である。 ブロックの局所変数のセットを求めるのは完全な生存変数解析を行うより簡単で高速に実行でき、pruned な SSA 形式を求めるより高速である。一方、pruned な SSA 形式のほうが不要な Φ 関数は少ない。
※この「Semi-pruned SSA」の解説は、「静的単一代入」の解説の一部です。
「Semi-pruned SSA」を含む「静的単一代入」の記事については、「静的単一代入」の概要を参照ください。
- Semi-pruned SSAのページへのリンク