6.3.1 Affine Dialect:多维数组优化 在多维数组的世界里,索引不是数字的简单排列,而是一张精密编织的时空地图——它标记着数据在内存中的位置、在计算中的角色、在并行维度上的潜力,甚至在硬件访存模式中激起的涟漪。当你写下 ,编译器看到的不是代数,而是一组嵌套循环、一组内存地址偏移、一组可被重排的依赖关系、一组等待被剥皮、分块、向量化、映射到特定硬件层级的优化机会。而 Affine Dialect,正是 MLIR 生态中专为此类“结构化循环+规则内存访问”问题锻造的第一把形式化手术刀。 它不处理任意控制流,也不建模指针跳跃式的非线性访存;