blob: 92ed0706dc011d707f6ce4d1f5b12f3c5dd61b76 [file] [log] [blame]
Valery Pykhtine330cfa2016-09-20 10:41:16 +00001//===-- VOP3Instructions.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// VOP3 Classes
12//===----------------------------------------------------------------------===//
13
14class getVOP3ModPat<VOPProfile P, SDPatternOperator node> {
Sam Kolton4685b70a2017-07-18 14:23:26 +000015 dag src0 = !if(P.HasOMod,
16 (VOP3Mods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp, i32:$omod),
17 (VOP3Mods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp));
18
Valery Pykhtine330cfa2016-09-20 10:41:16 +000019 list<dag> ret3 = [(set P.DstVT:$vdst,
Sam Kolton4685b70a2017-07-18 14:23:26 +000020 (node (P.Src0VT src0),
Valery Pykhtine330cfa2016-09-20 10:41:16 +000021 (P.Src1VT (VOP3Mods P.Src1VT:$src1, i32:$src1_modifiers)),
22 (P.Src2VT (VOP3Mods P.Src2VT:$src2, i32:$src2_modifiers))))];
23
24 list<dag> ret2 = [(set P.DstVT:$vdst,
Sam Kolton4685b70a2017-07-18 14:23:26 +000025 (node (P.Src0VT src0),
Valery Pykhtine330cfa2016-09-20 10:41:16 +000026 (P.Src1VT (VOP3Mods P.Src1VT:$src1, i32:$src1_modifiers))))];
27
28 list<dag> ret1 = [(set P.DstVT:$vdst,
Sam Kolton4685b70a2017-07-18 14:23:26 +000029 (node (P.Src0VT src0)))];
Valery Pykhtine330cfa2016-09-20 10:41:16 +000030
31 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
32 !if(!eq(P.NumSrcArgs, 2), ret2,
33 ret1));
34}
35
Matt Arsenault9be7b0d2017-02-27 18:49:11 +000036class getVOP3PModPat<VOPProfile P, SDPatternOperator node> {
37 list<dag> ret3 = [(set P.DstVT:$vdst,
38 (node (P.Src0VT !if(P.HasClamp, (VOP3PMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp),
39 (VOP3PMods P.Src0VT:$src0, i32:$src0_modifiers))),
40 (P.Src1VT (VOP3PMods P.Src1VT:$src1, i32:$src1_modifiers)),
41 (P.Src2VT (VOP3PMods P.Src2VT:$src2, i32:$src2_modifiers))))];
42
43 list<dag> ret2 = [(set P.DstVT:$vdst,
44 (node !if(P.HasClamp, (P.Src0VT (VOP3PMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp)),
45 (P.Src0VT (VOP3PMods P.Src0VT:$src0, i32:$src0_modifiers))),
46 (P.Src1VT (VOP3PMods P.Src1VT:$src1, i32:$src1_modifiers))))];
47
48 list<dag> ret1 = [(set P.DstVT:$vdst,
49 (node (P.Src0VT (VOP3PMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp))))];
50
51 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
52 !if(!eq(P.NumSrcArgs, 2), ret2,
53 ret1));
54}
55
Valery Pykhtine330cfa2016-09-20 10:41:16 +000056class getVOP3Pat<VOPProfile P, SDPatternOperator node> {
57 list<dag> ret3 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1, P.Src2VT:$src2))];
58 list<dag> ret2 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1))];
59 list<dag> ret1 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0))];
60 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
61 !if(!eq(P.NumSrcArgs, 2), ret2,
62 ret1));
63}
64
65class VOP3Inst<string OpName, VOPProfile P, SDPatternOperator node = null_frag, bit VOP3Only = 0> :
Valery Pykhtin355103f2016-09-23 09:08:07 +000066 VOP3_Pseudo<OpName, P,
Valery Pykhtine330cfa2016-09-20 10:41:16 +000067 !if(P.HasModifiers, getVOP3ModPat<P, node>.ret, getVOP3Pat<P, node>.ret),
68 VOP3Only>;
69
70// Special case for v_div_fmas_{f32|f64}, since it seems to be the
71// only VOP instruction that implicitly reads VCC.
72let Asm64 = " $vdst, $src0_modifiers, $src1_modifiers, $src2_modifiers$clamp$omod" in {
73def VOP_F32_F32_F32_F32_VCC : VOPProfile<[f32, f32, f32, f32]> {
74 let Outs64 = (outs DstRC.RegClass:$vdst);
75}
76def VOP_F64_F64_F64_F64_VCC : VOPProfile<[f64, f64, f64, f64]> {
77 let Outs64 = (outs DstRC.RegClass:$vdst);
78}
79}
80
81class getVOP3VCC<VOPProfile P, SDPatternOperator node> {
82 list<dag> ret =
83 [(set P.DstVT:$vdst,
84 (node (P.Src0VT (VOP3Mods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp, i32:$omod)),
85 (P.Src1VT (VOP3Mods P.Src1VT:$src1, i32:$src1_modifiers)),
86 (P.Src2VT (VOP3Mods P.Src2VT:$src2, i32:$src2_modifiers)),
87 (i1 VCC)))];
88}
89
90class VOP3_Profile<VOPProfile P> : VOPProfile<P.ArgVT> {
91 // FIXME: Hack to stop printing _e64
92 let Outs64 = (outs DstRC.RegClass:$vdst);
93 let Asm64 = " " # P.Asm64;
94}
95
96class VOP3b_Profile<ValueType vt> : VOPProfile<[vt, vt, vt, vt]> {
Matt Arsenault3b99f122017-01-19 06:04:12 +000097 // v_div_scale_{f32|f64} do not support input modifiers.
98 let HasModifiers = 0;
Sam Kolton4685b70a2017-07-18 14:23:26 +000099 let HasOMod = 0;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000100 let Outs64 = (outs DstRC:$vdst, SReg_64:$sdst);
Matt Arsenault3b99f122017-01-19 06:04:12 +0000101 let Asm64 = " $vdst, $sdst, $src0, $src1, $src2";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000102}
103
104def VOP3b_F32_I1_F32_F32_F32 : VOP3b_Profile<f32> {
105 // FIXME: Hack to stop printing _e64
106 let DstRC = RegisterOperand<VGPR_32>;
107}
108
109def VOP3b_F64_I1_F64_F64_F64 : VOP3b_Profile<f64> {
110 // FIXME: Hack to stop printing _e64
111 let DstRC = RegisterOperand<VReg_64>;
112}
113
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000114def VOP3b_I64_I1_I32_I32_I64 : VOPProfile<[i64, i32, i32, i64]> {
115 // FIXME: Hack to stop printing _e64
116 let DstRC = RegisterOperand<VReg_64>;
117
118 let Outs64 = (outs DstRC:$vdst, SReg_64:$sdst);
119 let Asm64 = " $vdst, $sdst, $src0, $src1, $src2";
120}
121
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000122//===----------------------------------------------------------------------===//
123// VOP3 Instructions
124//===----------------------------------------------------------------------===//
125
126let isCommutable = 1 in {
127
128def V_MAD_LEGACY_F32 : VOP3Inst <"v_mad_legacy_f32", VOP3_Profile<VOP_F32_F32_F32_F32>>;
129def V_MAD_F32 : VOP3Inst <"v_mad_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, fmad>;
130def V_MAD_I32_I24 : VOP3Inst <"v_mad_i32_i24", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUmad_i24>;
131def V_MAD_U32_U24 : VOP3Inst <"v_mad_u32_u24", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUmad_u24>;
132def V_FMA_F32 : VOP3Inst <"v_fma_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, fma>;
133def V_FMA_F64 : VOP3Inst <"v_fma_f64", VOP3_Profile<VOP_F64_F64_F64_F64>, fma>;
134def V_LERP_U8 : VOP3Inst <"v_lerp_u8", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_lerp>;
135
136let SchedRW = [WriteDoubleAdd] in {
137def V_ADD_F64 : VOP3Inst <"v_add_f64", VOP3_Profile<VOP_F64_F64_F64>, fadd, 1>;
138def V_MUL_F64 : VOP3Inst <"v_mul_f64", VOP3_Profile<VOP_F64_F64_F64>, fmul, 1>;
139def V_MIN_F64 : VOP3Inst <"v_min_f64", VOP3_Profile<VOP_F64_F64_F64>, fminnum, 1>;
140def V_MAX_F64 : VOP3Inst <"v_max_f64", VOP3_Profile<VOP_F64_F64_F64>, fmaxnum, 1>;
141} // End SchedRW = [WriteDoubleAdd]
142
143let SchedRW = [WriteQuarterRate32] in {
144def V_MUL_LO_U32 : VOP3Inst <"v_mul_lo_u32", VOP3_Profile<VOP_I32_I32_I32>>;
145def V_MUL_HI_U32 : VOP3Inst <"v_mul_hi_u32", VOP3_Profile<VOP_I32_I32_I32>, mulhu>;
146def V_MUL_LO_I32 : VOP3Inst <"v_mul_lo_i32", VOP3_Profile<VOP_I32_I32_I32>>;
147def V_MUL_HI_I32 : VOP3Inst <"v_mul_hi_i32", VOP3_Profile<VOP_I32_I32_I32>, mulhs>;
148} // End SchedRW = [WriteQuarterRate32]
149
150let Uses = [VCC, EXEC] in {
151// v_div_fmas_f32:
152// result = src0 * src1 + src2
153// if (vcc)
154// result *= 2^32
155//
Valery Pykhtin355103f2016-09-23 09:08:07 +0000156def V_DIV_FMAS_F32 : VOP3_Pseudo <"v_div_fmas_f32", VOP_F32_F32_F32_F32_VCC,
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000157 getVOP3VCC<VOP_F32_F32_F32_F32_VCC, AMDGPUdiv_fmas>.ret> {
158 let SchedRW = [WriteFloatFMA];
159}
160// v_div_fmas_f64:
161// result = src0 * src1 + src2
162// if (vcc)
163// result *= 2^64
164//
Valery Pykhtin355103f2016-09-23 09:08:07 +0000165def V_DIV_FMAS_F64 : VOP3_Pseudo <"v_div_fmas_f64", VOP_F64_F64_F64_F64_VCC,
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000166 getVOP3VCC<VOP_F64_F64_F64_F64_VCC, AMDGPUdiv_fmas>.ret> {
167 let SchedRW = [WriteDouble];
168}
169} // End Uses = [VCC, EXEC]
170
171} // End isCommutable = 1
172
173def V_CUBEID_F32 : VOP3Inst <"v_cubeid_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubeid>;
174def V_CUBESC_F32 : VOP3Inst <"v_cubesc_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubesc>;
175def V_CUBETC_F32 : VOP3Inst <"v_cubetc_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubetc>;
176def V_CUBEMA_F32 : VOP3Inst <"v_cubema_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubema>;
177def V_BFE_U32 : VOP3Inst <"v_bfe_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfe_u32>;
178def V_BFE_I32 : VOP3Inst <"v_bfe_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfe_i32>;
179def V_BFI_B32 : VOP3Inst <"v_bfi_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfi>;
Stanislav Mekhanoshin1a61ab812017-06-09 19:03:00 +0000180def V_ALIGNBIT_B32 : VOP3Inst <"v_alignbit_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_alignbit>;
181def V_ALIGNBYTE_B32 : VOP3Inst <"v_alignbyte_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_alignbyte>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000182def V_MIN3_F32 : VOP3Inst <"v_min3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmin3>;
183def V_MIN3_I32 : VOP3Inst <"v_min3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmin3>;
184def V_MIN3_U32 : VOP3Inst <"v_min3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumin3>;
185def V_MAX3_F32 : VOP3Inst <"v_max3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmax3>;
186def V_MAX3_I32 : VOP3Inst <"v_max3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmax3>;
187def V_MAX3_U32 : VOP3Inst <"v_max3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumax3>;
188def V_MED3_F32 : VOP3Inst <"v_med3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmed3>;
189def V_MED3_I32 : VOP3Inst <"v_med3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmed3>;
190def V_MED3_U32 : VOP3Inst <"v_med3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumed3>;
191def V_SAD_U8 : VOP3Inst <"v_sad_u8", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_sad_u8>;
192def V_SAD_HI_U8 : VOP3Inst <"v_sad_hi_u8", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_sad_hi_u8>;
193def V_SAD_U16 : VOP3Inst <"v_sad_u16", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_sad_u16>;
194def V_SAD_U32 : VOP3Inst <"v_sad_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
195def V_CVT_PK_U8_F32 : VOP3Inst<"v_cvt_pk_u8_f32", VOP3_Profile<VOP_I32_F32_I32_I32>, int_amdgcn_cvt_pk_u8_f32>;
196def V_DIV_FIXUP_F32 : VOP3Inst <"v_div_fixup_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUdiv_fixup>;
197
198let SchedRW = [WriteDoubleAdd] in {
199def V_DIV_FIXUP_F64 : VOP3Inst <"v_div_fixup_f64", VOP3_Profile<VOP_F64_F64_F64_F64>, AMDGPUdiv_fixup>;
200def V_LDEXP_F64 : VOP3Inst <"v_ldexp_f64", VOP3_Profile<VOP_F64_F64_I32>, AMDGPUldexp, 1>;
201} // End SchedRW = [WriteDoubleAdd]
202
Valery Pykhtin355103f2016-09-23 09:08:07 +0000203def V_DIV_SCALE_F32 : VOP3_Pseudo <"v_div_scale_f32", VOP3b_F32_I1_F32_F32_F32, [], 1> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000204 let SchedRW = [WriteFloatFMA, WriteSALU];
Matt Arsenault81da1142016-11-15 00:05:42 +0000205 let hasExtraSrcRegAllocReq = 1;
Matt Arsenault3b99f122017-01-19 06:04:12 +0000206 let AsmMatchConverter = "";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000207}
208
209// Double precision division pre-scale.
Valery Pykhtin355103f2016-09-23 09:08:07 +0000210def V_DIV_SCALE_F64 : VOP3_Pseudo <"v_div_scale_f64", VOP3b_F64_I1_F64_F64_F64, [], 1> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000211 let SchedRW = [WriteDouble, WriteSALU];
Matt Arsenault81da1142016-11-15 00:05:42 +0000212 let hasExtraSrcRegAllocReq = 1;
Matt Arsenault3b99f122017-01-19 06:04:12 +0000213 let AsmMatchConverter = "";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000214}
215
216def V_MSAD_U8 : VOP3Inst <"v_msad_u8", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_msad_u8>;
Mark Searlese5c78322017-06-08 18:21:19 +0000217
218let Constraints = "@earlyclobber $vdst" in {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000219def V_MQSAD_PK_U16_U8 : VOP3Inst <"v_mqsad_pk_u16_u8", VOP3_Profile<VOP_I64_I64_I32_I64>, int_amdgcn_mqsad_pk_u16_u8>;
Mark Searlese5c78322017-06-08 18:21:19 +0000220} // End Constraints = "@earlyclobber $vdst"
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000221
222def V_TRIG_PREOP_F64 : VOP3Inst <"v_trig_preop_f64", VOP3_Profile<VOP_F64_F64_I32>, AMDGPUtrig_preop> {
223 let SchedRW = [WriteDouble];
224}
225
226// These instructions only exist on SI and CI
227let SubtargetPredicate = isSICI in {
228def V_LSHL_B64 : VOP3Inst <"v_lshl_b64", VOP3_Profile<VOP_I64_I64_I32>>;
229def V_LSHR_B64 : VOP3Inst <"v_lshr_b64", VOP3_Profile<VOP_I64_I64_I32>>;
230def V_ASHR_I64 : VOP3Inst <"v_ashr_i64", VOP3_Profile<VOP_I64_I64_I32>>;
231def V_MULLIT_F32 : VOP3Inst <"v_mullit_f32", VOP3_Profile<VOP_F32_F32_F32_F32>>;
232} // End SubtargetPredicate = isSICI
233
234let SubtargetPredicate = isVI in {
235def V_LSHLREV_B64 : VOP3Inst <"v_lshlrev_b64", VOP3_Profile<VOP_I64_I32_I64>>;
236def V_LSHRREV_B64 : VOP3Inst <"v_lshrrev_b64", VOP3_Profile<VOP_I64_I32_I64>>;
237def V_ASHRREV_I64 : VOP3Inst <"v_ashrrev_i64", VOP3_Profile<VOP_I64_I32_I64>>;
238} // End SubtargetPredicate = isVI
239
240
241let SubtargetPredicate = isCIVI in {
242
Mark Searlese5c78322017-06-08 18:21:19 +0000243let Constraints = "@earlyclobber $vdst" in {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000244def V_QSAD_PK_U16_U8 : VOP3Inst <"v_qsad_pk_u16_u8", VOP3_Profile<VOP_I64_I64_I32_I64>, int_amdgcn_qsad_pk_u16_u8>;
245def V_MQSAD_U32_U8 : VOP3Inst <"v_mqsad_u32_u8", VOP3_Profile<VOP_V4I32_I64_I32_V4I32>, int_amdgcn_mqsad_u32_u8>;
Mark Searlese5c78322017-06-08 18:21:19 +0000246} // End Constraints = "@earlyclobber $vdst"
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000247
248let isCommutable = 1 in {
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000249def V_MAD_U64_U32 : VOP3Inst <"v_mad_u64_u32", VOP3b_I64_I1_I32_I32_I64>;
250def V_MAD_I64_I32 : VOP3Inst <"v_mad_i64_i32", VOP3b_I64_I1_I32_I32_I64>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000251} // End isCommutable = 1
252
253} // End SubtargetPredicate = isCIVI
254
255
Sam Koltonf7659d712017-05-23 10:08:55 +0000256let SubtargetPredicate = Has16BitInsts in {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000257
Stanislav Mekhanoshinca5d2ef2017-06-03 00:16:44 +0000258def V_DIV_FIXUP_F16 : VOP3Inst <"v_div_fixup_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, AMDGPUdiv_fixup>;
259
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000260let isCommutable = 1 in {
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000261
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000262def V_FMA_F16 : VOP3Inst <"v_fma_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, fma>;
263def V_INTERP_P1LL_F16 : VOP3Inst <"v_interp_p1ll_f16", VOP3_Profile<VOP_F32_F32_F16>>;
264def V_INTERP_P1LV_F16 : VOP3Inst <"v_interp_p1lv_f16", VOP3_Profile<VOP_F32_F32_F16_F16>>;
265def V_INTERP_P2_F16 : VOP3Inst <"v_interp_p2_f16", VOP3_Profile<VOP_F16_F32_F16_F32>>;
266def V_MAD_F16 : VOP3Inst <"v_mad_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, fmad>;
267
268def V_MAD_U16 : VOP3Inst <"v_mad_u16", VOP3_Profile<VOP_I16_I16_I16_I16>>;
269def V_MAD_I16 : VOP3Inst <"v_mad_i16", VOP3_Profile<VOP_I16_I16_I16_I16>>;
270
271} // End isCommutable = 1
Sam Koltonf7659d712017-05-23 10:08:55 +0000272} // End SubtargetPredicate = Has16BitInsts
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000273
Sam Koltonf7659d712017-05-23 10:08:55 +0000274let SubtargetPredicate = isVI in {
Dmitry Preobrazhensky14104e02017-04-12 17:10:07 +0000275def V_PERM_B32 : VOP3Inst <"v_perm_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000276} // End SubtargetPredicate = isVI
277
Sam Koltonf7659d712017-05-23 10:08:55 +0000278let Predicates = [Has16BitInsts] in {
Tom Stellard115a6152016-11-10 16:02:37 +0000279
Matt Arsenault10268f92017-02-27 22:40:39 +0000280multiclass Ternary_i16_Pats <SDPatternOperator op1, SDPatternOperator op2,
281 Instruction inst, SDPatternOperator op3> {
Tom Stellard115a6152016-11-10 16:02:37 +0000282def : Pat<
283 (op2 (op1 i16:$src0, i16:$src1), i16:$src2),
284 (inst i16:$src0, i16:$src1, i16:$src2)
285>;
286
287def : Pat<
288 (i32 (op3 (op2 (op1 i16:$src0, i16:$src1), i16:$src2))),
289 (inst i16:$src0, i16:$src1, i16:$src2)
290>;
291
292def : Pat<
293 (i64 (op3 (op2 (op1 i16:$src0, i16:$src1), i16:$src2))),
294 (REG_SEQUENCE VReg_64,
295 (inst i16:$src0, i16:$src1, i16:$src2), sub0,
296 (V_MOV_B32_e32 (i32 0)), sub1)
297>;
298}
299
Matt Arsenault10268f92017-02-27 22:40:39 +0000300defm: Ternary_i16_Pats<mul, add, V_MAD_U16, zext>;
301defm: Ternary_i16_Pats<mul, add, V_MAD_I16, sext>;
Tom Stellard115a6152016-11-10 16:02:37 +0000302
Sam Koltonf7659d712017-05-23 10:08:55 +0000303} // End Predicates = [Has16BitInsts]
Tom Stellard115a6152016-11-10 16:02:37 +0000304
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000305let SubtargetPredicate = isGFX9 in {
306def V_PACK_B32_F16 : VOP3Inst <"v_pack_b32_f16", VOP3_Profile<VOP_B32_F16_F16>>;
Matt Arsenaultc9f25172017-02-27 21:04:41 +0000307def V_LSHL_ADD_U32 : VOP3Inst <"v_lshl_add_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
308def V_ADD_LSHL_U32 : VOP3Inst <"v_add_lshl_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
309def V_ADD3_U32 : VOP3Inst <"v_add3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
310def V_LSHL_OR_B32 : VOP3Inst <"v_lshl_or_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
311def V_AND_OR_B32 : VOP3Inst <"v_and_or_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
312def V_OR3_B32 : VOP3Inst <"v_or3_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Matt Arsenault10268f92017-02-27 22:40:39 +0000313
Matt Arsenault03612632017-02-28 20:27:30 +0000314def V_XAD_U32 : VOP3Inst <"v_xad_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000315
Matt Arsenault10268f92017-02-27 22:40:39 +0000316def V_MED3_F16 : VOP3Inst <"v_med3_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, AMDGPUfmed3>;
317def V_MED3_I16 : VOP3Inst <"v_med3_i16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUsmed3>;
318def V_MED3_U16 : VOP3Inst <"v_med3_u16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUumed3>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000319
320def V_MIN3_F16 : VOP3Inst <"v_min3_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, AMDGPUfmin3>;
321def V_MIN3_I16 : VOP3Inst <"v_min3_i16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUsmin3>;
322def V_MIN3_U16 : VOP3Inst <"v_min3_u16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUumin3>;
323
324def V_MAX3_F16 : VOP3Inst <"v_max3_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, AMDGPUfmax3>;
325def V_MAX3_I16 : VOP3Inst <"v_max3_i16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUsmax3>;
326def V_MAX3_U16 : VOP3Inst <"v_max3_u16", VOP3_Profile<VOP_I16_I16_I16_I16>, AMDGPUumax3>;
327} // End SubtargetPredicate = isGFX9
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000328
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000329
330//===----------------------------------------------------------------------===//
331// Target
332//===----------------------------------------------------------------------===//
333
334//===----------------------------------------------------------------------===//
335// SI
336//===----------------------------------------------------------------------===//
337
338let AssemblerPredicates = [isSICI], DecoderNamespace = "SICI" in {
339
340multiclass VOP3_Real_si<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000341 def _si : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
342 VOP3e_si <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000343}
344
345multiclass VOP3be_Real_si<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000346 def _si : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
347 VOP3be_si <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000348}
349
350} // End AssemblerPredicates = [isSICI], DecoderNamespace = "SICI"
351
352defm V_MAD_LEGACY_F32 : VOP3_Real_si <0x140>;
353defm V_MAD_F32 : VOP3_Real_si <0x141>;
354defm V_MAD_I32_I24 : VOP3_Real_si <0x142>;
355defm V_MAD_U32_U24 : VOP3_Real_si <0x143>;
356defm V_CUBEID_F32 : VOP3_Real_si <0x144>;
357defm V_CUBESC_F32 : VOP3_Real_si <0x145>;
358defm V_CUBETC_F32 : VOP3_Real_si <0x146>;
359defm V_CUBEMA_F32 : VOP3_Real_si <0x147>;
360defm V_BFE_U32 : VOP3_Real_si <0x148>;
361defm V_BFE_I32 : VOP3_Real_si <0x149>;
362defm V_BFI_B32 : VOP3_Real_si <0x14a>;
363defm V_FMA_F32 : VOP3_Real_si <0x14b>;
364defm V_FMA_F64 : VOP3_Real_si <0x14c>;
365defm V_LERP_U8 : VOP3_Real_si <0x14d>;
366defm V_ALIGNBIT_B32 : VOP3_Real_si <0x14e>;
367defm V_ALIGNBYTE_B32 : VOP3_Real_si <0x14f>;
368defm V_MULLIT_F32 : VOP3_Real_si <0x150>;
369defm V_MIN3_F32 : VOP3_Real_si <0x151>;
370defm V_MIN3_I32 : VOP3_Real_si <0x152>;
371defm V_MIN3_U32 : VOP3_Real_si <0x153>;
372defm V_MAX3_F32 : VOP3_Real_si <0x154>;
373defm V_MAX3_I32 : VOP3_Real_si <0x155>;
374defm V_MAX3_U32 : VOP3_Real_si <0x156>;
375defm V_MED3_F32 : VOP3_Real_si <0x157>;
376defm V_MED3_I32 : VOP3_Real_si <0x158>;
377defm V_MED3_U32 : VOP3_Real_si <0x159>;
378defm V_SAD_U8 : VOP3_Real_si <0x15a>;
379defm V_SAD_HI_U8 : VOP3_Real_si <0x15b>;
380defm V_SAD_U16 : VOP3_Real_si <0x15c>;
381defm V_SAD_U32 : VOP3_Real_si <0x15d>;
382defm V_CVT_PK_U8_F32 : VOP3_Real_si <0x15e>;
383defm V_DIV_FIXUP_F32 : VOP3_Real_si <0x15f>;
384defm V_DIV_FIXUP_F64 : VOP3_Real_si <0x160>;
385defm V_LSHL_B64 : VOP3_Real_si <0x161>;
386defm V_LSHR_B64 : VOP3_Real_si <0x162>;
387defm V_ASHR_I64 : VOP3_Real_si <0x163>;
388defm V_ADD_F64 : VOP3_Real_si <0x164>;
389defm V_MUL_F64 : VOP3_Real_si <0x165>;
390defm V_MIN_F64 : VOP3_Real_si <0x166>;
391defm V_MAX_F64 : VOP3_Real_si <0x167>;
392defm V_LDEXP_F64 : VOP3_Real_si <0x168>;
393defm V_MUL_LO_U32 : VOP3_Real_si <0x169>;
394defm V_MUL_HI_U32 : VOP3_Real_si <0x16a>;
395defm V_MUL_LO_I32 : VOP3_Real_si <0x16b>;
396defm V_MUL_HI_I32 : VOP3_Real_si <0x16c>;
397defm V_DIV_SCALE_F32 : VOP3be_Real_si <0x16d>;
398defm V_DIV_SCALE_F64 : VOP3be_Real_si <0x16e>;
399defm V_DIV_FMAS_F32 : VOP3_Real_si <0x16f>;
400defm V_DIV_FMAS_F64 : VOP3_Real_si <0x170>;
401defm V_MSAD_U8 : VOP3_Real_si <0x171>;
402defm V_MQSAD_PK_U16_U8 : VOP3_Real_si <0x173>;
403defm V_TRIG_PREOP_F64 : VOP3_Real_si <0x174>;
404
405//===----------------------------------------------------------------------===//
406// CI
407//===----------------------------------------------------------------------===//
408
409multiclass VOP3_Real_ci<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000410 def _ci : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
411 VOP3e_si <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000412 let AssemblerPredicates = [isCIOnly];
413 let DecoderNamespace = "CI";
414 }
415}
416
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000417multiclass VOP3be_Real_ci<bits<9> op> {
418 def _ci : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
419 VOP3be_si <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
420 let AssemblerPredicates = [isCIOnly];
421 let DecoderNamespace = "CI";
422 }
423}
424
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000425defm V_QSAD_PK_U16_U8 : VOP3_Real_ci <0x172>;
Dmitry Preobrazhensky3bff0c82017-04-12 15:36:09 +0000426defm V_MQSAD_U32_U8 : VOP3_Real_ci <0x175>;
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000427defm V_MAD_U64_U32 : VOP3be_Real_ci <0x176>;
428defm V_MAD_I64_I32 : VOP3be_Real_ci <0x177>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000429
430//===----------------------------------------------------------------------===//
431// VI
432//===----------------------------------------------------------------------===//
433
434let AssemblerPredicates = [isVI], DecoderNamespace = "VI" in {
435
436multiclass VOP3_Real_vi<bits<10> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000437 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
438 VOP3e_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000439}
440
441multiclass VOP3be_Real_vi<bits<10> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000442 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
443 VOP3be_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000444}
445
446} // End AssemblerPredicates = [isVI], DecoderNamespace = "VI"
447
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000448defm V_MAD_U64_U32 : VOP3be_Real_vi <0x1E8>;
449defm V_MAD_I64_I32 : VOP3be_Real_vi <0x1E9>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000450
451defm V_MAD_LEGACY_F32 : VOP3_Real_vi <0x1c0>;
452defm V_MAD_F32 : VOP3_Real_vi <0x1c1>;
453defm V_MAD_I32_I24 : VOP3_Real_vi <0x1c2>;
454defm V_MAD_U32_U24 : VOP3_Real_vi <0x1c3>;
455defm V_CUBEID_F32 : VOP3_Real_vi <0x1c4>;
456defm V_CUBESC_F32 : VOP3_Real_vi <0x1c5>;
457defm V_CUBETC_F32 : VOP3_Real_vi <0x1c6>;
458defm V_CUBEMA_F32 : VOP3_Real_vi <0x1c7>;
459defm V_BFE_U32 : VOP3_Real_vi <0x1c8>;
460defm V_BFE_I32 : VOP3_Real_vi <0x1c9>;
461defm V_BFI_B32 : VOP3_Real_vi <0x1ca>;
462defm V_FMA_F32 : VOP3_Real_vi <0x1cb>;
463defm V_FMA_F64 : VOP3_Real_vi <0x1cc>;
464defm V_LERP_U8 : VOP3_Real_vi <0x1cd>;
465defm V_ALIGNBIT_B32 : VOP3_Real_vi <0x1ce>;
466defm V_ALIGNBYTE_B32 : VOP3_Real_vi <0x1cf>;
467defm V_MIN3_F32 : VOP3_Real_vi <0x1d0>;
468defm V_MIN3_I32 : VOP3_Real_vi <0x1d1>;
469defm V_MIN3_U32 : VOP3_Real_vi <0x1d2>;
470defm V_MAX3_F32 : VOP3_Real_vi <0x1d3>;
471defm V_MAX3_I32 : VOP3_Real_vi <0x1d4>;
472defm V_MAX3_U32 : VOP3_Real_vi <0x1d5>;
473defm V_MED3_F32 : VOP3_Real_vi <0x1d6>;
474defm V_MED3_I32 : VOP3_Real_vi <0x1d7>;
475defm V_MED3_U32 : VOP3_Real_vi <0x1d8>;
476defm V_SAD_U8 : VOP3_Real_vi <0x1d9>;
477defm V_SAD_HI_U8 : VOP3_Real_vi <0x1da>;
478defm V_SAD_U16 : VOP3_Real_vi <0x1db>;
479defm V_SAD_U32 : VOP3_Real_vi <0x1dc>;
480defm V_CVT_PK_U8_F32 : VOP3_Real_vi <0x1dd>;
481defm V_DIV_FIXUP_F32 : VOP3_Real_vi <0x1de>;
482defm V_DIV_FIXUP_F64 : VOP3_Real_vi <0x1df>;
483defm V_DIV_SCALE_F32 : VOP3be_Real_vi <0x1e0>;
484defm V_DIV_SCALE_F64 : VOP3be_Real_vi <0x1e1>;
485defm V_DIV_FMAS_F32 : VOP3_Real_vi <0x1e2>;
486defm V_DIV_FMAS_F64 : VOP3_Real_vi <0x1e3>;
487defm V_MSAD_U8 : VOP3_Real_vi <0x1e4>;
488defm V_QSAD_PK_U16_U8 : VOP3_Real_vi <0x1e5>;
489defm V_MQSAD_PK_U16_U8 : VOP3_Real_vi <0x1e6>;
490defm V_MQSAD_U32_U8 : VOP3_Real_vi <0x1e7>;
491
492defm V_MAD_F16 : VOP3_Real_vi <0x1ea>;
493defm V_MAD_U16 : VOP3_Real_vi <0x1eb>;
494defm V_MAD_I16 : VOP3_Real_vi <0x1ec>;
495
Dmitry Preobrazhensky14104e02017-04-12 17:10:07 +0000496defm V_PERM_B32 : VOP3_Real_vi <0x1ed>;
497
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000498defm V_FMA_F16 : VOP3_Real_vi <0x1ee>;
499defm V_DIV_FIXUP_F16 : VOP3_Real_vi <0x1ef>;
500
501defm V_INTERP_P1LL_F16 : VOP3_Real_vi <0x274>;
502defm V_INTERP_P1LV_F16 : VOP3_Real_vi <0x275>;
503defm V_INTERP_P2_F16 : VOP3_Real_vi <0x276>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000504defm V_ADD_F64 : VOP3_Real_vi <0x280>;
505defm V_MUL_F64 : VOP3_Real_vi <0x281>;
506defm V_MIN_F64 : VOP3_Real_vi <0x282>;
507defm V_MAX_F64 : VOP3_Real_vi <0x283>;
508defm V_LDEXP_F64 : VOP3_Real_vi <0x284>;
509defm V_MUL_LO_U32 : VOP3_Real_vi <0x285>;
510
511// removed from VI as identical to V_MUL_LO_U32
512let isAsmParserOnly = 1 in {
513defm V_MUL_LO_I32 : VOP3_Real_vi <0x285>;
514}
515
516defm V_MUL_HI_U32 : VOP3_Real_vi <0x286>;
517defm V_MUL_HI_I32 : VOP3_Real_vi <0x287>;
518
519defm V_LSHLREV_B64 : VOP3_Real_vi <0x28f>;
520defm V_LSHRREV_B64 : VOP3_Real_vi <0x290>;
521defm V_ASHRREV_I64 : VOP3_Real_vi <0x291>;
522defm V_TRIG_PREOP_F64 : VOP3_Real_vi <0x292>;
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000523
Matt Arsenaultc9f25172017-02-27 21:04:41 +0000524defm V_LSHL_ADD_U32 : VOP3_Real_vi <0x1fd>;
525defm V_ADD_LSHL_U32 : VOP3_Real_vi <0x1fe>;
526defm V_ADD3_U32 : VOP3_Real_vi <0x1ff>;
527defm V_LSHL_OR_B32 : VOP3_Real_vi <0x200>;
528defm V_AND_OR_B32 : VOP3_Real_vi <0x201>;
529defm V_OR3_B32 : VOP3_Real_vi <0x202>;
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000530defm V_PACK_B32_F16 : VOP3_Real_vi <0x2a0>;
Matt Arsenault10268f92017-02-27 22:40:39 +0000531
Matt Arsenault03612632017-02-28 20:27:30 +0000532defm V_XAD_U32 : VOP3_Real_vi <0x1f3>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000533
534defm V_MIN3_F16 : VOP3_Real_vi <0x1f4>;
535defm V_MIN3_I16 : VOP3_Real_vi <0x1f5>;
536defm V_MIN3_U16 : VOP3_Real_vi <0x1f6>;
537
538defm V_MAX3_F16 : VOP3_Real_vi <0x1f7>;
539defm V_MAX3_I16 : VOP3_Real_vi <0x1f8>;
540defm V_MAX3_U16 : VOP3_Real_vi <0x1f9>;
541
Matt Arsenault10268f92017-02-27 22:40:39 +0000542defm V_MED3_F16 : VOP3_Real_vi <0x1fa>;
543defm V_MED3_I16 : VOP3_Real_vi <0x1fb>;
544defm V_MED3_U16 : VOP3_Real_vi <0x1fc>;