LLVM IR Viewer

Purpose & User Intent: LLVM IR Viewer løser problemet med å avdekke struktur og relasjoner i LLVM IR-kode. Målgruppen er kompilatoringeniører, forskere innen optimering og avanserte undervisere som vurderer IR-snutter for å validere pass, oppdage avvik og sammenligne transformasjoner. Verktøyet aksepterer et blokk med LLVM IR-tekst og returnerer en maskinlesbar graf sammen med kortfattede oppsummeringer som letter gjennomgang og feilsøking.

Core Logic & Features: Domeneferdigheter inkluderer IR-parsing, funksjons- og basisblokkuttrekning og bygging av et kontrollflytgraf (CFG) og dataflytgraf (DFG). Påkrevde funksjoner er leksikal og syntaktisk parsing, kobling av blokker via terminatorer og mapping av metadata per instruksjon. Valgfrie/avanserte funksjoner inkluderer alias-hint, inline-påvirkningsindikatorer og tverrfunksjonell dataflyt-sporing. Utdata inkluderer JSON-skjemaer for CFG/DFG og et kompakt menneske-lesbart sammendrag for rask inspeksjon.

Inputs & Outputs: Inndata er LLVM IR-tekst (kreves) og valgfrie omfangskontroller (f.eks. funksjonsnavn, modul). Utdata er strukturert data: CFG-kanter, basisblokker, instruksjonslister og et kompakt JSON-sammendrag; pluss en lesbar beskrivelse. Utdata er ment for nedstrømsverktøy og redigerere som trenger rask visualisering.

Algorithms & Calculations: Verktøyet tokeniserer IR, identifiserer funksjonsgrenser, setter sammen blokker og kobler etterfølgere via terminatorinstruksjoner. Det beregner CFG- og DFG-strukturer og avleder metrikk som blokktall, kantantall og potensielle optimeringshotspots. Konvensjoner følger LLVMs tekstlige syntaks; ingen kjøring eller dynamisk analyse utføres.

Error & Edge Cases: Hvis IR er syntaktisk ugyldig, rapporterer verktøyet presise feilposisjoner og delvise grafer der det er mulig. Manglende funksjoner eller blokker kan gi ufullstendige grafer med advarsler. Store moduler kan behandles i deler; strømmende utdata kan aktiveres i fremtidige releaser.

Industry/Region & Localization: Følger LLVM-prosjektets konvensjoner; enheter og terminologi følger standarder innen kompilatorutvikling. Lokalisering gjelder kun tekstetiketter i utdata; numeriske representasjoner følger LLVMs standardformatering.

Assumptions & Exclusions: Forutsetter at inndata er tekstbasert LLVM IR i samsvar med standarden. Disassemblering utover IR, kjøring av kode og runtime-simulering utelates. Det er ikke en decompiler eller optimizer, men et visualiserings- og inspeksjonsverktøy.