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