Add differential testing

xdslproject · Aug 24, 2022 · b1c22ea · b1c22ea
1 parent 10ca53e
commit b1c22ea
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/filecheck/mlir-conversion/ops.xdsl b/tests/filecheck/mlir-conversion/ops.xdsl
@@ -1,5 +1,5 @@
 // RUN: xdsl-opt -t mlir --use-mlir-bindings %s | filecheck %s
-// RUN: xdsl-opt -t mlir --use-mlir-bindings %s | mlir-opt --mlir-print-op-generic > %t-1 && xdsl-opt -t mlir %s | mlir-opt --mlir-print-op-generic > %t-2 | diff %t-1 %t-2
+// RUN: xdsl-opt -t mlir --use-mlir-bindings %s | mlir-opt --mlir-print-op-generic > %t-1 && xdsl-opt -t mlir %s | mlir-opt --mlir-print-op-generic > %t-2 && diff %t-1 %t-2
 
 // Tests if the non generic form can be printed.
 

diff --git a/tests/filecheck/parser-printer/llvm_mlir_printer.xdsl b/tests/filecheck/parser-printer/llvm_mlir_printer.xdsl
@@ -1,15 +1,15 @@
 // RUN: xdsl-opt -t mlir %s | filecheck %s
 
 
-"module"() {
+"builtin.module"() {
   func.func() ["sym_name" = "struct_to_struct", "function_type" = !fun<[!llvm.struct<"", [!i32]>], [!llvm.struct<"", [!i32]>]>, "sym_visibility" = "private"] {
     ^0(%0 : !llvm.struct<"", [!i32]>):
       func.return(%0 : !llvm.struct<"", [!i32]>)
   }
 }
 
 
-// CHECK:     "module"() ({
+// CHECK:     "builtin.module"() ({
 // CHECK-NEXT:  "func.func"() ({
 // CHECK-NEXT:  ^0(%0 : !llvm.struct<(i32)>):
 // CHECK-NEXT:    "func.return"(%0) : (!llvm.struct<(i32)>) -> ()