dialect 标签归档

共 5 篇文章 · 返回首页

【编译器与 MLIR】MLIR 全景图与设计哲学

从 Module-Operation-Region-Block 四层结构出发，系统讲解 MLIR 的三条核心设计原则：渐进降阶、方言可组合性、基础设施复用，配合 IREE、CIRCT、Torch-MLIR 等实际案例建立心智模型。

解析 MLIR 的类型体系：内建类型（Integer、Float、Tensor、MemRef）与自定义方言类型的注册机制；区分 Type 与 Attribute 的设计意图；通过 OpBuilder 理解类型和属性在 IR 构造中的实际角色。

深入 MLIR 的 ODS 与 TableGen 工具链：从 .td 定义到自动生成的构建器、验证器、解析/打印器，理解声明式 IR 定义如何减少手写样板代码。

手把手构建微型 Tensor DSL：ODS 定义方言、写 tiny-to-linalg 降阶 Pass，经标准管线生成 LLVM IR，走完编译链闭环（参考 MLIR Toy 教程）。

从三阶段编译器局限出发，系统讲解 MLIR 方言、渐进降阶与 Pass 基础设施，覆盖 Tensor/Linalg/Affine/GPU 到框架桥接的完整编译链。