|
221
|
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
|
|
236
|
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
|
|
221
|
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
|
|
236
|
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
|
