Julia의 모든 IR을 하나로: Keno의 UnifiedIR 제안
UnifiedIR for Julia
Keno가 Julia의 컴파일러 파이프라인과 외부 컴파일러를 아우르는 단일 IR 데이터 구조인 UnifiedIR을 제안하는 PR을 공개했습니다. 이 구조는 플랫 문 테이블과 하이브리드 리전을 기반으로 하며, JuliaSyntax의 SyntaxGraph와 JuliaLowering의 백엔드를 통합합니다. 또한 CodeInfo 변환기, UnifiedIR 기반 추론 포트, 최적화 패스, 그리고 소스 위치 추적을 위한 provenance 메커니즘을 포함합니다. PR은 설계 문서, 데모, 그리고 10,000개 이상의 퍼즈 테스트를 포함한 포괄적인 테스트를 제공합니다.
compact_graph!는 lowering이 항상 원했던 syntax graph에 대한 GC를 제공합니다.