blob: c099a29d1c8c35e1860c1e2edb3f629e84447253 [file] [log] [blame]
Valery Pykhtin902db312016-08-01 14:21:30 +00001//===-- DSInstructions.td - DS Instruction Defintions ---------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Valery Pykhtin902db312016-08-01 14:21:30 +00006//
7//===----------------------------------------------------------------------===//
8
9class DS_Pseudo <string opName, dag outs, dag ins, string asmOps, list<dag> pattern=[]> :
10 InstSI <outs, ins, "", pattern>,
11 SIMCInstr <opName, SIEncodingFamily.NONE> {
12
Valery Pykhtin902db312016-08-01 14:21:30 +000013 let LGKM_CNT = 1;
14 let DS = 1;
Matt Arsenault10c17ca2016-10-06 10:13:23 +000015 let Size = 8;
Valery Pykhtin902db312016-08-01 14:21:30 +000016 let UseNamedOperandTable = 1;
Valery Pykhtin902db312016-08-01 14:21:30 +000017
18 // Most instruction load and store data, so set this as the default.
19 let mayLoad = 1;
20 let mayStore = 1;
21
22 let hasSideEffects = 0;
23 let SchedRW = [WriteLDS];
24
25 let isPseudo = 1;
26 let isCodeGenOnly = 1;
27
28 let AsmMatchConverter = "cvtDS";
29
30 string Mnemonic = opName;
31 string AsmOperands = asmOps;
32
33 // Well these bits a kind of hack because it would be more natural
34 // to test "outs" and "ins" dags for the presence of particular operands
35 bits<1> has_vdst = 1;
36 bits<1> has_addr = 1;
37 bits<1> has_data0 = 1;
38 bits<1> has_data1 = 1;
39
40 bits<1> has_offset = 1; // has "offset" that should be split to offset0,1
41 bits<1> has_offset0 = 1;
42 bits<1> has_offset1 = 1;
43
44 bits<1> has_gds = 1;
45 bits<1> gdsValue = 0; // if has_gds == 0 set gds to this value
Matt Arsenault10c472d2017-11-15 01:34:06 +000046
47 bits<1> has_m0_read = 1;
48
49 let Uses = !if(has_m0_read, [M0, EXEC], [EXEC]);
Valery Pykhtin902db312016-08-01 14:21:30 +000050}
51
52class DS_Real <DS_Pseudo ds> :
53 InstSI <ds.OutOperandList, ds.InOperandList, ds.Mnemonic # " " # ds.AsmOperands, []>,
54 Enc64 {
55
56 let isPseudo = 0;
57 let isCodeGenOnly = 0;
58
59 // copy relevant pseudo op flags
60 let SubtargetPredicate = ds.SubtargetPredicate;
61 let AsmMatchConverter = ds.AsmMatchConverter;
62
63 // encoding fields
64 bits<8> vdst;
65 bits<1> gds;
66 bits<8> addr;
67 bits<8> data0;
68 bits<8> data1;
69 bits<8> offset0;
70 bits<8> offset1;
71
72 bits<16> offset;
73 let offset0 = !if(ds.has_offset, offset{7-0}, ?);
74 let offset1 = !if(ds.has_offset, offset{15-8}, ?);
75}
76
77
78// DS Pseudo instructions
79
80class DS_1A1D_NORET<string opName, RegisterClass rc = VGPR_32>
81: DS_Pseudo<opName,
82 (outs),
83 (ins VGPR_32:$addr, rc:$data0, offset:$offset, gds:$gds),
Matt Arsenault10c472d2017-11-15 01:34:06 +000084 "$addr, $data0$offset$gds"> {
Valery Pykhtin902db312016-08-01 14:21:30 +000085
86 let has_data1 = 0;
87 let has_vdst = 0;
88}
89
Matt Arsenault10c472d2017-11-15 01:34:06 +000090multiclass DS_1A1D_NORET_mc<string opName, RegisterClass rc = VGPR_32> {
91 def "" : DS_1A1D_NORET<opName, rc>,
92 AtomicNoRet<opName, 0>;
93
94 let has_m0_read = 0 in {
95 def _gfx9 : DS_1A1D_NORET<opName, rc>,
96 AtomicNoRet<opName#"_gfx9", 0>;
97 }
98}
99
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000100class DS_1A2D_NORET<string opName, RegisterClass rc = VGPR_32>
Valery Pykhtin902db312016-08-01 14:21:30 +0000101: DS_Pseudo<opName,
102 (outs),
103 (ins VGPR_32:$addr, rc:$data0, rc:$data1, offset:$offset, gds:$gds),
Matt Arsenault10c472d2017-11-15 01:34:06 +0000104 "$addr, $data0, $data1"#"$offset"#"$gds"> {
Valery Pykhtin902db312016-08-01 14:21:30 +0000105
106 let has_vdst = 0;
107}
108
Matt Arsenault10c472d2017-11-15 01:34:06 +0000109multiclass DS_1A2D_NORET_mc<string opName, RegisterClass rc = VGPR_32> {
110 def "" : DS_1A2D_NORET<opName, rc>,
111 AtomicNoRet<opName, 0>;
112
113 let has_m0_read = 0 in {
114 def _gfx9 : DS_1A2D_NORET<opName, rc>,
115 AtomicNoRet<opName#"_gfx9", 0>;
116 }
117}
118
Valery Pykhtin902db312016-08-01 14:21:30 +0000119class DS_1A2D_Off8_NORET <string opName, RegisterClass rc = VGPR_32>
120: DS_Pseudo<opName,
121 (outs),
122 (ins VGPR_32:$addr, rc:$data0, rc:$data1,
123 offset0:$offset0, offset1:$offset1, gds:$gds),
124 "$addr, $data0, $data1$offset0$offset1$gds"> {
125
126 let has_vdst = 0;
127 let has_offset = 0;
128 let AsmMatchConverter = "cvtDSOffset01";
129}
130
Matt Arsenault10c472d2017-11-15 01:34:06 +0000131multiclass DS_1A2D_Off8_NORET_mc <string opName, RegisterClass rc = VGPR_32> {
132 def "" : DS_1A2D_Off8_NORET<opName, rc>;
133
134 let has_m0_read = 0 in {
135 def _gfx9 : DS_1A2D_Off8_NORET<opName, rc>;
136 }
137}
138
Valery Pykhtin902db312016-08-01 14:21:30 +0000139class DS_1A1D_RET <string opName, RegisterClass rc = VGPR_32>
140: DS_Pseudo<opName,
141 (outs rc:$vdst),
142 (ins VGPR_32:$addr, rc:$data0, offset:$offset, gds:$gds),
143 "$vdst, $addr, $data0$offset$gds"> {
144
145 let hasPostISelHook = 1;
146 let has_data1 = 0;
147}
148
Matt Arsenault10c472d2017-11-15 01:34:06 +0000149multiclass DS_1A1D_RET_mc <string opName, RegisterClass rc = VGPR_32,
150 string NoRetOp = ""> {
151 def "" : DS_1A1D_RET<opName, rc>,
152 AtomicNoRet<NoRetOp, !if(!eq(NoRetOp, ""), 0, 1)>;
153
154 let has_m0_read = 0 in {
155 def _gfx9 : DS_1A1D_RET<opName, rc>,
156 AtomicNoRet<!if(!eq(NoRetOp, ""), "", NoRetOp#"_gfx9"),
157 !if(!eq(NoRetOp, ""), 0, 1)>;
158 }
159}
160
Valery Pykhtin902db312016-08-01 14:21:30 +0000161class DS_1A2D_RET<string opName,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000162 RegisterClass rc = VGPR_32,
Valery Pykhtin902db312016-08-01 14:21:30 +0000163 RegisterClass src = rc>
164: DS_Pseudo<opName,
165 (outs rc:$vdst),
166 (ins VGPR_32:$addr, src:$data0, src:$data1, offset:$offset, gds:$gds),
167 "$vdst, $addr, $data0, $data1$offset$gds"> {
168
169 let hasPostISelHook = 1;
170}
171
Matt Arsenault10c472d2017-11-15 01:34:06 +0000172multiclass DS_1A2D_RET_mc<string opName,
173 RegisterClass rc = VGPR_32,
174 string NoRetOp = "",
175 RegisterClass src = rc> {
176 def "" : DS_1A2D_RET<opName, rc, src>,
177 AtomicNoRet<NoRetOp, !if(!eq(NoRetOp, ""), 0, 1)>;
178
179 let has_m0_read = 0 in {
180 def _gfx9 : DS_1A2D_RET<opName, rc, src>,
181 AtomicNoRet<NoRetOp#"_gfx9", !if(!eq(NoRetOp, ""), 0, 1)>;
182 }
183}
184
Dmitry Preobrazhensky7184c442017-04-12 14:29:45 +0000185class DS_1A2D_Off8_RET<string opName,
186 RegisterClass rc = VGPR_32,
187 RegisterClass src = rc>
188: DS_Pseudo<opName,
189 (outs rc:$vdst),
190 (ins VGPR_32:$addr, src:$data0, src:$data1, offset0:$offset0, offset1:$offset1, gds:$gds),
191 "$vdst, $addr, $data0, $data1$offset0$offset1$gds"> {
192
193 let has_offset = 0;
194 let AsmMatchConverter = "cvtDSOffset01";
195
196 let hasPostISelHook = 1;
197}
198
Matt Arsenault10c472d2017-11-15 01:34:06 +0000199multiclass DS_1A2D_Off8_RET_mc<string opName,
200 RegisterClass rc = VGPR_32,
201 RegisterClass src = rc> {
202 def "" : DS_1A2D_Off8_RET<opName, rc, src>;
203
204 let has_m0_read = 0 in {
205 def _gfx9 : DS_1A2D_Off8_RET<opName, rc, src>;
206 }
207}
208
209
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000210class DS_1A_RET<string opName, RegisterClass rc = VGPR_32, bit HasTiedOutput = 0, Operand ofs = offset>
Valery Pykhtin902db312016-08-01 14:21:30 +0000211: DS_Pseudo<opName,
212 (outs rc:$vdst),
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000213 !if(HasTiedOutput,
214 (ins VGPR_32:$addr, ofs:$offset, gds:$gds, rc:$vdst_in),
215 (ins VGPR_32:$addr, ofs:$offset, gds:$gds)),
Valery Pykhtin902db312016-08-01 14:21:30 +0000216 "$vdst, $addr$offset$gds"> {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000217 let Constraints = !if(HasTiedOutput, "$vdst = $vdst_in", "");
218 let DisableEncoding = !if(HasTiedOutput, "$vdst_in", "");
Valery Pykhtin902db312016-08-01 14:21:30 +0000219 let has_data0 = 0;
220 let has_data1 = 0;
221}
222
Matt Arsenault10c472d2017-11-15 01:34:06 +0000223multiclass DS_1A_RET_mc<string opName, RegisterClass rc = VGPR_32, bit HasTiedOutput = 0, Operand ofs = offset> {
224 def "" : DS_1A_RET<opName, rc, HasTiedOutput, ofs>;
225
226 let has_m0_read = 0 in {
227 def _gfx9 : DS_1A_RET<opName, rc, HasTiedOutput, ofs>;
228 }
229}
230
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000231class DS_1A_RET_Tied<string opName, RegisterClass rc = VGPR_32> :
232 DS_1A_RET<opName, rc, 1>;
233
Valery Pykhtin902db312016-08-01 14:21:30 +0000234class DS_1A_Off8_RET <string opName, RegisterClass rc = VGPR_32>
235: DS_Pseudo<opName,
236 (outs rc:$vdst),
237 (ins VGPR_32:$addr, offset0:$offset0, offset1:$offset1, gds:$gds),
238 "$vdst, $addr$offset0$offset1$gds"> {
239
240 let has_offset = 0;
241 let has_data0 = 0;
242 let has_data1 = 0;
243 let AsmMatchConverter = "cvtDSOffset01";
244}
245
Matt Arsenault10c472d2017-11-15 01:34:06 +0000246multiclass DS_1A_Off8_RET_mc <string opName, RegisterClass rc = VGPR_32> {
247 def "" : DS_1A_Off8_RET<opName, rc>;
248
249 let has_m0_read = 0 in {
250 def _gfx9 : DS_1A_Off8_RET<opName, rc>;
251 }
252}
253
Valery Pykhtin902db312016-08-01 14:21:30 +0000254class DS_1A_RET_GDS <string opName> : DS_Pseudo<opName,
255 (outs VGPR_32:$vdst),
256 (ins VGPR_32:$addr, offset:$offset),
257 "$vdst, $addr$offset gds"> {
258
259 let has_data0 = 0;
260 let has_data1 = 0;
261 let has_gds = 0;
262 let gdsValue = 1;
Artem Tamazov43b61562017-02-03 12:47:30 +0000263 let AsmMatchConverter = "cvtDSGds";
Valery Pykhtin902db312016-08-01 14:21:30 +0000264}
265
266class DS_0A_RET <string opName> : DS_Pseudo<opName,
267 (outs VGPR_32:$vdst),
268 (ins offset:$offset, gds:$gds),
269 "$vdst$offset$gds"> {
270
271 let mayLoad = 1;
272 let mayStore = 1;
273
274 let has_addr = 0;
275 let has_data0 = 0;
276 let has_data1 = 0;
277}
278
279class DS_1A <string opName> : DS_Pseudo<opName,
280 (outs),
281 (ins VGPR_32:$addr, offset:$offset, gds:$gds),
282 "$addr$offset$gds"> {
283
284 let mayLoad = 1;
285 let mayStore = 1;
286
287 let has_vdst = 0;
288 let has_data0 = 0;
289 let has_data1 = 0;
290}
291
Matt Arsenault10c472d2017-11-15 01:34:06 +0000292multiclass DS_1A_mc <string opName> {
293 def "" : DS_1A<opName>;
294
295 let has_m0_read = 0 in {
296 def _gfx9 : DS_1A<opName>;
297 }
298}
299
300
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000301class DS_GWS <string opName, dag ins, string asmOps>
302: DS_Pseudo<opName, (outs), ins, asmOps> {
Valery Pykhtin902db312016-08-01 14:21:30 +0000303
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000304 let has_vdst = 0;
305 let has_addr = 0;
306 let has_data0 = 0;
307 let has_data1 = 0;
Valery Pykhtin902db312016-08-01 14:21:30 +0000308
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000309 let has_gds = 0;
310 let gdsValue = 1;
311 let AsmMatchConverter = "cvtDSGds";
312}
313
314class DS_GWS_0D <string opName>
315: DS_GWS<opName,
316 (ins offset:$offset, gds:$gds), "$offset gds">;
317
318class DS_GWS_1D <string opName>
319: DS_GWS<opName,
320 (ins VGPR_32:$data0, offset:$offset, gds:$gds), "$data0$offset gds"> {
321
322 let has_data0 = 1;
Valery Pykhtin902db312016-08-01 14:21:30 +0000323}
324
Matt Arsenault78124982017-02-28 20:15:46 +0000325class DS_VOID <string opName> : DS_Pseudo<opName,
326 (outs), (ins), ""> {
327 let mayLoad = 0;
328 let mayStore = 0;
329 let hasSideEffects = 1;
330 let UseNamedOperandTable = 0;
331 let AsmMatchConverter = "";
332
333 let has_vdst = 0;
334 let has_addr = 0;
335 let has_data0 = 0;
336 let has_data1 = 0;
337 let has_offset = 0;
338 let has_offset0 = 0;
339 let has_offset1 = 0;
340 let has_gds = 0;
341}
342
Valery Pykhtin902db312016-08-01 14:21:30 +0000343class DS_1A1D_PERMUTE <string opName, SDPatternOperator node = null_frag>
344: DS_Pseudo<opName,
345 (outs VGPR_32:$vdst),
346 (ins VGPR_32:$addr, VGPR_32:$data0, offset:$offset),
347 "$vdst, $addr, $data0$offset",
348 [(set i32:$vdst,
349 (node (DS1Addr1Offset i32:$addr, i16:$offset), i32:$data0))] > {
350
351 let mayLoad = 0;
352 let mayStore = 0;
353 let isConvergent = 1;
354
355 let has_data1 = 0;
356 let has_gds = 0;
357}
358
Matt Arsenault10c472d2017-11-15 01:34:06 +0000359defm DS_ADD_U32 : DS_1A1D_NORET_mc<"ds_add_u32">;
360defm DS_SUB_U32 : DS_1A1D_NORET_mc<"ds_sub_u32">;
361defm DS_RSUB_U32 : DS_1A1D_NORET_mc<"ds_rsub_u32">;
362defm DS_INC_U32 : DS_1A1D_NORET_mc<"ds_inc_u32">;
363defm DS_DEC_U32 : DS_1A1D_NORET_mc<"ds_dec_u32">;
364defm DS_MIN_I32 : DS_1A1D_NORET_mc<"ds_min_i32">;
365defm DS_MAX_I32 : DS_1A1D_NORET_mc<"ds_max_i32">;
366defm DS_MIN_U32 : DS_1A1D_NORET_mc<"ds_min_u32">;
367defm DS_MAX_U32 : DS_1A1D_NORET_mc<"ds_max_u32">;
368defm DS_AND_B32 : DS_1A1D_NORET_mc<"ds_and_b32">;
369defm DS_OR_B32 : DS_1A1D_NORET_mc<"ds_or_b32">;
370defm DS_XOR_B32 : DS_1A1D_NORET_mc<"ds_xor_b32">;
371defm DS_ADD_F32 : DS_1A1D_NORET_mc<"ds_add_f32">;
372defm DS_MIN_F32 : DS_1A1D_NORET_mc<"ds_min_f32">;
373defm DS_MAX_F32 : DS_1A1D_NORET_mc<"ds_max_f32">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000374
375let mayLoad = 0 in {
Matt Arsenault10c472d2017-11-15 01:34:06 +0000376defm DS_WRITE_B8 : DS_1A1D_NORET_mc<"ds_write_b8">;
377defm DS_WRITE_B16 : DS_1A1D_NORET_mc<"ds_write_b16">;
378defm DS_WRITE_B32 : DS_1A1D_NORET_mc<"ds_write_b32">;
379defm DS_WRITE2_B32 : DS_1A2D_Off8_NORET_mc<"ds_write2_b32">;
380defm DS_WRITE2ST64_B32: DS_1A2D_Off8_NORET_mc<"ds_write2st64_b32">;
381
382
383let has_m0_read = 0 in {
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000384
385let SubtargetPredicate = HasD16LoadStore in {
386def DS_WRITE_B8_D16_HI : DS_1A1D_NORET<"ds_write_b8_d16_hi">;
387def DS_WRITE_B16_D16_HI : DS_1A1D_NORET<"ds_write_b16_d16_hi">;
388}
389
Matt Arsenaultefa1d652017-09-01 18:38:02 +0000390let SubtargetPredicate = HasDSAddTid in {
391def DS_WRITE_ADDTID_B32 : DS_1A1D_NORET<"ds_write_addtid_b32">;
392}
393
Matt Arsenault10c472d2017-11-15 01:34:06 +0000394} // End has_m0_read = 0
395} // End mayLoad = 0
Valery Pykhtin902db312016-08-01 14:21:30 +0000396
Matt Arsenault10c472d2017-11-15 01:34:06 +0000397defm DS_MSKOR_B32 : DS_1A2D_NORET_mc<"ds_mskor_b32">;
398defm DS_CMPST_B32 : DS_1A2D_NORET_mc<"ds_cmpst_b32">;
399defm DS_CMPST_F32 : DS_1A2D_NORET_mc<"ds_cmpst_f32">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000400
Matt Arsenault10c472d2017-11-15 01:34:06 +0000401defm DS_ADD_U64 : DS_1A1D_NORET_mc<"ds_add_u64", VReg_64>;
402defm DS_SUB_U64 : DS_1A1D_NORET_mc<"ds_sub_u64", VReg_64>;
403defm DS_RSUB_U64 : DS_1A1D_NORET_mc<"ds_rsub_u64", VReg_64>;
404defm DS_INC_U64 : DS_1A1D_NORET_mc<"ds_inc_u64", VReg_64>;
405defm DS_DEC_U64 : DS_1A1D_NORET_mc<"ds_dec_u64", VReg_64>;
406defm DS_MIN_I64 : DS_1A1D_NORET_mc<"ds_min_i64", VReg_64>;
407defm DS_MAX_I64 : DS_1A1D_NORET_mc<"ds_max_i64", VReg_64>;
408defm DS_MIN_U64 : DS_1A1D_NORET_mc<"ds_min_u64", VReg_64>;
409defm DS_MAX_U64 : DS_1A1D_NORET_mc<"ds_max_u64", VReg_64>;
410defm DS_AND_B64 : DS_1A1D_NORET_mc<"ds_and_b64", VReg_64>;
411defm DS_OR_B64 : DS_1A1D_NORET_mc<"ds_or_b64", VReg_64>;
412defm DS_XOR_B64 : DS_1A1D_NORET_mc<"ds_xor_b64", VReg_64>;
413defm DS_MSKOR_B64 : DS_1A2D_NORET_mc<"ds_mskor_b64", VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000414let mayLoad = 0 in {
Matt Arsenault10c472d2017-11-15 01:34:06 +0000415defm DS_WRITE_B64 : DS_1A1D_NORET_mc<"ds_write_b64", VReg_64>;
416defm DS_WRITE2_B64 : DS_1A2D_Off8_NORET_mc<"ds_write2_b64", VReg_64>;
417defm DS_WRITE2ST64_B64: DS_1A2D_Off8_NORET_mc<"ds_write2st64_b64", VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000418}
Matt Arsenault10c472d2017-11-15 01:34:06 +0000419defm DS_CMPST_B64 : DS_1A2D_NORET_mc<"ds_cmpst_b64", VReg_64>;
420defm DS_CMPST_F64 : DS_1A2D_NORET_mc<"ds_cmpst_f64", VReg_64>;
421defm DS_MIN_F64 : DS_1A1D_NORET_mc<"ds_min_f64", VReg_64>;
422defm DS_MAX_F64 : DS_1A1D_NORET_mc<"ds_max_f64", VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000423
Matt Arsenault10c472d2017-11-15 01:34:06 +0000424defm DS_ADD_RTN_U32 : DS_1A1D_RET_mc<"ds_add_rtn_u32", VGPR_32, "ds_add_u32">;
425defm DS_ADD_RTN_F32 : DS_1A1D_RET_mc<"ds_add_rtn_f32", VGPR_32, "ds_add_f32">;
426defm DS_SUB_RTN_U32 : DS_1A1D_RET_mc<"ds_sub_rtn_u32", VGPR_32, "ds_sub_u32">;
427defm DS_RSUB_RTN_U32 : DS_1A1D_RET_mc<"ds_rsub_rtn_u32", VGPR_32, "ds_rsub_u32">;
428defm DS_INC_RTN_U32 : DS_1A1D_RET_mc<"ds_inc_rtn_u32", VGPR_32, "ds_inc_u32">;
429defm DS_DEC_RTN_U32 : DS_1A1D_RET_mc<"ds_dec_rtn_u32", VGPR_32, "ds_dec_u32">;
430defm DS_MIN_RTN_I32 : DS_1A1D_RET_mc<"ds_min_rtn_i32", VGPR_32, "ds_min_i32">;
431defm DS_MAX_RTN_I32 : DS_1A1D_RET_mc<"ds_max_rtn_i32", VGPR_32, "ds_max_i32">;
432defm DS_MIN_RTN_U32 : DS_1A1D_RET_mc<"ds_min_rtn_u32", VGPR_32, "ds_min_u32">;
433defm DS_MAX_RTN_U32 : DS_1A1D_RET_mc<"ds_max_rtn_u32", VGPR_32, "ds_max_u32">;
434defm DS_AND_RTN_B32 : DS_1A1D_RET_mc<"ds_and_rtn_b32", VGPR_32, "ds_and_b32">;
435defm DS_OR_RTN_B32 : DS_1A1D_RET_mc<"ds_or_rtn_b32", VGPR_32, "ds_or_b32">;
436defm DS_XOR_RTN_B32 : DS_1A1D_RET_mc<"ds_xor_rtn_b32", VGPR_32, "ds_xor_b32">;
437defm DS_MSKOR_RTN_B32 : DS_1A2D_RET_mc<"ds_mskor_rtn_b32", VGPR_32, "ds_mskor_b32">;
438defm DS_CMPST_RTN_B32 : DS_1A2D_RET_mc<"ds_cmpst_rtn_b32", VGPR_32, "ds_cmpst_b32">;
439defm DS_CMPST_RTN_F32 : DS_1A2D_RET_mc<"ds_cmpst_rtn_f32", VGPR_32, "ds_cmpst_f32">;
Daniil Fukalovd5fca552018-01-17 14:05:05 +0000440defm DS_MIN_RTN_F32 : DS_1A1D_RET_mc<"ds_min_rtn_f32", VGPR_32, "ds_min_f32">;
Matt Arsenault10c472d2017-11-15 01:34:06 +0000441defm DS_MAX_RTN_F32 : DS_1A1D_RET_mc<"ds_max_rtn_f32", VGPR_32, "ds_max_f32">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000442
Matt Arsenault10c472d2017-11-15 01:34:06 +0000443defm DS_WRXCHG_RTN_B32 : DS_1A1D_RET_mc<"ds_wrxchg_rtn_b32">;
444defm DS_WRXCHG2_RTN_B32 : DS_1A2D_Off8_RET_mc<"ds_wrxchg2_rtn_b32", VReg_64, VGPR_32>;
445defm DS_WRXCHG2ST64_RTN_B32 : DS_1A2D_Off8_RET_mc<"ds_wrxchg2st64_rtn_b32", VReg_64, VGPR_32>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000446
Matt Arsenault10c472d2017-11-15 01:34:06 +0000447defm DS_ADD_RTN_U64 : DS_1A1D_RET_mc<"ds_add_rtn_u64", VReg_64, "ds_add_u64">;
448defm DS_SUB_RTN_U64 : DS_1A1D_RET_mc<"ds_sub_rtn_u64", VReg_64, "ds_sub_u64">;
449defm DS_RSUB_RTN_U64 : DS_1A1D_RET_mc<"ds_rsub_rtn_u64", VReg_64, "ds_rsub_u64">;
450defm DS_INC_RTN_U64 : DS_1A1D_RET_mc<"ds_inc_rtn_u64", VReg_64, "ds_inc_u64">;
451defm DS_DEC_RTN_U64 : DS_1A1D_RET_mc<"ds_dec_rtn_u64", VReg_64, "ds_dec_u64">;
452defm DS_MIN_RTN_I64 : DS_1A1D_RET_mc<"ds_min_rtn_i64", VReg_64, "ds_min_i64">;
453defm DS_MAX_RTN_I64 : DS_1A1D_RET_mc<"ds_max_rtn_i64", VReg_64, "ds_max_i64">;
454defm DS_MIN_RTN_U64 : DS_1A1D_RET_mc<"ds_min_rtn_u64", VReg_64, "ds_min_u64">;
455defm DS_MAX_RTN_U64 : DS_1A1D_RET_mc<"ds_max_rtn_u64", VReg_64, "ds_max_u64">;
456defm DS_AND_RTN_B64 : DS_1A1D_RET_mc<"ds_and_rtn_b64", VReg_64, "ds_and_b64">;
457defm DS_OR_RTN_B64 : DS_1A1D_RET_mc<"ds_or_rtn_b64", VReg_64, "ds_or_b64">;
458defm DS_XOR_RTN_B64 : DS_1A1D_RET_mc<"ds_xor_rtn_b64", VReg_64, "ds_xor_b64">;
459defm DS_MSKOR_RTN_B64 : DS_1A2D_RET_mc<"ds_mskor_rtn_b64", VReg_64, "ds_mskor_b64">;
460defm DS_CMPST_RTN_B64 : DS_1A2D_RET_mc<"ds_cmpst_rtn_b64", VReg_64, "ds_cmpst_b64">;
461defm DS_CMPST_RTN_F64 : DS_1A2D_RET_mc<"ds_cmpst_rtn_f64", VReg_64, "ds_cmpst_f64">;
462defm DS_MIN_RTN_F64 : DS_1A1D_RET_mc<"ds_min_rtn_f64", VReg_64, "ds_min_f64">;
463defm DS_MAX_RTN_F64 : DS_1A1D_RET_mc<"ds_max_rtn_f64", VReg_64, "ds_max_f64">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000464
Matt Arsenault10c472d2017-11-15 01:34:06 +0000465defm DS_WRXCHG_RTN_B64 : DS_1A1D_RET_mc<"ds_wrxchg_rtn_b64", VReg_64>;
466defm DS_WRXCHG2_RTN_B64 : DS_1A2D_Off8_RET_mc<"ds_wrxchg2_rtn_b64", VReg_128, VReg_64>;
467defm DS_WRXCHG2ST64_RTN_B64 : DS_1A2D_Off8_RET_mc<"ds_wrxchg2st64_rtn_b64", VReg_128, VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000468
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000469def DS_GWS_INIT : DS_GWS_1D<"ds_gws_init">;
470def DS_GWS_SEMA_V : DS_GWS_0D<"ds_gws_sema_v">;
471def DS_GWS_SEMA_BR : DS_GWS_1D<"ds_gws_sema_br">;
472def DS_GWS_SEMA_P : DS_GWS_0D<"ds_gws_sema_p">;
473def DS_GWS_BARRIER : DS_GWS_1D<"ds_gws_barrier">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000474
475def DS_ADD_SRC2_U32 : DS_1A<"ds_add_src2_u32">;
476def DS_SUB_SRC2_U32 : DS_1A<"ds_sub_src2_u32">;
477def DS_RSUB_SRC2_U32 : DS_1A<"ds_rsub_src2_u32">;
478def DS_INC_SRC2_U32 : DS_1A<"ds_inc_src2_u32">;
479def DS_DEC_SRC2_U32 : DS_1A<"ds_dec_src2_u32">;
480def DS_MIN_SRC2_I32 : DS_1A<"ds_min_src2_i32">;
481def DS_MAX_SRC2_I32 : DS_1A<"ds_max_src2_i32">;
482def DS_MIN_SRC2_U32 : DS_1A<"ds_min_src2_u32">;
483def DS_MAX_SRC2_U32 : DS_1A<"ds_max_src2_u32">;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000484def DS_AND_SRC2_B32 : DS_1A<"ds_and_src2_b32">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000485def DS_OR_SRC2_B32 : DS_1A<"ds_or_src2_b32">;
486def DS_XOR_SRC2_B32 : DS_1A<"ds_xor_src2_b32">;
487def DS_MIN_SRC2_F32 : DS_1A<"ds_min_src2_f32">;
488def DS_MAX_SRC2_F32 : DS_1A<"ds_max_src2_f32">;
489
490def DS_ADD_SRC2_U64 : DS_1A<"ds_add_src2_u64">;
491def DS_SUB_SRC2_U64 : DS_1A<"ds_sub_src2_u64">;
492def DS_RSUB_SRC2_U64 : DS_1A<"ds_rsub_src2_u64">;
493def DS_INC_SRC2_U64 : DS_1A<"ds_inc_src2_u64">;
494def DS_DEC_SRC2_U64 : DS_1A<"ds_dec_src2_u64">;
495def DS_MIN_SRC2_I64 : DS_1A<"ds_min_src2_i64">;
496def DS_MAX_SRC2_I64 : DS_1A<"ds_max_src2_i64">;
497def DS_MIN_SRC2_U64 : DS_1A<"ds_min_src2_u64">;
498def DS_MAX_SRC2_U64 : DS_1A<"ds_max_src2_u64">;
499def DS_AND_SRC2_B64 : DS_1A<"ds_and_src2_b64">;
500def DS_OR_SRC2_B64 : DS_1A<"ds_or_src2_b64">;
501def DS_XOR_SRC2_B64 : DS_1A<"ds_xor_src2_b64">;
502def DS_MIN_SRC2_F64 : DS_1A<"ds_min_src2_f64">;
503def DS_MAX_SRC2_F64 : DS_1A<"ds_max_src2_f64">;
504
Dmitry Preobrazhenskye6ef0992017-04-14 12:28:07 +0000505def DS_WRITE_SRC2_B32 : DS_1A<"ds_write_src2_b32">;
506def DS_WRITE_SRC2_B64 : DS_1A<"ds_write_src2_b64">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000507
508let Uses = [EXEC], mayLoad = 0, mayStore = 0, isConvergent = 1 in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000509def DS_SWIZZLE_B32 : DS_1A_RET <"ds_swizzle_b32", VGPR_32, 0, SwizzleImm>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000510}
511
512let mayStore = 0 in {
Matt Arsenault10c472d2017-11-15 01:34:06 +0000513defm DS_READ_I8 : DS_1A_RET_mc<"ds_read_i8">;
514defm DS_READ_U8 : DS_1A_RET_mc<"ds_read_u8">;
515defm DS_READ_I16 : DS_1A_RET_mc<"ds_read_i16">;
516defm DS_READ_U16 : DS_1A_RET_mc<"ds_read_u16">;
517defm DS_READ_B32 : DS_1A_RET_mc<"ds_read_b32">;
518defm DS_READ_B64 : DS_1A_RET_mc<"ds_read_b64", VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000519
Matt Arsenault10c472d2017-11-15 01:34:06 +0000520defm DS_READ2_B32 : DS_1A_Off8_RET_mc<"ds_read2_b32", VReg_64>;
521defm DS_READ2ST64_B32: DS_1A_Off8_RET_mc<"ds_read2st64_b32", VReg_64>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000522
Matt Arsenault10c472d2017-11-15 01:34:06 +0000523defm DS_READ2_B64 : DS_1A_Off8_RET_mc<"ds_read2_b64", VReg_128>;
524defm DS_READ2ST64_B64: DS_1A_Off8_RET_mc<"ds_read2st64_b64", VReg_128>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000525
Matt Arsenault10c472d2017-11-15 01:34:06 +0000526let has_m0_read = 0 in {
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000527let SubtargetPredicate = HasD16LoadStore in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000528def DS_READ_U8_D16 : DS_1A_RET_Tied<"ds_read_u8_d16">;
529def DS_READ_U8_D16_HI : DS_1A_RET_Tied<"ds_read_u8_d16_hi">;
530def DS_READ_I8_D16 : DS_1A_RET_Tied<"ds_read_i8_d16">;
531def DS_READ_I8_D16_HI : DS_1A_RET_Tied<"ds_read_i8_d16_hi">;
532def DS_READ_U16_D16 : DS_1A_RET_Tied<"ds_read_u16_d16">;
533def DS_READ_U16_D16_HI : DS_1A_RET_Tied<"ds_read_u16_d16_hi">;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000534}
Matt Arsenaultefa1d652017-09-01 18:38:02 +0000535
536let SubtargetPredicate = HasDSAddTid in {
537def DS_READ_ADDTID_B32 : DS_1A_RET<"ds_read_addtid_b32">;
538}
Matt Arsenault10c472d2017-11-15 01:34:06 +0000539} // End has_m0_read = 0
Valery Pykhtin902db312016-08-01 14:21:30 +0000540}
541
Valery Pykhtin902db312016-08-01 14:21:30 +0000542def DS_CONSUME : DS_0A_RET<"ds_consume">;
543def DS_APPEND : DS_0A_RET<"ds_append">;
544def DS_ORDERED_COUNT : DS_1A_RET_GDS<"ds_ordered_count">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000545
546//===----------------------------------------------------------------------===//
547// Instruction definitions for CI and newer.
548//===----------------------------------------------------------------------===//
Valery Pykhtin902db312016-08-01 14:21:30 +0000549
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000550let SubtargetPredicate = isCIVI in {
Valery Pykhtin902db312016-08-01 14:21:30 +0000551
Matt Arsenault10c472d2017-11-15 01:34:06 +0000552defm DS_WRAP_RTN_B32 : DS_1A2D_RET_mc<"ds_wrap_rtn_b32", VGPR_32>;
553defm DS_CONDXCHG32_RTN_B64 : DS_1A1D_RET_mc<"ds_condxchg32_rtn_b64", VReg_64>;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000554
555def DS_GWS_SEMA_RELEASE_ALL : DS_GWS_0D<"ds_gws_sema_release_all">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000556
Matt Arsenaultdedc5442017-02-28 20:15:43 +0000557let mayStore = 0 in {
Matt Arsenault10c472d2017-11-15 01:34:06 +0000558defm DS_READ_B96 : DS_1A_RET_mc<"ds_read_b96", VReg_96>;
559defm DS_READ_B128: DS_1A_RET_mc<"ds_read_b128", VReg_128>;
Matt Arsenaultdedc5442017-02-28 20:15:43 +0000560} // End mayStore = 0
561
562let mayLoad = 0 in {
Matt Arsenault10c472d2017-11-15 01:34:06 +0000563defm DS_WRITE_B96 : DS_1A1D_NORET_mc<"ds_write_b96", VReg_96>;
564defm DS_WRITE_B128 : DS_1A1D_NORET_mc<"ds_write_b128", VReg_128>;
Matt Arsenaultdedc5442017-02-28 20:15:43 +0000565} // End mayLoad = 0
566
Matt Arsenault78124982017-02-28 20:15:46 +0000567def DS_NOP : DS_VOID<"ds_nop">;
Matt Arsenaultdedc5442017-02-28 20:15:43 +0000568
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000569} // let SubtargetPredicate = isCIVI
Valery Pykhtin902db312016-08-01 14:21:30 +0000570
571//===----------------------------------------------------------------------===//
572// Instruction definitions for VI and newer.
573//===----------------------------------------------------------------------===//
574
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000575let SubtargetPredicate = isVI in {
Valery Pykhtin902db312016-08-01 14:21:30 +0000576
577let Uses = [EXEC] in {
578def DS_PERMUTE_B32 : DS_1A1D_PERMUTE <"ds_permute_b32",
579 int_amdgcn_ds_permute>;
580def DS_BPERMUTE_B32 : DS_1A1D_PERMUTE <"ds_bpermute_b32",
581 int_amdgcn_ds_bpermute>;
582}
583
Dmitry Preobrazhensky622bde82018-03-28 16:21:56 +0000584def DS_ADD_SRC2_F32 : DS_1A<"ds_add_src2_f32">;
585
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000586} // let SubtargetPredicate = isVI
Valery Pykhtin902db312016-08-01 14:21:30 +0000587
588//===----------------------------------------------------------------------===//
589// DS Patterns
590//===----------------------------------------------------------------------===//
591
Matt Arsenault90c75932017-10-03 00:06:41 +0000592def : GCNPat <
Valery Pykhtin902db312016-08-01 14:21:30 +0000593 (int_amdgcn_ds_swizzle i32:$src, imm:$offset16),
594 (DS_SWIZZLE_B32 $src, (as_i16imm $offset16), (i1 0))
595>;
596
Matt Arsenault90c75932017-10-03 00:06:41 +0000597class DSReadPat <DS_Pseudo inst, ValueType vt, PatFrag frag> : GCNPat <
Valery Pykhtin902db312016-08-01 14:21:30 +0000598 (vt (frag (DS1Addr1Offset i32:$ptr, i32:$offset))),
599 (inst $ptr, (as_i16imm $offset), (i1 0))
600>;
601
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000602multiclass DSReadPat_mc<DS_Pseudo inst, ValueType vt, string frag> {
603
604 let OtherPredicates = [LDSRequiresM0Init] in {
605 def : DSReadPat<inst, vt, !cast<PatFrag>(frag#"_m0")>;
606 }
607
608 let OtherPredicates = [NotLDSRequiresM0Init] in {
Nicolai Haehnle40b140f2018-02-22 15:25:11 +0000609 def : DSReadPat<!cast<DS_Pseudo>(!cast<string>(inst)#"_gfx9"), vt, !cast<PatFrag>(frag)>;
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000610 }
611}
612
613
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000614multiclass DSReadPat_Hi16 <DS_Pseudo inst, PatFrag frag, ValueType vt = i16> {
Matt Arsenault90c75932017-10-03 00:06:41 +0000615 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000616 (build_vector vt:$lo, (vt (frag (DS1Addr1Offset i32:$ptr, i32:$offset)))),
617 (v2i16 (inst $ptr, (as_i16imm $offset), (i1 0), $lo))
618 >;
619
Matt Arsenault90c75932017-10-03 00:06:41 +0000620 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000621 (build_vector f16:$lo, (f16 (bitconvert (vt (frag (DS1Addr1Offset i32:$ptr, i32:$offset)))))),
622 (v2f16 (inst $ptr, (as_i16imm $offset), (i1 0), $lo))
623 >;
624}
625
Matt Arsenaulte1cd4822017-11-13 00:22:09 +0000626multiclass DSReadPat_Lo16 <DS_Pseudo inst, PatFrag frag, ValueType vt = i16> {
627 def : GCNPat <
628 (build_vector (vt (frag (DS1Addr1Offset i32:$ptr, i32:$offset))), (vt (Hi16Elt vt:$hi))),
629 (v2i16 (inst $ptr, (as_i16imm $offset), 0, $hi))
630 >;
631
632 def : GCNPat <
633 (build_vector (f16 (bitconvert (vt (frag (DS1Addr1Offset i32:$ptr, i32:$offset))))), (f16 (Hi16Elt f16:$hi))),
634 (v2f16 (inst $ptr, (as_i16imm $offset), 0, $hi))
635 >;
636}
637
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000638defm : DSReadPat_mc <DS_READ_I8, i32, "sextloadi8_local">;
639defm : DSReadPat_mc <DS_READ_U8, i32, "az_extloadi8_local">;
640defm : DSReadPat_mc <DS_READ_I8, i16, "sextloadi8_local">;
641defm : DSReadPat_mc <DS_READ_U8, i16, "az_extloadi8_local">;
642defm : DSReadPat_mc <DS_READ_I16, i32, "sextloadi16_local">;
643defm : DSReadPat_mc <DS_READ_I16, i32, "sextloadi16_local">;
644defm : DSReadPat_mc <DS_READ_U16, i32, "az_extloadi16_local">;
645defm : DSReadPat_mc <DS_READ_U16, i16, "load_local">;
646defm : DSReadPat_mc <DS_READ_B32, i32, "load_local">;
Matt Arsenault3f8e7a32018-06-22 08:39:52 +0000647defm : DSReadPat_mc <DS_READ_B32, i32, "atomic_load_32_local">;
648defm : DSReadPat_mc <DS_READ_B64, i64, "atomic_load_64_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000649
650let AddedComplexity = 100 in {
651
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000652defm : DSReadPat_mc <DS_READ_B64, v2i32, "load_align8_local">;
Farhana Aleena7cb3112018-03-09 17:41:39 +0000653defm : DSReadPat_mc <DS_READ_B128, v4i32, "load_align16_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000654
655} // End AddedComplexity = 100
656
Konstantin Zhuravlyovc2c2eb72018-05-04 20:06:57 +0000657let OtherPredicates = [D16PreservesUnusedBits] in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000658let AddedComplexity = 100 in {
659defm : DSReadPat_Hi16<DS_READ_U16_D16_HI, load_local>;
660defm : DSReadPat_Hi16<DS_READ_U8_D16_HI, az_extloadi8_local>;
661defm : DSReadPat_Hi16<DS_READ_I8_D16_HI, sextloadi8_local>;
Matt Arsenaulte1cd4822017-11-13 00:22:09 +0000662
663defm : DSReadPat_Lo16<DS_READ_U16_D16, load_local>;
664defm : DSReadPat_Lo16<DS_READ_U8_D16, az_extloadi8_local>;
665defm : DSReadPat_Lo16<DS_READ_I8_D16, sextloadi8_local>;
666
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000667}
668}
669
Matt Arsenault90c75932017-10-03 00:06:41 +0000670class DSWritePat <DS_Pseudo inst, ValueType vt, PatFrag frag> : GCNPat <
Valery Pykhtin902db312016-08-01 14:21:30 +0000671 (frag vt:$value, (DS1Addr1Offset i32:$ptr, i32:$offset)),
672 (inst $ptr, $value, (as_i16imm $offset), (i1 0))
673>;
674
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000675multiclass DSWritePat_mc <DS_Pseudo inst, ValueType vt, string frag> {
676 let OtherPredicates = [LDSRequiresM0Init] in {
677 def : DSWritePat<inst, vt, !cast<PatFrag>(frag#"_m0")>;
678 }
679
680 let OtherPredicates = [NotLDSRequiresM0Init] in {
Nicolai Haehnle40b140f2018-02-22 15:25:11 +0000681 def : DSWritePat<!cast<DS_Pseudo>(!cast<string>(inst)#"_gfx9"), vt, !cast<PatFrag>(frag)>;
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000682 }
683}
684
Matt Arsenault3f8e7a32018-06-22 08:39:52 +0000685// Irritatingly, atomic_store reverses the order of operands from a
686// normal store.
687class DSAtomicWritePat <DS_Pseudo inst, ValueType vt, PatFrag frag> : GCNPat <
688 (frag (DS1Addr1Offset i32:$ptr, i32:$offset), vt:$value),
689 (inst $ptr, $value, (as_i16imm $offset), (i1 0))
690>;
691
692multiclass DSAtomicWritePat_mc <DS_Pseudo inst, ValueType vt, string frag> {
693 let OtherPredicates = [LDSRequiresM0Init] in {
694 def : DSAtomicWritePat<inst, vt, !cast<PatFrag>(frag#"_m0")>;
695 }
696
697 let OtherPredicates = [NotLDSRequiresM0Init] in {
698 def : DSAtomicWritePat<!cast<DS_Pseudo>(!cast<string>(inst)#"_gfx9"), vt, !cast<PatFrag>(frag)>;
699 }
700}
701
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000702defm : DSWritePat_mc <DS_WRITE_B8, i32, "truncstorei8_local">;
703defm : DSWritePat_mc <DS_WRITE_B16, i32, "truncstorei16_local">;
704defm : DSWritePat_mc <DS_WRITE_B8, i16, "truncstorei8_local">;
705defm : DSWritePat_mc <DS_WRITE_B16, i16, "store_local">;
706defm : DSWritePat_mc <DS_WRITE_B32, i32, "store_local">;
Matt Arsenault3f8e7a32018-06-22 08:39:52 +0000707defm : DSAtomicWritePat_mc <DS_WRITE_B32, i32, "atomic_store_local">;
708defm : DSAtomicWritePat_mc <DS_WRITE_B64, i64, "atomic_store_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000709
Konstantin Zhuravlyovc2c2eb72018-05-04 20:06:57 +0000710let OtherPredicates = [D16PreservesUnusedBits] in {
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000711def : DSWritePat <DS_WRITE_B16_D16_HI, i32, store_local_hi16>;
712def : DSWritePat <DS_WRITE_B8_D16_HI, i32, truncstorei8_local_hi16>;
713}
714
Valery Pykhtin902db312016-08-01 14:21:30 +0000715
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000716class DS64Bit4ByteAlignedReadPat<DS_Pseudo inst, PatFrag frag> : GCNPat <
717 (v2i32 (frag (DS64Bit4ByteAligned i32:$ptr, i8:$offset0, i8:$offset1))),
718 (inst $ptr, $offset0, $offset1, (i1 0))
Valery Pykhtin902db312016-08-01 14:21:30 +0000719>;
720
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000721class DS64Bit4ByteAlignedWritePat<DS_Pseudo inst, PatFrag frag> : GCNPat<
722 (frag v2i32:$value, (DS64Bit4ByteAligned i32:$ptr, i8:$offset0, i8:$offset1)),
723 (inst $ptr, (i32 (EXTRACT_SUBREG $value, sub0)),
724 (i32 (EXTRACT_SUBREG $value, sub1)), $offset0, $offset1,
725 (i1 0))
726>;
727
Nicolai Haehnle48219372018-10-17 15:37:48 +0000728// v2i32 loads are split into i32 loads on SI during lowering, due to a bug
729// related to bounds checking.
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000730let OtherPredicates = [LDSRequiresM0Init, isCIVI] in {
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000731def : DS64Bit4ByteAlignedReadPat<DS_READ2_B32, load_local_m0>;
732def : DS64Bit4ByteAlignedWritePat<DS_WRITE2_B32, store_local_m0>;
733}
734
735let OtherPredicates = [NotLDSRequiresM0Init] in {
736def : DS64Bit4ByteAlignedReadPat<DS_READ2_B32_gfx9, load_local>;
737def : DS64Bit4ByteAlignedWritePat<DS_WRITE2_B32_gfx9, store_local>;
738}
739
740
741let AddedComplexity = 100 in {
742
743defm : DSWritePat_mc <DS_WRITE_B64, v2i32, "store_align8_local">;
Farhana Aleenc6c9dc82018-03-16 18:12:00 +0000744defm : DSWritePat_mc <DS_WRITE_B128, v4i32, "store_align16_local">;
745
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000746} // End AddedComplexity = 100
Matt Arsenault90c75932017-10-03 00:06:41 +0000747class DSAtomicRetPat<DS_Pseudo inst, ValueType vt, PatFrag frag> : GCNPat <
Valery Pykhtin902db312016-08-01 14:21:30 +0000748 (frag (DS1Addr1Offset i32:$ptr, i32:$offset), vt:$value),
749 (inst $ptr, $value, (as_i16imm $offset), (i1 0))
750>;
751
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000752multiclass DSAtomicRetPat_mc<DS_Pseudo inst, ValueType vt, string frag> {
753 let OtherPredicates = [LDSRequiresM0Init] in {
754 def : DSAtomicRetPat<inst, vt, !cast<PatFrag>(frag#"_m0")>;
755 }
756
757 let OtherPredicates = [NotLDSRequiresM0Init] in {
Nicolai Haehnle40b140f2018-02-22 15:25:11 +0000758 def : DSAtomicRetPat<!cast<DS_Pseudo>(!cast<string>(inst)#"_gfx9"), vt,
759 !cast<PatFrag>(frag)>;
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000760 }
761}
762
763
764
Matt Arsenault90c75932017-10-03 00:06:41 +0000765class DSAtomicCmpXChg<DS_Pseudo inst, ValueType vt, PatFrag frag> : GCNPat <
Valery Pykhtin902db312016-08-01 14:21:30 +0000766 (frag (DS1Addr1Offset i32:$ptr, i32:$offset), vt:$cmp, vt:$swap),
767 (inst $ptr, $cmp, $swap, (as_i16imm $offset), (i1 0))
768>;
769
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000770multiclass DSAtomicCmpXChg_mc<DS_Pseudo inst, ValueType vt, string frag> {
771 let OtherPredicates = [LDSRequiresM0Init] in {
772 def : DSAtomicCmpXChg<inst, vt, !cast<PatFrag>(frag#"_m0")>;
773 }
774
775 let OtherPredicates = [NotLDSRequiresM0Init] in {
Nicolai Haehnle40b140f2018-02-22 15:25:11 +0000776 def : DSAtomicCmpXChg<!cast<DS_Pseudo>(!cast<string>(inst)#"_gfx9"), vt,
777 !cast<PatFrag>(frag)>;
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000778 }
779}
780
781
Valery Pykhtin902db312016-08-01 14:21:30 +0000782
783// 32-bit atomics.
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000784defm : DSAtomicRetPat_mc<DS_WRXCHG_RTN_B32, i32, "atomic_swap_local">;
785defm : DSAtomicRetPat_mc<DS_ADD_RTN_U32, i32, "atomic_load_add_local">;
786defm : DSAtomicRetPat_mc<DS_SUB_RTN_U32, i32, "atomic_load_sub_local">;
787defm : DSAtomicRetPat_mc<DS_INC_RTN_U32, i32, "atomic_inc_local">;
788defm : DSAtomicRetPat_mc<DS_DEC_RTN_U32, i32, "atomic_dec_local">;
789defm : DSAtomicRetPat_mc<DS_AND_RTN_B32, i32, "atomic_load_and_local">;
790defm : DSAtomicRetPat_mc<DS_OR_RTN_B32, i32, "atomic_load_or_local">;
791defm : DSAtomicRetPat_mc<DS_XOR_RTN_B32, i32, "atomic_load_xor_local">;
792defm : DSAtomicRetPat_mc<DS_MIN_RTN_I32, i32, "atomic_load_min_local">;
793defm : DSAtomicRetPat_mc<DS_MAX_RTN_I32, i32, "atomic_load_max_local">;
794defm : DSAtomicRetPat_mc<DS_MIN_RTN_U32, i32, "atomic_load_umin_local">;
795defm : DSAtomicRetPat_mc<DS_MAX_RTN_U32, i32, "atomic_load_umax_local">;
796defm : DSAtomicCmpXChg_mc<DS_CMPST_RTN_B32, i32, "atomic_cmp_swap_local">;
Daniil Fukalovd5fca552018-01-17 14:05:05 +0000797defm : DSAtomicRetPat_mc<DS_MIN_RTN_F32, f32, "atomic_load_fmin_local">;
798defm : DSAtomicRetPat_mc<DS_MAX_RTN_F32, f32, "atomic_load_fmax_local">;
799defm : DSAtomicRetPat_mc<DS_ADD_RTN_F32, f32, "atomic_load_fadd_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000800
801// 64-bit atomics.
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000802defm : DSAtomicRetPat_mc<DS_WRXCHG_RTN_B64, i64, "atomic_swap_local">;
803defm : DSAtomicRetPat_mc<DS_ADD_RTN_U64, i64, "atomic_load_add_local">;
804defm : DSAtomicRetPat_mc<DS_SUB_RTN_U64, i64, "atomic_load_sub_local">;
805defm : DSAtomicRetPat_mc<DS_INC_RTN_U64, i64, "atomic_inc_local">;
806defm : DSAtomicRetPat_mc<DS_DEC_RTN_U64, i64, "atomic_dec_local">;
807defm : DSAtomicRetPat_mc<DS_AND_RTN_B64, i64, "atomic_load_and_local">;
808defm : DSAtomicRetPat_mc<DS_OR_RTN_B64, i64, "atomic_load_or_local">;
809defm : DSAtomicRetPat_mc<DS_XOR_RTN_B64, i64, "atomic_load_xor_local">;
810defm : DSAtomicRetPat_mc<DS_MIN_RTN_I64, i64, "atomic_load_min_local">;
811defm : DSAtomicRetPat_mc<DS_MAX_RTN_I64, i64, "atomic_load_max_local">;
812defm : DSAtomicRetPat_mc<DS_MIN_RTN_U64, i64, "atomic_load_umin_local">;
813defm : DSAtomicRetPat_mc<DS_MAX_RTN_U64, i64, "atomic_load_umax_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000814
Matt Arsenault3f71c0e2017-11-29 00:55:57 +0000815defm : DSAtomicCmpXChg_mc<DS_CMPST_RTN_B64, i64, "atomic_cmp_swap_local">;
Valery Pykhtin902db312016-08-01 14:21:30 +0000816
Marek Olsakc5cec5e2019-01-16 15:43:53 +0000817def : Pat <
818 (SIds_ordered_count i32:$value, i16:$offset),
819 (DS_ORDERED_COUNT $value, (as_i16imm $offset))
820>;
821
Valery Pykhtin902db312016-08-01 14:21:30 +0000822//===----------------------------------------------------------------------===//
823// Real instructions
824//===----------------------------------------------------------------------===//
825
826//===----------------------------------------------------------------------===//
827// SIInstructions.td
828//===----------------------------------------------------------------------===//
829
830class DS_Real_si <bits<8> op, DS_Pseudo ds> :
831 DS_Real <ds>,
832 SIMCInstr <ds.Mnemonic, SIEncodingFamily.SI> {
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +0000833 let AssemblerPredicates=[isSICI];
Valery Pykhtin902db312016-08-01 14:21:30 +0000834 let DecoderNamespace="SICI";
835
836 // encoding
837 let Inst{7-0} = !if(ds.has_offset0, offset0, 0);
838 let Inst{15-8} = !if(ds.has_offset1, offset1, 0);
839 let Inst{17} = !if(ds.has_gds, gds, ds.gdsValue);
840 let Inst{25-18} = op;
841 let Inst{31-26} = 0x36; // ds prefix
842 let Inst{39-32} = !if(ds.has_addr, addr, 0);
843 let Inst{47-40} = !if(ds.has_data0, data0, 0);
844 let Inst{55-48} = !if(ds.has_data1, data1, 0);
845 let Inst{63-56} = !if(ds.has_vdst, vdst, 0);
846}
847
848def DS_ADD_U32_si : DS_Real_si<0x0, DS_ADD_U32>;
849def DS_SUB_U32_si : DS_Real_si<0x1, DS_SUB_U32>;
850def DS_RSUB_U32_si : DS_Real_si<0x2, DS_RSUB_U32>;
851def DS_INC_U32_si : DS_Real_si<0x3, DS_INC_U32>;
852def DS_DEC_U32_si : DS_Real_si<0x4, DS_DEC_U32>;
853def DS_MIN_I32_si : DS_Real_si<0x5, DS_MIN_I32>;
854def DS_MAX_I32_si : DS_Real_si<0x6, DS_MAX_I32>;
855def DS_MIN_U32_si : DS_Real_si<0x7, DS_MIN_U32>;
856def DS_MAX_U32_si : DS_Real_si<0x8, DS_MAX_U32>;
857def DS_AND_B32_si : DS_Real_si<0x9, DS_AND_B32>;
858def DS_OR_B32_si : DS_Real_si<0xa, DS_OR_B32>;
859def DS_XOR_B32_si : DS_Real_si<0xb, DS_XOR_B32>;
860def DS_MSKOR_B32_si : DS_Real_si<0xc, DS_MSKOR_B32>;
861def DS_WRITE_B32_si : DS_Real_si<0xd, DS_WRITE_B32>;
862def DS_WRITE2_B32_si : DS_Real_si<0xe, DS_WRITE2_B32>;
863def DS_WRITE2ST64_B32_si : DS_Real_si<0xf, DS_WRITE2ST64_B32>;
864def DS_CMPST_B32_si : DS_Real_si<0x10, DS_CMPST_B32>;
865def DS_CMPST_F32_si : DS_Real_si<0x11, DS_CMPST_F32>;
866def DS_MIN_F32_si : DS_Real_si<0x12, DS_MIN_F32>;
867def DS_MAX_F32_si : DS_Real_si<0x13, DS_MAX_F32>;
Matt Arsenault78124982017-02-28 20:15:46 +0000868def DS_NOP_si : DS_Real_si<0x14, DS_NOP>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000869def DS_GWS_INIT_si : DS_Real_si<0x19, DS_GWS_INIT>;
870def DS_GWS_SEMA_V_si : DS_Real_si<0x1a, DS_GWS_SEMA_V>;
871def DS_GWS_SEMA_BR_si : DS_Real_si<0x1b, DS_GWS_SEMA_BR>;
872def DS_GWS_SEMA_P_si : DS_Real_si<0x1c, DS_GWS_SEMA_P>;
873def DS_GWS_BARRIER_si : DS_Real_si<0x1d, DS_GWS_BARRIER>;
874def DS_WRITE_B8_si : DS_Real_si<0x1e, DS_WRITE_B8>;
875def DS_WRITE_B16_si : DS_Real_si<0x1f, DS_WRITE_B16>;
876def DS_ADD_RTN_U32_si : DS_Real_si<0x20, DS_ADD_RTN_U32>;
877def DS_SUB_RTN_U32_si : DS_Real_si<0x21, DS_SUB_RTN_U32>;
878def DS_RSUB_RTN_U32_si : DS_Real_si<0x22, DS_RSUB_RTN_U32>;
879def DS_INC_RTN_U32_si : DS_Real_si<0x23, DS_INC_RTN_U32>;
880def DS_DEC_RTN_U32_si : DS_Real_si<0x24, DS_DEC_RTN_U32>;
881def DS_MIN_RTN_I32_si : DS_Real_si<0x25, DS_MIN_RTN_I32>;
882def DS_MAX_RTN_I32_si : DS_Real_si<0x26, DS_MAX_RTN_I32>;
883def DS_MIN_RTN_U32_si : DS_Real_si<0x27, DS_MIN_RTN_U32>;
884def DS_MAX_RTN_U32_si : DS_Real_si<0x28, DS_MAX_RTN_U32>;
885def DS_AND_RTN_B32_si : DS_Real_si<0x29, DS_AND_RTN_B32>;
886def DS_OR_RTN_B32_si : DS_Real_si<0x2a, DS_OR_RTN_B32>;
887def DS_XOR_RTN_B32_si : DS_Real_si<0x2b, DS_XOR_RTN_B32>;
888def DS_MSKOR_RTN_B32_si : DS_Real_si<0x2c, DS_MSKOR_RTN_B32>;
889def DS_WRXCHG_RTN_B32_si : DS_Real_si<0x2d, DS_WRXCHG_RTN_B32>;
890def DS_WRXCHG2_RTN_B32_si : DS_Real_si<0x2e, DS_WRXCHG2_RTN_B32>;
891def DS_WRXCHG2ST64_RTN_B32_si : DS_Real_si<0x2f, DS_WRXCHG2ST64_RTN_B32>;
892def DS_CMPST_RTN_B32_si : DS_Real_si<0x30, DS_CMPST_RTN_B32>;
893def DS_CMPST_RTN_F32_si : DS_Real_si<0x31, DS_CMPST_RTN_F32>;
894def DS_MIN_RTN_F32_si : DS_Real_si<0x32, DS_MIN_RTN_F32>;
895def DS_MAX_RTN_F32_si : DS_Real_si<0x33, DS_MAX_RTN_F32>;
896
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +0000897// These instruction are CI/VI only
898def DS_WRAP_RTN_B32_si : DS_Real_si<0x34, DS_WRAP_RTN_B32>;
899def DS_CONDXCHG32_RTN_B64_si : DS_Real_si<0x7e, DS_CONDXCHG32_RTN_B64>;
900def DS_GWS_SEMA_RELEASE_ALL_si : DS_Real_si<0x18, DS_GWS_SEMA_RELEASE_ALL>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000901
902def DS_SWIZZLE_B32_si : DS_Real_si<0x35, DS_SWIZZLE_B32>;
903def DS_READ_B32_si : DS_Real_si<0x36, DS_READ_B32>;
904def DS_READ2_B32_si : DS_Real_si<0x37, DS_READ2_B32>;
905def DS_READ2ST64_B32_si : DS_Real_si<0x38, DS_READ2ST64_B32>;
906def DS_READ_I8_si : DS_Real_si<0x39, DS_READ_I8>;
907def DS_READ_U8_si : DS_Real_si<0x3a, DS_READ_U8>;
908def DS_READ_I16_si : DS_Real_si<0x3b, DS_READ_I16>;
909def DS_READ_U16_si : DS_Real_si<0x3c, DS_READ_U16>;
910def DS_CONSUME_si : DS_Real_si<0x3d, DS_CONSUME>;
911def DS_APPEND_si : DS_Real_si<0x3e, DS_APPEND>;
912def DS_ORDERED_COUNT_si : DS_Real_si<0x3f, DS_ORDERED_COUNT>;
913def DS_ADD_U64_si : DS_Real_si<0x40, DS_ADD_U64>;
914def DS_SUB_U64_si : DS_Real_si<0x41, DS_SUB_U64>;
915def DS_RSUB_U64_si : DS_Real_si<0x42, DS_RSUB_U64>;
916def DS_INC_U64_si : DS_Real_si<0x43, DS_INC_U64>;
917def DS_DEC_U64_si : DS_Real_si<0x44, DS_DEC_U64>;
918def DS_MIN_I64_si : DS_Real_si<0x45, DS_MIN_I64>;
919def DS_MAX_I64_si : DS_Real_si<0x46, DS_MAX_I64>;
920def DS_MIN_U64_si : DS_Real_si<0x47, DS_MIN_U64>;
921def DS_MAX_U64_si : DS_Real_si<0x48, DS_MAX_U64>;
922def DS_AND_B64_si : DS_Real_si<0x49, DS_AND_B64>;
923def DS_OR_B64_si : DS_Real_si<0x4a, DS_OR_B64>;
924def DS_XOR_B64_si : DS_Real_si<0x4b, DS_XOR_B64>;
925def DS_MSKOR_B64_si : DS_Real_si<0x4c, DS_MSKOR_B64>;
926def DS_WRITE_B64_si : DS_Real_si<0x4d, DS_WRITE_B64>;
927def DS_WRITE2_B64_si : DS_Real_si<0x4E, DS_WRITE2_B64>;
928def DS_WRITE2ST64_B64_si : DS_Real_si<0x4f, DS_WRITE2ST64_B64>;
929def DS_CMPST_B64_si : DS_Real_si<0x50, DS_CMPST_B64>;
930def DS_CMPST_F64_si : DS_Real_si<0x51, DS_CMPST_F64>;
931def DS_MIN_F64_si : DS_Real_si<0x52, DS_MIN_F64>;
932def DS_MAX_F64_si : DS_Real_si<0x53, DS_MAX_F64>;
933
934def DS_ADD_RTN_U64_si : DS_Real_si<0x60, DS_ADD_RTN_U64>;
935def DS_SUB_RTN_U64_si : DS_Real_si<0x61, DS_SUB_RTN_U64>;
936def DS_RSUB_RTN_U64_si : DS_Real_si<0x62, DS_RSUB_RTN_U64>;
937def DS_INC_RTN_U64_si : DS_Real_si<0x63, DS_INC_RTN_U64>;
938def DS_DEC_RTN_U64_si : DS_Real_si<0x64, DS_DEC_RTN_U64>;
939def DS_MIN_RTN_I64_si : DS_Real_si<0x65, DS_MIN_RTN_I64>;
940def DS_MAX_RTN_I64_si : DS_Real_si<0x66, DS_MAX_RTN_I64>;
941def DS_MIN_RTN_U64_si : DS_Real_si<0x67, DS_MIN_RTN_U64>;
942def DS_MAX_RTN_U64_si : DS_Real_si<0x68, DS_MAX_RTN_U64>;
943def DS_AND_RTN_B64_si : DS_Real_si<0x69, DS_AND_RTN_B64>;
944def DS_OR_RTN_B64_si : DS_Real_si<0x6a, DS_OR_RTN_B64>;
945def DS_XOR_RTN_B64_si : DS_Real_si<0x6b, DS_XOR_RTN_B64>;
946def DS_MSKOR_RTN_B64_si : DS_Real_si<0x6c, DS_MSKOR_RTN_B64>;
947def DS_WRXCHG_RTN_B64_si : DS_Real_si<0x6d, DS_WRXCHG_RTN_B64>;
948def DS_WRXCHG2_RTN_B64_si : DS_Real_si<0x6e, DS_WRXCHG2_RTN_B64>;
949def DS_WRXCHG2ST64_RTN_B64_si : DS_Real_si<0x6f, DS_WRXCHG2ST64_RTN_B64>;
950def DS_CMPST_RTN_B64_si : DS_Real_si<0x70, DS_CMPST_RTN_B64>;
951def DS_CMPST_RTN_F64_si : DS_Real_si<0x71, DS_CMPST_RTN_F64>;
952def DS_MIN_RTN_F64_si : DS_Real_si<0x72, DS_MIN_RTN_F64>;
953def DS_MAX_RTN_F64_si : DS_Real_si<0x73, DS_MAX_RTN_F64>;
954
955def DS_READ_B64_si : DS_Real_si<0x76, DS_READ_B64>;
956def DS_READ2_B64_si : DS_Real_si<0x77, DS_READ2_B64>;
957def DS_READ2ST64_B64_si : DS_Real_si<0x78, DS_READ2ST64_B64>;
958
959def DS_ADD_SRC2_U32_si : DS_Real_si<0x80, DS_ADD_SRC2_U32>;
960def DS_SUB_SRC2_U32_si : DS_Real_si<0x81, DS_SUB_SRC2_U32>;
961def DS_RSUB_SRC2_U32_si : DS_Real_si<0x82, DS_RSUB_SRC2_U32>;
962def DS_INC_SRC2_U32_si : DS_Real_si<0x83, DS_INC_SRC2_U32>;
963def DS_DEC_SRC2_U32_si : DS_Real_si<0x84, DS_DEC_SRC2_U32>;
964def DS_MIN_SRC2_I32_si : DS_Real_si<0x85, DS_MIN_SRC2_I32>;
965def DS_MAX_SRC2_I32_si : DS_Real_si<0x86, DS_MAX_SRC2_I32>;
966def DS_MIN_SRC2_U32_si : DS_Real_si<0x87, DS_MIN_SRC2_U32>;
967def DS_MAX_SRC2_U32_si : DS_Real_si<0x88, DS_MAX_SRC2_U32>;
968def DS_AND_SRC2_B32_si : DS_Real_si<0x89, DS_AND_SRC2_B32>;
969def DS_OR_SRC2_B32_si : DS_Real_si<0x8a, DS_OR_SRC2_B32>;
970def DS_XOR_SRC2_B32_si : DS_Real_si<0x8b, DS_XOR_SRC2_B32>;
971def DS_WRITE_SRC2_B32_si : DS_Real_si<0x8d, DS_WRITE_SRC2_B32>;
972
973def DS_MIN_SRC2_F32_si : DS_Real_si<0x92, DS_MIN_SRC2_F32>;
974def DS_MAX_SRC2_F32_si : DS_Real_si<0x93, DS_MAX_SRC2_F32>;
975
976def DS_ADD_SRC2_U64_si : DS_Real_si<0xc0, DS_ADD_SRC2_U64>;
977def DS_SUB_SRC2_U64_si : DS_Real_si<0xc1, DS_SUB_SRC2_U64>;
978def DS_RSUB_SRC2_U64_si : DS_Real_si<0xc2, DS_RSUB_SRC2_U64>;
979def DS_INC_SRC2_U64_si : DS_Real_si<0xc3, DS_INC_SRC2_U64>;
980def DS_DEC_SRC2_U64_si : DS_Real_si<0xc4, DS_DEC_SRC2_U64>;
981def DS_MIN_SRC2_I64_si : DS_Real_si<0xc5, DS_MIN_SRC2_I64>;
982def DS_MAX_SRC2_I64_si : DS_Real_si<0xc6, DS_MAX_SRC2_I64>;
983def DS_MIN_SRC2_U64_si : DS_Real_si<0xc7, DS_MIN_SRC2_U64>;
984def DS_MAX_SRC2_U64_si : DS_Real_si<0xc8, DS_MAX_SRC2_U64>;
985def DS_AND_SRC2_B64_si : DS_Real_si<0xc9, DS_AND_SRC2_B64>;
986def DS_OR_SRC2_B64_si : DS_Real_si<0xca, DS_OR_SRC2_B64>;
987def DS_XOR_SRC2_B64_si : DS_Real_si<0xcb, DS_XOR_SRC2_B64>;
988def DS_WRITE_SRC2_B64_si : DS_Real_si<0xcd, DS_WRITE_SRC2_B64>;
989
990def DS_MIN_SRC2_F64_si : DS_Real_si<0xd2, DS_MIN_SRC2_F64>;
991def DS_MAX_SRC2_F64_si : DS_Real_si<0xd3, DS_MAX_SRC2_F64>;
Matt Arsenaultdedc5442017-02-28 20:15:43 +0000992def DS_WRITE_B96_si : DS_Real_si<0xde, DS_WRITE_B96>;
993def DS_WRITE_B128_si : DS_Real_si<0xdf, DS_WRITE_B128>;
994def DS_READ_B96_si : DS_Real_si<0xfe, DS_READ_B96>;
995def DS_READ_B128_si : DS_Real_si<0xff, DS_READ_B128>;
Valery Pykhtin902db312016-08-01 14:21:30 +0000996
997//===----------------------------------------------------------------------===//
998// VIInstructions.td
999//===----------------------------------------------------------------------===//
1000
1001class DS_Real_vi <bits<8> op, DS_Pseudo ds> :
1002 DS_Real <ds>,
1003 SIMCInstr <ds.Mnemonic, SIEncodingFamily.VI> {
Konstantin Zhuravlyov9a278bf2019-02-22 23:21:06 +00001004 let AssemblerPredicates = [isVI];
Valery Pykhtin902db312016-08-01 14:21:30 +00001005 let DecoderNamespace="VI";
1006
Matt Arsenaultf3dd8632016-11-01 00:55:14 +00001007 // encoding
Valery Pykhtin902db312016-08-01 14:21:30 +00001008 let Inst{7-0} = !if(ds.has_offset0, offset0, 0);
1009 let Inst{15-8} = !if(ds.has_offset1, offset1, 0);
1010 let Inst{16} = !if(ds.has_gds, gds, ds.gdsValue);
1011 let Inst{24-17} = op;
1012 let Inst{31-26} = 0x36; // ds prefix
1013 let Inst{39-32} = !if(ds.has_addr, addr, 0);
1014 let Inst{47-40} = !if(ds.has_data0, data0, 0);
1015 let Inst{55-48} = !if(ds.has_data1, data1, 0);
1016 let Inst{63-56} = !if(ds.has_vdst, vdst, 0);
1017}
1018
1019def DS_ADD_U32_vi : DS_Real_vi<0x0, DS_ADD_U32>;
1020def DS_SUB_U32_vi : DS_Real_vi<0x1, DS_SUB_U32>;
1021def DS_RSUB_U32_vi : DS_Real_vi<0x2, DS_RSUB_U32>;
1022def DS_INC_U32_vi : DS_Real_vi<0x3, DS_INC_U32>;
1023def DS_DEC_U32_vi : DS_Real_vi<0x4, DS_DEC_U32>;
1024def DS_MIN_I32_vi : DS_Real_vi<0x5, DS_MIN_I32>;
1025def DS_MAX_I32_vi : DS_Real_vi<0x6, DS_MAX_I32>;
1026def DS_MIN_U32_vi : DS_Real_vi<0x7, DS_MIN_U32>;
1027def DS_MAX_U32_vi : DS_Real_vi<0x8, DS_MAX_U32>;
1028def DS_AND_B32_vi : DS_Real_vi<0x9, DS_AND_B32>;
1029def DS_OR_B32_vi : DS_Real_vi<0xa, DS_OR_B32>;
1030def DS_XOR_B32_vi : DS_Real_vi<0xb, DS_XOR_B32>;
1031def DS_MSKOR_B32_vi : DS_Real_vi<0xc, DS_MSKOR_B32>;
1032def DS_WRITE_B32_vi : DS_Real_vi<0xd, DS_WRITE_B32>;
1033def DS_WRITE2_B32_vi : DS_Real_vi<0xe, DS_WRITE2_B32>;
1034def DS_WRITE2ST64_B32_vi : DS_Real_vi<0xf, DS_WRITE2ST64_B32>;
1035def DS_CMPST_B32_vi : DS_Real_vi<0x10, DS_CMPST_B32>;
1036def DS_CMPST_F32_vi : DS_Real_vi<0x11, DS_CMPST_F32>;
1037def DS_MIN_F32_vi : DS_Real_vi<0x12, DS_MIN_F32>;
1038def DS_MAX_F32_vi : DS_Real_vi<0x13, DS_MAX_F32>;
Matt Arsenault78124982017-02-28 20:15:46 +00001039def DS_NOP_vi : DS_Real_vi<0x14, DS_NOP>;
Artem Tamazov2e217b82016-09-21 16:35:44 +00001040def DS_ADD_F32_vi : DS_Real_vi<0x15, DS_ADD_F32>;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +00001041def DS_GWS_INIT_vi : DS_Real_vi<0x99, DS_GWS_INIT>;
1042def DS_GWS_SEMA_V_vi : DS_Real_vi<0x9a, DS_GWS_SEMA_V>;
1043def DS_GWS_SEMA_BR_vi : DS_Real_vi<0x9b, DS_GWS_SEMA_BR>;
1044def DS_GWS_SEMA_P_vi : DS_Real_vi<0x9c, DS_GWS_SEMA_P>;
1045def DS_GWS_BARRIER_vi : DS_Real_vi<0x9d, DS_GWS_BARRIER>;
Matt Arsenaultefa1d652017-09-01 18:38:02 +00001046def DS_WRITE_ADDTID_B32_vi : DS_Real_vi<0x1d, DS_WRITE_ADDTID_B32>;
Valery Pykhtin902db312016-08-01 14:21:30 +00001047def DS_WRITE_B8_vi : DS_Real_vi<0x1e, DS_WRITE_B8>;
1048def DS_WRITE_B16_vi : DS_Real_vi<0x1f, DS_WRITE_B16>;
1049def DS_ADD_RTN_U32_vi : DS_Real_vi<0x20, DS_ADD_RTN_U32>;
1050def DS_SUB_RTN_U32_vi : DS_Real_vi<0x21, DS_SUB_RTN_U32>;
1051def DS_RSUB_RTN_U32_vi : DS_Real_vi<0x22, DS_RSUB_RTN_U32>;
1052def DS_INC_RTN_U32_vi : DS_Real_vi<0x23, DS_INC_RTN_U32>;
1053def DS_DEC_RTN_U32_vi : DS_Real_vi<0x24, DS_DEC_RTN_U32>;
1054def DS_MIN_RTN_I32_vi : DS_Real_vi<0x25, DS_MIN_RTN_I32>;
1055def DS_MAX_RTN_I32_vi : DS_Real_vi<0x26, DS_MAX_RTN_I32>;
1056def DS_MIN_RTN_U32_vi : DS_Real_vi<0x27, DS_MIN_RTN_U32>;
1057def DS_MAX_RTN_U32_vi : DS_Real_vi<0x28, DS_MAX_RTN_U32>;
1058def DS_AND_RTN_B32_vi : DS_Real_vi<0x29, DS_AND_RTN_B32>;
1059def DS_OR_RTN_B32_vi : DS_Real_vi<0x2a, DS_OR_RTN_B32>;
1060def DS_XOR_RTN_B32_vi : DS_Real_vi<0x2b, DS_XOR_RTN_B32>;
1061def DS_MSKOR_RTN_B32_vi : DS_Real_vi<0x2c, DS_MSKOR_RTN_B32>;
1062def DS_WRXCHG_RTN_B32_vi : DS_Real_vi<0x2d, DS_WRXCHG_RTN_B32>;
1063def DS_WRXCHG2_RTN_B32_vi : DS_Real_vi<0x2e, DS_WRXCHG2_RTN_B32>;
1064def DS_WRXCHG2ST64_RTN_B32_vi : DS_Real_vi<0x2f, DS_WRXCHG2ST64_RTN_B32>;
1065def DS_CMPST_RTN_B32_vi : DS_Real_vi<0x30, DS_CMPST_RTN_B32>;
1066def DS_CMPST_RTN_F32_vi : DS_Real_vi<0x31, DS_CMPST_RTN_F32>;
1067def DS_MIN_RTN_F32_vi : DS_Real_vi<0x32, DS_MIN_RTN_F32>;
1068def DS_MAX_RTN_F32_vi : DS_Real_vi<0x33, DS_MAX_RTN_F32>;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +00001069def DS_WRAP_RTN_B32_vi : DS_Real_vi<0x34, DS_WRAP_RTN_B32>;
Artem Tamazov2e217b82016-09-21 16:35:44 +00001070def DS_ADD_RTN_F32_vi : DS_Real_vi<0x35, DS_ADD_RTN_F32>;
Valery Pykhtin902db312016-08-01 14:21:30 +00001071def DS_READ_B32_vi : DS_Real_vi<0x36, DS_READ_B32>;
1072def DS_READ2_B32_vi : DS_Real_vi<0x37, DS_READ2_B32>;
1073def DS_READ2ST64_B32_vi : DS_Real_vi<0x38, DS_READ2ST64_B32>;
1074def DS_READ_I8_vi : DS_Real_vi<0x39, DS_READ_I8>;
1075def DS_READ_U8_vi : DS_Real_vi<0x3a, DS_READ_U8>;
1076def DS_READ_I16_vi : DS_Real_vi<0x3b, DS_READ_I16>;
1077def DS_READ_U16_vi : DS_Real_vi<0x3c, DS_READ_U16>;
Matt Arsenaultefa1d652017-09-01 18:38:02 +00001078def DS_READ_ADDTID_B32_vi : DS_Real_vi<0xb6, DS_READ_ADDTID_B32>;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +00001079def DS_CONSUME_vi : DS_Real_vi<0xbd, DS_CONSUME>;
1080def DS_APPEND_vi : DS_Real_vi<0xbe, DS_APPEND>;
1081def DS_ORDERED_COUNT_vi : DS_Real_vi<0xbf, DS_ORDERED_COUNT>;
Valery Pykhtin902db312016-08-01 14:21:30 +00001082def DS_SWIZZLE_B32_vi : DS_Real_vi<0x3d, DS_SWIZZLE_B32>;
1083def DS_PERMUTE_B32_vi : DS_Real_vi<0x3e, DS_PERMUTE_B32>;
1084def DS_BPERMUTE_B32_vi : DS_Real_vi<0x3f, DS_BPERMUTE_B32>;
1085
1086def DS_ADD_U64_vi : DS_Real_vi<0x40, DS_ADD_U64>;
1087def DS_SUB_U64_vi : DS_Real_vi<0x41, DS_SUB_U64>;
1088def DS_RSUB_U64_vi : DS_Real_vi<0x42, DS_RSUB_U64>;
1089def DS_INC_U64_vi : DS_Real_vi<0x43, DS_INC_U64>;
1090def DS_DEC_U64_vi : DS_Real_vi<0x44, DS_DEC_U64>;
1091def DS_MIN_I64_vi : DS_Real_vi<0x45, DS_MIN_I64>;
1092def DS_MAX_I64_vi : DS_Real_vi<0x46, DS_MAX_I64>;
1093def DS_MIN_U64_vi : DS_Real_vi<0x47, DS_MIN_U64>;
1094def DS_MAX_U64_vi : DS_Real_vi<0x48, DS_MAX_U64>;
1095def DS_AND_B64_vi : DS_Real_vi<0x49, DS_AND_B64>;
1096def DS_OR_B64_vi : DS_Real_vi<0x4a, DS_OR_B64>;
1097def DS_XOR_B64_vi : DS_Real_vi<0x4b, DS_XOR_B64>;
1098def DS_MSKOR_B64_vi : DS_Real_vi<0x4c, DS_MSKOR_B64>;
1099def DS_WRITE_B64_vi : DS_Real_vi<0x4d, DS_WRITE_B64>;
1100def DS_WRITE2_B64_vi : DS_Real_vi<0x4E, DS_WRITE2_B64>;
1101def DS_WRITE2ST64_B64_vi : DS_Real_vi<0x4f, DS_WRITE2ST64_B64>;
1102def DS_CMPST_B64_vi : DS_Real_vi<0x50, DS_CMPST_B64>;
1103def DS_CMPST_F64_vi : DS_Real_vi<0x51, DS_CMPST_F64>;
1104def DS_MIN_F64_vi : DS_Real_vi<0x52, DS_MIN_F64>;
1105def DS_MAX_F64_vi : DS_Real_vi<0x53, DS_MAX_F64>;
1106
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001107def DS_WRITE_B8_D16_HI_vi : DS_Real_vi<0x54, DS_WRITE_B8_D16_HI>;
1108def DS_WRITE_B16_D16_HI_vi : DS_Real_vi<0x55, DS_WRITE_B16_D16_HI>;
1109
1110def DS_READ_U8_D16_vi : DS_Real_vi<0x56, DS_READ_U8_D16>;
1111def DS_READ_U8_D16_HI_vi : DS_Real_vi<0x57, DS_READ_U8_D16_HI>;
1112def DS_READ_I8_D16_vi : DS_Real_vi<0x58, DS_READ_I8_D16>;
1113def DS_READ_I8_D16_HI_vi : DS_Real_vi<0x59, DS_READ_I8_D16_HI>;
1114def DS_READ_U16_D16_vi : DS_Real_vi<0x5a, DS_READ_U16_D16>;
1115def DS_READ_U16_D16_HI_vi : DS_Real_vi<0x5b, DS_READ_U16_D16_HI>;
1116
Valery Pykhtin902db312016-08-01 14:21:30 +00001117def DS_ADD_RTN_U64_vi : DS_Real_vi<0x60, DS_ADD_RTN_U64>;
1118def DS_SUB_RTN_U64_vi : DS_Real_vi<0x61, DS_SUB_RTN_U64>;
1119def DS_RSUB_RTN_U64_vi : DS_Real_vi<0x62, DS_RSUB_RTN_U64>;
1120def DS_INC_RTN_U64_vi : DS_Real_vi<0x63, DS_INC_RTN_U64>;
1121def DS_DEC_RTN_U64_vi : DS_Real_vi<0x64, DS_DEC_RTN_U64>;
1122def DS_MIN_RTN_I64_vi : DS_Real_vi<0x65, DS_MIN_RTN_I64>;
1123def DS_MAX_RTN_I64_vi : DS_Real_vi<0x66, DS_MAX_RTN_I64>;
1124def DS_MIN_RTN_U64_vi : DS_Real_vi<0x67, DS_MIN_RTN_U64>;
1125def DS_MAX_RTN_U64_vi : DS_Real_vi<0x68, DS_MAX_RTN_U64>;
1126def DS_AND_RTN_B64_vi : DS_Real_vi<0x69, DS_AND_RTN_B64>;
1127def DS_OR_RTN_B64_vi : DS_Real_vi<0x6a, DS_OR_RTN_B64>;
1128def DS_XOR_RTN_B64_vi : DS_Real_vi<0x6b, DS_XOR_RTN_B64>;
1129def DS_MSKOR_RTN_B64_vi : DS_Real_vi<0x6c, DS_MSKOR_RTN_B64>;
1130def DS_WRXCHG_RTN_B64_vi : DS_Real_vi<0x6d, DS_WRXCHG_RTN_B64>;
1131def DS_WRXCHG2_RTN_B64_vi : DS_Real_vi<0x6e, DS_WRXCHG2_RTN_B64>;
1132def DS_WRXCHG2ST64_RTN_B64_vi : DS_Real_vi<0x6f, DS_WRXCHG2ST64_RTN_B64>;
Dmitry Preobrazhenskye5147242017-04-07 13:07:13 +00001133def DS_CONDXCHG32_RTN_B64_vi : DS_Real_vi<0x7e, DS_CONDXCHG32_RTN_B64>;
1134def DS_GWS_SEMA_RELEASE_ALL_vi : DS_Real_vi<0x98, DS_GWS_SEMA_RELEASE_ALL>;
Valery Pykhtin902db312016-08-01 14:21:30 +00001135def DS_CMPST_RTN_B64_vi : DS_Real_vi<0x70, DS_CMPST_RTN_B64>;
1136def DS_CMPST_RTN_F64_vi : DS_Real_vi<0x71, DS_CMPST_RTN_F64>;
1137def DS_MIN_RTN_F64_vi : DS_Real_vi<0x72, DS_MIN_RTN_F64>;
1138def DS_MAX_RTN_F64_vi : DS_Real_vi<0x73, DS_MAX_RTN_F64>;
1139
1140def DS_READ_B64_vi : DS_Real_vi<0x76, DS_READ_B64>;
1141def DS_READ2_B64_vi : DS_Real_vi<0x77, DS_READ2_B64>;
1142def DS_READ2ST64_B64_vi : DS_Real_vi<0x78, DS_READ2ST64_B64>;
1143
1144def DS_ADD_SRC2_U32_vi : DS_Real_vi<0x80, DS_ADD_SRC2_U32>;
1145def DS_SUB_SRC2_U32_vi : DS_Real_vi<0x81, DS_SUB_SRC2_U32>;
1146def DS_RSUB_SRC2_U32_vi : DS_Real_vi<0x82, DS_RSUB_SRC2_U32>;
1147def DS_INC_SRC2_U32_vi : DS_Real_vi<0x83, DS_INC_SRC2_U32>;
1148def DS_DEC_SRC2_U32_vi : DS_Real_vi<0x84, DS_DEC_SRC2_U32>;
1149def DS_MIN_SRC2_I32_vi : DS_Real_vi<0x85, DS_MIN_SRC2_I32>;
1150def DS_MAX_SRC2_I32_vi : DS_Real_vi<0x86, DS_MAX_SRC2_I32>;
1151def DS_MIN_SRC2_U32_vi : DS_Real_vi<0x87, DS_MIN_SRC2_U32>;
1152def DS_MAX_SRC2_U32_vi : DS_Real_vi<0x88, DS_MAX_SRC2_U32>;
1153def DS_AND_SRC2_B32_vi : DS_Real_vi<0x89, DS_AND_SRC2_B32>;
1154def DS_OR_SRC2_B32_vi : DS_Real_vi<0x8a, DS_OR_SRC2_B32>;
1155def DS_XOR_SRC2_B32_vi : DS_Real_vi<0x8b, DS_XOR_SRC2_B32>;
1156def DS_WRITE_SRC2_B32_vi : DS_Real_vi<0x8d, DS_WRITE_SRC2_B32>;
1157def DS_MIN_SRC2_F32_vi : DS_Real_vi<0x92, DS_MIN_SRC2_F32>;
1158def DS_MAX_SRC2_F32_vi : DS_Real_vi<0x93, DS_MAX_SRC2_F32>;
Dmitry Preobrazhensky622bde82018-03-28 16:21:56 +00001159def DS_ADD_SRC2_F32_vi : DS_Real_vi<0x95, DS_ADD_SRC2_F32>;
Valery Pykhtin902db312016-08-01 14:21:30 +00001160def DS_ADD_SRC2_U64_vi : DS_Real_vi<0xc0, DS_ADD_SRC2_U64>;
1161def DS_SUB_SRC2_U64_vi : DS_Real_vi<0xc1, DS_SUB_SRC2_U64>;
1162def DS_RSUB_SRC2_U64_vi : DS_Real_vi<0xc2, DS_RSUB_SRC2_U64>;
1163def DS_INC_SRC2_U64_vi : DS_Real_vi<0xc3, DS_INC_SRC2_U64>;
1164def DS_DEC_SRC2_U64_vi : DS_Real_vi<0xc4, DS_DEC_SRC2_U64>;
1165def DS_MIN_SRC2_I64_vi : DS_Real_vi<0xc5, DS_MIN_SRC2_I64>;
1166def DS_MAX_SRC2_I64_vi : DS_Real_vi<0xc6, DS_MAX_SRC2_I64>;
1167def DS_MIN_SRC2_U64_vi : DS_Real_vi<0xc7, DS_MIN_SRC2_U64>;
1168def DS_MAX_SRC2_U64_vi : DS_Real_vi<0xc8, DS_MAX_SRC2_U64>;
1169def DS_AND_SRC2_B64_vi : DS_Real_vi<0xc9, DS_AND_SRC2_B64>;
1170def DS_OR_SRC2_B64_vi : DS_Real_vi<0xca, DS_OR_SRC2_B64>;
1171def DS_XOR_SRC2_B64_vi : DS_Real_vi<0xcb, DS_XOR_SRC2_B64>;
1172def DS_WRITE_SRC2_B64_vi : DS_Real_vi<0xcd, DS_WRITE_SRC2_B64>;
1173def DS_MIN_SRC2_F64_vi : DS_Real_vi<0xd2, DS_MIN_SRC2_F64>;
1174def DS_MAX_SRC2_F64_vi : DS_Real_vi<0xd3, DS_MAX_SRC2_F64>;
Matt Arsenaultdedc5442017-02-28 20:15:43 +00001175def DS_WRITE_B96_vi : DS_Real_vi<0xde, DS_WRITE_B96>;
1176def DS_WRITE_B128_vi : DS_Real_vi<0xdf, DS_WRITE_B128>;
1177def DS_READ_B96_vi : DS_Real_vi<0xfe, DS_READ_B96>;
1178def DS_READ_B128_vi : DS_Real_vi<0xff, DS_READ_B128>;