filecheck test

KULeuven-MICAS · Nov 29, 2023 · 6a86bd1 · 6a86bd1
1 parent 5d2f82a
commit 6a86bd1
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/tests/filecheck/transforms/copy_to_dma.mlir b/tests/filecheck/transforms/copy_to_dma.mlir
@@ -0,0 +1,19 @@
+// RUN: ./compiler/snax-opt %s -p snax-copy-to-dma --print-op-generic | filecheck %s
+
+"builtin.module"() ({
+  "func.func"() <{"sym_name" = "simple_mult", "function_type" = (memref<?xi32>, memref<?xi32>) -> (), "sym_visibility" = "public"}> ({
+  ^0(%arg0 : memref<?xi32>, %arg1 : memref<?xi32>):
+    "memref.copy"(%arg0, %arg1) : (memref<?xi32>, memref<?xi32>) -> ()
+    "func.return"() : () -> ()
+  }) : () -> ()
+}) : () -> ()
+
+//CHECK:    "builtin.module"() ({
+//CHECK-NEXT:   "func.func"() <{"sym_name" = "simple_mult", "function_type" = (memref<?xi32>, memref<?xi32>) -> (), "sym_visibility" = "public"}> ({
+//CHECK-NEXT:   ^0(%arg0 : memref<?xi32>, %arg1 : memref<?xi32>):
+//CHECK-NEXT:     "func.call"(%arg0, %arg1) <{"callee" = @snax_dma_1d_transfer}> : (memref<?xi32>, memref<?xi32>) -> ()
+//CHECK-NEXT:     "func.return"() : () -> ()
+//CHECK-NEXT:   }) : () -> ()
+//CHECK-NEXT:   "func.func"() <{"sym_name" = "snax_dma_1d_transfer", "function_type" = (memref<?xi32>, memref<?xi32>) -> (), "sym_visibility" = "private"}> ({
+//CHECK-NEXT:   }) : () -> ()
+//CHECK-NEXT: }) : () -> ()