CbC/CbC_llvm: mlir/test/IR/invalid.mlir comparison

comparison mlir/test/IR/invalid.mlir @ 173:0572611fdcc8 llvm10 llvm12

reorgnization done

author	Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date	Mon, 25 May 2020 11:55:54 +0900
parents	1d019706d866
children	2e18cbf3894f

comparison

equal deleted inserted replaced

-:9fbae9c8bf63
+:0572611fdcc8
-// RUN: mlir-opt %s -split-input-file -verify-diagnostics
+// RUN: mlir-opt -allow-unregistered-dialect %s -split-input-file -verify-diagnostics
 // Check different error cases.
 // -----
 func @illegaltype(i) // expected-error {{expected non-function type}}
 func @indexvector(vector<4 x index>) -> () // expected-error {{vector elements must be int or float type}}
 // -----
 func @indexmemref(memref<? x index>) -> () // expected-error {{invalid memref element type}}
-// -----
-func @indextensor(tensor<4 x index>) -> () // expected-error {{invalid tensor element type}}
 // -----
 // Test no map in memref type.
 func @memrefs(memref<2x4xi8, >) // expected-error {{expected list element}}
 // -----
 func @block_arg_no_close_paren() {
 ^bb42:
-br ^bb2( // expected-error@+1 {{expected ')' to close argument list}}
+br ^bb2( // expected-error@+1 {{expected ':'}}
 return
 }
 // -----
 func @condbr_notbool() {
 ^bb0:
 %a = "foo"() : () -> i32 // expected-note {{prior use here}}
 cond_br %a, ^bb0, ^bb0 // expected-error {{use of value '%a' expects different type than prior uses: 'i1' vs 'i32'}}
-// expected-error@-1 {{expected condition type was boolean (i1)}}
 }
 // -----
 func @condbr_badtype() {
 #map1 = affine_map<(i)[j] -> (i+j)>
 func @bound_symbol_mismatch(%N : index) {
 affine.for %i = #map1(%N) to 100 {
-// expected-error@-1 {{symbol operand count and integer set symbol count must match}}
+// expected-error@-1 {{symbol operand count and affine map symbol count must match}}
 }
 return
 }
 // -----
 #map1 = affine_map<(i)[j] -> (i+j)>
 func @bound_dim_mismatch(%N : index) {
 affine.for %i = #map1(%N, %N)[%N] to 100 {
-// expected-error@-1 {{dim operand count and integer set dim count must match}}
+// expected-error@-1 {{dim operand count and affine map dim count must match}}
 }
 return
 }
 // -----
 "foo"(){bar = dense<[-777]> : tensor<1xi8>} : () -> () // expected-error {{integer constant out of range}}
 }
 // -----
+"foo"(){bar = dense<[()]> : tensor<complex<i64>>} : () -> () // expected-error {{expected element literal of primitive type}}
+// -----
+"foo"(){bar = dense<[(10)]> : tensor<complex<i64>>} : () -> () // expected-error {{expected ',' between complex elements}}
+// -----
+"foo"(){bar = dense<[(10,)]> : tensor<complex<i64>>} : () -> () // expected-error {{expected element literal of primitive type}}
+// -----
+"foo"(){bar = dense<[(10,10]> : tensor<complex<i64>>} : () -> () // expected-error {{expected ')' after complex elements}}
+// -----
 func @elementsattr_malformed_opaque() -> () {
 ^bb0:
 "foo"(){bar = opaque<10, "0xQZz123"> : tensor<1xi8>} : () -> () // expected-error {{expected dialect namespace}}
 }
 // -----
 func @elementsattr_malformed_opaque1() -> () {
 ^bb0:
-"foo"(){bar = opaque<"", "0xQZz123"> : tensor<1xi8>} : () -> () // expected-error {{opaque string only contains hex digits}}
+"foo"(){bar = opaque<"", "0xQZz123"> : tensor<1xi8>} : () -> () // expected-error {{elements hex string only contains hex digits}}
 }
 // -----
 func @elementsattr_malformed_opaque2() -> () {
 ^bb0:
-"foo"(){bar = opaque<"", "00abc"> : tensor<1xi8>} : () -> () // expected-error {{opaque string should start with '0x'}}
+"foo"(){bar = opaque<"", "00abc"> : tensor<1xi8>} : () -> () // expected-error {{elements hex string should start with '0x'}}
 }
 // -----
 func @elementsattr_malformed_opaque3() -> () {
 func @bool_literal_in_non_bool_tensor() {
 // expected-error @+1 {{expected i1 type for 'true' or 'false' values}}
 "foo"() {bar = dense<true> : tensor<2xi16>} : () -> ()
 }
+// -----
 // expected-error @+1 {{unbalanced ')' character in pretty dialect name}}
 func @bad_arrow(%arg : !unreg.ptr<(i32)->)
+// -----
+func @negative_value_in_unsigned_int_attr() {
+// expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
+"foo"() {bar = -5 : ui32} : () -> ()
+}
+// -----
+func @negative_value_in_unsigned_vector_attr() {
+// expected-error @+1 {{expected unsigned integer elements, but parsed negative value}}
+"foo"() {bar = dense<[5, -5]> : vector<2xui32>} : () -> ()
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -129 : i8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 256 : i8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -129 : si8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 129 : si8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
+attr = -1 : ui8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 256 : ui8
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -32769 : i16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 65536 : i16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -32769 : si16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 32768 : si16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
+attr = -1 : ui16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 65536: ui16
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -2147483649 : i32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 4294967296 : i32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -2147483649 : si32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 2147483648 : si32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
+attr = -1 : ui32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 4294967296 : ui32
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -9223372036854775809 : i64
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 18446744073709551616 : i64
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = -9223372036854775809 : si64
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 9223372036854775808 : si64
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
+attr = -1 : ui64
+} : () -> ()
+return
+}
+// -----
+func @large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 18446744073709551616 : ui64
+} : () -> ()
+return
+}
+// -----
+func @really_large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 79228162514264337593543950336 : ui96
+} : () -> ()
+return
+}
+// -----
+func @really_large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 79228162514264337593543950336 : i96
+} : () -> ()
+return
+}
+// -----
+func @really_large_bound() {
+"test.out_of_range_attribute"() {
+// expected-error @+1 {{integer constant out of range for attribute}}
+attr = 39614081257132168796771975168 : si96
+} : () -> ()
+return
+}
+// -----
+func @duplicate_dictionary_attr_key() {
+// expected-error @+1 {{duplicate key in dictionary attribute}}
+"foo.op"() {a, a} : () -> ()
+}
+// -----
+func @forward_reference_type_check() -> (i8) {
+br ^bb2
+^bb1:
+// expected-note @+1 {{previously used here with type 'i8'}}
+return %1 : i8
+^bb2:
+// expected-error @+1 {{definition of SSA value '%1#0' has type 'f32'}}
+%1 = "bar"() : () -> (f32)
+br ^bb1
+}
+// -----
+func @dominance_error_in_unreachable_op() -> i1 {
+%c = constant 0 : i1
+return %c : i1
+^bb0:
+"dummy" () ({  // unreachable
+^bb1:
+// expected-error @+1 {{operand #0 does not dominate this use}}
+%2:3 = "bar"(%1) : (i64) -> (i1,i1,i1)
+br ^bb4
+^bb2:
+br ^bb2
+^bb4:
+%1 = "foo"() : ()->i64   // expected-note {{operand defined here}}
+}) : () -> ()
+return %c : i1
+}

Mercurial > hg > CbC > CbC_llvm

comparison mlir/test/IR/invalid.mlir @ 173:0572611fdcc8 llvm10 llvm12