--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mlir/test/Dialect/Quant/parse-uniform-invalid.mlir	Mon May 25 11:55:54 2020 +0900
@@ -0,0 +1,122 @@
+// RUN: mlir-opt %s -split-input-file -verify-diagnostics
+
+// -----
+// Invalid type.
+// expected-error@+1 {{unknown quantized type foobar}}
+!qalias = type !quant.foobar
+
+// -----
+// Unrecognized token: illegal token
+// expected-error@+1 {{unknown quantized type __}}
+!qalias = type !quant.__
+
+// -----
+// Unrecognized token: trailing
+// expected-error@+1 {{expected '>'}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, 0.99872:127 23>
+
+// -----
+// Unrecognized token: missing storage type maximum
+// expected-error@+1 {{expected ':'}}
+!qalias = type !quant.uniform<i8<16>:f32, 0.99872:127>
+
+// -----
+// Unrecognized token: missing closing angle bracket
+// expected-error@+1 {{expected '>'}}
+!qalias = type !quant<"uniform<i8<-4:3:f32, 0.99872:127>">
+
+// -----
+// Unrecognized token: missing type colon
+// expected-error@+1 {{expected ':'}}
+!qalias = type !quant.uniform<i8<-4:3>f32, 0.99872:127>
+
+// -----
+// Unrecognized token: missing comma
+// expected-error@+1 {{expected ','}}
+!qalias = type !quant.uniform<i8<-4:3>:f32 0.99872:127>
+
+// -----
+// Unrecognized storage type: illegal prefix
+// expected-error@+1 {{illegal storage type prefix}}
+!qalias = type !quant.uniform<int8<-4:3>:f32, 0.99872:127>
+
+// -----
+// Unrecognized storage type: no width
+// expected-error@+1 {{illegal storage type prefix}}
+!qalias = type !quant.uniform<i<-4:3>:f32, 0.99872:127>
+
+// -----
+// Unrecognized storage type: storage size > 32
+// expected-error@+1 {{illegal storage type size: 33}}
+!qalias = type !quant.uniform<i33:f32, 0.99872:127>
+
+// -----
+// Unrecognized storage type: storage size < 0
+// expected-error@+1 {{illegal storage type prefix}}
+!qalias = type !quant.uniform<i-1<-4:3>:f32, 0.99872:127>
+
+// -----
+// Unrecognized storage type: storage size == 0
+// expected-error@+1 {{invalid integer width}}
+!qalias = type !quant.uniform<i0<-4:3>:f32, 0.99872:127>
+
+// -----
+// Illegal storage min/max: max - min < 0
+// expected-error@+1 {{illegal storage min and storage max: (2:1)}}
+!qalias = type !quant.uniform<i8<2:1>:f32, 0.99872:127>
+
+// -----
+// Illegal storage min/max: max - min == 0
+// expected-error@+1 {{illegal storage min and storage max: (1:1)}}
+!qalias = type !quant.uniform<i8<1:1>:f32, 0.99872:127>
+
+// -----
+// Illegal storage min/max: max > defaultMax
+// expected-error@+1 {{illegal storage type maximum: 9}}
+!qalias = type !quant.uniform<i4<-1:9>:f32, 0.99872:127>
+
+// -----
+// Illegal storage min/max: min < defaultMin
+// expected-error@+1 {{illegal storage type minimum: -9}}
+!qalias = type !quant.uniform<i4<-9:1>:f32, 0.99872:127>
+
+// -----
+// Illegal uniform params: invalid scale
+// expected-error@+1 {{expected floating point literal}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, abc:127>
+
+// -----
+// Illegal uniform params: invalid zero point separator
+// expected-error@+1 {{expected '>'}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, 0.1abc>
+
+// -----
+// Illegal uniform params: missing zero point
+// expected-error@+1 {{expected integer value}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, 0.1:>
+
+// -----
+// Illegal uniform params: invalid zero point
+// expected-error@+1 {{expected integer value}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, 0.1:abc>
+
+// -----
+// Illegal expressed type: f33
+// expected-error@+1 {{expected non-function type}}
+!qalias = type !quant.uniform<i8<-4:3>:f33, 0.99872:127>
+
+// -----
+// Illegal scale: negative
+// expected-error@+1 {{illegal scale: -1.000000}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, -1.0:127>
+
+// -----
+// Illegal uniform params: missing quantized dimension
+// expected-error@+1 {{expected integer value}}
+!qalias = type !quant.uniform<i8<-4:3>:f32:, {2.000000e+02:-19.987200e-01:1}>
+
+// -----
+// Illegal uniform params: unspecified quantized dimension, when multiple scales
+// provided.
+// expected-error@+1 {{expected floating point literal}}
+!qalias = type !quant.uniform<i8<-4:3>:f32, {2.000000e+02,-19.987200e-01:1}>