mlir/test/mlir-tblgen/attr-or-type-builder-invalid.td

   1 // RUN: not mlir-tblgen -gen-typedef-defs -I %S/../../include %s 2>&1 | FileCheck %s
   2
   3 include "mlir/IR/AttrTypeBase.td"
   4 include "mlir/IR/OpBase.td"
   5
   6 def Test_Dialect : Dialect {
   7   let name = "TestDialect";
   8   let cppNamespace = "::test";
   9 }
  10
  11 class InvalidType<string name> : TypeDef<Test_Dialect, name> {
  12   let mnemonic = ?;
  13 }
  14
  15 // This definition should not generate an error due to the use in `InvalidTypeA`
  16 // CHECK-NOT: Record `TestParameter' does not have a field named `type'!
  17 def TestParameter : TypeParameter<"int", "int parameter">;
  18
  19 // Test builder uses wrong record class.
  20 def InvalidTypeA : InvalidType<"InvalidTypeA"> {
  21   let parameters = (ins "int":$v0);
  22   let builders = [
  23     // CHECK: Builder DAG arguments must be either strings or defs which inherit from CArg
  24     TypeBuilder<(ins TestParameter:$arg0), [{
  25       return $_get($_ctxt, arg0);
  26     }]>
  27   ];
  28 }
  29