23 lines · plain
1// RUN: mlir-opt %s -verify-diagnostics -split-input-file2irdl.dialect @errors {3 irdl.operation @attrs1 {4 %0 = irdl.is i325 %1 = irdl.is i646 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 14irdl.dialect @errors {15 irdl.operation @attrs2 {16 %0 = irdl.is i3217 %1 = irdl.is i6418 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}23