自由に利用できるSSA/SCCPリソースとは何ですか？

Question

これは私がこれまでに思い付くことができるものである：関連

GCC：

• SSA for Trees
• Tree SSA – A New Optimization Framework for GCC
• Tree SSA A New Optimization Infrastructure for GCC
• Design and Implementation of Tree SSA

その他：

• An Implementation of Sparse Conditional Constant Propagation for Machine SUIF
• Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs

私は自分自身のリソースを追加すること自由に感じなさい、このコミュニティのwiki作った - 感謝を！

Answer 1

GCCはこれらの論文（ChowのHSSA）で説明されているSSAを使用しないことに注意してください。むしろ、メモリアドレス間の曖昧さを排除するために「エイリアスオラクル」を使用します。スカラー変数にはまだSSAが使用されています。

資源：

• 私はあなたが逃した驚い：SCCPおよびGCCで使用される他のまばらな条件の分析のための一般的な枠組みを説明し、「A propagation engine for GCC」、。
• Lenart and Sadler SCCPを型推論に拡張します。
• Pattersonは、SCCPを値域の伝播に拡張します（また、コピーの伝播も可能です）。私はこれがGCCのアルゴリズムであると確信しています。
• 最後に、私がmy own short paperを提案するように大胆になり、シンボリック実行（SCCPのコア）をビルドSSAにも拡張しようとしています。