mlir/test/IR/test-verifiers-type.mlir

   1 // RUN: mlir-opt %s -verify-diagnostics -split-input-file | FileCheck %s
   2
   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>