LLVM IR Viewer

Purpose & User Intent: Le LLVM IR Viewer résout le problème exact consistant à révéler la structure et les relations dans le code LLVM IR. Les utilisateurs cibles sont les ingénieurs compilateurs, les chercheurs en optimisation et les enseignants avancés qui examinent des extraits IR pour valider les passes, détecter les anomalies et comparer les transformations. L’outil accepte un bloc de texte LLVM IR et renvoie un graphe lisible par machine, accompagné de résumés concis facilitant la revue et le débogage.

Core Logic & Features: Les capacités du domaine incluent l’analyse lexicale et syntaxique, l’extraction des fonctions et blocs de base, et la construction d’un CFG et d’un DFG. Les fonctions requises sont le parsing lexical et syntaxique, le rattachement des blocs via les terminators et le mapping des métadonnées par instruction. Les fonctionnalités optionnelles/avancées incluent les indices d’alias, des indicateurs d’impact d’inlining et des traces de flux de données inter-fonctions. Les sorties incluent des schémas JSON pour CFG/DFG et un résumé compact lisible par l’homme pour une inspection rapide.

Inputs & Outputs: Les entrées sont du texte LLVM IR (requis) et des contrôles de portée optionnels (par exemple nom de la fonction, module). Les sorties sont des données structurées: arêtes CFG, blocs de base, listes d’instructions et un résumé JSON compact; plus une description lisible. Les sorties sont conçues pour les outils en aval et les éditeurs nécessitant une visualisation rapide.

Algorithms & Calculations: L’outil tokenise le IR, identifie les frontières des fonctions, assemble les blocs et relie les successeurs via les instructions de terminaison. Il calcule les structures CFG et DFG et dérive des métriques telles que le nombre de blocs, le nombre d’arêtes et les hotspots potentiels d’optimisation. Les conventions suivent la syntaxe textuelle de LLVM; aucune exécution ou analyse dynamique n’est réalisée.

Error & Edge Cases: Si le IR est syntaxiquement invalide, l’outil rapporte les positions d’erreur précises et des graphes partiels lorsque possible. Des fonctions manquantes ou des blocs malformés peuvent produire des graphes incomplets avec avertissements. Les gros modules peuvent être traités en morceaux; les sorties en streaming pourraient être activées dans de futures versions.

Industry/Region & Localization: Respecte les conventions du projet LLVM; l’unité et la terminologie s’alignent sur les standards de l’ingénierie du compilateur. La localisation s’applique uniquement aux étiquettes textuelles; les représentations numériques utilisent le formatage par défaut de LLVM.

Assumptions & Exclusions: Suppose que l’entrée est du LLVM IR textuel conforme au standard. L’analyse ne couvre pas le désassemblage au-delà de l’IR, n’exécute pas le code et n’émule pas le comportement en temps réel. Ce n’est pas un décompilateur ni un optimiseur, mais une aide à la visualisation et à l’inspection.