50 lines · plain
1// RUN: mlir-opt %s -verify-diagnostics -split-input-file2 3irdl.dialect @test_region_op_negative_number {4 irdl.operation @op {5 // expected-error @below {{'irdl.region' op the number of blocks is expected to be >= 1 but got -42}}6 %r1 = irdl.region with size -427 }8}9 10// -----11 12irdl.dialect @test_regions_op_missing_name {13 irdl.operation @op {14 %r1 = irdl.region15 // expected-error @below {{expected valid keyword}}16 irdl.regions(%r1)17 }18}19 20// -----21 22irdl.dialect @test_regions_op_wrong_name {23 irdl.operation @op {24 %r1 = irdl.region25 // expected-error @below {{name of region #0 must contain only lowercase letters, digits and underscores}}26 irdl.regions(test$test: %r1)27 }28}29 30// -----31 32irdl.dialect @test_regions_duplicate_name {33 irdl.operation @op {34 %r1 = irdl.region35 // expected-error @below {{name of region #2 is a duplicate of the name of region #0}}36 irdl.regions(foo: %r1, bar: %r1, foo: %r1)37 }38}39 40// -----41 42irdl.dialect @test_regions_op_wrong_operation {43 irdl.operation @op {44 // expected-note @below {{prior use here}}45 %r1 = irdl.any46 // expected-error @below {{use of value '%r1' expects different type than prior uses: '!irdl.region' vs '!irdl.attribute'}}47 irdl.regions(foo: %r1)48 }49}50