filecheck不能直接验证mlir文件，因其依赖空格/换行敏感的行匹配模式，而mlir打印输出存在匿名符号重编号、属性顺序不固定、多行/单行不确定及缩进策略可变等问题；需先通过mlir-opt lowering至llvm dialect，再用mlir-translate转为llvm ir，经opt清洗后方可稳定使用filecheck校验。
FileCheck 不是为 MLIR 设计的，直接用它校验 mlir-opt 或 mlir-translate 的输出会失败——除非你先把它转成 LLVM IR 文本并确保格式可控。
为什么 FileCheck 不能直接验证 MLIR 文件
FileCheck 默认按行匹配、依赖空格/换行敏感的文本模式（如 CHECK-LABEL、CHECK-NEXT），而 MLIR 的打印输出（尤其是经过 mlir-opt lowering 后）存在以下问题：
- 同一逻辑可能被打印成多行或单行，取决于 op 的 operand 数量和属性长度
- 属性顺序不固定（例如
{align = 16 : i64, memory = true}可能变成{memory = true, align = 16 : i64}） - 匿名符号名（如
%0、%1）每次运行可能重编号，导致CHECK: %0 = llvm.alloca失败 - MLIR 打印器默认启用缩进和换行策略，
--mlir-print-op-on-failure等调试开关会影响输出结构
怎么让 FileCheck 实际可用：先降级 + 固定打印
核心思路是：把 MLIR 转成 LLVM IR（.ll），再用 FileCheck 校验该 IR。因为 LLVM IR 文本格式稳定、命名可控、且社区已有大量成熟 CHECK 模式。
- 用
mlir-opt完成全套 lowering 到 LLVM dialect，确保输出只含llvm.func、llvm.call等合法 op - 再用
mlir-translate -mlir-to-llvmir输出为.ll；注意加-emit-llvm（否则可能输出 bitcode） - 对生成的
.ll文件，用opt -S -strip-debug -disable-verify清洗：去掉!dbg元数据、标准化函数签名、消除未定义行为干扰 - 最终用 FileCheck 校验清洗后的
.ll，例如：mlir-opt add.mlir -convert-std-to-llvm -convert-memref-to-llvm | mlir-translate -mlir-to-llvmir | opt -S -strip-debug > add.ll<br>FileCheck test.mlir --input-file=add.ll
常见 CHECK 模式在 LLVM IR 场景下的适配要点
LLVM IR 的结构比原始 MLIR 更扁平，CHECK 规则需针对性调整：
- 避免依赖具体寄存器名：
CHECK: [[RET:%.*]] = add nsw i32 %c, 3，而不是硬写%0 - 用
CHECK-LABEL锚定函数边界：CHECK-LABEL: define i32 @add_func，防止跨函数误匹配 - 对内存操作，优先检查指令语义而非地址计算：
CHECK: store i32 {{.*}}, ptr {{.*}}，不校验getelementptr的具体偏移 - 若需验证常量折叠结果，用
CHECK-SAME确保在同一行：CHECK: ret i32 42而非分两行写ret和i32 42 - 慎用
CHECK-NOT：LLVM IR 中插入 debug info 或 metadata 可能意外触发误报，建议配合-strip-debug
真正难的不是写 CHECK 行，而是让输入 IR 在每次构建中保持可预测——MLIR lowering 链里任何一个 pass 的顺序、参数或版本变更，都可能导致 LLVM IR 输出结构漂移。所以必须把 lowering 步骤固化到构建脚本里，而不是靠临时命令拼凑。
