本文介绍了 MLIR 中的 IR 结构及其与 LLVM IR 的关键差异。MLIR 通过 Operation 进行遍历，每种操作都是独立类型，增强了类型安全性。文章详细阐述了 Operation、Value、Block 和 Region 的内存布局及其功能，并强调了 MLIR 的类型系统和属性设计。