128、MLIR的Dependence Analysis（依赖分析）

MLIR的Dependence Analysis（依赖分析）

从一次深夜调试说起

凌晨两点，盯着屏幕上那个死活不按预期并行化的循环，我差点把咖啡泼到键盘上。代码逻辑看起来没问题，MLIR的循环转换Pass也跑得顺溜，但生成的LLVM IR就是不肯用SIMD指令。打开–debug模式，密密麻麻的依赖分析日志里，一行“loop-carried dependence detected”让我瞬间清醒——原来是我手写的一个临时变量，在循环迭代间悄悄传递了数据。

这种场景，做编译器优化的兄弟应该都不陌生。依赖分析，说白了就是编译器在问自己：“这两个操作，能不能换顺序？能不能并行？能不能向量化？”在MLIR的框架里，这个问题被拆解成了多层抽象上的数学问题。

MLIR依赖分析的独特之处

传统编译器（比如LLVM）的依赖分析，基本是在标量指令和内存访问的层面干活。你有一堆Load/Store，分析它们访问的地址是否重叠。MLIR不一样，它面对的是多层IR——从高层的Affine dialect到低层的Standard dialect，再到LLVM dialect。每一层都有自己描述计算和内存的方式。

举个例子，在Affine dialect里，循环是用affine.for表示的，内存访问是用affine.load和affine.store，并且访问索引是仿射表达式（affine expression）。这意味着编译器能精确知道每个操作