-
Notifications
You must be signed in to change notification settings - Fork 49
Expand file tree
/
Copy patharith-forward.mlir
More file actions
275 lines (244 loc) · 14.3 KB
/
arith-forward.mlir
File metadata and controls
275 lines (244 loc) · 14.3 KB
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
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py
// RUN: dynamatic-opt --handshake-optimize-bitwidths --remove-operation-names %s --split-input-file | FileCheck %s
// CHECK-LABEL: handshake.func @addiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extsi %[[VAL_1]] {handshake.bb = 0 : ui32} : <i16> to <i17>
// CHECK: %[[VAL_4:.*]] = extsi %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i17>
// CHECK: %[[VAL_5:.*]] = addi %[[VAL_4]], %[[VAL_3]] : <i17>
// CHECK: %[[VAL_6:.*]] = extsi %[[VAL_5]] : <i17> to <i32>
// CHECK: end %[[VAL_6]] : <i32>
// CHECK: }
handshake.func @addiFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i32>
%ext1 = extsi %arg1 : <i16> to <i32>
%res = addi %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @addiFW_extui(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extui %[[VAL_1]] {handshake.bb = 0 : ui32} : <i16> to <i17>
// CHECK: %[[VAL_4:.*]] = extui %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i17>
// CHECK: %[[VAL_5:.*]] = addi %[[VAL_4]], %[[VAL_3]] : <i17>
// CHECK: %[[VAL_6:.*]] = extui %[[VAL_5]] : <i17> to <i32>
// CHECK: end %[[VAL_6]] : <i32>
// CHECK: }
handshake.func @addiFW_extui(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i32>
%ext1 = extui %arg1 : <i16> to <i32>
%res = addi %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @subiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extsi %[[VAL_1]] {handshake.bb = 0 : ui32} : <i16> to <i17>
// CHECK: %[[VAL_4:.*]] = extsi %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i17>
// CHECK: %[[VAL_5:.*]] = subi %[[VAL_4]], %[[VAL_3]] : <i17>
// CHECK: %[[VAL_6:.*]] = extsi %[[VAL_5]] : <i17> to <i32>
// CHECK: end %[[VAL_6]] : <i32>
// CHECK: }
handshake.func @subiFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i32>
%ext1 = extsi %arg1 : <i16> to <i32>
%res = subi %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @muliFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extsi %[[VAL_1]] {handshake.bb = 0 : ui32} : <i16> to <i24>
// CHECK: %[[VAL_4:.*]] = extsi %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i24>
// CHECK: %[[VAL_5:.*]] = muli %[[VAL_4]], %[[VAL_3]] : <i24>
// CHECK: %[[VAL_6:.*]] = extsi %[[VAL_5]] : <i24> to <i32>
// CHECK: end %[[VAL_6]] : <i32>
// CHECK: }
handshake.func @muliFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i32>
%ext1 = extsi %arg1 : <i16> to <i32>
%res = muli %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @andiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = trunci %[[VAL_1]] {handshake.bb = 0 : ui32} : <i16> to <i8>
// CHECK: %[[VAL_4:.*]] = andi %[[VAL_0]], %[[VAL_3]] : <i8>
// CHECK: %[[VAL_5:.*]] = extui %[[VAL_4]] : <i8> to <i32>
// CHECK: end %[[VAL_5]] : <i32>
// CHECK: }
handshake.func @andiFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i32>
%ext1 = extui %arg1 : <i16> to <i32>
%res = andi %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @oriFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extui %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i16>
// CHECK: %[[VAL_4:.*]] = ori %[[VAL_3]], %[[VAL_1]] : <i16>
// CHECK: %[[VAL_5:.*]] = extui %[[VAL_4]] : <i16> to <i32>
// CHECK: end %[[VAL_5]] : <i32>
// CHECK: }
handshake.func @oriFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i32>
%ext1 = extui %arg1 : <i16> to <i32>
%res = ori %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @xoriFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extui %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i16>
// CHECK: %[[VAL_4:.*]] = xori %[[VAL_3]], %[[VAL_1]] : <i16>
// CHECK: %[[VAL_5:.*]] = extui %[[VAL_4]] : <i16> to <i32>
// CHECK: end %[[VAL_5]] : <i32>
// CHECK: }
handshake.func @xoriFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i32>
%ext1 = extui %arg1 : <i16> to <i32>
%res = xori %ext0, %ext1 : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @shliFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_2:.*]] = extsi %[[VAL_0]] : <i16> to <i32>
// CHECK: %[[VAL_3:.*]] = constant %[[VAL_1]] {value = 4 : i32} : <>, <i32>
// CHECK: %[[VAL_4:.*]] = shli %[[VAL_2]], %[[VAL_3]] : <i32>
// CHECK: end %[[VAL_4]] : <i32>
// CHECK: }
handshake.func @shliFW(%arg0: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%cst = handshake.constant %start {value = 4 : i4} : <>, <i4>
%ext0 = extsi %arg0 : <i16> to <i32>
%extCst = extsi %cst : <i4> to <i32>
%res = shli %ext0, %extCst : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @shrsiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_2:.*]] = constant %[[VAL_1]] {value = 4 : i16} : <>, <i16>
// CHECK: %[[VAL_3:.*]] = shrsi %[[VAL_0]], %[[VAL_2]] : <i16>
// CHECK: %[[VAL_4:.*]] = trunci %[[VAL_3]] : <i16> to <i12>
// CHECK: %[[VAL_5:.*]] = extsi %[[VAL_4]] : <i12> to <i32>
// CHECK: end %[[VAL_5]] : <i32>
// CHECK: }
handshake.func @shrsiFW(%arg0: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%cst = handshake.constant %start {value = 4 : i4} : <>, <i4>
%ext0 = extsi %arg0 : <i16> to <i32>
%extCst = extsi %cst : <i4> to <i32>
%res = shrsi %ext0, %extCst : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @shruiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_2:.*]] = constant %[[VAL_1]] {value = 4 : i16} : <>, <i16>
// CHECK: %[[VAL_3:.*]] = shrui %[[VAL_0]], %[[VAL_2]] : <i16>
// CHECK: %[[VAL_4:.*]] = trunci %[[VAL_3]] : <i16> to <i12>
// CHECK: %[[VAL_5:.*]] = extsi %[[VAL_4]] : <i12> to <i32>
// CHECK: end %[[VAL_5]] : <i32>
// CHECK: }
handshake.func @shruiFW(%arg0: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%cst = handshake.constant %start {value = 4 : i4} : <>, <i4>
%ext0 = extsi %arg0 : <i16> to <i32>
%extCst = extsi %cst : <i4> to <i32>
%res = shrui %ext0, %extCst : <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @cmpiFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.control<>, ...) -> !handshake.channel<i1> attributes {argNames = ["arg0", "arg1", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_3:.*]] = extsi %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i16>
// CHECK: %[[VAL_4:.*]] = cmpi eq, %[[VAL_3]], %[[VAL_1]] : <i16>
// CHECK: end %[[VAL_4]] : <i1>
// CHECK: }
handshake.func @cmpiFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %start: !handshake.control<>) -> !handshake.channel<i1> {
%ext0 = extsi %arg0 : <i8> to <i32>
%ext1 = extsi %arg1 : <i16> to <i32>
%res = cmpi eq, %ext0, %ext1 : <i32>
end %res : <i1>
}
// -----
// CHECK-LABEL: handshake.func @selectFW(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>,
// CHECK-SAME: %[[VAL_1:.*]]: !handshake.channel<i16>,
// CHECK-SAME: %[[VAL_2:.*]]: !handshake.channel<i1>,
// CHECK-SAME: %[[VAL_3:.*]]: !handshake.control<>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0", "arg1", "select", "start"], resNames = ["out0"]} {
// CHECK: %[[VAL_4:.*]] = extsi %[[VAL_0]] {handshake.bb = 0 : ui32} : <i8> to <i16>
// CHECK: %[[VAL_5:.*]] = select %[[VAL_2]]{{\[}}%[[VAL_4]], %[[VAL_1]]] : <i1>, <i16>
// CHECK: %[[VAL_6:.*]] = extsi %[[VAL_5]] : <i16> to <i32>
// CHECK: end %[[VAL_6]] : <i32>
// CHECK: }
handshake.func @selectFW(%arg0: !handshake.channel<i8>, %arg1: !handshake.channel<i16>, %select : !handshake.channel<i1>, %start: !handshake.control<>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i32>
%ext1 = extsi %arg1 : <i16> to <i32>
%res = select %select [%ext0, %ext1] : <i1>, <i32>
end %res : <i32>
}
// -----
// CHECK-LABEL: handshake.func @extui_extsi(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0"], resNames = ["out0"]} {
// CHECK: %[[VAL_1:.*]] = extui %[[VAL_0]] : <i8> to <i32>
// CHECK: end %[[VAL_1]] : <i32>
// CHECK: }
handshake.func @extui_extsi(%arg0: !handshake.channel<i8>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i16>
%ext1 = extsi %ext0 : <i16> to <i32>
end %ext1 : <i32>
}
// -----
// CHECK-LABEL: handshake.func @extsi_extui(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0"], resNames = ["out0"]} {
// CHECK: %[[VAL_1:.*]] = extsi %[[VAL_0]] : <i8> to <i16>
// CHECK: %[[VAL_2:.*]] = extui %[[VAL_1]] : <i16> to <i32>
// CHECK: end %[[VAL_2]] : <i32>
// CHECK: }
handshake.func @extsi_extui(%arg0: !handshake.channel<i8>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i16>
%ext1 = extui %ext0 : <i16> to <i32>
end %ext1 : <i32>
}
// -----
// CHECK-LABEL: handshake.func @extsi_extsi(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0"], resNames = ["out0"]} {
// CHECK: %[[VAL_1:.*]] = extsi %[[VAL_0]] : <i8> to <i32>
// CHECK: end %[[VAL_1]] : <i32>
// CHECK: }
handshake.func @extsi_extsi(%arg0: !handshake.channel<i8>) -> !handshake.channel<i32> {
%ext0 = extsi %arg0 : <i8> to <i16>
%ext1 = extsi %ext0 : <i16> to <i32>
end %ext1 : <i32>
}
// -----
// CHECK-LABEL: handshake.func @extui_extui(
// CHECK-SAME: %[[VAL_0:.*]]: !handshake.channel<i8>, ...) -> !handshake.channel<i32> attributes {argNames = ["arg0"], resNames = ["out0"]} {
// CHECK: %[[VAL_1:.*]] = extui %[[VAL_0]] : <i8> to <i32>
// CHECK: end %[[VAL_1]] : <i32>
// CHECK: }
handshake.func @extui_extui(%arg0: !handshake.channel<i8>) -> !handshake.channel<i32> {
%ext0 = extui %arg0 : <i8> to <i16>
%ext1 = extui %ext0 : <i16> to <i32>
end %ext1 : <i32>
}