25 lines · plain
1// RUN: mlir-opt %s -verify-diagnostics -split-input-file | FileCheck %s2 3// CHECK: "test.type_producer"() : () -> !test.type_verification<i16>4"test.type_producer"() : () -> !test.type_verification<i16>5 6// -----7 8// expected-error @below{{failed to verify 'param': 16-bit signless integer or 32-bit signless integer}}9"test.type_producer"() : () -> !test.type_verification<f16>10 11// -----12 13// CHECK: "test.type_producer"() : () -> vector<!ptr.ptr<#test.const_memory_space>>14"test.type_producer"() : () -> vector<!ptr.ptr<#test.const_memory_space>>15 16// -----17 18// CHECK: "test.type_producer"() : () -> vector<!llvm.ptr<1>>19"test.type_producer"() : () -> vector<!llvm.ptr<1>>20 21// -----22 23// expected-error @below{{failed to verify 'elementType': VectorElementTypeInterface instance}}24"test.type_producer"() : () -> vector<memref<2xf32>>25