1.2.3 低级 IR (LIR)

文档摘要

1.2.3 低级 IR (LIR) 低级中间表示（Low-Level Intermediate Representation，LIR）不是编译器流水线末端那层“离机器最近”的哑巴字节流，也不是前端语义分析后飘在空中的抽象语法树；它是编译器工程师真正开始握紧扳手、拧紧螺栓、校准寄存器映射精度的临界地带。在这里，高级语言的优雅被解构，但尚未被硬件驯服；它既保留着可推演、可验证、可重写的形式化骨架，又已嵌入目标架构最真实的肌理——指令集约束、延迟槽、寄存器类划分、调用约定、内存一致性模型。LIR 不是过渡态，而是编译优化与代码生成之间那道不可绕行的窄门：所有寄存器分配、指令调度、窥孔优化、栈帧布局、异常表注入，都必须在这扇门内完成逻辑闭环。