1.2.2 中级 IR (MIR)

文档摘要

1.2.2 中级 IR (MIR) 中级 IR（MIR）不是编译器流水线里一个安静的中转站，而是一场精密的“语义压缩实验”——它把前端高阶语言中那些充满歧义、嵌套、隐式控制与语法糖的表达，强行压进一组可验证、可遍历、可重写、可调度的骨架结构中。你不会在这里看到的优雅，也不会再被的运算符优先级牵着鼻子走；取而代之的是：一条条干净利落的三地址指令，一张张节点间箭头如血管般搏动的控制流图，以及在它们交界处悄然浮现的、决定优化成败的数据流事实。这正是 MIR 的本质：语义无损的可控降维。它不追求人类可读性，却苛求机器可推理性；它放弃表达力换取确定性，用结构换来了分析自由度。