問題タブ [ssa]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
compiler-construction - ブロック パラメーターを含む SSA フォームの名前
最近の命令型言語用の最適化コンパイラのほとんどは、各変数が 1 か所にのみ割り当てられる静的な単一代入形式を使用しています。
従来、SSA は phi ノードを使用して、ループ内で繰り返し変数を割り当てることができるという要件とこれを調整します。ただし、最近、基本ブロックにパラメーターを持たせる代わりに、いくつかの作業が行われました。これらは表現力において形式的に同等です。ブロック パラメーターを使用すると、いくつかのことが phi ノードよりも少し簡単になりますが、他のことは少し難しくなります。
と呼ばれるphi ノードの代わりにブロック パラメーターを使用する以外の静的単一代入とは何ですか? それはまだSSAと呼ばれていますか、それともファイノードの使用を厳密に暗示していますか? 後者の場合、ブロック パラメーター バリアントの適切な名前は何ですか?