optimization - 無料で利用できる優れた SSA/SCCP リソースは何ですか?

Question

これは私がこれまでに思いついたものです：

gcc 関連:

• ツリーの SSA
• Tree SSA – GCC の新しい最適化フレームワーク
• Tree SSA GCC の新しい最適化インフラストラクチャ
• ツリー SSA の設計と実装

他の：

• マシン SUIF のスパース条件付き定数伝播の実装
• 明示的並列プログラムのための同時静的単一代入形式と定数伝搬

私はこれをコミュニティ wiki にしました。ご自由に独自のリソースを追加してください - ありがとう!

Answer 1

GCC は、これらの論文で説明されている SSA (Chow の HSSA) を使用しなくなったことに注意してください。むしろ、「エイリアスオラクル」を使用してメモリアドレス間のあいまいさを解消します。スカラー変数には引き続き SSA を使用します。

資力：

• 「 GCC の伝播エンジン」を見逃していたことに驚いています。これは、SCCP の一般的なフレームワークと、GCC で使用されるその他の疎な条件付き分析について説明したものです。
• Lenart と Sadlerは SCCP を型推論に拡張します。
• Pattersonは、SCCP を値範囲の伝播に拡張します (また、コピーの伝播も可能にします)。これがGCCが使用するアルゴリズムであると確信しています。
• 最後に、アルゴリズムについて説明し、シンボリック実行 (SCCP のコア) を SSA の構築にも拡張しようとする、私自身の短い論文を提案するほど大胆になる場合があります。