LLVM IR Viewer

Purpose & User Intent: O LLVM IR Viewer resolve o problema exato de revelar a estrutura e as relações dentro do código LLVM IR. Usuários-alvo incluem engenheiros de compiladores, pesquisadores de otimização e educadores avançados que inspectam trechos IR para validar passes, detectar anomalias e comparar transformações. A ferramenta aceita um bloco de texto LLVM IR e retorna um grafo legível por máquina juntamente com resumos concisos que ajudam na revisão e depuração.

Core Logic & Features: Capacidades de domínio incluem parsing de IR, extração de funções e blocos básicos e construção de um gráfico de fluxo de controle (CFG) e gráfico de fluxo de dados (DFG). Funcionalidades obrigatórias são parsing léxico e sintático, encadeamento de blocos via terminadores e mapeamento de metadados por instrução. Funcionalidades opcionais/avançadas incluem dicas de alias, indicadores de impacto de inlining e rastreamento de fluxo de dados entre funções. Saídas incluem esquemas JSON para CFG/DFG e um resumo compacto legível para inspeção rápida.

Inputs & Outputs: Entradas são texto LLVM IR (obrigatório) e controles de escopo opcionais (p.ex., nome da função, módulo). Saídas são dados estruturados: arestas CFG, blocos básicos, listas de instruções e um resumo JSON compacto; além de uma descrição legível. Saídas são projetadas para ferramentas a jusante e editores que precisam de visualização rápida.

Algorithms & Calculations: A ferramenta tokeniza IR, identifica fronteiras de função, monta blocos e liga sucessores via instruções de término. Calcula estruturas CFG e DFG e deriva métricas como contagem de blocos, contagem de arestas e hotspots potenciais de otimização. Convenções seguem a sintaxe textual do LLVM; não há execução nem análise dinâmica.

Error & Edge Cases: Se o IR for sintaticamente inválido, a ferramenta relata posições de erro precisas e gráficos parciais quando possível. Funções ausentes ou blocos malformados podem gerar gráficos incompletos com avisos. Grandes módulos podem ser processados em partes; saída em streaming pode ser ativada em versões futuras.

Industry/Region & Localization: Segue as convenções do projeto LLVM; unidades e terminologia alinham-se aos padrões de engenharia de compiladores. Localização aplica-se apenas a etiquetas textuais; representing numericas seguem o formato padrão do LLVM.

Assumptions & Exclusions: Supõe que a entrada é LLVM IR textual em conformidade com o padrão. Desmontagem além do IR, execução de código e simulação de runtime não estão incluídas. Não é um decompilador nem otimizador, mas uma ferramenta de visualização e inspeção.