This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. MLIR facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and also across application domains, hardware targets and execution environments. The contribution of this work includes (1) discussion of MLIR as a research artifact, built for extension and evolution, and identifying the challenges and opportunities posed by this novel design point in design, semantics, optimization specification, system, and engineering. (2) evaluation of MLIR as a generalized infrastructure that reduces the cost of building compilers-describing diverse use-cases to show research and educational opportunities for future programming languages, compilers, execution environments, and computer architecture. The paper also presents the rationale for MLIR, its original design principles, structures and semantics.

中文翻译：

---

MLIR：摩尔定律终结的编译器基础设施

这项工作展示了 MLIR，这是一种构建可重用和可扩展编译器基础架构的新方法。MLIR 旨在解决软件碎片问题，改进异构硬件的编译，显着降低构建特定领域编译器的成本，并帮助将现有编译器连接在一起。MLIR 促进了不同抽象级别以及跨应用程序域、硬件目标和执行环境的代码生成器、翻译器和优化器的设计和实现。这项工作的贡献包括 (1) 讨论 MLIR 作为研究工件，为扩展和进化而构建，并确定这一新颖设计点在设计、语义、优化规范、系统和工程方面带来的挑战和机遇。(2) 将 MLIR 评估为降低构建编译器成本的通用基础设施——描述了不同的用例，以展示未来编程语言、编译器、执行环境和计算机体系结构的研究和教育机会。该论文还介绍了 MLIR 的基本原理、其原始设计原则、结构和语义。