1// RUN: mlir-opt %s -verify-diagnostics -split-input-file 2irdl.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 14irdl.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} 23