[Mlir-commits] [mlir] 02fb5aa - [mlir][Linalg] Add missing test

[Nicolas Vasilache]

Author: Nicolas Vasilache
Date: 2023-01-20T00:16:33-08:00
New Revision: 02fb5aae11098fc69ed838eec97f57691eaccfa9

URL: https://github.com/llvm/llvm-project/commit/02fb5aae11098fc69ed838eec97f57691eaccfa9
DIFF: https://github.com/llvm/llvm-project/commit/02fb5aae11098fc69ed838eec97f57691eaccfa9.diff

LOG: [mlir][Linalg] Add missing test

c3f0efe753e27105b519ae9283796d41fe574741 lacked a test, added here.

Added: 
    

Modified: 
    mlir/test/Dialect/Linalg/standard.mlir

Removed: 
    


################################################################################
diff  --git a/mlir/test/Dialect/Linalg/standard.mlir b/mlir/test/Dialect/Linalg/standard.mlir
index 826e63e062e40..fcb215e6035aa 100644
--- a/mlir/test/Dialect/Linalg/standard.mlir
+++ b/mlir/test/Dialect/Linalg/standard.mlir
@@ -1,4 +1,4 @@
-// RUN: mlir-opt %s -convert-linalg-to-std | FileCheck %s
+// RUN: mlir-opt %s -convert-linalg-to-std --split-input-file -verify-diagnostics | FileCheck %s
 
 func.func @dot(%arg0: memref<?xf32, strided<[1], offset: ?>>,
           %arg1: memref<?xf32, strided<[1], offset: ?>>,
@@ -22,6 +22,8 @@ func.func @dot(%arg0: memref<?xf32, strided<[1], offset: ?>>,
 //  CHECK-SAME:     %[[o0]], %[[o1]], %[[o2]]) :
 //  CHECK-SAME:   memref<?xf32, strided<[?], offset: ?>>, memref<?xf32, strided<[?], offset: ?>>, memref<f32, strided<[], offset: ?>>
 
+// -----
+
 #matmul_accesses = [
   affine_map<(m, n, k) -> (m, k)>,
   affine_map<(m, n, k) -> (k, n)>,
@@ -53,3 +55,19 @@ func.func @matmul_vec_impl(%A: !matrix_type_A, %B: !matrix_type_B, %C: !matrix_t
 }
 // CHECK-LABEL: func @matmul_vec_impl(
 // CHECK:  call @external_outerproduct_matmul(%{{.*}}) :
+
+// -----
+
+#map = affine_map<(d0, d1) -> (d0, d1)>
+#map1 = affine_map<(d0, d1) -> (d0)>
+
+func.func @func(%arg0: tensor<?x?xf32>, %arg1: tensor<?xf32>)  {
+  // expected-error @below {{failed to legalize}}
+  %0 = linalg.generic {
+    indexing_maps = [#map, #map1], iterator_types = ["parallel", "reduction"]}
+  ins(%arg0 : tensor<?x?xf32>) outs(%arg1 : tensor<?xf32>) {
+  ^bb0(%in: f32, %out: f32): 
+    linalg.yield %in : f32
+  } -> tensor<?xf32>
+  return 
+}