[Mlir-commits] [mlir] 549eac9 - [MLIR] Remove unnecessary CHECK's from tests for which we do not run FileCheck.
Rahul Joshi
llvmlistbot at llvm.org
Mon Nov 2 15:22:07 PST 2020
Author: Rahul Joshi
Date: 2020-11-02T15:21:33-08:00
New Revision: 549eac9d87fdbf3f22a7010e6abe14af0dcab5da
URL: https://github.com/llvm/llvm-project/commit/549eac9d87fdbf3f22a7010e6abe14af0dcab5da
DIFF: https://github.com/llvm/llvm-project/commit/549eac9d87fdbf3f22a7010e6abe14af0dcab5da.diff
LOG: [MLIR] Remove unnecessary CHECK's from tests for which we do not run FileCheck.
Differential Revision: https://reviews.llvm.org/D90651
Added:
Modified:
mlir/test/Dialect/Affine/invalid.mlir
mlir/test/Dialect/LLVMIR/invalid.mlir
mlir/test/Dialect/Standard/invalid.mlir
Removed:
################################################################################
diff --git a/mlir/test/Dialect/Affine/invalid.mlir b/mlir/test/Dialect/Affine/invalid.mlir
index c38a78060dc6..56562481aad8 100644
--- a/mlir/test/Dialect/Affine/invalid.mlir
+++ b/mlir/test/Dialect/Affine/invalid.mlir
@@ -142,7 +142,6 @@ func @affine_store_missing_l_square(%C: memref<4096x4096xf32>) {
// -----
-// CHECK-LABEL: @affine_min
func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.min affine_map<(d0) -> (d0)> (%arg0, %arg1)
@@ -152,7 +151,6 @@ func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_min
func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.min affine_map<()[s0] -> (s0)> (%arg0, %arg1)
@@ -162,7 +160,6 @@ func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_min
func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.min affine_map<(d0) -> (d0)> ()
@@ -172,7 +169,6 @@ func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_max
func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.max affine_map<(d0) -> (d0)> (%arg0, %arg1)
@@ -182,7 +178,6 @@ func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_max
func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.max affine_map<()[s0] -> (s0)> (%arg0, %arg1)
@@ -192,7 +187,6 @@ func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_max
func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{operand count and affine map dimension and symbol count must match}}
%0 = affine.max affine_map<(d0) -> (d0)> ()
@@ -202,7 +196,6 @@ func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{region argument count and num results of upper bounds, lower bounds, and steps must all match}}
affine.parallel (%i) = (0, 0) to (100, 100) step (10, 10) {
@@ -211,7 +204,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{region argument count and num results of upper bounds, lower bounds, and steps must all match}}
affine.parallel (%i, %j) = (0) to (100, 100) step (10, 10) {
@@ -220,7 +212,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{region argument count and num results of upper bounds, lower bounds, and steps must all match}}
affine.parallel (%i, %j) = (0, 0) to (100) step (10, 10) {
@@ -229,7 +220,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// expected-error at +1 {{region argument count and num results of upper bounds, lower bounds, and steps must all match}}
affine.parallel (%i, %j) = (0, 0) to (100, 100) step (10) {
@@ -238,8 +228,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
-
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
affine.for %x = 0 to 7 {
%y = addi %x, %x : index
@@ -252,8 +240,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
-
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
affine.for %x = 0 to 7 {
%y = addi %x, %x : index
@@ -266,8 +252,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
-
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
%0 = alloc() : memref<100x100xf32>
// expected-error at +1 {{reduction must be specified for each output}}
@@ -280,8 +264,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
// -----
-// CHECK-LABEL: @affine_parallel
-
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
%0 = alloc() : memref<100x100xf32>
// expected-error at +1 {{invalid reduction value: "bad"}}
@@ -293,7 +275,6 @@ func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
}
// -----
-// CHECK-LABEL: @affine_parallel
func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) {
%0 = alloc() : memref<100x100xi32>
diff --git a/mlir/test/Dialect/LLVMIR/invalid.mlir b/mlir/test/Dialect/LLVMIR/invalid.mlir
index 5a6dfd869a05..f7d19bc66c8d 100644
--- a/mlir/test/Dialect/LLVMIR/invalid.mlir
+++ b/mlir/test/Dialect/LLVMIR/invalid.mlir
@@ -317,7 +317,6 @@ func @extractvalue_wrong_nesting() {
// -----
-// CHECK-LABEL: @invalid_vector_type_1
func @invalid_vector_type_1(%arg0: !llvm.vec<4 x float>, %arg1: !llvm.i32, %arg2: !llvm.float) {
// expected-error at +1 {{expected LLVM IR dialect vector type for operand #1}}
%0 = llvm.extractelement %arg2[%arg1 : !llvm.i32] : !llvm.float
@@ -325,7 +324,6 @@ func @invalid_vector_type_1(%arg0: !llvm.vec<4 x float>, %arg1: !llvm.i32, %arg2
// -----
-// CHECK-LABEL: @invalid_vector_type_2
func @invalid_vector_type_2(%arg0: !llvm.vec<4 x float>, %arg1: !llvm.i32, %arg2: !llvm.float) {
// expected-error at +1 {{expected LLVM IR dialect vector type for operand #1}}
%0 = llvm.insertelement %arg2, %arg2[%arg1 : !llvm.i32] : !llvm.float
@@ -333,7 +331,6 @@ func @invalid_vector_type_2(%arg0: !llvm.vec<4 x float>, %arg1: !llvm.i32, %arg2
// -----
-// CHECK-LABEL: @invalid_vector_type_3
func @invalid_vector_type_3(%arg0: !llvm.vec<4 x float>, %arg1: !llvm.i32, %arg2: !llvm.float) {
// expected-error at +1 {{expected LLVM IR dialect vector type for operand #1}}
%0 = llvm.shufflevector %arg2, %arg2 [0 : i32, 0 : i32, 0 : i32, 0 : i32, 7 : i32] : !llvm.float, !llvm.float
@@ -348,7 +345,6 @@ func @null_non_llvm_type() {
// -----
-// CHECK-LABEL: @nvvm_invalid_shfl_pred_1
func @nvvm_invalid_shfl_pred_1(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !llvm.i32, %arg3 : !llvm.i32) {
// expected-error at +1 {{expected return type to be a two-element struct with i1 as the second element}}
%0 = nvvm.shfl.sync.bfly %arg0, %arg3, %arg1, %arg2 {return_value_and_is_valid} : !llvm.i32
@@ -356,7 +352,6 @@ func @nvvm_invalid_shfl_pred_1(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !ll
// -----
-// CHECK-LABEL: @nvvm_invalid_shfl_pred_2
func @nvvm_invalid_shfl_pred_2(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !llvm.i32, %arg3 : !llvm.i32) {
// expected-error at +1 {{expected return type to be a two-element struct with i1 as the second element}}
%0 = nvvm.shfl.sync.bfly %arg0, %arg3, %arg1, %arg2 {return_value_and_is_valid} : !llvm.struct<(i32)>
@@ -364,7 +359,6 @@ func @nvvm_invalid_shfl_pred_2(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !ll
// -----
-// CHECK-LABEL: @nvvm_invalid_shfl_pred_3
func @nvvm_invalid_shfl_pred_3(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !llvm.i32, %arg3 : !llvm.i32) {
// expected-error at +1 {{expected return type to be a two-element struct with i1 as the second element}}
%0 = nvvm.shfl.sync.bfly %arg0, %arg3, %arg1, %arg2 {return_value_and_is_valid} : !llvm.struct<(i32, i32)>
@@ -372,7 +366,6 @@ func @nvvm_invalid_shfl_pred_3(%arg0 : !llvm.i32, %arg1 : !llvm.i32, %arg2 : !ll
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_0
func @nvvm_invalid_mma_0(%a0 : !llvm.half, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -384,7 +377,6 @@ func @nvvm_invalid_mma_0(%a0 : !llvm.half, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_1
func @nvvm_invalid_mma_1(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -396,7 +388,6 @@ func @nvvm_invalid_mma_1(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_2
func @nvvm_invalid_mma_2(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -408,7 +399,6 @@ func @nvvm_invalid_mma_2(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_3
func @nvvm_invalid_mma_3(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.vec<2 x half>, %c1 : !llvm.vec<2 x half>,
@@ -420,7 +410,6 @@ func @nvvm_invalid_mma_3(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_4
func @nvvm_invalid_mma_4(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -432,7 +421,6 @@ func @nvvm_invalid_mma_4(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_5
func @nvvm_invalid_mma_5(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -444,7 +432,6 @@ func @nvvm_invalid_mma_5(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_6
func @nvvm_invalid_mma_6(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -456,7 +443,6 @@ func @nvvm_invalid_mma_6(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @nvvm_invalid_mma_7
func @nvvm_invalid_mma_7(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
%b0 : !llvm.vec<2 x half>, %b1 : !llvm.vec<2 x half>,
%c0 : !llvm.float, %c1 : !llvm.float, %c2 : !llvm.float, %c3 : !llvm.float,
@@ -468,7 +454,6 @@ func @nvvm_invalid_mma_7(%a0 : !llvm.vec<2 x half>, %a1 : !llvm.vec<2 x half>,
// -----
-// CHECK-LABEL: @atomicrmw_expected_ptr
func @atomicrmw_expected_ptr(%f32 : !llvm.float) {
// expected-error at +1 {{operand #0 must be LLVM pointer to floating point LLVM type or LLVM integer type}}
%0 = "llvm.atomicrmw"(%f32, %f32) {bin_op=11, ordering=1} : (!llvm.float, !llvm.float) -> !llvm.float
@@ -477,7 +462,6 @@ func @atomicrmw_expected_ptr(%f32 : !llvm.float) {
// -----
-// CHECK-LABEL: @atomicrmw_mismatched_operands
func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr<float>, %i32 : !llvm.i32) {
// expected-error at +1 {{expected LLVM IR element type for operand #0 to match type for operand #1}}
%0 = "llvm.atomicrmw"(%f32_ptr, %i32) {bin_op=11, ordering=1} : (!llvm.ptr<float>, !llvm.i32) -> !llvm.float
@@ -486,7 +470,6 @@ func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr<float>, %i32 : !llvm.i3
// -----
-// CHECK-LABEL: @atomicrmw_mismatched_result
func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.float) {
// expected-error at +1 {{expected LLVM IR result type to match type for operand #1}}
%0 = "llvm.atomicrmw"(%f32_ptr, %f32) {bin_op=11, ordering=1} : (!llvm.ptr<float>, !llvm.float) -> !llvm.i32
@@ -495,7 +478,6 @@ func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.fl
// -----
-// CHECK-LABEL: @atomicrmw_expected_float
func @atomicrmw_expected_float(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// expected-error at +1 {{expected LLVM IR floating point type}}
%0 = llvm.atomicrmw fadd %i32_ptr, %i32 unordered : !llvm.i32
@@ -504,7 +486,6 @@ func @atomicrmw_expected_float(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// -----
-// CHECK-LABEL: @atomicrmw_unexpected_xchg_type
func @atomicrmw_unexpected_xchg_type(%i1_ptr : !llvm.ptr<i1>, %i1 : !llvm.i1) {
// expected-error at +1 {{unexpected LLVM IR type for 'xchg' bin_op}}
%0 = llvm.atomicrmw xchg %i1_ptr, %i1 unordered : !llvm.i1
@@ -513,7 +494,6 @@ func @atomicrmw_unexpected_xchg_type(%i1_ptr : !llvm.ptr<i1>, %i1 : !llvm.i1) {
// -----
-// CHECK-LABEL: @atomicrmw_expected_int
func @atomicrmw_expected_int(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.float) {
// expected-error at +1 {{expected LLVM IR integer type}}
%0 = llvm.atomicrmw max %f32_ptr, %f32 unordered : !llvm.float
@@ -522,7 +502,6 @@ func @atomicrmw_expected_int(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.float) {
// -----
-// CHECK-LABEL: @cmpxchg_expected_ptr
func @cmpxchg_expected_ptr(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.float) {
// expected-error at +1 {{op operand #0 must be LLVM pointer to LLVM integer type or LLVM pointer type}}
%0 = "llvm.cmpxchg"(%f32, %f32, %f32) {success_ordering=2,failure_ordering=2} : (!llvm.float, !llvm.float, !llvm.float) -> !llvm.struct<(float, i1)>
@@ -531,7 +510,6 @@ func @cmpxchg_expected_ptr(%f32_ptr : !llvm.ptr<float>, %f32 : !llvm.float) {
// -----
-// CHECK-LABEL: @cmpxchg_mismatched_operands
func @cmpxchg_mismatched_operands(%i64_ptr : !llvm.ptr<i64>, %i32 : !llvm.i32) {
// expected-error at +1 {{expected LLVM IR element type for operand #0 to match type for all other operands}}
%0 = "llvm.cmpxchg"(%i64_ptr, %i32, %i32) {success_ordering=2,failure_ordering=2} : (!llvm.ptr<i64>, !llvm.i32, !llvm.i32) -> !llvm.struct<(i32, i1)>
@@ -540,7 +518,6 @@ func @cmpxchg_mismatched_operands(%i64_ptr : !llvm.ptr<i64>, %i32 : !llvm.i32) {
// -----
-// CHECK-LABEL: @cmpxchg_unexpected_type
func @cmpxchg_unexpected_type(%i1_ptr : !llvm.ptr<i1>, %i1 : !llvm.i1) {
// expected-error at +1 {{unexpected LLVM IR type}}
%0 = llvm.cmpxchg %i1_ptr, %i1, %i1 monotonic monotonic : !llvm.i1
@@ -549,7 +526,6 @@ func @cmpxchg_unexpected_type(%i1_ptr : !llvm.ptr<i1>, %i1 : !llvm.i1) {
// -----
-// CHECK-LABEL: @cmpxchg_at_least_monotonic_success
func @cmpxchg_at_least_monotonic_success(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// expected-error at +1 {{ordering must be at least 'monotonic'}}
%0 = llvm.cmpxchg %i32_ptr, %i32, %i32 unordered monotonic : !llvm.i32
@@ -558,7 +534,6 @@ func @cmpxchg_at_least_monotonic_success(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm
// -----
-// CHECK-LABEL: @cmpxchg_at_least_monotonic_failure
func @cmpxchg_at_least_monotonic_failure(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// expected-error at +1 {{ordering must be at least 'monotonic'}}
%0 = llvm.cmpxchg %i32_ptr, %i32, %i32 monotonic unordered : !llvm.i32
@@ -567,7 +542,6 @@ func @cmpxchg_at_least_monotonic_failure(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm
// -----
-// CHECK-LABEL: @cmpxchg_failure_release
func @cmpxchg_failure_release(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// expected-error at +1 {{failure ordering cannot be 'release' or 'acq_rel'}}
%0 = llvm.cmpxchg %i32_ptr, %i32, %i32 acq_rel release : !llvm.i32
@@ -576,7 +550,6 @@ func @cmpxchg_failure_release(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// -----
-// CHECK-LABEL: @cmpxchg_failure_acq_rel
func @cmpxchg_failure_acq_rel(%i32_ptr : !llvm.ptr<i32>, %i32 : !llvm.i32) {
// expected-error at +1 {{failure ordering cannot be 'release' or 'acq_rel'}}
%0 = llvm.cmpxchg %i32_ptr, %i32, %i32 acq_rel acq_rel : !llvm.i32
diff --git a/mlir/test/Dialect/Standard/invalid.mlir b/mlir/test/Dialect/Standard/invalid.mlir
index 9ee69124c6ef..3c4be54a1d43 100644
--- a/mlir/test/Dialect/Standard/invalid.mlir
+++ b/mlir/test/Dialect/Standard/invalid.mlir
@@ -1,6 +1,5 @@
// RUN: mlir-opt -split-input-file %s -verify-diagnostics
-// CHECK-LABEL: test_index_cast_shape_error
func @test_index_cast_shape_error(%arg0 : tensor<index>) -> tensor<2xi64> {
// expected-error @+1 {{requires the same shape for all operands and results}}
%0 = index_cast %arg0 : tensor<index> to tensor<2xi64>
@@ -9,7 +8,6 @@ func @test_index_cast_shape_error(%arg0 : tensor<index>) -> tensor<2xi64> {
// -----
-// CHECK-LABEL: test_index_cast_tensor_error
func @test_index_cast_tensor_error(%arg0 : tensor<index>) -> i64 {
// expected-error @+1 {{requires the same shape for all operands and results}}
%0 = index_cast %arg0 : tensor<index> to i64
@@ -105,7 +103,6 @@ func @transpose_wrong_type(%v : memref<?x?xf32, affine_map<(i, j)[off, M]->(off
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_too_many_offsets
func @memref_reinterpret_cast_too_many_offsets(%in: memref<?xf32>) {
// expected-error @+1 {{expected 1 offset values}}
%out = memref_reinterpret_cast %in to
@@ -116,7 +113,6 @@ func @memref_reinterpret_cast_too_many_offsets(%in: memref<?xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_incompatible_element_types
func @memref_reinterpret_cast_incompatible_element_types(%in: memref<*xf32>) {
// expected-error @+1 {{
diff erent element types specified}}
%out = memref_reinterpret_cast %in to
@@ -127,7 +123,6 @@ func @memref_reinterpret_cast_incompatible_element_types(%in: memref<*xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_incompatible_memory_space
func @memref_reinterpret_cast_incompatible_memory_space(%in: memref<*xf32>) {
// expected-error @+1 {{
diff erent memory spaces specified}}
%out = memref_reinterpret_cast %in to
@@ -138,7 +133,6 @@ func @memref_reinterpret_cast_incompatible_memory_space(%in: memref<*xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_offset_mismatch
func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
// expected-error @+1 {{expected result type with offset = 2 instead of 1}}
%out = memref_reinterpret_cast %in to
@@ -149,7 +143,6 @@ func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_size_mismatch
func @memref_reinterpret_cast_size_mismatch(%in: memref<*xf32>) {
// expected-error @+1 {{expected result type with size = 10 instead of 1 in dim = 0}}
%out = memref_reinterpret_cast %in to
@@ -160,7 +153,6 @@ func @memref_reinterpret_cast_size_mismatch(%in: memref<*xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_stride_mismatch
func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
// expected-error @+1 {{expected result type with stride = 2 instead of 1 in dim = 0}}
%out = memref_reinterpret_cast %in to
@@ -171,7 +163,6 @@ func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
// -----
-// CHECK-LABEL: func @memref_reinterpret_cast_dynamic_size_mismatch
func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
%c0 = constant 0 : index
%c10 = constant 10 : index
@@ -184,7 +175,6 @@ func @memref_reinterpret_cast_offset_mismatch(%in: memref<?xf32>) {
// -----
-// CHECK-LABEL: memref_reshape_element_type_mismatch
func @memref_reshape_element_type_mismatch(
%buf: memref<*xf32>, %shape: memref<1xi32>) {
// expected-error @+1 {{element types of source and destination memref types should be the same}}
@@ -193,7 +183,6 @@ func @memref_reshape_element_type_mismatch(
// -----
-// CHECK-LABEL: memref_reshape_dst_ranked_shape_unranked
func @memref_reshape_dst_ranked_shape_unranked(
%buf: memref<*xf32>, %shape: memref<?xi32>) {
// expected-error @+1 {{cannot use shape operand with dynamic length to reshape to statically-ranked memref type}}
@@ -202,7 +191,6 @@ func @memref_reshape_dst_ranked_shape_unranked(
// -----
-// CHECK-LABEL: memref_reshape_dst_shape_rank_mismatch
func @memref_reshape_dst_shape_rank_mismatch(
%buf: memref<*xf32>, %shape: memref<1xi32>) {
// expected-error @+1 {{length of shape operand
diff ers from the result's memref rank}}
@@ -212,7 +200,6 @@ func @memref_reshape_dst_shape_rank_mismatch(
// -----
-// CHECK-LABEL: memref_reshape_src_affine_map_is_not_identity
func @memref_reshape_src_affine_map_is_not_identity(
%buf: memref<4x4xf32, offset: 0, strides: [3, 2]>,
%shape: memref<1xi32>) {
@@ -224,7 +211,6 @@ func @memref_reshape_src_affine_map_is_not_identity(
// -----
-// CHECK-LABEL: memref_reshape_result_affine_map_is_not_identity
func @memref_reshape_result_affine_map_is_not_identity(
%buf: memref<4x4xf32>, %shape: memref<1xi32>) {
// expected-error @+1 {{result memref type should have identity affine map}}
More information about the Mlir-commits
mailing list