1 //===-- SOPInstructions.td - SOP Instruction Definitions ------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 def GPRIdxModeMatchClass : AsmOperandClass {
10 let Name = "GPRIdxMode";
11 let PredicateMethod = "isGPRIdxMode";
12 let ParserMethod = "parseGPRIdxMode";
13 let RenderMethod = "addImmOperands";
16 def GPRIdxMode : Operand<i32> {
17 let PrintMethod = "printVGPRIndexMode";
18 let ParserMatchClass = GPRIdxModeMatchClass;
19 let OperandType = "OPERAND_IMMEDIATE";
22 class SOP_Pseudo<string opName, dag outs, dag ins, string asmOps,
23 list<dag> pattern=[]> :
24 InstSI<outs, ins, "", pattern>,
25 SIMCInstr<opName, SIEncodingFamily.NONE> {
28 let isCodeGenOnly = 1;
30 string Mnemonic = opName;
31 string AsmOperands = asmOps;
36 //===----------------------------------------------------------------------===//
38 //===----------------------------------------------------------------------===//
40 class SOP1_Pseudo <string opName, dag outs, dag ins,
41 string asmOps, list<dag> pattern=[]> :
42 SOP_Pseudo<opName, outs, ins, asmOps, pattern> {
46 let hasSideEffects = 0;
49 let SchedRW = [WriteSALU];
51 let UseNamedOperandTable = 1;
57 class SOP1_Real<bits<8> op, SOP1_Pseudo ps> :
58 InstSI <ps.OutOperandList, ps.InOperandList,
59 ps.Mnemonic # " " # ps.AsmOperands, []>,
63 let isCodeGenOnly = 0;
66 // copy relevant pseudo op flags
67 let SubtargetPredicate = ps.SubtargetPredicate;
68 let AsmMatchConverter = ps.AsmMatchConverter;
74 let Inst{7-0} = !if(ps.has_src0, src0, ?);
76 let Inst{22-16} = !if(ps.has_sdst, sdst, ?);
77 let Inst{31-23} = 0x17d; //encoding;
80 class SOP1_32 <string opName, list<dag> pattern=[], bit tied_in = 0> : SOP1_Pseudo <
81 opName, (outs SReg_32:$sdst),
82 !if(tied_in, (ins SSrc_b32:$src0, SReg_32:$sdst_in),
83 (ins SSrc_b32:$src0)),
84 "$sdst, $src0", pattern> {
85 let Constraints = !if(tied_in, "$sdst = $sdst_in", "");
88 // Only register input allowed.
89 class SOP1_32R <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
90 opName, (outs SReg_32:$sdst), (ins SReg_32:$src0),
91 "$sdst, $src0", pattern>;
93 // 32-bit input, no output.
94 class SOP1_0_32 <string opName, list<dag> pattern = []> : SOP1_Pseudo <
95 opName, (outs), (ins SSrc_b32:$src0),
100 // Special case for movreld where sdst is treated as a use operand.
101 class SOP1_32_movreld <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
102 opName, (outs), (ins SReg_32:$sdst, SSrc_b32:$src0),
103 "$sdst, $src0", pattern>;
105 // Special case for movreld where sdst is treated as a use operand.
106 class SOP1_64_movreld <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
107 opName, (outs), (ins SReg_64:$sdst, SSrc_b64:$src0),
108 "$sdst, $src0", pattern
111 class SOP1_0_32R <string opName, list<dag> pattern = []> : SOP1_Pseudo <
112 opName, (outs), (ins SReg_32:$src0),
117 class SOP1_64 <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
118 opName, (outs SReg_64:$sdst), (ins SSrc_b64:$src0),
119 "$sdst, $src0", pattern
122 // Only register input allowed.
123 class SOP1_64R <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
124 opName, (outs SReg_64:$sdst), (ins SReg_64:$src0),
125 "$sdst, $src0", pattern
128 // 64-bit input, 32-bit output.
129 class SOP1_32_64 <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
130 opName, (outs SReg_32:$sdst), (ins SSrc_b64:$src0),
131 "$sdst, $src0", pattern
134 // 32-bit input, 64-bit output.
135 class SOP1_64_32 <string opName, list<dag> pattern=[], bit tied_in = 0> : SOP1_Pseudo <
136 opName, (outs SReg_64:$sdst),
137 !if(tied_in, (ins SSrc_b32:$src0, SReg_64:$sdst_in),
138 (ins SSrc_b32:$src0)),
139 "$sdst, $src0", pattern> {
140 let Constraints = !if(tied_in, "$sdst = $sdst_in", "");
143 // no input, 64-bit output.
144 class SOP1_64_0 <string opName, list<dag> pattern=[]> : SOP1_Pseudo <
145 opName, (outs SReg_64:$sdst), (ins), "$sdst", pattern> {
149 // 64-bit input, no output
150 class SOP1_1 <string opName, RegisterClass rc = SReg_64, list<dag> pattern=[]> : SOP1_Pseudo <
151 opName, (outs), (ins rc:$src0), "$src0", pattern> {
156 let isMoveImm = 1 in {
157 let isReMaterializable = 1, isAsCheapAsAMove = 1 in {
158 def S_MOV_B32 : SOP1_32 <"s_mov_b32">;
159 def S_MOV_B64 : SOP1_64 <"s_mov_b64">;
160 } // End isRematerializeable = 1
162 let Uses = [SCC] in {
163 def S_CMOV_B32 : SOP1_32 <"s_cmov_b32">;
164 def S_CMOV_B64 : SOP1_64 <"s_cmov_b64">;
165 } // End Uses = [SCC]
166 } // End isMoveImm = 1
168 let Defs = [SCC] in {
169 def S_NOT_B32 : SOP1_32 <"s_not_b32",
170 [(set i32:$sdst, (not i32:$src0))]
173 def S_NOT_B64 : SOP1_64 <"s_not_b64",
174 [(set i64:$sdst, (not i64:$src0))]
176 def S_WQM_B32 : SOP1_32 <"s_wqm_b32">;
177 def S_WQM_B64 : SOP1_64 <"s_wqm_b64">;
178 } // End Defs = [SCC]
181 let WaveSizePredicate = isWave32 in {
183 (int_amdgcn_wqm_vote i1:$src0),
184 (S_WQM_B32 SSrc_b32:$src0)
188 let WaveSizePredicate = isWave64 in {
190 (int_amdgcn_wqm_vote i1:$src0),
191 (S_WQM_B64 SSrc_b64:$src0)
195 def S_BREV_B32 : SOP1_32 <"s_brev_b32",
196 [(set i32:$sdst, (bitreverse i32:$src0))]
198 def S_BREV_B64 : SOP1_64 <"s_brev_b64">;
200 let Defs = [SCC] in {
201 def S_BCNT0_I32_B32 : SOP1_32 <"s_bcnt0_i32_b32">;
202 def S_BCNT0_I32_B64 : SOP1_32_64 <"s_bcnt0_i32_b64">;
203 def S_BCNT1_I32_B32 : SOP1_32 <"s_bcnt1_i32_b32",
204 [(set i32:$sdst, (ctpop i32:$src0))]
206 def S_BCNT1_I32_B64 : SOP1_32_64 <"s_bcnt1_i32_b64",
207 [(set i32:$sdst, (ctpop i64:$src0))]
209 } // End Defs = [SCC]
211 def S_FF0_I32_B32 : SOP1_32 <"s_ff0_i32_b32">;
212 def S_FF0_I32_B64 : SOP1_32_64 <"s_ff0_i32_b64">;
213 def S_FF1_I32_B64 : SOP1_32_64 <"s_ff1_i32_b64",
214 [(set i32:$sdst, (AMDGPUffbl_b32 i64:$src0))]
217 def S_FF1_I32_B32 : SOP1_32 <"s_ff1_i32_b32",
218 [(set i32:$sdst, (AMDGPUffbl_b32 i32:$src0))]
221 def S_FLBIT_I32_B32 : SOP1_32 <"s_flbit_i32_b32",
222 [(set i32:$sdst, (AMDGPUffbh_u32 i32:$src0))]
225 def S_FLBIT_I32_B64 : SOP1_32_64 <"s_flbit_i32_b64",
226 [(set i32:$sdst, (AMDGPUffbh_u32 i64:$src0))]
228 def S_FLBIT_I32 : SOP1_32 <"s_flbit_i32",
229 [(set i32:$sdst, (AMDGPUffbh_i32 i32:$src0))]
231 def S_FLBIT_I32_I64 : SOP1_32_64 <"s_flbit_i32_i64">;
232 def S_SEXT_I32_I8 : SOP1_32 <"s_sext_i32_i8",
233 [(set i32:$sdst, (sext_inreg i32:$src0, i8))]
235 def S_SEXT_I32_I16 : SOP1_32 <"s_sext_i32_i16",
236 [(set i32:$sdst, (sext_inreg i32:$src0, i16))]
239 def S_BITSET0_B32 : SOP1_32 <"s_bitset0_b32", [], 1>;
240 def S_BITSET0_B64 : SOP1_64_32 <"s_bitset0_b64", [], 1>;
241 def S_BITSET1_B32 : SOP1_32 <"s_bitset1_b32", [], 1>;
242 def S_BITSET1_B64 : SOP1_64_32 <"s_bitset1_b64", [], 1>;
243 def S_GETPC_B64 : SOP1_64_0 <"s_getpc_b64",
244 [(set i64:$sdst, (int_amdgcn_s_getpc))]
247 let isTerminator = 1, isBarrier = 1, SchedRW = [WriteBranch] in {
249 let isBranch = 1, isIndirectBranch = 1 in {
250 def S_SETPC_B64 : SOP1_1 <"s_setpc_b64">;
251 } // End isBranch = 1, isIndirectBranch = 1
253 let isReturn = 1 in {
254 // Define variant marked as return rather than branch.
255 def S_SETPC_B64_return : SOP1_1<"", CCR_SGPR_64, [(AMDGPUret_flag i64:$src0)]>;
257 } // End isTerminator = 1, isBarrier = 1
260 def S_SWAPPC_B64 : SOP1_64 <"s_swappc_b64"
264 def S_RFE_B64 : SOP1_1 <"s_rfe_b64">;
266 let hasSideEffects = 1, Uses = [EXEC], Defs = [EXEC, SCC] in {
268 def S_AND_SAVEEXEC_B64 : SOP1_64 <"s_and_saveexec_b64">;
269 def S_OR_SAVEEXEC_B64 : SOP1_64 <"s_or_saveexec_b64">;
270 def S_XOR_SAVEEXEC_B64 : SOP1_64 <"s_xor_saveexec_b64">;
271 def S_ANDN2_SAVEEXEC_B64 : SOP1_64 <"s_andn2_saveexec_b64">;
272 def S_ORN2_SAVEEXEC_B64 : SOP1_64 <"s_orn2_saveexec_b64">;
273 def S_NAND_SAVEEXEC_B64 : SOP1_64 <"s_nand_saveexec_b64">;
274 def S_NOR_SAVEEXEC_B64 : SOP1_64 <"s_nor_saveexec_b64">;
275 def S_XNOR_SAVEEXEC_B64 : SOP1_64 <"s_xnor_saveexec_b64">;
277 } // End hasSideEffects = 1, Uses = [EXEC], Defs = [EXEC, SCC]
279 def S_QUADMASK_B32 : SOP1_32 <"s_quadmask_b32">;
280 def S_QUADMASK_B64 : SOP1_64 <"s_quadmask_b64">;
283 def S_MOVRELS_B32 : SOP1_32R <"s_movrels_b32">;
284 def S_MOVRELS_B64 : SOP1_64R <"s_movrels_b64">;
285 def S_MOVRELD_B32 : SOP1_32_movreld <"s_movreld_b32">;
286 def S_MOVRELD_B64 : SOP1_64_movreld <"s_movreld_b64">;
289 let SubtargetPredicate = isGFX6GFX7GFX8GFX9 in {
290 def S_CBRANCH_JOIN : SOP1_0_32R <"s_cbranch_join">;
291 def S_MOV_REGRD_B32 : SOP1_32 <"s_mov_regrd_b32">;
292 } // End SubtargetPredicate = isGFX6GFX7GFX8GFX9
294 let Defs = [SCC] in {
295 def S_ABS_I32 : SOP1_32 <"s_abs_i32">;
296 } // End Defs = [SCC]
297 def S_MOV_FED_B32 : SOP1_32 <"s_mov_fed_b32">;
299 let SubtargetPredicate = HasVGPRIndexMode in {
300 def S_SET_GPR_IDX_IDX : SOP1_0_32<"s_set_gpr_idx_idx"> {
301 let Uses = [M0, MODE];
302 let Defs = [M0, MODE];
306 let SubtargetPredicate = isGFX9Plus in {
307 let hasSideEffects = 1, Defs = [EXEC, SCC], Uses = [EXEC] in {
308 def S_ANDN1_SAVEEXEC_B64 : SOP1_64<"s_andn1_saveexec_b64">;
309 def S_ORN1_SAVEEXEC_B64 : SOP1_64<"s_orn1_saveexec_b64">;
310 def S_ANDN1_WREXEC_B64 : SOP1_64<"s_andn1_wrexec_b64">;
311 def S_ANDN2_WREXEC_B64 : SOP1_64<"s_andn2_wrexec_b64">;
312 } // End hasSideEffects = 1, Defs = [EXEC, SCC], Uses = [EXEC]
314 def S_BITREPLICATE_B64_B32 : SOP1_64_32<"s_bitreplicate_b64_b32">;
315 } // End SubtargetPredicate = isGFX9Plus
317 let SubtargetPredicate = isGFX10Plus in {
318 let hasSideEffects = 1, Defs = [EXEC, SCC], Uses = [EXEC] in {
319 def S_AND_SAVEEXEC_B32 : SOP1_32<"s_and_saveexec_b32">;
320 def S_OR_SAVEEXEC_B32 : SOP1_32<"s_or_saveexec_b32">;
321 def S_XOR_SAVEEXEC_B32 : SOP1_32<"s_xor_saveexec_b32">;
322 def S_ANDN2_SAVEEXEC_B32 : SOP1_32<"s_andn2_saveexec_b32">;
323 def S_ORN2_SAVEEXEC_B32 : SOP1_32<"s_orn2_saveexec_b32">;
324 def S_NAND_SAVEEXEC_B32 : SOP1_32<"s_nand_saveexec_b32">;
325 def S_NOR_SAVEEXEC_B32 : SOP1_32<"s_nor_saveexec_b32">;
326 def S_XNOR_SAVEEXEC_B32 : SOP1_32<"s_xnor_saveexec_b32">;
327 def S_ANDN1_SAVEEXEC_B32 : SOP1_32<"s_andn1_saveexec_b32">;
328 def S_ORN1_SAVEEXEC_B32 : SOP1_32<"s_orn1_saveexec_b32">;
329 def S_ANDN1_WREXEC_B32 : SOP1_32<"s_andn1_wrexec_b32">;
330 def S_ANDN2_WREXEC_B32 : SOP1_32<"s_andn2_wrexec_b32">;
331 } // End hasSideEffects = 1, Defs = [EXEC, SCC], Uses = [EXEC]
334 def S_MOVRELSD_2_B32 : SOP1_32<"s_movrelsd_2_b32">;
336 } // End SubtargetPredicate = isGFX10Plus
338 //===----------------------------------------------------------------------===//
340 //===----------------------------------------------------------------------===//
342 class SOP2_Pseudo<string opName, dag outs, dag ins,
343 string asmOps, list<dag> pattern=[]> :
344 SOP_Pseudo<opName, outs, ins, asmOps, pattern> {
348 let hasSideEffects = 0;
351 let SchedRW = [WriteSALU];
352 let UseNamedOperandTable = 1;
356 // Pseudo instructions have no encodings, but adding this field here allows
358 // let sdst = xxx in {
359 // for multiclasses that include both real and pseudo instructions.
360 // field bits<7> sdst = 0;
361 // let Size = 4; // Do we need size here?
364 class SOP2_Real<bits<7> op, SOP_Pseudo ps> :
365 InstSI <ps.OutOperandList, ps.InOperandList,
366 ps.Mnemonic # " " # ps.AsmOperands, []>,
369 let isCodeGenOnly = 0;
371 // copy relevant pseudo op flags
372 let SubtargetPredicate = ps.SubtargetPredicate;
373 let AsmMatchConverter = ps.AsmMatchConverter;
374 let UseNamedOperandTable = ps.UseNamedOperandTable;
375 let TSFlags = ps.TSFlags;
382 let Inst{7-0} = src0;
383 let Inst{15-8} = src1;
384 let Inst{22-16} = !if(ps.has_sdst, sdst, ?);
385 let Inst{29-23} = op;
386 let Inst{31-30} = 0x2; // encoding
390 class SOP2_32 <string opName, list<dag> pattern=[]> : SOP2_Pseudo <
391 opName, (outs SReg_32:$sdst), (ins SSrc_b32:$src0, SSrc_b32:$src1),
392 "$sdst, $src0, $src1", pattern
395 class SOP2_64 <string opName, list<dag> pattern=[]> : SOP2_Pseudo <
396 opName, (outs SReg_64:$sdst), (ins SSrc_b64:$src0, SSrc_b64:$src1),
397 "$sdst, $src0, $src1", pattern
400 class SOP2_64_32 <string opName, list<dag> pattern=[]> : SOP2_Pseudo <
401 opName, (outs SReg_64:$sdst), (ins SSrc_b64:$src0, SSrc_b32:$src1),
402 "$sdst, $src0, $src1", pattern
405 class SOP2_64_32_32 <string opName, list<dag> pattern=[]> : SOP2_Pseudo <
406 opName, (outs SReg_64:$sdst), (ins SSrc_b32:$src0, SSrc_b32:$src1),
407 "$sdst, $src0, $src1", pattern
410 class UniformUnaryFrag<SDPatternOperator Op> : PatFrag <
413 [{ return !N->isDivergent(); }]
416 class UniformBinFrag<SDPatternOperator Op> : PatFrag <
417 (ops node:$src0, node:$src1),
419 [{ return !N->isDivergent(); }]> {
420 // This check is unnecessary as it's captured by the result register
423 // FIXME: Should add a way for the emitter to recognize this is a
424 // trivially true predicate to eliminate the check.
425 let GISelPredicateCode = [{return true;}];
428 let Defs = [SCC] in { // Carry out goes to SCC
429 let isCommutable = 1 in {
430 def S_ADD_U32 : SOP2_32 <"s_add_u32">;
431 def S_ADD_I32 : SOP2_32 <"s_add_i32",
432 [(set i32:$sdst, (UniformBinFrag<add> SSrc_b32:$src0, SSrc_b32:$src1))]
434 } // End isCommutable = 1
436 def S_SUB_U32 : SOP2_32 <"s_sub_u32">;
437 def S_SUB_I32 : SOP2_32 <"s_sub_i32",
438 [(set i32:$sdst, (UniformBinFrag<sub> SSrc_b32:$src0, SSrc_b32:$src1))]
441 let Uses = [SCC] in { // Carry in comes from SCC
442 let isCommutable = 1 in {
443 def S_ADDC_U32 : SOP2_32 <"s_addc_u32",
444 [(set i32:$sdst, (UniformBinFrag<adde> (i32 SSrc_b32:$src0), (i32 SSrc_b32:$src1)))]>;
445 } // End isCommutable = 1
447 def S_SUBB_U32 : SOP2_32 <"s_subb_u32",
448 [(set i32:$sdst, (UniformBinFrag<sube> (i32 SSrc_b32:$src0), (i32 SSrc_b32:$src1)))]>;
449 } // End Uses = [SCC]
452 let isCommutable = 1 in {
453 def S_MIN_I32 : SOP2_32 <"s_min_i32",
454 [(set i32:$sdst, (smin i32:$src0, i32:$src1))]
456 def S_MIN_U32 : SOP2_32 <"s_min_u32",
457 [(set i32:$sdst, (umin i32:$src0, i32:$src1))]
459 def S_MAX_I32 : SOP2_32 <"s_max_i32",
460 [(set i32:$sdst, (smax i32:$src0, i32:$src1))]
462 def S_MAX_U32 : SOP2_32 <"s_max_u32",
463 [(set i32:$sdst, (umax i32:$src0, i32:$src1))]
465 } // End isCommutable = 1
466 } // End Defs = [SCC]
468 class SelectPat<SDPatternOperator select> : PatFrag <
469 (ops node:$src1, node:$src2),
470 (select SCC, $src1, $src2),
471 [{ return N->getOperand(0)->hasOneUse() && !N->isDivergent(); }]
474 let Uses = [SCC] in {
475 let AddedComplexity = 20 in {
476 def S_CSELECT_B32 : SOP2_32 <"s_cselect_b32",
477 [(set i32:$sdst, (SelectPat<select> i32:$src0, i32:$src1))]
481 def S_CSELECT_B64 : SOP2_64 <"s_cselect_b64">;
482 } // End Uses = [SCC]
484 let Defs = [SCC] in {
485 let isCommutable = 1 in {
486 def S_AND_B32 : SOP2_32 <"s_and_b32",
487 [(set i32:$sdst, (UniformBinFrag<and> i32:$src0, i32:$src1))]
490 def S_AND_B64 : SOP2_64 <"s_and_b64",
491 [(set i64:$sdst, (UniformBinFrag<and> i64:$src0, i64:$src1))]
494 def S_OR_B32 : SOP2_32 <"s_or_b32",
495 [(set i32:$sdst, (UniformBinFrag<or> i32:$src0, i32:$src1))]
498 def S_OR_B64 : SOP2_64 <"s_or_b64",
499 [(set i64:$sdst, (UniformBinFrag<or> i64:$src0, i64:$src1))]
502 def S_XOR_B32 : SOP2_32 <"s_xor_b32",
503 [(set i32:$sdst, (UniformBinFrag<xor> i32:$src0, i32:$src1))]
506 def S_XOR_B64 : SOP2_64 <"s_xor_b64",
507 [(set i64:$sdst, (UniformBinFrag<xor> i64:$src0, i64:$src1))]
510 def S_XNOR_B32 : SOP2_32 <"s_xnor_b32",
511 [(set i32:$sdst, (not (xor_oneuse i32:$src0, i32:$src1)))]
514 def S_XNOR_B64 : SOP2_64 <"s_xnor_b64",
515 [(set i64:$sdst, (not (xor_oneuse i64:$src0, i64:$src1)))]
518 def S_NAND_B32 : SOP2_32 <"s_nand_b32",
519 [(set i32:$sdst, (not (and_oneuse i32:$src0, i32:$src1)))]
522 def S_NAND_B64 : SOP2_64 <"s_nand_b64",
523 [(set i64:$sdst, (not (and_oneuse i64:$src0, i64:$src1)))]
526 def S_NOR_B32 : SOP2_32 <"s_nor_b32",
527 [(set i32:$sdst, (not (or_oneuse i32:$src0, i32:$src1)))]
530 def S_NOR_B64 : SOP2_64 <"s_nor_b64",
531 [(set i64:$sdst, (not (or_oneuse i64:$src0, i64:$src1)))]
533 } // End isCommutable = 1
535 def S_ANDN2_B32 : SOP2_32 <"s_andn2_b32",
536 [(set i32:$sdst, (UniformBinFrag<and> i32:$src0, (UniformUnaryFrag<not> i32:$src1)))]
539 def S_ANDN2_B64 : SOP2_64 <"s_andn2_b64",
540 [(set i64:$sdst, (UniformBinFrag<and> i64:$src0, (UniformUnaryFrag<not> i64:$src1)))]
543 def S_ORN2_B32 : SOP2_32 <"s_orn2_b32",
544 [(set i32:$sdst, (UniformBinFrag<or> i32:$src0, (UniformUnaryFrag<not> i32:$src1)))]
547 def S_ORN2_B64 : SOP2_64 <"s_orn2_b64",
548 [(set i64:$sdst, (UniformBinFrag<or> i64:$src0, (UniformUnaryFrag<not> i64:$src1)))]
550 } // End Defs = [SCC]
552 // Use added complexity so these patterns are preferred to the VALU patterns.
553 let AddedComplexity = 1 in {
555 let Defs = [SCC] in {
556 // TODO: b64 versions require VOP3 change since v_lshlrev_b64 is VOP3
557 def S_LSHL_B32 : SOP2_32 <"s_lshl_b32",
558 [(set SReg_32:$sdst, (UniformBinFrag<shl> (i32 SSrc_b32:$src0), (i32 SSrc_b32:$src1)))]
560 def S_LSHL_B64 : SOP2_64_32 <"s_lshl_b64",
561 [(set SReg_64:$sdst, (UniformBinFrag<shl> (i64 SSrc_b64:$src0), (i32 SSrc_b32:$src1)))]
563 def S_LSHR_B32 : SOP2_32 <"s_lshr_b32",
564 [(set SReg_32:$sdst, (UniformBinFrag<srl> (i32 SSrc_b32:$src0), (i32 SSrc_b32:$src1)))]
566 def S_LSHR_B64 : SOP2_64_32 <"s_lshr_b64",
567 [(set SReg_64:$sdst, (UniformBinFrag<srl> (i64 SSrc_b64:$src0), (i32 SSrc_b32:$src1)))]
569 def S_ASHR_I32 : SOP2_32 <"s_ashr_i32",
570 [(set SReg_32:$sdst, (UniformBinFrag<sra> (i32 SSrc_b32:$src0), (i32 SSrc_b32:$src1)))]
572 def S_ASHR_I64 : SOP2_64_32 <"s_ashr_i64",
573 [(set SReg_64:$sdst, (UniformBinFrag<sra> (i64 SSrc_b64:$src0), (i32 SSrc_b32:$src1)))]
575 } // End Defs = [SCC]
577 def S_BFM_B32 : SOP2_32 <"s_bfm_b32",
578 [(set i32:$sdst, (UniformBinFrag<AMDGPUbfm> i32:$src0, i32:$src1))]>;
579 def S_BFM_B64 : SOP2_64_32_32 <"s_bfm_b64">;
581 // TODO: S_MUL_I32 require V_MUL_LO_I32 from VOP3 change
582 def S_MUL_I32 : SOP2_32 <"s_mul_i32",
583 [(set i32:$sdst, (mul i32:$src0, i32:$src1))]> {
584 let isCommutable = 1;
587 } // End AddedComplexity = 1
589 let Defs = [SCC] in {
590 def S_BFE_U32 : SOP2_32 <"s_bfe_u32">;
591 def S_BFE_I32 : SOP2_32 <"s_bfe_i32">;
592 def S_BFE_U64 : SOP2_64_32 <"s_bfe_u64">;
593 def S_BFE_I64 : SOP2_64_32 <"s_bfe_i64">;
594 } // End Defs = [SCC]
596 def S_CBRANCH_G_FORK : SOP2_Pseudo <
597 "s_cbranch_g_fork", (outs),
598 (ins SCSrc_b64:$src0, SCSrc_b64:$src1),
602 let SubtargetPredicate = isGFX6GFX7GFX8GFX9;
605 let Defs = [SCC] in {
606 def S_ABSDIFF_I32 : SOP2_32 <"s_absdiff_i32">;
607 } // End Defs = [SCC]
609 let SubtargetPredicate = isGFX8GFX9 in {
610 def S_RFE_RESTORE_B64 : SOP2_Pseudo <
611 "s_rfe_restore_b64", (outs),
612 (ins SSrc_b64:$src0, SSrc_b32:$src1),
615 let hasSideEffects = 1;
620 let SubtargetPredicate = isGFX9Plus in {
621 def S_PACK_LL_B32_B16 : SOP2_32<"s_pack_ll_b32_b16">;
622 def S_PACK_LH_B32_B16 : SOP2_32<"s_pack_lh_b32_b16">;
623 def S_PACK_HH_B32_B16 : SOP2_32<"s_pack_hh_b32_b16">;
625 let Defs = [SCC] in {
626 def S_LSHL1_ADD_U32 : SOP2_32<"s_lshl1_add_u32",
627 [(set i32:$sdst, (shl1_add SSrc_b32:$src0, SSrc_b32:$src1))]
629 def S_LSHL2_ADD_U32 : SOP2_32<"s_lshl2_add_u32",
630 [(set i32:$sdst, (shl2_add SSrc_b32:$src0, SSrc_b32:$src1))]
632 def S_LSHL3_ADD_U32 : SOP2_32<"s_lshl3_add_u32",
633 [(set i32:$sdst, (shl3_add SSrc_b32:$src0, SSrc_b32:$src1))]
635 def S_LSHL4_ADD_U32 : SOP2_32<"s_lshl4_add_u32",
636 [(set i32:$sdst, (shl4_add SSrc_b32:$src0, SSrc_b32:$src1))]
638 } // End Defs = [SCC]
640 let isCommutable = 1 in {
641 def S_MUL_HI_U32 : SOP2_32<"s_mul_hi_u32",
642 [(set i32:$sdst, (UniformBinFrag<mulhu> SSrc_b32:$src0, SSrc_b32:$src1))]>;
643 def S_MUL_HI_I32 : SOP2_32<"s_mul_hi_i32",
644 [(set i32:$sdst, (UniformBinFrag<mulhs> SSrc_b32:$src0, SSrc_b32:$src1))]>;
646 } // End SubtargetPredicate = isGFX9Plus
648 //===----------------------------------------------------------------------===//
650 //===----------------------------------------------------------------------===//
652 class SOPK_Pseudo <string opName, dag outs, dag ins,
653 string asmOps, list<dag> pattern=[]> :
654 InstSI <outs, ins, "", pattern>,
655 SIMCInstr<opName, SIEncodingFamily.NONE> {
657 let isCodeGenOnly = 1;
660 let hasSideEffects = 0;
663 let SchedRW = [WriteSALU];
664 let UseNamedOperandTable = 1;
665 string Mnemonic = opName;
666 string AsmOperands = asmOps;
668 bits<1> has_sdst = 1;
671 class SOPK_Real<bits<5> op, SOPK_Pseudo ps> :
672 InstSI <ps.OutOperandList, ps.InOperandList,
673 ps.Mnemonic # " " # ps.AsmOperands, []> {
675 let isCodeGenOnly = 0;
677 // copy relevant pseudo op flags
678 let SubtargetPredicate = ps.SubtargetPredicate;
679 let AsmMatchConverter = ps.AsmMatchConverter;
680 let DisableEncoding = ps.DisableEncoding;
681 let Constraints = ps.Constraints;
689 class SOPK_Real32<bits<5> op, SOPK_Pseudo ps> :
692 let Inst{15-0} = simm16;
693 let Inst{22-16} = !if(ps.has_sdst, sdst, ?);
694 let Inst{27-23} = op;
695 let Inst{31-28} = 0xb; //encoding
698 class SOPK_Real64<bits<5> op, SOPK_Pseudo ps> :
701 let Inst{15-0} = simm16;
702 let Inst{22-16} = !if(ps.has_sdst, sdst, ?);
703 let Inst{27-23} = op;
704 let Inst{31-28} = 0xb; //encoding
705 let Inst{63-32} = imm;
708 class SOPKInstTable <bit is_sopk, string cmpOp = ""> {
709 bit IsSOPK = is_sopk;
710 string BaseCmpOp = cmpOp;
713 class SOPK_32 <string opName, list<dag> pattern=[]> : SOPK_Pseudo <
715 (outs SReg_32:$sdst),
716 (ins s16imm:$simm16),
720 class SOPK_32_BR <string opName, list<dag> pattern=[]> : SOPK_Pseudo <
723 (ins sopp_brtarget:$simm16, SReg_32:$sdst),
729 let isTerminator = 1;
730 let SchedRW = [WriteBranch];
733 class SOPK_SCC <string opName, string base_op, bit isSignExt> : SOPK_Pseudo <
737 (ins SReg_32:$sdst, s16imm:$simm16),
738 (ins SReg_32:$sdst, u16imm:$simm16)),
739 "$sdst, $simm16", []>,
740 SOPKInstTable<1, base_op>{
744 class SOPK_32TIE <string opName, list<dag> pattern=[]> : SOPK_Pseudo <
746 (outs SReg_32:$sdst),
747 (ins SReg_32:$src0, s16imm:$simm16),
752 let isReMaterializable = 1, isMoveImm = 1 in {
753 def S_MOVK_I32 : SOPK_32 <"s_movk_i32">;
754 } // End isReMaterializable = 1
755 let Uses = [SCC] in {
756 def S_CMOVK_I32 : SOPK_32 <"s_cmovk_i32">;
759 let isCompare = 1 in {
761 // This instruction is disabled for now until we can figure out how to teach
762 // the instruction selector to correctly use the S_CMP* vs V_CMP*
765 // When this instruction is enabled the code generator sometimes produces this
768 // SCC = S_CMPK_EQ_I32 SGPR0, imm
770 // VGPR0 = V_CNDMASK VCC, VGPR0, VGPR1
772 // def S_CMPK_EQ_I32 : SOPK_SCC <"s_cmpk_eq_i32",
773 // [(set i1:$dst, (setcc i32:$src0, imm:$src1, SETEQ))]
776 def S_CMPK_EQ_I32 : SOPK_SCC <"s_cmpk_eq_i32", "s_cmp_eq_i32", 1>;
777 def S_CMPK_LG_I32 : SOPK_SCC <"s_cmpk_lg_i32", "s_cmp_lg_i32", 1>;
778 def S_CMPK_GT_I32 : SOPK_SCC <"s_cmpk_gt_i32", "s_cmp_gt_i32", 1>;
779 def S_CMPK_GE_I32 : SOPK_SCC <"s_cmpk_ge_i32", "s_cmp_ge_i32", 1>;
780 def S_CMPK_LT_I32 : SOPK_SCC <"s_cmpk_lt_i32", "s_cmp_lt_i32", 1>;
781 def S_CMPK_LE_I32 : SOPK_SCC <"s_cmpk_le_i32", "s_cmp_le_i32", 1>;
783 let SOPKZext = 1 in {
784 def S_CMPK_EQ_U32 : SOPK_SCC <"s_cmpk_eq_u32", "s_cmp_eq_u32", 0>;
785 def S_CMPK_LG_U32 : SOPK_SCC <"s_cmpk_lg_u32", "s_cmp_lg_u32", 0>;
786 def S_CMPK_GT_U32 : SOPK_SCC <"s_cmpk_gt_u32", "s_cmp_gt_u32", 0>;
787 def S_CMPK_GE_U32 : SOPK_SCC <"s_cmpk_ge_u32", "s_cmp_ge_u32", 0>;
788 def S_CMPK_LT_U32 : SOPK_SCC <"s_cmpk_lt_u32", "s_cmp_lt_u32", 0>;
789 def S_CMPK_LE_U32 : SOPK_SCC <"s_cmpk_le_u32", "s_cmp_le_u32", 0>;
790 } // End SOPKZext = 1
791 } // End isCompare = 1
793 let Defs = [SCC], isCommutable = 1, DisableEncoding = "$src0",
794 Constraints = "$sdst = $src0" in {
795 def S_ADDK_I32 : SOPK_32TIE <"s_addk_i32">;
796 def S_MULK_I32 : SOPK_32TIE <"s_mulk_i32">;
799 let SubtargetPredicate = isGFX6GFX7GFX8GFX9 in
800 def S_CBRANCH_I_FORK : SOPK_Pseudo <
802 (outs), (ins SReg_64:$sdst, sopp_brtarget:$simm16),
806 let hasSideEffects = 1 in {
809 // s_getreg_b32 should use hasSideEffects = 1 for tablegen to allow
810 // its use in the readcyclecounter selection.
811 def S_GETREG_B32 : SOPK_Pseudo <
813 (outs SReg_32:$sdst), (ins hwreg:$simm16),
818 let mayLoad = 0, mayStore =0 in {
820 def S_SETREG_B32 : SOPK_Pseudo <
822 (outs), (ins SReg_32:$sdst, hwreg:$simm16),
824 [(int_amdgcn_s_setreg (i32 timm:$simm16), i32:$sdst)]> {
826 // Use custom inserter to optimize some cases to
827 // S_DENORM_MODE/S_ROUND_MODE.
828 let usesCustomInserter = 1;
834 //def S_GETREG_REGRD_B32 : SOPK_32 <sopk<0x14, 0x13>, "s_getreg_regrd_b32">;
836 def S_SETREG_IMM32_B32 : SOPK_Pseudo <
837 "s_setreg_imm32_b32",
838 (outs), (ins i32imm:$imm, hwreg:$simm16),
840 let Size = 8; // Unlike every other SOPK instruction.
847 } // End hasSideEffects = 1
849 class SOPK_WAITCNT<string opName, list<dag> pat=[]> :
853 (ins SReg_32:$sdst, s16imm:$simm16),
856 let hasSideEffects = 1;
859 let has_sdst = 1; // First source takes place of sdst in encoding
862 let SubtargetPredicate = isGFX9Plus in {
863 def S_CALL_B64 : SOPK_Pseudo<
865 (outs SReg_64:$sdst),
866 (ins sopp_brtarget:$simm16),
870 } // End SubtargetPredicate = isGFX9Plus
872 let SubtargetPredicate = isGFX10Plus in {
873 def S_VERSION : SOPK_Pseudo<
876 (ins s16imm:$simm16),
881 def S_SUBVECTOR_LOOP_BEGIN : SOPK_32_BR<"s_subvector_loop_begin">;
882 def S_SUBVECTOR_LOOP_END : SOPK_32_BR<"s_subvector_loop_end">;
884 def S_WAITCNT_VSCNT : SOPK_WAITCNT<"s_waitcnt_vscnt">;
885 def S_WAITCNT_VMCNT : SOPK_WAITCNT<"s_waitcnt_vmcnt">;
886 def S_WAITCNT_EXPCNT : SOPK_WAITCNT<"s_waitcnt_expcnt">;
887 def S_WAITCNT_LGKMCNT : SOPK_WAITCNT<"s_waitcnt_lgkmcnt">;
888 } // End SubtargetPredicate = isGFX10Plus
890 //===----------------------------------------------------------------------===//
892 //===----------------------------------------------------------------------===//
894 class SOPCe <bits<7> op> : Enc32 {
898 let Inst{7-0} = src0;
899 let Inst{15-8} = src1;
900 let Inst{22-16} = op;
901 let Inst{31-23} = 0x17e;
904 class SOPC <bits<7> op, dag outs, dag ins, string asm,
905 list<dag> pattern = []> :
906 InstSI<outs, ins, asm, pattern>, SOPCe <op> {
909 let hasSideEffects = 0;
912 let isCodeGenOnly = 0;
914 let SchedRW = [WriteSALU];
915 let UseNamedOperandTable = 1;
918 class SOPC_Base <bits<7> op, RegisterOperand rc0, RegisterOperand rc1,
919 string opName, list<dag> pattern = []> : SOPC <
920 op, (outs), (ins rc0:$src0, rc1:$src1),
921 opName#" $src0, $src1", pattern > {
924 class SOPC_Helper <bits<7> op, RegisterOperand rc, ValueType vt,
925 string opName, SDPatternOperator cond> : SOPC_Base <
927 [(set SCC, (si_setcc_uniform vt:$src0, vt:$src1, cond))] > {
930 class SOPC_CMP_32<bits<7> op, string opName,
931 SDPatternOperator cond = COND_NULL, string revOp = opName>
932 : SOPC_Helper<op, SSrc_b32, i32, opName, cond>,
933 Commutable_REV<revOp, !eq(revOp, opName)>,
934 SOPKInstTable<0, opName> {
936 let isCommutable = 1;
939 class SOPC_CMP_64<bits<7> op, string opName,
940 SDPatternOperator cond = COND_NULL, string revOp = opName>
941 : SOPC_Helper<op, SSrc_b64, i64, opName, cond>,
942 Commutable_REV<revOp, !eq(revOp, opName)> {
944 let isCommutable = 1;
947 class SOPC_32<bits<7> op, string opName, list<dag> pattern = []>
948 : SOPC_Base<op, SSrc_b32, SSrc_b32, opName, pattern>;
950 class SOPC_64_32<bits<7> op, string opName, list<dag> pattern = []>
951 : SOPC_Base<op, SSrc_b64, SSrc_b32, opName, pattern>;
953 def S_CMP_EQ_I32 : SOPC_CMP_32 <0x00, "s_cmp_eq_i32">;
954 def S_CMP_LG_I32 : SOPC_CMP_32 <0x01, "s_cmp_lg_i32">;
955 def S_CMP_GT_I32 : SOPC_CMP_32 <0x02, "s_cmp_gt_i32", COND_SGT>;
956 def S_CMP_GE_I32 : SOPC_CMP_32 <0x03, "s_cmp_ge_i32", COND_SGE>;
957 def S_CMP_LT_I32 : SOPC_CMP_32 <0x04, "s_cmp_lt_i32", COND_SLT, "s_cmp_gt_i32">;
958 def S_CMP_LE_I32 : SOPC_CMP_32 <0x05, "s_cmp_le_i32", COND_SLE, "s_cmp_ge_i32">;
959 def S_CMP_EQ_U32 : SOPC_CMP_32 <0x06, "s_cmp_eq_u32", COND_EQ>;
960 def S_CMP_LG_U32 : SOPC_CMP_32 <0x07, "s_cmp_lg_u32", COND_NE>;
961 def S_CMP_GT_U32 : SOPC_CMP_32 <0x08, "s_cmp_gt_u32", COND_UGT>;
962 def S_CMP_GE_U32 : SOPC_CMP_32 <0x09, "s_cmp_ge_u32", COND_UGE>;
963 def S_CMP_LT_U32 : SOPC_CMP_32 <0x0a, "s_cmp_lt_u32", COND_ULT, "s_cmp_gt_u32">;
964 def S_CMP_LE_U32 : SOPC_CMP_32 <0x0b, "s_cmp_le_u32", COND_ULE, "s_cmp_ge_u32">;
966 def S_BITCMP0_B32 : SOPC_32 <0x0c, "s_bitcmp0_b32">;
967 def S_BITCMP1_B32 : SOPC_32 <0x0d, "s_bitcmp1_b32">;
968 def S_BITCMP0_B64 : SOPC_64_32 <0x0e, "s_bitcmp0_b64">;
969 def S_BITCMP1_B64 : SOPC_64_32 <0x0f, "s_bitcmp1_b64">;
970 let SubtargetPredicate = isGFX6GFX7GFX8GFX9 in
971 def S_SETVSKIP : SOPC_32 <0x10, "s_setvskip">;
973 let SubtargetPredicate = isGFX8Plus in {
974 def S_CMP_EQ_U64 : SOPC_CMP_64 <0x12, "s_cmp_eq_u64", COND_EQ>;
975 def S_CMP_LG_U64 : SOPC_CMP_64 <0x13, "s_cmp_lg_u64", COND_NE>;
976 } // End SubtargetPredicate = isGFX8Plus
978 let SubtargetPredicate = HasVGPRIndexMode in {
979 // Setting the GPR index mode is really writing the fields in the mode
980 // register. We don't want to add mode register uses to every
981 // instruction, and it's too complicated to deal with anyway. This is
982 // modeled just as a side effect.
983 def S_SET_GPR_IDX_ON : SOPC <0x11,
985 (ins SSrc_b32:$src0, GPRIdxMode:$src1),
986 "s_set_gpr_idx_on $src0,$src1"> {
987 let Defs = [M0, MODE]; // No scc def
988 let Uses = [M0, MODE]; // Other bits of mode, m0 unmodified.
989 let hasSideEffects = 1; // Sets mode.gpr_idx_en
994 //===----------------------------------------------------------------------===//
996 //===----------------------------------------------------------------------===//
998 class Base_SOPP <string asm> {
999 string AsmString = asm;
1002 class SOPPe <bits<7> op> : Enc32 {
1005 let Inst{15-0} = simm16;
1006 let Inst{22-16} = op;
1007 let Inst{31-23} = 0x17f; // encoding
1010 class SOPP <bits<7> op, dag ins, string asm, list<dag> pattern = []> :
1011 InstSI <(outs), ins, asm, pattern >, SOPPe <op>, Base_SOPP <asm> {
1015 let hasSideEffects = 0;
1019 let SchedRW = [WriteSALU];
1021 let UseNamedOperandTable = 1;
1024 def S_NOP : SOPP <0x00000000, (ins i16imm:$simm16), "s_nop $simm16">;
1026 class SOPP_w_nop_e <bits<7> op> : Enc64 {
1029 let Inst{15-0} = simm16;
1030 let Inst{22-16} = op;
1031 let Inst{31-23} = 0x17f; // encoding
1032 let Inst{47-32} = 0x0;
1033 let Inst{54-48} = S_NOP.Inst{22-16}; // opcode
1034 let Inst{63-55} = S_NOP.Inst{31-23}; // encoding
1037 class SOPP_w_nop <bits<7> op, dag ins, string asm, list<dag> pattern = []> :
1038 InstSI <(outs), ins, asm, pattern >, SOPP_w_nop_e <op>, Base_SOPP <asm> {
1042 let hasSideEffects = 0;
1046 let SchedRW = [WriteSALU];
1048 let UseNamedOperandTable = 1;
1051 multiclass SOPP_With_Relaxation <bits<7> op, dag ins, string asm, list<dag> pattern = []> {
1052 def "" : SOPP <op, ins, asm, pattern>;
1053 def _pad_s_nop : SOPP_w_nop <op, ins, asm, pattern>;
1056 let isTerminator = 1 in {
1058 def S_ENDPGM : SOPP <0x00000001, (ins EndpgmImm:$simm16), "s_endpgm$simm16"> {
1063 def S_ENDPGM_SAVED : SOPP <0x0000001B, (ins), "s_endpgm_saved"> {
1064 let SubtargetPredicate = isGFX8Plus;
1070 let SubtargetPredicate = isGFX9Plus in {
1071 let isBarrier = 1, isReturn = 1, simm16 = 0 in {
1072 def S_ENDPGM_ORDERED_PS_DONE :
1073 SOPP<0x01e, (ins), "s_endpgm_ordered_ps_done">;
1074 } // End isBarrier = 1, isReturn = 1, simm16 = 0
1075 } // End SubtargetPredicate = isGFX9Plus
1077 let SubtargetPredicate = isGFX10Plus in {
1078 let isBarrier = 1, isReturn = 1, simm16 = 0 in {
1080 SOPP<0x01f, (ins), "s_code_end">;
1081 } // End isBarrier = 1, isReturn = 1, simm16 = 0
1082 } // End SubtargetPredicate = isGFX10Plus
1084 let isBranch = 1, SchedRW = [WriteBranch] in {
1085 let isBarrier = 1 in {
1086 defm S_BRANCH : SOPP_With_Relaxation <
1087 0x00000002, (ins sopp_brtarget:$simm16), "s_branch $simm16",
1091 let Uses = [SCC] in {
1092 defm S_CBRANCH_SCC0 : SOPP_With_Relaxation <
1093 0x00000004, (ins sopp_brtarget:$simm16),
1094 "s_cbranch_scc0 $simm16"
1096 defm S_CBRANCH_SCC1 : SOPP_With_Relaxation <
1097 0x00000005, (ins sopp_brtarget:$simm16),
1098 "s_cbranch_scc1 $simm16"
1100 } // End Uses = [SCC]
1102 let Uses = [VCC] in {
1103 defm S_CBRANCH_VCCZ : SOPP_With_Relaxation <
1104 0x00000006, (ins sopp_brtarget:$simm16),
1105 "s_cbranch_vccz $simm16"
1107 defm S_CBRANCH_VCCNZ : SOPP_With_Relaxation <
1108 0x00000007, (ins sopp_brtarget:$simm16),
1109 "s_cbranch_vccnz $simm16"
1111 } // End Uses = [VCC]
1113 let Uses = [EXEC] in {
1114 defm S_CBRANCH_EXECZ : SOPP_With_Relaxation <
1115 0x00000008, (ins sopp_brtarget:$simm16),
1116 "s_cbranch_execz $simm16"
1118 defm S_CBRANCH_EXECNZ : SOPP_With_Relaxation <
1119 0x00000009, (ins sopp_brtarget:$simm16),
1120 "s_cbranch_execnz $simm16"
1122 } // End Uses = [EXEC]
1124 defm S_CBRANCH_CDBGSYS : SOPP_With_Relaxation <
1125 0x00000017, (ins sopp_brtarget:$simm16),
1126 "s_cbranch_cdbgsys $simm16"
1129 defm S_CBRANCH_CDBGSYS_AND_USER : SOPP_With_Relaxation <
1130 0x0000001A, (ins sopp_brtarget:$simm16),
1131 "s_cbranch_cdbgsys_and_user $simm16"
1134 defm S_CBRANCH_CDBGSYS_OR_USER : SOPP_With_Relaxation <
1135 0x00000019, (ins sopp_brtarget:$simm16),
1136 "s_cbranch_cdbgsys_or_user $simm16"
1139 defm S_CBRANCH_CDBGUSER : SOPP_With_Relaxation <
1140 0x00000018, (ins sopp_brtarget:$simm16),
1141 "s_cbranch_cdbguser $simm16"
1144 } // End isBranch = 1
1145 } // End isTerminator = 1
1147 let hasSideEffects = 1 in {
1148 def S_BARRIER : SOPP <0x0000000a, (ins), "s_barrier",
1149 [(int_amdgcn_s_barrier)]> {
1150 let SchedRW = [WriteBarrier];
1152 let isConvergent = 1;
1155 def S_WAKEUP : SOPP <0x00000003, (ins), "s_wakeup"> {
1156 let SubtargetPredicate = isGFX8Plus;
1162 let mayLoad = 0, mayStore = 0, hasSideEffects = 1 in
1163 def S_WAITCNT : SOPP <0x0000000c, (ins WAIT_FLAG:$simm16), "s_waitcnt $simm16",
1164 [(int_amdgcn_s_waitcnt timm:$simm16)]>;
1165 def S_SETHALT : SOPP <0x0000000d, (ins i16imm:$simm16), "s_sethalt $simm16">;
1166 def S_SETKILL : SOPP <0x0000000b, (ins i16imm:$simm16), "s_setkill $simm16">;
1168 // On SI the documentation says sleep for approximately 64 * low 2
1169 // bits, consistent with the reported maximum of 448. On VI the
1170 // maximum reported is 960 cycles, so 960 / 64 = 15 max, so is the
1171 // maximum really 15 on VI?
1172 def S_SLEEP : SOPP <0x0000000e, (ins i32imm:$simm16),
1173 "s_sleep $simm16", [(int_amdgcn_s_sleep timm:$simm16)]> {
1174 let hasSideEffects = 1;
1179 def S_SETPRIO : SOPP <0x0000000f, (ins i16imm:$simm16), "s_setprio $simm16">;
1181 let Uses = [EXEC, M0] in {
1182 // FIXME: Should this be mayLoad+mayStore?
1183 def S_SENDMSG : SOPP <0x00000010, (ins SendMsgImm:$simm16), "s_sendmsg $simm16",
1184 [(int_amdgcn_s_sendmsg (i32 timm:$simm16), M0)]>;
1186 def S_SENDMSGHALT : SOPP <0x00000011, (ins SendMsgImm:$simm16), "s_sendmsghalt $simm16",
1187 [(int_amdgcn_s_sendmsghalt (i32 timm:$simm16), M0)]>;
1189 } // End Uses = [EXEC, M0]
1191 def S_TRAP : SOPP <0x00000012, (ins i16imm:$simm16), "s_trap $simm16"> {
1195 def S_ICACHE_INV : SOPP <0x00000013, (ins), "s_icache_inv"> {
1198 def S_INCPERFLEVEL : SOPP <0x00000014, (ins i32imm:$simm16), "s_incperflevel $simm16",
1199 [(int_amdgcn_s_incperflevel timm:$simm16)]> {
1200 let hasSideEffects = 1;
1204 def S_DECPERFLEVEL : SOPP <0x00000015, (ins i32imm:$simm16), "s_decperflevel $simm16",
1205 [(int_amdgcn_s_decperflevel timm:$simm16)]> {
1206 let hasSideEffects = 1;
1210 def S_TTRACEDATA : SOPP <0x00000016, (ins), "s_ttracedata"> {
1214 let SubtargetPredicate = HasVGPRIndexMode in {
1215 def S_SET_GPR_IDX_OFF : SOPP<0x1c, (ins), "s_set_gpr_idx_off"> {
1221 } // End hasSideEffects
1223 let SubtargetPredicate = HasVGPRIndexMode in {
1224 def S_SET_GPR_IDX_MODE : SOPP<0x1d, (ins GPRIdxMode:$simm16),
1225 "s_set_gpr_idx_mode$simm16"> {
1226 let Defs = [M0, MODE];
1231 let SubtargetPredicate = isGFX10Plus in {
1232 def S_INST_PREFETCH :
1233 SOPP<0x020, (ins s16imm:$simm16), "s_inst_prefetch $simm16">;
1235 SOPP<0x021, (ins s16imm:$simm16), "s_clause $simm16">;
1236 def S_WAITCNT_IDLE :
1237 SOPP <0x022, (ins), "s_wait_idle"> {
1240 def S_WAITCNT_DEPCTR :
1241 SOPP <0x023, (ins s16imm:$simm16), "s_waitcnt_depctr $simm16">;
1243 let hasSideEffects = 0, Uses = [MODE], Defs = [MODE] in {
1245 SOPP<0x024, (ins s16imm:$simm16), "s_round_mode $simm16">;
1247 SOPP<0x025, (ins i32imm:$simm16), "s_denorm_mode $simm16",
1248 [(SIdenorm_mode (i32 timm:$simm16))]>;
1251 def S_TTRACEDATA_IMM :
1252 SOPP<0x028, (ins s16imm:$simm16), "s_ttracedata_imm $simm16">;
1253 } // End SubtargetPredicate = isGFX10Plus
1255 //===----------------------------------------------------------------------===//
1256 // S_GETREG_B32 Intrinsic Pattern.
1257 //===----------------------------------------------------------------------===//
1259 (int_amdgcn_s_getreg timm:$simm16),
1260 (S_GETREG_B32 (as_i16imm $simm16))
1263 //===----------------------------------------------------------------------===//
1265 //===----------------------------------------------------------------------===//
1273 (i64 (ctpop i64:$src)),
1274 (i64 (REG_SEQUENCE SReg_64,
1275 (i32 (COPY_TO_REGCLASS (S_BCNT1_I32_B64 $src), SReg_32)), sub0,
1276 (S_MOV_B32 (i32 0)), sub1))
1280 (i32 (smax i32:$x, (i32 (ineg i32:$x)))),
1281 (S_ABS_I32 SReg_32:$x)
1286 (S_MOV_B32 imm:$imm)
1289 // Same as a 32-bit inreg
1291 (i32 (UniformUnaryFrag<sext> i16:$src)),
1292 (S_SEXT_I32_I16 $src)
1296 //===----------------------------------------------------------------------===//
1298 //===----------------------------------------------------------------------===//
1300 // V_ADD_I32_e32/S_ADD_U32 produces carry in VCC/SCC. For the vector
1301 // case, the sgpr-copies pass will fix this to use the vector version.
1303 (i32 (addc i32:$src0, i32:$src1)),
1304 (S_ADD_U32 $src0, $src1)
1307 // FIXME: We need to use COPY_TO_REGCLASS to work-around the fact that
1308 // REG_SEQUENCE patterns don't support instructions with multiple
1311 (i64 (zext i16:$src)),
1312 (REG_SEQUENCE SReg_64,
1313 (i32 (COPY_TO_REGCLASS (S_AND_B32 $src, (S_MOV_B32 (i32 0xffff))), SGPR_32)), sub0,
1314 (S_MOV_B32 (i32 0)), sub1)
1318 (i64 (UniformUnaryFrag<sext> i16:$src)),
1319 (REG_SEQUENCE SReg_64, (i32 (S_SEXT_I32_I16 $src)), sub0,
1320 (i32 (COPY_TO_REGCLASS (S_ASHR_I32 (i32 (S_SEXT_I32_I16 $src)), (S_MOV_B32 (i32 31))), SGPR_32)), sub1)
1324 (i32 (zext i16:$src)),
1325 (S_AND_B32 (S_MOV_B32 (i32 0xffff)), $src)
1329 //===----------------------------------------------------------------------===//
1330 // Target-specific instruction encodings.
1331 //===----------------------------------------------------------------------===//
1333 //===----------------------------------------------------------------------===//
1335 //===----------------------------------------------------------------------===//
1337 class Select_gfx10<string opName> : SIMCInstr<opName, SIEncodingFamily.GFX10> {
1338 Predicate AssemblerPredicate = isGFX10Plus;
1339 string DecoderNamespace = "GFX10";
1342 multiclass SOP1_Real_gfx10<bits<8> op> {
1343 def _gfx10 : SOP1_Real<op, !cast<SOP1_Pseudo>(NAME)>,
1344 Select_gfx10<!cast<SOP1_Pseudo>(NAME).Mnemonic>;
1347 defm S_ANDN1_SAVEEXEC_B64 : SOP1_Real_gfx10<0x037>;
1348 defm S_ORN1_SAVEEXEC_B64 : SOP1_Real_gfx10<0x038>;
1349 defm S_ANDN1_WREXEC_B64 : SOP1_Real_gfx10<0x039>;
1350 defm S_ANDN2_WREXEC_B64 : SOP1_Real_gfx10<0x03a>;
1351 defm S_BITREPLICATE_B64_B32 : SOP1_Real_gfx10<0x03b>;
1352 defm S_AND_SAVEEXEC_B32 : SOP1_Real_gfx10<0x03c>;
1353 defm S_OR_SAVEEXEC_B32 : SOP1_Real_gfx10<0x03d>;
1354 defm S_XOR_SAVEEXEC_B32 : SOP1_Real_gfx10<0x03e>;
1355 defm S_ANDN2_SAVEEXEC_B32 : SOP1_Real_gfx10<0x03f>;
1356 defm S_ORN2_SAVEEXEC_B32 : SOP1_Real_gfx10<0x040>;
1357 defm S_NAND_SAVEEXEC_B32 : SOP1_Real_gfx10<0x041>;
1358 defm S_NOR_SAVEEXEC_B32 : SOP1_Real_gfx10<0x042>;
1359 defm S_XNOR_SAVEEXEC_B32 : SOP1_Real_gfx10<0x043>;
1360 defm S_ANDN1_SAVEEXEC_B32 : SOP1_Real_gfx10<0x044>;
1361 defm S_ORN1_SAVEEXEC_B32 : SOP1_Real_gfx10<0x045>;
1362 defm S_ANDN1_WREXEC_B32 : SOP1_Real_gfx10<0x046>;
1363 defm S_ANDN2_WREXEC_B32 : SOP1_Real_gfx10<0x047>;
1364 defm S_MOVRELSD_2_B32 : SOP1_Real_gfx10<0x049>;
1366 //===----------------------------------------------------------------------===//
1367 // SOP1 - GFX6, GFX7.
1368 //===----------------------------------------------------------------------===//
1370 class Select_gfx6_gfx7<string opName> : SIMCInstr<opName, SIEncodingFamily.SI> {
1371 Predicate AssemblerPredicate = isGFX6GFX7;
1372 string DecoderNamespace = "GFX6GFX7";
1375 multiclass SOP1_Real_gfx6_gfx7<bits<8> op> {
1376 def _gfx6_gfx7 : SOP1_Real<op, !cast<SOP1_Pseudo>(NAME)>,
1377 Select_gfx6_gfx7<!cast<SOP1_Pseudo>(NAME).Mnemonic>;
1380 multiclass SOP1_Real_gfx6_gfx7_gfx10<bits<8> op> :
1381 SOP1_Real_gfx6_gfx7<op>, SOP1_Real_gfx10<op>;
1383 defm S_CBRANCH_JOIN : SOP1_Real_gfx6_gfx7<0x032>;
1384 defm S_MOV_REGRD_B32 : SOP1_Real_gfx6_gfx7<0x033>;
1386 defm S_MOV_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x003>;
1387 defm S_MOV_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x004>;
1388 defm S_CMOV_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x005>;
1389 defm S_CMOV_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x006>;
1390 defm S_NOT_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x007>;
1391 defm S_NOT_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x008>;
1392 defm S_WQM_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x009>;
1393 defm S_WQM_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x00a>;
1394 defm S_BREV_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x00b>;
1395 defm S_BREV_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x00c>;
1396 defm S_BCNT0_I32_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x00d>;
1397 defm S_BCNT0_I32_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x00e>;
1398 defm S_BCNT1_I32_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x00f>;
1399 defm S_BCNT1_I32_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x010>;
1400 defm S_FF0_I32_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x011>;
1401 defm S_FF0_I32_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x012>;
1402 defm S_FF1_I32_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x013>;
1403 defm S_FF1_I32_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x014>;
1404 defm S_FLBIT_I32_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x015>;
1405 defm S_FLBIT_I32_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x016>;
1406 defm S_FLBIT_I32 : SOP1_Real_gfx6_gfx7_gfx10<0x017>;
1407 defm S_FLBIT_I32_I64 : SOP1_Real_gfx6_gfx7_gfx10<0x018>;
1408 defm S_SEXT_I32_I8 : SOP1_Real_gfx6_gfx7_gfx10<0x019>;
1409 defm S_SEXT_I32_I16 : SOP1_Real_gfx6_gfx7_gfx10<0x01a>;
1410 defm S_BITSET0_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x01b>;
1411 defm S_BITSET0_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x01c>;
1412 defm S_BITSET1_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x01d>;
1413 defm S_BITSET1_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x01e>;
1414 defm S_GETPC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x01f>;
1415 defm S_SETPC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x020>;
1416 defm S_SWAPPC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x021>;
1417 defm S_RFE_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x022>;
1418 defm S_AND_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x024>;
1419 defm S_OR_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x025>;
1420 defm S_XOR_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x026>;
1421 defm S_ANDN2_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x027>;
1422 defm S_ORN2_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x028>;
1423 defm S_NAND_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x029>;
1424 defm S_NOR_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x02a>;
1425 defm S_XNOR_SAVEEXEC_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x02b>;
1426 defm S_QUADMASK_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x02c>;
1427 defm S_QUADMASK_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x02d>;
1428 defm S_MOVRELS_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x02e>;
1429 defm S_MOVRELS_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x02f>;
1430 defm S_MOVRELD_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x030>;
1431 defm S_MOVRELD_B64 : SOP1_Real_gfx6_gfx7_gfx10<0x031>;
1432 defm S_ABS_I32 : SOP1_Real_gfx6_gfx7_gfx10<0x034>;
1433 defm S_MOV_FED_B32 : SOP1_Real_gfx6_gfx7_gfx10<0x035>;
1435 //===----------------------------------------------------------------------===//
1437 //===----------------------------------------------------------------------===//
1439 multiclass SOP2_Real_gfx10<bits<7> op> {
1440 def _gfx10 : SOP2_Real<op, !cast<SOP2_Pseudo>(NAME)>,
1441 Select_gfx10<!cast<SOP2_Pseudo>(NAME).Mnemonic>;
1444 defm S_LSHL1_ADD_U32 : SOP2_Real_gfx10<0x02e>;
1445 defm S_LSHL2_ADD_U32 : SOP2_Real_gfx10<0x02f>;
1446 defm S_LSHL3_ADD_U32 : SOP2_Real_gfx10<0x030>;
1447 defm S_LSHL4_ADD_U32 : SOP2_Real_gfx10<0x031>;
1448 defm S_PACK_LL_B32_B16 : SOP2_Real_gfx10<0x032>;
1449 defm S_PACK_LH_B32_B16 : SOP2_Real_gfx10<0x033>;
1450 defm S_PACK_HH_B32_B16 : SOP2_Real_gfx10<0x034>;
1451 defm S_MUL_HI_U32 : SOP2_Real_gfx10<0x035>;
1452 defm S_MUL_HI_I32 : SOP2_Real_gfx10<0x036>;
1454 //===----------------------------------------------------------------------===//
1455 // SOP2 - GFX6, GFX7.
1456 //===----------------------------------------------------------------------===//
1458 multiclass SOP2_Real_gfx6_gfx7<bits<7> op> {
1459 def _gfx6_gfx7 : SOP2_Real<op, !cast<SOP_Pseudo>(NAME)>,
1460 Select_gfx6_gfx7<!cast<SOP_Pseudo>(NAME).Mnemonic>;
1463 multiclass SOP2_Real_gfx6_gfx7_gfx10<bits<7> op> :
1464 SOP2_Real_gfx6_gfx7<op>, SOP2_Real_gfx10<op>;
1466 defm S_CBRANCH_G_FORK : SOP2_Real_gfx6_gfx7<0x02b>;
1468 defm S_ADD_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x000>;
1469 defm S_SUB_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x001>;
1470 defm S_ADD_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x002>;
1471 defm S_SUB_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x003>;
1472 defm S_ADDC_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x004>;
1473 defm S_SUBB_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x005>;
1474 defm S_MIN_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x006>;
1475 defm S_MIN_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x007>;
1476 defm S_MAX_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x008>;
1477 defm S_MAX_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x009>;
1478 defm S_CSELECT_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x00a>;
1479 defm S_CSELECT_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x00b>;
1480 defm S_AND_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x00e>;
1481 defm S_AND_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x00f>;
1482 defm S_OR_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x010>;
1483 defm S_OR_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x011>;
1484 defm S_XOR_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x012>;
1485 defm S_XOR_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x013>;
1486 defm S_ANDN2_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x014>;
1487 defm S_ANDN2_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x015>;
1488 defm S_ORN2_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x016>;
1489 defm S_ORN2_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x017>;
1490 defm S_NAND_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x018>;
1491 defm S_NAND_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x019>;
1492 defm S_NOR_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x01a>;
1493 defm S_NOR_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x01b>;
1494 defm S_XNOR_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x01c>;
1495 defm S_XNOR_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x01d>;
1496 defm S_LSHL_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x01e>;
1497 defm S_LSHL_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x01f>;
1498 defm S_LSHR_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x020>;
1499 defm S_LSHR_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x021>;
1500 defm S_ASHR_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x022>;
1501 defm S_ASHR_I64 : SOP2_Real_gfx6_gfx7_gfx10<0x023>;
1502 defm S_BFM_B32 : SOP2_Real_gfx6_gfx7_gfx10<0x024>;
1503 defm S_BFM_B64 : SOP2_Real_gfx6_gfx7_gfx10<0x025>;
1504 defm S_MUL_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x026>;
1505 defm S_BFE_U32 : SOP2_Real_gfx6_gfx7_gfx10<0x027>;
1506 defm S_BFE_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x028>;
1507 defm S_BFE_U64 : SOP2_Real_gfx6_gfx7_gfx10<0x029>;
1508 defm S_BFE_I64 : SOP2_Real_gfx6_gfx7_gfx10<0x02a>;
1509 defm S_ABSDIFF_I32 : SOP2_Real_gfx6_gfx7_gfx10<0x02c>;
1511 //===----------------------------------------------------------------------===//
1513 //===----------------------------------------------------------------------===//
1515 multiclass SOPK_Real32_gfx10<bits<5> op> {
1516 def _gfx10 : SOPK_Real32<op, !cast<SOPK_Pseudo>(NAME)>,
1517 Select_gfx10<!cast<SOPK_Pseudo>(NAME).Mnemonic>;
1520 multiclass SOPK_Real64_gfx10<bits<5> op> {
1521 def _gfx10 : SOPK_Real64<op, !cast<SOPK_Pseudo>(NAME)>,
1522 Select_gfx10<!cast<SOPK_Pseudo>(NAME).Mnemonic>;
1525 defm S_VERSION : SOPK_Real32_gfx10<0x001>;
1526 defm S_CALL_B64 : SOPK_Real32_gfx10<0x016>;
1527 defm S_WAITCNT_VSCNT : SOPK_Real32_gfx10<0x017>;
1528 defm S_WAITCNT_VMCNT : SOPK_Real32_gfx10<0x018>;
1529 defm S_WAITCNT_EXPCNT : SOPK_Real32_gfx10<0x019>;
1530 defm S_WAITCNT_LGKMCNT : SOPK_Real32_gfx10<0x01a>;
1531 defm S_SUBVECTOR_LOOP_BEGIN : SOPK_Real32_gfx10<0x01b>;
1532 defm S_SUBVECTOR_LOOP_END : SOPK_Real32_gfx10<0x01c>;
1534 //===----------------------------------------------------------------------===//
1535 // SOPK - GFX6, GFX7.
1536 //===----------------------------------------------------------------------===//
1538 multiclass SOPK_Real32_gfx6_gfx7<bits<5> op> {
1539 def _gfx6_gfx7 : SOPK_Real32<op, !cast<SOPK_Pseudo>(NAME)>,
1540 Select_gfx6_gfx7<!cast<SOPK_Pseudo>(NAME).Mnemonic>;
1543 multiclass SOPK_Real64_gfx6_gfx7<bits<5> op> {
1544 def _gfx6_gfx7 : SOPK_Real64<op, !cast<SOPK_Pseudo>(NAME)>,
1545 Select_gfx6_gfx7<!cast<SOPK_Pseudo>(NAME).Mnemonic>;
1548 multiclass SOPK_Real32_gfx6_gfx7_gfx10<bits<5> op> :
1549 SOPK_Real32_gfx6_gfx7<op>, SOPK_Real32_gfx10<op>;
1551 multiclass SOPK_Real64_gfx6_gfx7_gfx10<bits<5> op> :
1552 SOPK_Real64_gfx6_gfx7<op>, SOPK_Real64_gfx10<op>;
1554 defm S_CBRANCH_I_FORK : SOPK_Real32_gfx6_gfx7<0x011>;
1556 defm S_MOVK_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x000>;
1557 defm S_CMOVK_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x002>;
1558 defm S_CMPK_EQ_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x003>;
1559 defm S_CMPK_LG_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x004>;
1560 defm S_CMPK_GT_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x005>;
1561 defm S_CMPK_GE_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x006>;
1562 defm S_CMPK_LT_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x007>;
1563 defm S_CMPK_LE_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x008>;
1564 defm S_CMPK_EQ_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x009>;
1565 defm S_CMPK_LG_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00a>;
1566 defm S_CMPK_GT_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00b>;
1567 defm S_CMPK_GE_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00c>;
1568 defm S_CMPK_LT_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00d>;
1569 defm S_CMPK_LE_U32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00e>;
1570 defm S_ADDK_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x00f>;
1571 defm S_MULK_I32 : SOPK_Real32_gfx6_gfx7_gfx10<0x010>;
1572 defm S_GETREG_B32 : SOPK_Real32_gfx6_gfx7_gfx10<0x012>;
1573 defm S_SETREG_B32 : SOPK_Real32_gfx6_gfx7_gfx10<0x013>;
1574 defm S_SETREG_IMM32_B32 : SOPK_Real64_gfx6_gfx7_gfx10<0x015>;
1576 //===----------------------------------------------------------------------===//
1578 //===----------------------------------------------------------------------===//
1580 class Select_vi<string opName> :
1581 SIMCInstr<opName, SIEncodingFamily.VI> {
1582 Predicate AssemblerPredicate = isGFX8GFX9;
1583 string DecoderNamespace = "GFX8";
1586 class SOP1_Real_vi<bits<8> op, SOP1_Pseudo ps> :
1588 Select_vi<ps.Mnemonic>;
1591 class SOP2_Real_vi<bits<7> op, SOP2_Pseudo ps> :
1593 Select_vi<ps.Mnemonic>;
1595 class SOPK_Real_vi<bits<5> op, SOPK_Pseudo ps> :
1596 SOPK_Real32<op, ps>,
1597 Select_vi<ps.Mnemonic>;
1599 def S_MOV_B32_vi : SOP1_Real_vi <0x00, S_MOV_B32>;
1600 def S_MOV_B64_vi : SOP1_Real_vi <0x01, S_MOV_B64>;
1601 def S_CMOV_B32_vi : SOP1_Real_vi <0x02, S_CMOV_B32>;
1602 def S_CMOV_B64_vi : SOP1_Real_vi <0x03, S_CMOV_B64>;
1603 def S_NOT_B32_vi : SOP1_Real_vi <0x04, S_NOT_B32>;
1604 def S_NOT_B64_vi : SOP1_Real_vi <0x05, S_NOT_B64>;
1605 def S_WQM_B32_vi : SOP1_Real_vi <0x06, S_WQM_B32>;
1606 def S_WQM_B64_vi : SOP1_Real_vi <0x07, S_WQM_B64>;
1607 def S_BREV_B32_vi : SOP1_Real_vi <0x08, S_BREV_B32>;
1608 def S_BREV_B64_vi : SOP1_Real_vi <0x09, S_BREV_B64>;
1609 def S_BCNT0_I32_B32_vi : SOP1_Real_vi <0x0a, S_BCNT0_I32_B32>;
1610 def S_BCNT0_I32_B64_vi : SOP1_Real_vi <0x0b, S_BCNT0_I32_B64>;
1611 def S_BCNT1_I32_B32_vi : SOP1_Real_vi <0x0c, S_BCNT1_I32_B32>;
1612 def S_BCNT1_I32_B64_vi : SOP1_Real_vi <0x0d, S_BCNT1_I32_B64>;
1613 def S_FF0_I32_B32_vi : SOP1_Real_vi <0x0e, S_FF0_I32_B32>;
1614 def S_FF0_I32_B64_vi : SOP1_Real_vi <0x0f, S_FF0_I32_B64>;
1615 def S_FF1_I32_B32_vi : SOP1_Real_vi <0x10, S_FF1_I32_B32>;
1616 def S_FF1_I32_B64_vi : SOP1_Real_vi <0x11, S_FF1_I32_B64>;
1617 def S_FLBIT_I32_B32_vi : SOP1_Real_vi <0x12, S_FLBIT_I32_B32>;
1618 def S_FLBIT_I32_B64_vi : SOP1_Real_vi <0x13, S_FLBIT_I32_B64>;
1619 def S_FLBIT_I32_vi : SOP1_Real_vi <0x14, S_FLBIT_I32>;
1620 def S_FLBIT_I32_I64_vi : SOP1_Real_vi <0x15, S_FLBIT_I32_I64>;
1621 def S_SEXT_I32_I8_vi : SOP1_Real_vi <0x16, S_SEXT_I32_I8>;
1622 def S_SEXT_I32_I16_vi : SOP1_Real_vi <0x17, S_SEXT_I32_I16>;
1623 def S_BITSET0_B32_vi : SOP1_Real_vi <0x18, S_BITSET0_B32>;
1624 def S_BITSET0_B64_vi : SOP1_Real_vi <0x19, S_BITSET0_B64>;
1625 def S_BITSET1_B32_vi : SOP1_Real_vi <0x1a, S_BITSET1_B32>;
1626 def S_BITSET1_B64_vi : SOP1_Real_vi <0x1b, S_BITSET1_B64>;
1627 def S_GETPC_B64_vi : SOP1_Real_vi <0x1c, S_GETPC_B64>;
1628 def S_SETPC_B64_vi : SOP1_Real_vi <0x1d, S_SETPC_B64>;
1629 def S_SWAPPC_B64_vi : SOP1_Real_vi <0x1e, S_SWAPPC_B64>;
1630 def S_RFE_B64_vi : SOP1_Real_vi <0x1f, S_RFE_B64>;
1631 def S_AND_SAVEEXEC_B64_vi : SOP1_Real_vi <0x20, S_AND_SAVEEXEC_B64>;
1632 def S_OR_SAVEEXEC_B64_vi : SOP1_Real_vi <0x21, S_OR_SAVEEXEC_B64>;
1633 def S_XOR_SAVEEXEC_B64_vi : SOP1_Real_vi <0x22, S_XOR_SAVEEXEC_B64>;
1634 def S_ANDN2_SAVEEXEC_B64_vi: SOP1_Real_vi <0x23, S_ANDN2_SAVEEXEC_B64>;
1635 def S_ORN2_SAVEEXEC_B64_vi : SOP1_Real_vi <0x24, S_ORN2_SAVEEXEC_B64>;
1636 def S_NAND_SAVEEXEC_B64_vi : SOP1_Real_vi <0x25, S_NAND_SAVEEXEC_B64>;
1637 def S_NOR_SAVEEXEC_B64_vi : SOP1_Real_vi <0x26, S_NOR_SAVEEXEC_B64>;
1638 def S_XNOR_SAVEEXEC_B64_vi : SOP1_Real_vi <0x27, S_XNOR_SAVEEXEC_B64>;
1639 def S_QUADMASK_B32_vi : SOP1_Real_vi <0x28, S_QUADMASK_B32>;
1640 def S_QUADMASK_B64_vi : SOP1_Real_vi <0x29, S_QUADMASK_B64>;
1641 def S_MOVRELS_B32_vi : SOP1_Real_vi <0x2a, S_MOVRELS_B32>;
1642 def S_MOVRELS_B64_vi : SOP1_Real_vi <0x2b, S_MOVRELS_B64>;
1643 def S_MOVRELD_B32_vi : SOP1_Real_vi <0x2c, S_MOVRELD_B32>;
1644 def S_MOVRELD_B64_vi : SOP1_Real_vi <0x2d, S_MOVRELD_B64>;
1645 def S_CBRANCH_JOIN_vi : SOP1_Real_vi <0x2e, S_CBRANCH_JOIN>;
1646 def S_MOV_REGRD_B32_vi : SOP1_Real_vi <0x2f, S_MOV_REGRD_B32>;
1647 def S_ABS_I32_vi : SOP1_Real_vi <0x30, S_ABS_I32>;
1648 def S_MOV_FED_B32_vi : SOP1_Real_vi <0x31, S_MOV_FED_B32>;
1649 def S_SET_GPR_IDX_IDX_vi : SOP1_Real_vi <0x32, S_SET_GPR_IDX_IDX>;
1651 def S_ADD_U32_vi : SOP2_Real_vi <0x00, S_ADD_U32>;
1652 def S_ADD_I32_vi : SOP2_Real_vi <0x02, S_ADD_I32>;
1653 def S_SUB_U32_vi : SOP2_Real_vi <0x01, S_SUB_U32>;
1654 def S_SUB_I32_vi : SOP2_Real_vi <0x03, S_SUB_I32>;
1655 def S_ADDC_U32_vi : SOP2_Real_vi <0x04, S_ADDC_U32>;
1656 def S_SUBB_U32_vi : SOP2_Real_vi <0x05, S_SUBB_U32>;
1657 def S_MIN_I32_vi : SOP2_Real_vi <0x06, S_MIN_I32>;
1658 def S_MIN_U32_vi : SOP2_Real_vi <0x07, S_MIN_U32>;
1659 def S_MAX_I32_vi : SOP2_Real_vi <0x08, S_MAX_I32>;
1660 def S_MAX_U32_vi : SOP2_Real_vi <0x09, S_MAX_U32>;
1661 def S_CSELECT_B32_vi : SOP2_Real_vi <0x0a, S_CSELECT_B32>;
1662 def S_CSELECT_B64_vi : SOP2_Real_vi <0x0b, S_CSELECT_B64>;
1663 def S_AND_B32_vi : SOP2_Real_vi <0x0c, S_AND_B32>;
1664 def S_AND_B64_vi : SOP2_Real_vi <0x0d, S_AND_B64>;
1665 def S_OR_B32_vi : SOP2_Real_vi <0x0e, S_OR_B32>;
1666 def S_OR_B64_vi : SOP2_Real_vi <0x0f, S_OR_B64>;
1667 def S_XOR_B32_vi : SOP2_Real_vi <0x10, S_XOR_B32>;
1668 def S_XOR_B64_vi : SOP2_Real_vi <0x11, S_XOR_B64>;
1669 def S_ANDN2_B32_vi : SOP2_Real_vi <0x12, S_ANDN2_B32>;
1670 def S_ANDN2_B64_vi : SOP2_Real_vi <0x13, S_ANDN2_B64>;
1671 def S_ORN2_B32_vi : SOP2_Real_vi <0x14, S_ORN2_B32>;
1672 def S_ORN2_B64_vi : SOP2_Real_vi <0x15, S_ORN2_B64>;
1673 def S_NAND_B32_vi : SOP2_Real_vi <0x16, S_NAND_B32>;
1674 def S_NAND_B64_vi : SOP2_Real_vi <0x17, S_NAND_B64>;
1675 def S_NOR_B32_vi : SOP2_Real_vi <0x18, S_NOR_B32>;
1676 def S_NOR_B64_vi : SOP2_Real_vi <0x19, S_NOR_B64>;
1677 def S_XNOR_B32_vi : SOP2_Real_vi <0x1a, S_XNOR_B32>;
1678 def S_XNOR_B64_vi : SOP2_Real_vi <0x1b, S_XNOR_B64>;
1679 def S_LSHL_B32_vi : SOP2_Real_vi <0x1c, S_LSHL_B32>;
1680 def S_LSHL_B64_vi : SOP2_Real_vi <0x1d, S_LSHL_B64>;
1681 def S_LSHR_B32_vi : SOP2_Real_vi <0x1e, S_LSHR_B32>;
1682 def S_LSHR_B64_vi : SOP2_Real_vi <0x1f, S_LSHR_B64>;
1683 def S_ASHR_I32_vi : SOP2_Real_vi <0x20, S_ASHR_I32>;
1684 def S_ASHR_I64_vi : SOP2_Real_vi <0x21, S_ASHR_I64>;
1685 def S_BFM_B32_vi : SOP2_Real_vi <0x22, S_BFM_B32>;
1686 def S_BFM_B64_vi : SOP2_Real_vi <0x23, S_BFM_B64>;
1687 def S_MUL_I32_vi : SOP2_Real_vi <0x24, S_MUL_I32>;
1688 def S_BFE_U32_vi : SOP2_Real_vi <0x25, S_BFE_U32>;
1689 def S_BFE_I32_vi : SOP2_Real_vi <0x26, S_BFE_I32>;
1690 def S_BFE_U64_vi : SOP2_Real_vi <0x27, S_BFE_U64>;
1691 def S_BFE_I64_vi : SOP2_Real_vi <0x28, S_BFE_I64>;
1692 def S_CBRANCH_G_FORK_vi : SOP2_Real_vi <0x29, S_CBRANCH_G_FORK>;
1693 def S_ABSDIFF_I32_vi : SOP2_Real_vi <0x2a, S_ABSDIFF_I32>;
1694 def S_PACK_LL_B32_B16_vi : SOP2_Real_vi <0x32, S_PACK_LL_B32_B16>;
1695 def S_PACK_LH_B32_B16_vi : SOP2_Real_vi <0x33, S_PACK_LH_B32_B16>;
1696 def S_PACK_HH_B32_B16_vi : SOP2_Real_vi <0x34, S_PACK_HH_B32_B16>;
1697 def S_RFE_RESTORE_B64_vi : SOP2_Real_vi <0x2b, S_RFE_RESTORE_B64>;
1699 def S_MOVK_I32_vi : SOPK_Real_vi <0x00, S_MOVK_I32>;
1700 def S_CMOVK_I32_vi : SOPK_Real_vi <0x01, S_CMOVK_I32>;
1701 def S_CMPK_EQ_I32_vi : SOPK_Real_vi <0x02, S_CMPK_EQ_I32>;
1702 def S_CMPK_LG_I32_vi : SOPK_Real_vi <0x03, S_CMPK_LG_I32>;
1703 def S_CMPK_GT_I32_vi : SOPK_Real_vi <0x04, S_CMPK_GT_I32>;
1704 def S_CMPK_GE_I32_vi : SOPK_Real_vi <0x05, S_CMPK_GE_I32>;
1705 def S_CMPK_LT_I32_vi : SOPK_Real_vi <0x06, S_CMPK_LT_I32>;
1706 def S_CMPK_LE_I32_vi : SOPK_Real_vi <0x07, S_CMPK_LE_I32>;
1707 def S_CMPK_EQ_U32_vi : SOPK_Real_vi <0x08, S_CMPK_EQ_U32>;
1708 def S_CMPK_LG_U32_vi : SOPK_Real_vi <0x09, S_CMPK_LG_U32>;
1709 def S_CMPK_GT_U32_vi : SOPK_Real_vi <0x0A, S_CMPK_GT_U32>;
1710 def S_CMPK_GE_U32_vi : SOPK_Real_vi <0x0B, S_CMPK_GE_U32>;
1711 def S_CMPK_LT_U32_vi : SOPK_Real_vi <0x0C, S_CMPK_LT_U32>;
1712 def S_CMPK_LE_U32_vi : SOPK_Real_vi <0x0D, S_CMPK_LE_U32>;
1713 def S_ADDK_I32_vi : SOPK_Real_vi <0x0E, S_ADDK_I32>;
1714 def S_MULK_I32_vi : SOPK_Real_vi <0x0F, S_MULK_I32>;
1715 def S_CBRANCH_I_FORK_vi : SOPK_Real_vi <0x10, S_CBRANCH_I_FORK>;
1716 def S_GETREG_B32_vi : SOPK_Real_vi <0x11, S_GETREG_B32>;
1717 def S_SETREG_B32_vi : SOPK_Real_vi <0x12, S_SETREG_B32>;
1718 //def S_GETREG_REGRD_B32_vi : SOPK_Real_vi <0x13, S_GETREG_REGRD_B32>; // see pseudo for comments
1719 def S_SETREG_IMM32_B32_vi : SOPK_Real64<0x14, S_SETREG_IMM32_B32>,
1720 Select_vi<S_SETREG_IMM32_B32.Mnemonic>;
1722 def S_CALL_B64_vi : SOPK_Real_vi <0x15, S_CALL_B64>;
1724 //===----------------------------------------------------------------------===//
1726 //===----------------------------------------------------------------------===//
1728 def S_ANDN1_SAVEEXEC_B64_vi : SOP1_Real_vi<0x33, S_ANDN1_SAVEEXEC_B64>;
1729 def S_ORN1_SAVEEXEC_B64_vi : SOP1_Real_vi<0x34, S_ORN1_SAVEEXEC_B64>;
1730 def S_ANDN1_WREXEC_B64_vi : SOP1_Real_vi<0x35, S_ANDN1_WREXEC_B64>;
1731 def S_ANDN2_WREXEC_B64_vi : SOP1_Real_vi<0x36, S_ANDN2_WREXEC_B64>;
1732 def S_BITREPLICATE_B64_B32_vi : SOP1_Real_vi<0x37, S_BITREPLICATE_B64_B32>;
1734 //===----------------------------------------------------------------------===//
1736 //===----------------------------------------------------------------------===//
1738 def S_LSHL1_ADD_U32_vi : SOP2_Real_vi<0x2e, S_LSHL1_ADD_U32>;
1739 def S_LSHL2_ADD_U32_vi : SOP2_Real_vi<0x2f, S_LSHL2_ADD_U32>;
1740 def S_LSHL3_ADD_U32_vi : SOP2_Real_vi<0x30, S_LSHL3_ADD_U32>;
1741 def S_LSHL4_ADD_U32_vi : SOP2_Real_vi<0x31, S_LSHL4_ADD_U32>;
1742 def S_MUL_HI_U32_vi : SOP2_Real_vi<0x2c, S_MUL_HI_U32>;
1743 def S_MUL_HI_I32_vi : SOP2_Real_vi<0x2d, S_MUL_HI_I32>;