blob: 85f610304b0f55c79bf6cc2fdeb2caf83707dd6e [file] [log] [blame]
Valery Pykhtin8bc65962016-09-05 11:22:51 +00001//===-- FLATInstructions.td - FLAT 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
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +000010def FLATAtomic : ComplexPattern<i64, 3, "SelectFlatAtomic", [], [], -10>;
Matt Arsenault4e309b02017-07-29 01:03:53 +000011def FLATOffset : ComplexPattern<i64, 3, "SelectFlatOffset<false>", [], [], -10>;
12
13def FLATOffsetSigned : ComplexPattern<i64, 3, "SelectFlatOffset<true>", [], [], -10>;
14def FLATSignedAtomic : ComplexPattern<i64, 3, "SelectFlatAtomicSigned", [], [], -10>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +000015
16//===----------------------------------------------------------------------===//
17// FLAT classes
18//===----------------------------------------------------------------------===//
19
20class FLAT_Pseudo<string opName, dag outs, dag ins,
21 string asmOps, list<dag> pattern=[]> :
22 InstSI<outs, ins, "", pattern>,
23 SIMCInstr<opName, SIEncodingFamily.NONE> {
24
25 let isPseudo = 1;
26 let isCodeGenOnly = 1;
27
Valery Pykhtin8bc65962016-09-05 11:22:51 +000028 let FLAT = 1;
Valery Pykhtin8bc65962016-09-05 11:22:51 +000029
Valery Pykhtin8bc65962016-09-05 11:22:51 +000030 let UseNamedOperandTable = 1;
31 let hasSideEffects = 0;
32 let SchedRW = [WriteVMEM];
33
34 string Mnemonic = opName;
35 string AsmOperands = asmOps;
36
Matt Arsenault9698f1c2017-06-20 19:54:14 +000037 bits<1> is_flat_global = 0;
38 bits<1> is_flat_scratch = 0;
39
Valery Pykhtin8bc65962016-09-05 11:22:51 +000040 bits<1> has_vdst = 1;
Matt Arsenault04004712017-07-20 05:17:54 +000041
42 // We need to distinguish having saddr and enabling saddr because
43 // saddr is only valid for scratch and global instructions. Pre-gfx9
44 // these bits were reserved, so we also don't necessarily want to
45 // set these bits to the disabled value for the original flat
46 // segment instructions.
47 bits<1> has_saddr = 0;
48 bits<1> enabled_saddr = 0;
49 bits<7> saddr_value = 0;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +000050 bits<1> has_vaddr = 1;
Matt Arsenault04004712017-07-20 05:17:54 +000051
Valery Pykhtin8bc65962016-09-05 11:22:51 +000052 bits<1> has_data = 1;
53 bits<1> has_glc = 1;
54 bits<1> glcValue = 0;
Matt Arsenault9698f1c2017-06-20 19:54:14 +000055
Matt Arsenault8728c5f2017-08-07 14:58:04 +000056 let SubtargetPredicate = !if(is_flat_global, HasFlatGlobalInsts,
57 !if(is_flat_scratch, HasFlatScratchInsts, HasFlatAddressSpace));
58
Matt Arsenault9698f1c2017-06-20 19:54:14 +000059 // TODO: M0 if it could possibly access LDS (before gfx9? only)?
60 let Uses = !if(is_flat_global, [EXEC], [EXEC, FLAT_SCR]);
Matt Arsenault6ab9ea92017-07-21 18:34:51 +000061
62 // Internally, FLAT instruction are executed as both an LDS and a
63 // Buffer instruction; so, they increment both VM_CNT and LGKM_CNT
64 // and are not considered done until both have been decremented.
65 let VM_CNT = 1;
66 let LGKM_CNT = !if(!or(is_flat_global, is_flat_scratch), 0, 1);
Valery Pykhtin8bc65962016-09-05 11:22:51 +000067}
68
69class FLAT_Real <bits<7> op, FLAT_Pseudo ps> :
70 InstSI <ps.OutOperandList, ps.InOperandList, ps.Mnemonic # ps.AsmOperands, []>,
71 Enc64 {
72
73 let isPseudo = 0;
74 let isCodeGenOnly = 0;
75
76 // copy relevant pseudo op flags
77 let SubtargetPredicate = ps.SubtargetPredicate;
78 let AsmMatchConverter = ps.AsmMatchConverter;
Matt Arsenaultfd023142017-06-12 15:55:58 +000079 let TSFlags = ps.TSFlags;
80 let UseNamedOperandTable = ps.UseNamedOperandTable;
Valery Pykhtin8bc65962016-09-05 11:22:51 +000081
82 // encoding fields
Matt Arsenault97279a82016-11-29 19:30:44 +000083 bits<8> vaddr;
84 bits<8> vdata;
Matt Arsenault04004712017-07-20 05:17:54 +000085 bits<7> saddr;
Valery Pykhtin8bc65962016-09-05 11:22:51 +000086 bits<8> vdst;
Matt Arsenault04004712017-07-20 05:17:54 +000087
Valery Pykhtin8bc65962016-09-05 11:22:51 +000088 bits<1> slc;
89 bits<1> glc;
Matt Arsenault47ccafe2017-05-11 17:38:33 +000090
Matt Arsenaultfd023142017-06-12 15:55:58 +000091 // Only valid on gfx9
92 bits<1> lds = 0; // XXX - What does this actually do?
Matt Arsenault9698f1c2017-06-20 19:54:14 +000093
94 // Segment, 00=flat, 01=scratch, 10=global, 11=reserved
95 bits<2> seg = !if(ps.is_flat_global, 0b10,
96 !if(ps.is_flat_scratch, 0b01, 0));
Matt Arsenaultfd023142017-06-12 15:55:58 +000097
98 // Signed offset. Highest bit ignored for flat and treated as 12-bit
99 // unsigned for flat acceses.
100 bits<13> offset;
101 bits<1> nv = 0; // XXX - What does this actually do?
102
Matt Arsenault47ccafe2017-05-11 17:38:33 +0000103 // We don't use tfe right now, and it was removed in gfx9.
104 bits<1> tfe = 0;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000105
Matt Arsenaultfd023142017-06-12 15:55:58 +0000106 // Only valid on GFX9+
107 let Inst{12-0} = offset;
108 let Inst{13} = lds;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000109 let Inst{15-14} = seg;
Matt Arsenaultfd023142017-06-12 15:55:58 +0000110
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000111 let Inst{16} = !if(ps.has_glc, glc, ps.glcValue);
112 let Inst{17} = slc;
113 let Inst{24-18} = op;
114 let Inst{31-26} = 0x37; // Encoding.
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000115 let Inst{39-32} = !if(ps.has_vaddr, vaddr, ?);
Matt Arsenault97279a82016-11-29 19:30:44 +0000116 let Inst{47-40} = !if(ps.has_data, vdata, ?);
Matt Arsenault04004712017-07-20 05:17:54 +0000117 let Inst{54-48} = !if(ps.has_saddr, !if(ps.enabled_saddr, saddr, 0x7f), 0);
118
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000119 // 54-48 is reserved.
Matt Arsenaultfd023142017-06-12 15:55:58 +0000120 let Inst{55} = nv; // nv on GFX9+, TFE before.
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000121 let Inst{63-56} = !if(ps.has_vdst, vdst, ?);
122}
123
Matt Arsenault04004712017-07-20 05:17:54 +0000124// TODO: Is exec allowed for saddr? The disabled value 0x7f is the
125// same encoding value as exec_hi, so it isn't possible to use that if
126// saddr is 32-bit (which isn't handled here yet).
Matt Arsenaultfd023142017-06-12 15:55:58 +0000127class FLAT_Load_Pseudo <string opName, RegisterClass regClass,
Matt Arsenault04004712017-07-20 05:17:54 +0000128 bit HasSignedOffset = 0, bit HasSaddr = 0, bit EnableSaddr = 0> : FLAT_Pseudo<
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000129 opName,
130 (outs regClass:$vdst),
Matt Arsenault461ed082017-09-08 19:09:13 +0000131 !con(
132 !con(
133 !con((ins VReg_64:$vaddr),
134 !if(EnableSaddr, (ins SReg_64:$saddr), (ins))),
135 (ins !if(HasSignedOffset,offset_s13,offset_u12):$offset)),
136 (ins GLC:$glc, slc:$slc)),
Matt Arsenault04004712017-07-20 05:17:54 +0000137 " $vdst, $vaddr"#!if(HasSaddr, !if(EnableSaddr, ", $saddr", ", off"), "")#"$offset$glc$slc"> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000138 let has_data = 0;
139 let mayLoad = 1;
Matt Arsenault04004712017-07-20 05:17:54 +0000140 let has_saddr = HasSaddr;
141 let enabled_saddr = EnableSaddr;
142 let PseudoInstr = opName#!if(!and(HasSaddr, EnableSaddr), "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000143 let maybeAtomic = 1;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000144}
145
Matt Arsenaultfd023142017-06-12 15:55:58 +0000146class FLAT_Store_Pseudo <string opName, RegisterClass vdataClass,
Matt Arsenault04004712017-07-20 05:17:54 +0000147 bit HasSignedOffset = 0, bit HasSaddr = 0, bit EnableSaddr = 0> : FLAT_Pseudo<
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000148 opName,
149 (outs),
Matt Arsenault461ed082017-09-08 19:09:13 +0000150 !con(
151 !con(
152 !con((ins VReg_64:$vaddr, vdataClass:$vdata),
153 !if(EnableSaddr, (ins SReg_64:$saddr), (ins))),
154 (ins !if(HasSignedOffset,offset_s13,offset_u12):$offset)),
155 (ins GLC:$glc, slc:$slc)),
Matt Arsenault04004712017-07-20 05:17:54 +0000156 " $vaddr, $vdata"#!if(HasSaddr, !if(EnableSaddr, ", $saddr", ", off"), "")#"$offset$glc$slc"> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000157 let mayLoad = 0;
158 let mayStore = 1;
159 let has_vdst = 0;
Matt Arsenault04004712017-07-20 05:17:54 +0000160 let has_saddr = HasSaddr;
161 let enabled_saddr = EnableSaddr;
162 let PseudoInstr = opName#!if(!and(HasSaddr, EnableSaddr), "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000163 let maybeAtomic = 1;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000164}
165
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000166multiclass FLAT_Global_Load_Pseudo<string opName, RegisterClass regClass> {
167 let is_flat_global = 1 in {
168 def "" : FLAT_Load_Pseudo<opName, regClass, 1, 1>;
169 def _SADDR : FLAT_Load_Pseudo<opName, regClass, 1, 1, 1>;
170 }
171}
172
Matt Arsenault04004712017-07-20 05:17:54 +0000173multiclass FLAT_Global_Store_Pseudo<string opName, RegisterClass regClass> {
174 let is_flat_global = 1 in {
175 def "" : FLAT_Store_Pseudo<opName, regClass, 1, 1>;
176 def _SADDR : FLAT_Store_Pseudo<opName, regClass, 1, 1, 1>;
177 }
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000178}
179
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000180class FLAT_Scratch_Load_Pseudo <string opName, RegisterClass regClass,
181 bit EnableSaddr = 0>: FLAT_Pseudo<
182 opName,
183 (outs regClass:$vdst),
184 !if(EnableSaddr,
185 (ins SReg_32_XEXEC_HI:$saddr, offset_s13:$offset, GLC:$glc, slc:$slc),
186 (ins VGPR_32:$vaddr, offset_s13:$offset, GLC:$glc, slc:$slc)),
187 " $vdst, "#!if(EnableSaddr, "off", "$vaddr")#!if(EnableSaddr, ", $saddr", ", off")#"$offset$glc$slc"> {
188 let has_data = 0;
189 let mayLoad = 1;
190 let has_saddr = 1;
191 let enabled_saddr = EnableSaddr;
192 let has_vaddr = !if(EnableSaddr, 0, 1);
193 let PseudoInstr = opName#!if(EnableSaddr, "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000194 let maybeAtomic = 1;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000195}
196
197class FLAT_Scratch_Store_Pseudo <string opName, RegisterClass vdataClass, bit EnableSaddr = 0> : FLAT_Pseudo<
198 opName,
199 (outs),
200 !if(EnableSaddr,
201 (ins vdataClass:$vdata, SReg_32_XEXEC_HI:$saddr, offset_s13:$offset, GLC:$glc, slc:$slc),
202 (ins vdataClass:$vdata, VGPR_32:$vaddr, offset_s13:$offset, GLC:$glc, slc:$slc)),
203 " "#!if(EnableSaddr, "off", "$vaddr")#", $vdata, "#!if(EnableSaddr, "$saddr", "off")#"$offset$glc$slc"> {
204 let mayLoad = 0;
205 let mayStore = 1;
206 let has_vdst = 0;
207 let has_saddr = 1;
208 let enabled_saddr = EnableSaddr;
209 let has_vaddr = !if(EnableSaddr, 0, 1);
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000210 let PseudoInstr = opName#!if(EnableSaddr, "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000211 let maybeAtomic = 1;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000212}
213
214multiclass FLAT_Scratch_Load_Pseudo<string opName, RegisterClass regClass> {
215 let is_flat_scratch = 1 in {
216 def "" : FLAT_Scratch_Load_Pseudo<opName, regClass>;
217 def _SADDR : FLAT_Scratch_Load_Pseudo<opName, regClass, 1>;
218 }
219}
220
221multiclass FLAT_Scratch_Store_Pseudo<string opName, RegisterClass regClass> {
222 let is_flat_scratch = 1 in {
223 def "" : FLAT_Scratch_Store_Pseudo<opName, regClass>;
224 def _SADDR : FLAT_Scratch_Store_Pseudo<opName, regClass, 1>;
225 }
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000226}
227
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000228class FLAT_AtomicNoRet_Pseudo<string opName, dag outs, dag ins,
229 string asm, list<dag> pattern = []> :
230 FLAT_Pseudo<opName, outs, ins, asm, pattern> {
231 let mayLoad = 1;
232 let mayStore = 1;
233 let has_glc = 0;
234 let glcValue = 0;
235 let has_vdst = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000236 let maybeAtomic = 1;
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000237}
238
239class FLAT_AtomicRet_Pseudo<string opName, dag outs, dag ins,
240 string asm, list<dag> pattern = []>
241 : FLAT_AtomicNoRet_Pseudo<opName, outs, ins, asm, pattern> {
242 let hasPostISelHook = 1;
243 let has_vdst = 1;
244 let glcValue = 1;
245 let PseudoInstr = NAME # "_RTN";
246}
247
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000248multiclass FLAT_Atomic_Pseudo<
249 string opName,
250 RegisterClass vdst_rc,
251 ValueType vt,
252 SDPatternOperator atomic = null_frag,
253 ValueType data_vt = vt,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000254 RegisterClass data_rc = vdst_rc> {
255 def "" : FLAT_AtomicNoRet_Pseudo <opName,
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000256 (outs),
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000257 (ins VReg_64:$vaddr, data_rc:$vdata, offset_u12:$offset, slc:$slc),
258 " $vaddr, $vdata$offset$slc">,
259 AtomicNoRet <opName, 0> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000260 let PseudoInstr = NAME;
261 }
262
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000263 def _RTN : FLAT_AtomicRet_Pseudo <opName,
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000264 (outs vdst_rc:$vdst),
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000265 (ins VReg_64:$vaddr, data_rc:$vdata, offset_u12:$offset, slc:$slc),
Matt Arsenaultfd023142017-06-12 15:55:58 +0000266 " $vdst, $vaddr, $vdata$offset glc$slc",
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000267 [(set vt:$vdst,
Matt Arsenaultfd023142017-06-12 15:55:58 +0000268 (atomic (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$vdata))]>,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000269 AtomicNoRet <opName, 1>;
270}
271
272multiclass FLAT_Global_Atomic_Pseudo<
273 string opName,
274 RegisterClass vdst_rc,
275 ValueType vt,
276 SDPatternOperator atomic = null_frag,
277 ValueType data_vt = vt,
278 RegisterClass data_rc = vdst_rc> {
279
280 def "" : FLAT_AtomicNoRet_Pseudo <opName,
281 (outs),
282 (ins VReg_64:$vaddr, data_rc:$vdata, offset_s13:$offset, slc:$slc),
283 " $vaddr, $vdata, off$offset$slc">,
284 AtomicNoRet <opName, 0> {
285 let has_saddr = 1;
286 let PseudoInstr = NAME;
287 }
288
289 def _RTN : FLAT_AtomicRet_Pseudo <opName,
290 (outs vdst_rc:$vdst),
291 (ins VReg_64:$vaddr, data_rc:$vdata, offset_s13:$offset, slc:$slc),
292 " $vdst, $vaddr, $vdata, off$offset glc$slc",
293 [(set vt:$vdst,
Matt Arsenault4e309b02017-07-29 01:03:53 +0000294 (atomic (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$vdata))]>,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000295 AtomicNoRet <opName, 1> {
296 let has_saddr = 1;
297 }
298
299 def _SADDR : FLAT_AtomicNoRet_Pseudo <opName,
300 (outs),
301 (ins VReg_64:$vaddr, data_rc:$vdata, SReg_64:$saddr, offset_s13:$offset, slc:$slc),
302 " $vaddr, $vdata$saddr$offset$slc">,
303 AtomicNoRet <opName#"_saddr", 0> {
304 let has_saddr = 1;
305 let enabled_saddr = 1;
306 let PseudoInstr = NAME#"_SADDR";
307 }
308
309 def _SADDR_RTN : FLAT_AtomicRet_Pseudo <opName,
310 (outs vdst_rc:$vdst),
311 (ins VReg_64:$vaddr, data_rc:$vdata, SReg_64:$saddr, offset_s13:$offset, slc:$slc),
312 " $vdst, $vaddr, $vdata$saddr$offset glc$slc">,
313 AtomicNoRet <opName#"_saddr", 1> {
314 let has_saddr = 1;
315 let enabled_saddr = 1;
316 let PseudoInstr = NAME#"_SADDR_RTN";
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000317 }
318}
319
320class flat_binary_atomic_op<SDNode atomic_op> : PatFrag<
321 (ops node:$ptr, node:$value),
322 (atomic_op node:$ptr, node:$value),
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000323 [{return cast<MemSDNode>(N)->getAddressSpace() == AMDGPUASI.FLAT_ADDRESS;}]
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000324>;
325
326def atomic_cmp_swap_flat : flat_binary_atomic_op<AMDGPUatomic_cmp_swap>;
327def atomic_swap_flat : flat_binary_atomic_op<atomic_swap>;
328def atomic_add_flat : flat_binary_atomic_op<atomic_load_add>;
329def atomic_and_flat : flat_binary_atomic_op<atomic_load_and>;
330def atomic_max_flat : flat_binary_atomic_op<atomic_load_max>;
331def atomic_min_flat : flat_binary_atomic_op<atomic_load_min>;
332def atomic_or_flat : flat_binary_atomic_op<atomic_load_or>;
333def atomic_sub_flat : flat_binary_atomic_op<atomic_load_sub>;
334def atomic_umax_flat : flat_binary_atomic_op<atomic_load_umax>;
335def atomic_umin_flat : flat_binary_atomic_op<atomic_load_umin>;
336def atomic_xor_flat : flat_binary_atomic_op<atomic_load_xor>;
337def atomic_inc_flat : flat_binary_atomic_op<SIatomic_inc>;
338def atomic_dec_flat : flat_binary_atomic_op<SIatomic_dec>;
339
340
341
342//===----------------------------------------------------------------------===//
343// Flat Instructions
344//===----------------------------------------------------------------------===//
345
346def FLAT_LOAD_UBYTE : FLAT_Load_Pseudo <"flat_load_ubyte", VGPR_32>;
347def FLAT_LOAD_SBYTE : FLAT_Load_Pseudo <"flat_load_sbyte", VGPR_32>;
348def FLAT_LOAD_USHORT : FLAT_Load_Pseudo <"flat_load_ushort", VGPR_32>;
349def FLAT_LOAD_SSHORT : FLAT_Load_Pseudo <"flat_load_sshort", VGPR_32>;
350def FLAT_LOAD_DWORD : FLAT_Load_Pseudo <"flat_load_dword", VGPR_32>;
351def FLAT_LOAD_DWORDX2 : FLAT_Load_Pseudo <"flat_load_dwordx2", VReg_64>;
352def FLAT_LOAD_DWORDX4 : FLAT_Load_Pseudo <"flat_load_dwordx4", VReg_128>;
353def FLAT_LOAD_DWORDX3 : FLAT_Load_Pseudo <"flat_load_dwordx3", VReg_96>;
354
355def FLAT_STORE_BYTE : FLAT_Store_Pseudo <"flat_store_byte", VGPR_32>;
356def FLAT_STORE_SHORT : FLAT_Store_Pseudo <"flat_store_short", VGPR_32>;
357def FLAT_STORE_DWORD : FLAT_Store_Pseudo <"flat_store_dword", VGPR_32>;
358def FLAT_STORE_DWORDX2 : FLAT_Store_Pseudo <"flat_store_dwordx2", VReg_64>;
359def FLAT_STORE_DWORDX4 : FLAT_Store_Pseudo <"flat_store_dwordx4", VReg_128>;
360def FLAT_STORE_DWORDX3 : FLAT_Store_Pseudo <"flat_store_dwordx3", VReg_96>;
361
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000362let SubtargetPredicate = HasD16LoadStore in {
363def FLAT_LOAD_UBYTE_D16 : FLAT_Load_Pseudo <"flat_load_ubyte_d16", VGPR_32>;
364def FLAT_LOAD_UBYTE_D16_HI : FLAT_Load_Pseudo <"flat_load_ubyte_d16_hi", VGPR_32>;
365def FLAT_LOAD_SBYTE_D16 : FLAT_Load_Pseudo <"flat_load_sbyte_d16", VGPR_32>;
366def FLAT_LOAD_SBYTE_D16_HI : FLAT_Load_Pseudo <"flat_load_sbyte_d16_hi", VGPR_32>;
367def FLAT_LOAD_SHORT_D16 : FLAT_Load_Pseudo <"flat_load_short_d16", VGPR_32>;
368def FLAT_LOAD_SHORT_D16_HI : FLAT_Load_Pseudo <"flat_load_short_d16_hi", VGPR_32>;
369
370def FLAT_STORE_BYTE_D16_HI : FLAT_Store_Pseudo <"flat_store_byte_d16_hi", VGPR_32>;
371def FLAT_STORE_SHORT_D16_HI : FLAT_Store_Pseudo <"flat_store_short_d16_hi", VGPR_32>;
372}
373
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000374defm FLAT_ATOMIC_CMPSWAP : FLAT_Atomic_Pseudo <"flat_atomic_cmpswap",
375 VGPR_32, i32, atomic_cmp_swap_flat,
376 v2i32, VReg_64>;
377
378defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_cmpswap_x2",
379 VReg_64, i64, atomic_cmp_swap_flat,
380 v2i64, VReg_128>;
381
382defm FLAT_ATOMIC_SWAP : FLAT_Atomic_Pseudo <"flat_atomic_swap",
383 VGPR_32, i32, atomic_swap_flat>;
384
385defm FLAT_ATOMIC_SWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_swap_x2",
386 VReg_64, i64, atomic_swap_flat>;
387
388defm FLAT_ATOMIC_ADD : FLAT_Atomic_Pseudo <"flat_atomic_add",
389 VGPR_32, i32, atomic_add_flat>;
390
391defm FLAT_ATOMIC_SUB : FLAT_Atomic_Pseudo <"flat_atomic_sub",
392 VGPR_32, i32, atomic_sub_flat>;
393
394defm FLAT_ATOMIC_SMIN : FLAT_Atomic_Pseudo <"flat_atomic_smin",
395 VGPR_32, i32, atomic_min_flat>;
396
397defm FLAT_ATOMIC_UMIN : FLAT_Atomic_Pseudo <"flat_atomic_umin",
398 VGPR_32, i32, atomic_umin_flat>;
399
400defm FLAT_ATOMIC_SMAX : FLAT_Atomic_Pseudo <"flat_atomic_smax",
401 VGPR_32, i32, atomic_max_flat>;
402
403defm FLAT_ATOMIC_UMAX : FLAT_Atomic_Pseudo <"flat_atomic_umax",
404 VGPR_32, i32, atomic_umax_flat>;
405
406defm FLAT_ATOMIC_AND : FLAT_Atomic_Pseudo <"flat_atomic_and",
407 VGPR_32, i32, atomic_and_flat>;
408
409defm FLAT_ATOMIC_OR : FLAT_Atomic_Pseudo <"flat_atomic_or",
410 VGPR_32, i32, atomic_or_flat>;
411
412defm FLAT_ATOMIC_XOR : FLAT_Atomic_Pseudo <"flat_atomic_xor",
413 VGPR_32, i32, atomic_xor_flat>;
414
415defm FLAT_ATOMIC_INC : FLAT_Atomic_Pseudo <"flat_atomic_inc",
416 VGPR_32, i32, atomic_inc_flat>;
417
418defm FLAT_ATOMIC_DEC : FLAT_Atomic_Pseudo <"flat_atomic_dec",
419 VGPR_32, i32, atomic_dec_flat>;
420
421defm FLAT_ATOMIC_ADD_X2 : FLAT_Atomic_Pseudo <"flat_atomic_add_x2",
422 VReg_64, i64, atomic_add_flat>;
423
424defm FLAT_ATOMIC_SUB_X2 : FLAT_Atomic_Pseudo <"flat_atomic_sub_x2",
425 VReg_64, i64, atomic_sub_flat>;
426
427defm FLAT_ATOMIC_SMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_smin_x2",
428 VReg_64, i64, atomic_min_flat>;
429
430defm FLAT_ATOMIC_UMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_umin_x2",
431 VReg_64, i64, atomic_umin_flat>;
432
433defm FLAT_ATOMIC_SMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_smax_x2",
434 VReg_64, i64, atomic_max_flat>;
435
436defm FLAT_ATOMIC_UMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_umax_x2",
437 VReg_64, i64, atomic_umax_flat>;
438
439defm FLAT_ATOMIC_AND_X2 : FLAT_Atomic_Pseudo <"flat_atomic_and_x2",
440 VReg_64, i64, atomic_and_flat>;
441
442defm FLAT_ATOMIC_OR_X2 : FLAT_Atomic_Pseudo <"flat_atomic_or_x2",
443 VReg_64, i64, atomic_or_flat>;
444
445defm FLAT_ATOMIC_XOR_X2 : FLAT_Atomic_Pseudo <"flat_atomic_xor_x2",
446 VReg_64, i64, atomic_xor_flat>;
447
448defm FLAT_ATOMIC_INC_X2 : FLAT_Atomic_Pseudo <"flat_atomic_inc_x2",
449 VReg_64, i64, atomic_inc_flat>;
450
451defm FLAT_ATOMIC_DEC_X2 : FLAT_Atomic_Pseudo <"flat_atomic_dec_x2",
452 VReg_64, i64, atomic_dec_flat>;
453
454let SubtargetPredicate = isCI in { // CI Only flat instructions : FIXME Only?
455
456defm FLAT_ATOMIC_FCMPSWAP : FLAT_Atomic_Pseudo <"flat_atomic_fcmpswap",
457 VGPR_32, f32, null_frag, v2f32, VReg_64>;
458
459defm FLAT_ATOMIC_FCMPSWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fcmpswap_x2",
460 VReg_64, f64, null_frag, v2f64, VReg_128>;
461
462defm FLAT_ATOMIC_FMIN : FLAT_Atomic_Pseudo <"flat_atomic_fmin",
463 VGPR_32, f32>;
464
465defm FLAT_ATOMIC_FMAX : FLAT_Atomic_Pseudo <"flat_atomic_fmax",
466 VGPR_32, f32>;
467
468defm FLAT_ATOMIC_FMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fmin_x2",
469 VReg_64, f64>;
470
471defm FLAT_ATOMIC_FMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fmax_x2",
472 VReg_64, f64>;
473
474} // End SubtargetPredicate = isCI
475
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000476let SubtargetPredicate = HasFlatGlobalInsts in {
Matt Arsenault04004712017-07-20 05:17:54 +0000477defm GLOBAL_LOAD_UBYTE : FLAT_Global_Load_Pseudo <"global_load_ubyte", VGPR_32>;
478defm GLOBAL_LOAD_SBYTE : FLAT_Global_Load_Pseudo <"global_load_sbyte", VGPR_32>;
479defm GLOBAL_LOAD_USHORT : FLAT_Global_Load_Pseudo <"global_load_ushort", VGPR_32>;
480defm GLOBAL_LOAD_SSHORT : FLAT_Global_Load_Pseudo <"global_load_sshort", VGPR_32>;
481defm GLOBAL_LOAD_DWORD : FLAT_Global_Load_Pseudo <"global_load_dword", VGPR_32>;
482defm GLOBAL_LOAD_DWORDX2 : FLAT_Global_Load_Pseudo <"global_load_dwordx2", VReg_64>;
483defm GLOBAL_LOAD_DWORDX3 : FLAT_Global_Load_Pseudo <"global_load_dwordx3", VReg_96>;
484defm GLOBAL_LOAD_DWORDX4 : FLAT_Global_Load_Pseudo <"global_load_dwordx4", VReg_128>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000485
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000486defm GLOBAL_LOAD_UBYTE_D16 : FLAT_Global_Load_Pseudo <"global_load_ubyte_d16", VGPR_32>;
487defm GLOBAL_LOAD_UBYTE_D16_HI : FLAT_Global_Load_Pseudo <"global_load_ubyte_d16_hi", VGPR_32>;
488defm GLOBAL_LOAD_SBYTE_D16 : FLAT_Global_Load_Pseudo <"global_load_sbyte_d16", VGPR_32>;
489defm GLOBAL_LOAD_SBYTE_D16_HI : FLAT_Global_Load_Pseudo <"global_load_sbyte_d16_hi", VGPR_32>;
490defm GLOBAL_LOAD_SHORT_D16 : FLAT_Global_Load_Pseudo <"global_load_short_d16", VGPR_32>;
491defm GLOBAL_LOAD_SHORT_D16_HI : FLAT_Global_Load_Pseudo <"global_load_short_d16_hi", VGPR_32>;
492
Matt Arsenault04004712017-07-20 05:17:54 +0000493defm GLOBAL_STORE_BYTE : FLAT_Global_Store_Pseudo <"global_store_byte", VGPR_32>;
494defm GLOBAL_STORE_SHORT : FLAT_Global_Store_Pseudo <"global_store_short", VGPR_32>;
495defm GLOBAL_STORE_DWORD : FLAT_Global_Store_Pseudo <"global_store_dword", VGPR_32>;
496defm GLOBAL_STORE_DWORDX2 : FLAT_Global_Store_Pseudo <"global_store_dwordx2", VReg_64>;
497defm GLOBAL_STORE_DWORDX3 : FLAT_Global_Store_Pseudo <"global_store_dwordx3", VReg_96>;
498defm GLOBAL_STORE_DWORDX4 : FLAT_Global_Store_Pseudo <"global_store_dwordx4", VReg_128>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000499
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000500defm GLOBAL_STORE_BYTE_D16_HI : FLAT_Global_Store_Pseudo <"global_store_byte_d16_hi", VGPR_32>;
501defm GLOBAL_STORE_SHORT_D16_HI : FLAT_Global_Store_Pseudo <"global_store_short_d16_hi", VGPR_32>;
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000502
503let is_flat_global = 1 in {
504defm GLOBAL_ATOMIC_CMPSWAP : FLAT_Global_Atomic_Pseudo <"global_atomic_cmpswap",
505 VGPR_32, i32, AMDGPUatomic_cmp_swap_global,
506 v2i32, VReg_64>;
507
508defm GLOBAL_ATOMIC_CMPSWAP_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_cmpswap_x2",
509 VReg_64, i64, AMDGPUatomic_cmp_swap_global,
510 v2i64, VReg_128>;
511
512defm GLOBAL_ATOMIC_SWAP : FLAT_Global_Atomic_Pseudo <"global_atomic_swap",
513 VGPR_32, i32, atomic_swap_global>;
514
515defm GLOBAL_ATOMIC_SWAP_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_swap_x2",
516 VReg_64, i64, atomic_swap_global>;
517
518defm GLOBAL_ATOMIC_ADD : FLAT_Global_Atomic_Pseudo <"global_atomic_add",
519 VGPR_32, i32, atomic_add_global>;
520
521defm GLOBAL_ATOMIC_SUB : FLAT_Global_Atomic_Pseudo <"global_atomic_sub",
522 VGPR_32, i32, atomic_sub_global>;
523
524defm GLOBAL_ATOMIC_SMIN : FLAT_Global_Atomic_Pseudo <"global_atomic_smin",
525 VGPR_32, i32, atomic_min_global>;
526
527defm GLOBAL_ATOMIC_UMIN : FLAT_Global_Atomic_Pseudo <"global_atomic_umin",
528 VGPR_32, i32, atomic_umin_global>;
529
530defm GLOBAL_ATOMIC_SMAX : FLAT_Global_Atomic_Pseudo <"global_atomic_smax",
531 VGPR_32, i32, atomic_max_global>;
532
533defm GLOBAL_ATOMIC_UMAX : FLAT_Global_Atomic_Pseudo <"global_atomic_umax",
534 VGPR_32, i32, atomic_umax_global>;
535
536defm GLOBAL_ATOMIC_AND : FLAT_Global_Atomic_Pseudo <"global_atomic_and",
537 VGPR_32, i32, atomic_and_global>;
538
539defm GLOBAL_ATOMIC_OR : FLAT_Global_Atomic_Pseudo <"global_atomic_or",
540 VGPR_32, i32, atomic_or_global>;
541
542defm GLOBAL_ATOMIC_XOR : FLAT_Global_Atomic_Pseudo <"global_atomic_xor",
543 VGPR_32, i32, atomic_xor_global>;
544
545defm GLOBAL_ATOMIC_INC : FLAT_Global_Atomic_Pseudo <"global_atomic_inc",
546 VGPR_32, i32, atomic_inc_global>;
547
548defm GLOBAL_ATOMIC_DEC : FLAT_Global_Atomic_Pseudo <"global_atomic_dec",
549 VGPR_32, i32, atomic_dec_global>;
550
551defm GLOBAL_ATOMIC_ADD_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_add_x2",
552 VReg_64, i64, atomic_add_global>;
553
554defm GLOBAL_ATOMIC_SUB_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_sub_x2",
555 VReg_64, i64, atomic_sub_global>;
556
557defm GLOBAL_ATOMIC_SMIN_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_smin_x2",
558 VReg_64, i64, atomic_min_global>;
559
560defm GLOBAL_ATOMIC_UMIN_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_umin_x2",
561 VReg_64, i64, atomic_umin_global>;
562
563defm GLOBAL_ATOMIC_SMAX_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_smax_x2",
564 VReg_64, i64, atomic_max_global>;
565
566defm GLOBAL_ATOMIC_UMAX_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_umax_x2",
567 VReg_64, i64, atomic_umax_global>;
568
569defm GLOBAL_ATOMIC_AND_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_and_x2",
570 VReg_64, i64, atomic_and_global>;
571
572defm GLOBAL_ATOMIC_OR_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_or_x2",
573 VReg_64, i64, atomic_or_global>;
574
575defm GLOBAL_ATOMIC_XOR_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_xor_x2",
576 VReg_64, i64, atomic_xor_global>;
577
578defm GLOBAL_ATOMIC_INC_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_inc_x2",
579 VReg_64, i64, atomic_inc_global>;
580
581defm GLOBAL_ATOMIC_DEC_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_dec_x2",
582 VReg_64, i64, atomic_dec_global>;
583} // End is_flat_global = 1
584
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000585} // End SubtargetPredicate = HasFlatGlobalInsts
586
587
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000588let SubtargetPredicate = HasFlatScratchInsts in {
589defm SCRATCH_LOAD_UBYTE : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte", VGPR_32>;
590defm SCRATCH_LOAD_SBYTE : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte", VGPR_32>;
591defm SCRATCH_LOAD_USHORT : FLAT_Scratch_Load_Pseudo <"scratch_load_ushort", VGPR_32>;
592defm SCRATCH_LOAD_SSHORT : FLAT_Scratch_Load_Pseudo <"scratch_load_sshort", VGPR_32>;
593defm SCRATCH_LOAD_DWORD : FLAT_Scratch_Load_Pseudo <"scratch_load_dword", VGPR_32>;
594defm SCRATCH_LOAD_DWORDX2 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx2", VReg_64>;
595defm SCRATCH_LOAD_DWORDX3 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx3", VReg_96>;
596defm SCRATCH_LOAD_DWORDX4 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx4", VReg_128>;
597
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000598defm SCRATCH_LOAD_UBYTE_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte_d16", VGPR_32>;
599defm SCRATCH_LOAD_UBYTE_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte_d16_hi", VGPR_32>;
600defm SCRATCH_LOAD_SBYTE_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte_d16", VGPR_32>;
601defm SCRATCH_LOAD_SBYTE_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte_d16_hi", VGPR_32>;
602defm SCRATCH_LOAD_SHORT_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_short_d16", VGPR_32>;
603defm SCRATCH_LOAD_SHORT_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_short_d16_hi", VGPR_32>;
604
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000605defm SCRATCH_STORE_BYTE : FLAT_Scratch_Store_Pseudo <"scratch_store_byte", VGPR_32>;
606defm SCRATCH_STORE_SHORT : FLAT_Scratch_Store_Pseudo <"scratch_store_short", VGPR_32>;
607defm SCRATCH_STORE_DWORD : FLAT_Scratch_Store_Pseudo <"scratch_store_dword", VGPR_32>;
608defm SCRATCH_STORE_DWORDX2 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx2", VReg_64>;
609defm SCRATCH_STORE_DWORDX3 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx3", VReg_96>;
610defm SCRATCH_STORE_DWORDX4 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx4", VReg_128>;
611
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000612defm SCRATCH_STORE_BYTE_D16_HI : FLAT_Scratch_Store_Pseudo <"scratch_store_byte_d16_hi", VGPR_32>;
613defm SCRATCH_STORE_SHORT_D16_HI : FLAT_Scratch_Store_Pseudo <"scratch_store_short_d16_hi", VGPR_32>;
614
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000615} // End SubtargetPredicate = HasFlatScratchInsts
616
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000617//===----------------------------------------------------------------------===//
618// Flat Patterns
619//===----------------------------------------------------------------------===//
620
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000621// Patterns for global loads with no offset.
622class FlatLoadPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000623 (vt (node (FLATOffset i64:$vaddr, i16:$offset, i1:$slc))),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000624 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000625>;
626
627class FlatLoadAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000628 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000629 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000630>;
631
Matt Arsenault4e309b02017-07-29 01:03:53 +0000632class FlatLoadSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
633 (vt (node (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc))),
634 (inst $vaddr, $offset, 0, $slc)
635>;
636
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000637class FlatStorePat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000638 (node vt:$data, (FLATOffset i64:$vaddr, i16:$offset, i1:$slc)),
639 (inst $vaddr, $data, $offset, 0, $slc)
640>;
641
642class FlatStoreSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
643 (node vt:$data, (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc)),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000644 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000645>;
646
647class FlatStoreAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
648 // atomic store follows atomic binop convention so the address comes
649 // first.
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000650 (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000651 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000652>;
653
Matt Arsenault4e309b02017-07-29 01:03:53 +0000654class FlatStoreSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
655 // atomic store follows atomic binop convention so the address comes
656 // first.
657 (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
658 (inst $vaddr, $data, $offset, 0, $slc)
659>;
660
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000661class FlatAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
662 ValueType data_vt = vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000663 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
664 (inst $vaddr, $data, $offset, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000665>;
666
Matt Arsenault4e309b02017-07-29 01:03:53 +0000667class FlatSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
668 ValueType data_vt = vt> : Pat <
669 (vt (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
670 (inst $vaddr, $data, $offset, $slc)
671>;
672
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000673let Predicates = [HasFlatAddressSpace] in {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000674
Matt Arsenaultbc683832017-09-20 03:43:35 +0000675def : FlatLoadPat <FLAT_LOAD_UBYTE, az_extloadi8_flat, i32>;
676def : FlatLoadPat <FLAT_LOAD_SBYTE, sextloadi8_flat, i32>;
677def : FlatLoadPat <FLAT_LOAD_UBYTE, az_extloadi8_flat, i16>;
678def : FlatLoadPat <FLAT_LOAD_SBYTE, sextloadi8_flat, i16>;
679def : FlatLoadPat <FLAT_LOAD_USHORT, az_extloadi16_flat, i32>;
680def : FlatLoadPat <FLAT_LOAD_USHORT, load_flat, i16>;
681def : FlatLoadPat <FLAT_LOAD_SSHORT, sextloadi16_flat, i32>;
682def : FlatLoadPat <FLAT_LOAD_DWORD, load_flat, i32>;
683def : FlatLoadPat <FLAT_LOAD_DWORDX2, load_flat, v2i32>;
684def : FlatLoadPat <FLAT_LOAD_DWORDX4, load_flat, v4i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000685
Matt Arsenaultbc683832017-09-20 03:43:35 +0000686def : FlatLoadAtomicPat <FLAT_LOAD_DWORD, atomic_load_flat, i32>;
687def : FlatLoadAtomicPat <FLAT_LOAD_DWORDX2, atomic_load_flat, i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000688
Matt Arsenaultbc683832017-09-20 03:43:35 +0000689def : FlatStorePat <FLAT_STORE_BYTE, truncstorei8_flat, i32>;
690def : FlatStorePat <FLAT_STORE_SHORT, truncstorei16_flat, i32>;
691def : FlatStorePat <FLAT_STORE_DWORD, store_flat, i32>;
692def : FlatStorePat <FLAT_STORE_DWORDX2, store_flat, v2i32>;
693def : FlatStorePat <FLAT_STORE_DWORDX4, store_flat, v4i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000694
Matt Arsenaultbc683832017-09-20 03:43:35 +0000695def : FlatStoreAtomicPat <FLAT_STORE_DWORD, atomic_store_flat, i32>;
696def : FlatStoreAtomicPat <FLAT_STORE_DWORDX2, atomic_store_flat, i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000697
698def : FlatAtomicPat <FLAT_ATOMIC_ADD_RTN, atomic_add_global, i32>;
699def : FlatAtomicPat <FLAT_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
700def : FlatAtomicPat <FLAT_ATOMIC_INC_RTN, atomic_inc_global, i32>;
701def : FlatAtomicPat <FLAT_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
702def : FlatAtomicPat <FLAT_ATOMIC_AND_RTN, atomic_and_global, i32>;
703def : FlatAtomicPat <FLAT_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
704def : FlatAtomicPat <FLAT_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
705def : FlatAtomicPat <FLAT_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
706def : FlatAtomicPat <FLAT_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
707def : FlatAtomicPat <FLAT_ATOMIC_OR_RTN, atomic_or_global, i32>;
708def : FlatAtomicPat <FLAT_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
Jan Vesely206a5102016-12-23 15:34:51 +0000709def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000710def : FlatAtomicPat <FLAT_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
711
712def : FlatAtomicPat <FLAT_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
713def : FlatAtomicPat <FLAT_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
714def : FlatAtomicPat <FLAT_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
715def : FlatAtomicPat <FLAT_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
716def : FlatAtomicPat <FLAT_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
717def : FlatAtomicPat <FLAT_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
718def : FlatAtomicPat <FLAT_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
719def : FlatAtomicPat <FLAT_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
720def : FlatAtomicPat <FLAT_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
721def : FlatAtomicPat <FLAT_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
722def : FlatAtomicPat <FLAT_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
Jan Vesely206a5102016-12-23 15:34:51 +0000723def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000724def : FlatAtomicPat <FLAT_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
725
Matt Arsenaultbc683832017-09-20 03:43:35 +0000726def : FlatStorePat <FLAT_STORE_BYTE, truncstorei8_flat, i16>;
727def : FlatStorePat <FLAT_STORE_SHORT, store_flat, i16>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000728
729 let Predicates = [HasD16LoadStore] in {
Matt Arsenaultbc683832017-09-20 03:43:35 +0000730def : FlatStorePat <FLAT_STORE_SHORT_D16_HI, truncstorei16_hi16_flat, i32>;
731def : FlatStorePat <FLAT_STORE_BYTE_D16_HI, truncstorei8_hi16_flat, i32>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000732}
733
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000734} // End Predicates = [HasFlatAddressSpace]
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000735
Matt Arsenault4e309b02017-07-29 01:03:53 +0000736let Predicates = [HasFlatGlobalInsts], AddedComplexity = 10 in {
737
738def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i32>;
739def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i32>;
740def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i16>;
741def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i16>;
742def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, az_extloadi16_global, i32>;
743def : FlatLoadSignedPat <GLOBAL_LOAD_SSHORT, sextloadi16_global, i32>;
Matt Arsenaultbc683832017-09-20 03:43:35 +0000744def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, load_global, i16>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000745
Matt Arsenaultbc683832017-09-20 03:43:35 +0000746def : FlatLoadSignedPat <GLOBAL_LOAD_DWORD, load_global, i32>;
747def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX2, load_global, v2i32>;
748def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX4, load_global, v4i32>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000749
Matt Arsenaultbc683832017-09-20 03:43:35 +0000750def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORD, atomic_load_global, i32>;
751def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORDX2, atomic_load_global, i64>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000752
753def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i32>;
754def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i16>;
755def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, truncstorei16_global, i32>;
Matt Arsenaultbc683832017-09-20 03:43:35 +0000756def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, store_global, i16>;
757def : FlatStoreSignedPat <GLOBAL_STORE_DWORD, store_global, i32>;
758def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX2, store_global, v2i32>;
759def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX4, store_global, v4i32>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000760
761 let Predicates = [HasD16LoadStore] in {
Matt Arsenaultbc683832017-09-20 03:43:35 +0000762def : FlatStoreSignedPat <GLOBAL_STORE_SHORT_D16_HI, truncstorei16_hi16_global, i32>;
763def : FlatStoreSignedPat <GLOBAL_STORE_BYTE_D16_HI, truncstorei8_hi16_global, i32>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000764}
765
Matt Arsenaultbc683832017-09-20 03:43:35 +0000766def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORD, store_atomic_global, i32>;
767def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORDX2, store_atomic_global, i64>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000768
769def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_RTN, atomic_add_global, i32>;
770def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
771def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_RTN, atomic_inc_global, i32>;
772def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
773def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_RTN, atomic_and_global, i32>;
774def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
775def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
776def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
777def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
778def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_RTN, atomic_or_global, i32>;
779def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
780def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
781def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
782
783def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
784def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
785def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
786def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
787def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
788def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
789def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
790def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
791def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
792def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
793def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
794def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
795def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
796
797} // End Predicates = [HasFlatGlobalInsts]
798
799
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000800//===----------------------------------------------------------------------===//
801// Target
802//===----------------------------------------------------------------------===//
803
804//===----------------------------------------------------------------------===//
805// CI
806//===----------------------------------------------------------------------===//
807
808class FLAT_Real_ci <bits<7> op, FLAT_Pseudo ps> :
809 FLAT_Real <op, ps>,
810 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.SI> {
811 let AssemblerPredicate = isCIOnly;
812 let DecoderNamespace="CI";
813}
814
815def FLAT_LOAD_UBYTE_ci : FLAT_Real_ci <0x8, FLAT_LOAD_UBYTE>;
816def FLAT_LOAD_SBYTE_ci : FLAT_Real_ci <0x9, FLAT_LOAD_SBYTE>;
817def FLAT_LOAD_USHORT_ci : FLAT_Real_ci <0xa, FLAT_LOAD_USHORT>;
818def FLAT_LOAD_SSHORT_ci : FLAT_Real_ci <0xb, FLAT_LOAD_SSHORT>;
819def FLAT_LOAD_DWORD_ci : FLAT_Real_ci <0xc, FLAT_LOAD_DWORD>;
820def FLAT_LOAD_DWORDX2_ci : FLAT_Real_ci <0xd, FLAT_LOAD_DWORDX2>;
821def FLAT_LOAD_DWORDX4_ci : FLAT_Real_ci <0xe, FLAT_LOAD_DWORDX4>;
822def FLAT_LOAD_DWORDX3_ci : FLAT_Real_ci <0xf, FLAT_LOAD_DWORDX3>;
823
824def FLAT_STORE_BYTE_ci : FLAT_Real_ci <0x18, FLAT_STORE_BYTE>;
825def FLAT_STORE_SHORT_ci : FLAT_Real_ci <0x1a, FLAT_STORE_SHORT>;
826def FLAT_STORE_DWORD_ci : FLAT_Real_ci <0x1c, FLAT_STORE_DWORD>;
827def FLAT_STORE_DWORDX2_ci : FLAT_Real_ci <0x1d, FLAT_STORE_DWORDX2>;
828def FLAT_STORE_DWORDX4_ci : FLAT_Real_ci <0x1e, FLAT_STORE_DWORDX4>;
829def FLAT_STORE_DWORDX3_ci : FLAT_Real_ci <0x1f, FLAT_STORE_DWORDX3>;
830
831multiclass FLAT_Real_Atomics_ci <bits<7> op, FLAT_Pseudo ps> {
832 def _ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
833 def _RTN_ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
834}
835
836defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_ci <0x30, FLAT_ATOMIC_SWAP>;
837defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_ci <0x31, FLAT_ATOMIC_CMPSWAP>;
838defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_ci <0x32, FLAT_ATOMIC_ADD>;
839defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_ci <0x33, FLAT_ATOMIC_SUB>;
840defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_ci <0x35, FLAT_ATOMIC_SMIN>;
841defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_ci <0x36, FLAT_ATOMIC_UMIN>;
842defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_ci <0x37, FLAT_ATOMIC_SMAX>;
843defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_ci <0x38, FLAT_ATOMIC_UMAX>;
844defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_ci <0x39, FLAT_ATOMIC_AND>;
845defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_ci <0x3a, FLAT_ATOMIC_OR>;
846defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_ci <0x3b, FLAT_ATOMIC_XOR>;
847defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_ci <0x3c, FLAT_ATOMIC_INC>;
848defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_ci <0x3d, FLAT_ATOMIC_DEC>;
849defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_ci <0x50, FLAT_ATOMIC_SWAP_X2>;
850defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_ci <0x51, FLAT_ATOMIC_CMPSWAP_X2>;
851defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_ci <0x52, FLAT_ATOMIC_ADD_X2>;
852defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_ci <0x53, FLAT_ATOMIC_SUB_X2>;
853defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_ci <0x55, FLAT_ATOMIC_SMIN_X2>;
854defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_ci <0x56, FLAT_ATOMIC_UMIN_X2>;
855defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_ci <0x57, FLAT_ATOMIC_SMAX_X2>;
856defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_ci <0x58, FLAT_ATOMIC_UMAX_X2>;
857defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_ci <0x59, FLAT_ATOMIC_AND_X2>;
858defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_ci <0x5a, FLAT_ATOMIC_OR_X2>;
859defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_ci <0x5b, FLAT_ATOMIC_XOR_X2>;
860defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_ci <0x5c, FLAT_ATOMIC_INC_X2>;
861defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_ci <0x5d, FLAT_ATOMIC_DEC_X2>;
862
863// CI Only flat instructions
864defm FLAT_ATOMIC_FCMPSWAP : FLAT_Real_Atomics_ci <0x3e, FLAT_ATOMIC_FCMPSWAP>;
865defm FLAT_ATOMIC_FMIN : FLAT_Real_Atomics_ci <0x3f, FLAT_ATOMIC_FMIN>;
866defm FLAT_ATOMIC_FMAX : FLAT_Real_Atomics_ci <0x40, FLAT_ATOMIC_FMAX>;
867defm FLAT_ATOMIC_FCMPSWAP_X2 : FLAT_Real_Atomics_ci <0x5e, FLAT_ATOMIC_FCMPSWAP_X2>;
868defm FLAT_ATOMIC_FMIN_X2 : FLAT_Real_Atomics_ci <0x5f, FLAT_ATOMIC_FMIN_X2>;
869defm FLAT_ATOMIC_FMAX_X2 : FLAT_Real_Atomics_ci <0x60, FLAT_ATOMIC_FMAX_X2>;
870
871
872//===----------------------------------------------------------------------===//
873// VI
874//===----------------------------------------------------------------------===//
875
876class FLAT_Real_vi <bits<7> op, FLAT_Pseudo ps> :
877 FLAT_Real <op, ps>,
878 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.VI> {
879 let AssemblerPredicate = isVI;
880 let DecoderNamespace="VI";
881}
882
Matt Arsenault04004712017-07-20 05:17:54 +0000883multiclass FLAT_Real_AllAddr_vi<bits<7> op> {
884 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME)>;
885 def _SADDR_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME#"_SADDR")>;
886}
887
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000888def FLAT_LOAD_UBYTE_vi : FLAT_Real_vi <0x10, FLAT_LOAD_UBYTE>;
889def FLAT_LOAD_SBYTE_vi : FLAT_Real_vi <0x11, FLAT_LOAD_SBYTE>;
890def FLAT_LOAD_USHORT_vi : FLAT_Real_vi <0x12, FLAT_LOAD_USHORT>;
891def FLAT_LOAD_SSHORT_vi : FLAT_Real_vi <0x13, FLAT_LOAD_SSHORT>;
892def FLAT_LOAD_DWORD_vi : FLAT_Real_vi <0x14, FLAT_LOAD_DWORD>;
893def FLAT_LOAD_DWORDX2_vi : FLAT_Real_vi <0x15, FLAT_LOAD_DWORDX2>;
894def FLAT_LOAD_DWORDX4_vi : FLAT_Real_vi <0x17, FLAT_LOAD_DWORDX4>;
895def FLAT_LOAD_DWORDX3_vi : FLAT_Real_vi <0x16, FLAT_LOAD_DWORDX3>;
896
897def FLAT_STORE_BYTE_vi : FLAT_Real_vi <0x18, FLAT_STORE_BYTE>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000898def FLAT_STORE_BYTE_D16_HI_vi : FLAT_Real_vi <0x19, FLAT_STORE_BYTE_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000899def FLAT_STORE_SHORT_vi : FLAT_Real_vi <0x1a, FLAT_STORE_SHORT>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000900def FLAT_STORE_SHORT_D16_HI_vi : FLAT_Real_vi <0x1b, FLAT_STORE_SHORT_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000901def FLAT_STORE_DWORD_vi : FLAT_Real_vi <0x1c, FLAT_STORE_DWORD>;
902def FLAT_STORE_DWORDX2_vi : FLAT_Real_vi <0x1d, FLAT_STORE_DWORDX2>;
903def FLAT_STORE_DWORDX4_vi : FLAT_Real_vi <0x1f, FLAT_STORE_DWORDX4>;
904def FLAT_STORE_DWORDX3_vi : FLAT_Real_vi <0x1e, FLAT_STORE_DWORDX3>;
905
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000906def FLAT_LOAD_UBYTE_D16_vi : FLAT_Real_vi <0x20, FLAT_LOAD_UBYTE_D16>;
907def FLAT_LOAD_UBYTE_D16_HI_vi : FLAT_Real_vi <0x21, FLAT_LOAD_UBYTE_D16_HI>;
908def FLAT_LOAD_SBYTE_D16_vi : FLAT_Real_vi <0x22, FLAT_LOAD_SBYTE_D16>;
909def FLAT_LOAD_SBYTE_D16_HI_vi : FLAT_Real_vi <0x23, FLAT_LOAD_SBYTE_D16_HI>;
910def FLAT_LOAD_SHORT_D16_vi : FLAT_Real_vi <0x24, FLAT_LOAD_SHORT_D16>;
911def FLAT_LOAD_SHORT_D16_HI_vi : FLAT_Real_vi <0x25, FLAT_LOAD_SHORT_D16_HI>;
912
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000913multiclass FLAT_Real_Atomics_vi <bits<7> op, FLAT_Pseudo ps> {
914 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
915 def _RTN_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
916}
917
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000918multiclass FLAT_Global_Real_Atomics_vi<bits<7> op> :
919 FLAT_Real_AllAddr_vi<op> {
920 def _RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_RTN")>;
921 def _SADDR_RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_SADDR_RTN")>;
922}
923
924
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000925defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_vi <0x40, FLAT_ATOMIC_SWAP>;
926defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_vi <0x41, FLAT_ATOMIC_CMPSWAP>;
927defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_vi <0x42, FLAT_ATOMIC_ADD>;
928defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_vi <0x43, FLAT_ATOMIC_SUB>;
929defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_vi <0x44, FLAT_ATOMIC_SMIN>;
930defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_vi <0x45, FLAT_ATOMIC_UMIN>;
931defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_vi <0x46, FLAT_ATOMIC_SMAX>;
932defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_vi <0x47, FLAT_ATOMIC_UMAX>;
933defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_vi <0x48, FLAT_ATOMIC_AND>;
934defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_vi <0x49, FLAT_ATOMIC_OR>;
935defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_vi <0x4a, FLAT_ATOMIC_XOR>;
936defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_vi <0x4b, FLAT_ATOMIC_INC>;
937defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_vi <0x4c, FLAT_ATOMIC_DEC>;
938defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_vi <0x60, FLAT_ATOMIC_SWAP_X2>;
939defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_vi <0x61, FLAT_ATOMIC_CMPSWAP_X2>;
940defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_vi <0x62, FLAT_ATOMIC_ADD_X2>;
941defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_vi <0x63, FLAT_ATOMIC_SUB_X2>;
942defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_vi <0x64, FLAT_ATOMIC_SMIN_X2>;
943defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_vi <0x65, FLAT_ATOMIC_UMIN_X2>;
944defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_vi <0x66, FLAT_ATOMIC_SMAX_X2>;
945defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_vi <0x67, FLAT_ATOMIC_UMAX_X2>;
946defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_vi <0x68, FLAT_ATOMIC_AND_X2>;
947defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_vi <0x69, FLAT_ATOMIC_OR_X2>;
948defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_vi <0x6a, FLAT_ATOMIC_XOR_X2>;
949defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_vi <0x6b, FLAT_ATOMIC_INC_X2>;
950defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_vi <0x6c, FLAT_ATOMIC_DEC_X2>;
951
Matt Arsenault04004712017-07-20 05:17:54 +0000952defm GLOBAL_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
953defm GLOBAL_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
954defm GLOBAL_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
955defm GLOBAL_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
956defm GLOBAL_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
957defm GLOBAL_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
Matt Arsenault04004712017-07-20 05:17:54 +0000958defm GLOBAL_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000959defm GLOBAL_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000960
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000961defm GLOBAL_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
962defm GLOBAL_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
963defm GLOBAL_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
964defm GLOBAL_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
965defm GLOBAL_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
966defm GLOBAL_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
967
Matt Arsenault04004712017-07-20 05:17:54 +0000968defm GLOBAL_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000969defm GLOBAL_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
Matt Arsenault04004712017-07-20 05:17:54 +0000970defm GLOBAL_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000971defm GLOBAL_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
Matt Arsenault04004712017-07-20 05:17:54 +0000972defm GLOBAL_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
973defm GLOBAL_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
Matt Arsenault04004712017-07-20 05:17:54 +0000974defm GLOBAL_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000975defm GLOBAL_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;
976
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000977
978defm GLOBAL_ATOMIC_SWAP : FLAT_Global_Real_Atomics_vi <0x40>;
979defm GLOBAL_ATOMIC_CMPSWAP : FLAT_Global_Real_Atomics_vi <0x41>;
980defm GLOBAL_ATOMIC_ADD : FLAT_Global_Real_Atomics_vi <0x42>;
981defm GLOBAL_ATOMIC_SUB : FLAT_Global_Real_Atomics_vi <0x43>;
982defm GLOBAL_ATOMIC_SMIN : FLAT_Global_Real_Atomics_vi <0x44>;
983defm GLOBAL_ATOMIC_UMIN : FLAT_Global_Real_Atomics_vi <0x45>;
984defm GLOBAL_ATOMIC_SMAX : FLAT_Global_Real_Atomics_vi <0x46>;
985defm GLOBAL_ATOMIC_UMAX : FLAT_Global_Real_Atomics_vi <0x47>;
986defm GLOBAL_ATOMIC_AND : FLAT_Global_Real_Atomics_vi <0x48>;
987defm GLOBAL_ATOMIC_OR : FLAT_Global_Real_Atomics_vi <0x49>;
988defm GLOBAL_ATOMIC_XOR : FLAT_Global_Real_Atomics_vi <0x4a>;
989defm GLOBAL_ATOMIC_INC : FLAT_Global_Real_Atomics_vi <0x4b>;
990defm GLOBAL_ATOMIC_DEC : FLAT_Global_Real_Atomics_vi <0x4c>;
991defm GLOBAL_ATOMIC_SWAP_X2 : FLAT_Global_Real_Atomics_vi <0x60>;
992defm GLOBAL_ATOMIC_CMPSWAP_X2 : FLAT_Global_Real_Atomics_vi <0x61>;
993defm GLOBAL_ATOMIC_ADD_X2 : FLAT_Global_Real_Atomics_vi <0x62>;
994defm GLOBAL_ATOMIC_SUB_X2 : FLAT_Global_Real_Atomics_vi <0x63>;
995defm GLOBAL_ATOMIC_SMIN_X2 : FLAT_Global_Real_Atomics_vi <0x64>;
996defm GLOBAL_ATOMIC_UMIN_X2 : FLAT_Global_Real_Atomics_vi <0x65>;
997defm GLOBAL_ATOMIC_SMAX_X2 : FLAT_Global_Real_Atomics_vi <0x66>;
998defm GLOBAL_ATOMIC_UMAX_X2 : FLAT_Global_Real_Atomics_vi <0x67>;
999defm GLOBAL_ATOMIC_AND_X2 : FLAT_Global_Real_Atomics_vi <0x68>;
1000defm GLOBAL_ATOMIC_OR_X2 : FLAT_Global_Real_Atomics_vi <0x69>;
1001defm GLOBAL_ATOMIC_XOR_X2 : FLAT_Global_Real_Atomics_vi <0x6a>;
1002defm GLOBAL_ATOMIC_INC_X2 : FLAT_Global_Real_Atomics_vi <0x6b>;
1003defm GLOBAL_ATOMIC_DEC_X2 : FLAT_Global_Real_Atomics_vi <0x6c>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +00001004
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001005defm SCRATCH_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
1006defm SCRATCH_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
1007defm SCRATCH_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
1008defm SCRATCH_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
1009defm SCRATCH_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
1010defm SCRATCH_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
1011defm SCRATCH_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
1012defm SCRATCH_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
1013defm SCRATCH_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
1014defm SCRATCH_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
1015defm SCRATCH_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
1016defm SCRATCH_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
1017defm SCRATCH_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
1018defm SCRATCH_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
1019defm SCRATCH_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
1020defm SCRATCH_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
1021defm SCRATCH_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
1022defm SCRATCH_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
1023defm SCRATCH_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
1024defm SCRATCH_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
1025defm SCRATCH_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
1026defm SCRATCH_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;