diff --git a/mlir/test/Dialect/Affine/invalid.mlir b/mlir/test/Dialect/Affine/invalid.mlir --- a/mlir/test/Dialect/Affine/invalid.mlir +++ b/mlir/test/Dialect/Affine/invalid.mlir @@ -142,7 +142,6 @@ // ----- -// CHECK-LABEL: @affine_min func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_min func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_min func @affine_min(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} %0 = affine.min affine_map<(d0) -> (d0)> () @@ -172,7 +169,6 @@ // ----- -// CHECK-LABEL: @affine_max func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_max func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_max func @affine_max(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+1 {{operand count and affine map dimension and symbol count must match}} %0 = affine.max affine_map<(d0) -> (d0)> () @@ -202,7 +196,6 @@ // ----- -// CHECK-LABEL: @affine_parallel func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_parallel func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_parallel func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @affine_parallel func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { // expected-error@+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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// CHECK-LABEL: @affine_parallel - func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { %0 = alloc() : memref<100x100xf32> // expected-error@+1 {{reduction must be specified for each output}} @@ -280,8 +264,6 @@ // ----- -// CHECK-LABEL: @affine_parallel - func @affine_parallel(%arg0 : index, %arg1 : index, %arg2 : index) { %0 = alloc() : memref<100x100xf32> // expected-error@+1 {{invalid reduction value: "bad"}} @@ -293,7 +275,6 @@ } // ----- -// 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 --- a/mlir/test/Dialect/LLVMIR/invalid.mlir +++ b/mlir/test/Dialect/LLVMIR/invalid.mlir @@ -317,7 +317,6 @@ // ----- -// 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@+1 {{expected LLVM IR dialect vector type for operand #1}} %0 = llvm.extractelement %arg2[%arg1 : !llvm.i32] : !llvm.float @@ -325,7 +324,6 @@ // ----- -// 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@+1 {{expected LLVM IR dialect vector type for operand #1}} %0 = llvm.insertelement %arg2, %arg2[%arg1 : !llvm.i32] : !llvm.float @@ -333,7 +331,6 @@ // ----- -// 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@+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 @@ // ----- -// 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@+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 @@ // ----- -// 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@+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 @@ // ----- -// 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@+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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// 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 @@ // ----- -// CHECK-LABEL: @atomicrmw_expected_ptr func @atomicrmw_expected_ptr(%f32 : !llvm.float) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @atomicrmw_mismatched_operands func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+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, !llvm.i32) -> !llvm.float @@ -486,7 +470,6 @@ // ----- -// CHECK-LABEL: @atomicrmw_mismatched_result func @atomicrmw_mismatched_operands(%f32_ptr : !llvm.ptr, %f32 : !llvm.float) { // expected-error@+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, !llvm.float) -> !llvm.i32 @@ -495,7 +478,6 @@ // ----- -// CHECK-LABEL: @atomicrmw_expected_float func @atomicrmw_expected_float(%i32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+1 {{expected LLVM IR floating point type}} %0 = llvm.atomicrmw fadd %i32_ptr, %i32 unordered : !llvm.i32 @@ -504,7 +486,6 @@ // ----- -// CHECK-LABEL: @atomicrmw_unexpected_xchg_type func @atomicrmw_unexpected_xchg_type(%i1_ptr : !llvm.ptr, %i1 : !llvm.i1) { // expected-error@+1 {{unexpected LLVM IR type for 'xchg' bin_op}} %0 = llvm.atomicrmw xchg %i1_ptr, %i1 unordered : !llvm.i1 @@ -513,7 +494,6 @@ // ----- -// CHECK-LABEL: @atomicrmw_expected_int func @atomicrmw_expected_int(%f32_ptr : !llvm.ptr, %f32 : !llvm.float) { // expected-error@+1 {{expected LLVM IR integer type}} %0 = llvm.atomicrmw max %f32_ptr, %f32 unordered : !llvm.float @@ -522,7 +502,6 @@ // ----- -// CHECK-LABEL: @cmpxchg_expected_ptr func @cmpxchg_expected_ptr(%f32_ptr : !llvm.ptr, %f32 : !llvm.float) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @cmpxchg_mismatched_operands func @cmpxchg_mismatched_operands(%i64_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+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, !llvm.i32, !llvm.i32) -> !llvm.struct<(i32, i1)> @@ -540,7 +518,6 @@ // ----- -// CHECK-LABEL: @cmpxchg_unexpected_type func @cmpxchg_unexpected_type(%i1_ptr : !llvm.ptr, %i1 : !llvm.i1) { // expected-error@+1 {{unexpected LLVM IR type}} %0 = llvm.cmpxchg %i1_ptr, %i1, %i1 monotonic monotonic : !llvm.i1 @@ -549,7 +526,6 @@ // ----- -// CHECK-LABEL: @cmpxchg_at_least_monotonic_success func @cmpxchg_at_least_monotonic_success(%i32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+1 {{ordering must be at least 'monotonic'}} %0 = llvm.cmpxchg %i32_ptr, %i32, %i32 unordered monotonic : !llvm.i32 @@ -558,7 +534,6 @@ // ----- -// CHECK-LABEL: @cmpxchg_at_least_monotonic_failure func @cmpxchg_at_least_monotonic_failure(%i32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+1 {{ordering must be at least 'monotonic'}} %0 = llvm.cmpxchg %i32_ptr, %i32, %i32 monotonic unordered : !llvm.i32 @@ -567,7 +542,6 @@ // ----- -// CHECK-LABEL: @cmpxchg_failure_release func @cmpxchg_failure_release(%i32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+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 @@ // ----- -// CHECK-LABEL: @cmpxchg_failure_acq_rel func @cmpxchg_failure_acq_rel(%i32_ptr : !llvm.ptr, %i32 : !llvm.i32) { // expected-error@+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 --- 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) -> tensor<2xi64> { // expected-error @+1 {{requires the same shape for all operands and results}} %0 = index_cast %arg0 : tensor to tensor<2xi64> @@ -9,7 +8,6 @@ // ----- -// CHECK-LABEL: test_index_cast_tensor_error func @test_index_cast_tensor_error(%arg0 : tensor) -> i64 { // expected-error @+1 {{requires the same shape for all operands and results}} %0 = index_cast %arg0 : tensor to i64 @@ -105,7 +103,6 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_too_many_offsets func @memref_reinterpret_cast_too_many_offsets(%in: memref) { // expected-error @+1 {{expected 1 offset values}} %out = memref_reinterpret_cast %in to @@ -116,7 +113,6 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_incompatible_element_types func @memref_reinterpret_cast_incompatible_element_types(%in: memref<*xf32>) { // expected-error @+1 {{different element types specified}} %out = memref_reinterpret_cast %in to @@ -127,7 +123,6 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_incompatible_memory_space func @memref_reinterpret_cast_incompatible_memory_space(%in: memref<*xf32>) { // expected-error @+1 {{different memory spaces specified}} %out = memref_reinterpret_cast %in to @@ -138,7 +133,6 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_offset_mismatch func @memref_reinterpret_cast_offset_mismatch(%in: memref) { // expected-error @+1 {{expected result type with offset = 2 instead of 1}} %out = memref_reinterpret_cast %in to @@ -149,7 +143,6 @@ // ----- -// 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 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_stride_mismatch func @memref_reinterpret_cast_offset_mismatch(%in: memref) { // 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 @@ // ----- -// CHECK-LABEL: func @memref_reinterpret_cast_dynamic_size_mismatch func @memref_reinterpret_cast_offset_mismatch(%in: memref) { %c0 = constant 0 : index %c10 = constant 10 : index @@ -184,7 +175,6 @@ // ----- -// 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 @@ // ----- -// CHECK-LABEL: memref_reshape_dst_ranked_shape_unranked func @memref_reshape_dst_ranked_shape_unranked( %buf: memref<*xf32>, %shape: memref) { // expected-error @+1 {{cannot use shape operand with dynamic length to reshape to statically-ranked memref type}} @@ -202,7 +191,6 @@ // ----- -// 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 differs from the result's memref rank}} @@ -212,7 +200,6 @@ // ----- -// 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 @@ // ----- -// 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}}