mlir/test/Dialect/IRDL/attributes-op.irdl.mlir

   1 // RUN: mlir-opt %s -verify-diagnostics -split-input-file
   2 irdl.dialect @errors {
   3   irdl.operation @attrs1 {
   4     %0 = irdl.is i32
   5     %1 = irdl.is i64
   6
   7     // expected-error@+1 {{'irdl.attributes' op the number of attribute names and their constraints must be the same but got 1 and 2 respectively}}
   8     "irdl.attributes"(%0, %1) <{attributeValueNames = ["attr1"]}> : (!irdl.attribute, !irdl.attribute) -> ()
   9   }
  10 }
  11
  12 // -----
  13
  14 irdl.dialect @errors {
  15   irdl.operation @attrs2 {
  16     %0 = irdl.is i32
  17     %1 = irdl.is i64
  18
  19     // expected-error@+1 {{'irdl.attributes' op the number of attribute names and their constraints must be the same but got 2 and 1 respectively}}
  20     "irdl.attributes"(%0) <{attributeValueNames = ["attr1", "attr2"]}> : (!irdl.attribute) -> ()
  21   }
  22 }