blob: 2230457b3a9b63da71beb42dafdbc0c623e1f9bf [file] [log] [blame]
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001//===-- BUFInstructions.td - Buffer Instruction Defintions ----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10def MUBUFAddr32 : ComplexPattern<i64, 9, "SelectMUBUFAddr32">;
11def MUBUFAddr64 : ComplexPattern<i64, 7, "SelectMUBUFAddr64">;
12def MUBUFAddr64Atomic : ComplexPattern<i64, 5, "SelectMUBUFAddr64">;
13
Matt Arsenaultb81495d2017-09-20 05:01:53 +000014def MUBUFScratchOffen : ComplexPattern<i64, 4, "SelectMUBUFScratchOffen", [], [SDNPWantParent]>;
15def MUBUFScratchOffset : ComplexPattern<i64, 3, "SelectMUBUFScratchOffset", [], [SDNPWantParent], 20>;
Matt Arsenault0774ea22017-04-24 19:40:59 +000016
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000017def MUBUFOffset : ComplexPattern<i64, 6, "SelectMUBUFOffset">;
18def MUBUFOffsetNoGLC : ComplexPattern<i64, 3, "SelectMUBUFOffset">;
19def MUBUFOffsetAtomic : ComplexPattern<i64, 4, "SelectMUBUFOffset">;
20def MUBUFIntrinsicOffset : ComplexPattern<i32, 2, "SelectMUBUFIntrinsicOffset">;
21def MUBUFIntrinsicVOffset : ComplexPattern<i32, 3, "SelectMUBUFIntrinsicVOffset">;
22
23class MubufLoad <SDPatternOperator op> : PatFrag <
24 (ops node:$ptr), (op node:$ptr), [{
25 auto const AS = cast<MemSDNode>(N)->getAddressSpace();
Yaxun Liu1a14bfa2017-03-27 14:04:01 +000026 return AS == AMDGPUASI.GLOBAL_ADDRESS ||
27 AS == AMDGPUASI.CONSTANT_ADDRESS;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000028}]>;
29
30def mubuf_load : MubufLoad <load>;
31def mubuf_az_extloadi8 : MubufLoad <az_extloadi8>;
32def mubuf_sextloadi8 : MubufLoad <sextloadi8>;
33def mubuf_az_extloadi16 : MubufLoad <az_extloadi16>;
34def mubuf_sextloadi16 : MubufLoad <sextloadi16>;
35def mubuf_load_atomic : MubufLoad <atomic_load>;
36
37def BUFAddrKind {
38 int Offset = 0;
39 int OffEn = 1;
40 int IdxEn = 2;
41 int BothEn = 3;
42 int Addr64 = 4;
43}
44
45class getAddrName<int addrKind> {
46 string ret =
47 !if(!eq(addrKind, BUFAddrKind.Offset), "offset",
48 !if(!eq(addrKind, BUFAddrKind.OffEn), "offen",
49 !if(!eq(addrKind, BUFAddrKind.IdxEn), "idxen",
50 !if(!eq(addrKind, BUFAddrKind.BothEn), "bothen",
51 !if(!eq(addrKind, BUFAddrKind.Addr64), "addr64",
52 "")))));
53}
54
55class MUBUFAddr64Table <bit is_addr64, string suffix = ""> {
56 bit IsAddr64 = is_addr64;
57 string OpName = NAME # suffix;
58}
59
David Stuttard70e8bc12017-06-22 16:29:22 +000060class MTBUFAddr64Table <bit is_addr64, string suffix = ""> {
61 bit IsAddr64 = is_addr64;
62 string OpName = NAME # suffix;
63}
64
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000065//===----------------------------------------------------------------------===//
66// MTBUF classes
67//===----------------------------------------------------------------------===//
68
69class MTBUF_Pseudo <string opName, dag outs, dag ins,
70 string asmOps, list<dag> pattern=[]> :
71 InstSI<outs, ins, "", pattern>,
72 SIMCInstr<opName, SIEncodingFamily.NONE> {
73
74 let isPseudo = 1;
75 let isCodeGenOnly = 1;
Matt Arsenault10c17ca2016-10-06 10:13:23 +000076 let Size = 8;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000077 let UseNamedOperandTable = 1;
78
79 string Mnemonic = opName;
80 string AsmOperands = asmOps;
81
82 let VM_CNT = 1;
83 let EXP_CNT = 1;
84 let MTBUF = 1;
85 let Uses = [EXEC];
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000086 let hasSideEffects = 0;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +000087 let SchedRW = [WriteVMEM];
David Stuttard70e8bc12017-06-22 16:29:22 +000088
89 let AsmMatchConverter = "cvtMtbuf";
90
91 bits<1> offen = 0;
92 bits<1> idxen = 0;
93 bits<1> addr64 = 0;
94 bits<1> has_vdata = 1;
95 bits<1> has_vaddr = 1;
96 bits<1> has_glc = 1;
97 bits<1> glc_value = 0; // the value for glc if no such operand
98 bits<4> dfmt_value = 1; // the value for dfmt if no such operand
99 bits<3> nfmt_value = 0; // the value for nfmt if no such operand
100 bits<1> has_srsrc = 1;
101 bits<1> has_soffset = 1;
102 bits<1> has_offset = 1;
103 bits<1> has_slc = 1;
104 bits<1> has_tfe = 1;
105 bits<1> has_dfmt = 1;
106 bits<1> has_nfmt = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000107}
108
Valery Pykhtinfbf2d932016-09-23 21:21:21 +0000109class MTBUF_Real <MTBUF_Pseudo ps> :
David Stuttard70e8bc12017-06-22 16:29:22 +0000110 InstSI <ps.OutOperandList, ps.InOperandList, ps.Mnemonic # ps.AsmOperands, []> {
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000111
112 let isPseudo = 0;
113 let isCodeGenOnly = 0;
114
115 // copy relevant pseudo op flags
116 let SubtargetPredicate = ps.SubtargetPredicate;
117 let AsmMatchConverter = ps.AsmMatchConverter;
118 let Constraints = ps.Constraints;
119 let DisableEncoding = ps.DisableEncoding;
120 let TSFlags = ps.TSFlags;
121
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000122 bits<12> offset;
David Stuttard70e8bc12017-06-22 16:29:22 +0000123 bits<1> glc;
124 bits<4> dfmt;
125 bits<3> nfmt;
126 bits<8> vaddr;
127 bits<8> vdata;
128 bits<7> srsrc;
129 bits<1> slc;
130 bits<1> tfe;
131 bits<8> soffset;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000132}
133
David Stuttard70e8bc12017-06-22 16:29:22 +0000134class getMTBUFInsDA<list<RegisterClass> vdataList,
135 list<RegisterClass> vaddrList=[]> {
136 RegisterClass vdataClass = !if(!empty(vdataList), ?, !head(vdataList));
137 RegisterClass vaddrClass = !if(!empty(vaddrList), ?, !head(vaddrList));
138 dag InsNoData = !if(!empty(vaddrList),
139 (ins SReg_128:$srsrc, SCSrc_b32:$soffset,
140 offset:$offset, DFMT:$dfmt, NFMT:$nfmt, GLC:$glc, slc:$slc, tfe:$tfe),
141 (ins vaddrClass:$vaddr, SReg_128:$srsrc, SCSrc_b32:$soffset,
142 offset:$offset, DFMT:$dfmt, NFMT:$nfmt, GLC:$glc, slc:$slc, tfe:$tfe)
143 );
144 dag InsData = !if(!empty(vaddrList),
145 (ins vdataClass:$vdata, SReg_128:$srsrc,
146 SCSrc_b32:$soffset, offset:$offset, DFMT:$dfmt, NFMT:$nfmt, GLC:$glc,
147 slc:$slc, tfe:$tfe),
148 (ins vdataClass:$vdata, vaddrClass:$vaddr, SReg_128:$srsrc,
149 SCSrc_b32:$soffset, offset:$offset, DFMT:$dfmt, NFMT:$nfmt, GLC:$glc,
150 slc:$slc, tfe:$tfe)
151 );
152 dag ret = !if(!empty(vdataList), InsNoData, InsData);
153}
154
155class getMTBUFIns<int addrKind, list<RegisterClass> vdataList=[]> {
156 dag ret =
157 !if(!eq(addrKind, BUFAddrKind.Offset), getMTBUFInsDA<vdataList>.ret,
158 !if(!eq(addrKind, BUFAddrKind.OffEn), getMTBUFInsDA<vdataList, [VGPR_32]>.ret,
159 !if(!eq(addrKind, BUFAddrKind.IdxEn), getMTBUFInsDA<vdataList, [VGPR_32]>.ret,
160 !if(!eq(addrKind, BUFAddrKind.BothEn), getMTBUFInsDA<vdataList, [VReg_64]>.ret,
161 !if(!eq(addrKind, BUFAddrKind.Addr64), getMTBUFInsDA<vdataList, [VReg_64]>.ret,
162 (ins))))));
163}
164
165class getMTBUFAsmOps<int addrKind> {
166 string Pfx =
167 !if(!eq(addrKind, BUFAddrKind.Offset), "off, $srsrc, $dfmt, $nfmt, $soffset",
168 !if(!eq(addrKind, BUFAddrKind.OffEn),
169 "$vaddr, $srsrc, $dfmt, $nfmt, $soffset offen",
170 !if(!eq(addrKind, BUFAddrKind.IdxEn),
171 "$vaddr, $srsrc, $dfmt, $nfmt, $soffset idxen",
172 !if(!eq(addrKind, BUFAddrKind.BothEn),
173 "$vaddr, $srsrc, $dfmt, $nfmt, $soffset idxen offen",
174 !if(!eq(addrKind, BUFAddrKind.Addr64),
175 "$vaddr, $srsrc, $dfmt, $nfmt, $soffset addr64",
176 "")))));
177 string ret = Pfx # "$offset";
178}
179
180class MTBUF_SetupAddr<int addrKind> {
181 bits<1> offen = !if(!eq(addrKind, BUFAddrKind.OffEn), 1,
182 !if(!eq(addrKind, BUFAddrKind.BothEn), 1 , 0));
183
184 bits<1> idxen = !if(!eq(addrKind, BUFAddrKind.IdxEn), 1,
185 !if(!eq(addrKind, BUFAddrKind.BothEn), 1 , 0));
186
187 bits<1> addr64 = !if(!eq(addrKind, BUFAddrKind.Addr64), 1, 0);
188
189 bits<1> has_vaddr = !if(!eq(addrKind, BUFAddrKind.Offset), 0, 1);
190}
191
192class MTBUF_Load_Pseudo <string opName,
193 int addrKind,
194 RegisterClass vdataClass,
195 list<dag> pattern=[],
196 // Workaround bug bz30254
197 int addrKindCopy = addrKind>
198 : MTBUF_Pseudo<opName,
199 (outs vdataClass:$vdata),
200 getMTBUFIns<addrKindCopy>.ret,
201 " $vdata, " # getMTBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
202 pattern>,
203 MTBUF_SetupAddr<addrKindCopy> {
204 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000205 let mayLoad = 1;
206 let mayStore = 0;
207}
208
David Stuttard70e8bc12017-06-22 16:29:22 +0000209multiclass MTBUF_Pseudo_Loads<string opName, RegisterClass vdataClass,
210 ValueType load_vt = i32,
211 SDPatternOperator ld = null_frag> {
212
213 def _OFFSET : MTBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
214 [(set load_vt:$vdata,
215 (ld (MUBUFOffset v4i32:$srsrc, i32:$soffset, i16:$offset, i8:$dfmt,
216 i8:$nfmt, i1:$glc, i1:$slc, i1:$tfe)))]>,
217 MTBUFAddr64Table<0>;
218
219 def _ADDR64 : MTBUF_Load_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
220 [(set load_vt:$vdata,
221 (ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset, i16:$offset,
222 i8:$dfmt, i8:$nfmt, i1:$glc, i1:$slc, i1:$tfe)))]>,
223 MTBUFAddr64Table<1>;
224
225 def _OFFEN : MTBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
226 def _IDXEN : MTBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
227 def _BOTHEN : MTBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
228
229 let DisableWQM = 1 in {
230 def _OFFSET_exact : MTBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass>;
231 def _OFFEN_exact : MTBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
232 def _IDXEN_exact : MTBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
233 def _BOTHEN_exact : MTBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
234 }
235}
236
237class MTBUF_Store_Pseudo <string opName,
238 int addrKind,
239 RegisterClass vdataClass,
240 list<dag> pattern=[],
241 // Workaround bug bz30254
242 int addrKindCopy = addrKind,
243 RegisterClass vdataClassCopy = vdataClass>
244 : MTBUF_Pseudo<opName,
245 (outs),
246 getMTBUFIns<addrKindCopy, [vdataClassCopy]>.ret,
247 " $vdata, " # getMTBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
248 pattern>,
249 MTBUF_SetupAddr<addrKindCopy> {
250 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000251 let mayLoad = 0;
252 let mayStore = 1;
253}
254
David Stuttard70e8bc12017-06-22 16:29:22 +0000255multiclass MTBUF_Pseudo_Stores<string opName, RegisterClass vdataClass,
256 ValueType store_vt = i32,
257 SDPatternOperator st = null_frag> {
258
259 def _OFFSET : MTBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
260 [(st store_vt:$vdata, (MUBUFOffset v4i32:$srsrc, i32:$soffset,
261 i16:$offset, i8:$dfmt, i8:$nfmt, i1:$glc,
262 i1:$slc, i1:$tfe))]>,
263 MTBUFAddr64Table<0>;
264
265 def _ADDR64 : MTBUF_Store_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
266 [(st store_vt:$vdata, (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
267 i16:$offset, i8:$dfmt, i8:$nfmt, i1:$glc,
268 i1:$slc, i1:$tfe))]>,
269 MTBUFAddr64Table<1>;
270
271 def _OFFEN : MTBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
272 def _IDXEN : MTBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
273 def _BOTHEN : MTBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
274
275 let DisableWQM = 1 in {
276 def _OFFSET_exact : MTBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass>;
277 def _OFFEN_exact : MTBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
278 def _IDXEN_exact : MTBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
279 def _BOTHEN_exact : MTBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
280 }
281}
282
283
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000284//===----------------------------------------------------------------------===//
285// MUBUF classes
286//===----------------------------------------------------------------------===//
287
288class MUBUF_Pseudo <string opName, dag outs, dag ins,
289 string asmOps, list<dag> pattern=[]> :
290 InstSI<outs, ins, "", pattern>,
291 SIMCInstr<opName, SIEncodingFamily.NONE> {
292
293 let isPseudo = 1;
294 let isCodeGenOnly = 1;
Matt Arsenault10c17ca2016-10-06 10:13:23 +0000295 let Size = 8;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000296 let UseNamedOperandTable = 1;
297
298 string Mnemonic = opName;
299 string AsmOperands = asmOps;
300
301 let VM_CNT = 1;
302 let EXP_CNT = 1;
303 let MUBUF = 1;
304 let Uses = [EXEC];
305 let hasSideEffects = 0;
306 let SchedRW = [WriteVMEM];
307
308 let AsmMatchConverter = "cvtMubuf";
309
310 bits<1> offen = 0;
311 bits<1> idxen = 0;
312 bits<1> addr64 = 0;
313 bits<1> has_vdata = 1;
314 bits<1> has_vaddr = 1;
315 bits<1> has_glc = 1;
316 bits<1> glc_value = 0; // the value for glc if no such operand
317 bits<1> has_srsrc = 1;
318 bits<1> has_soffset = 1;
319 bits<1> has_offset = 1;
320 bits<1> has_slc = 1;
321 bits<1> has_tfe = 1;
322}
323
324class MUBUF_Real <bits<7> op, MUBUF_Pseudo ps> :
325 InstSI <ps.OutOperandList, ps.InOperandList, ps.Mnemonic # ps.AsmOperands, []> {
326
327 let isPseudo = 0;
328 let isCodeGenOnly = 0;
329
330 // copy relevant pseudo op flags
331 let SubtargetPredicate = ps.SubtargetPredicate;
332 let AsmMatchConverter = ps.AsmMatchConverter;
333 let Constraints = ps.Constraints;
334 let DisableEncoding = ps.DisableEncoding;
335 let TSFlags = ps.TSFlags;
336
337 bits<12> offset;
338 bits<1> glc;
339 bits<1> lds = 0;
340 bits<8> vaddr;
341 bits<8> vdata;
342 bits<7> srsrc;
343 bits<1> slc;
344 bits<1> tfe;
345 bits<8> soffset;
346}
347
348
349// For cache invalidation instructions.
350class MUBUF_Invalidate <string opName, SDPatternOperator node> :
351 MUBUF_Pseudo<opName, (outs), (ins), "", [(node)]> {
352
353 let AsmMatchConverter = "";
354
355 let hasSideEffects = 1;
356 let mayStore = 1;
357
358 // Set everything to 0.
359 let offen = 0;
360 let idxen = 0;
361 let addr64 = 0;
362 let has_vdata = 0;
363 let has_vaddr = 0;
364 let has_glc = 0;
365 let glc_value = 0;
366 let has_srsrc = 0;
367 let has_soffset = 0;
368 let has_offset = 0;
369 let has_slc = 0;
370 let has_tfe = 0;
371}
372
373class getMUBUFInsDA<list<RegisterClass> vdataList,
374 list<RegisterClass> vaddrList=[]> {
375 RegisterClass vdataClass = !if(!empty(vdataList), ?, !head(vdataList));
376 RegisterClass vaddrClass = !if(!empty(vaddrList), ?, !head(vaddrList));
377 dag InsNoData = !if(!empty(vaddrList),
378 (ins SReg_128:$srsrc, SCSrc_b32:$soffset,
Matt Arsenault4b6a6cc2016-10-28 21:55:08 +0000379 offset:$offset, GLC:$glc, slc:$slc, tfe:$tfe),
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000380 (ins vaddrClass:$vaddr, SReg_128:$srsrc, SCSrc_b32:$soffset,
Matt Arsenault4b6a6cc2016-10-28 21:55:08 +0000381 offset:$offset, GLC:$glc, slc:$slc, tfe:$tfe)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000382 );
383 dag InsData = !if(!empty(vaddrList),
384 (ins vdataClass:$vdata, SReg_128:$srsrc,
Matt Arsenault4b6a6cc2016-10-28 21:55:08 +0000385 SCSrc_b32:$soffset, offset:$offset, GLC:$glc, slc:$slc, tfe:$tfe),
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000386 (ins vdataClass:$vdata, vaddrClass:$vaddr, SReg_128:$srsrc,
Matt Arsenault4b6a6cc2016-10-28 21:55:08 +0000387 SCSrc_b32:$soffset, offset:$offset, GLC:$glc, slc:$slc, tfe:$tfe)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000388 );
389 dag ret = !if(!empty(vdataList), InsNoData, InsData);
390}
391
392class getMUBUFIns<int addrKind, list<RegisterClass> vdataList=[]> {
393 dag ret =
394 !if(!eq(addrKind, BUFAddrKind.Offset), getMUBUFInsDA<vdataList>.ret,
395 !if(!eq(addrKind, BUFAddrKind.OffEn), getMUBUFInsDA<vdataList, [VGPR_32]>.ret,
396 !if(!eq(addrKind, BUFAddrKind.IdxEn), getMUBUFInsDA<vdataList, [VGPR_32]>.ret,
397 !if(!eq(addrKind, BUFAddrKind.BothEn), getMUBUFInsDA<vdataList, [VReg_64]>.ret,
398 !if(!eq(addrKind, BUFAddrKind.Addr64), getMUBUFInsDA<vdataList, [VReg_64]>.ret,
399 (ins))))));
400}
401
402class getMUBUFAsmOps<int addrKind> {
403 string Pfx =
404 !if(!eq(addrKind, BUFAddrKind.Offset), "off, $srsrc, $soffset",
405 !if(!eq(addrKind, BUFAddrKind.OffEn), "$vaddr, $srsrc, $soffset offen",
406 !if(!eq(addrKind, BUFAddrKind.IdxEn), "$vaddr, $srsrc, $soffset idxen",
407 !if(!eq(addrKind, BUFAddrKind.BothEn), "$vaddr, $srsrc, $soffset idxen offen",
408 !if(!eq(addrKind, BUFAddrKind.Addr64), "$vaddr, $srsrc, $soffset addr64",
409 "")))));
410 string ret = Pfx # "$offset";
411}
412
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000413class MUBUF_SetupAddr<int addrKind> {
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000414 bits<1> offen = !if(!eq(addrKind, BUFAddrKind.OffEn), 1,
415 !if(!eq(addrKind, BUFAddrKind.BothEn), 1 , 0));
416
417 bits<1> idxen = !if(!eq(addrKind, BUFAddrKind.IdxEn), 1,
418 !if(!eq(addrKind, BUFAddrKind.BothEn), 1 , 0));
419
420 bits<1> addr64 = !if(!eq(addrKind, BUFAddrKind.Addr64), 1, 0);
421
422 bits<1> has_vaddr = !if(!eq(addrKind, BUFAddrKind.Offset), 0, 1);
423}
424
425class MUBUF_Load_Pseudo <string opName,
426 int addrKind,
427 RegisterClass vdataClass,
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000428 bit HasTiedDest = 0,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000429 list<dag> pattern=[],
430 // Workaround bug bz30254
431 int addrKindCopy = addrKind>
432 : MUBUF_Pseudo<opName,
433 (outs vdataClass:$vdata),
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000434 !con(getMUBUFIns<addrKindCopy>.ret, !if(HasTiedDest, (ins vdataClass:$vdata_in), (ins))),
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000435 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
436 pattern>,
437 MUBUF_SetupAddr<addrKindCopy> {
438 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000439 let Constraints = !if(HasTiedDest, "$vdata = $vdata_in", "");
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000440 let mayLoad = 1;
441 let mayStore = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000442 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000443}
444
445// FIXME: tfe can't be an operand because it requires a separate
446// opcode because it needs an N+1 register class dest register.
447multiclass MUBUF_Pseudo_Loads<string opName, RegisterClass vdataClass,
448 ValueType load_vt = i32,
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000449 SDPatternOperator ld = null_frag,
450 bit TiedDest = 0> {
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000451
452 def _OFFSET : MUBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000453 TiedDest,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000454 [(set load_vt:$vdata,
455 (ld (MUBUFOffset v4i32:$srsrc, i32:$soffset, i16:$offset, i1:$glc, i1:$slc, i1:$tfe)))]>,
456 MUBUFAddr64Table<0>;
457
458 def _ADDR64 : MUBUF_Load_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000459 TiedDest,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000460 [(set load_vt:$vdata,
461 (ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset, i16:$offset, i1:$glc, i1:$slc, i1:$tfe)))]>,
462 MUBUFAddr64Table<1>;
463
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000464 def _OFFEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass, TiedDest>;
465 def _IDXEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass, TiedDest>;
466 def _BOTHEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass, TiedDest>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000467
468 let DisableWQM = 1 in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000469 def _OFFSET_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass, TiedDest>;
470 def _OFFEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass, TiedDest>;
471 def _IDXEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass, TiedDest>;
472 def _BOTHEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass, TiedDest>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000473 }
474}
475
476class MUBUF_Store_Pseudo <string opName,
477 int addrKind,
478 RegisterClass vdataClass,
479 list<dag> pattern=[],
480 // Workaround bug bz30254
481 int addrKindCopy = addrKind,
482 RegisterClass vdataClassCopy = vdataClass>
483 : MUBUF_Pseudo<opName,
484 (outs),
485 getMUBUFIns<addrKindCopy, [vdataClassCopy]>.ret,
486 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
487 pattern>,
488 MUBUF_SetupAddr<addrKindCopy> {
489 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
490 let mayLoad = 0;
491 let mayStore = 1;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000492 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000493}
494
495multiclass MUBUF_Pseudo_Stores<string opName, RegisterClass vdataClass,
496 ValueType store_vt = i32,
497 SDPatternOperator st = null_frag> {
498
499 def _OFFSET : MUBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
500 [(st store_vt:$vdata, (MUBUFOffset v4i32:$srsrc, i32:$soffset,
501 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))]>,
502 MUBUFAddr64Table<0>;
503
504 def _ADDR64 : MUBUF_Store_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
505 [(st store_vt:$vdata, (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
506 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))]>,
507 MUBUFAddr64Table<1>;
508
509 def _OFFEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
510 def _IDXEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
511 def _BOTHEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
512
513 let DisableWQM = 1 in {
514 def _OFFSET_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass>;
515 def _OFFEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
516 def _IDXEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
517 def _BOTHEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
518 }
519}
520
521
522class getMUBUFAtomicInsDA<RegisterClass vdataClass, bit vdata_in,
523 list<RegisterClass> vaddrList=[]> {
524 RegisterClass vaddrClass = !if(!empty(vaddrList), ?, !head(vaddrList));
525 dag ret = !if(vdata_in,
526 !if(!empty(vaddrList),
527 (ins vdataClass:$vdata_in,
528 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc),
529 (ins vdataClass:$vdata_in, vaddrClass:$vaddr,
530 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc)
531 ),
532 !if(!empty(vaddrList),
533 (ins vdataClass:$vdata,
534 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc),
535 (ins vdataClass:$vdata, vaddrClass:$vaddr,
536 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc)
537 ));
538}
539
540class getMUBUFAtomicIns<int addrKind,
541 RegisterClass vdataClass,
542 bit vdata_in,
543 // Workaround bug bz30254
544 RegisterClass vdataClassCopy=vdataClass> {
545 dag ret =
546 !if(!eq(addrKind, BUFAddrKind.Offset),
547 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in>.ret,
548 !if(!eq(addrKind, BUFAddrKind.OffEn),
549 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VGPR_32]>.ret,
550 !if(!eq(addrKind, BUFAddrKind.IdxEn),
551 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VGPR_32]>.ret,
552 !if(!eq(addrKind, BUFAddrKind.BothEn),
553 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VReg_64]>.ret,
554 !if(!eq(addrKind, BUFAddrKind.Addr64),
555 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VReg_64]>.ret,
556 (ins))))));
557}
558
559class MUBUF_Atomic_Pseudo<string opName,
560 int addrKind,
561 dag outs,
562 dag ins,
563 string asmOps,
564 list<dag> pattern=[],
565 // Workaround bug bz30254
566 int addrKindCopy = addrKind>
567 : MUBUF_Pseudo<opName, outs, ins, asmOps, pattern>,
568 MUBUF_SetupAddr<addrKindCopy> {
569 let mayStore = 1;
570 let mayLoad = 1;
571 let hasPostISelHook = 1;
572 let hasSideEffects = 1;
573 let DisableWQM = 1;
574 let has_glc = 0;
575 let has_tfe = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000576 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000577}
578
579class MUBUF_AtomicNoRet_Pseudo<string opName, int addrKind,
580 RegisterClass vdataClass,
581 list<dag> pattern=[],
582 // Workaround bug bz30254
583 int addrKindCopy = addrKind,
584 RegisterClass vdataClassCopy = vdataClass>
585 : MUBUF_Atomic_Pseudo<opName, addrKindCopy,
586 (outs),
587 getMUBUFAtomicIns<addrKindCopy, vdataClassCopy, 0>.ret,
588 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$slc",
589 pattern>,
590 AtomicNoRet<opName # "_" # getAddrName<addrKindCopy>.ret, 0> {
591 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
592 let glc_value = 0;
593 let AsmMatchConverter = "cvtMubufAtomic";
594}
595
596class MUBUF_AtomicRet_Pseudo<string opName, int addrKind,
597 RegisterClass vdataClass,
598 list<dag> pattern=[],
599 // Workaround bug bz30254
600 int addrKindCopy = addrKind,
601 RegisterClass vdataClassCopy = vdataClass>
602 : MUBUF_Atomic_Pseudo<opName, addrKindCopy,
603 (outs vdataClassCopy:$vdata),
604 getMUBUFAtomicIns<addrKindCopy, vdataClassCopy, 1>.ret,
605 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # " glc$slc",
606 pattern>,
607 AtomicNoRet<opName # "_" # getAddrName<addrKindCopy>.ret, 1> {
608 let PseudoInstr = opName # "_rtn_" # getAddrName<addrKindCopy>.ret;
609 let glc_value = 1;
610 let Constraints = "$vdata = $vdata_in";
611 let DisableEncoding = "$vdata_in";
612 let AsmMatchConverter = "cvtMubufAtomicReturn";
613}
614
615multiclass MUBUF_Pseudo_Atomics <string opName,
616 RegisterClass vdataClass,
617 ValueType vdataType,
618 SDPatternOperator atomic> {
619
620 def _OFFSET : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.Offset, vdataClass>,
621 MUBUFAddr64Table <0>;
622 def _ADDR64 : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.Addr64, vdataClass>,
623 MUBUFAddr64Table <1>;
624 def _OFFEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
625 def _IDXEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
626 def _BOTHEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
627
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000628 def _OFFSET_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000629 [(set vdataType:$vdata,
630 (atomic (MUBUFOffsetAtomic v4i32:$srsrc, i32:$soffset, i16:$offset, i1:$slc),
631 vdataType:$vdata_in))]>,
632 MUBUFAddr64Table <0, "_RTN">;
633
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000634 def _ADDR64_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000635 [(set vdataType:$vdata,
636 (atomic (MUBUFAddr64Atomic v4i32:$srsrc, i64:$vaddr, i32:$soffset, i16:$offset, i1:$slc),
637 vdataType:$vdata_in))]>,
638 MUBUFAddr64Table <1, "_RTN">;
639
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000640 def _OFFEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
641 def _IDXEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
642 def _BOTHEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000643}
644
645
646//===----------------------------------------------------------------------===//
647// MUBUF Instructions
648//===----------------------------------------------------------------------===//
649
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000650defm BUFFER_LOAD_FORMAT_X : MUBUF_Pseudo_Loads <
651 "buffer_load_format_x", VGPR_32
652>;
653defm BUFFER_LOAD_FORMAT_XY : MUBUF_Pseudo_Loads <
654 "buffer_load_format_xy", VReg_64
655>;
656defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Pseudo_Loads <
657 "buffer_load_format_xyz", VReg_96
658>;
659defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Pseudo_Loads <
660 "buffer_load_format_xyzw", VReg_128
661>;
662defm BUFFER_STORE_FORMAT_X : MUBUF_Pseudo_Stores <
663 "buffer_store_format_x", VGPR_32
664>;
665defm BUFFER_STORE_FORMAT_XY : MUBUF_Pseudo_Stores <
666 "buffer_store_format_xy", VReg_64
667>;
668defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Pseudo_Stores <
669 "buffer_store_format_xyz", VReg_96
670>;
671defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Pseudo_Stores <
672 "buffer_store_format_xyzw", VReg_128
673>;
674defm BUFFER_LOAD_UBYTE : MUBUF_Pseudo_Loads <
675 "buffer_load_ubyte", VGPR_32, i32, mubuf_az_extloadi8
676>;
677defm BUFFER_LOAD_SBYTE : MUBUF_Pseudo_Loads <
678 "buffer_load_sbyte", VGPR_32, i32, mubuf_sextloadi8
679>;
680defm BUFFER_LOAD_USHORT : MUBUF_Pseudo_Loads <
681 "buffer_load_ushort", VGPR_32, i32, mubuf_az_extloadi16
682>;
683defm BUFFER_LOAD_SSHORT : MUBUF_Pseudo_Loads <
684 "buffer_load_sshort", VGPR_32, i32, mubuf_sextloadi16
685>;
686defm BUFFER_LOAD_DWORD : MUBUF_Pseudo_Loads <
687 "buffer_load_dword", VGPR_32, i32, mubuf_load
688>;
689defm BUFFER_LOAD_DWORDX2 : MUBUF_Pseudo_Loads <
690 "buffer_load_dwordx2", VReg_64, v2i32, mubuf_load
691>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +0000692defm BUFFER_LOAD_DWORDX3 : MUBUF_Pseudo_Loads <
693 "buffer_load_dwordx3", VReg_96, untyped, mubuf_load
694>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000695defm BUFFER_LOAD_DWORDX4 : MUBUF_Pseudo_Loads <
696 "buffer_load_dwordx4", VReg_128, v4i32, mubuf_load
697>;
698defm BUFFER_STORE_BYTE : MUBUF_Pseudo_Stores <
699 "buffer_store_byte", VGPR_32, i32, truncstorei8_global
700>;
701defm BUFFER_STORE_SHORT : MUBUF_Pseudo_Stores <
702 "buffer_store_short", VGPR_32, i32, truncstorei16_global
703>;
704defm BUFFER_STORE_DWORD : MUBUF_Pseudo_Stores <
Matt Arsenaultbc683832017-09-20 03:43:35 +0000705 "buffer_store_dword", VGPR_32, i32, store_global
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000706>;
707defm BUFFER_STORE_DWORDX2 : MUBUF_Pseudo_Stores <
Matt Arsenaultbc683832017-09-20 03:43:35 +0000708 "buffer_store_dwordx2", VReg_64, v2i32, store_global
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000709>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +0000710defm BUFFER_STORE_DWORDX3 : MUBUF_Pseudo_Stores <
Matt Arsenaultbc683832017-09-20 03:43:35 +0000711 "buffer_store_dwordx3", VReg_96, untyped, store_global
Artem Tamazov73f1ab22016-10-07 15:53:16 +0000712>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000713defm BUFFER_STORE_DWORDX4 : MUBUF_Pseudo_Stores <
Matt Arsenaultbc683832017-09-20 03:43:35 +0000714 "buffer_store_dwordx4", VReg_128, v4i32, store_global
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000715>;
716defm BUFFER_ATOMIC_SWAP : MUBUF_Pseudo_Atomics <
717 "buffer_atomic_swap", VGPR_32, i32, atomic_swap_global
718>;
719defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Pseudo_Atomics <
720 "buffer_atomic_cmpswap", VReg_64, v2i32, null_frag
721>;
722defm BUFFER_ATOMIC_ADD : MUBUF_Pseudo_Atomics <
723 "buffer_atomic_add", VGPR_32, i32, atomic_add_global
724>;
725defm BUFFER_ATOMIC_SUB : MUBUF_Pseudo_Atomics <
726 "buffer_atomic_sub", VGPR_32, i32, atomic_sub_global
727>;
728defm BUFFER_ATOMIC_SMIN : MUBUF_Pseudo_Atomics <
729 "buffer_atomic_smin", VGPR_32, i32, atomic_min_global
730>;
731defm BUFFER_ATOMIC_UMIN : MUBUF_Pseudo_Atomics <
732 "buffer_atomic_umin", VGPR_32, i32, atomic_umin_global
733>;
734defm BUFFER_ATOMIC_SMAX : MUBUF_Pseudo_Atomics <
735 "buffer_atomic_smax", VGPR_32, i32, atomic_max_global
736>;
737defm BUFFER_ATOMIC_UMAX : MUBUF_Pseudo_Atomics <
738 "buffer_atomic_umax", VGPR_32, i32, atomic_umax_global
739>;
740defm BUFFER_ATOMIC_AND : MUBUF_Pseudo_Atomics <
741 "buffer_atomic_and", VGPR_32, i32, atomic_and_global
742>;
743defm BUFFER_ATOMIC_OR : MUBUF_Pseudo_Atomics <
744 "buffer_atomic_or", VGPR_32, i32, atomic_or_global
745>;
746defm BUFFER_ATOMIC_XOR : MUBUF_Pseudo_Atomics <
747 "buffer_atomic_xor", VGPR_32, i32, atomic_xor_global
748>;
749defm BUFFER_ATOMIC_INC : MUBUF_Pseudo_Atomics <
750 "buffer_atomic_inc", VGPR_32, i32, atomic_inc_global
751>;
752defm BUFFER_ATOMIC_DEC : MUBUF_Pseudo_Atomics <
753 "buffer_atomic_dec", VGPR_32, i32, atomic_dec_global
754>;
755defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Pseudo_Atomics <
756 "buffer_atomic_swap_x2", VReg_64, i64, atomic_swap_global
757>;
758defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Pseudo_Atomics <
759 "buffer_atomic_cmpswap_x2", VReg_128, v2i64, null_frag
760>;
761defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Pseudo_Atomics <
762 "buffer_atomic_add_x2", VReg_64, i64, atomic_add_global
763>;
764defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Pseudo_Atomics <
765 "buffer_atomic_sub_x2", VReg_64, i64, atomic_sub_global
766>;
767defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Pseudo_Atomics <
768 "buffer_atomic_smin_x2", VReg_64, i64, atomic_min_global
769>;
770defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Pseudo_Atomics <
771 "buffer_atomic_umin_x2", VReg_64, i64, atomic_umin_global
772>;
773defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Pseudo_Atomics <
774 "buffer_atomic_smax_x2", VReg_64, i64, atomic_max_global
775>;
776defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Pseudo_Atomics <
777 "buffer_atomic_umax_x2", VReg_64, i64, atomic_umax_global
778>;
779defm BUFFER_ATOMIC_AND_X2 : MUBUF_Pseudo_Atomics <
780 "buffer_atomic_and_x2", VReg_64, i64, atomic_and_global
781>;
782defm BUFFER_ATOMIC_OR_X2 : MUBUF_Pseudo_Atomics <
783 "buffer_atomic_or_x2", VReg_64, i64, atomic_or_global
784>;
785defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Pseudo_Atomics <
786 "buffer_atomic_xor_x2", VReg_64, i64, atomic_xor_global
787>;
788defm BUFFER_ATOMIC_INC_X2 : MUBUF_Pseudo_Atomics <
789 "buffer_atomic_inc_x2", VReg_64, i64, atomic_inc_global
790>;
791defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Pseudo_Atomics <
792 "buffer_atomic_dec_x2", VReg_64, i64, atomic_dec_global
793>;
794
795let SubtargetPredicate = isSI in { // isn't on CI & VI
796/*
797defm BUFFER_ATOMIC_RSUB : MUBUF_Pseudo_Atomics <"buffer_atomic_rsub">;
798defm BUFFER_ATOMIC_FCMPSWAP : MUBUF_Pseudo_Atomics <"buffer_atomic_fcmpswap">;
799defm BUFFER_ATOMIC_FMIN : MUBUF_Pseudo_Atomics <"buffer_atomic_fmin">;
800defm BUFFER_ATOMIC_FMAX : MUBUF_Pseudo_Atomics <"buffer_atomic_fmax">;
801defm BUFFER_ATOMIC_RSUB_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_rsub_x2">;
802defm BUFFER_ATOMIC_FCMPSWAP_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fcmpswap_x2">;
803defm BUFFER_ATOMIC_FMIN_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fmin_x2">;
804defm BUFFER_ATOMIC_FMAX_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fmax_x2">;
805*/
806
807def BUFFER_WBINVL1_SC : MUBUF_Invalidate <"buffer_wbinvl1_sc",
808 int_amdgcn_buffer_wbinvl1_sc>;
809}
810
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000811let SubtargetPredicate = HasD16LoadStore in {
812
813defm BUFFER_LOAD_UBYTE_D16 : MUBUF_Pseudo_Loads <
Matt Arsenaulte1cd4822017-11-13 00:22:09 +0000814 "buffer_load_ubyte_d16", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000815>;
816
817defm BUFFER_LOAD_UBYTE_D16_HI : MUBUF_Pseudo_Loads <
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000818 "buffer_load_ubyte_d16_hi", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000819>;
820
821defm BUFFER_LOAD_SBYTE_D16 : MUBUF_Pseudo_Loads <
Matt Arsenaulte1cd4822017-11-13 00:22:09 +0000822 "buffer_load_sbyte_d16", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000823>;
824
825defm BUFFER_LOAD_SBYTE_D16_HI : MUBUF_Pseudo_Loads <
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000826 "buffer_load_sbyte_d16_hi", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000827>;
828
829defm BUFFER_LOAD_SHORT_D16 : MUBUF_Pseudo_Loads <
Matt Arsenaulte1cd4822017-11-13 00:22:09 +0000830 "buffer_load_short_d16", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000831>;
832
833defm BUFFER_LOAD_SHORT_D16_HI : MUBUF_Pseudo_Loads <
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000834 "buffer_load_short_d16_hi", VGPR_32, i32, null_frag, 1
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000835>;
836
837defm BUFFER_STORE_BYTE_D16_HI : MUBUF_Pseudo_Stores <
838 "buffer_store_byte_d16_hi", VGPR_32, i32
839>;
840
841defm BUFFER_STORE_SHORT_D16_HI : MUBUF_Pseudo_Stores <
842 "buffer_store_short_d16_hi", VGPR_32, i32
843>;
844
845} // End HasD16LoadStore
846
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000847def BUFFER_WBINVL1 : MUBUF_Invalidate <"buffer_wbinvl1",
848 int_amdgcn_buffer_wbinvl1>;
849
850//===----------------------------------------------------------------------===//
851// MTBUF Instructions
852//===----------------------------------------------------------------------===//
853
David Stuttard70e8bc12017-06-22 16:29:22 +0000854defm TBUFFER_LOAD_FORMAT_X : MTBUF_Pseudo_Loads <"tbuffer_load_format_x", VGPR_32>;
855defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Pseudo_Loads <"tbuffer_load_format_xy", VReg_64>;
856defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Pseudo_Loads <"tbuffer_load_format_xyz", VReg_128>;
857defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Pseudo_Loads <"tbuffer_load_format_xyzw", VReg_128>;
858defm TBUFFER_STORE_FORMAT_X : MTBUF_Pseudo_Stores <"tbuffer_store_format_x", VGPR_32>;
859defm TBUFFER_STORE_FORMAT_XY : MTBUF_Pseudo_Stores <"tbuffer_store_format_xy", VReg_64>;
860defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Pseudo_Stores <"tbuffer_store_format_xyz", VReg_128>;
861defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Pseudo_Stores <"tbuffer_store_format_xyzw", VReg_128>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000862
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000863let SubtargetPredicate = isCIVI in {
864
865//===----------------------------------------------------------------------===//
866// Instruction definitions for CI and newer.
867//===----------------------------------------------------------------------===//
868// Remaining instructions:
869// BUFFER_LOAD_DWORDX3
870// BUFFER_STORE_DWORDX3
871
872def BUFFER_WBINVL1_VOL : MUBUF_Invalidate <"buffer_wbinvl1_vol",
873 int_amdgcn_buffer_wbinvl1_vol>;
874
875} // End let SubtargetPredicate = isCIVI
876
877//===----------------------------------------------------------------------===//
878// MUBUF Patterns
879//===----------------------------------------------------------------------===//
880
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000881//===----------------------------------------------------------------------===//
882// buffer_load/store_format patterns
883//===----------------------------------------------------------------------===//
884
885multiclass MUBUF_LoadIntrinsicPat<SDPatternOperator name, ValueType vt,
886 string opcode> {
Matt Arsenault90c75932017-10-03 00:06:41 +0000887 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000888 (vt (name v4i32:$rsrc, 0,
889 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
890 imm:$glc, imm:$slc)),
891 (!cast<MUBUF_Pseudo>(opcode # _OFFSET) $rsrc, $soffset, (as_i16imm $offset),
892 (as_i1imm $glc), (as_i1imm $slc), 0)
893 >;
894
Matt Arsenault90c75932017-10-03 00:06:41 +0000895 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000896 (vt (name v4i32:$rsrc, i32:$vindex,
897 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
898 imm:$glc, imm:$slc)),
899 (!cast<MUBUF_Pseudo>(opcode # _IDXEN) $vindex, $rsrc, $soffset, (as_i16imm $offset),
900 (as_i1imm $glc), (as_i1imm $slc), 0)
901 >;
902
Matt Arsenault90c75932017-10-03 00:06:41 +0000903 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000904 (vt (name v4i32:$rsrc, 0,
905 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
906 imm:$glc, imm:$slc)),
907 (!cast<MUBUF_Pseudo>(opcode # _OFFEN) $voffset, $rsrc, $soffset, (as_i16imm $offset),
908 (as_i1imm $glc), (as_i1imm $slc), 0)
909 >;
910
Matt Arsenault90c75932017-10-03 00:06:41 +0000911 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000912 (vt (name v4i32:$rsrc, i32:$vindex,
913 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
914 imm:$glc, imm:$slc)),
915 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN)
916 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
917 $rsrc, $soffset, (as_i16imm $offset),
918 (as_i1imm $glc), (as_i1imm $slc), 0)
919 >;
920}
921
Tom Stellard6f9ef142016-12-20 17:19:44 +0000922defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, f32, "BUFFER_LOAD_FORMAT_X">;
923defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, v2f32, "BUFFER_LOAD_FORMAT_XY">;
924defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, v4f32, "BUFFER_LOAD_FORMAT_XYZW">;
925defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, f32, "BUFFER_LOAD_DWORD">;
926defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, v2f32, "BUFFER_LOAD_DWORDX2">;
927defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, v4f32, "BUFFER_LOAD_DWORDX4">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000928
929multiclass MUBUF_StoreIntrinsicPat<SDPatternOperator name, ValueType vt,
930 string opcode> {
Matt Arsenault90c75932017-10-03 00:06:41 +0000931 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000932 (name vt:$vdata, v4i32:$rsrc, 0,
933 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
934 imm:$glc, imm:$slc),
935 (!cast<MUBUF_Pseudo>(opcode # _OFFSET_exact) $vdata, $rsrc, $soffset, (as_i16imm $offset),
936 (as_i1imm $glc), (as_i1imm $slc), 0)
937 >;
938
Matt Arsenault90c75932017-10-03 00:06:41 +0000939 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000940 (name vt:$vdata, v4i32:$rsrc, i32:$vindex,
941 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
942 imm:$glc, imm:$slc),
943 (!cast<MUBUF_Pseudo>(opcode # _IDXEN_exact) $vdata, $vindex, $rsrc, $soffset,
944 (as_i16imm $offset), (as_i1imm $glc),
945 (as_i1imm $slc), 0)
946 >;
947
Matt Arsenault90c75932017-10-03 00:06:41 +0000948 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000949 (name vt:$vdata, v4i32:$rsrc, 0,
950 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
951 imm:$glc, imm:$slc),
952 (!cast<MUBUF_Pseudo>(opcode # _OFFEN_exact) $vdata, $voffset, $rsrc, $soffset,
953 (as_i16imm $offset), (as_i1imm $glc),
954 (as_i1imm $slc), 0)
955 >;
956
Matt Arsenault90c75932017-10-03 00:06:41 +0000957 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000958 (name vt:$vdata, v4i32:$rsrc, i32:$vindex,
959 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
960 imm:$glc, imm:$slc),
961 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN_exact)
962 $vdata,
963 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
964 $rsrc, $soffset, (as_i16imm $offset),
965 (as_i1imm $glc), (as_i1imm $slc), 0)
966 >;
967}
968
Marek Olsak5cec6412017-11-09 01:52:48 +0000969defm : MUBUF_StoreIntrinsicPat<SIbuffer_store_format, f32, "BUFFER_STORE_FORMAT_X">;
970defm : MUBUF_StoreIntrinsicPat<SIbuffer_store_format, v2f32, "BUFFER_STORE_FORMAT_XY">;
971defm : MUBUF_StoreIntrinsicPat<SIbuffer_store_format, v4f32, "BUFFER_STORE_FORMAT_XYZW">;
972defm : MUBUF_StoreIntrinsicPat<SIbuffer_store, f32, "BUFFER_STORE_DWORD">;
973defm : MUBUF_StoreIntrinsicPat<SIbuffer_store, v2f32, "BUFFER_STORE_DWORDX2">;
974defm : MUBUF_StoreIntrinsicPat<SIbuffer_store, v4f32, "BUFFER_STORE_DWORDX4">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000975
976//===----------------------------------------------------------------------===//
977// buffer_atomic patterns
978//===----------------------------------------------------------------------===//
979
980multiclass BufferAtomicPatterns<SDPatternOperator name, string opcode> {
Matt Arsenault90c75932017-10-03 00:06:41 +0000981 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000982 (name i32:$vdata_in, v4i32:$rsrc, 0,
983 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
984 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000985 (!cast<MUBUF_Pseudo>(opcode # _OFFSET_RTN) $vdata_in, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000986 (as_i16imm $offset), (as_i1imm $slc))
987 >;
988
Matt Arsenault90c75932017-10-03 00:06:41 +0000989 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000990 (name i32:$vdata_in, v4i32:$rsrc, i32:$vindex,
991 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
992 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000993 (!cast<MUBUF_Pseudo>(opcode # _IDXEN_RTN) $vdata_in, $vindex, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000994 (as_i16imm $offset), (as_i1imm $slc))
995 >;
996
Matt Arsenault90c75932017-10-03 00:06:41 +0000997 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000998 (name i32:$vdata_in, v4i32:$rsrc, 0,
999 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1000 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001001 (!cast<MUBUF_Pseudo>(opcode # _OFFEN_RTN) $vdata_in, $voffset, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001002 (as_i16imm $offset), (as_i1imm $slc))
1003 >;
1004
Matt Arsenault90c75932017-10-03 00:06:41 +00001005 def : GCNPat<
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001006 (name i32:$vdata_in, v4i32:$rsrc, i32:$vindex,
1007 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1008 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001009 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN_RTN)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001010 $vdata_in,
1011 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1012 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc))
1013 >;
1014}
1015
Marek Olsak5cec6412017-11-09 01:52:48 +00001016defm : BufferAtomicPatterns<SIbuffer_atomic_swap, "BUFFER_ATOMIC_SWAP">;
1017defm : BufferAtomicPatterns<SIbuffer_atomic_add, "BUFFER_ATOMIC_ADD">;
1018defm : BufferAtomicPatterns<SIbuffer_atomic_sub, "BUFFER_ATOMIC_SUB">;
1019defm : BufferAtomicPatterns<SIbuffer_atomic_smin, "BUFFER_ATOMIC_SMIN">;
1020defm : BufferAtomicPatterns<SIbuffer_atomic_umin, "BUFFER_ATOMIC_UMIN">;
1021defm : BufferAtomicPatterns<SIbuffer_atomic_smax, "BUFFER_ATOMIC_SMAX">;
1022defm : BufferAtomicPatterns<SIbuffer_atomic_umax, "BUFFER_ATOMIC_UMAX">;
1023defm : BufferAtomicPatterns<SIbuffer_atomic_and, "BUFFER_ATOMIC_AND">;
1024defm : BufferAtomicPatterns<SIbuffer_atomic_or, "BUFFER_ATOMIC_OR">;
1025defm : BufferAtomicPatterns<SIbuffer_atomic_xor, "BUFFER_ATOMIC_XOR">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001026
Matt Arsenault90c75932017-10-03 00:06:41 +00001027def : GCNPat<
Marek Olsak5cec6412017-11-09 01:52:48 +00001028 (SIbuffer_atomic_cmpswap
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001029 i32:$data, i32:$cmp, v4i32:$rsrc, 0,
1030 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
1031 imm:$slc),
1032 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001033 (BUFFER_ATOMIC_CMPSWAP_OFFSET_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001034 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1035 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1036 sub0)
1037>;
1038
Matt Arsenault90c75932017-10-03 00:06:41 +00001039def : GCNPat<
Marek Olsak5cec6412017-11-09 01:52:48 +00001040 (SIbuffer_atomic_cmpswap
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001041 i32:$data, i32:$cmp, v4i32:$rsrc, i32:$vindex,
1042 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
1043 imm:$slc),
1044 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001045 (BUFFER_ATOMIC_CMPSWAP_IDXEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001046 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1047 $vindex, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1048 sub0)
1049>;
1050
Matt Arsenault90c75932017-10-03 00:06:41 +00001051def : GCNPat<
Marek Olsak5cec6412017-11-09 01:52:48 +00001052 (SIbuffer_atomic_cmpswap
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001053 i32:$data, i32:$cmp, v4i32:$rsrc, 0,
1054 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1055 imm:$slc),
1056 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001057 (BUFFER_ATOMIC_CMPSWAP_OFFEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001058 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1059 $voffset, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1060 sub0)
1061>;
1062
Matt Arsenault90c75932017-10-03 00:06:41 +00001063def : GCNPat<
Marek Olsak5cec6412017-11-09 01:52:48 +00001064 (SIbuffer_atomic_cmpswap
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001065 i32:$data, i32:$cmp, v4i32:$rsrc, i32:$vindex,
1066 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1067 imm:$slc),
1068 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001069 (BUFFER_ATOMIC_CMPSWAP_BOTHEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001070 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1071 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1072 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1073 sub0)
1074>;
1075
1076
Tom Stellard115a6152016-11-10 16:02:37 +00001077class MUBUFLoad_PatternADDR64 <MUBUF_Pseudo Instr_ADDR64, ValueType vt,
Matt Arsenault90c75932017-10-03 00:06:41 +00001078 PatFrag constant_ld> : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001079 (vt (constant_ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1080 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))),
1081 (Instr_ADDR64 $vaddr, $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1082 >;
1083
1084multiclass MUBUFLoad_Atomic_Pattern <MUBUF_Pseudo Instr_ADDR64, MUBUF_Pseudo Instr_OFFSET,
1085 ValueType vt, PatFrag atomic_ld> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001086 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001087 (vt (atomic_ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1088 i16:$offset, i1:$slc))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001089 (Instr_ADDR64 $vaddr, $srsrc, $soffset, $offset, 0, $slc, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001090 >;
1091
Matt Arsenault90c75932017-10-03 00:06:41 +00001092 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001093 (vt (atomic_ld (MUBUFOffsetNoGLC v4i32:$rsrc, i32:$soffset, i16:$offset))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001094 (Instr_OFFSET $rsrc, $soffset, (as_i16imm $offset), 0, 0, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001095 >;
1096}
1097
Matt Arsenault90c75932017-10-03 00:06:41 +00001098let SubtargetPredicate = isSICI in {
Tom Stellard115a6152016-11-10 16:02:37 +00001099def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_SBYTE_ADDR64, i32, sextloadi8_constant>;
1100def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_UBYTE_ADDR64, i32, az_extloadi8_constant>;
1101def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_SSHORT_ADDR64, i32, sextloadi16_constant>;
1102def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_USHORT_ADDR64, i32, az_extloadi16_constant>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001103
1104defm : MUBUFLoad_Atomic_Pattern <BUFFER_LOAD_DWORD_ADDR64, BUFFER_LOAD_DWORD_OFFSET, i32, mubuf_load_atomic>;
1105defm : MUBUFLoad_Atomic_Pattern <BUFFER_LOAD_DWORDX2_ADDR64, BUFFER_LOAD_DWORDX2_OFFSET, i64, mubuf_load_atomic>;
Matt Arsenault90c75932017-10-03 00:06:41 +00001106} // End SubtargetPredicate = isSICI
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001107
Tom Stellard115a6152016-11-10 16:02:37 +00001108multiclass MUBUFLoad_Pattern <MUBUF_Pseudo Instr_OFFSET, ValueType vt,
1109 PatFrag ld> {
1110
Matt Arsenault90c75932017-10-03 00:06:41 +00001111 def : GCNPat <
Tom Stellard115a6152016-11-10 16:02:37 +00001112 (vt (ld (MUBUFOffset v4i32:$srsrc, i32:$soffset,
1113 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))),
1114 (Instr_OFFSET $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1115 >;
1116}
1117
Matt Arsenault90c75932017-10-03 00:06:41 +00001118let OtherPredicates = [Has16BitInsts] in {
Tom Stellard115a6152016-11-10 16:02:37 +00001119
1120defm : MUBUFLoad_Pattern <BUFFER_LOAD_SBYTE_OFFSET, i16, sextloadi8_constant>;
1121defm : MUBUFLoad_Pattern <BUFFER_LOAD_UBYTE_OFFSET, i16, az_extloadi8_constant>;
1122defm : MUBUFLoad_Pattern <BUFFER_LOAD_SBYTE_OFFSET, i16, mubuf_sextloadi8>;
1123defm : MUBUFLoad_Pattern <BUFFER_LOAD_UBYTE_OFFSET, i16, mubuf_az_extloadi8>;
1124
Matt Arsenault65ca292a2017-09-07 05:37:34 +00001125defm : MUBUFLoad_Pattern <BUFFER_LOAD_USHORT_OFFSET, i16, mubuf_load>;
1126
Matt Arsenault90c75932017-10-03 00:06:41 +00001127} // End OtherPredicates = [Has16BitInsts]
Tom Stellard115a6152016-11-10 16:02:37 +00001128
Matt Arsenault0774ea22017-04-24 19:40:59 +00001129multiclass MUBUFScratchLoadPat <MUBUF_Pseudo InstrOffen,
1130 MUBUF_Pseudo InstrOffset,
1131 ValueType vt, PatFrag ld> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001132 def : GCNPat <
Matt Arsenault0774ea22017-04-24 19:40:59 +00001133 (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1134 i32:$soffset, u16imm:$offset))),
1135 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0)
1136 >;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001137
Matt Arsenault90c75932017-10-03 00:06:41 +00001138 def : GCNPat <
Matt Arsenault0774ea22017-04-24 19:40:59 +00001139 (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset))),
1140 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0)
1141 >;
1142}
1143
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001144// XXX - Is it possible to have a complex pattern in a PatFrag?
1145multiclass MUBUFScratchLoadPat_Hi16 <MUBUF_Pseudo InstrOffen,
1146 MUBUF_Pseudo InstrOffset,
1147 ValueType vt, PatFrag ld> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001148 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001149 (build_vector vt:$lo, (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1150 i32:$soffset, u16imm:$offset)))),
1151 (v2i16 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0, $lo))
1152 >;
1153
Matt Arsenault90c75932017-10-03 00:06:41 +00001154 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001155 (build_vector f16:$lo, (f16 (bitconvert (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1156 i32:$soffset, u16imm:$offset)))))),
1157 (v2f16 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0, $lo))
1158 >;
1159
1160
Matt Arsenault90c75932017-10-03 00:06:41 +00001161 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001162 (build_vector vt:$lo, (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset)))),
1163 (v2i16 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0, $lo))
1164 >;
1165
Matt Arsenault90c75932017-10-03 00:06:41 +00001166 def : GCNPat <
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001167 (build_vector f16:$lo, (f16 (bitconvert (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset)))))),
1168 (v2f16 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0, $lo))
1169 >;
1170}
1171
Matt Arsenaulte1cd4822017-11-13 00:22:09 +00001172multiclass MUBUFScratchLoadPat_Lo16 <MUBUF_Pseudo InstrOffen,
1173 MUBUF_Pseudo InstrOffset,
1174 ValueType vt, PatFrag ld> {
1175 def : GCNPat <
1176 (build_vector (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1177 i32:$soffset, u16imm:$offset))),
1178 (vt (Hi16Elt vt:$hi))),
1179 (v2i16 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0, $hi))
1180 >;
1181
1182 def : GCNPat <
1183 (build_vector (f16 (bitconvert (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1184 i32:$soffset, u16imm:$offset))))),
1185 (f16 (Hi16Elt f16:$hi))),
1186 (v2f16 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0, $hi))
1187 >;
1188
1189 def : GCNPat <
1190 (build_vector (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset))),
1191 (vt (Hi16Elt vt:$hi))),
1192 (v2i16 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0, $hi))
1193 >;
1194
1195 def : GCNPat <
1196 (build_vector (f16 (bitconvert (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset))))),
1197 (f16 (Hi16Elt f16:$hi))),
1198 (v2f16 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0, $hi))
1199 >;
1200}
1201
Matt Arsenault0774ea22017-04-24 19:40:59 +00001202defm : MUBUFScratchLoadPat <BUFFER_LOAD_SBYTE_OFFEN, BUFFER_LOAD_SBYTE_OFFSET, i32, sextloadi8_private>;
Matt Arsenaultbc683832017-09-20 03:43:35 +00001203defm : MUBUFScratchLoadPat <BUFFER_LOAD_UBYTE_OFFEN, BUFFER_LOAD_UBYTE_OFFSET, i32, az_extloadi8_private>;
Matt Arsenault0774ea22017-04-24 19:40:59 +00001204defm : MUBUFScratchLoadPat <BUFFER_LOAD_SBYTE_OFFEN, BUFFER_LOAD_SBYTE_OFFSET, i16, sextloadi8_private>;
Matt Arsenaultbc683832017-09-20 03:43:35 +00001205defm : MUBUFScratchLoadPat <BUFFER_LOAD_UBYTE_OFFEN, BUFFER_LOAD_UBYTE_OFFSET, i16, az_extloadi8_private>;
Matt Arsenault0774ea22017-04-24 19:40:59 +00001206defm : MUBUFScratchLoadPat <BUFFER_LOAD_SSHORT_OFFEN, BUFFER_LOAD_SSHORT_OFFSET, i32, sextloadi16_private>;
Matt Arsenaultbc683832017-09-20 03:43:35 +00001207defm : MUBUFScratchLoadPat <BUFFER_LOAD_USHORT_OFFEN, BUFFER_LOAD_USHORT_OFFSET, i32, az_extloadi16_private>;
Matt Arsenault65ca292a2017-09-07 05:37:34 +00001208defm : MUBUFScratchLoadPat <BUFFER_LOAD_USHORT_OFFEN, BUFFER_LOAD_USHORT_OFFSET, i16, load_private>;
Matt Arsenault0774ea22017-04-24 19:40:59 +00001209defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORD_OFFEN, BUFFER_LOAD_DWORD_OFFSET, i32, load_private>;
1210defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORDX2_OFFEN, BUFFER_LOAD_DWORDX2_OFFSET, v2i32, load_private>;
1211defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORDX4_OFFEN, BUFFER_LOAD_DWORDX4_OFFSET, v4i32, load_private>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001212
Matt Arsenault90c75932017-10-03 00:06:41 +00001213let OtherPredicates = [HasD16LoadStore] in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001214defm : MUBUFScratchLoadPat_Hi16<BUFFER_LOAD_SHORT_D16_HI_OFFEN, BUFFER_LOAD_SHORT_D16_HI_OFFSET, i16, load_private>;
1215defm : MUBUFScratchLoadPat_Hi16<BUFFER_LOAD_UBYTE_D16_HI_OFFEN, BUFFER_LOAD_UBYTE_D16_HI_OFFSET, i16, az_extloadi8_private>;
1216defm : MUBUFScratchLoadPat_Hi16<BUFFER_LOAD_SBYTE_D16_HI_OFFEN, BUFFER_LOAD_SBYTE_D16_HI_OFFSET, i16, sextloadi8_private>;
Matt Arsenaulte1cd4822017-11-13 00:22:09 +00001217
1218defm : MUBUFScratchLoadPat_Lo16<BUFFER_LOAD_SHORT_D16_OFFEN, BUFFER_LOAD_SHORT_D16_OFFSET, i16, load_private>;
1219defm : MUBUFScratchLoadPat_Lo16<BUFFER_LOAD_UBYTE_D16_OFFEN, BUFFER_LOAD_UBYTE_D16_OFFSET, i16, az_extloadi8_private>;
1220defm : MUBUFScratchLoadPat_Lo16<BUFFER_LOAD_SBYTE_D16_OFFEN, BUFFER_LOAD_SBYTE_D16_OFFSET, i16, sextloadi8_private>;
Matt Arsenaultb81495d2017-09-20 05:01:53 +00001221}
1222
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001223// BUFFER_LOAD_DWORD*, addr64=0
1224multiclass MUBUF_Load_Dword <ValueType vt,
1225 MUBUF_Pseudo offset,
1226 MUBUF_Pseudo offen,
1227 MUBUF_Pseudo idxen,
1228 MUBUF_Pseudo bothen> {
1229
Matt Arsenault90c75932017-10-03 00:06:41 +00001230 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001231 (vt (int_SI_buffer_load_dword v4i32:$rsrc, (i32 imm), i32:$soffset,
1232 imm:$offset, 0, 0, imm:$glc, imm:$slc,
1233 imm:$tfe)),
1234 (offset $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc),
1235 (as_i1imm $slc), (as_i1imm $tfe))
1236 >;
1237
Matt Arsenault90c75932017-10-03 00:06:41 +00001238 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001239 (vt (int_SI_buffer_load_dword v4i32:$rsrc, i32:$vaddr, i32:$soffset,
1240 imm:$offset, 1, 0, imm:$glc, imm:$slc,
1241 imm:$tfe)),
1242 (offen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc), (as_i1imm $slc),
1243 (as_i1imm $tfe))
1244 >;
1245
Matt Arsenault90c75932017-10-03 00:06:41 +00001246 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001247 (vt (int_SI_buffer_load_dword v4i32:$rsrc, i32:$vaddr, i32:$soffset,
1248 imm:$offset, 0, 1, imm:$glc, imm:$slc,
1249 imm:$tfe)),
1250 (idxen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc),
1251 (as_i1imm $slc), (as_i1imm $tfe))
1252 >;
1253
Matt Arsenault90c75932017-10-03 00:06:41 +00001254 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001255 (vt (int_SI_buffer_load_dword v4i32:$rsrc, v2i32:$vaddr, i32:$soffset,
1256 imm:$offset, 1, 1, imm:$glc, imm:$slc,
1257 imm:$tfe)),
1258 (bothen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc), (as_i1imm $slc),
1259 (as_i1imm $tfe))
1260 >;
1261}
1262
1263defm : MUBUF_Load_Dword <i32, BUFFER_LOAD_DWORD_OFFSET, BUFFER_LOAD_DWORD_OFFEN,
1264 BUFFER_LOAD_DWORD_IDXEN, BUFFER_LOAD_DWORD_BOTHEN>;
1265defm : MUBUF_Load_Dword <v2i32, BUFFER_LOAD_DWORDX2_OFFSET, BUFFER_LOAD_DWORDX2_OFFEN,
1266 BUFFER_LOAD_DWORDX2_IDXEN, BUFFER_LOAD_DWORDX2_BOTHEN>;
1267defm : MUBUF_Load_Dword <v4i32, BUFFER_LOAD_DWORDX4_OFFSET, BUFFER_LOAD_DWORDX4_OFFEN,
1268 BUFFER_LOAD_DWORDX4_IDXEN, BUFFER_LOAD_DWORDX4_BOTHEN>;
1269
1270multiclass MUBUFStore_Atomic_Pattern <MUBUF_Pseudo Instr_ADDR64, MUBUF_Pseudo Instr_OFFSET,
1271 ValueType vt, PatFrag atomic_st> {
1272 // Store follows atomic op convention so address is forst
Matt Arsenault90c75932017-10-03 00:06:41 +00001273 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001274 (atomic_st (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1275 i16:$offset, i1:$slc), vt:$val),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001276 (Instr_ADDR64 $val, $vaddr, $srsrc, $soffset, $offset, 0, $slc, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001277 >;
1278
Matt Arsenault90c75932017-10-03 00:06:41 +00001279 def : GCNPat <
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001280 (atomic_st (MUBUFOffsetNoGLC v4i32:$rsrc, i32:$soffset, i16:$offset), vt:$val),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001281 (Instr_OFFSET $val, $rsrc, $soffset, (as_i16imm $offset), 0, 0, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001282 >;
1283}
Matt Arsenault90c75932017-10-03 00:06:41 +00001284let SubtargetPredicate = isSICI in {
Matt Arsenaultbc683832017-09-20 03:43:35 +00001285defm : MUBUFStore_Atomic_Pattern <BUFFER_STORE_DWORD_ADDR64, BUFFER_STORE_DWORD_OFFSET, i32, store_atomic_global>;
1286defm : MUBUFStore_Atomic_Pattern <BUFFER_STORE_DWORDX2_ADDR64, BUFFER_STORE_DWORDX2_OFFSET, i64, store_atomic_global>;
Matt Arsenault90c75932017-10-03 00:06:41 +00001287} // End Predicates = isSICI
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001288
Tom Stellard115a6152016-11-10 16:02:37 +00001289
1290multiclass MUBUFStore_Pattern <MUBUF_Pseudo Instr_OFFSET, ValueType vt,
1291 PatFrag st> {
1292
Matt Arsenault90c75932017-10-03 00:06:41 +00001293 def : GCNPat <
Tom Stellard115a6152016-11-10 16:02:37 +00001294 (st vt:$vdata, (MUBUFOffset v4i32:$srsrc, i32:$soffset,
1295 i16:$offset, i1:$glc, i1:$slc, i1:$tfe)),
1296 (Instr_OFFSET $vdata, $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1297 >;
1298}
1299
1300defm : MUBUFStore_Pattern <BUFFER_STORE_BYTE_OFFSET, i16, truncstorei8_global>;
Matt Arsenaultbc683832017-09-20 03:43:35 +00001301defm : MUBUFStore_Pattern <BUFFER_STORE_SHORT_OFFSET, i16, store_global>;
Tom Stellard115a6152016-11-10 16:02:37 +00001302
Matt Arsenault0774ea22017-04-24 19:40:59 +00001303multiclass MUBUFScratchStorePat <MUBUF_Pseudo InstrOffen,
1304 MUBUF_Pseudo InstrOffset,
1305 ValueType vt, PatFrag st> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001306 def : GCNPat <
Matt Arsenault0774ea22017-04-24 19:40:59 +00001307 (st vt:$value, (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1308 i32:$soffset, u16imm:$offset)),
1309 (InstrOffen $value, $vaddr, $srsrc, $soffset, $offset, 0, 0, 0)
1310 >;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001311
Matt Arsenault90c75932017-10-03 00:06:41 +00001312 def : GCNPat <
Matt Arsenault0774ea22017-04-24 19:40:59 +00001313 (st vt:$value, (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset,
1314 u16imm:$offset)),
1315 (InstrOffset $value, $srsrc, $soffset, $offset, 0, 0, 0)
1316 >;
1317}
1318
1319defm : MUBUFScratchStorePat <BUFFER_STORE_BYTE_OFFEN, BUFFER_STORE_BYTE_OFFSET, i32, truncstorei8_private>;
1320defm : MUBUFScratchStorePat <BUFFER_STORE_SHORT_OFFEN, BUFFER_STORE_SHORT_OFFSET, i32, truncstorei16_private>;
1321defm : MUBUFScratchStorePat <BUFFER_STORE_BYTE_OFFEN, BUFFER_STORE_BYTE_OFFSET, i16, truncstorei8_private>;
1322defm : MUBUFScratchStorePat <BUFFER_STORE_SHORT_OFFEN, BUFFER_STORE_SHORT_OFFSET, i16, store_private>;
1323defm : MUBUFScratchStorePat <BUFFER_STORE_DWORD_OFFEN, BUFFER_STORE_DWORD_OFFSET, i32, store_private>;
1324defm : MUBUFScratchStorePat <BUFFER_STORE_DWORDX2_OFFEN, BUFFER_STORE_DWORDX2_OFFSET, v2i32, store_private>;
1325defm : MUBUFScratchStorePat <BUFFER_STORE_DWORDX4_OFFEN, BUFFER_STORE_DWORDX4_OFFSET, v4i32, store_private>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001326
Matt Arsenaultfcc213f2017-09-20 03:20:09 +00001327
Matt Arsenault90c75932017-10-03 00:06:41 +00001328let OtherPredicates = [HasD16LoadStore] in {
Matt Arsenaultfcc213f2017-09-20 03:20:09 +00001329 // Hiding the extract high pattern in the PatFrag seems to not
1330 // automatically increase the complexity.
1331let AddedComplexity = 1 in {
Matt Arsenaultbc683832017-09-20 03:43:35 +00001332defm : MUBUFScratchStorePat <BUFFER_STORE_SHORT_D16_HI_OFFEN, BUFFER_STORE_SHORT_D16_HI_OFFSET, i32, store_hi16_private>;
1333defm : MUBUFScratchStorePat <BUFFER_STORE_BYTE_D16_HI_OFFEN, BUFFER_STORE_BYTE_D16_HI_OFFSET, i32, truncstorei8_hi16_private>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +00001334}
1335}
1336
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001337//===----------------------------------------------------------------------===//
1338// MTBUF Patterns
1339//===----------------------------------------------------------------------===//
1340
David Stuttard70e8bc12017-06-22 16:29:22 +00001341//===----------------------------------------------------------------------===//
1342// tbuffer_load/store_format patterns
1343//===----------------------------------------------------------------------===//
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001344
David Stuttard70e8bc12017-06-22 16:29:22 +00001345multiclass MTBUF_LoadIntrinsicPat<SDPatternOperator name, ValueType vt,
1346 string opcode> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001347 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001348 (vt (name v4i32:$rsrc, 0, 0, i32:$soffset, imm:$offset,
1349 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1350 (!cast<MTBUF_Pseudo>(opcode # _OFFSET) $rsrc, $soffset, (as_i16imm $offset),
1351 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1352 >;
1353
Matt Arsenault90c75932017-10-03 00:06:41 +00001354 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001355 (vt (name v4i32:$rsrc, i32:$vindex, 0, i32:$soffset, imm:$offset,
1356 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1357 (!cast<MTBUF_Pseudo>(opcode # _IDXEN) $vindex, $rsrc, $soffset, (as_i16imm $offset),
1358 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1359 >;
1360
Matt Arsenault90c75932017-10-03 00:06:41 +00001361 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001362 (vt (name v4i32:$rsrc, 0, i32:$voffset, i32:$soffset, imm:$offset,
1363 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1364 (!cast<MTBUF_Pseudo>(opcode # _OFFEN) $voffset, $rsrc, $soffset, (as_i16imm $offset),
1365 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1366 >;
1367
Matt Arsenault90c75932017-10-03 00:06:41 +00001368 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001369 (vt (name v4i32:$rsrc, i32:$vindex, i32:$voffset, i32:$soffset, imm:$offset,
1370 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1371 (!cast<MTBUF_Pseudo>(opcode # _BOTHEN)
1372 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1373 $rsrc, $soffset, (as_i16imm $offset),
1374 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1375 >;
1376}
1377
1378defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, i32, "TBUFFER_LOAD_FORMAT_X">;
1379defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v2i32, "TBUFFER_LOAD_FORMAT_XY">;
1380defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v4i32, "TBUFFER_LOAD_FORMAT_XYZW">;
1381defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, f32, "TBUFFER_LOAD_FORMAT_X">;
1382defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v2f32, "TBUFFER_LOAD_FORMAT_XY">;
1383defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v4f32, "TBUFFER_LOAD_FORMAT_XYZW">;
1384
1385multiclass MTBUF_StoreIntrinsicPat<SDPatternOperator name, ValueType vt,
1386 string opcode> {
Matt Arsenault90c75932017-10-03 00:06:41 +00001387 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001388 (name vt:$vdata, v4i32:$rsrc, 0, 0, i32:$soffset, imm:$offset,
1389 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1390 (!cast<MTBUF_Pseudo>(opcode # _OFFSET_exact) $vdata, $rsrc, $soffset,
1391 (as_i16imm $offset), (as_i8imm $dfmt),
1392 (as_i8imm $nfmt), (as_i1imm $glc),
1393 (as_i1imm $slc), 0)
1394 >;
1395
Matt Arsenault90c75932017-10-03 00:06:41 +00001396 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001397 (name vt:$vdata, v4i32:$rsrc, i32:$vindex, 0, i32:$soffset, imm:$offset,
1398 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1399 (!cast<MTBUF_Pseudo>(opcode # _IDXEN_exact) $vdata, $vindex, $rsrc, $soffset,
1400 (as_i16imm $offset), (as_i8imm $dfmt),
1401 (as_i8imm $nfmt), (as_i1imm $glc),
1402 (as_i1imm $slc), 0)
1403 >;
1404
Matt Arsenault90c75932017-10-03 00:06:41 +00001405 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001406 (name vt:$vdata, v4i32:$rsrc, 0, i32:$voffset, i32:$soffset, imm:$offset,
1407 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1408 (!cast<MTBUF_Pseudo>(opcode # _OFFEN_exact) $vdata, $voffset, $rsrc, $soffset,
1409 (as_i16imm $offset), (as_i8imm $dfmt),
1410 (as_i8imm $nfmt), (as_i1imm $glc),
1411 (as_i1imm $slc), 0)
1412 >;
1413
Matt Arsenault90c75932017-10-03 00:06:41 +00001414 def : GCNPat<
David Stuttard70e8bc12017-06-22 16:29:22 +00001415 (name vt:$vdata, v4i32:$rsrc, i32:$vindex, i32:$voffset, i32:$soffset,
1416 imm:$offset, imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1417 (!cast<MTBUF_Pseudo>(opcode # _BOTHEN_exact)
1418 $vdata,
1419 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1420 $rsrc, $soffset, (as_i16imm $offset),
1421 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1422 >;
1423}
1424
1425defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, i32, "TBUFFER_STORE_FORMAT_X">;
1426defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v2i32, "TBUFFER_STORE_FORMAT_XY">;
1427defm : MTBUF_StoreIntrinsicPat<SItbuffer_store_x3, v4i32, "TBUFFER_STORE_FORMAT_XYZ">;
1428defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v4i32, "TBUFFER_STORE_FORMAT_XYZW">;
1429defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, f32, "TBUFFER_STORE_FORMAT_X">;
1430defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v2f32, "TBUFFER_STORE_FORMAT_XY">;
1431defm : MTBUF_StoreIntrinsicPat<SItbuffer_store_x3, v4f32, "TBUFFER_STORE_FORMAT_XYZ">;
1432defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v4f32, "TBUFFER_STORE_FORMAT_XYZW">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001433
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001434//===----------------------------------------------------------------------===//
1435// Target instructions, move to the appropriate target TD file
1436//===----------------------------------------------------------------------===//
1437
1438//===----------------------------------------------------------------------===//
1439// SI
1440//===----------------------------------------------------------------------===//
1441
1442class MUBUF_Real_si <bits<7> op, MUBUF_Pseudo ps> :
1443 MUBUF_Real<op, ps>,
1444 Enc64,
1445 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.SI> {
1446 let AssemblerPredicate=isSICI;
1447 let DecoderNamespace="SICI";
1448
1449 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1450 let Inst{12} = ps.offen;
1451 let Inst{13} = ps.idxen;
1452 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1453 let Inst{15} = ps.addr64;
1454 let Inst{16} = lds;
1455 let Inst{24-18} = op;
1456 let Inst{31-26} = 0x38; //encoding
1457 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1458 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1459 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1460 let Inst{54} = !if(ps.has_slc, slc, ?);
1461 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1462 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
1463}
1464
1465multiclass MUBUF_Real_AllAddr_si<bits<7> op> {
1466 def _OFFSET_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET")>;
1467 def _ADDR64_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_ADDR64")>;
1468 def _OFFEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN")>;
1469 def _IDXEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN")>;
1470 def _BOTHEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN")>;
1471}
1472
1473multiclass MUBUF_Real_Atomic_si<bits<7> op> : MUBUF_Real_AllAddr_si<op> {
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001474 def _OFFSET_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET_RTN")>;
1475 def _ADDR64_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_ADDR64_RTN")>;
1476 def _OFFEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN_RTN")>;
1477 def _IDXEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN_RTN")>;
1478 def _BOTHEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN_RTN")>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001479}
1480
1481defm BUFFER_LOAD_FORMAT_X : MUBUF_Real_AllAddr_si <0x00>;
1482defm BUFFER_LOAD_FORMAT_XY : MUBUF_Real_AllAddr_si <0x01>;
1483defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Real_AllAddr_si <0x02>;
1484defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Real_AllAddr_si <0x03>;
1485defm BUFFER_STORE_FORMAT_X : MUBUF_Real_AllAddr_si <0x04>;
1486defm BUFFER_STORE_FORMAT_XY : MUBUF_Real_AllAddr_si <0x05>;
1487defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Real_AllAddr_si <0x06>;
1488defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Real_AllAddr_si <0x07>;
1489defm BUFFER_LOAD_UBYTE : MUBUF_Real_AllAddr_si <0x08>;
1490defm BUFFER_LOAD_SBYTE : MUBUF_Real_AllAddr_si <0x09>;
1491defm BUFFER_LOAD_USHORT : MUBUF_Real_AllAddr_si <0x0a>;
1492defm BUFFER_LOAD_SSHORT : MUBUF_Real_AllAddr_si <0x0b>;
1493defm BUFFER_LOAD_DWORD : MUBUF_Real_AllAddr_si <0x0c>;
1494defm BUFFER_LOAD_DWORDX2 : MUBUF_Real_AllAddr_si <0x0d>;
1495defm BUFFER_LOAD_DWORDX4 : MUBUF_Real_AllAddr_si <0x0e>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001496defm BUFFER_LOAD_DWORDX3 : MUBUF_Real_AllAddr_si <0x0f>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001497defm BUFFER_STORE_BYTE : MUBUF_Real_AllAddr_si <0x18>;
1498defm BUFFER_STORE_SHORT : MUBUF_Real_AllAddr_si <0x1a>;
1499defm BUFFER_STORE_DWORD : MUBUF_Real_AllAddr_si <0x1c>;
1500defm BUFFER_STORE_DWORDX2 : MUBUF_Real_AllAddr_si <0x1d>;
1501defm BUFFER_STORE_DWORDX4 : MUBUF_Real_AllAddr_si <0x1e>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001502defm BUFFER_STORE_DWORDX3 : MUBUF_Real_AllAddr_si <0x1f>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001503
1504defm BUFFER_ATOMIC_SWAP : MUBUF_Real_Atomic_si <0x30>;
1505defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Real_Atomic_si <0x31>;
1506defm BUFFER_ATOMIC_ADD : MUBUF_Real_Atomic_si <0x32>;
1507defm BUFFER_ATOMIC_SUB : MUBUF_Real_Atomic_si <0x33>;
1508//defm BUFFER_ATOMIC_RSUB : MUBUF_Real_Atomic_si <0x34>; // isn't on CI & VI
1509defm BUFFER_ATOMIC_SMIN : MUBUF_Real_Atomic_si <0x35>;
1510defm BUFFER_ATOMIC_UMIN : MUBUF_Real_Atomic_si <0x36>;
1511defm BUFFER_ATOMIC_SMAX : MUBUF_Real_Atomic_si <0x37>;
1512defm BUFFER_ATOMIC_UMAX : MUBUF_Real_Atomic_si <0x38>;
1513defm BUFFER_ATOMIC_AND : MUBUF_Real_Atomic_si <0x39>;
1514defm BUFFER_ATOMIC_OR : MUBUF_Real_Atomic_si <0x3a>;
1515defm BUFFER_ATOMIC_XOR : MUBUF_Real_Atomic_si <0x3b>;
1516defm BUFFER_ATOMIC_INC : MUBUF_Real_Atomic_si <0x3c>;
1517defm BUFFER_ATOMIC_DEC : MUBUF_Real_Atomic_si <0x3d>;
1518
1519//defm BUFFER_ATOMIC_FCMPSWAP : MUBUF_Real_Atomic_si <0x3e>; // isn't on VI
1520//defm BUFFER_ATOMIC_FMIN : MUBUF_Real_Atomic_si <0x3f>; // isn't on VI
1521//defm BUFFER_ATOMIC_FMAX : MUBUF_Real_Atomic_si <0x40>; // isn't on VI
1522defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Real_Atomic_si <0x50>;
1523defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Real_Atomic_si <0x51>;
1524defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Real_Atomic_si <0x52>;
1525defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Real_Atomic_si <0x53>;
1526//defm BUFFER_ATOMIC_RSUB_X2 : MUBUF_Real_Atomic_si <0x54>; // isn't on CI & VI
1527defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Real_Atomic_si <0x55>;
1528defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Real_Atomic_si <0x56>;
1529defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Real_Atomic_si <0x57>;
1530defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Real_Atomic_si <0x58>;
1531defm BUFFER_ATOMIC_AND_X2 : MUBUF_Real_Atomic_si <0x59>;
1532defm BUFFER_ATOMIC_OR_X2 : MUBUF_Real_Atomic_si <0x5a>;
1533defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Real_Atomic_si <0x5b>;
1534defm BUFFER_ATOMIC_INC_X2 : MUBUF_Real_Atomic_si <0x5c>;
1535defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Real_Atomic_si <0x5d>;
Tom Stellardb133fbb2016-10-27 23:05:31 +00001536// FIXME: Need to handle hazard for BUFFER_ATOMIC_FCMPSWAP_X2 on CI.
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001537//defm BUFFER_ATOMIC_FCMPSWAP_X2 : MUBUF_Real_Atomic_si <0x5e">; // isn't on VI
1538//defm BUFFER_ATOMIC_FMIN_X2 : MUBUF_Real_Atomic_si <0x5f>; // isn't on VI
1539//defm BUFFER_ATOMIC_FMAX_X2 : MUBUF_Real_Atomic_si <0x60>; // isn't on VI
1540
1541def BUFFER_WBINVL1_SC_si : MUBUF_Real_si <0x70, BUFFER_WBINVL1_SC>;
1542def BUFFER_WBINVL1_si : MUBUF_Real_si <0x71, BUFFER_WBINVL1>;
1543
1544class MTBUF_Real_si <bits<3> op, MTBUF_Pseudo ps> :
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001545 MTBUF_Real<ps>,
David Stuttard70e8bc12017-06-22 16:29:22 +00001546 Enc64,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001547 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.SI> {
1548 let AssemblerPredicate=isSICI;
1549 let DecoderNamespace="SICI";
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001550
David Stuttard70e8bc12017-06-22 16:29:22 +00001551 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1552 let Inst{12} = ps.offen;
1553 let Inst{13} = ps.idxen;
1554 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1555 let Inst{15} = ps.addr64;
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001556 let Inst{18-16} = op;
David Stuttard70e8bc12017-06-22 16:29:22 +00001557 let Inst{22-19} = !if(ps.has_dfmt, dfmt, ps.dfmt_value);
1558 let Inst{25-23} = !if(ps.has_nfmt, nfmt, ps.nfmt_value);
1559 let Inst{31-26} = 0x3a; //encoding
1560 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1561 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1562 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1563 let Inst{54} = !if(ps.has_slc, slc, ?);
1564 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1565 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001566}
1567
David Stuttard70e8bc12017-06-22 16:29:22 +00001568multiclass MTBUF_Real_AllAddr_si<bits<3> op> {
1569 def _OFFSET_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_OFFSET")>;
1570 def _ADDR64_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_ADDR64")>;
1571 def _OFFEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_OFFEN")>;
1572 def _IDXEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_IDXEN")>;
1573 def _BOTHEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_BOTHEN")>;
1574}
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001575
David Stuttard70e8bc12017-06-22 16:29:22 +00001576defm TBUFFER_LOAD_FORMAT_X : MTBUF_Real_AllAddr_si <0>;
1577defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Real_AllAddr_si <1>;
1578//defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Real_AllAddr_si <2>;
1579defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Real_AllAddr_si <3>;
1580defm TBUFFER_STORE_FORMAT_X : MTBUF_Real_AllAddr_si <4>;
1581defm TBUFFER_STORE_FORMAT_XY : MTBUF_Real_AllAddr_si <5>;
1582defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Real_AllAddr_si <6>;
1583defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Real_AllAddr_si <7>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001584
1585//===----------------------------------------------------------------------===//
1586// CI
1587//===----------------------------------------------------------------------===//
1588
1589class MUBUF_Real_ci <bits<7> op, MUBUF_Pseudo ps> :
1590 MUBUF_Real_si<op, ps> {
1591 let AssemblerPredicate=isCIOnly;
1592 let DecoderNamespace="CI";
1593}
1594
1595def BUFFER_WBINVL1_VOL_ci : MUBUF_Real_ci <0x70, BUFFER_WBINVL1_VOL>;
1596
1597
1598//===----------------------------------------------------------------------===//
1599// VI
1600//===----------------------------------------------------------------------===//
1601
1602class MUBUF_Real_vi <bits<7> op, MUBUF_Pseudo ps> :
1603 MUBUF_Real<op, ps>,
1604 Enc64,
1605 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.VI> {
1606 let AssemblerPredicate=isVI;
1607 let DecoderNamespace="VI";
1608
1609 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1610 let Inst{12} = ps.offen;
1611 let Inst{13} = ps.idxen;
1612 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1613 let Inst{16} = lds;
1614 let Inst{17} = !if(ps.has_slc, slc, ?);
1615 let Inst{24-18} = op;
1616 let Inst{31-26} = 0x38; //encoding
1617 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1618 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1619 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1620 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1621 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
1622}
1623
1624multiclass MUBUF_Real_AllAddr_vi<bits<7> op> {
1625 def _OFFSET_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET")>;
1626 def _OFFEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN")>;
1627 def _IDXEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN")>;
1628 def _BOTHEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN")>;
1629}
1630
1631multiclass MUBUF_Real_Atomic_vi<bits<7> op> :
1632 MUBUF_Real_AllAddr_vi<op> {
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001633 def _OFFSET_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET_RTN")>;
1634 def _OFFEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN_RTN")>;
1635 def _IDXEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN_RTN")>;
1636 def _BOTHEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN_RTN")>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001637}
1638
1639defm BUFFER_LOAD_FORMAT_X : MUBUF_Real_AllAddr_vi <0x00>;
1640defm BUFFER_LOAD_FORMAT_XY : MUBUF_Real_AllAddr_vi <0x01>;
1641defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Real_AllAddr_vi <0x02>;
1642defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Real_AllAddr_vi <0x03>;
1643defm BUFFER_STORE_FORMAT_X : MUBUF_Real_AllAddr_vi <0x04>;
1644defm BUFFER_STORE_FORMAT_XY : MUBUF_Real_AllAddr_vi <0x05>;
1645defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Real_AllAddr_vi <0x06>;
1646defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Real_AllAddr_vi <0x07>;
1647defm BUFFER_LOAD_UBYTE : MUBUF_Real_AllAddr_vi <0x10>;
1648defm BUFFER_LOAD_SBYTE : MUBUF_Real_AllAddr_vi <0x11>;
1649defm BUFFER_LOAD_USHORT : MUBUF_Real_AllAddr_vi <0x12>;
1650defm BUFFER_LOAD_SSHORT : MUBUF_Real_AllAddr_vi <0x13>;
1651defm BUFFER_LOAD_DWORD : MUBUF_Real_AllAddr_vi <0x14>;
1652defm BUFFER_LOAD_DWORDX2 : MUBUF_Real_AllAddr_vi <0x15>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001653defm BUFFER_LOAD_DWORDX3 : MUBUF_Real_AllAddr_vi <0x16>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001654defm BUFFER_LOAD_DWORDX4 : MUBUF_Real_AllAddr_vi <0x17>;
1655defm BUFFER_STORE_BYTE : MUBUF_Real_AllAddr_vi <0x18>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001656defm BUFFER_STORE_BYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x19>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001657defm BUFFER_STORE_SHORT : MUBUF_Real_AllAddr_vi <0x1a>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001658defm BUFFER_STORE_SHORT_D16_HI : MUBUF_Real_AllAddr_vi <0x1b>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001659defm BUFFER_STORE_DWORD : MUBUF_Real_AllAddr_vi <0x1c>;
1660defm BUFFER_STORE_DWORDX2 : MUBUF_Real_AllAddr_vi <0x1d>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001661defm BUFFER_STORE_DWORDX3 : MUBUF_Real_AllAddr_vi <0x1e>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001662defm BUFFER_STORE_DWORDX4 : MUBUF_Real_AllAddr_vi <0x1f>;
1663
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001664defm BUFFER_LOAD_UBYTE_D16 : MUBUF_Real_AllAddr_vi <0x20>;
1665defm BUFFER_LOAD_UBYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x21>;
1666defm BUFFER_LOAD_SBYTE_D16 : MUBUF_Real_AllAddr_vi <0x22>;
1667defm BUFFER_LOAD_SBYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x23>;
1668defm BUFFER_LOAD_SHORT_D16 : MUBUF_Real_AllAddr_vi <0x24>;
1669defm BUFFER_LOAD_SHORT_D16_HI : MUBUF_Real_AllAddr_vi <0x25>;
1670
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001671defm BUFFER_ATOMIC_SWAP : MUBUF_Real_Atomic_vi <0x40>;
1672defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Real_Atomic_vi <0x41>;
1673defm BUFFER_ATOMIC_ADD : MUBUF_Real_Atomic_vi <0x42>;
1674defm BUFFER_ATOMIC_SUB : MUBUF_Real_Atomic_vi <0x43>;
1675defm BUFFER_ATOMIC_SMIN : MUBUF_Real_Atomic_vi <0x44>;
1676defm BUFFER_ATOMIC_UMIN : MUBUF_Real_Atomic_vi <0x45>;
1677defm BUFFER_ATOMIC_SMAX : MUBUF_Real_Atomic_vi <0x46>;
1678defm BUFFER_ATOMIC_UMAX : MUBUF_Real_Atomic_vi <0x47>;
1679defm BUFFER_ATOMIC_AND : MUBUF_Real_Atomic_vi <0x48>;
1680defm BUFFER_ATOMIC_OR : MUBUF_Real_Atomic_vi <0x49>;
1681defm BUFFER_ATOMIC_XOR : MUBUF_Real_Atomic_vi <0x4a>;
1682defm BUFFER_ATOMIC_INC : MUBUF_Real_Atomic_vi <0x4b>;
1683defm BUFFER_ATOMIC_DEC : MUBUF_Real_Atomic_vi <0x4c>;
1684
1685defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Real_Atomic_vi <0x60>;
1686defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Real_Atomic_vi <0x61>;
1687defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Real_Atomic_vi <0x62>;
1688defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Real_Atomic_vi <0x63>;
1689defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Real_Atomic_vi <0x64>;
1690defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Real_Atomic_vi <0x65>;
1691defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Real_Atomic_vi <0x66>;
1692defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Real_Atomic_vi <0x67>;
1693defm BUFFER_ATOMIC_AND_X2 : MUBUF_Real_Atomic_vi <0x68>;
1694defm BUFFER_ATOMIC_OR_X2 : MUBUF_Real_Atomic_vi <0x69>;
1695defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Real_Atomic_vi <0x6a>;
1696defm BUFFER_ATOMIC_INC_X2 : MUBUF_Real_Atomic_vi <0x6b>;
1697defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Real_Atomic_vi <0x6c>;
1698
1699def BUFFER_WBINVL1_vi : MUBUF_Real_vi <0x3e, BUFFER_WBINVL1>;
1700def BUFFER_WBINVL1_VOL_vi : MUBUF_Real_vi <0x3f, BUFFER_WBINVL1_VOL>;
1701
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001702class MTBUF_Real_vi <bits<4> op, MTBUF_Pseudo ps> :
1703 MTBUF_Real<ps>,
David Stuttard70e8bc12017-06-22 16:29:22 +00001704 Enc64,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001705 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.VI> {
1706 let AssemblerPredicate=isVI;
1707 let DecoderNamespace="VI";
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001708
David Stuttard70e8bc12017-06-22 16:29:22 +00001709 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1710 let Inst{12} = ps.offen;
1711 let Inst{13} = ps.idxen;
1712 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001713 let Inst{18-15} = op;
David Stuttard70e8bc12017-06-22 16:29:22 +00001714 let Inst{22-19} = !if(ps.has_dfmt, dfmt, ps.dfmt_value);
1715 let Inst{25-23} = !if(ps.has_nfmt, nfmt, ps.nfmt_value);
1716 let Inst{31-26} = 0x3a; //encoding
1717 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1718 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1719 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1720 let Inst{54} = !if(ps.has_slc, slc, ?);
1721 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1722 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001723}
1724
David Stuttard70e8bc12017-06-22 16:29:22 +00001725multiclass MTBUF_Real_AllAddr_vi<bits<4> op> {
1726 def _OFFSET_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_OFFSET")>;
1727 def _OFFEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_OFFEN")>;
1728 def _IDXEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_IDXEN")>;
1729 def _BOTHEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_BOTHEN")>;
1730}
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001731
David Stuttard70e8bc12017-06-22 16:29:22 +00001732defm TBUFFER_LOAD_FORMAT_X : MTBUF_Real_AllAddr_vi <0>;
1733defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Real_AllAddr_vi <1>;
1734//defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Real_AllAddr_vi <2>;
1735defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Real_AllAddr_vi <3>;
1736defm TBUFFER_STORE_FORMAT_X : MTBUF_Real_AllAddr_vi <4>;
1737defm TBUFFER_STORE_FORMAT_XY : MTBUF_Real_AllAddr_vi <5>;
1738defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Real_AllAddr_vi <6>;
1739defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Real_AllAddr_vi <7>;