静的単一代入 (SSA) コンパイラ最適化の深堀り
2025-02-11
この記事は、静的単一代入 (SSA) コンパイラ最適化技術の数十年にわたる進化を詳述しています。コード移動とグローバル値番号付けに関する初期の論文から、phi 命令の最小化に関する Cytron の画期的論文、Brandis と Mössenböck の単一パス生成アプローチ、Click と Paleczny の Sea of Nodes IR まで、この記事はいくつかの重要な論文をたどり、それぞれの強みと弱点を議論しています。また、関数型プログラミングと SSA の関係に関する Appel の研究、Aycock と Horspool による反復的な phi ノード削除、抽象解釈に基づく最近の方法にも触れています。この記事は、SSA についてもっと知りたい読者にとって、より包括的な視点を与えるために、さらなる論文やリソースのリストで締めくくられています。
開発
静的単一代入