SSA の拡張
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/08 08:22 UTC 版)
SSA 形式の拡張は二種類に分類される。 改名戦略型の拡張は、異なった変数の改名基準を用いる。SSA 形式では値を代入する際に変数の名前を変えるが、これ以外の方法として各変数の参照時に名前を変える静的単一参照形式(static single use form)と、各変数の名前を代入されたときに変え、さらに変数が使用される条件節ごとに変える静的単一情報形式(static single information form)がある。 機能固有型拡張は、変数へ一度だけ代入を行うという性質を保ちつつ、新たな機能をモデル化できるよう新たな意味論を導入する。機能固有型の拡張は、配列、オブジェクトやポインタなどの高レベルプログラミング言語の機能をモデル化する。また投機実行や分岐予測などの低レベルのアーキテクチャ上の機能をモデル化する機能固有型の拡張も存在する。
※この「SSA の拡張」の解説は、「静的単一代入」の解説の一部です。
「SSA の拡張」を含む「静的単一代入」の記事については、「静的単一代入」の概要を参照ください。
ウィキペディア小見出し辞書の「SSA の拡張」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- SSA の拡張のページへのリンク
