• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1//===-- X86InstrFormats.td - X86 Instruction Formats -------*- tablegen -*-===//
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// X86 Instruction Format Definitions.
12//
13
14// Format specifies the encoding used by the instruction.  This is part of the
15// ad-hoc solution used to emit machine instruction encodings by our machine
16// code emitter.
17class Format<bits<7> val> {
18  bits<7> Value = val;
19}
20
21def Pseudo        : Format<0>;
22def RawFrm        : Format<1>;
23def AddRegFrm     : Format<2>;
24def RawFrmMemOffs : Format<3>;
25def RawFrmSrc     : Format<4>;
26def RawFrmDst     : Format<5>;
27def RawFrmDstSrc  : Format<6>;
28def RawFrmImm8    : Format<7>;
29def RawFrmImm16   : Format<8>;
30def MRMDestMem     : Format<32>;
31def MRMSrcMem      : Format<33>;
32def MRMSrcMem4VOp3 : Format<34>;
33def MRMSrcMemOp4   : Format<35>;
34def MRMXm  : Format<39>;
35def MRM0m  : Format<40>;  def MRM1m  : Format<41>;  def MRM2m  : Format<42>;
36def MRM3m  : Format<43>;  def MRM4m  : Format<44>;  def MRM5m  : Format<45>;
37def MRM6m  : Format<46>;  def MRM7m  : Format<47>;
38def MRMDestReg     : Format<48>;
39def MRMSrcReg      : Format<49>;
40def MRMSrcReg4VOp3 : Format<50>;
41def MRMSrcRegOp4   : Format<51>;
42def MRMXr  : Format<55>;
43def MRM0r  : Format<56>;  def MRM1r  : Format<57>;  def MRM2r  : Format<58>;
44def MRM3r  : Format<59>;  def MRM4r  : Format<60>;  def MRM5r  : Format<61>;
45def MRM6r  : Format<62>;  def MRM7r  : Format<63>;
46def MRM_C0 : Format<64>;  def MRM_C1 : Format<65>;  def MRM_C2 : Format<66>;
47def MRM_C3 : Format<67>;  def MRM_C4 : Format<68>;  def MRM_C5 : Format<69>;
48def MRM_C6 : Format<70>;  def MRM_C7 : Format<71>;  def MRM_C8 : Format<72>;
49def MRM_C9 : Format<73>;  def MRM_CA : Format<74>;  def MRM_CB : Format<75>;
50def MRM_CC : Format<76>;  def MRM_CD : Format<77>;  def MRM_CE : Format<78>;
51def MRM_CF : Format<79>;  def MRM_D0 : Format<80>;  def MRM_D1 : Format<81>;
52def MRM_D2 : Format<82>;  def MRM_D3 : Format<83>;  def MRM_D4 : Format<84>;
53def MRM_D5 : Format<85>;  def MRM_D6 : Format<86>;  def MRM_D7 : Format<87>;
54def MRM_D8 : Format<88>;  def MRM_D9 : Format<89>;  def MRM_DA : Format<90>;
55def MRM_DB : Format<91>;  def MRM_DC : Format<92>;  def MRM_DD : Format<93>;
56def MRM_DE : Format<94>;  def MRM_DF : Format<95>;  def MRM_E0 : Format<96>;
57def MRM_E1 : Format<97>;  def MRM_E2 : Format<98>;  def MRM_E3 : Format<99>;
58def MRM_E4 : Format<100>; def MRM_E5 : Format<101>; def MRM_E6 : Format<102>;
59def MRM_E7 : Format<103>; def MRM_E8 : Format<104>; def MRM_E9 : Format<105>;
60def MRM_EA : Format<106>; def MRM_EB : Format<107>; def MRM_EC : Format<108>;
61def MRM_ED : Format<109>; def MRM_EE : Format<110>; def MRM_EF : Format<111>;
62def MRM_F0 : Format<112>; def MRM_F1 : Format<113>; def MRM_F2 : Format<114>;
63def MRM_F3 : Format<115>; def MRM_F4 : Format<116>; def MRM_F5 : Format<117>;
64def MRM_F6 : Format<118>; def MRM_F7 : Format<119>; def MRM_F8 : Format<120>;
65def MRM_F9 : Format<121>; def MRM_FA : Format<122>; def MRM_FB : Format<123>;
66def MRM_FC : Format<124>; def MRM_FD : Format<125>; def MRM_FE : Format<126>;
67def MRM_FF : Format<127>;
68
69// ImmType - This specifies the immediate type used by an instruction. This is
70// part of the ad-hoc solution used to emit machine instruction encodings by our
71// machine code emitter.
72class ImmType<bits<4> val> {
73  bits<4> Value = val;
74}
75def NoImm      : ImmType<0>;
76def Imm8       : ImmType<1>;
77def Imm8PCRel  : ImmType<2>;
78def Imm8Reg    : ImmType<3>; // Register encoded in [7:4].
79def Imm16      : ImmType<4>;
80def Imm16PCRel : ImmType<5>;
81def Imm32      : ImmType<6>;
82def Imm32PCRel : ImmType<7>;
83def Imm32S     : ImmType<8>;
84def Imm64      : ImmType<9>;
85
86// FPFormat - This specifies what form this FP instruction has.  This is used by
87// the Floating-Point stackifier pass.
88class FPFormat<bits<3> val> {
89  bits<3> Value = val;
90}
91def NotFP      : FPFormat<0>;
92def ZeroArgFP  : FPFormat<1>;
93def OneArgFP   : FPFormat<2>;
94def OneArgFPRW : FPFormat<3>;
95def TwoArgFP   : FPFormat<4>;
96def CompareFP  : FPFormat<5>;
97def CondMovFP  : FPFormat<6>;
98def SpecialFP  : FPFormat<7>;
99
100// Class specifying the SSE execution domain, used by the SSEDomainFix pass.
101// Keep in sync with tables in X86InstrInfo.cpp.
102class Domain<bits<2> val> {
103  bits<2> Value = val;
104}
105def GenericDomain   : Domain<0>;
106def SSEPackedSingle : Domain<1>;
107def SSEPackedDouble : Domain<2>;
108def SSEPackedInt    : Domain<3>;
109
110// Class specifying the vector form of the decompressed
111// displacement of 8-bit.
112class CD8VForm<bits<3> val> {
113  bits<3> Value = val;
114}
115def CD8VF  : CD8VForm<0>;  // v := VL
116def CD8VH  : CD8VForm<1>;  // v := VL/2
117def CD8VQ  : CD8VForm<2>;  // v := VL/4
118def CD8VO  : CD8VForm<3>;  // v := VL/8
119// The tuple (subvector) forms.
120def CD8VT1 : CD8VForm<4>;  // v := 1
121def CD8VT2 : CD8VForm<5>;  // v := 2
122def CD8VT4 : CD8VForm<6>;  // v := 4
123def CD8VT8 : CD8VForm<7>;  // v := 8
124
125// Class specifying the prefix used an opcode extension.
126class Prefix<bits<3> val> {
127  bits<3> Value = val;
128}
129def NoPrfx : Prefix<0>;
130def PD     : Prefix<1>;
131def XS     : Prefix<2>;
132def XD     : Prefix<3>;
133def PS     : Prefix<4>; // Similar to NoPrfx, but disassembler uses this to know
134                        // that other instructions with this opcode use PD/XS/XD
135                        // and if any of those is not supported they shouldn't
136                        // decode to this instruction. e.g. ANDSS/ANDSD don't
137                        // exist, but the 0xf2/0xf3 encoding shouldn't
138                        // disable to ANDPS.
139
140// Class specifying the opcode map.
141class Map<bits<3> val> {
142  bits<3> Value = val;
143}
144def OB        : Map<0>;
145def TB        : Map<1>;
146def T8        : Map<2>;
147def TA        : Map<3>;
148def XOP8      : Map<4>;
149def XOP9      : Map<5>;
150def XOPA      : Map<6>;
151def ThreeDNow : Map<7>;
152
153// Class specifying the encoding
154class Encoding<bits<2> val> {
155  bits<2> Value = val;
156}
157def EncNormal : Encoding<0>;
158def EncVEX    : Encoding<1>;
159def EncXOP    : Encoding<2>;
160def EncEVEX   : Encoding<3>;
161
162// Operand size for encodings that change based on mode.
163class OperandSize<bits<2> val> {
164  bits<2> Value = val;
165}
166def OpSizeFixed  : OperandSize<0>; // Never needs a 0x66 prefix.
167def OpSize16     : OperandSize<1>; // Needs 0x66 prefix in 32-bit mode.
168def OpSize32     : OperandSize<2>; // Needs 0x66 prefix in 16-bit mode.
169
170// Address size for encodings that change based on mode.
171class AddressSize<bits<2> val> {
172  bits<2> Value = val;
173}
174def AdSizeX  : AddressSize<0>; // Address size determined using addr operand.
175def AdSize16 : AddressSize<1>; // Encodes a 16-bit address.
176def AdSize32 : AddressSize<2>; // Encodes a 32-bit address.
177def AdSize64 : AddressSize<3>; // Encodes a 64-bit address.
178
179// Prefix byte classes which are used to indicate to the ad-hoc machine code
180// emitter that various prefix bytes are required.
181class OpSize16 { OperandSize OpSize = OpSize16; }
182class OpSize32 { OperandSize OpSize = OpSize32; }
183class AdSize16 { AddressSize AdSize = AdSize16; }
184class AdSize32 { AddressSize AdSize = AdSize32; }
185class AdSize64 { AddressSize AdSize = AdSize64; }
186class REX_W  { bit hasREX_WPrefix = 1; }
187class LOCK   { bit hasLockPrefix = 1; }
188class REP    { bit hasREPPrefix = 1; }
189class TB     { Map OpMap = TB; }
190class T8     { Map OpMap = T8; }
191class TA     { Map OpMap = TA; }
192class XOP8   { Map OpMap = XOP8; Prefix OpPrefix = PS; }
193class XOP9   { Map OpMap = XOP9; Prefix OpPrefix = PS; }
194class XOPA   { Map OpMap = XOPA; Prefix OpPrefix = PS; }
195class ThreeDNow { Map OpMap = ThreeDNow; }
196class OBXS   { Prefix OpPrefix = XS; }
197class PS   : TB { Prefix OpPrefix = PS; }
198class PD   : TB { Prefix OpPrefix = PD; }
199class XD   : TB { Prefix OpPrefix = XD; }
200class XS   : TB { Prefix OpPrefix = XS; }
201class T8PS : T8 { Prefix OpPrefix = PS; }
202class T8PD : T8 { Prefix OpPrefix = PD; }
203class T8XD : T8 { Prefix OpPrefix = XD; }
204class T8XS : T8 { Prefix OpPrefix = XS; }
205class TAPS : TA { Prefix OpPrefix = PS; }
206class TAPD : TA { Prefix OpPrefix = PD; }
207class TAXD : TA { Prefix OpPrefix = XD; }
208class VEX    { Encoding OpEnc = EncVEX; }
209class VEX_W    { bits<2> VEX_WPrefix = 1; }
210class VEX_WIG  { bits<2> VEX_WPrefix = 2; }
211// Special version of VEX_W that can be changed to VEX.W==0 for EVEX2VEX.
212// FIXME: We should consider adding separate bits for VEX_WIG and the extra
213// part of W1X. This would probably simplify the tablegen emitters and
214// the TSFlags creation below.
215class VEX_W1X  { bits<2> VEX_WPrefix = 3; }
216class VEX_4V : VEX { bit hasVEX_4V = 1; }
217class VEX_L  { bit hasVEX_L = 1; }
218class VEX_LIG { bit ignoresVEX_L = 1; }
219class EVEX   { Encoding OpEnc = EncEVEX; }
220class EVEX_4V : EVEX { bit hasVEX_4V = 1; }
221class EVEX_K { bit hasEVEX_K = 1; }
222class EVEX_KZ : EVEX_K { bit hasEVEX_Z = 1; }
223class EVEX_B { bit hasEVEX_B = 1; }
224class EVEX_RC { bit hasEVEX_RC = 1; }
225class EVEX_V512 { bit hasEVEX_L2 = 1; bit hasVEX_L = 0; }
226class EVEX_V256 { bit hasEVEX_L2 = 0; bit hasVEX_L = 1; }
227class EVEX_V128 { bit hasEVEX_L2 = 0; bit hasVEX_L = 0; }
228class NOTRACK { bit hasNoTrackPrefix = 1; }
229
230// Specify AVX512 8-bit compressed displacement encoding based on the vector
231// element size in bits (8, 16, 32, 64) and the CDisp8 form.
232class EVEX_CD8<int esize, CD8VForm form> {
233  int CD8_EltSize = !srl(esize, 3);
234  bits<3> CD8_Form = form.Value;
235}
236
237class XOP { Encoding OpEnc = EncXOP; }
238class XOP_4V : XOP { bit hasVEX_4V = 1; }
239
240// Specify the alternative register form instruction to replace the current
241// instruction in case it was picked during generation of memory folding tables
242class FoldGenData<string _RegisterForm> {
243  string FoldGenRegForm = _RegisterForm;
244}
245
246// Provide a specific instruction to be used by the EVEX2VEX conversion.
247class EVEX2VEXOverride<string VEXInstrName> {
248  string EVEX2VEXOverride = VEXInstrName;
249}
250
251// Mark the instruction as "illegal to memory fold/unfold"
252class NotMemoryFoldable { bit isMemoryFoldable = 0; }
253
254// Prevent EVEX->VEX conversion from considering this instruction.
255class NotEVEX2VEXConvertible { bit notEVEX2VEXConvertible = 1; }
256
257class X86Inst<bits<8> opcod, Format f, ImmType i, dag outs, dag ins,
258              string AsmStr, Domain d = GenericDomain>
259  : Instruction {
260  let Namespace = "X86";
261
262  bits<8> Opcode = opcod;
263  Format Form = f;
264  bits<7> FormBits = Form.Value;
265  ImmType ImmT = i;
266
267  dag OutOperandList = outs;
268  dag InOperandList = ins;
269  string AsmString = AsmStr;
270
271  // If this is a pseudo instruction, mark it isCodeGenOnly.
272  let isCodeGenOnly = !eq(!cast<string>(f), "Pseudo");
273
274  //
275  // Attributes specific to X86 instructions...
276  //
277  bit ForceDisassemble = 0; // Force instruction to disassemble even though it's
278                            // isCodeGenonly. Needed to hide an ambiguous
279                            // AsmString from the parser, but still disassemble.
280
281  OperandSize OpSize = OpSizeFixed; // Does this instruction's encoding change
282                                    // based on operand size of the mode?
283  bits<2> OpSizeBits = OpSize.Value;
284  AddressSize AdSize = AdSizeX; // Does this instruction's encoding change
285                                // based on address size of the mode?
286  bits<2> AdSizeBits = AdSize.Value;
287
288  Prefix OpPrefix = NoPrfx; // Which prefix byte does this inst have?
289  bits<3> OpPrefixBits = OpPrefix.Value;
290  Map OpMap = OB;           // Which opcode map does this inst have?
291  bits<3> OpMapBits = OpMap.Value;
292  bit hasREX_WPrefix  = 0;  // Does this inst require the REX.W prefix?
293  FPFormat FPForm = NotFP;  // What flavor of FP instruction is this?
294  bit hasLockPrefix = 0;    // Does this inst have a 0xF0 prefix?
295  Domain ExeDomain = d;
296  bit hasREPPrefix = 0;     // Does this inst have a REP prefix?
297  Encoding OpEnc = EncNormal; // Encoding used by this instruction
298  bits<2> OpEncBits = OpEnc.Value;
299  bits<2> VEX_WPrefix = 0;  // Does this inst set the VEX_W field?
300  bit hasVEX_4V = 0;        // Does this inst require the VEX.VVVV field?
301  bit hasVEX_L = 0;         // Does this inst use large (256-bit) registers?
302  bit ignoresVEX_L = 0;     // Does this instruction ignore the L-bit
303  bit hasEVEX_K = 0;        // Does this inst require masking?
304  bit hasEVEX_Z = 0;        // Does this inst set the EVEX_Z field?
305  bit hasEVEX_L2 = 0;       // Does this inst set the EVEX_L2 field?
306  bit hasEVEX_B = 0;        // Does this inst set the EVEX_B field?
307  bits<3> CD8_Form = 0;     // Compressed disp8 form - vector-width.
308  // Declare it int rather than bits<4> so that all bits are defined when
309  // assigning to bits<7>.
310  int CD8_EltSize = 0;      // Compressed disp8 form - element-size in bytes.
311  bit hasEVEX_RC = 0;       // Explicitly specified rounding control in FP instruction.
312  bit hasNoTrackPrefix = 0; // Does this inst has 0x3E (NoTrack) prefix?
313
314  bits<2> EVEX_LL;
315  let EVEX_LL{0} = hasVEX_L;
316  let EVEX_LL{1} = hasEVEX_L2;
317  // Vector size in bytes.
318  bits<7> VectSize = !shl(16, EVEX_LL);
319
320  // The scaling factor for AVX512's compressed displacement is either
321  //   - the size of a  power-of-two number of elements or
322  //   - the size of a single element for broadcasts or
323  //   - the total vector size divided by a power-of-two number.
324  // Possible values are: 0 (non-AVX512 inst), 1, 2, 4, 8, 16, 32 and 64.
325  bits<7> CD8_Scale = !if (!eq (OpEnc.Value, EncEVEX.Value),
326                           !if (CD8_Form{2},
327                                !shl(CD8_EltSize, CD8_Form{1-0}),
328                                !if (hasEVEX_B,
329                                     CD8_EltSize,
330                                     !srl(VectSize, CD8_Form{1-0}))), 0);
331
332  // Used in the memory folding generation (TableGen backend) to point to an alternative
333  // instruction to replace the current one in case it got picked during generation.
334  string FoldGenRegForm = ?;
335
336  // Used to prevent an explicit EVEX2VEX override for this instruction.
337  string EVEX2VEXOverride = ?;
338
339  bit isMemoryFoldable = 1;     // Is it allowed to memory fold/unfold this instruction?
340  bit notEVEX2VEXConvertible = 0; // Prevent EVEX->VEX conversion.
341
342  // TSFlags layout should be kept in sync with X86BaseInfo.h.
343  let TSFlags{6-0}   = FormBits;
344  let TSFlags{8-7}   = OpSizeBits;
345  let TSFlags{10-9}  = AdSizeBits;
346  // No need for 3rd bit, we don't need to distinguish NoPrfx from PS.
347  let TSFlags{12-11} = OpPrefixBits{1-0};
348  let TSFlags{15-13} = OpMapBits;
349  let TSFlags{16}    = hasREX_WPrefix;
350  let TSFlags{20-17} = ImmT.Value;
351  let TSFlags{23-21} = FPForm.Value;
352  let TSFlags{24}    = hasLockPrefix;
353  let TSFlags{25}    = hasREPPrefix;
354  let TSFlags{27-26} = ExeDomain.Value;
355  let TSFlags{29-28} = OpEncBits;
356  let TSFlags{37-30} = Opcode;
357  // Currently no need for second bit in TSFlags - W Ignore is equivalent to 0.
358  let TSFlags{38}    = VEX_WPrefix{0};
359  let TSFlags{39}    = hasVEX_4V;
360  let TSFlags{40}    = hasVEX_L;
361  let TSFlags{41}    = hasEVEX_K;
362  let TSFlags{42}    = hasEVEX_Z;
363  let TSFlags{43}    = hasEVEX_L2;
364  let TSFlags{44}    = hasEVEX_B;
365  // If we run out of TSFlags bits, it's possible to encode this in 3 bits.
366  let TSFlags{51-45} = CD8_Scale;
367  let TSFlags{52}    = hasEVEX_RC;
368  let TSFlags{53}    = hasNoTrackPrefix;
369}
370
371class PseudoI<dag oops, dag iops, list<dag> pattern>
372  : X86Inst<0, Pseudo, NoImm, oops, iops, ""> {
373  let Pattern = pattern;
374}
375
376class I<bits<8> o, Format f, dag outs, dag ins, string asm,
377        list<dag> pattern, Domain d = GenericDomain>
378  : X86Inst<o, f, NoImm, outs, ins, asm, d> {
379  let Pattern = pattern;
380  let CodeSize = 3;
381}
382class Ii8<bits<8> o, Format f, dag outs, dag ins, string asm,
383          list<dag> pattern, Domain d = GenericDomain>
384  : X86Inst<o, f, Imm8, outs, ins, asm, d> {
385  let Pattern = pattern;
386  let CodeSize = 3;
387}
388class Ii8Reg<bits<8> o, Format f, dag outs, dag ins, string asm,
389             list<dag> pattern, Domain d = GenericDomain>
390  : X86Inst<o, f, Imm8Reg, outs, ins, asm, d> {
391  let Pattern = pattern;
392  let CodeSize = 3;
393}
394class Ii8PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
395               list<dag> pattern>
396  : X86Inst<o, f, Imm8PCRel, outs, ins, asm> {
397  let Pattern = pattern;
398  let CodeSize = 3;
399}
400class Ii16<bits<8> o, Format f, dag outs, dag ins, string asm,
401           list<dag> pattern>
402  : X86Inst<o, f, Imm16, outs, ins, asm> {
403  let Pattern = pattern;
404  let CodeSize = 3;
405}
406class Ii32<bits<8> o, Format f, dag outs, dag ins, string asm,
407           list<dag> pattern>
408  : X86Inst<o, f, Imm32, outs, ins, asm> {
409  let Pattern = pattern;
410  let CodeSize = 3;
411}
412class Ii32S<bits<8> o, Format f, dag outs, dag ins, string asm,
413            list<dag> pattern>
414  : X86Inst<o, f, Imm32S, outs, ins, asm> {
415  let Pattern = pattern;
416  let CodeSize = 3;
417}
418
419class Ii64<bits<8> o, Format f, dag outs, dag ins, string asm,
420           list<dag> pattern>
421  : X86Inst<o, f, Imm64, outs, ins, asm> {
422  let Pattern = pattern;
423  let CodeSize = 3;
424}
425
426class Ii16PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
427           list<dag> pattern>
428           : X86Inst<o, f, Imm16PCRel, outs, ins, asm> {
429  let Pattern = pattern;
430  let CodeSize = 3;
431}
432
433class Ii32PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
434           list<dag> pattern>
435  : X86Inst<o, f, Imm32PCRel, outs, ins, asm> {
436  let Pattern = pattern;
437  let CodeSize = 3;
438}
439
440// FPStack Instruction Templates:
441// FPI - Floating Point Instruction template.
442class FPI<bits<8> o, Format F, dag outs, dag ins, string asm>
443  : I<o, F, outs, ins, asm, []> {}
444
445// FpI_ - Floating Point Pseudo Instruction template. Not Predicated.
446class FpI_<dag outs, dag ins, FPFormat fp, list<dag> pattern>
447  : PseudoI<outs, ins, pattern> {
448  let FPForm = fp;
449}
450
451// Templates for instructions that use a 16- or 32-bit segmented address as
452//  their only operand: lcall (FAR CALL) and ljmp (FAR JMP)
453//
454//   Iseg16 - 16-bit segment selector, 16-bit offset
455//   Iseg32 - 16-bit segment selector, 32-bit offset
456
457class Iseg16 <bits<8> o, Format f, dag outs, dag ins, string asm,
458              list<dag> pattern>
459      : X86Inst<o, f, Imm16, outs, ins, asm> {
460  let Pattern = pattern;
461  let CodeSize = 3;
462}
463
464class Iseg32 <bits<8> o, Format f, dag outs, dag ins, string asm,
465              list<dag> pattern>
466      : X86Inst<o, f, Imm32, outs, ins, asm> {
467  let Pattern = pattern;
468  let CodeSize = 3;
469}
470
471// SI - SSE 1 & 2 scalar instructions
472class SI<bits<8> o, Format F, dag outs, dag ins, string asm,
473         list<dag> pattern, Domain d = GenericDomain>
474      : I<o, F, outs, ins, asm, pattern, d> {
475  let Predicates = !if(!eq(OpEnc.Value, EncEVEX.Value), [HasAVX512],
476                   !if(!eq(OpEnc.Value, EncVEX.Value), [UseAVX],
477                   !if(!eq(OpPrefix.Value, XS.Value), [UseSSE1],
478                   !if(!eq(OpPrefix.Value, XD.Value), [UseSSE2],
479                   !if(!eq(OpPrefix.Value, PD.Value), [UseSSE2],
480                   [UseSSE1])))));
481
482  // AVX instructions have a 'v' prefix in the mnemonic
483  let AsmString = !if(!eq(OpEnc.Value, EncEVEX.Value), !strconcat("v", asm),
484                  !if(!eq(OpEnc.Value, EncVEX.Value), !strconcat("v", asm),
485                  asm));
486}
487
488// SI - SSE 1 & 2 scalar intrinsics - vex form available on AVX512
489class SI_Int<bits<8> o, Format F, dag outs, dag ins, string asm,
490         list<dag> pattern, Domain d = GenericDomain>
491      : I<o, F, outs, ins, asm, pattern, d> {
492  let Predicates = !if(!eq(OpEnc.Value, EncEVEX.Value), [HasAVX512],
493                   !if(!eq(OpEnc.Value, EncVEX.Value), [UseAVX],
494                   !if(!eq(OpPrefix.Value, XS.Value), [UseSSE1],
495                   !if(!eq(OpPrefix.Value, XD.Value), [UseSSE2],
496                   !if(!eq(OpPrefix.Value, PD.Value), [UseSSE2],
497                   [UseSSE1])))));
498
499  // AVX instructions have a 'v' prefix in the mnemonic
500  let AsmString = !if(!eq(OpEnc.Value, EncEVEX.Value), !strconcat("v", asm),
501                  !if(!eq(OpEnc.Value, EncVEX.Value), !strconcat("v", asm),
502                  asm));
503}
504// SIi8 - SSE 1 & 2 scalar instructions - vex form available on AVX512
505class SIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
506           list<dag> pattern>
507      : Ii8<o, F, outs, ins, asm, pattern> {
508  let Predicates = !if(!eq(OpEnc.Value, EncEVEX.Value), [HasAVX512],
509                   !if(!eq(OpEnc.Value, EncVEX.Value), [HasAVX],
510                   !if(!eq(OpPrefix.Value, XS.Value), [UseSSE1],
511                   [UseSSE2])));
512
513  // AVX instructions have a 'v' prefix in the mnemonic
514  let AsmString = !if(!eq(OpEnc.Value, EncEVEX.Value), !strconcat("v", asm),
515                  !if(!eq(OpEnc.Value, EncVEX.Value), !strconcat("v", asm),
516                  asm));
517}
518
519// PI - SSE 1 & 2 packed instructions
520class PI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern,
521         Domain d>
522      : I<o, F, outs, ins, asm, pattern, d> {
523  let Predicates = !if(!eq(OpEnc.Value, EncEVEX.Value), [HasAVX512],
524                   !if(!eq(OpEnc.Value, EncVEX.Value), [HasAVX],
525                   !if(!eq(OpPrefix.Value, PD.Value), [UseSSE2],
526                   [UseSSE1])));
527
528  // AVX instructions have a 'v' prefix in the mnemonic
529  let AsmString = !if(!eq(OpEnc.Value, EncEVEX.Value), !strconcat("v", asm),
530                  !if(!eq(OpEnc.Value, EncVEX.Value), !strconcat("v", asm),
531                  asm));
532}
533
534// MMXPI - SSE 1 & 2 packed instructions with MMX operands
535class MMXPI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern,
536            Domain d>
537      : I<o, F, outs, ins, asm, pattern, d> {
538  let Predicates = !if(!eq(OpPrefix.Value, PD.Value), [HasMMX, HasSSE2],
539                       [HasMMX, HasSSE1]);
540}
541
542// PIi8 - SSE 1 & 2 packed instructions with immediate
543class PIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
544           list<dag> pattern, Domain d>
545      : Ii8<o, F, outs, ins, asm, pattern, d> {
546  let Predicates = !if(!eq(OpEnc.Value, EncEVEX.Value), [HasAVX512],
547                   !if(!eq(OpEnc.Value, EncVEX.Value), [HasAVX],
548                   !if(!eq(OpPrefix.Value, PD.Value), [UseSSE2],
549                   [UseSSE1])));
550
551  // AVX instructions have a 'v' prefix in the mnemonic
552  let AsmString = !if(!eq(OpEnc.Value, EncEVEX.Value), !strconcat("v", asm),
553                  !if(!eq(OpEnc.Value, EncVEX.Value), !strconcat("v", asm),
554                  asm));
555}
556
557// SSE1 Instruction Templates:
558//
559//   SSI   - SSE1 instructions with XS prefix.
560//   PSI   - SSE1 instructions with PS prefix.
561//   PSIi8 - SSE1 instructions with ImmT == Imm8 and PS prefix.
562//   VSSI  - SSE1 instructions with XS prefix in AVX form.
563//   VPSI  - SSE1 instructions with PS prefix in AVX form, packed single.
564
565class SSI<bits<8> o, Format F, dag outs, dag ins, string asm,
566          list<dag> pattern>
567      : I<o, F, outs, ins, asm, pattern>, XS, Requires<[UseSSE1]>;
568class SSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
569            list<dag> pattern>
570      : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[UseSSE1]>;
571class PSI<bits<8> o, Format F, dag outs, dag ins, string asm,
572          list<dag> pattern>
573      : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, PS,
574        Requires<[UseSSE1]>;
575class PSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
576            list<dag> pattern>
577      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedSingle>, PS,
578        Requires<[UseSSE1]>;
579class VSSI<bits<8> o, Format F, dag outs, dag ins, string asm,
580           list<dag> pattern>
581      : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XS,
582        Requires<[HasAVX]>;
583class VPSI<bits<8> o, Format F, dag outs, dag ins, string asm,
584           list<dag> pattern>
585      : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedSingle>, PS,
586        Requires<[HasAVX]>;
587
588// SSE2 Instruction Templates:
589//
590//   SDI    - SSE2 instructions with XD prefix.
591//   SDIi8  - SSE2 instructions with ImmT == Imm8 and XD prefix.
592//   S2SI   - SSE2 instructions with XS prefix.
593//   SSDIi8 - SSE2 instructions with ImmT == Imm8 and XS prefix.
594//   PDI    - SSE2 instructions with PD prefix, packed double domain.
595//   PDIi8  - SSE2 instructions with ImmT == Imm8 and PD prefix.
596//   VSDI   - SSE2 scalar instructions with XD prefix in AVX form.
597//   VPDI   - SSE2 vector instructions with PD prefix in AVX form,
598//                 packed double domain.
599//   VS2I   - SSE2 scalar instructions with PD prefix in AVX form.
600//   S2I    - SSE2 scalar instructions with PD prefix.
601//   MMXSDIi8  - SSE2 instructions with ImmT == Imm8 and XD prefix as well as
602//               MMX operands.
603//   MMXSSDIi8 - SSE2 instructions with ImmT == Imm8 and XS prefix as well as
604//               MMX operands.
605
606class SDI<bits<8> o, Format F, dag outs, dag ins, string asm,
607          list<dag> pattern>
608      : I<o, F, outs, ins, asm, pattern>, XD, Requires<[UseSSE2]>;
609class SDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
610            list<dag> pattern>
611      : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[UseSSE2]>;
612class S2SI<bits<8> o, Format F, dag outs, dag ins, string asm,
613           list<dag> pattern>
614      : I<o, F, outs, ins, asm, pattern>, XS, Requires<[UseSSE2]>;
615class S2SIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
616             list<dag> pattern>
617      : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[UseSSE2]>;
618class PDI<bits<8> o, Format F, dag outs, dag ins, string asm,
619          list<dag> pattern>
620      : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, PD,
621        Requires<[UseSSE2]>;
622class PDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
623            list<dag> pattern>
624      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedDouble>, PD,
625        Requires<[UseSSE2]>;
626class VSDI<bits<8> o, Format F, dag outs, dag ins, string asm,
627           list<dag> pattern>
628      : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XD,
629        Requires<[UseAVX]>;
630class VS2SI<bits<8> o, Format F, dag outs, dag ins, string asm,
631            list<dag> pattern>
632      : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XS,
633        Requires<[HasAVX]>;
634class VPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
635           list<dag> pattern>
636      : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedDouble>,
637        PD, Requires<[HasAVX]>;
638class VS2I<bits<8> o, Format F, dag outs, dag ins, string asm,
639           list<dag> pattern>
640      : I<o, F, outs, ins, !strconcat("v", asm), pattern>, PD,
641        Requires<[UseAVX]>;
642class S2I<bits<8> o, Format F, dag outs, dag ins, string asm,
643           list<dag> pattern>
644      : I<o, F, outs, ins, asm, pattern>, PD, Requires<[UseSSE2]>;
645class MMXSDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
646               list<dag> pattern>
647      : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasMMX, HasSSE2]>;
648class MMXS2SIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
649                list<dag> pattern>
650      : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasMMX, HasSSE2]>;
651
652// SSE3 Instruction Templates:
653//
654//   S3I   - SSE3 instructions with PD prefixes.
655//   S3SI  - SSE3 instructions with XS prefix.
656//   S3DI  - SSE3 instructions with XD prefix.
657
658class S3SI<bits<8> o, Format F, dag outs, dag ins, string asm,
659           list<dag> pattern>
660      : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, XS,
661        Requires<[UseSSE3]>;
662class S3DI<bits<8> o, Format F, dag outs, dag ins, string asm,
663           list<dag> pattern>
664      : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, XD,
665        Requires<[UseSSE3]>;
666class S3I<bits<8> o, Format F, dag outs, dag ins, string asm,
667          list<dag> pattern>
668      : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, PD,
669        Requires<[UseSSE3]>;
670
671
672// SSSE3 Instruction Templates:
673//
674//   SS38I - SSSE3 instructions with T8 prefix.
675//   SS3AI - SSSE3 instructions with TA prefix.
676//   MMXSS38I - SSSE3 instructions with T8 prefix and MMX operands.
677//   MMXSS3AI - SSSE3 instructions with TA prefix and MMX operands.
678//
679// Note: SSSE3 instructions have 64-bit and 128-bit versions. The 64-bit version
680// uses the MMX registers. The 64-bit versions are grouped with the MMX
681// classes. They need to be enabled even if AVX is enabled.
682
683class SS38I<bits<8> o, Format F, dag outs, dag ins, string asm,
684            list<dag> pattern>
685      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
686        Requires<[UseSSSE3]>;
687class SS3AI<bits<8> o, Format F, dag outs, dag ins, string asm,
688            list<dag> pattern>
689      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
690        Requires<[UseSSSE3]>;
691class MMXSS38I<bits<8> o, Format F, dag outs, dag ins, string asm,
692               list<dag> pattern>
693      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PS,
694        Requires<[HasMMX, HasSSSE3]>;
695class MMXSS3AI<bits<8> o, Format F, dag outs, dag ins, string asm,
696               list<dag> pattern>
697      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPS,
698        Requires<[HasMMX, HasSSSE3]>;
699
700// SSE4.1 Instruction Templates:
701//
702//   SS48I - SSE 4.1 instructions with T8 prefix.
703//   SS41AIi8 - SSE 4.1 instructions with TA prefix and ImmT == Imm8.
704//
705class SS48I<bits<8> o, Format F, dag outs, dag ins, string asm,
706            list<dag> pattern>
707      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
708        Requires<[UseSSE41]>;
709class SS4AIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
710            list<dag> pattern>
711      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
712        Requires<[UseSSE41]>;
713
714// SSE4.2 Instruction Templates:
715//
716//   SS428I - SSE 4.2 instructions with T8 prefix.
717class SS428I<bits<8> o, Format F, dag outs, dag ins, string asm,
718             list<dag> pattern>
719      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
720        Requires<[UseSSE42]>;
721
722//   SS42FI - SSE 4.2 instructions with T8XD prefix.
723// NOTE: 'HasSSE42' is used as SS42FI is only used for CRC32 insns.
724class SS42FI<bits<8> o, Format F, dag outs, dag ins, string asm,
725             list<dag> pattern>
726      : I<o, F, outs, ins, asm, pattern>, T8XD, Requires<[HasSSE42]>;
727
728//   SS42AI = SSE 4.2 instructions with TA prefix
729class SS42AI<bits<8> o, Format F, dag outs, dag ins, string asm,
730             list<dag> pattern>
731      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
732        Requires<[UseSSE42]>;
733
734// AVX Instruction Templates:
735//   Instructions introduced in AVX (no SSE equivalent forms)
736//
737//   AVX8I - AVX instructions with T8PD prefix.
738//   AVXAIi8 - AVX instructions with TAPD prefix and ImmT = Imm8.
739class AVX8I<bits<8> o, Format F, dag outs, dag ins, string asm,
740            list<dag> pattern>
741      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
742        Requires<[HasAVX]>;
743class AVXAIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
744              list<dag> pattern>
745      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
746        Requires<[HasAVX]>;
747
748// AVX2 Instruction Templates:
749//   Instructions introduced in AVX2 (no SSE equivalent forms)
750//
751//   AVX28I - AVX2 instructions with T8PD prefix.
752//   AVX2AIi8 - AVX2 instructions with TAPD prefix and ImmT = Imm8.
753class AVX28I<bits<8> o, Format F, dag outs, dag ins, string asm,
754            list<dag> pattern>
755      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
756        Requires<[HasAVX2]>;
757class AVX2AIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
758              list<dag> pattern>
759      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
760        Requires<[HasAVX2]>;
761
762
763// AVX-512 Instruction Templates:
764//   Instructions introduced in AVX-512 (no SSE equivalent forms)
765//
766//   AVX5128I - AVX-512 instructions with T8PD prefix.
767//   AVX512AIi8 - AVX-512 instructions with TAPD prefix and ImmT = Imm8.
768//   AVX512PDI  - AVX-512 instructions with PD, double packed.
769//   AVX512PSI  - AVX-512 instructions with PS, single packed.
770//   AVX512XS8I - AVX-512 instructions with T8 and XS prefixes.
771//   AVX512XSI  - AVX-512 instructions with XS prefix, generic domain.
772//   AVX512BI   - AVX-512 instructions with PD, int packed domain.
773//   AVX512SI   - AVX-512 scalar instructions with PD prefix.
774
775class AVX5128I<bits<8> o, Format F, dag outs, dag ins, string asm,
776            list<dag> pattern>
777      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
778        Requires<[HasAVX512]>;
779class AVX5128IBase : T8PD {
780  Domain ExeDomain = SSEPackedInt;
781}
782class AVX512XS8I<bits<8> o, Format F, dag outs, dag ins, string asm,
783            list<dag> pattern>
784      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8XS,
785        Requires<[HasAVX512]>;
786class AVX512XSI<bits<8> o, Format F, dag outs, dag ins, string asm,
787            list<dag> pattern>
788      : I<o, F, outs, ins, asm, pattern>, XS,
789        Requires<[HasAVX512]>;
790class AVX512XDI<bits<8> o, Format F, dag outs, dag ins, string asm,
791            list<dag> pattern>
792      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, XD,
793        Requires<[HasAVX512]>;
794class AVX512BI<bits<8> o, Format F, dag outs, dag ins, string asm,
795            list<dag> pattern>
796      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, PD,
797        Requires<[HasAVX512]>;
798class AVX512BIBase : PD {
799  Domain ExeDomain = SSEPackedInt;
800}
801class AVX512BIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
802              list<dag> pattern>
803      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, PD,
804        Requires<[HasAVX512]>;
805class AVX512BIi8Base : PD {
806  Domain ExeDomain = SSEPackedInt;
807  ImmType ImmT = Imm8;
808}
809class AVX512XSIi8Base : XS {
810  Domain ExeDomain = SSEPackedInt;
811  ImmType ImmT = Imm8;
812}
813class AVX512XDIi8Base : XD {
814  Domain ExeDomain = SSEPackedInt;
815  ImmType ImmT = Imm8;
816}
817class AVX512PSIi8Base : PS {
818  Domain ExeDomain = SSEPackedSingle;
819  ImmType ImmT = Imm8;
820}
821class AVX512PDIi8Base : PD {
822  Domain ExeDomain = SSEPackedDouble;
823  ImmType ImmT = Imm8;
824}
825class AVX512AIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
826              list<dag> pattern>
827      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
828        Requires<[HasAVX512]>;
829class AVX512AIi8Base : TAPD {
830  ImmType ImmT = Imm8;
831}
832class AVX512Ii8<bits<8> o, Format F, dag outs, dag ins, string asm,
833              list<dag> pattern>
834      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>,
835        Requires<[HasAVX512]>;
836class AVX512PDI<bits<8> o, Format F, dag outs, dag ins, string asm,
837           list<dag> pattern>
838      : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, PD,
839        Requires<[HasAVX512]>;
840class AVX512PSI<bits<8> o, Format F, dag outs, dag ins, string asm,
841           list<dag> pattern>
842      : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, PS,
843        Requires<[HasAVX512]>;
844class AVX512PIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
845              list<dag> pattern, Domain d>
846      : Ii8<o, F, outs, ins, asm, pattern, d>, Requires<[HasAVX512]>;
847class AVX512PI<bits<8> o, Format F, dag outs, dag ins, string asm,
848              list<dag> pattern, Domain d>
849      : I<o, F, outs, ins, asm, pattern, d>, Requires<[HasAVX512]>;
850class AVX512FMA3S<bits<8> o, Format F, dag outs, dag ins, string asm,
851           list<dag>pattern>
852      : I<o, F, outs, ins, asm, pattern>, T8PD,
853        EVEX_4V, Requires<[HasAVX512]>;
854class AVX512FMA3Base : T8PD, EVEX_4V;
855
856class AVX512<bits<8> o, Format F, dag outs, dag ins, string asm,
857           list<dag>pattern>
858      : I<o, F, outs, ins, asm, pattern>, Requires<[HasAVX512]>;
859
860// AES Instruction Templates:
861//
862// AES8I
863// These use the same encoding as the SSE4.2 T8 and TA encodings.
864class AES8I<bits<8> o, Format F, dag outs, dag ins, string asm,
865            list<dag>pattern>
866      : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8PD,
867        Requires<[NoAVX, HasAES]>;
868
869class AESAI<bits<8> o, Format F, dag outs, dag ins, string asm,
870            list<dag> pattern>
871      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
872        Requires<[NoAVX, HasAES]>;
873
874// PCLMUL Instruction Templates
875class PCLMULIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
876               list<dag>pattern>
877      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD;
878
879// FMA3 Instruction Templates
880class FMA3<bits<8> o, Format F, dag outs, dag ins, string asm,
881           list<dag>pattern>
882      : I<o, F, outs, ins, asm, pattern>, T8PD,
883        VEX_4V, FMASC, Requires<[HasFMA, NoFMA4, NoVLX]>;
884class FMA3S<bits<8> o, Format F, dag outs, dag ins, string asm,
885            list<dag>pattern>
886      : I<o, F, outs, ins, asm, pattern>, T8PD,
887        VEX_4V, FMASC, Requires<[HasFMA, NoFMA4, NoAVX512]>;
888class FMA3S_Int<bits<8> o, Format F, dag outs, dag ins, string asm,
889                list<dag>pattern>
890      : I<o, F, outs, ins, asm, pattern>, T8PD,
891        VEX_4V, FMASC, Requires<[HasFMA, NoAVX512]>;
892
893// FMA4 Instruction Templates
894class FMA4<bits<8> o, Format F, dag outs, dag ins, string asm,
895           list<dag>pattern>
896      : Ii8Reg<o, F, outs, ins, asm, pattern>, TAPD,
897        VEX_4V, FMASC, Requires<[HasFMA4, NoVLX]>;
898class FMA4S<bits<8> o, Format F, dag outs, dag ins, string asm,
899            list<dag>pattern>
900      : Ii8Reg<o, F, outs, ins, asm, pattern>, TAPD,
901        VEX_4V, FMASC, Requires<[HasFMA4, NoAVX512]>;
902class FMA4S_Int<bits<8> o, Format F, dag outs, dag ins, string asm,
903                list<dag>pattern>
904      : Ii8Reg<o, F, outs, ins, asm, pattern>, TAPD,
905        VEX_4V, FMASC, Requires<[HasFMA4]>;
906
907// XOP 2, 3 and 4 Operand Instruction Template
908class IXOP<bits<8> o, Format F, dag outs, dag ins, string asm,
909           list<dag> pattern>
910      : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>,
911         XOP9, Requires<[HasXOP]>;
912
913// XOP 2 and 3 Operand Instruction Templates with imm byte
914class IXOPi8<bits<8> o, Format F, dag outs, dag ins, string asm,
915           list<dag> pattern>
916      : Ii8<o, F, outs, ins, asm, pattern, SSEPackedDouble>,
917         XOP8, Requires<[HasXOP]>;
918// XOP 4 Operand Instruction Templates with imm byte
919class IXOPi8Reg<bits<8> o, Format F, dag outs, dag ins, string asm,
920           list<dag> pattern>
921      : Ii8Reg<o, F, outs, ins, asm, pattern, SSEPackedDouble>,
922         XOP8, Requires<[HasXOP]>;
923
924//  XOP 5 operand instruction (VEX encoding!)
925class IXOP5<bits<8> o, Format F, dag outs, dag ins, string asm,
926           list<dag>pattern>
927      : Ii8Reg<o, F, outs, ins, asm, pattern, SSEPackedInt>, TAPD,
928        VEX_4V, Requires<[HasXOP]>;
929
930// X86-64 Instruction templates...
931//
932
933class RI<bits<8> o, Format F, dag outs, dag ins, string asm,
934         list<dag> pattern>
935      : I<o, F, outs, ins, asm, pattern>, REX_W;
936class RIi8 <bits<8> o, Format F, dag outs, dag ins, string asm,
937            list<dag> pattern>
938      : Ii8<o, F, outs, ins, asm, pattern>, REX_W;
939class RIi16 <bits<8> o, Format F, dag outs, dag ins, string asm,
940            list<dag> pattern>
941      : Ii16<o, F, outs, ins, asm, pattern>, REX_W;
942class RIi32 <bits<8> o, Format F, dag outs, dag ins, string asm,
943             list<dag> pattern>
944      : Ii32<o, F, outs, ins, asm, pattern>, REX_W;
945class RIi32S <bits<8> o, Format F, dag outs, dag ins, string asm,
946              list<dag> pattern>
947      : Ii32S<o, F, outs, ins, asm, pattern>, REX_W;
948class RIi64<bits<8> o, Format F, dag outs, dag ins, string asm,
949            list<dag> pattern>
950      : Ii64<o, F, outs, ins, asm, pattern>, REX_W;
951
952class RS2I<bits<8> o, Format F, dag outs, dag ins, string asm,
953           list<dag> pattern>
954      : S2I<o, F, outs, ins, asm, pattern>, REX_W;
955class VRS2I<bits<8> o, Format F, dag outs, dag ins, string asm,
956           list<dag> pattern>
957      : VS2I<o, F, outs, ins, asm, pattern>, VEX_W;
958
959// MMX Instruction templates
960//
961
962// MMXI   - MMX instructions with TB prefix.
963// MMXI32 - MMX instructions with TB prefix valid only in 32 bit mode.
964// MMXI64 - MMX instructions with TB prefix valid only in 64 bit mode.
965// MMX2I  - MMX / SSE2 instructions with PD prefix.
966// MMXIi8 - MMX instructions with ImmT == Imm8 and PS prefix.
967// MMXIi8 - MMX instructions with ImmT == Imm8 and PS prefix.
968// MMXID  - MMX instructions with XD prefix.
969// MMXIS  - MMX instructions with XS prefix.
970class MMXI<bits<8> o, Format F, dag outs, dag ins, string asm,
971           list<dag> pattern>
972      : I<o, F, outs, ins, asm, pattern>, PS, Requires<[HasMMX]>;
973class MMXI32<bits<8> o, Format F, dag outs, dag ins, string asm,
974             list<dag> pattern>
975      : I<o, F, outs, ins, asm, pattern>, PS, Requires<[HasMMX,Not64BitMode]>;
976class MMXI64<bits<8> o, Format F, dag outs, dag ins, string asm,
977             list<dag> pattern>
978      : I<o, F, outs, ins, asm, pattern>, PS, Requires<[HasMMX,In64BitMode]>;
979class MMXRI<bits<8> o, Format F, dag outs, dag ins, string asm,
980            list<dag> pattern>
981      : I<o, F, outs, ins, asm, pattern>, PS, REX_W, Requires<[HasMMX]>;
982class MMX2I<bits<8> o, Format F, dag outs, dag ins, string asm,
983            list<dag> pattern>
984      : I<o, F, outs, ins, asm, pattern>, PD, Requires<[HasMMX]>;
985class MMXIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
986             list<dag> pattern>
987      : Ii8<o, F, outs, ins, asm, pattern>, PS, Requires<[HasMMX]>;
988class MMXID<bits<8> o, Format F, dag outs, dag ins, string asm,
989            list<dag> pattern>
990      : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasMMX]>;
991class MMXIS<bits<8> o, Format F, dag outs, dag ins, string asm,
992            list<dag> pattern>
993      : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasMMX]>;
994