blob: 8c32ce232dc317db521cacd2b963e1611026e92d [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 Arsenaultb81495d2017-09-20 05:01:53 +0000128 bit HasTiedOutput = 0,
Matt Arsenault04004712017-07-20 05:17:54 +0000129 bit HasSignedOffset = 0, bit HasSaddr = 0, bit EnableSaddr = 0> : FLAT_Pseudo<
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000130 opName,
131 (outs regClass:$vdst),
Matt Arsenault461ed082017-09-08 19:09:13 +0000132 !con(
133 !con(
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000134 !con(
135 !con((ins VReg_64:$vaddr),
136 !if(EnableSaddr, (ins SReg_64:$saddr), (ins))),
137 (ins !if(HasSignedOffset,offset_s13,offset_u12):$offset)),
138 (ins GLC:$glc, slc:$slc)),
139 !if(HasTiedOutput, (ins regClass:$vdst_in), (ins))),
Matt Arsenault04004712017-07-20 05:17:54 +0000140 " $vdst, $vaddr"#!if(HasSaddr, !if(EnableSaddr, ", $saddr", ", off"), "")#"$offset$glc$slc"> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000141 let has_data = 0;
142 let mayLoad = 1;
Matt Arsenault04004712017-07-20 05:17:54 +0000143 let has_saddr = HasSaddr;
144 let enabled_saddr = EnableSaddr;
145 let PseudoInstr = opName#!if(!and(HasSaddr, EnableSaddr), "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000146 let maybeAtomic = 1;
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000147
148 let Constraints = !if(HasTiedOutput, "$vdst = $vdst_in", "");
149 let DisableEncoding = !if(HasTiedOutput, "$vdst_in", "");
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000150}
151
Matt Arsenaultfd023142017-06-12 15:55:58 +0000152class FLAT_Store_Pseudo <string opName, RegisterClass vdataClass,
Matt Arsenault04004712017-07-20 05:17:54 +0000153 bit HasSignedOffset = 0, bit HasSaddr = 0, bit EnableSaddr = 0> : FLAT_Pseudo<
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000154 opName,
155 (outs),
Matt Arsenault461ed082017-09-08 19:09:13 +0000156 !con(
157 !con(
158 !con((ins VReg_64:$vaddr, vdataClass:$vdata),
159 !if(EnableSaddr, (ins SReg_64:$saddr), (ins))),
160 (ins !if(HasSignedOffset,offset_s13,offset_u12):$offset)),
161 (ins GLC:$glc, slc:$slc)),
Matt Arsenault04004712017-07-20 05:17:54 +0000162 " $vaddr, $vdata"#!if(HasSaddr, !if(EnableSaddr, ", $saddr", ", off"), "")#"$offset$glc$slc"> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000163 let mayLoad = 0;
164 let mayStore = 1;
165 let has_vdst = 0;
Matt Arsenault04004712017-07-20 05:17:54 +0000166 let has_saddr = HasSaddr;
167 let enabled_saddr = EnableSaddr;
168 let PseudoInstr = opName#!if(!and(HasSaddr, EnableSaddr), "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000169 let maybeAtomic = 1;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000170}
171
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000172multiclass FLAT_Global_Load_Pseudo<string opName, RegisterClass regClass, bit HasTiedInput = 0> {
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000173 let is_flat_global = 1 in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000174 def "" : FLAT_Load_Pseudo<opName, regClass, HasTiedInput, 1, 1>;
175 def _SADDR : FLAT_Load_Pseudo<opName, regClass, HasTiedInput, 1, 1, 1>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000176 }
177}
178
Matt Arsenault04004712017-07-20 05:17:54 +0000179multiclass FLAT_Global_Store_Pseudo<string opName, RegisterClass regClass> {
180 let is_flat_global = 1 in {
181 def "" : FLAT_Store_Pseudo<opName, regClass, 1, 1>;
182 def _SADDR : FLAT_Store_Pseudo<opName, regClass, 1, 1, 1>;
183 }
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000184}
185
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000186class FLAT_Scratch_Load_Pseudo <string opName, RegisterClass regClass,
187 bit EnableSaddr = 0>: FLAT_Pseudo<
188 opName,
189 (outs regClass:$vdst),
190 !if(EnableSaddr,
191 (ins SReg_32_XEXEC_HI:$saddr, offset_s13:$offset, GLC:$glc, slc:$slc),
192 (ins VGPR_32:$vaddr, offset_s13:$offset, GLC:$glc, slc:$slc)),
193 " $vdst, "#!if(EnableSaddr, "off", "$vaddr")#!if(EnableSaddr, ", $saddr", ", off")#"$offset$glc$slc"> {
194 let has_data = 0;
195 let mayLoad = 1;
196 let has_saddr = 1;
197 let enabled_saddr = EnableSaddr;
198 let has_vaddr = !if(EnableSaddr, 0, 1);
199 let PseudoInstr = opName#!if(EnableSaddr, "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000200 let maybeAtomic = 1;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000201}
202
203class FLAT_Scratch_Store_Pseudo <string opName, RegisterClass vdataClass, bit EnableSaddr = 0> : FLAT_Pseudo<
204 opName,
205 (outs),
206 !if(EnableSaddr,
207 (ins vdataClass:$vdata, SReg_32_XEXEC_HI:$saddr, offset_s13:$offset, GLC:$glc, slc:$slc),
208 (ins vdataClass:$vdata, VGPR_32:$vaddr, offset_s13:$offset, GLC:$glc, slc:$slc)),
209 " "#!if(EnableSaddr, "off", "$vaddr")#", $vdata, "#!if(EnableSaddr, "$saddr", "off")#"$offset$glc$slc"> {
210 let mayLoad = 0;
211 let mayStore = 1;
212 let has_vdst = 0;
213 let has_saddr = 1;
214 let enabled_saddr = EnableSaddr;
215 let has_vaddr = !if(EnableSaddr, 0, 1);
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000216 let PseudoInstr = opName#!if(EnableSaddr, "_SADDR", "");
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000217 let maybeAtomic = 1;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000218}
219
220multiclass FLAT_Scratch_Load_Pseudo<string opName, RegisterClass regClass> {
221 let is_flat_scratch = 1 in {
222 def "" : FLAT_Scratch_Load_Pseudo<opName, regClass>;
223 def _SADDR : FLAT_Scratch_Load_Pseudo<opName, regClass, 1>;
224 }
225}
226
227multiclass FLAT_Scratch_Store_Pseudo<string opName, RegisterClass regClass> {
228 let is_flat_scratch = 1 in {
229 def "" : FLAT_Scratch_Store_Pseudo<opName, regClass>;
230 def _SADDR : FLAT_Scratch_Store_Pseudo<opName, regClass, 1>;
231 }
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000232}
233
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000234class FLAT_AtomicNoRet_Pseudo<string opName, dag outs, dag ins,
235 string asm, list<dag> pattern = []> :
236 FLAT_Pseudo<opName, outs, ins, asm, pattern> {
237 let mayLoad = 1;
238 let mayStore = 1;
239 let has_glc = 0;
240 let glcValue = 0;
241 let has_vdst = 0;
Konstantin Zhuravlyov070d88e2017-07-21 21:05:45 +0000242 let maybeAtomic = 1;
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000243}
244
245class FLAT_AtomicRet_Pseudo<string opName, dag outs, dag ins,
246 string asm, list<dag> pattern = []>
247 : FLAT_AtomicNoRet_Pseudo<opName, outs, ins, asm, pattern> {
248 let hasPostISelHook = 1;
249 let has_vdst = 1;
250 let glcValue = 1;
251 let PseudoInstr = NAME # "_RTN";
252}
253
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000254multiclass FLAT_Atomic_Pseudo<
255 string opName,
256 RegisterClass vdst_rc,
257 ValueType vt,
258 SDPatternOperator atomic = null_frag,
259 ValueType data_vt = vt,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000260 RegisterClass data_rc = vdst_rc> {
261 def "" : FLAT_AtomicNoRet_Pseudo <opName,
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000262 (outs),
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000263 (ins VReg_64:$vaddr, data_rc:$vdata, offset_u12:$offset, slc:$slc),
264 " $vaddr, $vdata$offset$slc">,
265 AtomicNoRet <opName, 0> {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000266 let PseudoInstr = NAME;
267 }
268
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000269 def _RTN : FLAT_AtomicRet_Pseudo <opName,
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000270 (outs vdst_rc:$vdst),
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000271 (ins VReg_64:$vaddr, data_rc:$vdata, offset_u12:$offset, slc:$slc),
Matt Arsenaultfd023142017-06-12 15:55:58 +0000272 " $vdst, $vaddr, $vdata$offset glc$slc",
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000273 [(set vt:$vdst,
Matt Arsenaultfd023142017-06-12 15:55:58 +0000274 (atomic (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$vdata))]>,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000275 AtomicNoRet <opName, 1>;
276}
277
278multiclass FLAT_Global_Atomic_Pseudo<
279 string opName,
280 RegisterClass vdst_rc,
281 ValueType vt,
282 SDPatternOperator atomic = null_frag,
283 ValueType data_vt = vt,
284 RegisterClass data_rc = vdst_rc> {
285
286 def "" : FLAT_AtomicNoRet_Pseudo <opName,
287 (outs),
288 (ins VReg_64:$vaddr, data_rc:$vdata, offset_s13:$offset, slc:$slc),
289 " $vaddr, $vdata, off$offset$slc">,
290 AtomicNoRet <opName, 0> {
291 let has_saddr = 1;
292 let PseudoInstr = NAME;
293 }
294
295 def _RTN : FLAT_AtomicRet_Pseudo <opName,
296 (outs vdst_rc:$vdst),
297 (ins VReg_64:$vaddr, data_rc:$vdata, offset_s13:$offset, slc:$slc),
298 " $vdst, $vaddr, $vdata, off$offset glc$slc",
299 [(set vt:$vdst,
Matt Arsenault4e309b02017-07-29 01:03:53 +0000300 (atomic (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$vdata))]>,
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000301 AtomicNoRet <opName, 1> {
302 let has_saddr = 1;
303 }
304
305 def _SADDR : FLAT_AtomicNoRet_Pseudo <opName,
306 (outs),
307 (ins VReg_64:$vaddr, data_rc:$vdata, SReg_64:$saddr, offset_s13:$offset, slc:$slc),
308 " $vaddr, $vdata$saddr$offset$slc">,
309 AtomicNoRet <opName#"_saddr", 0> {
310 let has_saddr = 1;
311 let enabled_saddr = 1;
312 let PseudoInstr = NAME#"_SADDR";
313 }
314
315 def _SADDR_RTN : FLAT_AtomicRet_Pseudo <opName,
316 (outs vdst_rc:$vdst),
317 (ins VReg_64:$vaddr, data_rc:$vdata, SReg_64:$saddr, offset_s13:$offset, slc:$slc),
318 " $vdst, $vaddr, $vdata$saddr$offset glc$slc">,
319 AtomicNoRet <opName#"_saddr", 1> {
320 let has_saddr = 1;
321 let enabled_saddr = 1;
322 let PseudoInstr = NAME#"_SADDR_RTN";
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000323 }
324}
325
326class flat_binary_atomic_op<SDNode atomic_op> : PatFrag<
327 (ops node:$ptr, node:$value),
328 (atomic_op node:$ptr, node:$value),
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000329 [{return cast<MemSDNode>(N)->getAddressSpace() == AMDGPUASI.FLAT_ADDRESS;}]
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000330>;
331
332def atomic_cmp_swap_flat : flat_binary_atomic_op<AMDGPUatomic_cmp_swap>;
333def atomic_swap_flat : flat_binary_atomic_op<atomic_swap>;
334def atomic_add_flat : flat_binary_atomic_op<atomic_load_add>;
335def atomic_and_flat : flat_binary_atomic_op<atomic_load_and>;
336def atomic_max_flat : flat_binary_atomic_op<atomic_load_max>;
337def atomic_min_flat : flat_binary_atomic_op<atomic_load_min>;
338def atomic_or_flat : flat_binary_atomic_op<atomic_load_or>;
339def atomic_sub_flat : flat_binary_atomic_op<atomic_load_sub>;
340def atomic_umax_flat : flat_binary_atomic_op<atomic_load_umax>;
341def atomic_umin_flat : flat_binary_atomic_op<atomic_load_umin>;
342def atomic_xor_flat : flat_binary_atomic_op<atomic_load_xor>;
343def atomic_inc_flat : flat_binary_atomic_op<SIatomic_inc>;
344def atomic_dec_flat : flat_binary_atomic_op<SIatomic_dec>;
345
346
347
348//===----------------------------------------------------------------------===//
349// Flat Instructions
350//===----------------------------------------------------------------------===//
351
352def FLAT_LOAD_UBYTE : FLAT_Load_Pseudo <"flat_load_ubyte", VGPR_32>;
353def FLAT_LOAD_SBYTE : FLAT_Load_Pseudo <"flat_load_sbyte", VGPR_32>;
354def FLAT_LOAD_USHORT : FLAT_Load_Pseudo <"flat_load_ushort", VGPR_32>;
355def FLAT_LOAD_SSHORT : FLAT_Load_Pseudo <"flat_load_sshort", VGPR_32>;
356def FLAT_LOAD_DWORD : FLAT_Load_Pseudo <"flat_load_dword", VGPR_32>;
357def FLAT_LOAD_DWORDX2 : FLAT_Load_Pseudo <"flat_load_dwordx2", VReg_64>;
358def FLAT_LOAD_DWORDX4 : FLAT_Load_Pseudo <"flat_load_dwordx4", VReg_128>;
359def FLAT_LOAD_DWORDX3 : FLAT_Load_Pseudo <"flat_load_dwordx3", VReg_96>;
360
361def FLAT_STORE_BYTE : FLAT_Store_Pseudo <"flat_store_byte", VGPR_32>;
362def FLAT_STORE_SHORT : FLAT_Store_Pseudo <"flat_store_short", VGPR_32>;
363def FLAT_STORE_DWORD : FLAT_Store_Pseudo <"flat_store_dword", VGPR_32>;
364def FLAT_STORE_DWORDX2 : FLAT_Store_Pseudo <"flat_store_dwordx2", VReg_64>;
365def FLAT_STORE_DWORDX4 : FLAT_Store_Pseudo <"flat_store_dwordx4", VReg_128>;
366def FLAT_STORE_DWORDX3 : FLAT_Store_Pseudo <"flat_store_dwordx3", VReg_96>;
367
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000368let SubtargetPredicate = HasD16LoadStore in {
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000369def FLAT_LOAD_UBYTE_D16 : FLAT_Load_Pseudo <"flat_load_ubyte_d16", VGPR_32, 1>;
370def FLAT_LOAD_UBYTE_D16_HI : FLAT_Load_Pseudo <"flat_load_ubyte_d16_hi", VGPR_32, 1>;
371def FLAT_LOAD_SBYTE_D16 : FLAT_Load_Pseudo <"flat_load_sbyte_d16", VGPR_32, 1>;
372def FLAT_LOAD_SBYTE_D16_HI : FLAT_Load_Pseudo <"flat_load_sbyte_d16_hi", VGPR_32, 1>;
373def FLAT_LOAD_SHORT_D16 : FLAT_Load_Pseudo <"flat_load_short_d16", VGPR_32, 1>;
374def FLAT_LOAD_SHORT_D16_HI : FLAT_Load_Pseudo <"flat_load_short_d16_hi", VGPR_32, 1>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000375
376def FLAT_STORE_BYTE_D16_HI : FLAT_Store_Pseudo <"flat_store_byte_d16_hi", VGPR_32>;
377def FLAT_STORE_SHORT_D16_HI : FLAT_Store_Pseudo <"flat_store_short_d16_hi", VGPR_32>;
378}
379
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000380defm FLAT_ATOMIC_CMPSWAP : FLAT_Atomic_Pseudo <"flat_atomic_cmpswap",
381 VGPR_32, i32, atomic_cmp_swap_flat,
382 v2i32, VReg_64>;
383
384defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_cmpswap_x2",
385 VReg_64, i64, atomic_cmp_swap_flat,
386 v2i64, VReg_128>;
387
388defm FLAT_ATOMIC_SWAP : FLAT_Atomic_Pseudo <"flat_atomic_swap",
389 VGPR_32, i32, atomic_swap_flat>;
390
391defm FLAT_ATOMIC_SWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_swap_x2",
392 VReg_64, i64, atomic_swap_flat>;
393
394defm FLAT_ATOMIC_ADD : FLAT_Atomic_Pseudo <"flat_atomic_add",
395 VGPR_32, i32, atomic_add_flat>;
396
397defm FLAT_ATOMIC_SUB : FLAT_Atomic_Pseudo <"flat_atomic_sub",
398 VGPR_32, i32, atomic_sub_flat>;
399
400defm FLAT_ATOMIC_SMIN : FLAT_Atomic_Pseudo <"flat_atomic_smin",
401 VGPR_32, i32, atomic_min_flat>;
402
403defm FLAT_ATOMIC_UMIN : FLAT_Atomic_Pseudo <"flat_atomic_umin",
404 VGPR_32, i32, atomic_umin_flat>;
405
406defm FLAT_ATOMIC_SMAX : FLAT_Atomic_Pseudo <"flat_atomic_smax",
407 VGPR_32, i32, atomic_max_flat>;
408
409defm FLAT_ATOMIC_UMAX : FLAT_Atomic_Pseudo <"flat_atomic_umax",
410 VGPR_32, i32, atomic_umax_flat>;
411
412defm FLAT_ATOMIC_AND : FLAT_Atomic_Pseudo <"flat_atomic_and",
413 VGPR_32, i32, atomic_and_flat>;
414
415defm FLAT_ATOMIC_OR : FLAT_Atomic_Pseudo <"flat_atomic_or",
416 VGPR_32, i32, atomic_or_flat>;
417
418defm FLAT_ATOMIC_XOR : FLAT_Atomic_Pseudo <"flat_atomic_xor",
419 VGPR_32, i32, atomic_xor_flat>;
420
421defm FLAT_ATOMIC_INC : FLAT_Atomic_Pseudo <"flat_atomic_inc",
422 VGPR_32, i32, atomic_inc_flat>;
423
424defm FLAT_ATOMIC_DEC : FLAT_Atomic_Pseudo <"flat_atomic_dec",
425 VGPR_32, i32, atomic_dec_flat>;
426
427defm FLAT_ATOMIC_ADD_X2 : FLAT_Atomic_Pseudo <"flat_atomic_add_x2",
428 VReg_64, i64, atomic_add_flat>;
429
430defm FLAT_ATOMIC_SUB_X2 : FLAT_Atomic_Pseudo <"flat_atomic_sub_x2",
431 VReg_64, i64, atomic_sub_flat>;
432
433defm FLAT_ATOMIC_SMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_smin_x2",
434 VReg_64, i64, atomic_min_flat>;
435
436defm FLAT_ATOMIC_UMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_umin_x2",
437 VReg_64, i64, atomic_umin_flat>;
438
439defm FLAT_ATOMIC_SMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_smax_x2",
440 VReg_64, i64, atomic_max_flat>;
441
442defm FLAT_ATOMIC_UMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_umax_x2",
443 VReg_64, i64, atomic_umax_flat>;
444
445defm FLAT_ATOMIC_AND_X2 : FLAT_Atomic_Pseudo <"flat_atomic_and_x2",
446 VReg_64, i64, atomic_and_flat>;
447
448defm FLAT_ATOMIC_OR_X2 : FLAT_Atomic_Pseudo <"flat_atomic_or_x2",
449 VReg_64, i64, atomic_or_flat>;
450
451defm FLAT_ATOMIC_XOR_X2 : FLAT_Atomic_Pseudo <"flat_atomic_xor_x2",
452 VReg_64, i64, atomic_xor_flat>;
453
454defm FLAT_ATOMIC_INC_X2 : FLAT_Atomic_Pseudo <"flat_atomic_inc_x2",
455 VReg_64, i64, atomic_inc_flat>;
456
457defm FLAT_ATOMIC_DEC_X2 : FLAT_Atomic_Pseudo <"flat_atomic_dec_x2",
458 VReg_64, i64, atomic_dec_flat>;
459
460let SubtargetPredicate = isCI in { // CI Only flat instructions : FIXME Only?
461
462defm FLAT_ATOMIC_FCMPSWAP : FLAT_Atomic_Pseudo <"flat_atomic_fcmpswap",
463 VGPR_32, f32, null_frag, v2f32, VReg_64>;
464
465defm FLAT_ATOMIC_FCMPSWAP_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fcmpswap_x2",
466 VReg_64, f64, null_frag, v2f64, VReg_128>;
467
468defm FLAT_ATOMIC_FMIN : FLAT_Atomic_Pseudo <"flat_atomic_fmin",
469 VGPR_32, f32>;
470
471defm FLAT_ATOMIC_FMAX : FLAT_Atomic_Pseudo <"flat_atomic_fmax",
472 VGPR_32, f32>;
473
474defm FLAT_ATOMIC_FMIN_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fmin_x2",
475 VReg_64, f64>;
476
477defm FLAT_ATOMIC_FMAX_X2 : FLAT_Atomic_Pseudo <"flat_atomic_fmax_x2",
478 VReg_64, f64>;
479
480} // End SubtargetPredicate = isCI
481
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000482let SubtargetPredicate = HasFlatGlobalInsts in {
Matt Arsenault04004712017-07-20 05:17:54 +0000483defm GLOBAL_LOAD_UBYTE : FLAT_Global_Load_Pseudo <"global_load_ubyte", VGPR_32>;
484defm GLOBAL_LOAD_SBYTE : FLAT_Global_Load_Pseudo <"global_load_sbyte", VGPR_32>;
485defm GLOBAL_LOAD_USHORT : FLAT_Global_Load_Pseudo <"global_load_ushort", VGPR_32>;
486defm GLOBAL_LOAD_SSHORT : FLAT_Global_Load_Pseudo <"global_load_sshort", VGPR_32>;
487defm GLOBAL_LOAD_DWORD : FLAT_Global_Load_Pseudo <"global_load_dword", VGPR_32>;
488defm GLOBAL_LOAD_DWORDX2 : FLAT_Global_Load_Pseudo <"global_load_dwordx2", VReg_64>;
489defm GLOBAL_LOAD_DWORDX3 : FLAT_Global_Load_Pseudo <"global_load_dwordx3", VReg_96>;
490defm GLOBAL_LOAD_DWORDX4 : FLAT_Global_Load_Pseudo <"global_load_dwordx4", VReg_128>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000491
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000492defm GLOBAL_LOAD_UBYTE_D16 : FLAT_Global_Load_Pseudo <"global_load_ubyte_d16", VGPR_32, 1>;
493defm GLOBAL_LOAD_UBYTE_D16_HI : FLAT_Global_Load_Pseudo <"global_load_ubyte_d16_hi", VGPR_32, 1>;
494defm GLOBAL_LOAD_SBYTE_D16 : FLAT_Global_Load_Pseudo <"global_load_sbyte_d16", VGPR_32, 1>;
495defm GLOBAL_LOAD_SBYTE_D16_HI : FLAT_Global_Load_Pseudo <"global_load_sbyte_d16_hi", VGPR_32, 1>;
496defm GLOBAL_LOAD_SHORT_D16 : FLAT_Global_Load_Pseudo <"global_load_short_d16", VGPR_32, 1>;
497defm GLOBAL_LOAD_SHORT_D16_HI : FLAT_Global_Load_Pseudo <"global_load_short_d16_hi", VGPR_32, 1>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000498
Matt Arsenault04004712017-07-20 05:17:54 +0000499defm GLOBAL_STORE_BYTE : FLAT_Global_Store_Pseudo <"global_store_byte", VGPR_32>;
500defm GLOBAL_STORE_SHORT : FLAT_Global_Store_Pseudo <"global_store_short", VGPR_32>;
501defm GLOBAL_STORE_DWORD : FLAT_Global_Store_Pseudo <"global_store_dword", VGPR_32>;
502defm GLOBAL_STORE_DWORDX2 : FLAT_Global_Store_Pseudo <"global_store_dwordx2", VReg_64>;
503defm GLOBAL_STORE_DWORDX3 : FLAT_Global_Store_Pseudo <"global_store_dwordx3", VReg_96>;
504defm GLOBAL_STORE_DWORDX4 : FLAT_Global_Store_Pseudo <"global_store_dwordx4", VReg_128>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000505
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000506defm GLOBAL_STORE_BYTE_D16_HI : FLAT_Global_Store_Pseudo <"global_store_byte_d16_hi", VGPR_32>;
507defm GLOBAL_STORE_SHORT_D16_HI : FLAT_Global_Store_Pseudo <"global_store_short_d16_hi", VGPR_32>;
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000508
509let is_flat_global = 1 in {
510defm GLOBAL_ATOMIC_CMPSWAP : FLAT_Global_Atomic_Pseudo <"global_atomic_cmpswap",
511 VGPR_32, i32, AMDGPUatomic_cmp_swap_global,
512 v2i32, VReg_64>;
513
514defm GLOBAL_ATOMIC_CMPSWAP_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_cmpswap_x2",
515 VReg_64, i64, AMDGPUatomic_cmp_swap_global,
516 v2i64, VReg_128>;
517
518defm GLOBAL_ATOMIC_SWAP : FLAT_Global_Atomic_Pseudo <"global_atomic_swap",
519 VGPR_32, i32, atomic_swap_global>;
520
521defm GLOBAL_ATOMIC_SWAP_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_swap_x2",
522 VReg_64, i64, atomic_swap_global>;
523
524defm GLOBAL_ATOMIC_ADD : FLAT_Global_Atomic_Pseudo <"global_atomic_add",
525 VGPR_32, i32, atomic_add_global>;
526
527defm GLOBAL_ATOMIC_SUB : FLAT_Global_Atomic_Pseudo <"global_atomic_sub",
528 VGPR_32, i32, atomic_sub_global>;
529
530defm GLOBAL_ATOMIC_SMIN : FLAT_Global_Atomic_Pseudo <"global_atomic_smin",
531 VGPR_32, i32, atomic_min_global>;
532
533defm GLOBAL_ATOMIC_UMIN : FLAT_Global_Atomic_Pseudo <"global_atomic_umin",
534 VGPR_32, i32, atomic_umin_global>;
535
536defm GLOBAL_ATOMIC_SMAX : FLAT_Global_Atomic_Pseudo <"global_atomic_smax",
537 VGPR_32, i32, atomic_max_global>;
538
539defm GLOBAL_ATOMIC_UMAX : FLAT_Global_Atomic_Pseudo <"global_atomic_umax",
540 VGPR_32, i32, atomic_umax_global>;
541
542defm GLOBAL_ATOMIC_AND : FLAT_Global_Atomic_Pseudo <"global_atomic_and",
543 VGPR_32, i32, atomic_and_global>;
544
545defm GLOBAL_ATOMIC_OR : FLAT_Global_Atomic_Pseudo <"global_atomic_or",
546 VGPR_32, i32, atomic_or_global>;
547
548defm GLOBAL_ATOMIC_XOR : FLAT_Global_Atomic_Pseudo <"global_atomic_xor",
549 VGPR_32, i32, atomic_xor_global>;
550
551defm GLOBAL_ATOMIC_INC : FLAT_Global_Atomic_Pseudo <"global_atomic_inc",
552 VGPR_32, i32, atomic_inc_global>;
553
554defm GLOBAL_ATOMIC_DEC : FLAT_Global_Atomic_Pseudo <"global_atomic_dec",
555 VGPR_32, i32, atomic_dec_global>;
556
557defm GLOBAL_ATOMIC_ADD_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_add_x2",
558 VReg_64, i64, atomic_add_global>;
559
560defm GLOBAL_ATOMIC_SUB_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_sub_x2",
561 VReg_64, i64, atomic_sub_global>;
562
563defm GLOBAL_ATOMIC_SMIN_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_smin_x2",
564 VReg_64, i64, atomic_min_global>;
565
566defm GLOBAL_ATOMIC_UMIN_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_umin_x2",
567 VReg_64, i64, atomic_umin_global>;
568
569defm GLOBAL_ATOMIC_SMAX_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_smax_x2",
570 VReg_64, i64, atomic_max_global>;
571
572defm GLOBAL_ATOMIC_UMAX_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_umax_x2",
573 VReg_64, i64, atomic_umax_global>;
574
575defm GLOBAL_ATOMIC_AND_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_and_x2",
576 VReg_64, i64, atomic_and_global>;
577
578defm GLOBAL_ATOMIC_OR_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_or_x2",
579 VReg_64, i64, atomic_or_global>;
580
581defm GLOBAL_ATOMIC_XOR_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_xor_x2",
582 VReg_64, i64, atomic_xor_global>;
583
584defm GLOBAL_ATOMIC_INC_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_inc_x2",
585 VReg_64, i64, atomic_inc_global>;
586
587defm GLOBAL_ATOMIC_DEC_X2 : FLAT_Global_Atomic_Pseudo <"global_atomic_dec_x2",
588 VReg_64, i64, atomic_dec_global>;
589} // End is_flat_global = 1
590
Matt Arsenault9698f1c2017-06-20 19:54:14 +0000591} // End SubtargetPredicate = HasFlatGlobalInsts
592
593
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000594let SubtargetPredicate = HasFlatScratchInsts in {
595defm SCRATCH_LOAD_UBYTE : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte", VGPR_32>;
596defm SCRATCH_LOAD_SBYTE : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte", VGPR_32>;
597defm SCRATCH_LOAD_USHORT : FLAT_Scratch_Load_Pseudo <"scratch_load_ushort", VGPR_32>;
598defm SCRATCH_LOAD_SSHORT : FLAT_Scratch_Load_Pseudo <"scratch_load_sshort", VGPR_32>;
599defm SCRATCH_LOAD_DWORD : FLAT_Scratch_Load_Pseudo <"scratch_load_dword", VGPR_32>;
600defm SCRATCH_LOAD_DWORDX2 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx2", VReg_64>;
601defm SCRATCH_LOAD_DWORDX3 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx3", VReg_96>;
602defm SCRATCH_LOAD_DWORDX4 : FLAT_Scratch_Load_Pseudo <"scratch_load_dwordx4", VReg_128>;
603
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000604defm SCRATCH_LOAD_UBYTE_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte_d16", VGPR_32>;
605defm SCRATCH_LOAD_UBYTE_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_ubyte_d16_hi", VGPR_32>;
606defm SCRATCH_LOAD_SBYTE_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte_d16", VGPR_32>;
607defm SCRATCH_LOAD_SBYTE_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_sbyte_d16_hi", VGPR_32>;
608defm SCRATCH_LOAD_SHORT_D16 : FLAT_Scratch_Load_Pseudo <"scratch_load_short_d16", VGPR_32>;
609defm SCRATCH_LOAD_SHORT_D16_HI : FLAT_Scratch_Load_Pseudo <"scratch_load_short_d16_hi", VGPR_32>;
610
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000611defm SCRATCH_STORE_BYTE : FLAT_Scratch_Store_Pseudo <"scratch_store_byte", VGPR_32>;
612defm SCRATCH_STORE_SHORT : FLAT_Scratch_Store_Pseudo <"scratch_store_short", VGPR_32>;
613defm SCRATCH_STORE_DWORD : FLAT_Scratch_Store_Pseudo <"scratch_store_dword", VGPR_32>;
614defm SCRATCH_STORE_DWORDX2 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx2", VReg_64>;
615defm SCRATCH_STORE_DWORDX3 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx3", VReg_96>;
616defm SCRATCH_STORE_DWORDX4 : FLAT_Scratch_Store_Pseudo <"scratch_store_dwordx4", VReg_128>;
617
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000618defm SCRATCH_STORE_BYTE_D16_HI : FLAT_Scratch_Store_Pseudo <"scratch_store_byte_d16_hi", VGPR_32>;
619defm SCRATCH_STORE_SHORT_D16_HI : FLAT_Scratch_Store_Pseudo <"scratch_store_short_d16_hi", VGPR_32>;
620
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000621} // End SubtargetPredicate = HasFlatScratchInsts
622
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000623//===----------------------------------------------------------------------===//
624// Flat Patterns
625//===----------------------------------------------------------------------===//
626
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000627// Patterns for global loads with no offset.
628class FlatLoadPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000629 (vt (node (FLATOffset i64:$vaddr, i16:$offset, i1:$slc))),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000630 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000631>;
632
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000633multiclass FlatLoadPat_Hi16 <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt = i16> {
634 def : Pat <
635 (build_vector vt:$elt0, (vt (node (FLATOffset i64:$vaddr, i16:$offset, i1:$slc)))),
636 (v2i16 (inst $vaddr, $offset, 0, $slc, $elt0))
637 >;
638
639 def : Pat <
640 (build_vector f16:$elt0, (f16 (bitconvert (vt (node (FLATOffset i64:$vaddr, i16:$offset, i1:$slc)))))),
641 (v2f16 (inst $vaddr, $offset, 0, $slc, $elt0))
642 >;
643}
644
645multiclass FlatSignedLoadPat_Hi16 <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt = i16> {
646 def : Pat <
647 (build_vector vt:$elt0, (vt (node (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc)))),
648 (v2i16 (inst $vaddr, $offset, 0, $slc, $elt0))
649 >;
650
651 def : Pat <
652 (build_vector f16:$elt0, (f16 (bitconvert (vt (node (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc)))))),
653 (v2f16 (inst $vaddr, $offset, 0, $slc, $elt0))
654 >;
655}
656
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000657class FlatLoadAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000658 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc))),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000659 (inst $vaddr, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000660>;
661
Matt Arsenault4e309b02017-07-29 01:03:53 +0000662class FlatLoadSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
663 (vt (node (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc))),
664 (inst $vaddr, $offset, 0, $slc)
665>;
666
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000667class FlatStorePat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
Matt Arsenault4e309b02017-07-29 01:03:53 +0000668 (node vt:$data, (FLATOffset i64:$vaddr, i16:$offset, i1:$slc)),
669 (inst $vaddr, $data, $offset, 0, $slc)
670>;
671
672class FlatStoreSignedPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
673 (node vt:$data, (FLATOffsetSigned i64:$vaddr, i16:$offset, i1:$slc)),
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000674 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000675>;
676
677class FlatStoreAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
678 // atomic store follows atomic binop convention so the address comes
679 // first.
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000680 (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
Konstantin Zhuravlyove9a5a772017-07-21 21:19:23 +0000681 (inst $vaddr, $data, $offset, 0, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000682>;
683
Matt Arsenault4e309b02017-07-29 01:03:53 +0000684class FlatStoreSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt> : Pat <
685 // atomic store follows atomic binop convention so the address comes
686 // first.
687 (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), vt:$data),
688 (inst $vaddr, $data, $offset, 0, $slc)
689>;
690
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000691class FlatAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
692 ValueType data_vt = vt> : Pat <
Matt Arsenaultdb7c6a82017-06-12 16:53:51 +0000693 (vt (node (FLATAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
694 (inst $vaddr, $data, $offset, $slc)
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000695>;
696
Matt Arsenault4e309b02017-07-29 01:03:53 +0000697class FlatSignedAtomicPat <FLAT_Pseudo inst, SDPatternOperator node, ValueType vt,
698 ValueType data_vt = vt> : Pat <
699 (vt (node (FLATSignedAtomic i64:$vaddr, i16:$offset, i1:$slc), data_vt:$data)),
700 (inst $vaddr, $data, $offset, $slc)
701>;
702
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000703let Predicates = [HasFlatAddressSpace] in {
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000704
Matt Arsenaultbc683832017-09-20 03:43:35 +0000705def : FlatLoadPat <FLAT_LOAD_UBYTE, az_extloadi8_flat, i32>;
706def : FlatLoadPat <FLAT_LOAD_SBYTE, sextloadi8_flat, i32>;
707def : FlatLoadPat <FLAT_LOAD_UBYTE, az_extloadi8_flat, i16>;
708def : FlatLoadPat <FLAT_LOAD_SBYTE, sextloadi8_flat, i16>;
709def : FlatLoadPat <FLAT_LOAD_USHORT, az_extloadi16_flat, i32>;
710def : FlatLoadPat <FLAT_LOAD_USHORT, load_flat, i16>;
711def : FlatLoadPat <FLAT_LOAD_SSHORT, sextloadi16_flat, i32>;
712def : FlatLoadPat <FLAT_LOAD_DWORD, load_flat, i32>;
713def : FlatLoadPat <FLAT_LOAD_DWORDX2, load_flat, v2i32>;
714def : FlatLoadPat <FLAT_LOAD_DWORDX4, load_flat, v4i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000715
Matt Arsenaultbc683832017-09-20 03:43:35 +0000716def : FlatLoadAtomicPat <FLAT_LOAD_DWORD, atomic_load_flat, i32>;
717def : FlatLoadAtomicPat <FLAT_LOAD_DWORDX2, atomic_load_flat, i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000718
Matt Arsenaultbc683832017-09-20 03:43:35 +0000719def : FlatStorePat <FLAT_STORE_BYTE, truncstorei8_flat, i32>;
720def : FlatStorePat <FLAT_STORE_SHORT, truncstorei16_flat, i32>;
721def : FlatStorePat <FLAT_STORE_DWORD, store_flat, i32>;
722def : FlatStorePat <FLAT_STORE_DWORDX2, store_flat, v2i32>;
723def : FlatStorePat <FLAT_STORE_DWORDX4, store_flat, v4i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000724
Matt Arsenaultbc683832017-09-20 03:43:35 +0000725def : FlatStoreAtomicPat <FLAT_STORE_DWORD, atomic_store_flat, i32>;
726def : FlatStoreAtomicPat <FLAT_STORE_DWORDX2, atomic_store_flat, i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000727
728def : FlatAtomicPat <FLAT_ATOMIC_ADD_RTN, atomic_add_global, i32>;
729def : FlatAtomicPat <FLAT_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
730def : FlatAtomicPat <FLAT_ATOMIC_INC_RTN, atomic_inc_global, i32>;
731def : FlatAtomicPat <FLAT_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
732def : FlatAtomicPat <FLAT_ATOMIC_AND_RTN, atomic_and_global, i32>;
733def : FlatAtomicPat <FLAT_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
734def : FlatAtomicPat <FLAT_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
735def : FlatAtomicPat <FLAT_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
736def : FlatAtomicPat <FLAT_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
737def : FlatAtomicPat <FLAT_ATOMIC_OR_RTN, atomic_or_global, i32>;
738def : FlatAtomicPat <FLAT_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
Jan Vesely206a5102016-12-23 15:34:51 +0000739def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000740def : FlatAtomicPat <FLAT_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
741
742def : FlatAtomicPat <FLAT_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
743def : FlatAtomicPat <FLAT_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
744def : FlatAtomicPat <FLAT_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
745def : FlatAtomicPat <FLAT_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
746def : FlatAtomicPat <FLAT_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
747def : FlatAtomicPat <FLAT_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
748def : FlatAtomicPat <FLAT_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
749def : FlatAtomicPat <FLAT_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
750def : FlatAtomicPat <FLAT_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
751def : FlatAtomicPat <FLAT_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
752def : FlatAtomicPat <FLAT_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
Jan Vesely206a5102016-12-23 15:34:51 +0000753def : FlatAtomicPat <FLAT_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000754def : FlatAtomicPat <FLAT_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
755
Matt Arsenaultbc683832017-09-20 03:43:35 +0000756def : FlatStorePat <FLAT_STORE_BYTE, truncstorei8_flat, i16>;
757def : FlatStorePat <FLAT_STORE_SHORT, store_flat, i16>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000758
759 let Predicates = [HasD16LoadStore] in {
Matt Arsenaultbc683832017-09-20 03:43:35 +0000760def : FlatStorePat <FLAT_STORE_SHORT_D16_HI, truncstorei16_hi16_flat, i32>;
761def : FlatStorePat <FLAT_STORE_BYTE_D16_HI, truncstorei8_hi16_flat, i32>;
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000762
763let AddedComplexity = 3 in {
764defm : FlatLoadPat_Hi16 <FLAT_LOAD_UBYTE_D16_HI, az_extloadi8_flat>;
765defm : FlatLoadPat_Hi16 <FLAT_LOAD_SBYTE_D16_HI, sextloadi8_flat>;
766defm : FlatLoadPat_Hi16 <FLAT_LOAD_SHORT_D16_HI, load_flat>;
767}
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000768}
769
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000770} // End Predicates = [HasFlatAddressSpace]
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000771
Matt Arsenault4e309b02017-07-29 01:03:53 +0000772let Predicates = [HasFlatGlobalInsts], AddedComplexity = 10 in {
773
774def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i32>;
775def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i32>;
776def : FlatLoadSignedPat <GLOBAL_LOAD_UBYTE, az_extloadi8_global, i16>;
777def : FlatLoadSignedPat <GLOBAL_LOAD_SBYTE, sextloadi8_global, i16>;
778def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, az_extloadi16_global, i32>;
779def : FlatLoadSignedPat <GLOBAL_LOAD_SSHORT, sextloadi16_global, i32>;
Matt Arsenaultbc683832017-09-20 03:43:35 +0000780def : FlatLoadSignedPat <GLOBAL_LOAD_USHORT, load_global, i16>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000781
Matt Arsenaultbc683832017-09-20 03:43:35 +0000782def : FlatLoadSignedPat <GLOBAL_LOAD_DWORD, load_global, i32>;
783def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX2, load_global, v2i32>;
784def : FlatLoadSignedPat <GLOBAL_LOAD_DWORDX4, load_global, v4i32>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000785
Matt Arsenaultbc683832017-09-20 03:43:35 +0000786def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORD, atomic_load_global, i32>;
787def : FlatLoadAtomicPat <GLOBAL_LOAD_DWORDX2, atomic_load_global, i64>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000788
789def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i32>;
790def : FlatStoreSignedPat <GLOBAL_STORE_BYTE, truncstorei8_global, i16>;
791def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, truncstorei16_global, i32>;
Matt Arsenaultbc683832017-09-20 03:43:35 +0000792def : FlatStoreSignedPat <GLOBAL_STORE_SHORT, store_global, i16>;
793def : FlatStoreSignedPat <GLOBAL_STORE_DWORD, store_global, i32>;
794def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX2, store_global, v2i32>;
795def : FlatStoreSignedPat <GLOBAL_STORE_DWORDX4, store_global, v4i32>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000796
797 let Predicates = [HasD16LoadStore] in {
Matt Arsenaultbc683832017-09-20 03:43:35 +0000798def : FlatStoreSignedPat <GLOBAL_STORE_SHORT_D16_HI, truncstorei16_hi16_global, i32>;
799def : FlatStoreSignedPat <GLOBAL_STORE_BYTE_D16_HI, truncstorei8_hi16_global, i32>;
Matt Arsenaultb81495d2017-09-20 05:01:53 +0000800
801defm : FlatSignedLoadPat_Hi16 <GLOBAL_LOAD_UBYTE_D16_HI, az_extloadi8_global>;
802defm : FlatSignedLoadPat_Hi16 <GLOBAL_LOAD_SBYTE_D16_HI, sextloadi8_global>;
803defm : FlatSignedLoadPat_Hi16 <GLOBAL_LOAD_SHORT_D16_HI, load_global>;
Matt Arsenaultfcc213f2017-09-20 03:20:09 +0000804}
805
Matt Arsenaultbc683832017-09-20 03:43:35 +0000806def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORD, store_atomic_global, i32>;
807def : FlatStoreSignedAtomicPat <GLOBAL_STORE_DWORDX2, store_atomic_global, i64>;
Matt Arsenault4e309b02017-07-29 01:03:53 +0000808
809def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_RTN, atomic_add_global, i32>;
810def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_RTN, atomic_sub_global, i32>;
811def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_RTN, atomic_inc_global, i32>;
812def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_RTN, atomic_dec_global, i32>;
813def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_RTN, atomic_and_global, i32>;
814def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_RTN, atomic_max_global, i32>;
815def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_RTN, atomic_umax_global, i32>;
816def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_RTN, atomic_min_global, i32>;
817def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_RTN, atomic_umin_global, i32>;
818def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_RTN, atomic_or_global, i32>;
819def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_RTN, atomic_swap_global, i32>;
820def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_RTN, AMDGPUatomic_cmp_swap_global, i32, v2i32>;
821def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_RTN, atomic_xor_global, i32>;
822
823def : FlatSignedAtomicPat <GLOBAL_ATOMIC_ADD_X2_RTN, atomic_add_global, i64>;
824def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SUB_X2_RTN, atomic_sub_global, i64>;
825def : FlatSignedAtomicPat <GLOBAL_ATOMIC_INC_X2_RTN, atomic_inc_global, i64>;
826def : FlatSignedAtomicPat <GLOBAL_ATOMIC_DEC_X2_RTN, atomic_dec_global, i64>;
827def : FlatSignedAtomicPat <GLOBAL_ATOMIC_AND_X2_RTN, atomic_and_global, i64>;
828def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMAX_X2_RTN, atomic_max_global, i64>;
829def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMAX_X2_RTN, atomic_umax_global, i64>;
830def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SMIN_X2_RTN, atomic_min_global, i64>;
831def : FlatSignedAtomicPat <GLOBAL_ATOMIC_UMIN_X2_RTN, atomic_umin_global, i64>;
832def : FlatSignedAtomicPat <GLOBAL_ATOMIC_OR_X2_RTN, atomic_or_global, i64>;
833def : FlatSignedAtomicPat <GLOBAL_ATOMIC_SWAP_X2_RTN, atomic_swap_global, i64>;
834def : FlatSignedAtomicPat <GLOBAL_ATOMIC_CMPSWAP_X2_RTN, AMDGPUatomic_cmp_swap_global, i64, v2i64>;
835def : FlatSignedAtomicPat <GLOBAL_ATOMIC_XOR_X2_RTN, atomic_xor_global, i64>;
836
837} // End Predicates = [HasFlatGlobalInsts]
838
839
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000840//===----------------------------------------------------------------------===//
841// Target
842//===----------------------------------------------------------------------===//
843
844//===----------------------------------------------------------------------===//
845// CI
846//===----------------------------------------------------------------------===//
847
848class FLAT_Real_ci <bits<7> op, FLAT_Pseudo ps> :
849 FLAT_Real <op, ps>,
850 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.SI> {
851 let AssemblerPredicate = isCIOnly;
852 let DecoderNamespace="CI";
853}
854
855def FLAT_LOAD_UBYTE_ci : FLAT_Real_ci <0x8, FLAT_LOAD_UBYTE>;
856def FLAT_LOAD_SBYTE_ci : FLAT_Real_ci <0x9, FLAT_LOAD_SBYTE>;
857def FLAT_LOAD_USHORT_ci : FLAT_Real_ci <0xa, FLAT_LOAD_USHORT>;
858def FLAT_LOAD_SSHORT_ci : FLAT_Real_ci <0xb, FLAT_LOAD_SSHORT>;
859def FLAT_LOAD_DWORD_ci : FLAT_Real_ci <0xc, FLAT_LOAD_DWORD>;
860def FLAT_LOAD_DWORDX2_ci : FLAT_Real_ci <0xd, FLAT_LOAD_DWORDX2>;
861def FLAT_LOAD_DWORDX4_ci : FLAT_Real_ci <0xe, FLAT_LOAD_DWORDX4>;
862def FLAT_LOAD_DWORDX3_ci : FLAT_Real_ci <0xf, FLAT_LOAD_DWORDX3>;
863
864def FLAT_STORE_BYTE_ci : FLAT_Real_ci <0x18, FLAT_STORE_BYTE>;
865def FLAT_STORE_SHORT_ci : FLAT_Real_ci <0x1a, FLAT_STORE_SHORT>;
866def FLAT_STORE_DWORD_ci : FLAT_Real_ci <0x1c, FLAT_STORE_DWORD>;
867def FLAT_STORE_DWORDX2_ci : FLAT_Real_ci <0x1d, FLAT_STORE_DWORDX2>;
868def FLAT_STORE_DWORDX4_ci : FLAT_Real_ci <0x1e, FLAT_STORE_DWORDX4>;
869def FLAT_STORE_DWORDX3_ci : FLAT_Real_ci <0x1f, FLAT_STORE_DWORDX3>;
870
871multiclass FLAT_Real_Atomics_ci <bits<7> op, FLAT_Pseudo ps> {
872 def _ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
873 def _RTN_ci : FLAT_Real_ci<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
874}
875
876defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_ci <0x30, FLAT_ATOMIC_SWAP>;
877defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_ci <0x31, FLAT_ATOMIC_CMPSWAP>;
878defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_ci <0x32, FLAT_ATOMIC_ADD>;
879defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_ci <0x33, FLAT_ATOMIC_SUB>;
880defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_ci <0x35, FLAT_ATOMIC_SMIN>;
881defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_ci <0x36, FLAT_ATOMIC_UMIN>;
882defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_ci <0x37, FLAT_ATOMIC_SMAX>;
883defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_ci <0x38, FLAT_ATOMIC_UMAX>;
884defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_ci <0x39, FLAT_ATOMIC_AND>;
885defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_ci <0x3a, FLAT_ATOMIC_OR>;
886defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_ci <0x3b, FLAT_ATOMIC_XOR>;
887defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_ci <0x3c, FLAT_ATOMIC_INC>;
888defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_ci <0x3d, FLAT_ATOMIC_DEC>;
889defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_ci <0x50, FLAT_ATOMIC_SWAP_X2>;
890defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_ci <0x51, FLAT_ATOMIC_CMPSWAP_X2>;
891defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_ci <0x52, FLAT_ATOMIC_ADD_X2>;
892defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_ci <0x53, FLAT_ATOMIC_SUB_X2>;
893defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_ci <0x55, FLAT_ATOMIC_SMIN_X2>;
894defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_ci <0x56, FLAT_ATOMIC_UMIN_X2>;
895defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_ci <0x57, FLAT_ATOMIC_SMAX_X2>;
896defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_ci <0x58, FLAT_ATOMIC_UMAX_X2>;
897defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_ci <0x59, FLAT_ATOMIC_AND_X2>;
898defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_ci <0x5a, FLAT_ATOMIC_OR_X2>;
899defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_ci <0x5b, FLAT_ATOMIC_XOR_X2>;
900defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_ci <0x5c, FLAT_ATOMIC_INC_X2>;
901defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_ci <0x5d, FLAT_ATOMIC_DEC_X2>;
902
903// CI Only flat instructions
904defm FLAT_ATOMIC_FCMPSWAP : FLAT_Real_Atomics_ci <0x3e, FLAT_ATOMIC_FCMPSWAP>;
905defm FLAT_ATOMIC_FMIN : FLAT_Real_Atomics_ci <0x3f, FLAT_ATOMIC_FMIN>;
906defm FLAT_ATOMIC_FMAX : FLAT_Real_Atomics_ci <0x40, FLAT_ATOMIC_FMAX>;
907defm FLAT_ATOMIC_FCMPSWAP_X2 : FLAT_Real_Atomics_ci <0x5e, FLAT_ATOMIC_FCMPSWAP_X2>;
908defm FLAT_ATOMIC_FMIN_X2 : FLAT_Real_Atomics_ci <0x5f, FLAT_ATOMIC_FMIN_X2>;
909defm FLAT_ATOMIC_FMAX_X2 : FLAT_Real_Atomics_ci <0x60, FLAT_ATOMIC_FMAX_X2>;
910
911
912//===----------------------------------------------------------------------===//
913// VI
914//===----------------------------------------------------------------------===//
915
916class FLAT_Real_vi <bits<7> op, FLAT_Pseudo ps> :
917 FLAT_Real <op, ps>,
918 SIMCInstr <ps.PseudoInstr, SIEncodingFamily.VI> {
919 let AssemblerPredicate = isVI;
920 let DecoderNamespace="VI";
921}
922
Matt Arsenault04004712017-07-20 05:17:54 +0000923multiclass FLAT_Real_AllAddr_vi<bits<7> op> {
924 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME)>;
925 def _SADDR_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(NAME#"_SADDR")>;
926}
927
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000928def FLAT_LOAD_UBYTE_vi : FLAT_Real_vi <0x10, FLAT_LOAD_UBYTE>;
929def FLAT_LOAD_SBYTE_vi : FLAT_Real_vi <0x11, FLAT_LOAD_SBYTE>;
930def FLAT_LOAD_USHORT_vi : FLAT_Real_vi <0x12, FLAT_LOAD_USHORT>;
931def FLAT_LOAD_SSHORT_vi : FLAT_Real_vi <0x13, FLAT_LOAD_SSHORT>;
932def FLAT_LOAD_DWORD_vi : FLAT_Real_vi <0x14, FLAT_LOAD_DWORD>;
933def FLAT_LOAD_DWORDX2_vi : FLAT_Real_vi <0x15, FLAT_LOAD_DWORDX2>;
934def FLAT_LOAD_DWORDX4_vi : FLAT_Real_vi <0x17, FLAT_LOAD_DWORDX4>;
935def FLAT_LOAD_DWORDX3_vi : FLAT_Real_vi <0x16, FLAT_LOAD_DWORDX3>;
936
937def FLAT_STORE_BYTE_vi : FLAT_Real_vi <0x18, FLAT_STORE_BYTE>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000938def FLAT_STORE_BYTE_D16_HI_vi : FLAT_Real_vi <0x19, FLAT_STORE_BYTE_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000939def FLAT_STORE_SHORT_vi : FLAT_Real_vi <0x1a, FLAT_STORE_SHORT>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000940def FLAT_STORE_SHORT_D16_HI_vi : FLAT_Real_vi <0x1b, FLAT_STORE_SHORT_D16_HI>;
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000941def FLAT_STORE_DWORD_vi : FLAT_Real_vi <0x1c, FLAT_STORE_DWORD>;
942def FLAT_STORE_DWORDX2_vi : FLAT_Real_vi <0x1d, FLAT_STORE_DWORDX2>;
943def FLAT_STORE_DWORDX4_vi : FLAT_Real_vi <0x1f, FLAT_STORE_DWORDX4>;
944def FLAT_STORE_DWORDX3_vi : FLAT_Real_vi <0x1e, FLAT_STORE_DWORDX3>;
945
Matt Arsenaulted6e8f02017-09-01 18:36:06 +0000946def FLAT_LOAD_UBYTE_D16_vi : FLAT_Real_vi <0x20, FLAT_LOAD_UBYTE_D16>;
947def FLAT_LOAD_UBYTE_D16_HI_vi : FLAT_Real_vi <0x21, FLAT_LOAD_UBYTE_D16_HI>;
948def FLAT_LOAD_SBYTE_D16_vi : FLAT_Real_vi <0x22, FLAT_LOAD_SBYTE_D16>;
949def FLAT_LOAD_SBYTE_D16_HI_vi : FLAT_Real_vi <0x23, FLAT_LOAD_SBYTE_D16_HI>;
950def FLAT_LOAD_SHORT_D16_vi : FLAT_Real_vi <0x24, FLAT_LOAD_SHORT_D16>;
951def FLAT_LOAD_SHORT_D16_HI_vi : FLAT_Real_vi <0x25, FLAT_LOAD_SHORT_D16_HI>;
952
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000953multiclass FLAT_Real_Atomics_vi <bits<7> op, FLAT_Pseudo ps> {
954 def _vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr)>;
955 def _RTN_vi : FLAT_Real_vi<op, !cast<FLAT_Pseudo>(ps.PseudoInstr # "_RTN")>;
956}
957
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +0000958multiclass FLAT_Global_Real_Atomics_vi<bits<7> op> :
959 FLAT_Real_AllAddr_vi<op> {
960 def _RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_RTN")>;
961 def _SADDR_RTN_vi : FLAT_Real_vi <op, !cast<FLAT_Pseudo>(NAME#"_SADDR_RTN")>;
962}
963
964
Valery Pykhtin8bc65962016-09-05 11:22:51 +0000965defm FLAT_ATOMIC_SWAP : FLAT_Real_Atomics_vi <0x40, FLAT_ATOMIC_SWAP>;
966defm FLAT_ATOMIC_CMPSWAP : FLAT_Real_Atomics_vi <0x41, FLAT_ATOMIC_CMPSWAP>;
967defm FLAT_ATOMIC_ADD : FLAT_Real_Atomics_vi <0x42, FLAT_ATOMIC_ADD>;
968defm FLAT_ATOMIC_SUB : FLAT_Real_Atomics_vi <0x43, FLAT_ATOMIC_SUB>;
969defm FLAT_ATOMIC_SMIN : FLAT_Real_Atomics_vi <0x44, FLAT_ATOMIC_SMIN>;
970defm FLAT_ATOMIC_UMIN : FLAT_Real_Atomics_vi <0x45, FLAT_ATOMIC_UMIN>;
971defm FLAT_ATOMIC_SMAX : FLAT_Real_Atomics_vi <0x46, FLAT_ATOMIC_SMAX>;
972defm FLAT_ATOMIC_UMAX : FLAT_Real_Atomics_vi <0x47, FLAT_ATOMIC_UMAX>;
973defm FLAT_ATOMIC_AND : FLAT_Real_Atomics_vi <0x48, FLAT_ATOMIC_AND>;
974defm FLAT_ATOMIC_OR : FLAT_Real_Atomics_vi <0x49, FLAT_ATOMIC_OR>;
975defm FLAT_ATOMIC_XOR : FLAT_Real_Atomics_vi <0x4a, FLAT_ATOMIC_XOR>;
976defm FLAT_ATOMIC_INC : FLAT_Real_Atomics_vi <0x4b, FLAT_ATOMIC_INC>;
977defm FLAT_ATOMIC_DEC : FLAT_Real_Atomics_vi <0x4c, FLAT_ATOMIC_DEC>;
978defm FLAT_ATOMIC_SWAP_X2 : FLAT_Real_Atomics_vi <0x60, FLAT_ATOMIC_SWAP_X2>;
979defm FLAT_ATOMIC_CMPSWAP_X2 : FLAT_Real_Atomics_vi <0x61, FLAT_ATOMIC_CMPSWAP_X2>;
980defm FLAT_ATOMIC_ADD_X2 : FLAT_Real_Atomics_vi <0x62, FLAT_ATOMIC_ADD_X2>;
981defm FLAT_ATOMIC_SUB_X2 : FLAT_Real_Atomics_vi <0x63, FLAT_ATOMIC_SUB_X2>;
982defm FLAT_ATOMIC_SMIN_X2 : FLAT_Real_Atomics_vi <0x64, FLAT_ATOMIC_SMIN_X2>;
983defm FLAT_ATOMIC_UMIN_X2 : FLAT_Real_Atomics_vi <0x65, FLAT_ATOMIC_UMIN_X2>;
984defm FLAT_ATOMIC_SMAX_X2 : FLAT_Real_Atomics_vi <0x66, FLAT_ATOMIC_SMAX_X2>;
985defm FLAT_ATOMIC_UMAX_X2 : FLAT_Real_Atomics_vi <0x67, FLAT_ATOMIC_UMAX_X2>;
986defm FLAT_ATOMIC_AND_X2 : FLAT_Real_Atomics_vi <0x68, FLAT_ATOMIC_AND_X2>;
987defm FLAT_ATOMIC_OR_X2 : FLAT_Real_Atomics_vi <0x69, FLAT_ATOMIC_OR_X2>;
988defm FLAT_ATOMIC_XOR_X2 : FLAT_Real_Atomics_vi <0x6a, FLAT_ATOMIC_XOR_X2>;
989defm FLAT_ATOMIC_INC_X2 : FLAT_Real_Atomics_vi <0x6b, FLAT_ATOMIC_INC_X2>;
990defm FLAT_ATOMIC_DEC_X2 : FLAT_Real_Atomics_vi <0x6c, FLAT_ATOMIC_DEC_X2>;
991
Matt Arsenault04004712017-07-20 05:17:54 +0000992defm GLOBAL_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
993defm GLOBAL_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
994defm GLOBAL_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
995defm GLOBAL_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
996defm GLOBAL_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
997defm GLOBAL_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
Matt Arsenault04004712017-07-20 05:17:54 +0000998defm GLOBAL_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000999defm GLOBAL_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
Matt Arsenault9698f1c2017-06-20 19:54:14 +00001000
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001001defm GLOBAL_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
1002defm GLOBAL_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
1003defm GLOBAL_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
1004defm GLOBAL_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
1005defm GLOBAL_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
1006defm GLOBAL_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
1007
Matt Arsenault04004712017-07-20 05:17:54 +00001008defm GLOBAL_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001009defm GLOBAL_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
Matt Arsenault04004712017-07-20 05:17:54 +00001010defm GLOBAL_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001011defm GLOBAL_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
Matt Arsenault04004712017-07-20 05:17:54 +00001012defm GLOBAL_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
1013defm GLOBAL_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
Matt Arsenault04004712017-07-20 05:17:54 +00001014defm GLOBAL_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +00001015defm GLOBAL_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;
1016
Matt Arsenaultf65c5ac2017-07-20 17:31:56 +00001017
1018defm GLOBAL_ATOMIC_SWAP : FLAT_Global_Real_Atomics_vi <0x40>;
1019defm GLOBAL_ATOMIC_CMPSWAP : FLAT_Global_Real_Atomics_vi <0x41>;
1020defm GLOBAL_ATOMIC_ADD : FLAT_Global_Real_Atomics_vi <0x42>;
1021defm GLOBAL_ATOMIC_SUB : FLAT_Global_Real_Atomics_vi <0x43>;
1022defm GLOBAL_ATOMIC_SMIN : FLAT_Global_Real_Atomics_vi <0x44>;
1023defm GLOBAL_ATOMIC_UMIN : FLAT_Global_Real_Atomics_vi <0x45>;
1024defm GLOBAL_ATOMIC_SMAX : FLAT_Global_Real_Atomics_vi <0x46>;
1025defm GLOBAL_ATOMIC_UMAX : FLAT_Global_Real_Atomics_vi <0x47>;
1026defm GLOBAL_ATOMIC_AND : FLAT_Global_Real_Atomics_vi <0x48>;
1027defm GLOBAL_ATOMIC_OR : FLAT_Global_Real_Atomics_vi <0x49>;
1028defm GLOBAL_ATOMIC_XOR : FLAT_Global_Real_Atomics_vi <0x4a>;
1029defm GLOBAL_ATOMIC_INC : FLAT_Global_Real_Atomics_vi <0x4b>;
1030defm GLOBAL_ATOMIC_DEC : FLAT_Global_Real_Atomics_vi <0x4c>;
1031defm GLOBAL_ATOMIC_SWAP_X2 : FLAT_Global_Real_Atomics_vi <0x60>;
1032defm GLOBAL_ATOMIC_CMPSWAP_X2 : FLAT_Global_Real_Atomics_vi <0x61>;
1033defm GLOBAL_ATOMIC_ADD_X2 : FLAT_Global_Real_Atomics_vi <0x62>;
1034defm GLOBAL_ATOMIC_SUB_X2 : FLAT_Global_Real_Atomics_vi <0x63>;
1035defm GLOBAL_ATOMIC_SMIN_X2 : FLAT_Global_Real_Atomics_vi <0x64>;
1036defm GLOBAL_ATOMIC_UMIN_X2 : FLAT_Global_Real_Atomics_vi <0x65>;
1037defm GLOBAL_ATOMIC_SMAX_X2 : FLAT_Global_Real_Atomics_vi <0x66>;
1038defm GLOBAL_ATOMIC_UMAX_X2 : FLAT_Global_Real_Atomics_vi <0x67>;
1039defm GLOBAL_ATOMIC_AND_X2 : FLAT_Global_Real_Atomics_vi <0x68>;
1040defm GLOBAL_ATOMIC_OR_X2 : FLAT_Global_Real_Atomics_vi <0x69>;
1041defm GLOBAL_ATOMIC_XOR_X2 : FLAT_Global_Real_Atomics_vi <0x6a>;
1042defm GLOBAL_ATOMIC_INC_X2 : FLAT_Global_Real_Atomics_vi <0x6b>;
1043defm GLOBAL_ATOMIC_DEC_X2 : FLAT_Global_Real_Atomics_vi <0x6c>;
Matt Arsenaultca7b0a12017-07-21 15:36:16 +00001044
Matt Arsenaulted6e8f02017-09-01 18:36:06 +00001045defm SCRATCH_LOAD_UBYTE : FLAT_Real_AllAddr_vi <0x10>;
1046defm SCRATCH_LOAD_SBYTE : FLAT_Real_AllAddr_vi <0x11>;
1047defm SCRATCH_LOAD_USHORT : FLAT_Real_AllAddr_vi <0x12>;
1048defm SCRATCH_LOAD_SSHORT : FLAT_Real_AllAddr_vi <0x13>;
1049defm SCRATCH_LOAD_DWORD : FLAT_Real_AllAddr_vi <0x14>;
1050defm SCRATCH_LOAD_DWORDX2 : FLAT_Real_AllAddr_vi <0x15>;
1051defm SCRATCH_LOAD_DWORDX3 : FLAT_Real_AllAddr_vi <0x16>;
1052defm SCRATCH_LOAD_DWORDX4 : FLAT_Real_AllAddr_vi <0x17>;
1053defm SCRATCH_STORE_BYTE : FLAT_Real_AllAddr_vi <0x18>;
1054defm SCRATCH_STORE_BYTE_D16_HI : FLAT_Real_AllAddr_vi <0x19>;
1055defm SCRATCH_LOAD_UBYTE_D16 : FLAT_Real_AllAddr_vi <0x20>;
1056defm SCRATCH_LOAD_UBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x21>;
1057defm SCRATCH_LOAD_SBYTE_D16 : FLAT_Real_AllAddr_vi <0x22>;
1058defm SCRATCH_LOAD_SBYTE_D16_HI : FLAT_Real_AllAddr_vi <0x23>;
1059defm SCRATCH_LOAD_SHORT_D16 : FLAT_Real_AllAddr_vi <0x24>;
1060defm SCRATCH_LOAD_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x25>;
1061defm SCRATCH_STORE_SHORT : FLAT_Real_AllAddr_vi <0x1a>;
1062defm SCRATCH_STORE_SHORT_D16_HI : FLAT_Real_AllAddr_vi <0x1b>;
1063defm SCRATCH_STORE_DWORD : FLAT_Real_AllAddr_vi <0x1c>;
1064defm SCRATCH_STORE_DWORDX2 : FLAT_Real_AllAddr_vi <0x1d>;
1065defm SCRATCH_STORE_DWORDX3 : FLAT_Real_AllAddr_vi <0x1e>;
1066defm SCRATCH_STORE_DWORDX4 : FLAT_Real_AllAddr_vi <0x1f>;