LLVM IR Viewer

Purpose & User Intent: Der LLVM IR Viewer löst das genaue Problem, die Struktur und Beziehungen im LLVM-IR-Code offenzulegen. Zielnutzer sind Compiler-Ingenieure, Optimierungsforscher und fortgeschrittene Lehrkräfte, die IR-Schnipsel prüfen, um Pässe zu validieren, Anomalien zu erkennen und Transformationen zu vergleichen. Das Tool akzeptiert einen Textblock LLVM IR und liefert ein maschinenlesbares Diagramm sowie knappe Zusammenfassungen, die Review und Debugging unterstützen.

Core Logic & Features: Domänenfähigkeiten umfassen IR-Parsing, Extraktion von Funktionen und Basisblöcken sowie Aufbau eines Kontrollflussgraphs (CFG) und eines Datenflussgraphs (DFG). Erforderliche Features sind lexikalische und syntaktische Analyse, Verknüpfung von Blöcken über Terminatoren und Zuordnung pro-Instruktions-Metadaten. Optionale/erweiterte Features umfassen Alias-Hinweise, Indikatoren zur Inlining-Auswirkung und bereichsübergreifende Datenfluss-Spuren. Ausgaben umfassen JSON-Schemata für CFG/DFG und eine kompakte, menschenlesbare Zusammenfassung.

Inputs & Outputs: Eingaben sind LLVM-IR-Text (erforderlich) und optionale Scope-Steuerungen (z. B. Funktionsname, Modul). Ausgaben sind strukturierte Daten: CFG-Kanten, Basisblöcke, Instruktionslisten und eine kompakte JSON-Zusammenfassung; plus eine lesbare Beschreibung. Die Ausgabe richtet sich an nachgelagerte Tools und Editoren, die schnelle Visualisierung benötigen.

Algorithms & Calculations: Das Tool tokenisiert IR, identifiziert Funktionsgrenzen, fasst Blöcke zusammen und verknüpft Nachfolger über Terminator-Instruktionen. Es berechnet CFG- und DFG-Strukturen und ermittelt Metriken wie Blockanzahl, Kantenzahl und potenzielle Optimierungshotspots. Die Konventionen folgen der LLVM-Text-Syntax; keine Ausführung oder dynamische Analyse.

Error & Edge Cases: Bei syntaktisch ungültigem IR meldet das Tool präzise Fehlerpositionen und, falls möglich, Teill-Graphen. Fehlende Funktionen oder fehlerhafte Blöcke können unvollständige Graphen mit Warnungen erzeugen. Große Module können chunkweise verarbeitet werden; Streaming-Ausgaben könnte in zukünftigen Releases aktiviert werden.

Industry/Region & Localization: Folgt LLVM-Projektkonventionen; Einheiten und Terminologie entsprechen den Standards der Compilertechnik. Lokalisierung betrifft nur textuelle Beschriftungen in Ausgaben; numerische Darstellungen verwenden LLVM-Standardformatierung.

Assumptions & Exclusions: Annahme, dass der Input reiner LLVM IR-Text gemäß Standard ist. Disassemblierung jenseits von IR, Ausführung von Code oder Runtime-Simulation werden ausgeschlossen. Es ist kein Decompiler oder Optimierer, sondern eine Visualisierungs- und Inspektionshilfe.