62 lines · plain
1// RUN: mlir-opt %s -split-input-file -verify-diagnostics2 3// -----4// Unrecognized token: missing storage type maximum5// expected-error@+1 {{expected ':'}}6!qalias = !quant.any<i8<16>:f32>7 8// -----9// Unrecognized token: missing closing angle bracket10// expected-error@+1 {{unbalanced '<' character in pretty dialect name}}11!qalias = !quant<any<i8<-4:3:f32>>12 13// -----14// Unrecognized token: missing type colon15// expected-error@+1 {{expected '>'}}16!qalias = !quant.any<i8<-4:3>f32>17 18// -----19// Unrecognized storage type: illegal prefix20// expected-error@+1 {{illegal storage type prefix}}21!qalias = !quant.any<int8<-4:3>:f32>22 23// -----24// Unrecognized storage type: no width25// expected-error@+1 {{illegal storage type prefix}}26!qalias = !quant.any<i<-4:3>:f32>27 28// -----29// Unrecognized storage type: storage size > 3230// expected-error@+1 {{illegal storage type size: 33}}31!qalias = !quant.any<i33:f32>32 33// -----34// Unrecognized storage type: storage size < 035// expected-error@+1 {{illegal storage type size: 1024}}36!qalias = !quant.any<i1024<-4:3>:f32>37 38// -----39// Unrecognized storage type: storage size40// expected-error@+1 {{invalid integer width}}41!qalias = !quant.any<i0123123123123123<-4:3>:f32>42 43// -----44// Illegal storage min/max: max - min < 045// expected-error@+1 {{illegal storage min and storage max: (2:1)}}46!qalias = !quant.any<i8<2:1>:f32>47 48// -----49// Illegal storage min/max: max - min == 050// expected-error@+1 {{illegal storage min and storage max: (1:1)}}51!qalias = !quant.any<i8<1:1>:f32>52 53// -----54// Illegal storage min/max: max > defaultMax55// expected-error@+1 {{illegal storage type maximum: 9}}56!qalias = !quant.any<i4<-1:9>:f32>57 58// -----59// Illegal storage min/max: min < defaultMin60// expected-error@+1 {{illegal storage type minimum: -9}}61!qalias = !quant.any<i4<-9:1>:f32>62