LLVM IR Viewer

Purpose & User Intent: De LLVM IR Viewer lost het exacte probleem op om de structuur en relaties in LLVM-IR-code bloot te leggen. Doelgebruikers zijn compiler-ingenieurs, onderzoekers naar optimalisatie en gevorderde docenten die IR-fragementen controleren om passes te valideren, anomalieën te detecteren en transformaties te vergelijken. De tool accepteert een blok LLVM IR-tekst en levert een machineleesbare grafiek plus beknopte samenvattingen die beoordeling en debugging ondersteunen.

Core Logic & Features: Domein-capabilities omvatten IR-parsing, functie- en basisblok-extractie, en de constructie van een control-flow graph (CFG) en data-flow graph (DFG). Vereiste features zijn lexicale en syntactische parsing, blokkoppeling via terminatoren, en per-instructie metadata-mapping. Optionele/advanced features omvatten aliashints, inline-impact-indicatoren, en cross-functie dataflow-traces. Outputs omvatten JSON-schema's voor CFG/DFG en een compacte menselijke samenvatting voor snelle inspectie.

Inputs & Outputs: Invoer is LLVM IR-tekst (vereist) en optionele scopes (bv. functienaam, module). Uitvoer is gestructureerde data: CFG-randen, basisblokken, instructielijsten, en een compacte JSON-samenvatting; plus een leesbare beschrijving. Uitvoer is ontworpen voor downstream tooling en editors die snelle visualisatie nodig hebben.

Algorithms & Calculations: De tool tokeniseert IR, identificeert functiedrempels, assembleert blokken en koppelt opvolgers via terminator-instructies. Het berekent CFG- en DFG-structuren en haalt metriek op zoals blok-aantal, rand-aantal en potentiële optimalisatie-hoofdepunten. Conventies volgen LLVM’s tekstuele syntaxis; geen uitvoering of dynamische analyse.

Error & Edge Cases: Als de IR syntactisch ongeldig is, geeft de tool precieze foutposities en gedeeltelijke grafieken waar mogelijk. Ontbrekende functies of verkeerd gevormde blokken kunnen incomplete grafieken opleveren met waarschuwingen. Grote modules kunnen in chunks worden verwerkt; streaming-uitvoer kan in toekomstige releases worden geactiveerd.

Industry/Region & Localization: Volgt LLVM-projectconventies; eenheden en terminologie sluiten aan bij compiler-ingenieursnormen. Lokalisatie is beperkt tot tekstuele labels in outputs; numerieke representaties gebruiken LLVM’s standaardopmaak.

Assumptions & Exclusions: Veronderstelt dat de invoer tekstueel LLVM IR conform de standaard is. Disassembleren buiten IR, geen code-uitvoering en geen runtime-simulatie. Het is geen decompiler of optimizer, maar een visualisatie- en inspectiehulpmiddel.