ssa 标签归档

共 3 篇文章 · 返回首页

【编译器与 MLIR】操作、方言与 IR 的 C++ 表示

深入 Operation、Op、Value、Block、Region 的 C++ 内存布局与继承体系：CRTP 模板包装、SSA 值的两种来源、Use 链表的遍历方法。这是后续所有 Pass 写作的基础。

解析 MLIR 的嵌套区域控制流表示：Block 参数替代 phi 节点的设计动机、Region 的 SSACFG 与 Graph 两种类型、结构化控制流的表示能力，以及与 LLVM 经典 SSA 形式的对比。

SSA 是现代编译器 IR 的核心表示形式。从支配树到 φ 函数，理解 SSA 的构造和优化是深入编译器的必经之路。