blob: cbdc1ea32ce49f1464094d80b74f4aa1b9fa66f7 [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 Arsenault156d3ae2017-05-17 21:02:58 +000014def MUBUFScratchOffen : ComplexPattern<i64, 4, "SelectMUBUFScratchOffen", [], [SDNPWantRoot]>;
15def MUBUFScratchOffset : ComplexPattern<i64, 3, "SelectMUBUFScratchOffset", [], [SDNPWantRoot], 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,
428 list<dag> pattern=[],
429 // Workaround bug bz30254
430 int addrKindCopy = addrKind>
431 : MUBUF_Pseudo<opName,
432 (outs vdataClass:$vdata),
433 getMUBUFIns<addrKindCopy>.ret,
434 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
435 pattern>,
436 MUBUF_SetupAddr<addrKindCopy> {
437 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
438 let mayLoad = 1;
439 let mayStore = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000440 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000441}
442
443// FIXME: tfe can't be an operand because it requires a separate
444// opcode because it needs an N+1 register class dest register.
445multiclass MUBUF_Pseudo_Loads<string opName, RegisterClass vdataClass,
446 ValueType load_vt = i32,
447 SDPatternOperator ld = null_frag> {
448
449 def _OFFSET : MUBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
450 [(set load_vt:$vdata,
451 (ld (MUBUFOffset v4i32:$srsrc, i32:$soffset, i16:$offset, i1:$glc, i1:$slc, i1:$tfe)))]>,
452 MUBUFAddr64Table<0>;
453
454 def _ADDR64 : MUBUF_Load_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
455 [(set load_vt:$vdata,
456 (ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset, i16:$offset, i1:$glc, i1:$slc, i1:$tfe)))]>,
457 MUBUFAddr64Table<1>;
458
459 def _OFFEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
460 def _IDXEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
461 def _BOTHEN : MUBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
462
463 let DisableWQM = 1 in {
464 def _OFFSET_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.Offset, vdataClass>;
465 def _OFFEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
466 def _IDXEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
467 def _BOTHEN_exact : MUBUF_Load_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
468 }
469}
470
471class MUBUF_Store_Pseudo <string opName,
472 int addrKind,
473 RegisterClass vdataClass,
474 list<dag> pattern=[],
475 // Workaround bug bz30254
476 int addrKindCopy = addrKind,
477 RegisterClass vdataClassCopy = vdataClass>
478 : MUBUF_Pseudo<opName,
479 (outs),
480 getMUBUFIns<addrKindCopy, [vdataClassCopy]>.ret,
481 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$glc$slc$tfe",
482 pattern>,
483 MUBUF_SetupAddr<addrKindCopy> {
484 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
485 let mayLoad = 0;
486 let mayStore = 1;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000487 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000488}
489
490multiclass MUBUF_Pseudo_Stores<string opName, RegisterClass vdataClass,
491 ValueType store_vt = i32,
492 SDPatternOperator st = null_frag> {
493
494 def _OFFSET : MUBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
495 [(st store_vt:$vdata, (MUBUFOffset v4i32:$srsrc, i32:$soffset,
496 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))]>,
497 MUBUFAddr64Table<0>;
498
499 def _ADDR64 : MUBUF_Store_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
500 [(st store_vt:$vdata, (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
501 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))]>,
502 MUBUFAddr64Table<1>;
503
504 def _OFFEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
505 def _IDXEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
506 def _BOTHEN : MUBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
507
508 let DisableWQM = 1 in {
509 def _OFFSET_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.Offset, vdataClass>;
510 def _OFFEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
511 def _IDXEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
512 def _BOTHEN_exact : MUBUF_Store_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
513 }
514}
515
516
517class getMUBUFAtomicInsDA<RegisterClass vdataClass, bit vdata_in,
518 list<RegisterClass> vaddrList=[]> {
519 RegisterClass vaddrClass = !if(!empty(vaddrList), ?, !head(vaddrList));
520 dag ret = !if(vdata_in,
521 !if(!empty(vaddrList),
522 (ins vdataClass:$vdata_in,
523 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc),
524 (ins vdataClass:$vdata_in, vaddrClass:$vaddr,
525 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc)
526 ),
527 !if(!empty(vaddrList),
528 (ins vdataClass:$vdata,
529 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc),
530 (ins vdataClass:$vdata, vaddrClass:$vaddr,
531 SReg_128:$srsrc, SCSrc_b32:$soffset, offset:$offset, slc:$slc)
532 ));
533}
534
535class getMUBUFAtomicIns<int addrKind,
536 RegisterClass vdataClass,
537 bit vdata_in,
538 // Workaround bug bz30254
539 RegisterClass vdataClassCopy=vdataClass> {
540 dag ret =
541 !if(!eq(addrKind, BUFAddrKind.Offset),
542 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in>.ret,
543 !if(!eq(addrKind, BUFAddrKind.OffEn),
544 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VGPR_32]>.ret,
545 !if(!eq(addrKind, BUFAddrKind.IdxEn),
546 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VGPR_32]>.ret,
547 !if(!eq(addrKind, BUFAddrKind.BothEn),
548 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VReg_64]>.ret,
549 !if(!eq(addrKind, BUFAddrKind.Addr64),
550 getMUBUFAtomicInsDA<vdataClassCopy, vdata_in, [VReg_64]>.ret,
551 (ins))))));
552}
553
554class MUBUF_Atomic_Pseudo<string opName,
555 int addrKind,
556 dag outs,
557 dag ins,
558 string asmOps,
559 list<dag> pattern=[],
560 // Workaround bug bz30254
561 int addrKindCopy = addrKind>
562 : MUBUF_Pseudo<opName, outs, ins, asmOps, pattern>,
563 MUBUF_SetupAddr<addrKindCopy> {
564 let mayStore = 1;
565 let mayLoad = 1;
566 let hasPostISelHook = 1;
567 let hasSideEffects = 1;
568 let DisableWQM = 1;
569 let has_glc = 0;
570 let has_tfe = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000571 let maybeAtomic = 1;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000572}
573
574class MUBUF_AtomicNoRet_Pseudo<string opName, int addrKind,
575 RegisterClass vdataClass,
576 list<dag> pattern=[],
577 // Workaround bug bz30254
578 int addrKindCopy = addrKind,
579 RegisterClass vdataClassCopy = vdataClass>
580 : MUBUF_Atomic_Pseudo<opName, addrKindCopy,
581 (outs),
582 getMUBUFAtomicIns<addrKindCopy, vdataClassCopy, 0>.ret,
583 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # "$slc",
584 pattern>,
585 AtomicNoRet<opName # "_" # getAddrName<addrKindCopy>.ret, 0> {
586 let PseudoInstr = opName # "_" # getAddrName<addrKindCopy>.ret;
587 let glc_value = 0;
588 let AsmMatchConverter = "cvtMubufAtomic";
589}
590
591class MUBUF_AtomicRet_Pseudo<string opName, int addrKind,
592 RegisterClass vdataClass,
593 list<dag> pattern=[],
594 // Workaround bug bz30254
595 int addrKindCopy = addrKind,
596 RegisterClass vdataClassCopy = vdataClass>
597 : MUBUF_Atomic_Pseudo<opName, addrKindCopy,
598 (outs vdataClassCopy:$vdata),
599 getMUBUFAtomicIns<addrKindCopy, vdataClassCopy, 1>.ret,
600 " $vdata, " # getMUBUFAsmOps<addrKindCopy>.ret # " glc$slc",
601 pattern>,
602 AtomicNoRet<opName # "_" # getAddrName<addrKindCopy>.ret, 1> {
603 let PseudoInstr = opName # "_rtn_" # getAddrName<addrKindCopy>.ret;
604 let glc_value = 1;
605 let Constraints = "$vdata = $vdata_in";
606 let DisableEncoding = "$vdata_in";
607 let AsmMatchConverter = "cvtMubufAtomicReturn";
608}
609
610multiclass MUBUF_Pseudo_Atomics <string opName,
611 RegisterClass vdataClass,
612 ValueType vdataType,
613 SDPatternOperator atomic> {
614
615 def _OFFSET : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.Offset, vdataClass>,
616 MUBUFAddr64Table <0>;
617 def _ADDR64 : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.Addr64, vdataClass>,
618 MUBUFAddr64Table <1>;
619 def _OFFEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
620 def _IDXEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
621 def _BOTHEN : MUBUF_AtomicNoRet_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
622
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000623 def _OFFSET_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.Offset, vdataClass,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000624 [(set vdataType:$vdata,
625 (atomic (MUBUFOffsetAtomic v4i32:$srsrc, i32:$soffset, i16:$offset, i1:$slc),
626 vdataType:$vdata_in))]>,
627 MUBUFAddr64Table <0, "_RTN">;
628
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000629 def _ADDR64_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.Addr64, vdataClass,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000630 [(set vdataType:$vdata,
631 (atomic (MUBUFAddr64Atomic v4i32:$srsrc, i64:$vaddr, i32:$soffset, i16:$offset, i1:$slc),
632 vdataType:$vdata_in))]>,
633 MUBUFAddr64Table <1, "_RTN">;
634
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000635 def _OFFEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.OffEn, vdataClass>;
636 def _IDXEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.IdxEn, vdataClass>;
637 def _BOTHEN_RTN : MUBUF_AtomicRet_Pseudo <opName, BUFAddrKind.BothEn, vdataClass>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000638}
639
640
641//===----------------------------------------------------------------------===//
642// MUBUF Instructions
643//===----------------------------------------------------------------------===//
644
645let SubtargetPredicate = isGCN in {
646
647defm BUFFER_LOAD_FORMAT_X : MUBUF_Pseudo_Loads <
648 "buffer_load_format_x", VGPR_32
649>;
650defm BUFFER_LOAD_FORMAT_XY : MUBUF_Pseudo_Loads <
651 "buffer_load_format_xy", VReg_64
652>;
653defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Pseudo_Loads <
654 "buffer_load_format_xyz", VReg_96
655>;
656defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Pseudo_Loads <
657 "buffer_load_format_xyzw", VReg_128
658>;
659defm BUFFER_STORE_FORMAT_X : MUBUF_Pseudo_Stores <
660 "buffer_store_format_x", VGPR_32
661>;
662defm BUFFER_STORE_FORMAT_XY : MUBUF_Pseudo_Stores <
663 "buffer_store_format_xy", VReg_64
664>;
665defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Pseudo_Stores <
666 "buffer_store_format_xyz", VReg_96
667>;
668defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Pseudo_Stores <
669 "buffer_store_format_xyzw", VReg_128
670>;
671defm BUFFER_LOAD_UBYTE : MUBUF_Pseudo_Loads <
672 "buffer_load_ubyte", VGPR_32, i32, mubuf_az_extloadi8
673>;
674defm BUFFER_LOAD_SBYTE : MUBUF_Pseudo_Loads <
675 "buffer_load_sbyte", VGPR_32, i32, mubuf_sextloadi8
676>;
677defm BUFFER_LOAD_USHORT : MUBUF_Pseudo_Loads <
678 "buffer_load_ushort", VGPR_32, i32, mubuf_az_extloadi16
679>;
680defm BUFFER_LOAD_SSHORT : MUBUF_Pseudo_Loads <
681 "buffer_load_sshort", VGPR_32, i32, mubuf_sextloadi16
682>;
683defm BUFFER_LOAD_DWORD : MUBUF_Pseudo_Loads <
684 "buffer_load_dword", VGPR_32, i32, mubuf_load
685>;
686defm BUFFER_LOAD_DWORDX2 : MUBUF_Pseudo_Loads <
687 "buffer_load_dwordx2", VReg_64, v2i32, mubuf_load
688>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +0000689defm BUFFER_LOAD_DWORDX3 : MUBUF_Pseudo_Loads <
690 "buffer_load_dwordx3", VReg_96, untyped, mubuf_load
691>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000692defm BUFFER_LOAD_DWORDX4 : MUBUF_Pseudo_Loads <
693 "buffer_load_dwordx4", VReg_128, v4i32, mubuf_load
694>;
695defm BUFFER_STORE_BYTE : MUBUF_Pseudo_Stores <
696 "buffer_store_byte", VGPR_32, i32, truncstorei8_global
697>;
698defm BUFFER_STORE_SHORT : MUBUF_Pseudo_Stores <
699 "buffer_store_short", VGPR_32, i32, truncstorei16_global
700>;
701defm BUFFER_STORE_DWORD : MUBUF_Pseudo_Stores <
702 "buffer_store_dword", VGPR_32, i32, global_store
703>;
704defm BUFFER_STORE_DWORDX2 : MUBUF_Pseudo_Stores <
705 "buffer_store_dwordx2", VReg_64, v2i32, global_store
706>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +0000707defm BUFFER_STORE_DWORDX3 : MUBUF_Pseudo_Stores <
708 "buffer_store_dwordx3", VReg_96, untyped, global_store
709>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000710defm BUFFER_STORE_DWORDX4 : MUBUF_Pseudo_Stores <
711 "buffer_store_dwordx4", VReg_128, v4i32, global_store
712>;
713defm BUFFER_ATOMIC_SWAP : MUBUF_Pseudo_Atomics <
714 "buffer_atomic_swap", VGPR_32, i32, atomic_swap_global
715>;
716defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Pseudo_Atomics <
717 "buffer_atomic_cmpswap", VReg_64, v2i32, null_frag
718>;
719defm BUFFER_ATOMIC_ADD : MUBUF_Pseudo_Atomics <
720 "buffer_atomic_add", VGPR_32, i32, atomic_add_global
721>;
722defm BUFFER_ATOMIC_SUB : MUBUF_Pseudo_Atomics <
723 "buffer_atomic_sub", VGPR_32, i32, atomic_sub_global
724>;
725defm BUFFER_ATOMIC_SMIN : MUBUF_Pseudo_Atomics <
726 "buffer_atomic_smin", VGPR_32, i32, atomic_min_global
727>;
728defm BUFFER_ATOMIC_UMIN : MUBUF_Pseudo_Atomics <
729 "buffer_atomic_umin", VGPR_32, i32, atomic_umin_global
730>;
731defm BUFFER_ATOMIC_SMAX : MUBUF_Pseudo_Atomics <
732 "buffer_atomic_smax", VGPR_32, i32, atomic_max_global
733>;
734defm BUFFER_ATOMIC_UMAX : MUBUF_Pseudo_Atomics <
735 "buffer_atomic_umax", VGPR_32, i32, atomic_umax_global
736>;
737defm BUFFER_ATOMIC_AND : MUBUF_Pseudo_Atomics <
738 "buffer_atomic_and", VGPR_32, i32, atomic_and_global
739>;
740defm BUFFER_ATOMIC_OR : MUBUF_Pseudo_Atomics <
741 "buffer_atomic_or", VGPR_32, i32, atomic_or_global
742>;
743defm BUFFER_ATOMIC_XOR : MUBUF_Pseudo_Atomics <
744 "buffer_atomic_xor", VGPR_32, i32, atomic_xor_global
745>;
746defm BUFFER_ATOMIC_INC : MUBUF_Pseudo_Atomics <
747 "buffer_atomic_inc", VGPR_32, i32, atomic_inc_global
748>;
749defm BUFFER_ATOMIC_DEC : MUBUF_Pseudo_Atomics <
750 "buffer_atomic_dec", VGPR_32, i32, atomic_dec_global
751>;
752defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Pseudo_Atomics <
753 "buffer_atomic_swap_x2", VReg_64, i64, atomic_swap_global
754>;
755defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Pseudo_Atomics <
756 "buffer_atomic_cmpswap_x2", VReg_128, v2i64, null_frag
757>;
758defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Pseudo_Atomics <
759 "buffer_atomic_add_x2", VReg_64, i64, atomic_add_global
760>;
761defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Pseudo_Atomics <
762 "buffer_atomic_sub_x2", VReg_64, i64, atomic_sub_global
763>;
764defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Pseudo_Atomics <
765 "buffer_atomic_smin_x2", VReg_64, i64, atomic_min_global
766>;
767defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Pseudo_Atomics <
768 "buffer_atomic_umin_x2", VReg_64, i64, atomic_umin_global
769>;
770defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Pseudo_Atomics <
771 "buffer_atomic_smax_x2", VReg_64, i64, atomic_max_global
772>;
773defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Pseudo_Atomics <
774 "buffer_atomic_umax_x2", VReg_64, i64, atomic_umax_global
775>;
776defm BUFFER_ATOMIC_AND_X2 : MUBUF_Pseudo_Atomics <
777 "buffer_atomic_and_x2", VReg_64, i64, atomic_and_global
778>;
779defm BUFFER_ATOMIC_OR_X2 : MUBUF_Pseudo_Atomics <
780 "buffer_atomic_or_x2", VReg_64, i64, atomic_or_global
781>;
782defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Pseudo_Atomics <
783 "buffer_atomic_xor_x2", VReg_64, i64, atomic_xor_global
784>;
785defm BUFFER_ATOMIC_INC_X2 : MUBUF_Pseudo_Atomics <
786 "buffer_atomic_inc_x2", VReg_64, i64, atomic_inc_global
787>;
788defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Pseudo_Atomics <
789 "buffer_atomic_dec_x2", VReg_64, i64, atomic_dec_global
790>;
791
792let SubtargetPredicate = isSI in { // isn't on CI & VI
793/*
794defm BUFFER_ATOMIC_RSUB : MUBUF_Pseudo_Atomics <"buffer_atomic_rsub">;
795defm BUFFER_ATOMIC_FCMPSWAP : MUBUF_Pseudo_Atomics <"buffer_atomic_fcmpswap">;
796defm BUFFER_ATOMIC_FMIN : MUBUF_Pseudo_Atomics <"buffer_atomic_fmin">;
797defm BUFFER_ATOMIC_FMAX : MUBUF_Pseudo_Atomics <"buffer_atomic_fmax">;
798defm BUFFER_ATOMIC_RSUB_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_rsub_x2">;
799defm BUFFER_ATOMIC_FCMPSWAP_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fcmpswap_x2">;
800defm BUFFER_ATOMIC_FMIN_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fmin_x2">;
801defm BUFFER_ATOMIC_FMAX_X2 : MUBUF_Pseudo_Atomics <"buffer_atomic_fmax_x2">;
802*/
803
804def BUFFER_WBINVL1_SC : MUBUF_Invalidate <"buffer_wbinvl1_sc",
805 int_amdgcn_buffer_wbinvl1_sc>;
806}
807
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000808let SubtargetPredicate = HasD16LoadStore in {
809
810defm BUFFER_LOAD_UBYTE_D16 : MUBUF_Pseudo_Loads <
811 "buffer_load_ubyte_d16", VGPR_32, i32
812>;
813
814defm BUFFER_LOAD_UBYTE_D16_HI : MUBUF_Pseudo_Loads <
815 "buffer_load_ubyte_d16_hi", VGPR_32, i32
816>;
817
818defm BUFFER_LOAD_SBYTE_D16 : MUBUF_Pseudo_Loads <
819 "buffer_load_sbyte_d16", VGPR_32, i32
820>;
821
822defm BUFFER_LOAD_SBYTE_D16_HI : MUBUF_Pseudo_Loads <
823 "buffer_load_sbyte_d16_hi", VGPR_32, i32
824>;
825
826defm BUFFER_LOAD_SHORT_D16 : MUBUF_Pseudo_Loads <
827 "buffer_load_short_d16", VGPR_32, i32
828>;
829
830defm BUFFER_LOAD_SHORT_D16_HI : MUBUF_Pseudo_Loads <
831 "buffer_load_short_d16_hi", VGPR_32, i32
832>;
833
834defm BUFFER_STORE_BYTE_D16_HI : MUBUF_Pseudo_Stores <
835 "buffer_store_byte_d16_hi", VGPR_32, i32
836>;
837
838defm BUFFER_STORE_SHORT_D16_HI : MUBUF_Pseudo_Stores <
839 "buffer_store_short_d16_hi", VGPR_32, i32
840>;
841
842} // End HasD16LoadStore
843
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000844def BUFFER_WBINVL1 : MUBUF_Invalidate <"buffer_wbinvl1",
845 int_amdgcn_buffer_wbinvl1>;
846
847//===----------------------------------------------------------------------===//
848// MTBUF Instructions
849//===----------------------------------------------------------------------===//
850
David Stuttard70e8bc12017-06-22 16:29:22 +0000851defm TBUFFER_LOAD_FORMAT_X : MTBUF_Pseudo_Loads <"tbuffer_load_format_x", VGPR_32>;
852defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Pseudo_Loads <"tbuffer_load_format_xy", VReg_64>;
853defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Pseudo_Loads <"tbuffer_load_format_xyz", VReg_128>;
854defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Pseudo_Loads <"tbuffer_load_format_xyzw", VReg_128>;
855defm TBUFFER_STORE_FORMAT_X : MTBUF_Pseudo_Stores <"tbuffer_store_format_x", VGPR_32>;
856defm TBUFFER_STORE_FORMAT_XY : MTBUF_Pseudo_Stores <"tbuffer_store_format_xy", VReg_64>;
857defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Pseudo_Stores <"tbuffer_store_format_xyz", VReg_128>;
858defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Pseudo_Stores <"tbuffer_store_format_xyzw", VReg_128>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000859
860} // End let SubtargetPredicate = isGCN
861
862let SubtargetPredicate = isCIVI in {
863
864//===----------------------------------------------------------------------===//
865// Instruction definitions for CI and newer.
866//===----------------------------------------------------------------------===//
867// Remaining instructions:
868// BUFFER_LOAD_DWORDX3
869// BUFFER_STORE_DWORDX3
870
871def BUFFER_WBINVL1_VOL : MUBUF_Invalidate <"buffer_wbinvl1_vol",
872 int_amdgcn_buffer_wbinvl1_vol>;
873
874} // End let SubtargetPredicate = isCIVI
875
876//===----------------------------------------------------------------------===//
877// MUBUF Patterns
878//===----------------------------------------------------------------------===//
879
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000880let Predicates = [isGCN] in {
881
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000882// Offset in an 32-bit VGPR
883def : Pat <
884 (SIload_constant v4i32:$sbase, i32:$voff),
Tom Stellard115a6152016-11-10 16:02:37 +0000885 (BUFFER_LOAD_DWORD_OFFEN $voff, $sbase, (i32 0), 0, 0, 0, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000886>;
887
888
889//===----------------------------------------------------------------------===//
890// buffer_load/store_format patterns
891//===----------------------------------------------------------------------===//
892
893multiclass MUBUF_LoadIntrinsicPat<SDPatternOperator name, ValueType vt,
894 string opcode> {
895 def : Pat<
896 (vt (name v4i32:$rsrc, 0,
897 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
898 imm:$glc, imm:$slc)),
899 (!cast<MUBUF_Pseudo>(opcode # _OFFSET) $rsrc, $soffset, (as_i16imm $offset),
900 (as_i1imm $glc), (as_i1imm $slc), 0)
901 >;
902
903 def : Pat<
904 (vt (name v4i32:$rsrc, i32:$vindex,
905 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
906 imm:$glc, imm:$slc)),
907 (!cast<MUBUF_Pseudo>(opcode # _IDXEN) $vindex, $rsrc, $soffset, (as_i16imm $offset),
908 (as_i1imm $glc), (as_i1imm $slc), 0)
909 >;
910
911 def : Pat<
912 (vt (name v4i32:$rsrc, 0,
913 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
914 imm:$glc, imm:$slc)),
915 (!cast<MUBUF_Pseudo>(opcode # _OFFEN) $voffset, $rsrc, $soffset, (as_i16imm $offset),
916 (as_i1imm $glc), (as_i1imm $slc), 0)
917 >;
918
919 def : Pat<
920 (vt (name v4i32:$rsrc, i32:$vindex,
921 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
922 imm:$glc, imm:$slc)),
923 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN)
924 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
925 $rsrc, $soffset, (as_i16imm $offset),
926 (as_i1imm $glc), (as_i1imm $slc), 0)
927 >;
928}
929
Tom Stellard6f9ef142016-12-20 17:19:44 +0000930defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, f32, "BUFFER_LOAD_FORMAT_X">;
931defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, v2f32, "BUFFER_LOAD_FORMAT_XY">;
932defm : MUBUF_LoadIntrinsicPat<SIbuffer_load_format, v4f32, "BUFFER_LOAD_FORMAT_XYZW">;
933defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, f32, "BUFFER_LOAD_DWORD">;
934defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, v2f32, "BUFFER_LOAD_DWORDX2">;
935defm : MUBUF_LoadIntrinsicPat<SIbuffer_load, v4f32, "BUFFER_LOAD_DWORDX4">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000936
937multiclass MUBUF_StoreIntrinsicPat<SDPatternOperator name, ValueType vt,
938 string opcode> {
939 def : Pat<
940 (name vt:$vdata, v4i32:$rsrc, 0,
941 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
942 imm:$glc, imm:$slc),
943 (!cast<MUBUF_Pseudo>(opcode # _OFFSET_exact) $vdata, $rsrc, $soffset, (as_i16imm $offset),
944 (as_i1imm $glc), (as_i1imm $slc), 0)
945 >;
946
947 def : Pat<
948 (name vt:$vdata, v4i32:$rsrc, i32:$vindex,
949 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
950 imm:$glc, imm:$slc),
951 (!cast<MUBUF_Pseudo>(opcode # _IDXEN_exact) $vdata, $vindex, $rsrc, $soffset,
952 (as_i16imm $offset), (as_i1imm $glc),
953 (as_i1imm $slc), 0)
954 >;
955
956 def : Pat<
957 (name vt:$vdata, v4i32:$rsrc, 0,
958 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
959 imm:$glc, imm:$slc),
960 (!cast<MUBUF_Pseudo>(opcode # _OFFEN_exact) $vdata, $voffset, $rsrc, $soffset,
961 (as_i16imm $offset), (as_i1imm $glc),
962 (as_i1imm $slc), 0)
963 >;
964
965 def : Pat<
966 (name vt:$vdata, v4i32:$rsrc, i32:$vindex,
967 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
968 imm:$glc, imm:$slc),
969 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN_exact)
970 $vdata,
971 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
972 $rsrc, $soffset, (as_i16imm $offset),
973 (as_i1imm $glc), (as_i1imm $slc), 0)
974 >;
975}
976
977defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store_format, f32, "BUFFER_STORE_FORMAT_X">;
978defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store_format, v2f32, "BUFFER_STORE_FORMAT_XY">;
979defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store_format, v4f32, "BUFFER_STORE_FORMAT_XYZW">;
980defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store, f32, "BUFFER_STORE_DWORD">;
981defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store, v2f32, "BUFFER_STORE_DWORDX2">;
982defm : MUBUF_StoreIntrinsicPat<int_amdgcn_buffer_store, v4f32, "BUFFER_STORE_DWORDX4">;
983
984//===----------------------------------------------------------------------===//
985// buffer_atomic patterns
986//===----------------------------------------------------------------------===//
987
988multiclass BufferAtomicPatterns<SDPatternOperator name, string opcode> {
989 def : Pat<
990 (name i32:$vdata_in, v4i32:$rsrc, 0,
991 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
992 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +0000993 (!cast<MUBUF_Pseudo>(opcode # _OFFSET_RTN) $vdata_in, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +0000994 (as_i16imm $offset), (as_i1imm $slc))
995 >;
996
997 def : Pat<
998 (name i32:$vdata_in, v4i32:$rsrc, i32:$vindex,
999 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
1000 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001001 (!cast<MUBUF_Pseudo>(opcode # _IDXEN_RTN) $vdata_in, $vindex, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001002 (as_i16imm $offset), (as_i1imm $slc))
1003 >;
1004
1005 def : Pat<
1006 (name i32:$vdata_in, v4i32:$rsrc, 0,
1007 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1008 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001009 (!cast<MUBUF_Pseudo>(opcode # _OFFEN_RTN) $vdata_in, $voffset, $rsrc, $soffset,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001010 (as_i16imm $offset), (as_i1imm $slc))
1011 >;
1012
1013 def : Pat<
1014 (name i32:$vdata_in, v4i32:$rsrc, i32:$vindex,
1015 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1016 imm:$slc),
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001017 (!cast<MUBUF_Pseudo>(opcode # _BOTHEN_RTN)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001018 $vdata_in,
1019 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1020 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc))
1021 >;
1022}
1023
1024defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_swap, "BUFFER_ATOMIC_SWAP">;
1025defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_add, "BUFFER_ATOMIC_ADD">;
1026defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_sub, "BUFFER_ATOMIC_SUB">;
1027defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_smin, "BUFFER_ATOMIC_SMIN">;
1028defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_umin, "BUFFER_ATOMIC_UMIN">;
1029defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_smax, "BUFFER_ATOMIC_SMAX">;
1030defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_umax, "BUFFER_ATOMIC_UMAX">;
1031defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_and, "BUFFER_ATOMIC_AND">;
1032defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_or, "BUFFER_ATOMIC_OR">;
1033defm : BufferAtomicPatterns<int_amdgcn_buffer_atomic_xor, "BUFFER_ATOMIC_XOR">;
1034
1035def : Pat<
1036 (int_amdgcn_buffer_atomic_cmpswap
1037 i32:$data, i32:$cmp, v4i32:$rsrc, 0,
1038 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
1039 imm:$slc),
1040 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001041 (BUFFER_ATOMIC_CMPSWAP_OFFSET_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001042 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1043 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1044 sub0)
1045>;
1046
1047def : Pat<
1048 (int_amdgcn_buffer_atomic_cmpswap
1049 i32:$data, i32:$cmp, v4i32:$rsrc, i32:$vindex,
1050 (MUBUFIntrinsicOffset i32:$soffset, i16:$offset),
1051 imm:$slc),
1052 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001053 (BUFFER_ATOMIC_CMPSWAP_IDXEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001054 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1055 $vindex, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1056 sub0)
1057>;
1058
1059def : Pat<
1060 (int_amdgcn_buffer_atomic_cmpswap
1061 i32:$data, i32:$cmp, v4i32:$rsrc, 0,
1062 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1063 imm:$slc),
1064 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001065 (BUFFER_ATOMIC_CMPSWAP_OFFEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001066 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1067 $voffset, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1068 sub0)
1069>;
1070
1071def : Pat<
1072 (int_amdgcn_buffer_atomic_cmpswap
1073 i32:$data, i32:$cmp, v4i32:$rsrc, i32:$vindex,
1074 (MUBUFIntrinsicVOffset i32:$soffset, i16:$offset, i32:$voffset),
1075 imm:$slc),
1076 (EXTRACT_SUBREG
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001077 (BUFFER_ATOMIC_CMPSWAP_BOTHEN_RTN
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001078 (REG_SEQUENCE VReg_64, $data, sub0, $cmp, sub1),
1079 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1080 $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $slc)),
1081 sub0)
1082>;
1083
1084
Tom Stellard115a6152016-11-10 16:02:37 +00001085class MUBUFLoad_PatternADDR64 <MUBUF_Pseudo Instr_ADDR64, ValueType vt,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001086 PatFrag constant_ld> : Pat <
1087 (vt (constant_ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1088 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))),
1089 (Instr_ADDR64 $vaddr, $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1090 >;
1091
1092multiclass MUBUFLoad_Atomic_Pattern <MUBUF_Pseudo Instr_ADDR64, MUBUF_Pseudo Instr_OFFSET,
1093 ValueType vt, PatFrag atomic_ld> {
1094 def : Pat <
1095 (vt (atomic_ld (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1096 i16:$offset, i1:$slc))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001097 (Instr_ADDR64 $vaddr, $srsrc, $soffset, $offset, 0, $slc, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001098 >;
1099
1100 def : Pat <
1101 (vt (atomic_ld (MUBUFOffsetNoGLC v4i32:$rsrc, i32:$soffset, i16:$offset))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001102 (Instr_OFFSET $rsrc, $soffset, (as_i16imm $offset), 0, 0, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001103 >;
1104}
1105
1106let Predicates = [isSICI] in {
Tom Stellard115a6152016-11-10 16:02:37 +00001107def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_SBYTE_ADDR64, i32, sextloadi8_constant>;
1108def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_UBYTE_ADDR64, i32, az_extloadi8_constant>;
1109def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_SSHORT_ADDR64, i32, sextloadi16_constant>;
1110def : MUBUFLoad_PatternADDR64 <BUFFER_LOAD_USHORT_ADDR64, i32, az_extloadi16_constant>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001111
1112defm : MUBUFLoad_Atomic_Pattern <BUFFER_LOAD_DWORD_ADDR64, BUFFER_LOAD_DWORD_OFFSET, i32, mubuf_load_atomic>;
1113defm : MUBUFLoad_Atomic_Pattern <BUFFER_LOAD_DWORDX2_ADDR64, BUFFER_LOAD_DWORDX2_OFFSET, i64, mubuf_load_atomic>;
1114} // End Predicates = [isSICI]
1115
Tom Stellard115a6152016-11-10 16:02:37 +00001116multiclass MUBUFLoad_Pattern <MUBUF_Pseudo Instr_OFFSET, ValueType vt,
1117 PatFrag ld> {
1118
1119 def : Pat <
1120 (vt (ld (MUBUFOffset v4i32:$srsrc, i32:$soffset,
1121 i16:$offset, i1:$glc, i1:$slc, i1:$tfe))),
1122 (Instr_OFFSET $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1123 >;
1124}
1125
1126let Predicates = [Has16BitInsts] in {
1127
1128defm : MUBUFLoad_Pattern <BUFFER_LOAD_SBYTE_OFFSET, i16, sextloadi8_constant>;
1129defm : MUBUFLoad_Pattern <BUFFER_LOAD_UBYTE_OFFSET, i16, az_extloadi8_constant>;
1130defm : MUBUFLoad_Pattern <BUFFER_LOAD_SBYTE_OFFSET, i16, mubuf_sextloadi8>;
1131defm : MUBUFLoad_Pattern <BUFFER_LOAD_UBYTE_OFFSET, i16, mubuf_az_extloadi8>;
1132
Matt Arsenault65ca292a2017-09-07 05:37:34 +00001133defm : MUBUFLoad_Pattern <BUFFER_LOAD_USHORT_OFFSET, i16, mubuf_load>;
1134
Tom Stellard115a6152016-11-10 16:02:37 +00001135} // End Predicates = [Has16BitInsts]
1136
Matt Arsenault0774ea22017-04-24 19:40:59 +00001137multiclass MUBUFScratchLoadPat <MUBUF_Pseudo InstrOffen,
1138 MUBUF_Pseudo InstrOffset,
1139 ValueType vt, PatFrag ld> {
1140 def : Pat <
1141 (vt (ld (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1142 i32:$soffset, u16imm:$offset))),
1143 (InstrOffen $vaddr, $srsrc, $soffset, $offset, 0, 0, 0)
1144 >;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001145
Matt Arsenault0774ea22017-04-24 19:40:59 +00001146 def : Pat <
1147 (vt (ld (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset, u16imm:$offset))),
1148 (InstrOffset $srsrc, $soffset, $offset, 0, 0, 0)
1149 >;
1150}
1151
1152defm : MUBUFScratchLoadPat <BUFFER_LOAD_SBYTE_OFFEN, BUFFER_LOAD_SBYTE_OFFSET, i32, sextloadi8_private>;
1153defm : MUBUFScratchLoadPat <BUFFER_LOAD_UBYTE_OFFEN, BUFFER_LOAD_UBYTE_OFFSET, i32, extloadi8_private>;
1154defm : MUBUFScratchLoadPat <BUFFER_LOAD_SBYTE_OFFEN, BUFFER_LOAD_SBYTE_OFFSET, i16, sextloadi8_private>;
1155defm : MUBUFScratchLoadPat <BUFFER_LOAD_UBYTE_OFFEN, BUFFER_LOAD_UBYTE_OFFSET, i16, extloadi8_private>;
1156defm : MUBUFScratchLoadPat <BUFFER_LOAD_SSHORT_OFFEN, BUFFER_LOAD_SSHORT_OFFSET, i32, sextloadi16_private>;
1157defm : MUBUFScratchLoadPat <BUFFER_LOAD_USHORT_OFFEN, BUFFER_LOAD_USHORT_OFFSET, i32, extloadi16_private>;
Matt Arsenault65ca292a2017-09-07 05:37:34 +00001158defm : MUBUFScratchLoadPat <BUFFER_LOAD_USHORT_OFFEN, BUFFER_LOAD_USHORT_OFFSET, i16, load_private>;
Matt Arsenault0774ea22017-04-24 19:40:59 +00001159defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORD_OFFEN, BUFFER_LOAD_DWORD_OFFSET, i32, load_private>;
1160defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORDX2_OFFEN, BUFFER_LOAD_DWORDX2_OFFSET, v2i32, load_private>;
1161defm : MUBUFScratchLoadPat <BUFFER_LOAD_DWORDX4_OFFEN, BUFFER_LOAD_DWORDX4_OFFSET, v4i32, load_private>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001162
1163// BUFFER_LOAD_DWORD*, addr64=0
1164multiclass MUBUF_Load_Dword <ValueType vt,
1165 MUBUF_Pseudo offset,
1166 MUBUF_Pseudo offen,
1167 MUBUF_Pseudo idxen,
1168 MUBUF_Pseudo bothen> {
1169
1170 def : Pat <
1171 (vt (int_SI_buffer_load_dword v4i32:$rsrc, (i32 imm), i32:$soffset,
1172 imm:$offset, 0, 0, imm:$glc, imm:$slc,
1173 imm:$tfe)),
1174 (offset $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc),
1175 (as_i1imm $slc), (as_i1imm $tfe))
1176 >;
1177
1178 def : Pat <
1179 (vt (int_SI_buffer_load_dword v4i32:$rsrc, i32:$vaddr, i32:$soffset,
1180 imm:$offset, 1, 0, imm:$glc, imm:$slc,
1181 imm:$tfe)),
1182 (offen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc), (as_i1imm $slc),
1183 (as_i1imm $tfe))
1184 >;
1185
1186 def : Pat <
1187 (vt (int_SI_buffer_load_dword v4i32:$rsrc, i32:$vaddr, i32:$soffset,
1188 imm:$offset, 0, 1, imm:$glc, imm:$slc,
1189 imm:$tfe)),
1190 (idxen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc),
1191 (as_i1imm $slc), (as_i1imm $tfe))
1192 >;
1193
1194 def : Pat <
1195 (vt (int_SI_buffer_load_dword v4i32:$rsrc, v2i32:$vaddr, i32:$soffset,
1196 imm:$offset, 1, 1, imm:$glc, imm:$slc,
1197 imm:$tfe)),
1198 (bothen $vaddr, $rsrc, $soffset, (as_i16imm $offset), (as_i1imm $glc), (as_i1imm $slc),
1199 (as_i1imm $tfe))
1200 >;
1201}
1202
1203defm : MUBUF_Load_Dword <i32, BUFFER_LOAD_DWORD_OFFSET, BUFFER_LOAD_DWORD_OFFEN,
1204 BUFFER_LOAD_DWORD_IDXEN, BUFFER_LOAD_DWORD_BOTHEN>;
1205defm : MUBUF_Load_Dword <v2i32, BUFFER_LOAD_DWORDX2_OFFSET, BUFFER_LOAD_DWORDX2_OFFEN,
1206 BUFFER_LOAD_DWORDX2_IDXEN, BUFFER_LOAD_DWORDX2_BOTHEN>;
1207defm : MUBUF_Load_Dword <v4i32, BUFFER_LOAD_DWORDX4_OFFSET, BUFFER_LOAD_DWORDX4_OFFEN,
1208 BUFFER_LOAD_DWORDX4_IDXEN, BUFFER_LOAD_DWORDX4_BOTHEN>;
1209
1210multiclass MUBUFStore_Atomic_Pattern <MUBUF_Pseudo Instr_ADDR64, MUBUF_Pseudo Instr_OFFSET,
1211 ValueType vt, PatFrag atomic_st> {
1212 // Store follows atomic op convention so address is forst
1213 def : Pat <
1214 (atomic_st (MUBUFAddr64 v4i32:$srsrc, i64:$vaddr, i32:$soffset,
1215 i16:$offset, i1:$slc), vt:$val),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001216 (Instr_ADDR64 $val, $vaddr, $srsrc, $soffset, $offset, 0, $slc, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001217 >;
1218
1219 def : Pat <
1220 (atomic_st (MUBUFOffsetNoGLC v4i32:$rsrc, i32:$soffset, i16:$offset), vt:$val),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +00001221 (Instr_OFFSET $val, $rsrc, $soffset, (as_i16imm $offset), 0, 0, 0)
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001222 >;
1223}
1224let Predicates = [isSICI] in {
1225defm : MUBUFStore_Atomic_Pattern <BUFFER_STORE_DWORD_ADDR64, BUFFER_STORE_DWORD_OFFSET, i32, global_store_atomic>;
1226defm : MUBUFStore_Atomic_Pattern <BUFFER_STORE_DWORDX2_ADDR64, BUFFER_STORE_DWORDX2_OFFSET, i64, global_store_atomic>;
1227} // End Predicates = [isSICI]
1228
Tom Stellard115a6152016-11-10 16:02:37 +00001229
1230multiclass MUBUFStore_Pattern <MUBUF_Pseudo Instr_OFFSET, ValueType vt,
1231 PatFrag st> {
1232
1233 def : Pat <
1234 (st vt:$vdata, (MUBUFOffset v4i32:$srsrc, i32:$soffset,
1235 i16:$offset, i1:$glc, i1:$slc, i1:$tfe)),
1236 (Instr_OFFSET $vdata, $srsrc, $soffset, $offset, $glc, $slc, $tfe)
1237 >;
1238}
1239
1240defm : MUBUFStore_Pattern <BUFFER_STORE_BYTE_OFFSET, i16, truncstorei8_global>;
1241defm : MUBUFStore_Pattern <BUFFER_STORE_SHORT_OFFSET, i16, global_store>;
1242
Matt Arsenault0774ea22017-04-24 19:40:59 +00001243multiclass MUBUFScratchStorePat <MUBUF_Pseudo InstrOffen,
1244 MUBUF_Pseudo InstrOffset,
1245 ValueType vt, PatFrag st> {
1246 def : Pat <
1247 (st vt:$value, (MUBUFScratchOffen v4i32:$srsrc, i32:$vaddr,
1248 i32:$soffset, u16imm:$offset)),
1249 (InstrOffen $value, $vaddr, $srsrc, $soffset, $offset, 0, 0, 0)
1250 >;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001251
Matt Arsenault0774ea22017-04-24 19:40:59 +00001252 def : Pat <
1253 (st vt:$value, (MUBUFScratchOffset v4i32:$srsrc, i32:$soffset,
1254 u16imm:$offset)),
1255 (InstrOffset $value, $srsrc, $soffset, $offset, 0, 0, 0)
1256 >;
1257}
1258
1259defm : MUBUFScratchStorePat <BUFFER_STORE_BYTE_OFFEN, BUFFER_STORE_BYTE_OFFSET, i32, truncstorei8_private>;
1260defm : MUBUFScratchStorePat <BUFFER_STORE_SHORT_OFFEN, BUFFER_STORE_SHORT_OFFSET, i32, truncstorei16_private>;
1261defm : MUBUFScratchStorePat <BUFFER_STORE_BYTE_OFFEN, BUFFER_STORE_BYTE_OFFSET, i16, truncstorei8_private>;
1262defm : MUBUFScratchStorePat <BUFFER_STORE_SHORT_OFFEN, BUFFER_STORE_SHORT_OFFSET, i16, store_private>;
1263defm : MUBUFScratchStorePat <BUFFER_STORE_DWORD_OFFEN, BUFFER_STORE_DWORD_OFFSET, i32, store_private>;
1264defm : MUBUFScratchStorePat <BUFFER_STORE_DWORDX2_OFFEN, BUFFER_STORE_DWORDX2_OFFSET, v2i32, store_private>;
1265defm : MUBUFScratchStorePat <BUFFER_STORE_DWORDX4_OFFEN, BUFFER_STORE_DWORDX4_OFFSET, v4i32, store_private>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001266
1267//===----------------------------------------------------------------------===//
1268// MTBUF Patterns
1269//===----------------------------------------------------------------------===//
1270
David Stuttard70e8bc12017-06-22 16:29:22 +00001271//===----------------------------------------------------------------------===//
1272// tbuffer_load/store_format patterns
1273//===----------------------------------------------------------------------===//
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001274
David Stuttard70e8bc12017-06-22 16:29:22 +00001275multiclass MTBUF_LoadIntrinsicPat<SDPatternOperator name, ValueType vt,
1276 string opcode> {
1277 def : Pat<
1278 (vt (name v4i32:$rsrc, 0, 0, i32:$soffset, imm:$offset,
1279 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1280 (!cast<MTBUF_Pseudo>(opcode # _OFFSET) $rsrc, $soffset, (as_i16imm $offset),
1281 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1282 >;
1283
1284 def : Pat<
1285 (vt (name v4i32:$rsrc, i32:$vindex, 0, i32:$soffset, imm:$offset,
1286 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1287 (!cast<MTBUF_Pseudo>(opcode # _IDXEN) $vindex, $rsrc, $soffset, (as_i16imm $offset),
1288 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1289 >;
1290
1291 def : Pat<
1292 (vt (name v4i32:$rsrc, 0, i32:$voffset, i32:$soffset, imm:$offset,
1293 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1294 (!cast<MTBUF_Pseudo>(opcode # _OFFEN) $voffset, $rsrc, $soffset, (as_i16imm $offset),
1295 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1296 >;
1297
1298 def : Pat<
1299 (vt (name v4i32:$rsrc, i32:$vindex, i32:$voffset, i32:$soffset, imm:$offset,
1300 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc)),
1301 (!cast<MTBUF_Pseudo>(opcode # _BOTHEN)
1302 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1303 $rsrc, $soffset, (as_i16imm $offset),
1304 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1305 >;
1306}
1307
1308defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, i32, "TBUFFER_LOAD_FORMAT_X">;
1309defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v2i32, "TBUFFER_LOAD_FORMAT_XY">;
1310defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v4i32, "TBUFFER_LOAD_FORMAT_XYZW">;
1311defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, f32, "TBUFFER_LOAD_FORMAT_X">;
1312defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v2f32, "TBUFFER_LOAD_FORMAT_XY">;
1313defm : MTBUF_LoadIntrinsicPat<SItbuffer_load, v4f32, "TBUFFER_LOAD_FORMAT_XYZW">;
1314
1315multiclass MTBUF_StoreIntrinsicPat<SDPatternOperator name, ValueType vt,
1316 string opcode> {
1317 def : Pat<
1318 (name vt:$vdata, v4i32:$rsrc, 0, 0, i32:$soffset, imm:$offset,
1319 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1320 (!cast<MTBUF_Pseudo>(opcode # _OFFSET_exact) $vdata, $rsrc, $soffset,
1321 (as_i16imm $offset), (as_i8imm $dfmt),
1322 (as_i8imm $nfmt), (as_i1imm $glc),
1323 (as_i1imm $slc), 0)
1324 >;
1325
1326 def : Pat<
1327 (name vt:$vdata, v4i32:$rsrc, i32:$vindex, 0, i32:$soffset, imm:$offset,
1328 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1329 (!cast<MTBUF_Pseudo>(opcode # _IDXEN_exact) $vdata, $vindex, $rsrc, $soffset,
1330 (as_i16imm $offset), (as_i8imm $dfmt),
1331 (as_i8imm $nfmt), (as_i1imm $glc),
1332 (as_i1imm $slc), 0)
1333 >;
1334
1335 def : Pat<
1336 (name vt:$vdata, v4i32:$rsrc, 0, i32:$voffset, i32:$soffset, imm:$offset,
1337 imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1338 (!cast<MTBUF_Pseudo>(opcode # _OFFEN_exact) $vdata, $voffset, $rsrc, $soffset,
1339 (as_i16imm $offset), (as_i8imm $dfmt),
1340 (as_i8imm $nfmt), (as_i1imm $glc),
1341 (as_i1imm $slc), 0)
1342 >;
1343
1344 def : Pat<
1345 (name vt:$vdata, v4i32:$rsrc, i32:$vindex, i32:$voffset, i32:$soffset,
1346 imm:$offset, imm:$dfmt, imm:$nfmt, imm:$glc, imm:$slc),
1347 (!cast<MTBUF_Pseudo>(opcode # _BOTHEN_exact)
1348 $vdata,
1349 (REG_SEQUENCE VReg_64, $vindex, sub0, $voffset, sub1),
1350 $rsrc, $soffset, (as_i16imm $offset),
1351 (as_i8imm $dfmt), (as_i8imm $nfmt), (as_i1imm $glc), (as_i1imm $slc), 0)
1352 >;
1353}
1354
1355defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, i32, "TBUFFER_STORE_FORMAT_X">;
1356defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v2i32, "TBUFFER_STORE_FORMAT_XY">;
1357defm : MTBUF_StoreIntrinsicPat<SItbuffer_store_x3, v4i32, "TBUFFER_STORE_FORMAT_XYZ">;
1358defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v4i32, "TBUFFER_STORE_FORMAT_XYZW">;
1359defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, f32, "TBUFFER_STORE_FORMAT_X">;
1360defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v2f32, "TBUFFER_STORE_FORMAT_XY">;
1361defm : MTBUF_StoreIntrinsicPat<SItbuffer_store_x3, v4f32, "TBUFFER_STORE_FORMAT_XYZ">;
1362defm : MTBUF_StoreIntrinsicPat<SItbuffer_store, v4f32, "TBUFFER_STORE_FORMAT_XYZW">;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001363
1364} // End let Predicates = [isGCN]
1365
1366//===----------------------------------------------------------------------===//
1367// Target instructions, move to the appropriate target TD file
1368//===----------------------------------------------------------------------===//
1369
1370//===----------------------------------------------------------------------===//
1371// SI
1372//===----------------------------------------------------------------------===//
1373
1374class MUBUF_Real_si <bits<7> op, MUBUF_Pseudo ps> :
1375 MUBUF_Real<op, ps>,
1376 Enc64,
1377 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.SI> {
1378 let AssemblerPredicate=isSICI;
1379 let DecoderNamespace="SICI";
1380
1381 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1382 let Inst{12} = ps.offen;
1383 let Inst{13} = ps.idxen;
1384 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1385 let Inst{15} = ps.addr64;
1386 let Inst{16} = lds;
1387 let Inst{24-18} = op;
1388 let Inst{31-26} = 0x38; //encoding
1389 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1390 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1391 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1392 let Inst{54} = !if(ps.has_slc, slc, ?);
1393 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1394 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
1395}
1396
1397multiclass MUBUF_Real_AllAddr_si<bits<7> op> {
1398 def _OFFSET_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET")>;
1399 def _ADDR64_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_ADDR64")>;
1400 def _OFFEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN")>;
1401 def _IDXEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN")>;
1402 def _BOTHEN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN")>;
1403}
1404
1405multiclass MUBUF_Real_Atomic_si<bits<7> op> : MUBUF_Real_AllAddr_si<op> {
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001406 def _OFFSET_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET_RTN")>;
1407 def _ADDR64_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_ADDR64_RTN")>;
1408 def _OFFEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN_RTN")>;
1409 def _IDXEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN_RTN")>;
1410 def _BOTHEN_RTN_si : MUBUF_Real_si <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN_RTN")>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001411}
1412
1413defm BUFFER_LOAD_FORMAT_X : MUBUF_Real_AllAddr_si <0x00>;
1414defm BUFFER_LOAD_FORMAT_XY : MUBUF_Real_AllAddr_si <0x01>;
1415defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Real_AllAddr_si <0x02>;
1416defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Real_AllAddr_si <0x03>;
1417defm BUFFER_STORE_FORMAT_X : MUBUF_Real_AllAddr_si <0x04>;
1418defm BUFFER_STORE_FORMAT_XY : MUBUF_Real_AllAddr_si <0x05>;
1419defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Real_AllAddr_si <0x06>;
1420defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Real_AllAddr_si <0x07>;
1421defm BUFFER_LOAD_UBYTE : MUBUF_Real_AllAddr_si <0x08>;
1422defm BUFFER_LOAD_SBYTE : MUBUF_Real_AllAddr_si <0x09>;
1423defm BUFFER_LOAD_USHORT : MUBUF_Real_AllAddr_si <0x0a>;
1424defm BUFFER_LOAD_SSHORT : MUBUF_Real_AllAddr_si <0x0b>;
1425defm BUFFER_LOAD_DWORD : MUBUF_Real_AllAddr_si <0x0c>;
1426defm BUFFER_LOAD_DWORDX2 : MUBUF_Real_AllAddr_si <0x0d>;
1427defm BUFFER_LOAD_DWORDX4 : MUBUF_Real_AllAddr_si <0x0e>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001428defm BUFFER_LOAD_DWORDX3 : MUBUF_Real_AllAddr_si <0x0f>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001429defm BUFFER_STORE_BYTE : MUBUF_Real_AllAddr_si <0x18>;
1430defm BUFFER_STORE_SHORT : MUBUF_Real_AllAddr_si <0x1a>;
1431defm BUFFER_STORE_DWORD : MUBUF_Real_AllAddr_si <0x1c>;
1432defm BUFFER_STORE_DWORDX2 : MUBUF_Real_AllAddr_si <0x1d>;
1433defm BUFFER_STORE_DWORDX4 : MUBUF_Real_AllAddr_si <0x1e>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001434defm BUFFER_STORE_DWORDX3 : MUBUF_Real_AllAddr_si <0x1f>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001435
1436defm BUFFER_ATOMIC_SWAP : MUBUF_Real_Atomic_si <0x30>;
1437defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Real_Atomic_si <0x31>;
1438defm BUFFER_ATOMIC_ADD : MUBUF_Real_Atomic_si <0x32>;
1439defm BUFFER_ATOMIC_SUB : MUBUF_Real_Atomic_si <0x33>;
1440//defm BUFFER_ATOMIC_RSUB : MUBUF_Real_Atomic_si <0x34>; // isn't on CI & VI
1441defm BUFFER_ATOMIC_SMIN : MUBUF_Real_Atomic_si <0x35>;
1442defm BUFFER_ATOMIC_UMIN : MUBUF_Real_Atomic_si <0x36>;
1443defm BUFFER_ATOMIC_SMAX : MUBUF_Real_Atomic_si <0x37>;
1444defm BUFFER_ATOMIC_UMAX : MUBUF_Real_Atomic_si <0x38>;
1445defm BUFFER_ATOMIC_AND : MUBUF_Real_Atomic_si <0x39>;
1446defm BUFFER_ATOMIC_OR : MUBUF_Real_Atomic_si <0x3a>;
1447defm BUFFER_ATOMIC_XOR : MUBUF_Real_Atomic_si <0x3b>;
1448defm BUFFER_ATOMIC_INC : MUBUF_Real_Atomic_si <0x3c>;
1449defm BUFFER_ATOMIC_DEC : MUBUF_Real_Atomic_si <0x3d>;
1450
1451//defm BUFFER_ATOMIC_FCMPSWAP : MUBUF_Real_Atomic_si <0x3e>; // isn't on VI
1452//defm BUFFER_ATOMIC_FMIN : MUBUF_Real_Atomic_si <0x3f>; // isn't on VI
1453//defm BUFFER_ATOMIC_FMAX : MUBUF_Real_Atomic_si <0x40>; // isn't on VI
1454defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Real_Atomic_si <0x50>;
1455defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Real_Atomic_si <0x51>;
1456defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Real_Atomic_si <0x52>;
1457defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Real_Atomic_si <0x53>;
1458//defm BUFFER_ATOMIC_RSUB_X2 : MUBUF_Real_Atomic_si <0x54>; // isn't on CI & VI
1459defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Real_Atomic_si <0x55>;
1460defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Real_Atomic_si <0x56>;
1461defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Real_Atomic_si <0x57>;
1462defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Real_Atomic_si <0x58>;
1463defm BUFFER_ATOMIC_AND_X2 : MUBUF_Real_Atomic_si <0x59>;
1464defm BUFFER_ATOMIC_OR_X2 : MUBUF_Real_Atomic_si <0x5a>;
1465defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Real_Atomic_si <0x5b>;
1466defm BUFFER_ATOMIC_INC_X2 : MUBUF_Real_Atomic_si <0x5c>;
1467defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Real_Atomic_si <0x5d>;
Tom Stellardb133fbb2016-10-27 23:05:31 +00001468// FIXME: Need to handle hazard for BUFFER_ATOMIC_FCMPSWAP_X2 on CI.
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001469//defm BUFFER_ATOMIC_FCMPSWAP_X2 : MUBUF_Real_Atomic_si <0x5e">; // isn't on VI
1470//defm BUFFER_ATOMIC_FMIN_X2 : MUBUF_Real_Atomic_si <0x5f>; // isn't on VI
1471//defm BUFFER_ATOMIC_FMAX_X2 : MUBUF_Real_Atomic_si <0x60>; // isn't on VI
1472
1473def BUFFER_WBINVL1_SC_si : MUBUF_Real_si <0x70, BUFFER_WBINVL1_SC>;
1474def BUFFER_WBINVL1_si : MUBUF_Real_si <0x71, BUFFER_WBINVL1>;
1475
1476class MTBUF_Real_si <bits<3> op, MTBUF_Pseudo ps> :
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001477 MTBUF_Real<ps>,
David Stuttard70e8bc12017-06-22 16:29:22 +00001478 Enc64,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001479 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.SI> {
1480 let AssemblerPredicate=isSICI;
1481 let DecoderNamespace="SICI";
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001482
David Stuttard70e8bc12017-06-22 16:29:22 +00001483 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1484 let Inst{12} = ps.offen;
1485 let Inst{13} = ps.idxen;
1486 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1487 let Inst{15} = ps.addr64;
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001488 let Inst{18-16} = op;
David Stuttard70e8bc12017-06-22 16:29:22 +00001489 let Inst{22-19} = !if(ps.has_dfmt, dfmt, ps.dfmt_value);
1490 let Inst{25-23} = !if(ps.has_nfmt, nfmt, ps.nfmt_value);
1491 let Inst{31-26} = 0x3a; //encoding
1492 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1493 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1494 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1495 let Inst{54} = !if(ps.has_slc, slc, ?);
1496 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1497 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001498}
1499
David Stuttard70e8bc12017-06-22 16:29:22 +00001500multiclass MTBUF_Real_AllAddr_si<bits<3> op> {
1501 def _OFFSET_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_OFFSET")>;
1502 def _ADDR64_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_ADDR64")>;
1503 def _OFFEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_OFFEN")>;
1504 def _IDXEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_IDXEN")>;
1505 def _BOTHEN_si : MTBUF_Real_si <op, !cast<MTBUF_Pseudo>(NAME#"_BOTHEN")>;
1506}
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001507
David Stuttard70e8bc12017-06-22 16:29:22 +00001508defm TBUFFER_LOAD_FORMAT_X : MTBUF_Real_AllAddr_si <0>;
1509defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Real_AllAddr_si <1>;
1510//defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Real_AllAddr_si <2>;
1511defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Real_AllAddr_si <3>;
1512defm TBUFFER_STORE_FORMAT_X : MTBUF_Real_AllAddr_si <4>;
1513defm TBUFFER_STORE_FORMAT_XY : MTBUF_Real_AllAddr_si <5>;
1514defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Real_AllAddr_si <6>;
1515defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Real_AllAddr_si <7>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001516
1517//===----------------------------------------------------------------------===//
1518// CI
1519//===----------------------------------------------------------------------===//
1520
1521class MUBUF_Real_ci <bits<7> op, MUBUF_Pseudo ps> :
1522 MUBUF_Real_si<op, ps> {
1523 let AssemblerPredicate=isCIOnly;
1524 let DecoderNamespace="CI";
1525}
1526
1527def BUFFER_WBINVL1_VOL_ci : MUBUF_Real_ci <0x70, BUFFER_WBINVL1_VOL>;
1528
1529
1530//===----------------------------------------------------------------------===//
1531// VI
1532//===----------------------------------------------------------------------===//
1533
1534class MUBUF_Real_vi <bits<7> op, MUBUF_Pseudo ps> :
1535 MUBUF_Real<op, ps>,
1536 Enc64,
1537 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.VI> {
1538 let AssemblerPredicate=isVI;
1539 let DecoderNamespace="VI";
1540
1541 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1542 let Inst{12} = ps.offen;
1543 let Inst{13} = ps.idxen;
1544 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
1545 let Inst{16} = lds;
1546 let Inst{17} = !if(ps.has_slc, slc, ?);
1547 let Inst{24-18} = op;
1548 let Inst{31-26} = 0x38; //encoding
1549 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1550 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1551 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1552 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1553 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
1554}
1555
1556multiclass MUBUF_Real_AllAddr_vi<bits<7> op> {
1557 def _OFFSET_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET")>;
1558 def _OFFEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN")>;
1559 def _IDXEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN")>;
1560 def _BOTHEN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN")>;
1561}
1562
1563multiclass MUBUF_Real_Atomic_vi<bits<7> op> :
1564 MUBUF_Real_AllAddr_vi<op> {
Matt Arsenaulte5456ce2017-07-20 21:06:04 +00001565 def _OFFSET_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFSET_RTN")>;
1566 def _OFFEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_OFFEN_RTN")>;
1567 def _IDXEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_IDXEN_RTN")>;
1568 def _BOTHEN_RTN_vi : MUBUF_Real_vi <op, !cast<MUBUF_Pseudo>(NAME#"_BOTHEN_RTN")>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001569}
1570
1571defm BUFFER_LOAD_FORMAT_X : MUBUF_Real_AllAddr_vi <0x00>;
1572defm BUFFER_LOAD_FORMAT_XY : MUBUF_Real_AllAddr_vi <0x01>;
1573defm BUFFER_LOAD_FORMAT_XYZ : MUBUF_Real_AllAddr_vi <0x02>;
1574defm BUFFER_LOAD_FORMAT_XYZW : MUBUF_Real_AllAddr_vi <0x03>;
1575defm BUFFER_STORE_FORMAT_X : MUBUF_Real_AllAddr_vi <0x04>;
1576defm BUFFER_STORE_FORMAT_XY : MUBUF_Real_AllAddr_vi <0x05>;
1577defm BUFFER_STORE_FORMAT_XYZ : MUBUF_Real_AllAddr_vi <0x06>;
1578defm BUFFER_STORE_FORMAT_XYZW : MUBUF_Real_AllAddr_vi <0x07>;
1579defm BUFFER_LOAD_UBYTE : MUBUF_Real_AllAddr_vi <0x10>;
1580defm BUFFER_LOAD_SBYTE : MUBUF_Real_AllAddr_vi <0x11>;
1581defm BUFFER_LOAD_USHORT : MUBUF_Real_AllAddr_vi <0x12>;
1582defm BUFFER_LOAD_SSHORT : MUBUF_Real_AllAddr_vi <0x13>;
1583defm BUFFER_LOAD_DWORD : MUBUF_Real_AllAddr_vi <0x14>;
1584defm BUFFER_LOAD_DWORDX2 : MUBUF_Real_AllAddr_vi <0x15>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001585defm BUFFER_LOAD_DWORDX3 : MUBUF_Real_AllAddr_vi <0x16>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001586defm BUFFER_LOAD_DWORDX4 : MUBUF_Real_AllAddr_vi <0x17>;
1587defm BUFFER_STORE_BYTE : MUBUF_Real_AllAddr_vi <0x18>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001588defm BUFFER_STORE_BYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x19>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001589defm BUFFER_STORE_SHORT : MUBUF_Real_AllAddr_vi <0x1a>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001590defm BUFFER_STORE_SHORT_D16_HI : MUBUF_Real_AllAddr_vi <0x1b>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001591defm BUFFER_STORE_DWORD : MUBUF_Real_AllAddr_vi <0x1c>;
1592defm BUFFER_STORE_DWORDX2 : MUBUF_Real_AllAddr_vi <0x1d>;
Artem Tamazov73f1ab22016-10-07 15:53:16 +00001593defm BUFFER_STORE_DWORDX3 : MUBUF_Real_AllAddr_vi <0x1e>;
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001594defm BUFFER_STORE_DWORDX4 : MUBUF_Real_AllAddr_vi <0x1f>;
1595
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001596defm BUFFER_LOAD_UBYTE_D16 : MUBUF_Real_AllAddr_vi <0x20>;
1597defm BUFFER_LOAD_UBYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x21>;
1598defm BUFFER_LOAD_SBYTE_D16 : MUBUF_Real_AllAddr_vi <0x22>;
1599defm BUFFER_LOAD_SBYTE_D16_HI : MUBUF_Real_AllAddr_vi <0x23>;
1600defm BUFFER_LOAD_SHORT_D16 : MUBUF_Real_AllAddr_vi <0x24>;
1601defm BUFFER_LOAD_SHORT_D16_HI : MUBUF_Real_AllAddr_vi <0x25>;
1602
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001603defm BUFFER_ATOMIC_SWAP : MUBUF_Real_Atomic_vi <0x40>;
1604defm BUFFER_ATOMIC_CMPSWAP : MUBUF_Real_Atomic_vi <0x41>;
1605defm BUFFER_ATOMIC_ADD : MUBUF_Real_Atomic_vi <0x42>;
1606defm BUFFER_ATOMIC_SUB : MUBUF_Real_Atomic_vi <0x43>;
1607defm BUFFER_ATOMIC_SMIN : MUBUF_Real_Atomic_vi <0x44>;
1608defm BUFFER_ATOMIC_UMIN : MUBUF_Real_Atomic_vi <0x45>;
1609defm BUFFER_ATOMIC_SMAX : MUBUF_Real_Atomic_vi <0x46>;
1610defm BUFFER_ATOMIC_UMAX : MUBUF_Real_Atomic_vi <0x47>;
1611defm BUFFER_ATOMIC_AND : MUBUF_Real_Atomic_vi <0x48>;
1612defm BUFFER_ATOMIC_OR : MUBUF_Real_Atomic_vi <0x49>;
1613defm BUFFER_ATOMIC_XOR : MUBUF_Real_Atomic_vi <0x4a>;
1614defm BUFFER_ATOMIC_INC : MUBUF_Real_Atomic_vi <0x4b>;
1615defm BUFFER_ATOMIC_DEC : MUBUF_Real_Atomic_vi <0x4c>;
1616
1617defm BUFFER_ATOMIC_SWAP_X2 : MUBUF_Real_Atomic_vi <0x60>;
1618defm BUFFER_ATOMIC_CMPSWAP_X2 : MUBUF_Real_Atomic_vi <0x61>;
1619defm BUFFER_ATOMIC_ADD_X2 : MUBUF_Real_Atomic_vi <0x62>;
1620defm BUFFER_ATOMIC_SUB_X2 : MUBUF_Real_Atomic_vi <0x63>;
1621defm BUFFER_ATOMIC_SMIN_X2 : MUBUF_Real_Atomic_vi <0x64>;
1622defm BUFFER_ATOMIC_UMIN_X2 : MUBUF_Real_Atomic_vi <0x65>;
1623defm BUFFER_ATOMIC_SMAX_X2 : MUBUF_Real_Atomic_vi <0x66>;
1624defm BUFFER_ATOMIC_UMAX_X2 : MUBUF_Real_Atomic_vi <0x67>;
1625defm BUFFER_ATOMIC_AND_X2 : MUBUF_Real_Atomic_vi <0x68>;
1626defm BUFFER_ATOMIC_OR_X2 : MUBUF_Real_Atomic_vi <0x69>;
1627defm BUFFER_ATOMIC_XOR_X2 : MUBUF_Real_Atomic_vi <0x6a>;
1628defm BUFFER_ATOMIC_INC_X2 : MUBUF_Real_Atomic_vi <0x6b>;
1629defm BUFFER_ATOMIC_DEC_X2 : MUBUF_Real_Atomic_vi <0x6c>;
1630
1631def BUFFER_WBINVL1_vi : MUBUF_Real_vi <0x3e, BUFFER_WBINVL1>;
1632def BUFFER_WBINVL1_VOL_vi : MUBUF_Real_vi <0x3f, BUFFER_WBINVL1_VOL>;
1633
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001634class MTBUF_Real_vi <bits<4> op, MTBUF_Pseudo ps> :
1635 MTBUF_Real<ps>,
David Stuttard70e8bc12017-06-22 16:29:22 +00001636 Enc64,
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001637 SIMCInstr<ps.PseudoInstr, SIEncodingFamily.VI> {
1638 let AssemblerPredicate=isVI;
1639 let DecoderNamespace="VI";
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001640
David Stuttard70e8bc12017-06-22 16:29:22 +00001641 let Inst{11-0} = !if(ps.has_offset, offset, ?);
1642 let Inst{12} = ps.offen;
1643 let Inst{13} = ps.idxen;
1644 let Inst{14} = !if(ps.has_glc, glc, ps.glc_value);
Valery Pykhtinfbf2d932016-09-23 21:21:21 +00001645 let Inst{18-15} = op;
David Stuttard70e8bc12017-06-22 16:29:22 +00001646 let Inst{22-19} = !if(ps.has_dfmt, dfmt, ps.dfmt_value);
1647 let Inst{25-23} = !if(ps.has_nfmt, nfmt, ps.nfmt_value);
1648 let Inst{31-26} = 0x3a; //encoding
1649 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
1650 let Inst{47-40} = !if(ps.has_vdata, vdata, ?);
1651 let Inst{52-48} = !if(ps.has_srsrc, srsrc{6-2}, ?);
1652 let Inst{54} = !if(ps.has_slc, slc, ?);
1653 let Inst{55} = !if(ps.has_tfe, tfe, ?);
1654 let Inst{63-56} = !if(ps.has_soffset, soffset, ?);
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001655}
1656
David Stuttard70e8bc12017-06-22 16:29:22 +00001657multiclass MTBUF_Real_AllAddr_vi<bits<4> op> {
1658 def _OFFSET_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_OFFSET")>;
1659 def _OFFEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_OFFEN")>;
1660 def _IDXEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_IDXEN")>;
1661 def _BOTHEN_vi : MTBUF_Real_vi <op, !cast<MTBUF_Pseudo>(NAME#"_BOTHEN")>;
1662}
Valery Pykhtinb66e5eb2016-09-10 13:09:16 +00001663
David Stuttard70e8bc12017-06-22 16:29:22 +00001664defm TBUFFER_LOAD_FORMAT_X : MTBUF_Real_AllAddr_vi <0>;
1665defm TBUFFER_LOAD_FORMAT_XY : MTBUF_Real_AllAddr_vi <1>;
1666//defm TBUFFER_LOAD_FORMAT_XYZ : MTBUF_Real_AllAddr_vi <2>;
1667defm TBUFFER_LOAD_FORMAT_XYZW : MTBUF_Real_AllAddr_vi <3>;
1668defm TBUFFER_STORE_FORMAT_X : MTBUF_Real_AllAddr_vi <4>;
1669defm TBUFFER_STORE_FORMAT_XY : MTBUF_Real_AllAddr_vi <5>;
1670defm TBUFFER_STORE_FORMAT_XYZ : MTBUF_Real_AllAddr_vi <6>;
1671defm TBUFFER_STORE_FORMAT_XYZW : MTBUF_Real_AllAddr_vi <7>;