1// RUN: mlir-opt %s --split-input-file --verify-diagnostics
2
3transform.sequence {
4^bb0(%arg0: !pdl.operation):
5  // expected-error@below {{expects iterator_interchange to be a permutation, found [1, 1]}}
6  transform.structured.interchange %arg0 {iterator_interchange = [1, 1]}
7}
8
9// -----
10
11transform.sequence {
12^bb0(%arg0: !pdl.operation):
13  // expected-error@below {{expects padding_dimensions to contain positive integers, found [1, -7]}}
14  transform.structured.pad %arg0 {padding_dimensions=[1, -7]}
15}
16
17// -----
18
19transform.sequence {
20^bb0(%arg0: !pdl.operation):
21  // expected-error@below {{expects pack_paddings to contain booleans (0/1), found [1, 7]}}
22  transform.structured.pad %arg0 {pack_paddings=[1, 7]}
23}
24
25// -----
26
27transform.sequence {
28^bb0(%arg0: !pdl.operation):
29  // expected-error@below {{expects hoist_paddings to contain positive integers, found [1, -7]}}
30  transform.structured.pad %arg0 {hoist_paddings=[1, -7]}
31}
32
33// -----
34
35transform.sequence {
36^bb0(%arg0: !pdl.operation):
37  // expected-error@below {{expects transpose_paddings to be a permutation, found [1, 1]}}
38  transform.structured.pad %arg0 {transpose_paddings=[[1, 1]]}
39}
40