blob: aedbfa015bf6c7e0ed4f2651d2c05710dd821fd3 [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
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +000056class getVOP3OpSelPat<VOPProfile P, SDPatternOperator node> {
57 list<dag> ret3 = [(set P.DstVT:$vdst,
58 (node (P.Src0VT !if(P.HasClamp, (VOP3OpSel0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp),
59 (VOP3OpSel P.Src0VT:$src0, i32:$src0_modifiers))),
60 (P.Src1VT (VOP3OpSel P.Src1VT:$src1, i32:$src1_modifiers)),
61 (P.Src2VT (VOP3OpSel P.Src2VT:$src2, i32:$src2_modifiers))))];
62
63 list<dag> ret2 = [(set P.DstVT:$vdst,
64 (node !if(P.HasClamp, (P.Src0VT (VOP3OpSel0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp)),
65 (P.Src0VT (VOP3OpSel P.Src0VT:$src0, i32:$src0_modifiers))),
66 (P.Src1VT (VOP3OpSel P.Src1VT:$src1, i32:$src1_modifiers))))];
67
68 list<dag> ret1 = [(set P.DstVT:$vdst,
69 (node (P.Src0VT (VOP3OpSel0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp))))];
70
71 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
72 !if(!eq(P.NumSrcArgs, 2), ret2,
73 ret1));
74}
75
76class getVOP3OpSelModPat<VOPProfile P, SDPatternOperator node> {
77 list<dag> ret3 = [(set P.DstVT:$vdst,
78 (node (P.Src0VT !if(P.HasClamp, (VOP3OpSelMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp),
79 (VOP3OpSelMods P.Src0VT:$src0, i32:$src0_modifiers))),
80 (P.Src1VT (VOP3OpSelMods P.Src1VT:$src1, i32:$src1_modifiers)),
81 (P.Src2VT (VOP3OpSelMods P.Src2VT:$src2, i32:$src2_modifiers))))];
82
83 list<dag> ret2 = [(set P.DstVT:$vdst,
84 (node !if(P.HasClamp, (P.Src0VT (VOP3OpSelMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp)),
85 (P.Src0VT (VOP3OpSelMods P.Src0VT:$src0, i32:$src0_modifiers))),
86 (P.Src1VT (VOP3OpSelMods P.Src1VT:$src1, i32:$src1_modifiers))))];
87
88 list<dag> ret1 = [(set P.DstVT:$vdst,
89 (node (P.Src0VT (VOP3OpSelMods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp))))];
90
91 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
92 !if(!eq(P.NumSrcArgs, 2), ret2,
93 ret1));
94}
95
Valery Pykhtine330cfa2016-09-20 10:41:16 +000096class getVOP3Pat<VOPProfile P, SDPatternOperator node> {
97 list<dag> ret3 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1, P.Src2VT:$src2))];
98 list<dag> ret2 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1))];
99 list<dag> ret1 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0))];
100 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
101 !if(!eq(P.NumSrcArgs, 2), ret2,
102 ret1));
103}
104
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000105class getVOP3ClampPat<VOPProfile P, SDPatternOperator node> {
106 list<dag> ret3 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1, P.Src2VT:$src2, i1:$clamp))];
107 list<dag> ret2 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, P.Src1VT:$src1, i1:$clamp))];
108 list<dag> ret1 = [(set P.DstVT:$vdst, (node P.Src0VT:$src0, i1:$clamp))];
109 list<dag> ret = !if(!eq(P.NumSrcArgs, 3), ret3,
110 !if(!eq(P.NumSrcArgs, 2), ret2,
111 ret1));
112}
113
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000114class VOP3Inst<string OpName, VOPProfile P, SDPatternOperator node = null_frag, bit VOP3Only = 0> :
Valery Pykhtin355103f2016-09-23 09:08:07 +0000115 VOP3_Pseudo<OpName, P,
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000116 !if(P.HasOpSel,
117 !if(P.HasModifiers,
118 getVOP3OpSelModPat<P, node>.ret,
119 getVOP3OpSelPat<P, node>.ret),
120 !if(P.HasModifiers,
121 getVOP3ModPat<P, node>.ret,
122 !if(P.HasIntClamp,
123 getVOP3ClampPat<P, node>.ret,
124 getVOP3Pat<P, node>.ret))),
125 VOP3Only, 0, P.HasOpSel> {
126
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000127 let IntClamp = P.HasIntClamp;
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000128 let AsmMatchConverter =
129 !if(P.HasOpSel,
130 "cvtVOP3OpSel",
131 !if(!or(P.HasModifiers, !or(P.HasOMod, P.HasIntClamp)),
132 "cvtVOP3",
133 ""));
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000134}
135
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000136// Special case for v_div_fmas_{f32|f64}, since it seems to be the
137// only VOP instruction that implicitly reads VCC.
138let Asm64 = " $vdst, $src0_modifiers, $src1_modifiers, $src2_modifiers$clamp$omod" in {
139def VOP_F32_F32_F32_F32_VCC : VOPProfile<[f32, f32, f32, f32]> {
140 let Outs64 = (outs DstRC.RegClass:$vdst);
141}
142def VOP_F64_F64_F64_F64_VCC : VOPProfile<[f64, f64, f64, f64]> {
143 let Outs64 = (outs DstRC.RegClass:$vdst);
144}
145}
146
147class getVOP3VCC<VOPProfile P, SDPatternOperator node> {
148 list<dag> ret =
149 [(set P.DstVT:$vdst,
150 (node (P.Src0VT (VOP3Mods0 P.Src0VT:$src0, i32:$src0_modifiers, i1:$clamp, i32:$omod)),
151 (P.Src1VT (VOP3Mods P.Src1VT:$src1, i32:$src1_modifiers)),
152 (P.Src2VT (VOP3Mods P.Src2VT:$src2, i32:$src2_modifiers)),
153 (i1 VCC)))];
154}
155
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000156class VOP3Features<bit Clamp, bit OpSel> {
157 bit HasClamp = Clamp;
158 bit HasOpSel = OpSel;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000159}
160
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000161def VOP3_REGULAR : VOP3Features<0, 0>;
162def VOP3_CLAMP : VOP3Features<1, 0>;
163def VOP3_OPSEL : VOP3Features<1, 1>;
164
165class VOP3_Profile<VOPProfile P, VOP3Features Features = VOP3_REGULAR> : VOPProfile<P.ArgVT> {
166
167 let HasClamp = !if(Features.HasClamp, 1, P.HasClamp);
168 let HasOpSel = !if(Features.HasOpSel, 1, P.HasOpSel);
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000169
170 // FIXME: Hack to stop printing _e64
171 let Outs64 = (outs DstRC.RegClass:$vdst);
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000172 let Asm64 =
173 " " # !if(Features.HasOpSel,
174 getAsmVOP3OpSel<NumSrcArgs,
175 HasIntClamp,
176 HasSrc0FloatMods,
177 HasSrc1FloatMods,
178 HasSrc2FloatMods>.ret,
179 !if(Features.HasClamp,
180 getAsm64<HasDst, NumSrcArgs, HasIntClamp,
181 HasModifiers, HasOMod, DstVT>.ret,
182 P.Asm64));
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000183}
184
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000185class VOP3b_Profile<ValueType vt> : VOPProfile<[vt, vt, vt, vt]> {
Matt Arsenault3b99f122017-01-19 06:04:12 +0000186 // v_div_scale_{f32|f64} do not support input modifiers.
187 let HasModifiers = 0;
Sam Kolton4685b70a2017-07-18 14:23:26 +0000188 let HasOMod = 0;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000189 let Outs64 = (outs DstRC:$vdst, SReg_64:$sdst);
Matt Arsenault3b99f122017-01-19 06:04:12 +0000190 let Asm64 = " $vdst, $sdst, $src0, $src1, $src2";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000191}
192
193def VOP3b_F32_I1_F32_F32_F32 : VOP3b_Profile<f32> {
194 // FIXME: Hack to stop printing _e64
195 let DstRC = RegisterOperand<VGPR_32>;
196}
197
198def VOP3b_F64_I1_F64_F64_F64 : VOP3b_Profile<f64> {
199 // FIXME: Hack to stop printing _e64
200 let DstRC = RegisterOperand<VReg_64>;
201}
202
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000203def VOP3b_I64_I1_I32_I32_I64 : VOPProfile<[i64, i32, i32, i64]> {
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000204 let HasClamp = 1;
205
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000206 // FIXME: Hack to stop printing _e64
207 let DstRC = RegisterOperand<VReg_64>;
208
209 let Outs64 = (outs DstRC:$vdst, SReg_64:$sdst);
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000210 let Asm64 = " $vdst, $sdst, $src0, $src1, $src2$clamp";
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000211}
212
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000213//===----------------------------------------------------------------------===//
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000214// VOP3 INTERP
215//===----------------------------------------------------------------------===//
216
217class VOP3Interp<string OpName, VOPProfile P> : VOP3_Pseudo<OpName, P> {
218 let AsmMatchConverter = "cvtVOP3Interp";
219}
220
221def VOP3_INTERP : VOPProfile<[f32, f32, i32, untyped]> {
222 let Ins64 = (ins Src0Mod:$src0_modifiers, VRegSrc_32:$src0,
223 Attr:$attr, AttrChan:$attrchan,
224 clampmod:$clamp, omod:$omod);
225
226 let Asm64 = "$vdst, $src0_modifiers, $attr$attrchan$clamp$omod";
227}
228
229def VOP3_INTERP_MOV : VOPProfile<[f32, i32, i32, untyped]> {
230 let Ins64 = (ins InterpSlot:$src0,
231 Attr:$attr, AttrChan:$attrchan,
232 clampmod:$clamp, omod:$omod);
233
234 let Asm64 = "$vdst, $src0, $attr$attrchan$clamp$omod";
235
236 let HasClamp = 1;
237}
238
239class getInterp16Asm <bit HasSrc2, bit HasOMod> {
240 string src2 = !if(HasSrc2, ", $src2_modifiers", "");
241 string omod = !if(HasOMod, "$omod", "");
242 string ret =
243 " $vdst, $src0_modifiers, $attr$attrchan"#src2#"$high$clamp"#omod;
244}
245
246class getInterp16Ins <bit HasSrc2, bit HasOMod,
247 Operand Src0Mod, Operand Src2Mod> {
248 dag ret = !if(HasSrc2,
249 !if(HasOMod,
250 (ins Src0Mod:$src0_modifiers, VRegSrc_32:$src0,
251 Attr:$attr, AttrChan:$attrchan,
252 Src2Mod:$src2_modifiers, VRegSrc_32:$src2,
253 highmod:$high, clampmod:$clamp, omod:$omod),
254 (ins Src0Mod:$src0_modifiers, VRegSrc_32:$src0,
255 Attr:$attr, AttrChan:$attrchan,
256 Src2Mod:$src2_modifiers, VRegSrc_32:$src2,
257 highmod:$high, clampmod:$clamp)
258 ),
259 (ins Src0Mod:$src0_modifiers, VRegSrc_32:$src0,
260 Attr:$attr, AttrChan:$attrchan,
261 highmod:$high, clampmod:$clamp, omod:$omod)
262 );
263}
264
265class VOP3_INTERP16 <list<ValueType> ArgVT> : VOPProfile<ArgVT> {
266
267 let HasOMod = !if(!eq(DstVT.Value, f16.Value), 0, 1);
268 let HasHigh = 1;
269
270 let Outs64 = (outs VGPR_32:$vdst);
271 let Ins64 = getInterp16Ins<HasSrc2, HasOMod, Src0Mod, Src2Mod>.ret;
272 let Asm64 = getInterp16Asm<HasSrc2, HasOMod>.ret;
273}
274
275//===----------------------------------------------------------------------===//
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000276// VOP3 Instructions
277//===----------------------------------------------------------------------===//
278
279let isCommutable = 1 in {
280
281def V_MAD_LEGACY_F32 : VOP3Inst <"v_mad_legacy_f32", VOP3_Profile<VOP_F32_F32_F32_F32>>;
282def V_MAD_F32 : VOP3Inst <"v_mad_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, fmad>;
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000283def V_MAD_I32_I24 : VOP3Inst <"v_mad_i32_i24", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
284def V_MAD_U32_U24 : VOP3Inst <"v_mad_u32_u24", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000285def V_FMA_F32 : VOP3Inst <"v_fma_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, fma>;
286def V_FMA_F64 : VOP3Inst <"v_fma_f64", VOP3_Profile<VOP_F64_F64_F64_F64>, fma>;
287def V_LERP_U8 : VOP3Inst <"v_lerp_u8", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_lerp>;
288
289let SchedRW = [WriteDoubleAdd] in {
290def V_ADD_F64 : VOP3Inst <"v_add_f64", VOP3_Profile<VOP_F64_F64_F64>, fadd, 1>;
291def V_MUL_F64 : VOP3Inst <"v_mul_f64", VOP3_Profile<VOP_F64_F64_F64>, fmul, 1>;
292def V_MIN_F64 : VOP3Inst <"v_min_f64", VOP3_Profile<VOP_F64_F64_F64>, fminnum, 1>;
293def V_MAX_F64 : VOP3Inst <"v_max_f64", VOP3_Profile<VOP_F64_F64_F64>, fmaxnum, 1>;
294} // End SchedRW = [WriteDoubleAdd]
295
296let SchedRW = [WriteQuarterRate32] in {
297def V_MUL_LO_U32 : VOP3Inst <"v_mul_lo_u32", VOP3_Profile<VOP_I32_I32_I32>>;
298def V_MUL_HI_U32 : VOP3Inst <"v_mul_hi_u32", VOP3_Profile<VOP_I32_I32_I32>, mulhu>;
299def V_MUL_LO_I32 : VOP3Inst <"v_mul_lo_i32", VOP3_Profile<VOP_I32_I32_I32>>;
300def V_MUL_HI_I32 : VOP3Inst <"v_mul_hi_i32", VOP3_Profile<VOP_I32_I32_I32>, mulhs>;
301} // End SchedRW = [WriteQuarterRate32]
302
303let Uses = [VCC, EXEC] in {
304// v_div_fmas_f32:
305// result = src0 * src1 + src2
306// if (vcc)
307// result *= 2^32
308//
Valery Pykhtin355103f2016-09-23 09:08:07 +0000309def V_DIV_FMAS_F32 : VOP3_Pseudo <"v_div_fmas_f32", VOP_F32_F32_F32_F32_VCC,
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000310 getVOP3VCC<VOP_F32_F32_F32_F32_VCC, AMDGPUdiv_fmas>.ret> {
311 let SchedRW = [WriteFloatFMA];
312}
313// v_div_fmas_f64:
314// result = src0 * src1 + src2
315// if (vcc)
316// result *= 2^64
317//
Valery Pykhtin355103f2016-09-23 09:08:07 +0000318def V_DIV_FMAS_F64 : VOP3_Pseudo <"v_div_fmas_f64", VOP_F64_F64_F64_F64_VCC,
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000319 getVOP3VCC<VOP_F64_F64_F64_F64_VCC, AMDGPUdiv_fmas>.ret> {
320 let SchedRW = [WriteDouble];
321}
322} // End Uses = [VCC, EXEC]
323
324} // End isCommutable = 1
325
326def V_CUBEID_F32 : VOP3Inst <"v_cubeid_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubeid>;
327def V_CUBESC_F32 : VOP3Inst <"v_cubesc_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubesc>;
328def V_CUBETC_F32 : VOP3Inst <"v_cubetc_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubetc>;
329def V_CUBEMA_F32 : VOP3Inst <"v_cubema_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, int_amdgcn_cubema>;
330def V_BFE_U32 : VOP3Inst <"v_bfe_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfe_u32>;
331def V_BFE_I32 : VOP3Inst <"v_bfe_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfe_i32>;
332def V_BFI_B32 : VOP3Inst <"v_bfi_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUbfi>;
Stanislav Mekhanoshin1a61ab812017-06-09 19:03:00 +0000333def V_ALIGNBIT_B32 : VOP3Inst <"v_alignbit_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_alignbit>;
334def V_ALIGNBYTE_B32 : VOP3Inst <"v_alignbyte_b32", VOP3_Profile<VOP_I32_I32_I32_I32>, int_amdgcn_alignbyte>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000335def V_MIN3_F32 : VOP3Inst <"v_min3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmin3>;
336def V_MIN3_I32 : VOP3Inst <"v_min3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmin3>;
337def V_MIN3_U32 : VOP3Inst <"v_min3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumin3>;
338def V_MAX3_F32 : VOP3Inst <"v_max3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmax3>;
339def V_MAX3_I32 : VOP3Inst <"v_max3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmax3>;
340def V_MAX3_U32 : VOP3Inst <"v_max3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumax3>;
341def V_MED3_F32 : VOP3Inst <"v_med3_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUfmed3>;
342def V_MED3_I32 : VOP3Inst <"v_med3_i32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUsmed3>;
343def V_MED3_U32 : VOP3Inst <"v_med3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>, AMDGPUumed3>;
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000344def V_SAD_U8 : VOP3Inst <"v_sad_u8", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
345def V_SAD_HI_U8 : VOP3Inst <"v_sad_hi_u8", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
346def V_SAD_U16 : VOP3Inst <"v_sad_u16", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
347def V_SAD_U32 : VOP3Inst <"v_sad_u32", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000348def V_CVT_PK_U8_F32 : VOP3Inst<"v_cvt_pk_u8_f32", VOP3_Profile<VOP_I32_F32_I32_I32>, int_amdgcn_cvt_pk_u8_f32>;
349def V_DIV_FIXUP_F32 : VOP3Inst <"v_div_fixup_f32", VOP3_Profile<VOP_F32_F32_F32_F32>, AMDGPUdiv_fixup>;
350
351let SchedRW = [WriteDoubleAdd] in {
352def V_DIV_FIXUP_F64 : VOP3Inst <"v_div_fixup_f64", VOP3_Profile<VOP_F64_F64_F64_F64>, AMDGPUdiv_fixup>;
353def V_LDEXP_F64 : VOP3Inst <"v_ldexp_f64", VOP3_Profile<VOP_F64_F64_I32>, AMDGPUldexp, 1>;
354} // End SchedRW = [WriteDoubleAdd]
355
Valery Pykhtin355103f2016-09-23 09:08:07 +0000356def V_DIV_SCALE_F32 : VOP3_Pseudo <"v_div_scale_f32", VOP3b_F32_I1_F32_F32_F32, [], 1> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000357 let SchedRW = [WriteFloatFMA, WriteSALU];
Matt Arsenault81da1142016-11-15 00:05:42 +0000358 let hasExtraSrcRegAllocReq = 1;
Matt Arsenault3b99f122017-01-19 06:04:12 +0000359 let AsmMatchConverter = "";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000360}
361
362// Double precision division pre-scale.
Valery Pykhtin355103f2016-09-23 09:08:07 +0000363def V_DIV_SCALE_F64 : VOP3_Pseudo <"v_div_scale_f64", VOP3b_F64_I1_F64_F64_F64, [], 1> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000364 let SchedRW = [WriteDouble, WriteSALU];
Matt Arsenault81da1142016-11-15 00:05:42 +0000365 let hasExtraSrcRegAllocReq = 1;
Matt Arsenault3b99f122017-01-19 06:04:12 +0000366 let AsmMatchConverter = "";
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000367}
368
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000369def V_MSAD_U8 : VOP3Inst <"v_msad_u8", VOP3_Profile<VOP_I32_I32_I32_I32, VOP3_CLAMP>>;
Mark Searlese5c78322017-06-08 18:21:19 +0000370
371let Constraints = "@earlyclobber $vdst" in {
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000372def V_MQSAD_PK_U16_U8 : VOP3Inst <"v_mqsad_pk_u16_u8", VOP3_Profile<VOP_I64_I64_I32_I64, VOP3_CLAMP>>;
Mark Searlese5c78322017-06-08 18:21:19 +0000373} // End Constraints = "@earlyclobber $vdst"
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000374
375def V_TRIG_PREOP_F64 : VOP3Inst <"v_trig_preop_f64", VOP3_Profile<VOP_F64_F64_I32>, AMDGPUtrig_preop> {
376 let SchedRW = [WriteDouble];
377}
378
379// These instructions only exist on SI and CI
380let SubtargetPredicate = isSICI in {
381def V_LSHL_B64 : VOP3Inst <"v_lshl_b64", VOP3_Profile<VOP_I64_I64_I32>>;
382def V_LSHR_B64 : VOP3Inst <"v_lshr_b64", VOP3_Profile<VOP_I64_I64_I32>>;
383def V_ASHR_I64 : VOP3Inst <"v_ashr_i64", VOP3_Profile<VOP_I64_I64_I32>>;
384def V_MULLIT_F32 : VOP3Inst <"v_mullit_f32", VOP3_Profile<VOP_F32_F32_F32_F32>>;
385} // End SubtargetPredicate = isSICI
386
387let SubtargetPredicate = isVI in {
388def V_LSHLREV_B64 : VOP3Inst <"v_lshlrev_b64", VOP3_Profile<VOP_I64_I32_I64>>;
389def V_LSHRREV_B64 : VOP3Inst <"v_lshrrev_b64", VOP3_Profile<VOP_I64_I32_I64>>;
390def V_ASHRREV_I64 : VOP3Inst <"v_ashrrev_i64", VOP3_Profile<VOP_I64_I32_I64>>;
391} // End SubtargetPredicate = isVI
392
393
394let SubtargetPredicate = isCIVI in {
395
Mark Searlese5c78322017-06-08 18:21:19 +0000396let Constraints = "@earlyclobber $vdst" in {
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000397def V_QSAD_PK_U16_U8 : VOP3Inst <"v_qsad_pk_u16_u8", VOP3_Profile<VOP_I64_I64_I32_I64, VOP3_CLAMP>>;
398def V_MQSAD_U32_U8 : VOP3Inst <"v_mqsad_u32_u8", VOP3_Profile<VOP_V4I32_I64_I32_V4I32, VOP3_CLAMP>>;
Mark Searlese5c78322017-06-08 18:21:19 +0000399} // End Constraints = "@earlyclobber $vdst"
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000400
401let isCommutable = 1 in {
Matt Arsenault4709ab92017-11-08 00:48:25 +0000402let SchedRW = [WriteDouble, WriteSALU] in {
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000403def V_MAD_U64_U32 : VOP3Inst <"v_mad_u64_u32", VOP3b_I64_I1_I32_I32_I64>;
404def V_MAD_I64_I32 : VOP3Inst <"v_mad_i64_i32", VOP3b_I64_I1_I32_I32_I64>;
Matt Arsenault4709ab92017-11-08 00:48:25 +0000405} // End SchedRW = [WriteDouble, WriteSALU]
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000406} // End isCommutable = 1
407
408} // End SubtargetPredicate = isCIVI
409
410
Sam Koltonf7659d712017-05-23 10:08:55 +0000411let SubtargetPredicate = Has16BitInsts in {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000412
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000413let renamedInGFX9 = 1 in {
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000414def V_DIV_FIXUP_F16 : VOP3Inst <"v_div_fixup_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, AMDGPUdiv_fixup>;
415}
416let SubtargetPredicate = isGFX9 in {
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000417def V_DIV_FIXUP_F16_gfx9 : VOP3Inst <"v_div_fixup_f16_gfx9", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>>;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000418}
Stanislav Mekhanoshinca5d2ef2017-06-03 00:16:44 +0000419
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000420let isCommutable = 1 in {
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000421
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000422let renamedInGFX9 = 1 in {
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000423def V_MAD_F16 : VOP3Inst <"v_mad_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, fmad>;
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000424def V_MAD_U16 : VOP3Inst <"v_mad_u16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_CLAMP>>;
425def V_MAD_I16 : VOP3Inst <"v_mad_i16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_CLAMP>>;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000426def V_FMA_F16 : VOP3Inst <"v_fma_f16", VOP3_Profile<VOP_F16_F16_F16_F16>, fma>;
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000427def V_INTERP_P2_F16 : VOP3Interp <"v_interp_p2_f16", VOP3_INTERP16<[f16, f32, i32, f32]>>;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000428}
429
430let SubtargetPredicate = isGFX9 in {
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000431def V_MAD_F16_gfx9 : VOP3Inst <"v_mad_f16_gfx9", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>>;
432def V_MAD_U16_gfx9 : VOP3Inst <"v_mad_u16_gfx9", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>>;
433def V_MAD_I16_gfx9 : VOP3Inst <"v_mad_i16_gfx9", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>>;
434def V_FMA_F16_gfx9 : VOP3Inst <"v_fma_f16_gfx9", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>>;
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000435def V_INTERP_P2_F16_gfx9 : VOP3Interp <"v_interp_p2_f16_gfx9", VOP3_INTERP16<[f16, f32, i32, f32]>>;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000436} // End SubtargetPredicate = isGFX9
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000437
438def V_INTERP_P1LL_F16 : VOP3Interp <"v_interp_p1ll_f16", VOP3_INTERP16<[f32, f32, i32, untyped]>>;
439def V_INTERP_P1LV_F16 : VOP3Interp <"v_interp_p1lv_f16", VOP3_INTERP16<[f32, f32, i32, f16]>>;
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000440
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000441} // End isCommutable = 1
Sam Koltonf7659d712017-05-23 10:08:55 +0000442} // End SubtargetPredicate = Has16BitInsts
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000443
Sam Koltonf7659d712017-05-23 10:08:55 +0000444let SubtargetPredicate = isVI in {
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000445def V_INTERP_P1_F32_e64 : VOP3Interp <"v_interp_p1_f32", VOP3_INTERP>;
446def V_INTERP_P2_F32_e64 : VOP3Interp <"v_interp_p2_f32", VOP3_INTERP>;
447def V_INTERP_MOV_F32_e64 : VOP3Interp <"v_interp_mov_f32", VOP3_INTERP_MOV>;
448
Dmitry Preobrazhensky14104e02017-04-12 17:10:07 +0000449def V_PERM_B32 : VOP3Inst <"v_perm_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000450} // End SubtargetPredicate = isVI
451
Sam Koltonf7659d712017-05-23 10:08:55 +0000452let Predicates = [Has16BitInsts] in {
Tom Stellard115a6152016-11-10 16:02:37 +0000453
Matt Arsenault10268f92017-02-27 22:40:39 +0000454multiclass Ternary_i16_Pats <SDPatternOperator op1, SDPatternOperator op2,
455 Instruction inst, SDPatternOperator op3> {
Matt Arsenault90c75932017-10-03 00:06:41 +0000456def : GCNPat <
Tom Stellard115a6152016-11-10 16:02:37 +0000457 (op2 (op1 i16:$src0, i16:$src1), i16:$src2),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000458 (inst i16:$src0, i16:$src1, i16:$src2, (i1 0))
Tom Stellard115a6152016-11-10 16:02:37 +0000459>;
460
Matt Arsenault90c75932017-10-03 00:06:41 +0000461def : GCNPat<
Tom Stellard115a6152016-11-10 16:02:37 +0000462 (i32 (op3 (op2 (op1 i16:$src0, i16:$src1), i16:$src2))),
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000463 (inst i16:$src0, i16:$src1, i16:$src2, (i1 0))
Tom Stellard115a6152016-11-10 16:02:37 +0000464>;
465
Matt Arsenault90c75932017-10-03 00:06:41 +0000466def : GCNPat<
Tom Stellard115a6152016-11-10 16:02:37 +0000467 (i64 (op3 (op2 (op1 i16:$src0, i16:$src1), i16:$src2))),
468 (REG_SEQUENCE VReg_64,
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000469 (inst i16:$src0, i16:$src1, i16:$src2, (i1 0)), sub0,
Tom Stellard115a6152016-11-10 16:02:37 +0000470 (V_MOV_B32_e32 (i32 0)), sub1)
471>;
472}
473
Matt Arsenault10268f92017-02-27 22:40:39 +0000474defm: Ternary_i16_Pats<mul, add, V_MAD_U16, zext>;
475defm: Ternary_i16_Pats<mul, add, V_MAD_I16, sext>;
Tom Stellard115a6152016-11-10 16:02:37 +0000476
Sam Koltonf7659d712017-05-23 10:08:55 +0000477} // End Predicates = [Has16BitInsts]
Tom Stellard115a6152016-11-10 16:02:37 +0000478
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000479let SubtargetPredicate = isGFX9 in {
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000480def V_PACK_B32_F16 : VOP3Inst <"v_pack_b32_f16", VOP3_Profile<VOP_B32_F16_F16, VOP3_OPSEL>>;
Matt Arsenaultc9f25172017-02-27 21:04:41 +0000481def V_LSHL_ADD_U32 : VOP3Inst <"v_lshl_add_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
482def V_ADD_LSHL_U32 : VOP3Inst <"v_add_lshl_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
483def V_ADD3_U32 : VOP3Inst <"v_add3_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
484def V_LSHL_OR_B32 : VOP3Inst <"v_lshl_or_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
485def V_AND_OR_B32 : VOP3Inst <"v_and_or_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
486def V_OR3_B32 : VOP3Inst <"v_or3_b32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Matt Arsenault10268f92017-02-27 22:40:39 +0000487
Matt Arsenault03612632017-02-28 20:27:30 +0000488def V_XAD_U32 : VOP3Inst <"v_xad_u32", VOP3_Profile<VOP_I32_I32_I32_I32>>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000489
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000490def V_MED3_F16 : VOP3Inst <"v_med3_f16", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>, AMDGPUfmed3>;
491def V_MED3_I16 : VOP3Inst <"v_med3_i16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUsmed3>;
492def V_MED3_U16 : VOP3Inst <"v_med3_u16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUumed3>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000493
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000494def V_MIN3_F16 : VOP3Inst <"v_min3_f16", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>, AMDGPUfmin3>;
495def V_MIN3_I16 : VOP3Inst <"v_min3_i16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUsmin3>;
496def V_MIN3_U16 : VOP3Inst <"v_min3_u16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUumin3>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000497
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000498def V_MAX3_F16 : VOP3Inst <"v_max3_f16", VOP3_Profile<VOP_F16_F16_F16_F16, VOP3_OPSEL>, AMDGPUfmax3>;
499def V_MAX3_I16 : VOP3Inst <"v_max3_i16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUsmax3>;
500def V_MAX3_U16 : VOP3Inst <"v_max3_u16", VOP3_Profile<VOP_I16_I16_I16_I16, VOP3_OPSEL>, AMDGPUumax3>;
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000501
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000502def V_ADD_I16 : VOP3Inst <"v_add_i16", VOP3_Profile<VOP_I16_I16_I16, VOP3_OPSEL>>;
503def V_SUB_I16 : VOP3Inst <"v_sub_i16", VOP3_Profile<VOP_I16_I16_I16, VOP3_OPSEL>>;
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000504
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000505def V_MAD_U32_U16 : VOP3Inst <"v_mad_u32_u16", VOP3_Profile<VOP_I32_I16_I16_I32, VOP3_OPSEL>>;
506def V_MAD_I32_I16 : VOP3Inst <"v_mad_i32_i16", VOP3_Profile<VOP_I32_I16_I16_I32, VOP3_OPSEL>>;
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000507
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000508def V_CVT_PKNORM_I16_F16 : VOP3Inst <"v_cvt_pknorm_i16_f16", VOP3_Profile<VOP_B32_F16_F16, VOP3_OPSEL>>;
509def V_CVT_PKNORM_U16_F16 : VOP3Inst <"v_cvt_pknorm_u16_f16", VOP3_Profile<VOP_B32_F16_F16, VOP3_OPSEL>>;
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000510
511def V_ADD_I32_gfx9 : VOP3Inst <"v_add_i32_gfx9", VOP3_Profile<VOP_I32_I32_I32>>;
512def V_SUB_I32_gfx9 : VOP3Inst <"v_sub_i32_gfx9", VOP3_Profile<VOP_I32_I32_I32>>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000513} // End SubtargetPredicate = isGFX9
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000514
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000515//===----------------------------------------------------------------------===//
516// Integer Clamp Patterns
517//===----------------------------------------------------------------------===//
518
519class getClampPat<VOPProfile P, SDPatternOperator node> {
520 dag ret3 = (P.DstVT (node P.Src0VT:$src0, P.Src1VT:$src1, P.Src2VT:$src2));
521 dag ret2 = (P.DstVT (node P.Src0VT:$src0, P.Src1VT:$src1));
522 dag ret1 = (P.DstVT (node P.Src0VT:$src0));
523 dag ret = !if(!eq(P.NumSrcArgs, 3), ret3,
524 !if(!eq(P.NumSrcArgs, 2), ret2,
525 ret1));
526}
527
528class getClampRes<VOPProfile P, Instruction inst> {
529 dag ret3 = (inst P.Src0VT:$src0, P.Src1VT:$src1, P.Src2VT:$src2, (i1 0));
530 dag ret2 = (inst P.Src0VT:$src0, P.Src1VT:$src1, (i1 0));
531 dag ret1 = (inst P.Src0VT:$src0, (i1 0));
532 dag ret = !if(!eq(P.NumSrcArgs, 3), ret3,
533 !if(!eq(P.NumSrcArgs, 2), ret2,
534 ret1));
535}
536
Matt Arsenault90c75932017-10-03 00:06:41 +0000537class IntClampPat<VOP3Inst inst, SDPatternOperator node> : GCNPat<
Dmitry Preobrazhenskyff64aa52017-08-16 13:51:56 +0000538 getClampPat<inst.Pfl, node>.ret,
539 getClampRes<inst.Pfl, inst>.ret
540>;
541
542def : IntClampPat<V_MAD_I32_I24, AMDGPUmad_i24>;
543def : IntClampPat<V_MAD_U32_U24, AMDGPUmad_u24>;
544
545def : IntClampPat<V_SAD_U8, int_amdgcn_sad_u8>;
546def : IntClampPat<V_SAD_HI_U8, int_amdgcn_sad_hi_u8>;
547def : IntClampPat<V_SAD_U16, int_amdgcn_sad_u16>;
548
549def : IntClampPat<V_MSAD_U8, int_amdgcn_msad_u8>;
550def : IntClampPat<V_MQSAD_PK_U16_U8, int_amdgcn_mqsad_pk_u16_u8>;
551
552def : IntClampPat<V_QSAD_PK_U16_U8, int_amdgcn_qsad_pk_u16_u8>;
553def : IntClampPat<V_MQSAD_U32_U8, int_amdgcn_mqsad_u32_u8>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000554
555//===----------------------------------------------------------------------===//
556// Target
557//===----------------------------------------------------------------------===//
558
559//===----------------------------------------------------------------------===//
560// SI
561//===----------------------------------------------------------------------===//
562
563let AssemblerPredicates = [isSICI], DecoderNamespace = "SICI" in {
564
565multiclass VOP3_Real_si<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000566 def _si : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
567 VOP3e_si <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000568}
569
570multiclass VOP3be_Real_si<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000571 def _si : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
572 VOP3be_si <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000573}
574
575} // End AssemblerPredicates = [isSICI], DecoderNamespace = "SICI"
576
577defm V_MAD_LEGACY_F32 : VOP3_Real_si <0x140>;
578defm V_MAD_F32 : VOP3_Real_si <0x141>;
579defm V_MAD_I32_I24 : VOP3_Real_si <0x142>;
580defm V_MAD_U32_U24 : VOP3_Real_si <0x143>;
581defm V_CUBEID_F32 : VOP3_Real_si <0x144>;
582defm V_CUBESC_F32 : VOP3_Real_si <0x145>;
583defm V_CUBETC_F32 : VOP3_Real_si <0x146>;
584defm V_CUBEMA_F32 : VOP3_Real_si <0x147>;
585defm V_BFE_U32 : VOP3_Real_si <0x148>;
586defm V_BFE_I32 : VOP3_Real_si <0x149>;
587defm V_BFI_B32 : VOP3_Real_si <0x14a>;
588defm V_FMA_F32 : VOP3_Real_si <0x14b>;
589defm V_FMA_F64 : VOP3_Real_si <0x14c>;
590defm V_LERP_U8 : VOP3_Real_si <0x14d>;
591defm V_ALIGNBIT_B32 : VOP3_Real_si <0x14e>;
592defm V_ALIGNBYTE_B32 : VOP3_Real_si <0x14f>;
593defm V_MULLIT_F32 : VOP3_Real_si <0x150>;
594defm V_MIN3_F32 : VOP3_Real_si <0x151>;
595defm V_MIN3_I32 : VOP3_Real_si <0x152>;
596defm V_MIN3_U32 : VOP3_Real_si <0x153>;
597defm V_MAX3_F32 : VOP3_Real_si <0x154>;
598defm V_MAX3_I32 : VOP3_Real_si <0x155>;
599defm V_MAX3_U32 : VOP3_Real_si <0x156>;
600defm V_MED3_F32 : VOP3_Real_si <0x157>;
601defm V_MED3_I32 : VOP3_Real_si <0x158>;
602defm V_MED3_U32 : VOP3_Real_si <0x159>;
603defm V_SAD_U8 : VOP3_Real_si <0x15a>;
604defm V_SAD_HI_U8 : VOP3_Real_si <0x15b>;
605defm V_SAD_U16 : VOP3_Real_si <0x15c>;
606defm V_SAD_U32 : VOP3_Real_si <0x15d>;
607defm V_CVT_PK_U8_F32 : VOP3_Real_si <0x15e>;
608defm V_DIV_FIXUP_F32 : VOP3_Real_si <0x15f>;
609defm V_DIV_FIXUP_F64 : VOP3_Real_si <0x160>;
610defm V_LSHL_B64 : VOP3_Real_si <0x161>;
611defm V_LSHR_B64 : VOP3_Real_si <0x162>;
612defm V_ASHR_I64 : VOP3_Real_si <0x163>;
613defm V_ADD_F64 : VOP3_Real_si <0x164>;
614defm V_MUL_F64 : VOP3_Real_si <0x165>;
615defm V_MIN_F64 : VOP3_Real_si <0x166>;
616defm V_MAX_F64 : VOP3_Real_si <0x167>;
617defm V_LDEXP_F64 : VOP3_Real_si <0x168>;
618defm V_MUL_LO_U32 : VOP3_Real_si <0x169>;
619defm V_MUL_HI_U32 : VOP3_Real_si <0x16a>;
620defm V_MUL_LO_I32 : VOP3_Real_si <0x16b>;
621defm V_MUL_HI_I32 : VOP3_Real_si <0x16c>;
622defm V_DIV_SCALE_F32 : VOP3be_Real_si <0x16d>;
623defm V_DIV_SCALE_F64 : VOP3be_Real_si <0x16e>;
624defm V_DIV_FMAS_F32 : VOP3_Real_si <0x16f>;
625defm V_DIV_FMAS_F64 : VOP3_Real_si <0x170>;
626defm V_MSAD_U8 : VOP3_Real_si <0x171>;
627defm V_MQSAD_PK_U16_U8 : VOP3_Real_si <0x173>;
628defm V_TRIG_PREOP_F64 : VOP3_Real_si <0x174>;
629
630//===----------------------------------------------------------------------===//
631// CI
632//===----------------------------------------------------------------------===//
633
634multiclass VOP3_Real_ci<bits<9> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000635 def _ci : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
636 VOP3e_si <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000637 let AssemblerPredicates = [isCIOnly];
638 let DecoderNamespace = "CI";
639 }
640}
641
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000642multiclass VOP3be_Real_ci<bits<9> op> {
643 def _ci : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.SI>,
644 VOP3be_si <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
645 let AssemblerPredicates = [isCIOnly];
646 let DecoderNamespace = "CI";
647 }
648}
649
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000650defm V_QSAD_PK_U16_U8 : VOP3_Real_ci <0x172>;
Dmitry Preobrazhensky3bff0c82017-04-12 15:36:09 +0000651defm V_MQSAD_U32_U8 : VOP3_Real_ci <0x175>;
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000652defm V_MAD_U64_U32 : VOP3be_Real_ci <0x176>;
653defm V_MAD_I64_I32 : VOP3be_Real_ci <0x177>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000654
655//===----------------------------------------------------------------------===//
656// VI
657//===----------------------------------------------------------------------===//
658
659let AssemblerPredicates = [isVI], DecoderNamespace = "VI" in {
660
661multiclass VOP3_Real_vi<bits<10> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000662 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
663 VOP3e_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000664}
665
666multiclass VOP3be_Real_vi<bits<10> op> {
Valery Pykhtin355103f2016-09-23 09:08:07 +0000667 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
668 VOP3be_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000669}
670
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000671multiclass VOP3OpSel_Real_gfx9<bits<10> op> {
672 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
673 VOP3OpSel_gfx9 <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
674}
675
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000676multiclass VOP3Interp_Real_vi<bits<10> op> {
677 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
678 VOP3Interp_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
679}
680
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000681} // End AssemblerPredicates = [isVI], DecoderNamespace = "VI"
682
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000683let AssemblerPredicates = [isVIOnly], DecoderNamespace = "VI" in {
684
685multiclass VOP3_F16_Real_vi<bits<10> op> {
686 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
687 VOP3e_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
688}
689
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000690multiclass VOP3Interp_F16_Real_vi<bits<10> op> {
691 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.VI>,
692 VOP3Interp_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl>;
693}
694
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000695} // End AssemblerPredicates = [isVIOnly], DecoderNamespace = "VI"
696
697let AssemblerPredicates = [isGFX9], DecoderNamespace = "GFX9" in {
698
699multiclass VOP3_F16_Real_gfx9<bits<10> op, string OpName, string AsmName> {
700 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(OpName), SIEncodingFamily.GFX9>,
701 VOP3e_vi <op, !cast<VOP3_Pseudo>(OpName).Pfl> {
702 VOP3_Pseudo ps = !cast<VOP3_Pseudo>(OpName);
703 let AsmString = AsmName # ps.AsmOperands;
704 }
705}
706
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000707multiclass VOP3OpSel_F16_Real_gfx9<bits<10> op, string AsmName> {
708 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.GFX9>,
709 VOP3OpSel_gfx9 <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
710 VOP3_Pseudo ps = !cast<VOP3_Pseudo>(NAME);
711 let AsmString = AsmName # ps.AsmOperands;
712 }
713}
714
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000715multiclass VOP3Interp_F16_Real_gfx9<bits<10> op, string OpName, string AsmName> {
716 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(OpName), SIEncodingFamily.GFX9>,
717 VOP3Interp_vi <op, !cast<VOP3_Pseudo>(OpName).Pfl> {
718 VOP3_Pseudo ps = !cast<VOP3_Pseudo>(OpName);
719 let AsmString = AsmName # ps.AsmOperands;
720 }
721}
722
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000723multiclass VOP3_Real_gfx9<bits<10> op, string AsmName> {
724 def _vi : VOP3_Real<!cast<VOP3_Pseudo>(NAME), SIEncodingFamily.GFX9>,
725 VOP3e_vi <op, !cast<VOP3_Pseudo>(NAME).Pfl> {
726 VOP3_Pseudo ps = !cast<VOP3_Pseudo>(NAME);
727 let AsmString = AsmName # ps.AsmOperands;
728 }
729}
730
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000731} // End AssemblerPredicates = [isGFX9], DecoderNamespace = "GFX9"
732
Dmitry Preobrazhensky895d3772017-03-22 13:31:01 +0000733defm V_MAD_U64_U32 : VOP3be_Real_vi <0x1E8>;
734defm V_MAD_I64_I32 : VOP3be_Real_vi <0x1E9>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000735
736defm V_MAD_LEGACY_F32 : VOP3_Real_vi <0x1c0>;
737defm V_MAD_F32 : VOP3_Real_vi <0x1c1>;
738defm V_MAD_I32_I24 : VOP3_Real_vi <0x1c2>;
739defm V_MAD_U32_U24 : VOP3_Real_vi <0x1c3>;
740defm V_CUBEID_F32 : VOP3_Real_vi <0x1c4>;
741defm V_CUBESC_F32 : VOP3_Real_vi <0x1c5>;
742defm V_CUBETC_F32 : VOP3_Real_vi <0x1c6>;
743defm V_CUBEMA_F32 : VOP3_Real_vi <0x1c7>;
744defm V_BFE_U32 : VOP3_Real_vi <0x1c8>;
745defm V_BFE_I32 : VOP3_Real_vi <0x1c9>;
746defm V_BFI_B32 : VOP3_Real_vi <0x1ca>;
747defm V_FMA_F32 : VOP3_Real_vi <0x1cb>;
748defm V_FMA_F64 : VOP3_Real_vi <0x1cc>;
749defm V_LERP_U8 : VOP3_Real_vi <0x1cd>;
750defm V_ALIGNBIT_B32 : VOP3_Real_vi <0x1ce>;
751defm V_ALIGNBYTE_B32 : VOP3_Real_vi <0x1cf>;
752defm V_MIN3_F32 : VOP3_Real_vi <0x1d0>;
753defm V_MIN3_I32 : VOP3_Real_vi <0x1d1>;
754defm V_MIN3_U32 : VOP3_Real_vi <0x1d2>;
755defm V_MAX3_F32 : VOP3_Real_vi <0x1d3>;
756defm V_MAX3_I32 : VOP3_Real_vi <0x1d4>;
757defm V_MAX3_U32 : VOP3_Real_vi <0x1d5>;
758defm V_MED3_F32 : VOP3_Real_vi <0x1d6>;
759defm V_MED3_I32 : VOP3_Real_vi <0x1d7>;
760defm V_MED3_U32 : VOP3_Real_vi <0x1d8>;
761defm V_SAD_U8 : VOP3_Real_vi <0x1d9>;
762defm V_SAD_HI_U8 : VOP3_Real_vi <0x1da>;
763defm V_SAD_U16 : VOP3_Real_vi <0x1db>;
764defm V_SAD_U32 : VOP3_Real_vi <0x1dc>;
765defm V_CVT_PK_U8_F32 : VOP3_Real_vi <0x1dd>;
766defm V_DIV_FIXUP_F32 : VOP3_Real_vi <0x1de>;
767defm V_DIV_FIXUP_F64 : VOP3_Real_vi <0x1df>;
768defm V_DIV_SCALE_F32 : VOP3be_Real_vi <0x1e0>;
769defm V_DIV_SCALE_F64 : VOP3be_Real_vi <0x1e1>;
770defm V_DIV_FMAS_F32 : VOP3_Real_vi <0x1e2>;
771defm V_DIV_FMAS_F64 : VOP3_Real_vi <0x1e3>;
772defm V_MSAD_U8 : VOP3_Real_vi <0x1e4>;
773defm V_QSAD_PK_U16_U8 : VOP3_Real_vi <0x1e5>;
774defm V_MQSAD_PK_U16_U8 : VOP3_Real_vi <0x1e6>;
775defm V_MQSAD_U32_U8 : VOP3_Real_vi <0x1e7>;
776
Dmitry Preobrazhensky14104e02017-04-12 17:10:07 +0000777defm V_PERM_B32 : VOP3_Real_vi <0x1ed>;
778
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000779defm V_MAD_F16 : VOP3_F16_Real_vi <0x1ea>;
780defm V_MAD_U16 : VOP3_F16_Real_vi <0x1eb>;
781defm V_MAD_I16 : VOP3_F16_Real_vi <0x1ec>;
782defm V_FMA_F16 : VOP3_F16_Real_vi <0x1ee>;
783defm V_DIV_FIXUP_F16 : VOP3_F16_Real_vi <0x1ef>;
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000784defm V_INTERP_P2_F16 : VOP3Interp_F16_Real_vi <0x276>;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000785
786defm V_MAD_LEGACY_F16 : VOP3_F16_Real_gfx9 <0x1ea, "V_MAD_F16", "v_mad_legacy_f16">;
787defm V_MAD_LEGACY_U16 : VOP3_F16_Real_gfx9 <0x1eb, "V_MAD_U16", "v_mad_legacy_u16">;
788defm V_MAD_LEGACY_I16 : VOP3_F16_Real_gfx9 <0x1ec, "V_MAD_I16", "v_mad_legacy_i16">;
789defm V_FMA_LEGACY_F16 : VOP3_F16_Real_gfx9 <0x1ee, "V_FMA_F16", "v_fma_legacy_f16">;
790defm V_DIV_FIXUP_LEGACY_F16 : VOP3_F16_Real_gfx9 <0x1ef, "V_DIV_FIXUP_F16", "v_div_fixup_legacy_f16">;
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000791defm V_INTERP_P2_LEGACY_F16 : VOP3Interp_F16_Real_gfx9 <0x276, "V_INTERP_P2_F16", "v_interp_p2_legacy_f16">;
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000792
Dmitry Preobrazhenskyb865ef52017-08-16 15:16:32 +0000793defm V_MAD_F16_gfx9 : VOP3OpSel_F16_Real_gfx9 <0x203, "v_mad_f16">;
794defm V_MAD_U16_gfx9 : VOP3OpSel_F16_Real_gfx9 <0x204, "v_mad_u16">;
795defm V_MAD_I16_gfx9 : VOP3OpSel_F16_Real_gfx9 <0x205, "v_mad_i16">;
796defm V_FMA_F16_gfx9 : VOP3OpSel_F16_Real_gfx9 <0x206, "v_fma_f16">;
797defm V_DIV_FIXUP_F16_gfx9 : VOP3OpSel_F16_Real_gfx9 <0x207, "v_div_fixup_f16">;
Dmitry Preobrazhensky0e8924a2017-11-24 15:37:14 +0000798defm V_INTERP_P2_F16_gfx9 : VOP3Interp_F16_Real_gfx9 <0x277, "V_INTERP_P2_F16_gfx9", "v_interp_p2_f16">;
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +0000799
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000800defm V_ADD_I32_gfx9 : VOP3_Real_gfx9 <0x29c, "v_add_i32">;
801defm V_SUB_I32_gfx9 : VOP3_Real_gfx9 <0x29d, "v_sub_i32">;
802
Dmitry Preobrazhensky50805a02017-08-07 13:14:12 +0000803defm V_INTERP_P1_F32_e64 : VOP3Interp_Real_vi <0x270>;
804defm V_INTERP_P2_F32_e64 : VOP3Interp_Real_vi <0x271>;
805defm V_INTERP_MOV_F32_e64 : VOP3Interp_Real_vi <0x272>;
806
807defm V_INTERP_P1LL_F16 : VOP3Interp_Real_vi <0x274>;
808defm V_INTERP_P1LV_F16 : VOP3Interp_Real_vi <0x275>;
Valery Pykhtine330cfa2016-09-20 10:41:16 +0000809defm V_ADD_F64 : VOP3_Real_vi <0x280>;
810defm V_MUL_F64 : VOP3_Real_vi <0x281>;
811defm V_MIN_F64 : VOP3_Real_vi <0x282>;
812defm V_MAX_F64 : VOP3_Real_vi <0x283>;
813defm V_LDEXP_F64 : VOP3_Real_vi <0x284>;
814defm V_MUL_LO_U32 : VOP3_Real_vi <0x285>;
815
816// removed from VI as identical to V_MUL_LO_U32
817let isAsmParserOnly = 1 in {
818defm V_MUL_LO_I32 : VOP3_Real_vi <0x285>;
819}
820
821defm V_MUL_HI_U32 : VOP3_Real_vi <0x286>;
822defm V_MUL_HI_I32 : VOP3_Real_vi <0x287>;
823
824defm V_LSHLREV_B64 : VOP3_Real_vi <0x28f>;
825defm V_LSHRREV_B64 : VOP3_Real_vi <0x290>;
826defm V_ASHRREV_I64 : VOP3_Real_vi <0x291>;
827defm V_TRIG_PREOP_F64 : VOP3_Real_vi <0x292>;
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000828
Matt Arsenaultc9f25172017-02-27 21:04:41 +0000829defm V_LSHL_ADD_U32 : VOP3_Real_vi <0x1fd>;
830defm V_ADD_LSHL_U32 : VOP3_Real_vi <0x1fe>;
831defm V_ADD3_U32 : VOP3_Real_vi <0x1ff>;
832defm V_LSHL_OR_B32 : VOP3_Real_vi <0x200>;
833defm V_AND_OR_B32 : VOP3_Real_vi <0x201>;
834defm V_OR3_B32 : VOP3_Real_vi <0x202>;
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000835defm V_PACK_B32_F16 : VOP3OpSel_Real_gfx9 <0x2a0>;
Matt Arsenault10268f92017-02-27 22:40:39 +0000836
Matt Arsenault03612632017-02-28 20:27:30 +0000837defm V_XAD_U32 : VOP3_Real_vi <0x1f3>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000838
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000839defm V_MIN3_F16 : VOP3OpSel_Real_gfx9 <0x1f4>;
840defm V_MIN3_I16 : VOP3OpSel_Real_gfx9 <0x1f5>;
841defm V_MIN3_U16 : VOP3OpSel_Real_gfx9 <0x1f6>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000842
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000843defm V_MAX3_F16 : VOP3OpSel_Real_gfx9 <0x1f7>;
844defm V_MAX3_I16 : VOP3OpSel_Real_gfx9 <0x1f8>;
845defm V_MAX3_U16 : VOP3OpSel_Real_gfx9 <0x1f9>;
Matt Arsenaultee324ff2017-05-17 19:25:06 +0000846
Dmitry Preobrazhenskyabf28392017-07-21 13:54:11 +0000847defm V_MED3_F16 : VOP3OpSel_Real_gfx9 <0x1fa>;
848defm V_MED3_I16 : VOP3OpSel_Real_gfx9 <0x1fb>;
849defm V_MED3_U16 : VOP3OpSel_Real_gfx9 <0x1fc>;
850
851defm V_ADD_I16 : VOP3OpSel_Real_gfx9 <0x29e>;
852defm V_SUB_I16 : VOP3OpSel_Real_gfx9 <0x29f>;
853
854defm V_MAD_U32_U16 : VOP3OpSel_Real_gfx9 <0x1f1>;
855defm V_MAD_I32_I16 : VOP3OpSel_Real_gfx9 <0x1f2>;
856
857defm V_CVT_PKNORM_I16_F16 : VOP3OpSel_Real_gfx9 <0x299>;
858defm V_CVT_PKNORM_U16_F16 : VOP3OpSel_Real_gfx9 <0x29a>;