1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
// RUN: mlir-tblgen -gen-dialect-doc -I %S/../../include -dialect=test %s | FileCheck %s
// RUN: mlir-tblgen -gen-dialect-doc -I %S/../../include -dialect=test_toc %s | FileCheck %s --check-prefix=CHECK_TOC
include "mlir/IR/OpBase.td"
include "mlir/IR/AttrTypeBase.td"
include "mlir/IR/EnumAttr.td"
include "mlir/Interfaces/SideEffectInterfaces.td"
def Test_Dialect : Dialect {
let name = "test";
let summary = "Dialect of ops to test";
let description = [{
Dialect without a [TOC] here.
TOC added by tool.
}];
let cppNamespace = "NS";
}
def OpGroupA : OpDocGroup {
let summary = "Group of ops";
let description = "Grouped for some reason.";
}
let opDocGroup = OpGroupA in {
def ADOp : Op<Test_Dialect, "d", [NoMemoryEffect, SingleBlockImplicitTerminator<"YieldOp">]>;
def AAOp : Op<Test_Dialect, "a", [NoMemoryEffect, SingleBlockImplicitTerminator<"YieldOp">]>;
}
def OpGroupB : OpDocGroup {
let summary = "Other group of ops";
let description = "Grouped for some other reason.";
}
let opDocGroup = OpGroupB in {
def ACOp : Op<Test_Dialect, "c", [NoMemoryEffect, SingleBlockImplicitTerminator<"YieldOp">]>;
def ABOp : Op<Test_Dialect, "b", [NoMemoryEffect, SingleBlockImplicitTerminator<"YieldOp">]>;
}
def AEOp : Op<Test_Dialect, "e", [NoMemoryEffect, SingleBlockImplicitTerminator<"YieldOp">]>;
def TestAttr : DialectAttr<Test_Dialect, CPred<"true">> {
let summary = "attribute summary";
let description = "attribute description";
}
def TestType : DialectType<Test_Dialect, CPred<"true">> {
let summary = "type summary";
let description = "type description";
}
def TestAttrDef : AttrDef<Test_Dialect, "TestAttrDef"> {
let mnemonic = "test_attr_def";
}
def TestAttrDefParams : AttrDef<Test_Dialect, "TestAttrDefParams"> {
let mnemonic = "test_attr_def_params";
let parameters = (ins "int":$value);
let assemblyFormat = "`<` $value `>`";
}
def TestTypeDef : TypeDef<Test_Dialect, "TestTypeDef"> {
let mnemonic = "test_type_def";
}
def TestTypeDefParams : TypeDef<Test_Dialect, "TestTypeDefParams"> {
let mnemonic = "test_type_def_params";
let parameters = (ins "int":$value);
let assemblyFormat = "`<` $value `>`";
}
def TestEnum :
I32EnumAttr<"TestEnum",
"enum summary", [
I32EnumAttrCase<"First", 0, "first">,
I32EnumAttrCase<"Second", 1, "second">,
I32EnumAttrCase<"Third", 2, "third">]> {
let genSpecializedAttr = 1;
let cppNamespace = "NS";
}
// CHECK: Dialect without a [TOC] here.
// CHECK: TOC added by tool.
// CHECK: [TOC]
// CHECK-NOT: [TOC]
// CHECK: test.e
// CHECK: Group of ops
// CHECK: test.a
// CHECK: test.d
// CHECK: Other group
// CHECK: test.b
// CHECK: test.c
// CHECK: Traits: `SingleBlockImplicitTerminator<YieldOp>`, `SingleBlock`
// CHECK: Interfaces: `NoMemoryEffect (MemoryEffectOpInterface)`
// CHECK: Effects: `MemoryEffects::Effect{}`
// CHECK: ## Attribute constraints
// CHECK: ### attribute summary
// CHECK: attribute description
// CHECK: TestAttrDefAttr
// CHECK: Syntax:
// CHECK: #test.test_attr_def
// CHECK: TestAttrDefParamsAttr
// CHECK: Syntax:
// CHECK: #test.test_attr_def_params
// CHECK: ## Type constraints
// CHECK: ### type summary
// CHECK: type description
// CHECK: TestTypeDefType
// CHECK: Syntax:
// CHECK: !test.test_type_def
// CHECK: TestTypeDefParamsType
// CHECK: Syntax:
// CHECK: !test.test_type_def_params
// CHECK: ## Enums
// CHECK: ### TestEnum
// CHECK: enum summary
// CHECK: #### Cases:
// CHECK: | Symbol | Value | String |
// CHECK: | :----: | :---: | ------ |
// CHECK: | First | `0` | first |
// CHECK: | Second | `1` | second |
// CHECK: | Third | `2` | third |
def Toc_Dialect : Dialect {
let name = "test_toc";
let summary = "Dialect of ops to test";
let description = [{
Dialect with
[TOC]
here.
}];
let cppNamespace = "NS";
}
def BOp : Op<Toc_Dialect, "b", []>;
// CHECK_TOC: Dialect with
// CHECK_TOC: [TOC]
// CHECK_TOC: here.
|
