libfirm. libfirm è una libreria che fornisce una rappresentazione intermedia e ottimizzazioni per i compilatori.
Scarica ora

libfirm. Classifica e riepilogo

libfirm. Tag

ottimizzazione compilatore Rappresentazione del compilatore Ottimizzazione del compilatore Biblioteca aziendale rappresentazione

libfirm. Descrizione

LibFirm è una biblioteca che fornisce una rappresentazione intermedia e ottimizzazioni per i compilatori. LibFirm è una biblioteca che fornisce una rappresentazione intermedia e ottimizzazioni per i compilatori. I programmi sono rappresentati in una forma SSA a base di grafici. L'azienda viene utilizzata per rappresentare i programmi per computer in un programma per computer per analizzare e trasformarlo. L'applicazione principale dell'azienda è la costruzione del compilatore in cui lo usiamo per rappresentare, ottimizzare e trasformare i programmi C e Java per il codice della macchina nativo. Ecco alcune caratteristiche chiave di "libffirm": · Funziona esclusivamente su una rappresentazione SSA basata su grafici ("Sea of Nodes") fino alle emissioni di codice di assemblatore. Basato sul lavoro di C. Click e M. Trapp · Scritto in portatile C. noto per eseguire su MSVC 6-8 Win32, GCC su Linux, FreeBSD, Cygwin · Include la documentazione doxygen · Supporto per gerarchie di tipo orientata agli oggetti Analisi: · Dominanza · Loop Tree. · Frequenza di esecuzione · Controllare le dipendenze · Grafico di chiamata inter-procedurale · Tipo rapido · Uso della def · Analisi alias. · Analisi della gerarchia di classe Ottimizzazioni: · Eliminazione del codice morto (avviene implicitamente) · Piegatura costante (succede al volo) · Eliminazione della sottoprimazione comune locale (avviene al volo) · Identità aritmetiche (succede al volo) · Eliminazione del codice irraggiungibile · Eliminazione della subaespressione comune globale · Posizionamento del codice · Riduzione della forza dell'operatore · Sostituzione scalare · Caricare / memorizzare l'ottimizzazione · Controlla le ottimizzazioni del flusso · Se-conversione · Valutazione delle condizioni parziali · Rivalutazione · Eliminazione della ricorsione della coda · Inline · Clonazione della procedura · Amplici checker · Supporto per debug migliorato: Breakpoint sulla creazione del nodo, creazione di entità, dumping grafico, estensione di debug di Visual Studio · Abbassamento di intrinseca, doppia parola Arithmetics, bitfields Caratteristiche del backend generico: · Nuovo allocatore del registro basato su SSA SSA · Diversi algoritmi di versamento · Parecchi algoritmi di coalescente copia SSA · Algoritmi per istruzioni e programmazione del blocco di base · Abiti per movimentazione · Lavorare il backend IA32 con supporto per il punto flottante X87 e SSE2 · Tenori incompiuti per MIPS, braccio, PPC32 · Collegamenti con il Gruppo Edison Design C e Frontend Java disponibili. Cosa c'è di nuovo in questa versione: · Bugfixes. · Ottimizzazione del carico / negozio avanzato che i paranchi vengono caricati dai loop · Ristrutturazione interna: molte delle strutture del nodo vengono generate automaticamente da un file di specifica ora. · Aggiungi supporto per diverse convenzioni di chiamata · Nuovo supporto sperimentale per la lettura e la scrittura di programmi a disco · Supporto e ottimizzazione per i trampolini · Correggere il supporto PIC

libfirm. Software correlato