LLVM IR Viewer

Purpose & User Intent: LLVM IR Viewer löser problemet med att avslöja struktur och relationer i LLVM IR-kod. Målgruppen är kompilatoringenjörer, forskare inom optimering och avancerade lärare som granskar IR-snuttar för att validera pass, hitta avvikelser och jämföra transformationer. Verktyget accepterar en block av LLVM IR-text och returnerar ett maskinläsbart graf samt koncisa sammanfattningar som underlättar granskning och felsökning.

Core Logic & Features: Domänens kapaciteter inkluderar IR-parse, funktion- och bas-blockshämtning samt konstruktion av ett kontrollflödesgraf (CFG) och datatsflödesgraf (DFG). Nödvändiga funktioner är lexikal och syntaktisk parsing, blocklänkning via terminatorer och metadata-mappning per instruktion. Valfria/avancerade funktioner inkluderar alias-hintar, inlining-påverkansindikatorer och tvärfunktionsdata-flows-spårning. Utgångar inkluderar JSON-scheman för CFG/DFG och en kompakt människoläsbar sammanfattning för snabb inspektion.

Inputs & Outputs: Indata är LLVM IR-text (krävs) och valfria omfångskontroller (t.ex. funktionsnamn, modul). Utdata är strukturerad data: CFG-kanter, bas-block, instruktionlistor och en kompakt JSON-sammanfattning; plus en läsbar beskrivning. Utdragen är avsedda för nedströmsverktyg och redigerare som behöver snabb visualisering.

Algorithms & Calculations: Verktyget tokeniserar IR, identifierar funktionsgränser, sammanställer block och länkar efterträdare via termineringsinstruktioner. Det beräknar CFG- och DFG-strukturer och drar ut metrik som blockantal, kantantal och potentiella optimerings-hotsplots. Konventioner följer LLVM:s textbaserade syntax; ingen körning eller dynamisk analys görs.

Error & Edge Cases: Om IR är syntaktiskt ogiltigt rapporterar verktyget exakta felpositioner och partiella grafiker när det är möjligt. Saknade funktioner eller felaktiga block kan ge ofullständiga grafiker med varningar. Stora moduler kan behandlas i delar; strömmande utdata kan aktiveras i framtida versioner.

Industry/Region & Localization: Följer LLVM-projektkonventioner; enheter och terminologi följer standarder inom kompi­lerutveckling. Lokalisering gäller endast textetiketter i utdata; numeriska representationer följer LLVM:s standardformatering.

Assumptions & Exclusions: Antar att inmatningen är textbaserad LLVM IR som följer standarden. Disassemblering utanför IR, kodkörning och runtime-simulering utesluts. Det är inte en dekompilator eller optimerare, utan ett visualiserings- och inspektionsverktyg.