Was sind gute, frei verfügbare SSA/SCCP-Ressourcen? Diese

Question

ist, was ich tun konnte, so weit:

gcc bezogen werden:

• 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

Sonstiges:

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

Ich habe dies ein Community Wiki, also bitte Ihre eigenen Ressourcen fühlen sich frei hinzuzufügen gemacht - danke!

Answer 1

Sie sollten sich bewusst sein, dass GCC nicht mehr die in diesen Papieren beschriebene SSA verwendet (Chows HSSA). Stattdessen verwendet es ein "Alias-Orakel", um zwischen Speicheradressen zu unterscheiden. Es verwendet immer noch SSA für skalare Variablen.

Ressourcen:

• Ich bin überrascht, dass Sie verpasst haben: „A propagation engine for GCC“, die den allgemeinen Rahmen für die SCCP und andere spärlich bedingten Analysen in GCC verwendet beschrieben.
• Lenart and Sadler SCCP erweitern, um Inferenz zu schreiben.
• Patterson erweitert SCCP auf Wertebereichsweitergabe (und ermöglicht auch Kopierfortpflanzung). Ich bin mir ziemlich sicher, dass dies der Algorithmus ist, den GCC verwendet.
• Schließlich, wenn ich so fett sein kann, um my own short paper vorschlagen, die den Algorithmus diskutiert, und versucht, symbolische Ausführung (der Kern von SCCP) zum Aufbau von SSA sowie zu erweitern.