1//===-- VOP1Instructions.td - Vector 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
10//===----------------------------------------------------------------------===//
11// VOP1 Classes
12//===----------------------------------------------------------------------===//
13
14class VOP1e <bits<8> op, VOPProfile P> : Enc32 {
15  bits<8> vdst;
16  bits<9> src0;
17
18  let Inst{8-0}   = !if(P.HasSrc0, src0{8-0}, 0);
19  let Inst{16-9}  = op;
20  let Inst{24-17} = !if(P.EmitDst, vdst{7-0}, 0);
21  let Inst{31-25} = 0x3f; //encoding
22}
23
24class VOP1_SDWAe <bits<8> op, VOPProfile P> : VOP_SDWAe <P> {
25  bits<8> vdst;
26
27  let Inst{8-0}   = 0xf9; // sdwa
28  let Inst{16-9}  = op;
29  let Inst{24-17} = !if(P.EmitDst, vdst{7-0}, 0);
30  let Inst{31-25} = 0x3f; // encoding
31}
32
33class VOP1_SDWA9Ae <bits<8> op, VOPProfile P> : VOP_SDWA9Ae <P> {
34  bits<8> vdst;
35
36  let Inst{8-0}   = 0xf9; // sdwa
37  let Inst{16-9}  = op;
38  let Inst{24-17} = !if(P.EmitDst, vdst{7-0}, 0);
39  let Inst{31-25} = 0x3f; // encoding
40}
41
42class VOP1_Pseudo <string opName, VOPProfile P, list<dag> pattern=[], bit VOP1Only = 0> :
43  VOP_Pseudo <opName, !if(VOP1Only, "", "_e32"), P, P.Outs32, P.Ins32, "", pattern> {
44
45  let AsmOperands = P.Asm32;
46
47  let Size = 4;
48  let mayLoad = 0;
49  let mayStore = 0;
50  let hasSideEffects = 0;
51  let SubtargetPredicate = isGCN;
52
53  let VOP1 = 1;
54  let VALU = 1;
55  let Uses = [EXEC];
56
57  let AsmVariantName = AMDGPUAsmVariants.Default;
58}
59
60class VOP1_Real <VOP1_Pseudo ps, int EncodingFamily> :
61  InstSI <ps.OutOperandList, ps.InOperandList, ps.Mnemonic # ps.AsmOperands, []>,
62  SIMCInstr <ps.PseudoInstr, EncodingFamily> {
63
64  let isPseudo = 0;
65  let isCodeGenOnly = 0;
66
67  let Constraints     = ps.Constraints;
68  let DisableEncoding = ps.DisableEncoding;
69
70  // copy relevant pseudo op flags
71  let SubtargetPredicate = ps.SubtargetPredicate;
72  let AsmMatchConverter  = ps.AsmMatchConverter;
73  let AsmVariantName     = ps.AsmVariantName;
74  let Constraints        = ps.Constraints;
75  let DisableEncoding    = ps.DisableEncoding;
76  let TSFlags            = ps.TSFlags;
77  let UseNamedOperandTable = ps.UseNamedOperandTable;
78  let Uses                 = ps.Uses;
79  let Defs                 = ps.Defs;
80}
81
82class VOP1_SDWA_Pseudo <string OpName, VOPProfile P, list<dag> pattern=[]> :
83  VOP_SDWA_Pseudo <OpName, P, pattern> {
84  let AsmMatchConverter = "cvtSdwaVOP1";
85}
86
87class VOP1_DPP_Pseudo <string OpName, VOPProfile P, list<dag> pattern=[]> :
88  VOP_DPP_Pseudo <OpName, P, pattern> {
89}
90
91class getVOP1Pat64 <SDPatternOperator node, VOPProfile P> : LetDummies {
92  list<dag> ret =
93    !if(P.HasModifiers,
94        [(set P.DstVT:$vdst, (node (P.Src0VT (VOP3Mods0 P.Src0VT:$src0,
95                                              i32:$src0_modifiers,
96                                              i1:$clamp, i32:$omod))))],
97        !if(P.HasOMod,
98            [(set P.DstVT:$vdst, (node (P.Src0VT (VOP3OMods P.Src0VT:$src0,
99                                                  i1:$clamp, i32:$omod))))],
100            [(set P.DstVT:$vdst, (node P.Src0VT:$src0))]
101        )
102    );
103}
104
105multiclass VOP1Inst <string opName, VOPProfile P,
106                     SDPatternOperator node = null_frag> {
107  def _e32 : VOP1_Pseudo <opName, P>;
108  def _e64 : VOP3_Pseudo <opName, P, getVOP1Pat64<node, P>.ret>;
109  def _sdwa : VOP1_SDWA_Pseudo <opName, P>;
110  foreach _ = BoolToList<P.HasExtDPP>.ret in
111    def _dpp : VOP1_DPP_Pseudo <opName, P>;
112}
113
114// Special profile for instructions which have clamp
115// and output modifiers (but have no input modifiers)
116class VOPProfileI2F<ValueType dstVt, ValueType srcVt> :
117  VOPProfile<[dstVt, srcVt, untyped, untyped]> {
118
119  let Ins64 = (ins Src0RC64:$src0, clampmod:$clamp, omod:$omod);
120  let Asm64 = "$vdst, $src0$clamp$omod";
121
122  let HasModifiers = 0;
123  let HasClamp = 1;
124  let HasOMod = 1;
125}
126
127def VOP1_F64_I32 : VOPProfileI2F <f64, i32>;
128def VOP1_F32_I32 : VOPProfileI2F <f32, i32>;
129def VOP1_F16_I16 : VOPProfileI2F <f16, i16>;
130
131//===----------------------------------------------------------------------===//
132// VOP1 Instructions
133//===----------------------------------------------------------------------===//
134
135let VOPAsmPrefer32Bit = 1 in {
136defm V_NOP : VOP1Inst <"v_nop", VOP_NONE>;
137}
138
139let isMoveImm = 1, isReMaterializable = 1, isAsCheapAsAMove = 1 in {
140defm V_MOV_B32 : VOP1Inst <"v_mov_b32", VOP_I32_I32>;
141} // End isMoveImm = 1
142
143// FIXME: Specify SchedRW for READFIRSTLANE_B32
144// TODO: Make profile for this, there is VOP3 encoding also
145def V_READFIRSTLANE_B32 :
146  InstSI <(outs SReg_32:$vdst),
147    (ins VGPR_32:$src0),
148    "v_readfirstlane_b32 $vdst, $src0",
149    [(set i32:$vdst, (int_amdgcn_readfirstlane i32:$src0))]>,
150  Enc32 {
151
152  let isCodeGenOnly = 0;
153  let UseNamedOperandTable = 1;
154
155  let Size = 4;
156  let mayLoad = 0;
157  let mayStore = 0;
158  let hasSideEffects = 0;
159  let SubtargetPredicate = isGCN;
160
161  let VOP1 = 1;
162  let VALU = 1;
163  let Uses = [EXEC];
164  let isConvergent = 1;
165
166  bits<8> vdst;
167  bits<9> src0;
168
169  let Inst{8-0}   = src0;
170  let Inst{16-9}  = 0x2;
171  let Inst{24-17} = vdst;
172  let Inst{31-25} = 0x3f; //encoding
173}
174
175let SchedRW = [WriteQuarterRate32] in {
176defm V_CVT_I32_F64 : VOP1Inst <"v_cvt_i32_f64", VOP_I32_F64, fp_to_sint>;
177defm V_CVT_F64_I32 : VOP1Inst <"v_cvt_f64_i32", VOP1_F64_I32, sint_to_fp>;
178defm V_CVT_F32_I32 : VOP1Inst <"v_cvt_f32_i32", VOP1_F32_I32, sint_to_fp>;
179defm V_CVT_F32_U32 : VOP1Inst <"v_cvt_f32_u32", VOP1_F32_I32, uint_to_fp>;
180defm V_CVT_U32_F32 : VOP1Inst <"v_cvt_u32_f32", VOP_I32_F32, fp_to_uint>;
181defm V_CVT_I32_F32 : VOP1Inst <"v_cvt_i32_f32", VOP_I32_F32, fp_to_sint>;
182let FPDPRounding = 1 in {
183defm V_CVT_F16_F32 : VOP1Inst <"v_cvt_f16_f32", VOP_F16_F32, fpround>;
184} // End FPDPRounding = 1
185defm V_CVT_F32_F16 : VOP1Inst <"v_cvt_f32_f16", VOP_F32_F16, fpextend>;
186defm V_CVT_RPI_I32_F32 : VOP1Inst <"v_cvt_rpi_i32_f32", VOP_I32_F32, cvt_rpi_i32_f32>;
187defm V_CVT_FLR_I32_F32 : VOP1Inst <"v_cvt_flr_i32_f32", VOP_I32_F32, cvt_flr_i32_f32>;
188defm V_CVT_OFF_F32_I4 : VOP1Inst  <"v_cvt_off_f32_i4", VOP1_F32_I32>;
189defm V_CVT_F32_F64 : VOP1Inst <"v_cvt_f32_f64", VOP_F32_F64, fpround>;
190defm V_CVT_F64_F32 : VOP1Inst <"v_cvt_f64_f32", VOP_F64_F32, fpextend>;
191defm V_CVT_F32_UBYTE0 : VOP1Inst <"v_cvt_f32_ubyte0", VOP1_F32_I32, AMDGPUcvt_f32_ubyte0>;
192defm V_CVT_F32_UBYTE1 : VOP1Inst <"v_cvt_f32_ubyte1", VOP1_F32_I32, AMDGPUcvt_f32_ubyte1>;
193defm V_CVT_F32_UBYTE2 : VOP1Inst <"v_cvt_f32_ubyte2", VOP1_F32_I32, AMDGPUcvt_f32_ubyte2>;
194defm V_CVT_F32_UBYTE3 : VOP1Inst <"v_cvt_f32_ubyte3", VOP1_F32_I32, AMDGPUcvt_f32_ubyte3>;
195defm V_CVT_U32_F64 : VOP1Inst <"v_cvt_u32_f64", VOP_I32_F64, fp_to_uint>;
196defm V_CVT_F64_U32 : VOP1Inst <"v_cvt_f64_u32", VOP1_F64_I32, uint_to_fp>;
197} // End SchedRW = [WriteQuarterRate32]
198
199defm V_FRACT_F32 : VOP1Inst <"v_fract_f32", VOP_F32_F32, AMDGPUfract>;
200defm V_TRUNC_F32 : VOP1Inst <"v_trunc_f32", VOP_F32_F32, ftrunc>;
201defm V_CEIL_F32 : VOP1Inst <"v_ceil_f32", VOP_F32_F32, fceil>;
202defm V_RNDNE_F32 : VOP1Inst <"v_rndne_f32", VOP_F32_F32, frint>;
203defm V_FLOOR_F32 : VOP1Inst <"v_floor_f32", VOP_F32_F32, ffloor>;
204
205let SchedRW = [WriteQuarterRate32] in {
206defm V_EXP_F32 : VOP1Inst <"v_exp_f32", VOP_F32_F32, fexp2>;
207defm V_LOG_F32 : VOP1Inst <"v_log_f32", VOP_F32_F32, flog2>;
208defm V_RCP_F32 : VOP1Inst <"v_rcp_f32", VOP_F32_F32, AMDGPUrcp>;
209defm V_RCP_IFLAG_F32 : VOP1Inst <"v_rcp_iflag_f32", VOP_F32_F32, AMDGPUrcp_iflag>;
210defm V_RSQ_F32 : VOP1Inst <"v_rsq_f32", VOP_F32_F32, AMDGPUrsq>;
211defm V_SQRT_F32 : VOP1Inst <"v_sqrt_f32", VOP_F32_F32, fsqrt>;
212} // End SchedRW = [WriteQuarterRate32]
213
214let SchedRW = [WriteDouble] in {
215defm V_RCP_F64 : VOP1Inst <"v_rcp_f64", VOP_F64_F64, AMDGPUrcp>;
216defm V_RSQ_F64 : VOP1Inst <"v_rsq_f64", VOP_F64_F64, AMDGPUrsq>;
217} // End SchedRW = [WriteDouble];
218
219let SchedRW = [WriteDouble] in {
220defm V_SQRT_F64 : VOP1Inst <"v_sqrt_f64", VOP_F64_F64, fsqrt>;
221} // End SchedRW = [WriteDouble]
222
223let SchedRW = [WriteQuarterRate32] in {
224defm V_SIN_F32 : VOP1Inst <"v_sin_f32", VOP_F32_F32, AMDGPUsin>;
225defm V_COS_F32 : VOP1Inst <"v_cos_f32", VOP_F32_F32, AMDGPUcos>;
226} // End SchedRW = [WriteQuarterRate32]
227
228defm V_NOT_B32 : VOP1Inst <"v_not_b32", VOP_I32_I32>;
229defm V_BFREV_B32 : VOP1Inst <"v_bfrev_b32", VOP_I32_I32>;
230defm V_FFBH_U32 : VOP1Inst <"v_ffbh_u32", VOP_I32_I32>;
231defm V_FFBL_B32 : VOP1Inst <"v_ffbl_b32", VOP_I32_I32>;
232defm V_FFBH_I32 : VOP1Inst <"v_ffbh_i32", VOP_I32_I32>;
233
234let SchedRW = [WriteDoubleAdd] in {
235defm V_FREXP_EXP_I32_F64 : VOP1Inst <"v_frexp_exp_i32_f64", VOP_I32_F64, int_amdgcn_frexp_exp>;
236defm V_FREXP_MANT_F64 : VOP1Inst <"v_frexp_mant_f64", VOP_F64_F64, int_amdgcn_frexp_mant>;
237let FPDPRounding = 1 in {
238defm V_FRACT_F64 : VOP1Inst <"v_fract_f64", VOP_F64_F64, AMDGPUfract>;
239} // End FPDPRounding = 1
240} // End SchedRW = [WriteDoubleAdd]
241
242defm V_FREXP_EXP_I32_F32 : VOP1Inst <"v_frexp_exp_i32_f32", VOP_I32_F32, int_amdgcn_frexp_exp>;
243defm V_FREXP_MANT_F32 : VOP1Inst <"v_frexp_mant_f32", VOP_F32_F32, int_amdgcn_frexp_mant>;
244
245let VOPAsmPrefer32Bit = 1 in {
246defm V_CLREXCP : VOP1Inst <"v_clrexcp", VOP_NO_EXT<VOP_NONE>>;
247}
248
249// Restrict src0 to be VGPR
250def VOP_I32_VI32_NO_EXT : VOPProfile<[i32, i32, untyped, untyped]> {
251  let Src0RC32 = VRegSrc_32;
252  let Src0RC64 = VRegSrc_32;
253
254  let HasExt = 0;
255  let HasExtDPP = 0;
256  let HasExtSDWA = 0;
257  let HasExtSDWA9 = 0;
258}
259
260// Special case because there are no true output operands.  Hack vdst
261// to be a src operand. The custom inserter must add a tied implicit
262// def and use of the super register since there seems to be no way to
263// add an implicit def of a virtual register in tablegen.
264def VOP_MOVRELD : VOPProfile<[untyped, i32, untyped, untyped]> {
265  let Src0RC32 = VOPDstOperand<VGPR_32>;
266  let Src0RC64 = VOPDstOperand<VGPR_32>;
267
268  let Outs = (outs);
269  let Ins32 = (ins Src0RC32:$vdst, VSrc_b32:$src0);
270  let Ins64 = (ins Src0RC64:$vdst, VSrc_b32:$src0);
271  let InsDPP = (ins DstRC:$vdst, DstRC:$old, Src0RC32:$src0,
272                    dpp_ctrl:$dpp_ctrl, row_mask:$row_mask,
273                    bank_mask:$bank_mask, bound_ctrl:$bound_ctrl);
274
275  let InsSDWA = (ins Src0RC32:$vdst, Src0ModSDWA:$src0_modifiers, Src0SDWA:$src0,
276                     clampmod:$clamp, omod:$omod, dst_sel:$dst_sel, dst_unused:$dst_unused,
277                     src0_sel:$src0_sel);
278
279  let Asm32 = getAsm32<1, 1>.ret;
280  let Asm64 = getAsm64<1, 1, 0, 0, 1>.ret;
281  let AsmDPP = getAsmDPP<1, 1, 0>.ret;
282  let AsmSDWA = getAsmSDWA<1, 1>.ret;
283  let AsmSDWA9 = getAsmSDWA9<1, 0, 1>.ret;
284
285  let HasExt = 0;
286  let HasExtDPP = 0;
287  let HasExtSDWA = 0;
288  let HasExtSDWA9 = 0;
289
290  let HasDst = 0;
291  let EmitDst = 1; // force vdst emission
292}
293
294let SubtargetPredicate = HasMovrel, Uses = [M0, EXEC] in {
295// v_movreld_b32 is a special case because the destination output
296 // register is really a source. It isn't actually read (but may be
297 // written), and is only to provide the base register to start
298 // indexing from. Tablegen seems to not let you define an implicit
299 // virtual register output for the super register being written into,
300 // so this must have an implicit def of the register added to it.
301defm V_MOVRELD_B32 : VOP1Inst <"v_movreld_b32", VOP_MOVRELD>;
302defm V_MOVRELS_B32 : VOP1Inst <"v_movrels_b32", VOP_I32_VI32_NO_EXT>;
303defm V_MOVRELSD_B32 : VOP1Inst <"v_movrelsd_b32", VOP_NO_EXT<VOP_I32_I32>>;
304} // End Uses = [M0, EXEC]
305
306defm V_MOV_FED_B32 : VOP1Inst <"v_mov_fed_b32", VOP_I32_I32>;
307
308// These instruction only exist on SI and CI
309let SubtargetPredicate = isSICI in {
310
311let SchedRW = [WriteQuarterRate32] in {
312defm V_LOG_CLAMP_F32 : VOP1Inst <"v_log_clamp_f32", VOP_F32_F32, int_amdgcn_log_clamp>;
313defm V_RCP_CLAMP_F32 : VOP1Inst <"v_rcp_clamp_f32", VOP_F32_F32>;
314defm V_RCP_LEGACY_F32 : VOP1Inst <"v_rcp_legacy_f32", VOP_F32_F32, AMDGPUrcp_legacy>;
315defm V_RSQ_CLAMP_F32 : VOP1Inst <"v_rsq_clamp_f32", VOP_F32_F32, AMDGPUrsq_clamp>;
316defm V_RSQ_LEGACY_F32 : VOP1Inst <"v_rsq_legacy_f32", VOP_F32_F32, AMDGPUrsq_legacy>;
317} // End SchedRW = [WriteQuarterRate32]
318
319let SchedRW = [WriteDouble] in {
320defm V_RCP_CLAMP_F64 : VOP1Inst <"v_rcp_clamp_f64", VOP_F64_F64>;
321defm V_RSQ_CLAMP_F64 : VOP1Inst <"v_rsq_clamp_f64", VOP_F64_F64, AMDGPUrsq_clamp>;
322} // End SchedRW = [WriteDouble]
323
324} // End SubtargetPredicate = isSICI
325
326
327let SubtargetPredicate = isCIVI in {
328
329let SchedRW = [WriteDoubleAdd] in {
330defm V_TRUNC_F64 : VOP1Inst <"v_trunc_f64", VOP_F64_F64, ftrunc>;
331defm V_CEIL_F64 : VOP1Inst <"v_ceil_f64", VOP_F64_F64, fceil>;
332defm V_FLOOR_F64 : VOP1Inst <"v_floor_f64", VOP_F64_F64, ffloor>;
333defm V_RNDNE_F64 : VOP1Inst <"v_rndne_f64", VOP_F64_F64, frint>;
334} // End SchedRW = [WriteDoubleAdd]
335
336let SchedRW = [WriteQuarterRate32] in {
337defm V_LOG_LEGACY_F32 : VOP1Inst <"v_log_legacy_f32", VOP_F32_F32>;
338defm V_EXP_LEGACY_F32 : VOP1Inst <"v_exp_legacy_f32", VOP_F32_F32>;
339} // End SchedRW = [WriteQuarterRate32]
340
341} // End SubtargetPredicate = isCIVI
342
343
344let SubtargetPredicate = Has16BitInsts in {
345
346let FPDPRounding = 1 in {
347defm V_CVT_F16_U16 : VOP1Inst <"v_cvt_f16_u16", VOP1_F16_I16, uint_to_fp>;
348defm V_CVT_F16_I16 : VOP1Inst <"v_cvt_f16_i16", VOP1_F16_I16, sint_to_fp>;
349} // End FPDPRounding = 1
350defm V_CVT_U16_F16 : VOP1Inst <"v_cvt_u16_f16", VOP_I16_F16, fp_to_uint>;
351defm V_CVT_I16_F16 : VOP1Inst <"v_cvt_i16_f16", VOP_I16_F16, fp_to_sint>;
352let SchedRW = [WriteQuarterRate32] in {
353defm V_RCP_F16 : VOP1Inst <"v_rcp_f16", VOP_F16_F16, AMDGPUrcp>;
354defm V_SQRT_F16 : VOP1Inst <"v_sqrt_f16", VOP_F16_F16, fsqrt>;
355defm V_RSQ_F16 : VOP1Inst <"v_rsq_f16", VOP_F16_F16, AMDGPUrsq>;
356defm V_LOG_F16 : VOP1Inst <"v_log_f16", VOP_F16_F16, flog2>;
357defm V_EXP_F16 : VOP1Inst <"v_exp_f16", VOP_F16_F16, fexp2>;
358defm V_SIN_F16 : VOP1Inst <"v_sin_f16", VOP_F16_F16, AMDGPUsin>;
359defm V_COS_F16 : VOP1Inst <"v_cos_f16", VOP_F16_F16, AMDGPUcos>;
360} // End SchedRW = [WriteQuarterRate32]
361defm V_FREXP_MANT_F16 : VOP1Inst <"v_frexp_mant_f16", VOP_F16_F16, int_amdgcn_frexp_mant>;
362defm V_FREXP_EXP_I16_F16 : VOP1Inst <"v_frexp_exp_i16_f16", VOP_I16_F16, int_amdgcn_frexp_exp>;
363defm V_FLOOR_F16 : VOP1Inst <"v_floor_f16", VOP_F16_F16, ffloor>;
364defm V_CEIL_F16 : VOP1Inst <"v_ceil_f16", VOP_F16_F16, fceil>;
365defm V_TRUNC_F16 : VOP1Inst <"v_trunc_f16", VOP_F16_F16, ftrunc>;
366defm V_RNDNE_F16 : VOP1Inst <"v_rndne_f16", VOP_F16_F16, frint>;
367let FPDPRounding = 1 in {
368defm V_FRACT_F16 : VOP1Inst <"v_fract_f16", VOP_F16_F16, AMDGPUfract>;
369} // End FPDPRounding = 1
370
371}
372
373let OtherPredicates = [Has16BitInsts] in {
374
375def : GCNPat<
376    (f32 (f16_to_fp i16:$src)),
377    (V_CVT_F32_F16_e32 $src)
378>;
379
380def : GCNPat<
381    (i16 (AMDGPUfp_to_f16 f32:$src)),
382    (V_CVT_F16_F32_e32 $src)
383>;
384
385}
386
387def VOP_SWAP_I32 : VOPProfile<[i32, i32, i32, untyped]> {
388  let Outs32 = (outs VGPR_32:$vdst, VGPR_32:$vdst1);
389  let Ins32 = (ins VGPR_32:$src0, VGPR_32:$src1);
390  let Outs64 = Outs32;
391  let Asm32 = " $vdst, $src0";
392  let Asm64 = "";
393  let Ins64 = (ins);
394}
395
396let SubtargetPredicate = isGFX9 in {
397  let Constraints = "$vdst = $src1, $vdst1 = $src0",
398      DisableEncoding="$vdst1,$src1",
399      SchedRW = [Write64Bit, Write64Bit] in {
400// Never VOP3. Takes as long as 2 v_mov_b32s
401def V_SWAP_B32 : VOP1_Pseudo <"v_swap_b32", VOP_SWAP_I32, [], 1>;
402}
403
404defm V_SCREEN_PARTITION_4SE_B32 : VOP1Inst <"v_screen_partition_4se_b32", VOP_I32_I32>;
405
406defm V_SAT_PK_U8_I16    : VOP1Inst<"v_sat_pk_u8_i16", VOP_I32_I32>;
407defm V_CVT_NORM_I16_F16 : VOP1Inst<"v_cvt_norm_i16_f16", VOP_I16_F16>;
408defm V_CVT_NORM_U16_F16 : VOP1Inst<"v_cvt_norm_u16_f16", VOP_I16_F16>;
409
410} // End SubtargetPredicate = isGFX9
411
412//===----------------------------------------------------------------------===//
413// Target
414//===----------------------------------------------------------------------===//
415
416//===----------------------------------------------------------------------===//
417// SI
418//===----------------------------------------------------------------------===//
419
420multiclass VOP1_Real_si <bits<9> op> {
421  let AssemblerPredicates = [isSICI], DecoderNamespace = "SICI" in {
422    def _e32_si :
423      VOP1_Real<!cast<VOP1_Pseudo>(NAME#"_e32"), SIEncodingFamily.SI>,
424      VOP1e<op{7-0}, !cast<VOP1_Pseudo>(NAME#"_e32").Pfl>;
425    def _e64_si :
426      VOP3_Real<!cast<VOP3_Pseudo>(NAME#"_e64"), SIEncodingFamily.SI>,
427      VOP3e_si <{1, 1, op{6-0}}, !cast<VOP3_Pseudo>(NAME#"_e64").Pfl>;
428  }
429}
430
431defm V_NOP               : VOP1_Real_si <0x0>;
432defm V_MOV_B32           : VOP1_Real_si <0x1>;
433defm V_CVT_I32_F64       : VOP1_Real_si <0x3>;
434defm V_CVT_F64_I32       : VOP1_Real_si <0x4>;
435defm V_CVT_F32_I32       : VOP1_Real_si <0x5>;
436defm V_CVT_F32_U32       : VOP1_Real_si <0x6>;
437defm V_CVT_U32_F32       : VOP1_Real_si <0x7>;
438defm V_CVT_I32_F32       : VOP1_Real_si <0x8>;
439defm V_MOV_FED_B32       : VOP1_Real_si <0x9>;
440defm V_CVT_F16_F32       : VOP1_Real_si <0xa>;
441defm V_CVT_F32_F16       : VOP1_Real_si <0xb>;
442defm V_CVT_RPI_I32_F32   : VOP1_Real_si <0xc>;
443defm V_CVT_FLR_I32_F32   : VOP1_Real_si <0xd>;
444defm V_CVT_OFF_F32_I4    : VOP1_Real_si <0xe>;
445defm V_CVT_F32_F64       : VOP1_Real_si <0xf>;
446defm V_CVT_F64_F32       : VOP1_Real_si <0x10>;
447defm V_CVT_F32_UBYTE0    : VOP1_Real_si <0x11>;
448defm V_CVT_F32_UBYTE1    : VOP1_Real_si <0x12>;
449defm V_CVT_F32_UBYTE2    : VOP1_Real_si <0x13>;
450defm V_CVT_F32_UBYTE3    : VOP1_Real_si <0x14>;
451defm V_CVT_U32_F64       : VOP1_Real_si <0x15>;
452defm V_CVT_F64_U32       : VOP1_Real_si <0x16>;
453defm V_FRACT_F32         : VOP1_Real_si <0x20>;
454defm V_TRUNC_F32         : VOP1_Real_si <0x21>;
455defm V_CEIL_F32          : VOP1_Real_si <0x22>;
456defm V_RNDNE_F32         : VOP1_Real_si <0x23>;
457defm V_FLOOR_F32         : VOP1_Real_si <0x24>;
458defm V_EXP_F32           : VOP1_Real_si <0x25>;
459defm V_LOG_CLAMP_F32     : VOP1_Real_si <0x26>;
460defm V_LOG_F32           : VOP1_Real_si <0x27>;
461defm V_RCP_CLAMP_F32     : VOP1_Real_si <0x28>;
462defm V_RCP_LEGACY_F32    : VOP1_Real_si <0x29>;
463defm V_RCP_F32           : VOP1_Real_si <0x2a>;
464defm V_RCP_IFLAG_F32     : VOP1_Real_si <0x2b>;
465defm V_RSQ_CLAMP_F32     : VOP1_Real_si <0x2c>;
466defm V_RSQ_LEGACY_F32    : VOP1_Real_si <0x2d>;
467defm V_RSQ_F32           : VOP1_Real_si <0x2e>;
468defm V_RCP_F64           : VOP1_Real_si <0x2f>;
469defm V_RCP_CLAMP_F64     : VOP1_Real_si <0x30>;
470defm V_RSQ_F64           : VOP1_Real_si <0x31>;
471defm V_RSQ_CLAMP_F64     : VOP1_Real_si <0x32>;
472defm V_SQRT_F32          : VOP1_Real_si <0x33>;
473defm V_SQRT_F64          : VOP1_Real_si <0x34>;
474defm V_SIN_F32           : VOP1_Real_si <0x35>;
475defm V_COS_F32           : VOP1_Real_si <0x36>;
476defm V_NOT_B32           : VOP1_Real_si <0x37>;
477defm V_BFREV_B32         : VOP1_Real_si <0x38>;
478defm V_FFBH_U32          : VOP1_Real_si <0x39>;
479defm V_FFBL_B32          : VOP1_Real_si <0x3a>;
480defm V_FFBH_I32          : VOP1_Real_si <0x3b>;
481defm V_FREXP_EXP_I32_F64 : VOP1_Real_si <0x3c>;
482defm V_FREXP_MANT_F64    : VOP1_Real_si <0x3d>;
483defm V_FRACT_F64         : VOP1_Real_si <0x3e>;
484defm V_FREXP_EXP_I32_F32 : VOP1_Real_si <0x3f>;
485defm V_FREXP_MANT_F32    : VOP1_Real_si <0x40>;
486defm V_CLREXCP           : VOP1_Real_si <0x41>;
487defm V_MOVRELD_B32       : VOP1_Real_si <0x42>;
488defm V_MOVRELS_B32       : VOP1_Real_si <0x43>;
489defm V_MOVRELSD_B32      : VOP1_Real_si <0x44>;
490
491//===----------------------------------------------------------------------===//
492// CI
493//===----------------------------------------------------------------------===//
494
495multiclass VOP1_Real_ci <bits<9> op> {
496  let AssemblerPredicates = [isCIOnly], DecoderNamespace = "CI" in {
497    def _e32_ci :
498      VOP1_Real<!cast<VOP1_Pseudo>(NAME#"_e32"), SIEncodingFamily.SI>,
499      VOP1e<op{7-0}, !cast<VOP1_Pseudo>(NAME#"_e32").Pfl>;
500    def _e64_ci :
501      VOP3_Real<!cast<VOP3_Pseudo>(NAME#"_e64"), SIEncodingFamily.SI>,
502      VOP3e_si <{1, 1, op{6-0}}, !cast<VOP3_Pseudo>(NAME#"_e64").Pfl>;
503  }
504}
505
506defm V_TRUNC_F64         : VOP1_Real_ci <0x17>;
507defm V_CEIL_F64          : VOP1_Real_ci <0x18>;
508defm V_FLOOR_F64         : VOP1_Real_ci <0x1A>;
509defm V_RNDNE_F64         : VOP1_Real_ci <0x19>;
510defm V_LOG_LEGACY_F32    : VOP1_Real_ci <0x45>;
511defm V_EXP_LEGACY_F32    : VOP1_Real_ci <0x46>;
512
513//===----------------------------------------------------------------------===//
514// VI
515//===----------------------------------------------------------------------===//
516
517class VOP1_DPPe <bits<8> op, VOP1_DPP_Pseudo ps, VOPProfile P = ps.Pfl> :
518  VOP_DPPe <P> {
519  bits<8> vdst;
520  let Inst{8-0}   = 0xfa; // dpp
521  let Inst{16-9}  = op;
522  let Inst{24-17} = !if(P.EmitDst, vdst{7-0}, 0);
523  let Inst{31-25} = 0x3f; //encoding
524}
525
526multiclass VOP1Only_Real_vi <bits<10> op> {
527  let AssemblerPredicates = [isVI], DecoderNamespace = "VI" in {
528    def _vi :
529      VOP1_Real<!cast<VOP1_Pseudo>(NAME), SIEncodingFamily.VI>,
530      VOP1e<op{7-0}, !cast<VOP1_Pseudo>(NAME).Pfl>;
531  }
532}
533
534multiclass VOP1_Real_e32e64_vi <bits<10> op> {
535  let AssemblerPredicates = [isVI], DecoderNamespace = "VI" in {
536    def _e32_vi :
537      VOP1_Real<!cast<VOP1_Pseudo>(NAME#"_e32"), SIEncodingFamily.VI>,
538      VOP1e<op{7-0}, !cast<VOP1_Pseudo>(NAME#"_e32").Pfl>;
539    def _e64_vi :
540      VOP3_Real<!cast<VOP3_Pseudo>(NAME#"_e64"), SIEncodingFamily.VI>,
541      VOP3e_vi <!add(0x140, op), !cast<VOP3_Pseudo>(NAME#"_e64").Pfl>;
542  }
543}
544
545multiclass VOP1_Real_vi <bits<10> op> {
546  defm NAME : VOP1_Real_e32e64_vi <op>;
547
548  def _sdwa_vi :
549    VOP_SDWA_Real <!cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa")>,
550    VOP1_SDWAe <op{7-0}, !cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa").Pfl>;
551
552  def _sdwa_gfx9 :
553    VOP_SDWA9_Real <!cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa")>,
554    VOP1_SDWA9Ae <op{7-0}, !cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa").Pfl>;
555
556  foreach _ = BoolToList<!cast<VOP1_Pseudo>(NAME#"_e32").Pfl.HasExtDPP>.ret in
557    def _dpp_vi :
558      VOP_DPP_Real<!cast<VOP1_DPP_Pseudo>(NAME#"_dpp"), SIEncodingFamily.VI>,
559      VOP1_DPPe<op{7-0}, !cast<VOP1_DPP_Pseudo>(NAME#"_dpp")>;
560}
561
562defm V_NOP               : VOP1_Real_vi <0x0>;
563defm V_MOV_B32           : VOP1_Real_vi <0x1>;
564defm V_CVT_I32_F64       : VOP1_Real_vi <0x3>;
565defm V_CVT_F64_I32       : VOP1_Real_vi <0x4>;
566defm V_CVT_F32_I32       : VOP1_Real_vi <0x5>;
567defm V_CVT_F32_U32       : VOP1_Real_vi <0x6>;
568defm V_CVT_U32_F32       : VOP1_Real_vi <0x7>;
569defm V_CVT_I32_F32       : VOP1_Real_vi <0x8>;
570defm V_MOV_FED_B32       : VOP1_Real_vi <0x9>;
571defm V_CVT_F16_F32       : VOP1_Real_vi <0xa>;
572defm V_CVT_F32_F16       : VOP1_Real_vi <0xb>;
573defm V_CVT_RPI_I32_F32   : VOP1_Real_vi <0xc>;
574defm V_CVT_FLR_I32_F32   : VOP1_Real_vi <0xd>;
575defm V_CVT_OFF_F32_I4    : VOP1_Real_vi <0xe>;
576defm V_CVT_F32_F64       : VOP1_Real_vi <0xf>;
577defm V_CVT_F64_F32       : VOP1_Real_vi <0x10>;
578defm V_CVT_F32_UBYTE0    : VOP1_Real_vi <0x11>;
579defm V_CVT_F32_UBYTE1    : VOP1_Real_vi <0x12>;
580defm V_CVT_F32_UBYTE2    : VOP1_Real_vi <0x13>;
581defm V_CVT_F32_UBYTE3    : VOP1_Real_vi <0x14>;
582defm V_CVT_U32_F64       : VOP1_Real_vi <0x15>;
583defm V_CVT_F64_U32       : VOP1_Real_vi <0x16>;
584defm V_FRACT_F32         : VOP1_Real_vi <0x1b>;
585defm V_TRUNC_F32         : VOP1_Real_vi <0x1c>;
586defm V_CEIL_F32          : VOP1_Real_vi <0x1d>;
587defm V_RNDNE_F32         : VOP1_Real_vi <0x1e>;
588defm V_FLOOR_F32         : VOP1_Real_vi <0x1f>;
589defm V_EXP_F32           : VOP1_Real_vi <0x20>;
590defm V_LOG_F32           : VOP1_Real_vi <0x21>;
591defm V_RCP_F32           : VOP1_Real_vi <0x22>;
592defm V_RCP_IFLAG_F32     : VOP1_Real_vi <0x23>;
593defm V_RSQ_F32           : VOP1_Real_vi <0x24>;
594defm V_RCP_F64           : VOP1_Real_vi <0x25>;
595defm V_RSQ_F64           : VOP1_Real_vi <0x26>;
596defm V_SQRT_F32          : VOP1_Real_vi <0x27>;
597defm V_SQRT_F64          : VOP1_Real_vi <0x28>;
598defm V_SIN_F32           : VOP1_Real_vi <0x29>;
599defm V_COS_F32           : VOP1_Real_vi <0x2a>;
600defm V_NOT_B32           : VOP1_Real_vi <0x2b>;
601defm V_BFREV_B32         : VOP1_Real_vi <0x2c>;
602defm V_FFBH_U32          : VOP1_Real_vi <0x2d>;
603defm V_FFBL_B32          : VOP1_Real_vi <0x2e>;
604defm V_FFBH_I32          : VOP1_Real_vi <0x2f>;
605defm V_FREXP_EXP_I32_F64 : VOP1_Real_vi <0x30>;
606defm V_FREXP_MANT_F64    : VOP1_Real_vi <0x31>;
607defm V_FRACT_F64         : VOP1_Real_vi <0x32>;
608defm V_FREXP_EXP_I32_F32 : VOP1_Real_vi <0x33>;
609defm V_FREXP_MANT_F32    : VOP1_Real_vi <0x34>;
610defm V_CLREXCP           : VOP1_Real_vi <0x35>;
611defm V_MOVRELD_B32       : VOP1_Real_e32e64_vi <0x36>;
612defm V_MOVRELS_B32       : VOP1_Real_e32e64_vi <0x37>;
613defm V_MOVRELSD_B32      : VOP1_Real_e32e64_vi <0x38>;
614defm V_TRUNC_F64         : VOP1_Real_vi <0x17>;
615defm V_CEIL_F64          : VOP1_Real_vi <0x18>;
616defm V_FLOOR_F64         : VOP1_Real_vi <0x1A>;
617defm V_RNDNE_F64         : VOP1_Real_vi <0x19>;
618defm V_LOG_LEGACY_F32    : VOP1_Real_vi <0x4c>;
619defm V_EXP_LEGACY_F32    : VOP1_Real_vi <0x4b>;
620defm V_CVT_F16_U16       : VOP1_Real_vi <0x39>;
621defm V_CVT_F16_I16       : VOP1_Real_vi <0x3a>;
622defm V_CVT_U16_F16       : VOP1_Real_vi <0x3b>;
623defm V_CVT_I16_F16       : VOP1_Real_vi <0x3c>;
624defm V_RCP_F16           : VOP1_Real_vi <0x3d>;
625defm V_SQRT_F16          : VOP1_Real_vi <0x3e>;
626defm V_RSQ_F16           : VOP1_Real_vi <0x3f>;
627defm V_LOG_F16           : VOP1_Real_vi <0x40>;
628defm V_EXP_F16           : VOP1_Real_vi <0x41>;
629defm V_FREXP_MANT_F16    : VOP1_Real_vi <0x42>;
630defm V_FREXP_EXP_I16_F16 : VOP1_Real_vi <0x43>;
631defm V_FLOOR_F16         : VOP1_Real_vi <0x44>;
632defm V_CEIL_F16          : VOP1_Real_vi <0x45>;
633defm V_TRUNC_F16         : VOP1_Real_vi <0x46>;
634defm V_RNDNE_F16         : VOP1_Real_vi <0x47>;
635defm V_FRACT_F16         : VOP1_Real_vi <0x48>;
636defm V_SIN_F16           : VOP1_Real_vi <0x49>;
637defm V_COS_F16           : VOP1_Real_vi <0x4a>;
638defm V_SWAP_B32          : VOP1Only_Real_vi <0x51>;
639
640defm V_SAT_PK_U8_I16     : VOP1_Real_vi<0x4f>;
641defm V_CVT_NORM_I16_F16  : VOP1_Real_vi<0x4d>;
642defm V_CVT_NORM_U16_F16  : VOP1_Real_vi<0x4e>;
643
644// Copy of v_mov_b32 with $vdst as a use operand for use with VGPR
645// indexing mode. vdst can't be treated as a def for codegen purposes,
646// and an implicit use and def of the super register should be added.
647def V_MOV_B32_indirect : VPseudoInstSI<(outs),
648  (ins getVALUDstForVT<i32>.ret:$vdst, getVOPSrc0ForVT<i32>.ret:$src0)>,
649  PseudoInstExpansion<(V_MOV_B32_e32_vi getVALUDstForVT<i32>.ret:$vdst,
650                                        getVOPSrc0ForVT<i32>.ret:$src0)> {
651  let VOP1 = 1;
652  let SubtargetPredicate = isVI;
653}
654
655// This is a pseudo variant of the v_movreld_b32 instruction in which the
656// vector operand appears only twice, once as def and once as use. Using this
657// pseudo avoids problems with the Two Address instructions pass.
658class V_MOVRELD_B32_pseudo<RegisterClass rc> : VPseudoInstSI <
659  (outs rc:$vdst),
660  (ins rc:$vsrc, VSrc_b32:$val, i32imm:$offset)> {
661  let VOP1 = 1;
662
663  let Constraints = "$vsrc = $vdst";
664  let Uses = [M0, EXEC];
665
666  let SubtargetPredicate = HasMovrel;
667}
668
669def V_MOVRELD_B32_V1 : V_MOVRELD_B32_pseudo<VGPR_32>;
670def V_MOVRELD_B32_V2 : V_MOVRELD_B32_pseudo<VReg_64>;
671def V_MOVRELD_B32_V4 : V_MOVRELD_B32_pseudo<VReg_128>;
672def V_MOVRELD_B32_V8 : V_MOVRELD_B32_pseudo<VReg_256>;
673def V_MOVRELD_B32_V16 : V_MOVRELD_B32_pseudo<VReg_512>;
674
675let OtherPredicates = [isVI] in {
676
677def : GCNPat <
678  (i32 (int_amdgcn_mov_dpp i32:$src, imm:$dpp_ctrl, imm:$row_mask, imm:$bank_mask,
679                      imm:$bound_ctrl)),
680  (V_MOV_B32_dpp $src, $src, (as_i32imm $dpp_ctrl),
681                       (as_i32imm $row_mask), (as_i32imm $bank_mask),
682                       (as_i1imm $bound_ctrl))
683>;
684
685def : GCNPat <
686  (i32 (int_amdgcn_update_dpp i32:$old, i32:$src, imm:$dpp_ctrl, imm:$row_mask,
687                      imm:$bank_mask, imm:$bound_ctrl)),
688  (V_MOV_B32_dpp $old, $src, (as_i32imm $dpp_ctrl),
689                       (as_i32imm $row_mask), (as_i32imm $bank_mask),
690                       (as_i1imm $bound_ctrl))
691>;
692
693def : GCNPat<
694  (i32 (anyext i16:$src)),
695  (COPY $src)
696>;
697
698def : GCNPat<
699   (i64 (anyext i16:$src)),
700   (REG_SEQUENCE VReg_64,
701     (i32 (COPY $src)), sub0,
702     (V_MOV_B32_e32 (i32 0)), sub1)
703>;
704
705def : GCNPat<
706  (i16 (trunc i32:$src)),
707  (COPY $src)
708>;
709
710def : GCNPat <
711  (i16 (trunc i64:$src)),
712  (EXTRACT_SUBREG $src, sub0)
713>;
714
715} // End OtherPredicates = [isVI]
716
717//===----------------------------------------------------------------------===//
718// GFX9
719//===----------------------------------------------------------------------===//
720
721multiclass VOP1_Real_gfx9 <bits<10> op> {
722  let AssemblerPredicates = [isGFX9], DecoderNamespace = "GFX9" in {
723    defm NAME : VOP1_Real_e32e64_vi <op>;
724  }
725
726  def _sdwa_gfx9 :
727    VOP_SDWA9_Real <!cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa")>,
728    VOP1_SDWA9Ae <op{7-0}, !cast<VOP1_SDWA_Pseudo>(NAME#"_sdwa").Pfl>;
729
730  foreach _ = BoolToList<!cast<VOP1_Pseudo>(NAME#"_e32").Pfl.HasExtDPP>.ret in
731    def _dpp_gfx9 :
732      VOP_DPP_Real<!cast<VOP1_DPP_Pseudo>(NAME#"_dpp"), SIEncodingFamily.GFX9>,
733      VOP1_DPPe<op{7-0}, !cast<VOP1_DPP_Pseudo>(NAME#"_dpp")>;
734
735}
736
737defm V_SCREEN_PARTITION_4SE_B32 : VOP1_Real_gfx9 <0x37>;
738