blob: 54382df6481903884c0dd2772fa70fc28c180f4f [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
621class flat_ld <SDPatternOperator ld> : PatFrag<(ops node:$ptr),
622 (ld node:$ptr), [{
623 auto const AS = cast<MemSDNode>(N)->getAddressSpace();
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000624 return AS == AMDGPUASI.FLAT_ADDRESS ||
625 AS == AMDGPUASI.GLOBAL_ADDRESS ||
626 AS == AMDGPUASI.CONSTANT_ADDRESS;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000627}]>;
628
629class flat_st <SDPatternOperator st> : PatFrag<(ops node:$val, node:$ptr),
630 (st node:$val, node:$ptr), [{
631 auto const AS = cast<MemSDNode>(N)->getAddressSpace();
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000632 return AS == AMDGPUASI.FLAT_ADDRESS ||
633 AS == AMDGPUASI.GLOBAL_ADDRESS;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000634}]>;
635
636def atomic_flat_load : flat_ld <atomic_load>;
637def flat_load : flat_ld <load>;
638def flat_az_extloadi8 : flat_ld <az_extloadi8>;
639def flat_sextloadi8 : flat_ld <sextloadi8>;
640def flat_az_extloadi16 : flat_ld <az_extloadi16>;
641def flat_sextloadi16 : flat_ld <sextloadi16>;
642
643def atomic_flat_store : flat_st <atomic_store>;
644def flat_store : flat_st <store>;
645def flat_truncstorei8 : flat_st <truncstorei8>;
646def flat_truncstorei16 : flat_st <truncstorei16>;
647
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000648def flat_truncstorei8_hi16 : StoreHi16<truncstorei8>, FlatLoadAddress;
649def flat_truncstorei16_hi16 : StoreHi16<truncstorei16>, FlatLoadAddress;
650
651
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000652// Patterns for global loads with no offset.
653class FlatLoadPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000654 (vt (node (FLATOffset i64:$vaddr, i16:$offset, i1:$slc))),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000655 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000656>;
657
658class FlatLoadAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000659 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000660 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000661>;
662
Matt Arsenault4e309b02017-07-29 01:03:53 +0000663class FlatLoadSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
664 (vt (node (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc))),
665 (inst $vaddr, $offset, 0, $slc)
666>;
667
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000668class FlatStorePat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000669 (node vt:$data, (FLATOffset i64:$vaddr, i16:$offset, i1:$slc)),
670 (inst $vaddr, $data, $offset, 0, $slc)
671>;
672
673class FlatStoreSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
674 (node vt:$data, (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc)),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000675 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000676>;
677
678class FlatStoreAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
679 // atomic store follows atomic binop convention so the address comes
680 // first.
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000681 (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000682 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000683>;
684
Matt Arsenault4e309b02017-07-29 01:03:53 +0000685class FlatStoreSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
686 // atomic store follows atomic binop convention so the address comes
687 // first.
688 (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
689 (inst $vaddr, $data, $offset, 0, $slc)
690>;
691
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000692class FlatAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
693 ValueType data_vt = vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000694 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
695 (inst $vaddr, $data, $offset, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000696>;
697
Matt Arsenault4e309b02017-07-29 01:03:53 +0000698class FlatSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
699 ValueType data_vt = vt> : Pat <
700 (vt (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
701 (inst $vaddr, $data, $offset, $slc)
702>;
703
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000704let Predicates = [HasFlatAddressSpace] in {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000705
706def : FlatLoadPat <FLAT_LOAD_UBYTE, flat_az_extloadi8, i32>;
707def : FlatLoadPat <FLAT_LOAD_SBYTE, flat_sextloadi8, i32>;
Tom Stellard115a6152016-11-10 16:02:37 +0000708def : FlatLoadPat <FLAT_LOAD_UBYTE, flat_az_extloadi8, i16>;
709def : FlatLoadPat <FLAT_LOAD_SBYTE, flat_sextloadi8, i16>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000710def : FlatLoadPat <FLAT_LOAD_USHORT, flat_az_extloadi16, i32>;
Matt Arsenault65ca292a2017-09-07 05:37:34 +0000711def : FlatLoadPat <FLAT_LOAD_USHORT, flat_load, i16>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000712def : FlatLoadPat <FLAT_LOAD_SSHORT, flat_sextloadi16, i32>;
713def : FlatLoadPat <FLAT_LOAD_DWORD, flat_load, i32>;
714def : FlatLoadPat <FLAT_LOAD_DWORDX2, flat_load, v2i32>;
715def : FlatLoadPat <FLAT_LOAD_DWORDX4, flat_load, v4i32>;
716
717def : FlatLoadAtomicPat <FLAT_LOAD_DWORD, atomic_flat_load, i32>;
718def : FlatLoadAtomicPat <FLAT_LOAD_DWORDX2, atomic_flat_load, i64>;
719
720def : FlatStorePat <FLAT_STORE_BYTE, flat_truncstorei8, i32>;
721def : FlatStorePat <FLAT_STORE_SHORT, flat_truncstorei16, i32>;
722def : FlatStorePat <FLAT_STORE_DWORD, flat_store, i32>;
723def : FlatStorePat <FLAT_STORE_DWORDX2, flat_store, v2i32>;
724def : FlatStorePat <FLAT_STORE_DWORDX4, flat_store, v4i32>;
725
726def : FlatStoreAtomicPat <FLAT_STORE_DWORD, atomic_flat_store, i32>;
727def : FlatStoreAtomicPat <FLAT_STORE_DWORDX2, atomic_flat_store, i64>;
728
729def : FlatAtomicPat <FLAT_ATOMIC_ADD_RTN, atomic_add_global, i32>;
730def : FlatAtomicPat <FLAT_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
731def : FlatAtomicPat <FLAT_ATOMIC_INC_RTN, atomic_inc_global, i32>;
732def : FlatAtomicPat <FLAT_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
733def : FlatAtomicPat <FLAT_ATOMIC_AND_RTN, atomic_and_global, i32>;
734def : FlatAtomicPat <FLAT_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
735def : FlatAtomicPat <FLAT_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
736def : FlatAtomicPat <FLAT_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
737def : FlatAtomicPat <FLAT_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
738def : FlatAtomicPat <FLAT_ATOMIC_OR_RTN, atomic_or_global, i32>;
739def : FlatAtomicPat <FLAT_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
Jan Vesely206a5102016-12-23 15:34:51 +0000740def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000741def : FlatAtomicPat <FLAT_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
742
743def : FlatAtomicPat <FLAT_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
744def : FlatAtomicPat <FLAT_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
745def : FlatAtomicPat <FLAT_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
746def : FlatAtomicPat <FLAT_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
747def : FlatAtomicPat <FLAT_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
748def : FlatAtomicPat <FLAT_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
749def : FlatAtomicPat <FLAT_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
750def : FlatAtomicPat <FLAT_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
751def : FlatAtomicPat <FLAT_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
752def : FlatAtomicPat <FLAT_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
753def : FlatAtomicPat <FLAT_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
Jan Vesely206a5102016-12-23 15:34:51 +0000754def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000755def : FlatAtomicPat <FLAT_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
756
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000757def : FlatStorePat <FLAT_STORE_BYTE, flat_truncstorei8, i16>;
758def : FlatStorePat <FLAT_STORE_SHORT, flat_store, i16>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000759
760 let Predicates = [HasD16LoadStore] in {
761def : FlatStorePat <FLAT_STORE_SHORT_D16_HI, flat_truncstorei16_hi16, i32>;
762def : FlatStorePat <FLAT_STORE_BYTE_D16_HI, flat_truncstorei8_hi16, i32>;
763}
764
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000765} // End Predicates = [HasFlatAddressSpace]
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000766
Matt Arsenault4e309b02017-07-29 01:03:53 +0000767let Predicates = [HasFlatGlobalInsts], AddedComplexity = 10 in {
768
769def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i32>;
770def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i32>;
771def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i16>;
772def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i16>;
773def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, az_extloadi16_global, i32>;
774def : FlatLoadSignedPat <GLOBAL_LOAD_SSHORT, sextloadi16_global, i32>;
Matt Arsenault65ca292a2017-09-07 05:37:34 +0000775def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, global_load, i16>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000776
777def : FlatLoadSignedPat <GLOBAL_LOAD_DWORD, global_load, i32>;
778def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX2, global_load, v2i32>;
779def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX4, global_load, v4i32>;
780
781def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORD, global_atomic_load, i32>;
782def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORDX2, global_atomic_load, i64>;
783
784def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i32>;
785def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i16>;
786def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, truncstorei16_global, i32>;
787def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, global_store, i16>;
788def : FlatStoreSignedPat <GLOBAL_STORE_DWORD, global_store, i32>;
789def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX2, global_store, v2i32>;
790def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX4, global_store, v4i32>;
791
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000792
793 let Predicates = [HasD16LoadStore] in {
794def : FlatStoreSignedPat <GLOBAL_STORE_SHORT_D16_HI, truncstorei16_global_hi16, i32>;
795def : FlatStoreSignedPat <GLOBAL_STORE_BYTE_D16_HI, truncstorei8_global_hi16, i32>;
796}
797
798
Matt Arsenault4e309b02017-07-29 01:03:53 +0000799def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORD, global_store_atomic, i32>;
800def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORDX2, global_store_atomic, i64>;
801
802def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_RTN, atomic_add_global, i32>;
803def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
804def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_RTN, atomic_inc_global, i32>;
805def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
806def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_RTN, atomic_and_global, i32>;
807def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
808def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
809def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
810def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
811def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_RTN, atomic_or_global, i32>;
812def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
813def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
814def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
815
816def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
817def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
818def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
819def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
820def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
821def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
822def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
823def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
824def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
825def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
826def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
827def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
828def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
829
830} // End Predicates = [HasFlatGlobalInsts]
831
832
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000833//===----------------------------------------------------------------------===//
834// Target
835//===----------------------------------------------------------------------===//
836
837//===----------------------------------------------------------------------===//
838// CI
839//===----------------------------------------------------------------------===//
840
841class FLAT_Real_ci <bits<7> op, FLAT_Pseudo ps> :
842 FLAT_Real <op, ps>,
843 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.SI> {
844 let AssemblerPredicate = isCIOnly;
845 let DecoderNamespace="CI";
846}
847
848def FLAT_LOAD_UBYTE_ci : FLAT_Real_ci <0x8, FLAT_LOAD_UBYTE>;
849def FLAT_LOAD_SBYTE_ci : FLAT_Real_ci <0x9, FLAT_LOAD_SBYTE>;
850def FLAT_LOAD_USHORT_ci : FLAT_Real_ci <0xa, FLAT_LOAD_USHORT>;
851def FLAT_LOAD_SSHORT_ci : FLAT_Real_ci <0xb, FLAT_LOAD_SSHORT>;
852def FLAT_LOAD_DWORD_ci : FLAT_Real_ci <0xc, FLAT_LOAD_DWORD>;
853def FLAT_LOAD_DWORDX2_ci : FLAT_Real_ci <0xd, FLAT_LOAD_DWORDX2>;
854def FLAT_LOAD_DWORDX4_ci : FLAT_Real_ci <0xe, FLAT_LOAD_DWORDX4>;
855def FLAT_LOAD_DWORDX3_ci : FLAT_Real_ci <0xf, FLAT_LOAD_DWORDX3>;
856
857def FLAT_STORE_BYTE_ci : FLAT_Real_ci <0x18, FLAT_STORE_BYTE>;
858def FLAT_STORE_SHORT_ci : FLAT_Real_ci <0x1a, FLAT_STORE_SHORT>;
859def FLAT_STORE_DWORD_ci : FLAT_Real_ci <0x1c, FLAT_STORE_DWORD>;
860def FLAT_STORE_DWORDX2_ci : FLAT_Real_ci <0x1d, FLAT_STORE_DWORDX2>;
861def FLAT_STORE_DWORDX4_ci : FLAT_Real_ci <0x1e, FLAT_STORE_DWORDX4>;
862def FLAT_STORE_DWORDX3_ci : FLAT_Real_ci <0x1f, FLAT_STORE_DWORDX3>;
863
864multiclass FLAT_Real_Atomics_ci <bits<7> op, FLAT_Pseudo ps> {
865 def _ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
866 def _RTN_ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
867}
868
869defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_ci <0x30, FLAT_ATOMIC_SWAP>;
870defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_ci <0x31, FLAT_ATOMIC_CMPSWAP>;
871defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_ci <0x32, FLAT_ATOMIC_ADD>;
872defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_ci <0x33, FLAT_ATOMIC_SUB>;
873defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_ci <0x35, FLAT_ATOMIC_SMIN>;
874defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_ci <0x36, FLAT_ATOMIC_UMIN>;
875defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_ci <0x37, FLAT_ATOMIC_SMAX>;
876defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_ci <0x38, FLAT_ATOMIC_UMAX>;
877defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_ci <0x39, FLAT_ATOMIC_AND>;
878defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_ci <0x3a, FLAT_ATOMIC_OR>;
879defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_ci <0x3b, FLAT_ATOMIC_XOR>;
880defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_ci <0x3c, FLAT_ATOMIC_INC>;
881defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_ci <0x3d, FLAT_ATOMIC_DEC>;
882defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_ci <0x50, FLAT_ATOMIC_SWAP_X2>;
883defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_ci <0x51, FLAT_ATOMIC_CMPSWAP_X2>;
884defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_ci <0x52, FLAT_ATOMIC_ADD_X2>;
885defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_ci <0x53, FLAT_ATOMIC_SUB_X2>;
886defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_ci <0x55, FLAT_ATOMIC_SMIN_X2>;
887defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_ci <0x56, FLAT_ATOMIC_UMIN_X2>;
888defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_ci <0x57, FLAT_ATOMIC_SMAX_X2>;
889defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_ci <0x58, FLAT_ATOMIC_UMAX_X2>;
890defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_ci <0x59, FLAT_ATOMIC_AND_X2>;
891defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_ci <0x5a, FLAT_ATOMIC_OR_X2>;
892defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_ci <0x5b, FLAT_ATOMIC_XOR_X2>;
893defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_ci <0x5c, FLAT_ATOMIC_INC_X2>;
894defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_ci <0x5d, FLAT_ATOMIC_DEC_X2>;
895
896// CI Only flat instructions
897defm FLAT_ATOMIC_FCMPSWAP : FLAT_Real_Atomics_ci <0x3e, FLAT_ATOMIC_FCMPSWAP>;
898defm FLAT_ATOMIC_FMIN : FLAT_Real_Atomics_ci <0x3f, FLAT_ATOMIC_FMIN>;
899defm FLAT_ATOMIC_FMAX : FLAT_Real_Atomics_ci <0x40, FLAT_ATOMIC_FMAX>;
900defm FLAT_ATOMIC_FCMPSWAP_X2 : FLAT_Real_Atomics_ci <0x5e, FLAT_ATOMIC_FCMPSWAP_X2>;
901defm FLAT_ATOMIC_FMIN_X2 : FLAT_Real_Atomics_ci <0x5f, FLAT_ATOMIC_FMIN_X2>;
902defm FLAT_ATOMIC_FMAX_X2 : FLAT_Real_Atomics_ci <0x60, FLAT_ATOMIC_FMAX_X2>;
903
904
905//===----------------------------------------------------------------------===//
906// VI
907//===----------------------------------------------------------------------===//
908
909class FLAT_Real_vi <bits<7> op, FLAT_Pseudo ps> :
910 FLAT_Real <op, ps>,
911 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.VI> {
912 let AssemblerPredicate = isVI;
913 let DecoderNamespace="VI";
914}
915
Matt Arsenault04004712017-07-20 05:17:54 +0000916multiclass FLAT_Real_AllAddr_vi<bits<7> op> {
917 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME)>;
918 def _SADDR_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME#"_SADDR")>;
919}
920
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000921def FLAT_LOAD_UBYTE_vi : FLAT_Real_vi <0x10, FLAT_LOAD_UBYTE>;
922def FLAT_LOAD_SBYTE_vi : FLAT_Real_vi <0x11, FLAT_LOAD_SBYTE>;
923def FLAT_LOAD_USHORT_vi : FLAT_Real_vi <0x12, FLAT_LOAD_USHORT>;
924def FLAT_LOAD_SSHORT_vi : FLAT_Real_vi <0x13, FLAT_LOAD_SSHORT>;
925def FLAT_LOAD_DWORD_vi : FLAT_Real_vi <0x14, FLAT_LOAD_DWORD>;
926def FLAT_LOAD_DWORDX2_vi : FLAT_Real_vi <0x15, FLAT_LOAD_DWORDX2>;
927def FLAT_LOAD_DWORDX4_vi : FLAT_Real_vi <0x17, FLAT_LOAD_DWORDX4>;
928def FLAT_LOAD_DWORDX3_vi : FLAT_Real_vi <0x16, FLAT_LOAD_DWORDX3>;
929
930def FLAT_STORE_BYTE_vi : FLAT_Real_vi <0x18, FLAT_STORE_BYTE>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000931def FLAT_STORE_BYTE_D16_HI_vi : FLAT_Real_vi <0x19, FLAT_STORE_BYTE_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000932def FLAT_STORE_SHORT_vi : FLAT_Real_vi <0x1a, FLAT_STORE_SHORT>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000933def FLAT_STORE_SHORT_D16_HI_vi : FLAT_Real_vi <0x1b, FLAT_STORE_SHORT_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000934def FLAT_STORE_DWORD_vi : FLAT_Real_vi <0x1c, FLAT_STORE_DWORD>;
935def FLAT_STORE_DWORDX2_vi : FLAT_Real_vi <0x1d, FLAT_STORE_DWORDX2>;
936def FLAT_STORE_DWORDX4_vi : FLAT_Real_vi <0x1f, FLAT_STORE_DWORDX4>;
937def FLAT_STORE_DWORDX3_vi : FLAT_Real_vi <0x1e, FLAT_STORE_DWORDX3>;
938
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000939def FLAT_LOAD_UBYTE_D16_vi : FLAT_Real_vi <0x20, FLAT_LOAD_UBYTE_D16>;
940def FLAT_LOAD_UBYTE_D16_HI_vi : FLAT_Real_vi <0x21, FLAT_LOAD_UBYTE_D16_HI>;
941def FLAT_LOAD_SBYTE_D16_vi : FLAT_Real_vi <0x22, FLAT_LOAD_SBYTE_D16>;
942def FLAT_LOAD_SBYTE_D16_HI_vi : FLAT_Real_vi <0x23, FLAT_LOAD_SBYTE_D16_HI>;
943def FLAT_LOAD_SHORT_D16_vi : FLAT_Real_vi <0x24, FLAT_LOAD_SHORT_D16>;
944def FLAT_LOAD_SHORT_D16_HI_vi : FLAT_Real_vi <0x25, FLAT_LOAD_SHORT_D16_HI>;
945
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000946multiclass FLAT_Real_Atomics_vi <bits<7> op, FLAT_Pseudo ps> {
947 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
948 def _RTN_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
949}
950
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000951multiclass FLAT_Global_Real_Atomics_vi<bits<7> op> :
952 FLAT_Real_AllAddr_vi<op> {
953 def _RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_RTN")>;
954 def _SADDR_RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_SADDR_RTN")>;
955}
956
957
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000958defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_vi <0x40, FLAT_ATOMIC_SWAP>;
959defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_vi <0x41, FLAT_ATOMIC_CMPSWAP>;
960defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_vi <0x42, FLAT_ATOMIC_ADD>;
961defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_vi <0x43, FLAT_ATOMIC_SUB>;
962defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_vi <0x44, FLAT_ATOMIC_SMIN>;
963defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_vi <0x45, FLAT_ATOMIC_UMIN>;
964defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_vi <0x46, FLAT_ATOMIC_SMAX>;
965defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_vi <0x47, FLAT_ATOMIC_UMAX>;
966defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_vi <0x48, FLAT_ATOMIC_AND>;
967defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_vi <0x49, FLAT_ATOMIC_OR>;
968defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_vi <0x4a, FLAT_ATOMIC_XOR>;
969defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_vi <0x4b, FLAT_ATOMIC_INC>;
970defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_vi <0x4c, FLAT_ATOMIC_DEC>;
971defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_vi <0x60, FLAT_ATOMIC_SWAP_X2>;
972defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_vi <0x61, FLAT_ATOMIC_CMPSWAP_X2>;
973defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_vi <0x62, FLAT_ATOMIC_ADD_X2>;
974defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_vi <0x63, FLAT_ATOMIC_SUB_X2>;
975defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_vi <0x64, FLAT_ATOMIC_SMIN_X2>;
976defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_vi <0x65, FLAT_ATOMIC_UMIN_X2>;
977defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_vi <0x66, FLAT_ATOMIC_SMAX_X2>;
978defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_vi <0x67, FLAT_ATOMIC_UMAX_X2>;
979defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_vi <0x68, FLAT_ATOMIC_AND_X2>;
980defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_vi <0x69, FLAT_ATOMIC_OR_X2>;
981defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_vi <0x6a, FLAT_ATOMIC_XOR_X2>;
982defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_vi <0x6b, FLAT_ATOMIC_INC_X2>;
983defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_vi <0x6c, FLAT_ATOMIC_DEC_X2>;
984
Matt Arsenault04004712017-07-20 05:17:54 +0000985defm GLOBAL_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
986defm GLOBAL_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
987defm GLOBAL_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
988defm GLOBAL_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
989defm GLOBAL_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
990defm GLOBAL_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
Matt Arsenault04004712017-07-20 05:17:54 +0000991defm GLOBAL_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000992defm GLOBAL_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000993
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000994defm GLOBAL_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
995defm GLOBAL_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
996defm GLOBAL_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
997defm GLOBAL_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
998defm GLOBAL_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
999defm GLOBAL_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
1000
Matt Arsenault04004712017-07-20 05:17:54 +00001001defm GLOBAL_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001002defm GLOBAL_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
Matt Arsenault04004712017-07-20 05:17:54 +00001003defm GLOBAL_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001004defm GLOBAL_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
Matt Arsenault04004712017-07-20 05:17:54 +00001005defm GLOBAL_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
1006defm GLOBAL_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
Matt Arsenault04004712017-07-20 05:17:54 +00001007defm GLOBAL_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +00001008defm GLOBAL_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;
1009
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +00001010
1011defm GLOBAL_ATOMIC_SWAP : FLAT_Global_Real_Atomics_vi <0x40>;
1012defm GLOBAL_ATOMIC_CMPSWAP : FLAT_Global_Real_Atomics_vi <0x41>;
1013defm GLOBAL_ATOMIC_ADD : FLAT_Global_Real_Atomics_vi <0x42>;
1014defm GLOBAL_ATOMIC_SUB : FLAT_Global_Real_Atomics_vi <0x43>;
1015defm GLOBAL_ATOMIC_SMIN : FLAT_Global_Real_Atomics_vi <0x44>;
1016defm GLOBAL_ATOMIC_UMIN : FLAT_Global_Real_Atomics_vi <0x45>;
1017defm GLOBAL_ATOMIC_SMAX : FLAT_Global_Real_Atomics_vi <0x46>;
1018defm GLOBAL_ATOMIC_UMAX : FLAT_Global_Real_Atomics_vi <0x47>;
1019defm GLOBAL_ATOMIC_AND : FLAT_Global_Real_Atomics_vi <0x48>;
1020defm GLOBAL_ATOMIC_OR : FLAT_Global_Real_Atomics_vi <0x49>;
1021defm GLOBAL_ATOMIC_XOR : FLAT_Global_Real_Atomics_vi <0x4a>;
1022defm GLOBAL_ATOMIC_INC : FLAT_Global_Real_Atomics_vi <0x4b>;
1023defm GLOBAL_ATOMIC_DEC : FLAT_Global_Real_Atomics_vi <0x4c>;
1024defm GLOBAL_ATOMIC_SWAP_X2 : FLAT_Global_Real_Atomics_vi <0x60>;
1025defm GLOBAL_ATOMIC_CMPSWAP_X2 : FLAT_Global_Real_Atomics_vi <0x61>;
1026defm GLOBAL_ATOMIC_ADD_X2 : FLAT_Global_Real_Atomics_vi <0x62>;
1027defm GLOBAL_ATOMIC_SUB_X2 : FLAT_Global_Real_Atomics_vi <0x63>;
1028defm GLOBAL_ATOMIC_SMIN_X2 : FLAT_Global_Real_Atomics_vi <0x64>;
1029defm GLOBAL_ATOMIC_UMIN_X2 : FLAT_Global_Real_Atomics_vi <0x65>;
1030defm GLOBAL_ATOMIC_SMAX_X2 : FLAT_Global_Real_Atomics_vi <0x66>;
1031defm GLOBAL_ATOMIC_UMAX_X2 : FLAT_Global_Real_Atomics_vi <0x67>;
1032defm GLOBAL_ATOMIC_AND_X2 : FLAT_Global_Real_Atomics_vi <0x68>;
1033defm GLOBAL_ATOMIC_OR_X2 : FLAT_Global_Real_Atomics_vi <0x69>;
1034defm GLOBAL_ATOMIC_XOR_X2 : FLAT_Global_Real_Atomics_vi <0x6a>;
1035defm GLOBAL_ATOMIC_INC_X2 : FLAT_Global_Real_Atomics_vi <0x6b>;
1036defm GLOBAL_ATOMIC_DEC_X2 : FLAT_Global_Real_Atomics_vi <0x6c>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +00001037
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001038defm SCRATCH_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
1039defm SCRATCH_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
1040defm SCRATCH_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
1041defm SCRATCH_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
1042defm SCRATCH_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
1043defm SCRATCH_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
1044defm SCRATCH_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
1045defm SCRATCH_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
1046defm SCRATCH_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
1047defm SCRATCH_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
1048defm SCRATCH_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
1049defm SCRATCH_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
1050defm SCRATCH_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
1051defm SCRATCH_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
1052defm SCRATCH_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
1053defm SCRATCH_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
1054defm SCRATCH_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
1055defm SCRATCH_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
1056defm SCRATCH_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
1057defm SCRATCH_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
1058defm SCRATCH_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
1059defm SCRATCH_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;