llvm-project

1
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
2
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
3
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR3 %s 2>&1 | FileCheck --check-prefix=ERROR3 %s
4
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR4 %s 2>&1 | FileCheck --check-prefix=ERROR4 %s
5
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR5 %s 2>&1 | FileCheck --check-prefix=ERROR5 %s
6
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR6 %s 2>&1 | FileCheck --check-prefix=ERROR6 %s
7
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR7 %s 2>&1 | FileCheck --check-prefix=ERROR7 %s
8
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR8 %s 2>&1 | FileCheck --check-prefix=ERROR8 %s
9
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR9 %s 2>&1 | FileCheck --check-prefix=ERROR9 %s
10
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR10 %s 2>&1 | FileCheck --check-prefix=ERROR10 %s
11
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR11 %s 2>&1 | FileCheck --check-prefix=ERROR11 %s
12
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR12 %s 2>&1 | FileCheck --check-prefix=ERROR12 %s
13
// RUN: not mlir-tblgen -gen-op-decls -I %S/../../include -DERROR13 %s 2>&1 | FileCheck --check-prefix=ERROR13 %s
14

15
include "mlir/IR/OpBase.td"
16

17
def Test_Dialect : Dialect {
18
  let name = "test_dialect";
19
}
20

21
#ifdef ERROR1
22
// ERROR1: error: expected 'ins'
23
def OpInsMissing : Op<Test_Dialect, "ins_missing"> {
24
  let builders = [
25
    OpBuilder<(outs)>
26
  ];
27
}
28
#endif
29

30
#ifdef ERROR2
31
// ERROR2: error: expected an argument with default value after other arguments with default values
32
def OpDefaultValueNotTrailing : Op<Test_Dialect, "default_value"> {
33
  let builders = [
34
    OpBuilder<(ins CArg<"int", "42">, "int")>
35
  ];
36
}
37
#endif
38

39
#ifdef ERROR3
40
// ERROR3: error: expected an argument with default value after other arguments with default values
41
def OpDefaultValueNotTrailing : Op<Test_Dialect, "default_value"> {
42
  let builders = [
43
    OpBuilder<(ins CArg<"int", "42">, CArg<"int">)>
44
  ];
45
}
46
#endif
47

48
#ifdef ERROR4
49
// ERROR4: error: op has a conflict with two operands having the same name 'tensor'
50
def OpWithDuplicatedArgNames : Op<Test_Dialect, "default_value"> {
51
  let arguments = (ins AnyTensor:$tensor, AnyTensor:$tensor);
52
}
53
#endif
54

55
#ifdef ERROR5
56
// ERROR5: error: op has a conflict with two results having the same name 'tensor'
57
def OpWithDuplicatedResultNames : Op<Test_Dialect, "default_value"> {
58
  let results = (outs AnyTensor:$tensor, AnyTensor:$tensor);
59
}
60
#endif
61

62
#ifdef ERROR6
63
// ERROR6: error: op has a conflict with operands and results both having an entry with the name 'tensor'
64
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
65
  let arguments = (ins AnyTensor:$tensor);
66
  let results = (outs AnyTensor:$tensor);
67
}
68
#endif
69

70
#ifdef ERROR7
71
// ERROR7: error: op has a conflict with operands and regions both having an entry with the name 'tensor'
72
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
73
  let arguments = (ins AnyTensor:$tensor);
74
  let regions = (region AnyRegion:$tensor);
75
}
76
#endif
77

78
#ifdef ERROR8
79
// ERROR8: error: op has a conflict with results and regions both having an entry with the name 'tensor'
80
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
81
  let results = (outs AnyTensor:$tensor);
82
  let regions = (region AnyRegion:$tensor);
83
}
84
#endif
85

86
#ifdef ERROR9
87
// ERROR9: error: op has a conflict with operands and successors both having an entry with the name 'target'
88
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
89
  let successors = (successor AnySuccessor:$target);
90
  let arguments = (ins AnyTensor:$target);
91
}
92
#endif
93

94
#ifdef ERROR10
95
// ERROR10: error: op has a conflict with results and successors both having an entry with the name 'target'
96
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
97
  let successors = (successor AnySuccessor:$target);
98
  let results = (outs AnyTensor:$target);
99
}
100
#endif
101

102
#ifdef ERROR11
103
// ERROR11: error: op has a conflict with regions and successors both having an entry with the name 'target'
104
def OpWithDuplicatedArgResultNames : Op<Test_Dialect, "default_value"> {
105
  let successors = (successor AnySuccessor:$target);
106
  let regions = (region AnyRegion:$target);
107
}
108
#endif
109

110
#ifdef ERROR12
111
def OpTraitA : NativeOpTrait<"OpTraitA"> {}
112
def OpTraitB : NativeOpTrait<"OpTraitB", [OpTraitA]> {}
113

114
// ERROR12: error: OpTraitB requires OpTraitA to precede it in traits list
115
def OpTraitWithoutDependentTrait : Op<Test_Dialect, "default_value", [OpTraitB]> {}
116
#endif
117

118
#ifdef ERROR13
119
def OpTraitA : NativeOpTrait<"OpTraitA"> {}
120
def OpInterfaceB : OpInterface<"OpInterfaceB"> {
121
  let dependentTraits = [OpTraitA];
122
}
123

124
// ERROR13: error: OpInterfaceB::Trait requires OpTraitA to precede it in traits list
125
def OpInterfaceWithoutDependentTrait : Op<Test_Dialect, "default_value", [OpInterfaceB]> {}
126
#endif
127