MLIR
-
MLIR编译器优化揭秘:双缓冲与多线程如何实现AI核函数延迟隐藏与并行加速
关键词: MLIR、AI Kernel 编译器、延迟隐藏、并行性、双缓冲 Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler https://arxiv.org/pdf/2602.20204 6000 字,阅读 24 分钟 面向边缘设备的 AI 核函数编译,…
-
CGO’25 新突破:基于MLIR的持久化e-graph技术,彻底解决编译器阶段顺序难题
关键词:等式饱和、e-graph、编译器、MLIR、持久化、优化 通过将 e-graph 直接嵌入 MLIR,研究人员让等式饱和贯穿整个编译流程,无需反复翻译、不丢失等价信息,并成功复现了 Herbie 浮点精度优化工具。 现代编译器通常由一系列独立的优化遍(pass)组成,每个遍在中间表示(IR)上执行特定的转换,例如常量折叠、死代码消除、循环不变式外提等…
-
打破库依赖与93%峰值效率!Intel提出MLIR驱动的编译器自动生成NanoKernel实现高性能矩阵乘法内核
关键词: MLIR 、Nanokernels 、 Microkernels 、Matmul、Vectorization、Compiler 超微内核(Nanokernel) 指寄存器级别的最小计算单元,专为特定硬件指令集优化,可作为可组合的、目标无关的编译器 IR 到目标特定指令的 kernel。 论文标题:Library Liberation: Compet…
-
NiceToMeetYou:MLIR抽象变换器自动合成框架,精度超越手工版17%,革新编译器静态分析
关键词: Abstract Transformers 、Program Synthesis 、MLIR、Static Analysis 、 Compiler Optimization 、Formal Verification 不再依赖人工编写,一个框架让编译器拥有更精确的静态分析能力。 编译器是现代软件基础设施的基石之一,它们不仅将高级语言代码翻译成机器指令…
