mlir/test/Dialect/IRDL/test-type.mlir

   1 // RUN: mlir-opt %s --irdl-file=%S/test-type.irdl.mlir -split-input-file -verify-diagnostics | FileCheck %s
   2
   3 func.func @succeededTypeVerifier() {
   4     // CHECK: "testd.any"() : () -> !testd.singleton
   5     "testd.any"() : () -> !testd.singleton
   6
   7     // CHECK-NEXT: "testd.any"() : () -> !testd.parametrized<f32, i32>
   8     "testd.any"() : () -> !testd.parametrized<f32, i32>
   9
  10     // CHECK: "testd.any"() : () -> !testd.parametrized<i1, i64>
  11     "testd.any"() : () -> !testd.parametrized<i1, i64>
  12
  13     return
  14 }
  15
  16 // -----
  17
  18 func.func @failedSingletonVerifier() {
  19      // expected-error@+1 {{expected 0 type arguments, but had 1}}
  20      "testd.any"() : () -> !testd.singleton<i32>
  21 }
  22
  23 // -----
  24
  25 func.func @failedParametrizedVerifierWrongNumOfArgs() {
  26      // expected-error@+1 {{expected 2 type arguments, but had 1}}
  27      "testd.any"() : () -> !testd.parametrized<i32>
  28 }
  29
  30 // -----
  31
  32 func.func @failedParametrizedVerifierWrongArgument() {
  33      // expected-error@+1 {{'i1' does not satisfy the constraint}}
  34      "testd.any"() : () -> !testd.parametrized<i32, i1>
  35 }