Lines Matching refs:expected
6 func @illegaltype(i) // expected-error {{expected non-function type}}
11 …%0 = constant dense<0> : <vector 4 x f32> : vector<4 x f32> // expected-error {{expected non-funct…
16 func @nestedtensor(tensor<tensor<i8>>) -> () // expected-error {{invalid tensor element type}}
20 func @illegalmemrefelementtype(memref<?xtensor<i8>>) -> () // expected-error {{invalid memref eleme…
24 func @illegalunrankedmemrefelementtype(memref<*xtensor<i8>>) -> () // expected-error {{invalid memr…
28 func @indexvector(vector<4 x index>) -> () // expected-error {{vector elements must be int or float…
32 func @memrefs(memref<2x4xi8, >) // expected-error {{expected list element}}
36 func @memrefs(memref<2x4xi8, #map7>) // expected-error {{undefined symbol alias id 'map7'}}
40 func @memrefs(memref<2x4xi8, i8>) // expected-error {{expected affine map in memref type}}
46 func @memrefs(memref<2x4xi8, #map0, #map8>) // expected-error {{undefined symbol alias id 'map8'}}
51 func @memrefs(memref<2x4xi8, #map0, 1, 2>) // expected-error {{multiple memory spaces specified in …
58 func @memrefs(memref<2x4xi8, #map0, 1, #map1>) // expected-error {{expected memory space to be last…
65 func @memrefs(memref<42xi8, #map0>) // expected-error {{memref affine map dimension mismatch}}
71 func @memrefs(memref<42x42xi8, #map0, #map1>) // expected-error {{memref affine map dimension misma…
75 …ter_strides(memref<42x42xi8, 0, offset: ?, strides: [?, ?]>) // expected-error {{expected memory s…
79 …e_missing_colon(memref<42x42xi8, offset ?, strides: [?, ?]>) // expected-error {{expected colon af…
83 func @memref_stride_invalid_offset(memref<42x42xi8, offset: [], strides: [?, ?]>) // expected-error…
87 …f_stride_missing_strides(memref<42x42xi8, offset: 0 [?, ?]>) // expected-error {{expected comma af…
91 …_stride_missing_strides(memref<42x42xi8, offset: 0, [?, ?]>) // expected-error {{expected `strides…
95 …missing_colon_2(memref<42x42xi8, offset: 0, strides [?, ?]>) // expected-error {{expected colon af…
99 func @memref_stride_invalid_strides(memref<42x42xi8, offset: 0, strides: ()>) // expected-error {{i…
103 func @memref_zero_stride(memref<42x42xi8, offset: ?, strides: [0, ?]>) // expected-error {{invalid …
109 br ^missing // expected-error {{reference to an undefined block}}
117 ^bb42: // expected-error {{redefinition of block '^bb42'}}
123 func @no_terminator() { // expected-error {{block with no terminator}}
134 ^bb42 (%bb42 : i32: // expected-error {{expected ')' to end argument list}}
141 ^bb42 (i32): // expected-error {{expected SSA operand}}
148 ^bb42 (%0): // expected-error {{expected ':' and type for SSA operand}}
156 br ^bb2( // expected-error@+1 {{expected ':'}}
163 // expected-error@-1 {{entry block of region may not have predecessors}}
174 %y = constant 1 : i32 // expected-error {{block with no terminator}}
179 " // expected-error {{expected}}
184 " // expected-error {{expected}}
190 "foo"() : i32 // expected-error {{expected function type}}
198 ""() : ()->() // expected-error {{empty operation name is invalid}}
204 func @illegaltype(i0) // expected-error {{invalid integer width}}
209 affine.for i = 1 to 10 { // expected-error {{expected SSA operand}}
214 affine.for %i 1 to 10 { // expected-error {{expected '='}}
219 affine.for %i = 1 too 10 { // expected-error {{expected 'to' between bounds}}
227 } // expected-error {{expected '{' to begin a region}}
234 // expected-error@+2 {{region entry argument '%i0' is already in use}}
235 // expected-note@+1 {{previously referenced here}}
243 affine.for %2 = 1 to 5 step %1 { // expected-error {{expected non-function type}}
249 } // expected-error@-1 {{expected step to be representable as a positive signed integer}}
254 asd // expected-error {{custom op 'asd' is unknown}}
261 …affine.if affine_set<(i)[N] : (i >= )> // expected-error {{expected '== 0' or '>= 0' at end of af…
269 affine.if affine_set<(i)[N] : (i == 1)> // expected-error {{expected '0' after '=='}}
277 affine.if affine_set<(i)[N] : (i >= 2)> // expected-error {{expected '0' after '>='}}
285 …affine.if affine_set<(i)[N] : (i <= 0)> // expected-error {{expected '== 0' or '>= 0' at end of af…
293 …affine.if affine_set<(i) : (i)> // expected-error {{expected '== 0' or '>= 0' at end of affine con…
301 …affine.if affine_set<(i) : (1)> // expected-error {{expected '== 0' or '>= 0' at end of affine con…
307 #map = affine_map<(d0) -> (% // expected-error {{invalid SSA name}}
313 %1 = "foo"() : (i32)->i64 // expected-error {{expected 0 operand types but had 1}}
321 %x = "xxx"(){index = 0} : ()->i32 // expected-note {{previously defined here}}
322 %x = "xxx"(){index = 0} : ()->i32 // expected-error {{redefinition of SSA value '%x'}}
330 %x = "xxx"(%y) : (i32)->i32 // expected-error {{use of undeclared SSA value}}
336 func @malformed_type(%a : intt) { // expected-error {{expected non-function type}}
343 …return // expected-error {{'std.return' op has 0 operands, but enclosing function (@resulterror…
349 …return // expected-error {{'std.return' op has 0 operands, but enclosing function (@func_resulterr…
355 ^bb1(%a: i64): // expected-note {{previously defined here}}
357 ^bb2(%a: i64): // expected-error{{redefinition of SSA value '%a'}}
366 // expected-error @+1 {{branch has 2 operands for successor #0, but target block has 1}}
378 // expected-error @+1 {{type mismatch for bb argument #0 of successor #0}}
390 // expected-error@-1 {{vector elements must be int or float type}}
396 %a = "foo"() : () -> i32 // expected-note {{prior use here}}
397 …cond_br %a, ^bb0, ^bb0 // expected-error {{use of value '%a' expects different type than prior use…
406 cond_br %c, ^bb0(%a, %a : i32, ^bb0) // expected-error {{expected non-function type}}
415 cond_br %c, ^bb0(%a, %a : i32, i32), i32 // expected-error {{expected block name}}
421 %c = "std.addi"(%a, %b)[^bb1] : () -> () // expected-error {{successors in non-terminator}}
430 %x = "xxx"(%y) : (i32)->i32 // expected-error {{use of undeclared SSA value name}}
437 %x = "xxx"(%y) : (i32)->i32 // expected-error {{use of undeclared SSA value name}}
444 affine.for %i = 1 to 10 { // expected-note {{previously referenced here}}
445 affine.for %i = 1 to 10 { // expected-error {{region entry argument '%i' is already in use}}
456 "xxx"(%i) : (index)->() // expected-error {{use of undeclared SSA value name}}
464 "foo"(%x) : (i32) -> () // expected-error {{operand #0 does not dominate this use}}
467 %x = "bar"() : () -> i32 // expected-note {{operand defined here}}
475 …return %0 : f32 // expected-error {{type of return operand 0 ('f32') doesn't match function resul…
482 // expected-error@-1 {{op expects regions to end with 'affine.yield', found 'std.return'}}
483 // expected-note@-2 {{in custom textual format, the absence of terminator implies}}
491 // expected-error@+1 {{expected three consecutive dots for an ellipsis}}
496 // expected-error@+1 {{expected three consecutive dots for an ellipsis}}
501 // expected-error@+1 {{expected non-function type}}
506 func @redef() // expected-note {{see existing symbol definition here}}
507 func @redef() // expected-error {{redefinition of symbol named 'redef'}}
513 %x = constant @foo : (i32) -> () // expected-error {{reference to function with mismatched type}}
521 %x = constant @qux : (i32) -> () // expected-error {{reference to undefined function 'qux'}}
531 // expected-error@-1 {{symbol operand count and affine map symbol count must match}}
542 // expected-error@-1 {{dim operand count and affine map dim count must match}}
551 // expected-error@-1 {{integer constant out of range for attribute}}
559 …affine.for %i = 1 to max affine_map<(i)->(N, 100)> { //expected-error {{expected non-function type…
567 affine.for %i = 1 to 100 step -- 1 { //expected-error {{expected constant integer}}
575 affine.for %i = 1 to affine_map<(i)->(j)>(%N) { //expected-error {{use of undeclared identifier}}
582 #set0 = affine_set<(i)[N, M] : )i >= 0)> // expected-error {{expected '(' at start of integer set c…
590 // expected-error@-1 {{symbol operand count and integer set symbol count must match}}
598 // expected-error@-1 {{dim operand count and integer set dim count must match}}
606 // expected-error@-1 {{operand cannot be used as a symbol}}
613 // expected-error@+1 {{expected '"' in string literal}}
616 // expected-error@+1 {{expected non-function type}}
620 // expected-error@+2 {{expected SSA operand}}
626 …"foo"(){bar = dense<[4]> : i32} : () -> () // expected-error {{elements literal must be a ranked t…
633 …"foo"(){bar = dense<[4]> : tensor<?xi32>} : () -> () // expected-error {{elements literal type mus…
640 …"foo"(){bar = dense<[4]> : tensor<5xi32>} : () -> () // expected-error {{inferred shape of element…
647 …"foo"(){bar = dense<[4, [5]]> : tensor<2xi32>} : () -> () // expected-error {{tensor literal is in…
654 …"foo"(){bar = dense<[tf_opaque]> : tensor<1xi32>} : () -> () // expected-error {{expected element …
661 // expected-error@+1 {{expected integer elements, but parsed floating-point}}
669 // expected-error@+1 {{expected integer elements, but parsed floating-point}}
677 // expected-error@+1 {{expected floating-point elements, but parsed integer}}
685 …"foo"(){bar = dense<[777]> : tensor<1xi8>} : () -> () // expected-error {{integer constant out of …
692 …"foo"(){bar = dense<[-777]> : tensor<1xi8>} : () -> () // expected-error {{integer constant out of…
697 "foo"(){bar = dense<[()]> : tensor<complex<i64>>} : () -> () // expected-error {{expected element l…
701 "foo"(){bar = dense<[(10)]> : tensor<complex<i64>>} : () -> () // expected-error {{expected ',' bet…
705 "foo"(){bar = dense<[(10,)]> : tensor<complex<i64>>} : () -> () // expected-error {{expected elemen…
709 "foo"(){bar = dense<[(10,10]> : tensor<complex<i64>>} : () -> () // expected-error {{expected ')' a…
715 …"foo"(){bar = opaque<10, "0xQZz123"> : tensor<1xi8>} : () -> () // expected-error {{expected diale…
722 …"foo"(){bar = opaque<"", "0xQZz123"> : tensor<1xi8>} : () -> () // expected-error {{expected strin…
729 …"foo"(){bar = opaque<"", "00abc"> : tensor<1xi8>} : () -> () // expected-error {{expected string c…
736 …"foo"(){bar = opaque<"t", "0xabc"> : tensor<1xi8>} : () -> () // expected-error {{no registered di…
742 ^bb0(%b : i32): // expected-error {{invalid block name in region with named arguments}}
750 // expected-error @-1 {{expected SSA identifier}}
757 … %a : i32) -> () { // expected-error {{expected type instead of SSA identifier}}
768 tensor<42 x index // expected-error {{custom op 'tensor' is unknown}}
776 // expected-note@+1 {{previously referenced here}}
779 // expected-error@+1 {{region entry argument '%i1' is already in use}}
787 func @dialect_type_empty_namespace(!<"">) -> () { // expected-error {{invalid type identifier}}
793 func @dialect_type_no_string_type_data(!foo<>) -> () { // expected-error {{expected string literal …
799 func @dialect_type_missing_greater(!foo<"") -> () { // expected-error {{expected '>' in dialect sym…
805 func @type_alias_unknown(!unknown_alias) -> () { // expected-error {{undefined symbol alias id 'unk…
811 // expected-error @+1 {{type names with a '.' are reserved for dialect-defined names}}
816 !missing_eq_alias type i32 // expected-error {{expected '=' in type alias definition}}
820 !missing_kw_type_alias = i32 // expected-error {{expected 'type' in type alias definition}}
824 !missing_type_alias = type // expected-error@+2 {{expected non-function type}}
829 !redef_alias = type i32 // expected-error {{redefinition of type alias id 'redef_alias'}}
836 // expected-error @+1 {{expected '"' in string literal}}
842 // expected-error @+1 {{expected element literal of primitive type}}
848 // expected-error @+1 {{expected 1-d tensor for values}}
854 // expected-error @+1 {{expected element literal of primitive type}}
861 %idx = affine.apply affine_map<(d0, d1)> (%c0, %c0) // expected-error {{expected '->' or ':'}}
868 // expected-error @+1 {{lower loop bound affine map with multiple results requires 'max' prefix}}
877 // expected-error @+1 {{upper loop bound affine map with multiple results requires 'min' prefix}}
885 // expected-error @+1 {{vector types must have positive constant sizes}}
890 // expected-error @+1 {{vector types must have positive constant sizes}}
895 // expected-error @+1 {{expected dimension size in vector type}}
900 // expected-error @+1 {{expected non-function type}}
905 // expected-error @+1 {{expected non-function type}}
910 // expected-error @+1 {{expected non-function type}}
915 // expected-error @+1 {{expected non-function type}}
920 // expected-error @+1 {{expected non-function type}}
927 // expected-error @+1 {{operand #0 does not dominate this use}}
932 // expected-note @+1 {{operand defined here}}
941 // expected-error @+1 {{unbalanced ']' character in pretty dialect name}}
946 // expected-error @+1 {{@ identifier expected to start with letter or '_'}}
951 // expected-error @+1 {{arguments may only have dialect attributes}}
956 // expected-error @+1 {{results may only have dialect attributes}}
961 // expected-error @+1 {{expected '<' in tuple type}}
966 // expected-error @+1 {{expected '>' in tuple type}}
978 // expected-error @+1 {{expected operation name in quotes}}
995 // expected-error @+1 {{expected operation name in quotes}}
1011 // expected-error @+1 {{expected operation name in quotes}}
1020 // expected-error@+1 {{expected ')' to end region list}}
1027 // expected-error@+1 {{expected integer number of results}}
1035 // expected-error@+1 {{expected named operation to have atleast 1 result}}
1043 // expected-error@+1 {{expected valid ssa identifier}}
1051 // expected-error@+1 {{operation defines 2 results but was provided 1 to bind}}
1059 // expected-error@+1 {{operation defines 2 results but was provided 3 to bind}}
1067 // expected-error@+1 {{cannot name an operation with no results}}
1075 // expected-note@+1 {{previously defined here}}
1078 // expected-error@+1 {{redefinition of SSA value '%bar'}}
1086 // expected-error@+1 {{expected '=' after SSA name}}
1093 // expected-error @+1 {{invalid element type for complex}}
1098 // expected-error @+1 {{expected '<' in complex type}}
1103 // expected-error @+1 {{expected '>' in complex type}}
1108 // expected-error @+1 {{attribute names with a '.' are reserved for dialect-defined names}}
1115 // expected-error @+1 {{operand #0 does not dominate this use}}
1119 // expected-note @+1 {{operand defined here}}
1128 // expected-note @+1 {{operand defined here}}
1130 // expected-error @+1 {{operand #0 does not dominate this use}}
1140 // expected-error @+1 {{hexadecimal float literal should not have a leading minus}}
1147 // expected-error @+1 {{hexadecimal float constant out of range for type}}
1154 // expected-error @+2 {{unexpected decimal integer literal for a float attribute}}
1155 // expected-note @+1 {{add a trailing dot to make the literal a float}}
1162 // expected-error @+1 {{expected integer elements, but parsed floating-point}}
1169 // expected-error @+1 {{expected integer elements, but parsed floating-point}}
1176 // expected-error @+1 {{expected floating-point elements, but parsed integer}}
1183 // expected-error @+1 {{expected floating-point elements, but parsed integer}}
1190 // expected-error @+1 {{hexadecimal float literal should not have a leading minus}}
1199 // expected-error @+1 {{hexadecimal float constant out of range for type}}
1207 // expected-error @+1 {{hexadecimal float constant out of range for attribute}}
1214 // expected-error @+1 {{integer constant out of range for type}}
1221 // expected-error @+1 {{expected i1 type for 'true' or 'false' values}}
1227 // expected-error @+1 {{unbalanced ')' character in pretty dialect name}}
1233 // expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
1240 // expected-error @+1 {{expected unsigned integer elements, but parsed negative value}}
1248 // expected-error @+1 {{integer constant out of range for attribute}}
1258 // expected-error @+1 {{integer constant out of range for attribute}}
1268 // expected-error @+1 {{integer constant out of range for attribute}}
1278 // expected-error @+1 {{integer constant out of range for attribute}}
1288 // expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
1298 // expected-error @+1 {{integer constant out of range for attribute}}
1308 // expected-error @+1 {{integer constant out of range for attribute}}
1318 // expected-error @+1 {{integer constant out of range for attribute}}
1328 // expected-error @+1 {{integer constant out of range for attribute}}
1338 // expected-error @+1 {{integer constant out of range for attribute}}
1348 // expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
1358 // expected-error @+1 {{integer constant out of range for attribute}}
1368 // expected-error @+1 {{integer constant out of range for attribute}}
1378 // expected-error @+1 {{integer constant out of range for attribute}}
1388 // expected-error @+1 {{integer constant out of range for attribute}}
1398 // expected-error @+1 {{integer constant out of range for attribute}}
1408 // expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
1418 // expected-error @+1 {{integer constant out of range for attribute}}
1428 // expected-error @+1 {{integer constant out of range for attribute}}
1438 // expected-error @+1 {{integer constant out of range for attribute}}
1448 // expected-error @+1 {{integer constant out of range for attribute}}
1458 // expected-error @+1 {{integer constant out of range for attribute}}
1468 // expected-error @+1 {{negative integer literal not valid for unsigned integer type}}
1478 // expected-error @+1 {{integer constant out of range for attribute}}
1488 // expected-error @+1 {{integer constant out of range for attribute}}
1498 // expected-error @+1 {{integer constant out of range for attribute}}
1508 // expected-error @+1 {{integer constant out of range for attribute}}
1517 // expected-error @+1 {{duplicate key 'a' in dictionary attribute}}
1523 // expected-error @+1 {{attribute 'attr' occurs more than once in the attribute list}}
1532 // expected-note @+1 {{previously used here with type 'i8'}}
1536 // expected-error @+1 {{definition of SSA value '%1#0' has type 'f32'}}
1549 // expected-error @+1 {{operand #0 does not dominate this use}}
1555 %1 = "foo"() : ()->i64 // expected-note {{operand defined here}}
1569 // expected-error @+1 {{expected operation name in quotes}}
1578 func @foo() {} // expected-error {{expected non-empty function body}}