1.1.3 设计高质量 IR 的评判标准

文档摘要

1.1.3 设计高质量 IR 的评判标准设计高质量中间表示（IR），从来不是在白板上画几个方框、定义几条语法规则就能一劳永逸的事。它是一场精密的工程权衡——在语义保真度与遍历开销之间，在跨语言抽象与目标平台特化之间，在编译器前端可读性与后端优化潜力之间，反复校准、持续迭代。我曾在 LLVM 12 的 IR 重构中参与类的内存布局重排；也曾在为 RISC-V 嵌入式后端定制轻量级 SSA IR 时，亲手将一条节点的构造延迟从 O(n²) 降至 O(n log n)；更在某次 JIT 编译器热路径优化失败后，回溯发现根源竟是 IR 中一条看似无害的操作隐式携带了未声明的对齐约束，导致寄存器分配器误判数据依赖。