1// RUN: mlir-opt -allow-unregistered-dialect %s -split-input-file | FileCheck %s 2 3// ----- 4// CHECK-LABEL: parseFullySpecified 5// CHECK: !quant.any<i8<-8:7>:f32> 6!qalias = type !quant.any<i8<-8:7>:f32> 7func @parseFullySpecified() -> !qalias { 8 %0 = "foo"() : () -> !qalias 9 return %0 : !qalias 10} 11 12// ----- 13// CHECK-LABEL: parseNoExpressedType 14// CHECK: !quant.any<i8<-8:7>> 15!qalias = type !quant.any<i8<-8:7>> 16func @parseNoExpressedType() -> !qalias { 17 %0 = "foo"() : () -> !qalias 18 return %0 : !qalias 19} 20 21// ----- 22// CHECK-LABEL: parseOnlyStorageType 23// CHECK: !quant.any<i8> 24!qalias = type !quant.any<i8> 25func @parseOnlyStorageType() -> !qalias { 26 %0 = "foo"() : () -> !qalias 27 return %0 : !qalias 28} 29