173
|
1 // RUN: mlir-opt %s -split-input-file -verify-diagnostics
|
|
2
|
|
3 // -----
|
|
4 // Unrecognized token: missing storage type maximum
|
|
5 // expected-error@+1 {{expected ':'}}
|
236
|
6 !qalias = !quant.any<i8<16>:f32>
|
173
|
7
|
|
8 // -----
|
|
9 // Unrecognized token: missing closing angle bracket
|
236
|
10 // expected-error@+1 {{unbalanced '<' character in pretty dialect name}}
|
|
11 !qalias = !quant<any<i8<-4:3:f32>>
|
173
|
12
|
|
13 // -----
|
|
14 // Unrecognized token: missing type colon
|
|
15 // expected-error@+1 {{expected '>'}}
|
236
|
16 !qalias = !quant.any<i8<-4:3>f32>
|
173
|
17
|
|
18 // -----
|
|
19 // Unrecognized storage type: illegal prefix
|
|
20 // expected-error@+1 {{illegal storage type prefix}}
|
236
|
21 !qalias = !quant.any<int8<-4:3>:f32>
|
173
|
22
|
|
23 // -----
|
|
24 // Unrecognized storage type: no width
|
|
25 // expected-error@+1 {{illegal storage type prefix}}
|
236
|
26 !qalias = !quant.any<i<-4:3>:f32>
|
173
|
27
|
|
28 // -----
|
|
29 // Unrecognized storage type: storage size > 32
|
|
30 // expected-error@+1 {{illegal storage type size: 33}}
|
236
|
31 !qalias = !quant.any<i33:f32>
|
173
|
32
|
|
33 // -----
|
|
34 // Unrecognized storage type: storage size < 0
|
|
35 // expected-error@+1 {{illegal storage type size: 1024}}
|
236
|
36 !qalias = !quant.any<i1024<-4:3>:f32>
|
173
|
37
|
|
38 // -----
|
221
|
39 // Unrecognized storage type: storage size
|
173
|
40 // expected-error@+1 {{invalid integer width}}
|
236
|
41 !qalias = !quant.any<i0123123123123123<-4:3>:f32>
|
173
|
42
|
|
43 // -----
|
|
44 // Illegal storage min/max: max - min < 0
|
|
45 // expected-error@+1 {{illegal storage min and storage max: (2:1)}}
|
236
|
46 !qalias = !quant.any<i8<2:1>:f32>
|
173
|
47
|
|
48 // -----
|
|
49 // Illegal storage min/max: max - min == 0
|
|
50 // expected-error@+1 {{illegal storage min and storage max: (1:1)}}
|
236
|
51 !qalias = !quant.any<i8<1:1>:f32>
|
173
|
52
|
|
53 // -----
|
|
54 // Illegal storage min/max: max > defaultMax
|
|
55 // expected-error@+1 {{illegal storage type maximum: 9}}
|
236
|
56 !qalias = !quant.any<i4<-1:9>:f32>
|
173
|
57
|
|
58 // -----
|
|
59 // Illegal storage min/max: min < defaultMin
|
|
60 // expected-error@+1 {{illegal storage type minimum: -9}}
|
236
|
61 !qalias = !quant.any<i4<-9:1>:f32>
|