Keno vereinheitlicht Julias IR in einer einzigen Datenstruktur

UnifiedIR for Julia

Keno vereinheitlicht Julias IR in einer einzigen Datenstruktur

Kenos Pull Request #62334 für JuliaLang/julia schlägt UnifiedIR vor, eine einzige IR-Datenstruktur, die den gesamten Compiler-Pipeline und externe Compiler abdeckt. UnifiedIR basiert auf einer flachen Statement-Tabelle mit hybriden Regionen über einem gemeinsamen Speicherkern (AttrGraph) und bietet Layout-Zustände, eine Registry für Kind-Dialekte, eine generische Tree-API, Kompaktierung als GC, Verifier, Parser und einen Referenz-Interpreter – alles ohne Abhängigkeiten. Die Integration bootstrappt UnifiedIR in Base vor JuliaSyntax und bindet JuliaSyntax's SyntaxGraph als Substrat ein. Zusätzlich enthält der PR einen neuen Lowering-Backend (UnifiedBackend), das strukturierte Regionen mit Graph-qualifizierter Provenienz erzeugt, sowie einen Compiler-Port, der Inferenz und Optimierung nativ auf UnifiedIR ausführt.

compact_graph! gibt dem Lowering die GC über Syntaxgraphen, die es schon immer wollte.

Mehr von diesem Tag

2026-07-19