多级中间表示概述MLIR
MLIR项目是一种构建可重用和可扩展的编译器基础结构的新颖方法。MLIR旨在解决软件碎片,改善异构硬件的编译,显着降低构建特定于域的编译器的成本以及帮助将现有编译器连接在一起的问题。
要引用MLIR,请使用this Arxiv publication 。
更多资源
有关MLIR的更多信息,请参见:
另请参阅 TensorFlow MLIR SIG ,该组织每周组织一次有关MLIR的公开“开放设计会议”。如果想讨论特定主题或有疑问,请将其添加到 议程文档中 。有关如何加入会议的详细信息,请参阅议程文档。
MLIR是做什么用的?
MLIR旨在成为一种混合IR,它可以在统一的基础架构中支持多种不同的需求。例如,这包括:
MLIR是一种常见的IR,也支持特定于硬件的操作。因此,对MLIR周围基础架构的任何投资(例如,编译器对其进行的工作都应通过)应产生良好的回报;许多目标可以使用该基础架构,并从中受益。
MLIR是强大的表示形式,但也有非目标。不尝试支持低级机器代码生成算法(例如寄存器分配和指令调度)。更适合较低级别的优化器(例如LLVM)。另外,不希望MLIR成为最终用户自己将内核编写为内核的源语言(类似于CUDA C ++)。另一方面,MLIR提供了代表任何此类DSL并将其集成到生态系统中。
编译器基础架构
在构建MLIR时,受益于从构建其它IR(LLVM IR,XLA HLO和Swift SIL)获得的经验。MLIR框架鼓励现有的最佳实践,例如编写和维护IR规范,构建IR验证程序,提供将MLIR文件转储和解析为文本,使用FileCheck 工具编写广泛的单元测试 以及将基础结构构建为一组的能力。可以以新方式组合的模块化库。
其它内容已经以微妙的方式整合到设计中。例如,LLVM具有非显而易见的设计错误,这些错误阻止多线程编译器同时处理LLVM模块中的多个功能。MLIR通过限制SSA范围以减少use-def链,并通过用explicit替换跨函数引用来解决这些问题 symbol reference 。
手机扫一扫
移动阅读更方便
你可能感兴趣的文章