pattern di ottimizzazione dello spioncino

Question

Ho letto le tecniche del compilatore di ottimizzazione locale, ma continuo a non capire come vengono implementate. L'idea è che l'ottimizzatore guardi ogni volta una "finestra" del codice e in qualche modo rilevi schemi e li sostituisca con versioni più ottimizzate.

La mia domanda è: come si scoprono questi modelli? (supponiamo che la tua piattaforma sia una VM che emette codice assembly per un computer inventato, come Hack di Schocken).

Le persone ispezionano il codice manualmente (utilizzando i diagrammi di flusso di controllo o i DAG o altro) e quindi raccolgono tutti i modelli identificati e li codificano nell'ottimizzatore? O c'è un modo automatico.

Ad esempio, si alimenta il codice in fase di ottimizzazione in un analizzatore e si spiegano i suddetti motivi. Se è così, come si può iniziare a scriverne uno?

Answer 1

Le ottimizzazioni dello spioncino classico non riguardano la riduzione della forza e le altre cose che nominate. Sono 2-3 sequenze di istruzioni, come ad esempio

BRANCH FALSE $1 
BRANCH $2 
$1: 

che può essere ridotto a

BRANCH TRUE $2 

Sequenze come questa può sorgere in generatori di codice naive come venire con compilatori single-pass che non lo fanno generare AST, come alcuni compilatori COBOL su cui ho lavorato.

Answer 2

Dipende da voi se scrivere il proprio analizzatore o utilizzare quelli esistenti. In entrambi i casi l'analizzatore continua a controllare il codice fino a quando non è più ottimizzato. Se si presta un esempio di GCC, ha passaggi specifici per l'ottimizzazione. Il codice intermedio del programma viene assegnato a questi passaggi che vengono eseguiti uno dopo l'altro e ottimizzano il codice. Anche qualsiasi pass può essere eseguito più di una volta.
Se si desidera approfondire la modalità di scrittura di queste ottimizzazioni, è sufficiente passare attraverso il file pass in GCC.