LLVM IR Viewer

Purpose & User Intent: LLVM IR Viewer risolve il problema di rivelare struttura e relazioni nel codice LLVM IR. Gli utenti mirati includono ingegneri del compilatore, ricercatori sull’ottimizzazione e docenti avanzati che esaminano snippet IR per validare passaggi, rilevare anomalie e confrontare trasformazioni. Lo strumento accetta un blocco di testo LLVM IR e restituisce un grafo leggibile dalla macchina accanto a riassunti concisi che agevolano revisione e debug.

Core Logic & Features: Le capacità di dominio includono parsing IR, estrazione di funzioni e blocchi base, e la costruzione di un grafo di controllo del flusso (CFG) e di un grafo di flusso dei dati (DFG). Le funzionalità richieste sono parsing lessicale e sintattico, collegamento dei blocchi tramite terminatori, e mapping di metadati per istruzione. Caratteristiche opzionali/avanzate includono suggerimenti di alias, indicatori di impatto dell’inlining, e tracciamento del flusso di dati tra funzioni. Le uscite includono schemi JSON per CFG/DFG e un sommario compatto leggibile per ispezione rapida.

Inputs & Outputs: Ingressi sono testo LLVM IR (obbligatorio) e controlli di ambito opzionali (es. nome funzione, modulo). Le uscite sono dati strutturati: archi CFG, blocchi base, elenchi di istruzioni e un sommario JSON compatto; più una descrizione leggibile. Le uscite sono progettate per strumenti a valle e editor che necessitano di visualizzazione rapida.

Algorithms & Calculations: Lo strumento tokenizza IR, identifica i confini delle funzioni, assembla i blocchi e collega i successor tramite istruzioni di terminazione. Calcola strutture CFG e DFG e ricava metriche quali conteggio blocchi, conteggio archi e potenziali hotspot di ottimizzazione. Convenzioni seguono la sintassi testuale di LLVM; non viene eseguito codice o analisi dinamica.

Error & Edge Cases: Se l’IR è sintatticamente non valido, lo strumento riporta posizioni di errore precise e grafici parziali quando possibile. Funzioni mancanti o blocchi malformati possono produrre grafi incompleti con avvisi. Moduli grandi possono essere processati a blocchi; uscite in streaming potrebbero essere attivate in versioni future.

Industry/Region & Localization: Segue le convenzioni del progetto LLVM; unità e terminologia sono allineate agli standard dell’ingegneria del compilatore. Localizzazione si applica solo alle etichette testuali; le rappresentazioni numeriche utilizzano il formato predefinito di LLVM.

Assumptions & Exclusions: Si presuppone che l’input sia LLVM IR testuale conforme allo standard. Disassemblaggio oltre l’IR, esecuzione del codice e simulazione del runtime sono esclusi. Non è un decompiler o un optimizer, ma un supporto per visualizzazione e ispezione.