LLVM IR Viewer

Purpose & User Intent: LLVM IR Viewer resuelve el problema exacto de revelar la estructura y las relaciones dentro del código LLVM IR. Los usuarios objetivo incluyen ingenieros de compiladores, investigadores de optimización y docentes avanzados que inspeccionan fragmentos IR para validar pases, detectar anomalías y comparar transformaciones. La herramienta acepta un bloque de texto LLVM IR y devuelve un gráfico legible por máquina junto con resúmenes breves que ayudan a la revisión y al depurado.

Core Logic & Features: Las capacidades del dominio incluyen parsing de IR, extracción de funciones y bloques básicos, y la construcción de un grafo de flujo de control (CFG) y un grafo de flujo de datos (DFG). Las características requeridas son el parsing léxico y sintáctico, el enlace de bloques mediante terminadores y el mapeo de metadatos por instrucción. Las características opcionales/avanzadas incluyen indicios de alias, indicadores de impacto de inline y trazas de flujo de datos entre funciones. Las salidas incluyen esquemas JSON para CFG/DFG y un resumen compacto legible para una inspección rápida.

Inputs & Outputs: Las entradas son texto LLVM IR (requerido) y controles de alcance opcionales (p. ej., nombre de función, módulo). Las salidas son datos estructurados: aristas CFG, bloques básicos, listas de instrucciones y un resumen JSON compacto; además de una descripción legible. Las salidas están diseñadas para herramientas downstream y editores que necesitan visualización rápida.

Algorithms & Calculations: La herramienta tokeniza IR, identifica límites de funciones, arma bloques y enlaza sucesores mediante instrucciones terminadoras. Calcula estructuras CFG y DFG y deriva métricas como conteo de bloques, conteo de aristas y puntos de optimización potenciales. Las convenciones siguen la sintaxis textual de LLVM; no se ejecuta código ni se realiza análisis dinámico.

Error & Edge Cases: Si el IR es sintácticamente inválido, la herramienta reporta posiciones de error precisas y gráficos parciales cuando es posible. Funciones faltantes o bloques mal formados pueden producir gráficos incompletos con advertencias. Modulos grandes pueden procesarse por partes; la salida por streaming podría activarse en futuras versiones.

Industry/Region & Localization: Sigue las convenciones del proyecto LLVM; las unidades y la terminología se alinean con los estándares de la ingeniería de compiladores. La localización se aplica solo a etiquetas textuales; las representaciones numéricas usan el formato por defecto de LLVM.

Assumptions & Exclusions: Se asume que la entrada es LLVM IR textual conforme al estándar. No hay desensamblaje más allá del IR, no se ejecuta código ni se simula el runtime. No es un descompilador ni optimizador, sino una ayuda de visualización e inspección.