UnifiedIR introduit une représentation d'IR unifiée (table de statements plate, AttrGraph, régions hybrides, états de layout, vérificateur, printer/parser et interpréteur de référence) intégrée dans Base et disponible en package, avec un registre de kinds partagé et zéro dépendance.
La porcelaine SyntaxGraph/SyntaxTree repose sur UnifiedIR pour l'indexation d'enfants, les attributs, la marche de provenance via la colonne :source, la sérialisation/parse et la collecte compacte/GC d'AST.
JuliaLowering.UnifiedBackend et Compiler.Unified fournissent une frontière d'émission et d'inférence sur UnifiedIR (émission de régions structurées, inférence locale, passes d'optimisation SROA/inline/ADCE, API de requêtes) et s'intègrent à la chaîne de compilation avec tests et démonstrations.
Un ensemble complet de passes de promotion de cellules (promote_arm/loop/island/undef/capture), vérifiées par fuzzing différentiel, correspondance frontière de dominance et tests machine-checkables, corrige des cas de staleness/backedge/ordre et augmente fortement l'élimination de cellules sur le corpus.
L'analyse de capture et la matérialisation des closures décident valeur vs partage de manière structurale, autorisent la fusion en champs mutables quand sûr, conservent des fallbacks sûrs, et sont accompagnées de docs, démos et batteries de tests de compatibilité et de performance.