mlir/test/Dialect/IRDL/invalid.irdl.mlir

   1 // RUN: mlir-opt %s -verify-diagnostics -split-input-file
   2
   3 // Testing invalid IRDL IRs
   4
   5 irdl.dialect @testd {
   6   irdl.type @type {
   7     // expected-error@+1 {{symbol '@foo' not found}}
   8     %0 = irdl.base @foo
   9     irdl.parameters(%0)
  10   }
  11 }
  12
  13 // -----
  14
  15 irdl.dialect @testd {
  16   irdl.type @type {
  17     // expected-error@+1 {{the base type or attribute name should start with '!' or '#'}}
  18     %0 = irdl.base "builtin.integer"
  19     irdl.parameters(%0)
  20   }
  21 }
  22
  23 // -----
  24
  25 irdl.dialect @testd {
  26   irdl.type @type {
  27     // expected-error@+1 {{the base type or attribute name should start with '!' or '#'}}
  28     %0 = irdl.base ""
  29     irdl.parameters(%0)
  30   }
  31 }
  32
  33 // -----
  34
  35 irdl.dialect @testd {
  36   irdl.type @type {
  37     // expected-error@+1 {{the base type or attribute should be specified by either a name}}
  38     %0 = irdl.base
  39     irdl.parameters(%0)
  40   }
  41 }
  42
  43 // -----
  44
  45 func.func private @not_a_type_or_attr()
  46
  47 irdl.dialect @invalid_parametric {
  48   irdl.operation @foo {
  49     // expected-error@+1 {{symbol '@not_a_type_or_attr' does not refer to a type or attribute definition}}
  50     %param = irdl.parametric @not_a_type_or_attr<>
  51     irdl.results(%param)
  52   }
  53 }