La forma SSA vale la pena se il codice genera un linguaggio di alto livello?

È piuttosto difficile rispondere in modo definitivo senza saperne di più sulla lingua che stai scrivendo. Tuttavia, è probabilmente utile pensare a quale tipo di trasformazioni di codice ti aspetti di eseguire tra il controllo del tipo e il codice gen. Se stai pianificando alcuni passaggi di ottimizzazione o qualche forma di sofisticata memoria o analisi di blocco, allora potrebbe valerne la pena.

Per lo stesso motivo è difficile dire se una rappresentazione intermedia possa aiutare o ostacolare le ottimizzazioni del C. Probabilmente è corretto dire che se si utilizza un IR di basso livello, come quelli di LLVM, si rischia di perdere informazioni di tipo che a loro volta potrebbero limitare le analisi con cui il compilatore C può lavorare.

Per ispirazione, ti consiglio di consultare i recenti lavori su RIR's MIR o SIL di Swift che sono entrambi IR di alto livello che conservano le informazioni sul tipo. È interessante notare che entrambi si abbassano all'IR di LLVM per l'ottimizzazione e il codice gen. Le discussioni coprono il costo delle prestazioni, ed entrambe hanno sostenuto la spesa del ri-factoring per includere l'IR di alto livello. Avevano diverse ragioni per l'inclusione, ma entrambe, in effetti, includevano passaggi di analisi sofisticati che consideravano giustificato il costo. YMMV naturalmente.

Sul lato dell'ottimizzazione della tua domanda, la risposta è no. Le ottimizzazioni del compilatore C non saranno mirate al codice C simile a SSA. Sarà mirato al codice che assomiglia al codice C.

Inoltre, il modulo SSA può esprimere cose a un livello che C non può; LLVM IR può esprimere più di C. Può avere invarianti (o varianti) che C non può - per esempio, diverse regole di aliasing.

In assoluto migliore , il compilatore C ottimizzerà altrettanto bene il compilatore LLVM.

Sembra che l'SSA rappresenti un ulteriore passo nel tuo caso e mi chiedo se hai considerato se vale la pena di preoccuparsi della possibile ottimizzazione.

A volte il tuo linguaggio può essere utilizzato per scrivere funzioni / procedure che eseguono calcoli pesanti che non chiamano funzioni di livello inferiore ? Se è così, l'ottimizzazione a livello di compilatore è un problema valido.

Chiedo solo perché a volte le persone sono preoccupate dell'ottimizzazione nel codice in cui il puntatore dell'istruzione è raramente, perché è nelle funzioni di livello inferiore o perché non viene chiamato così spesso.