blob: 0a1590b3e0a2b14d282f923aa151b13d5f83af29 [file] [log] [blame]
Evan Cheng12c6be82007-07-31 08:04:03 +00001//===- X86InstrFormats.td - X86 Instruction Formats --------*- tablegen -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng12c6be82007-07-31 08:04:03 +00007//
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<6> val> {
18 bits<6> Value = val;
19}
20
21def Pseudo : Format<0>; def RawFrm : Format<1>;
22def AddRegFrm : Format<2>; def MRMDestReg : Format<3>;
23def MRMDestMem : Format<4>; def MRMSrcReg : Format<5>;
24def MRMSrcMem : Format<6>;
25def MRM0r : Format<16>; def MRM1r : Format<17>; def MRM2r : Format<18>;
26def MRM3r : Format<19>; def MRM4r : Format<20>; def MRM5r : Format<21>;
27def MRM6r : Format<22>; def MRM7r : Format<23>;
28def MRM0m : Format<24>; def MRM1m : Format<25>; def MRM2m : Format<26>;
29def MRM3m : Format<27>; def MRM4m : Format<28>; def MRM5m : Format<29>;
30def MRM6m : Format<30>; def MRM7m : Format<31>;
31def MRMInitReg : Format<32>;
Chris Lattnerf7477e52010-02-12 02:06:33 +000032def MRM_C1 : Format<33>;
Chris Lattner140caa72010-02-13 00:41:14 +000033def MRM_C2 : Format<34>;
34def MRM_C3 : Format<35>;
35def MRM_C4 : Format<36>;
36def MRM_C8 : Format<37>;
37def MRM_C9 : Format<38>;
38def MRM_E8 : Format<39>;
39def MRM_F0 : Format<40>;
40def MRM_F8 : Format<41>;
Sean Callanan4d804d72010-02-13 02:06:11 +000041def MRM_F9 : Format<42>;
Chris Lattnercea0a8d2010-09-17 18:02:29 +000042def RawFrmImm8 : Format<43>;
43def RawFrmImm16 : Format<44>;
Rafael Espindolae3906212011-02-22 00:35:18 +000044def MRM_D0 : Format<45>;
45def MRM_D1 : Format<46>;
Evan Cheng12c6be82007-07-31 08:04:03 +000046
47// ImmType - This specifies the immediate type used by an instruction. This is
48// part of the ad-hoc solution used to emit machine instruction encodings by our
49// machine code emitter.
50class ImmType<bits<3> val> {
51 bits<3> Value = val;
52}
Chris Lattner12455ca2010-02-12 22:27:07 +000053def NoImm : ImmType<0>;
54def Imm8 : ImmType<1>;
55def Imm8PCRel : ImmType<2>;
56def Imm16 : ImmType<3>;
Chris Lattnerac588122010-07-07 22:27:31 +000057def Imm16PCRel : ImmType<4>;
58def Imm32 : ImmType<5>;
59def Imm32PCRel : ImmType<6>;
60def Imm64 : ImmType<7>;
Evan Cheng12c6be82007-07-31 08:04:03 +000061
62// FPFormat - This specifies what form this FP instruction has. This is used by
63// the Floating-Point stackifier pass.
64class FPFormat<bits<3> val> {
65 bits<3> Value = val;
66}
67def NotFP : FPFormat<0>;
68def ZeroArgFP : FPFormat<1>;
69def OneArgFP : FPFormat<2>;
70def OneArgFPRW : FPFormat<3>;
71def TwoArgFP : FPFormat<4>;
72def CompareFP : FPFormat<5>;
73def CondMovFP : FPFormat<6>;
74def SpecialFP : FPFormat<7>;
75
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +000076// Class specifying the SSE execution domain, used by the SSEDomainFix pass.
Jakob Stoklund Olesendbff4e82010-03-30 22:46:53 +000077// Keep in sync with tables in X86InstrInfo.cpp.
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +000078class Domain<bits<2> val> {
79 bits<2> Value = val;
80}
81def GenericDomain : Domain<0>;
Jakob Stoklund Olesendbff4e82010-03-30 22:46:53 +000082def SSEPackedSingle : Domain<1>;
83def SSEPackedDouble : Domain<2>;
84def SSEPackedInt : Domain<3>;
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +000085
Evan Cheng12c6be82007-07-31 08:04:03 +000086// Prefix byte classes which are used to indicate to the ad-hoc machine code
87// emitter that various prefix bytes are required.
88class OpSize { bit hasOpSizePrefix = 1; }
89class AdSize { bit hasAdSizePrefix = 1; }
90class REX_W { bit hasREX_WPrefix = 1; }
Andrew Lenharth0070dd12008-03-01 13:37:02 +000091class LOCK { bit hasLockPrefix = 1; }
Anton Korobeynikov25897772008-10-11 19:09:15 +000092class SegFS { bits<2> SegOvrBits = 1; }
93class SegGS { bits<2> SegOvrBits = 2; }
Joerg Sonnenbergercc53d992011-04-04 15:58:30 +000094class TB { bits<5> Prefix = 1; }
95class REP { bits<5> Prefix = 2; }
96class D8 { bits<5> Prefix = 3; }
97class D9 { bits<5> Prefix = 4; }
98class DA { bits<5> Prefix = 5; }
99class DB { bits<5> Prefix = 6; }
100class DC { bits<5> Prefix = 7; }
101class DD { bits<5> Prefix = 8; }
102class DE { bits<5> Prefix = 9; }
103class DF { bits<5> Prefix = 10; }
104class XD { bits<5> Prefix = 11; }
105class XS { bits<5> Prefix = 12; }
106class T8 { bits<5> Prefix = 13; }
107class TA { bits<5> Prefix = 14; }
Joerg Sonnenbergerfc4789d2011-04-04 16:58:13 +0000108class A6 { bits<5> Prefix = 15; }
109class A7 { bits<5> Prefix = 16; }
110class TF { bits<5> Prefix = 17; }
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000111class VEX { bit hasVEXPrefix = 1; }
Bruno Cardoso Lopes05166742010-07-01 01:20:06 +0000112class VEX_W { bit hasVEX_WPrefix = 1; }
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000113class VEX_4V : VEX { bit hasVEX_4VPrefix = 1; }
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +0000114class VEX_I8IMM { bit hasVEX_i8ImmReg = 1; }
Bruno Cardoso Lopesfd8bfcd2010-07-13 21:07:28 +0000115class VEX_L { bit hasVEX_L = 1; }
Craig Topperf18c8962011-10-04 06:30:42 +0000116class VEX_LIG { bit ignoresVEX_L = 1; }
Chris Lattner45270db2010-10-03 18:08:05 +0000117class Has3DNow0F0FOpcode { bit has3DNow0F0FOpcode = 1; }
Evan Cheng12c6be82007-07-31 08:04:03 +0000118
119class X86Inst<bits<8> opcod, Format f, ImmType i, dag outs, dag ins,
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000120 string AsmStr, Domain d = GenericDomain>
Evan Cheng12c6be82007-07-31 08:04:03 +0000121 : Instruction {
122 let Namespace = "X86";
123
124 bits<8> Opcode = opcod;
125 Format Form = f;
126 bits<6> FormBits = Form.Value;
127 ImmType ImmT = i;
Evan Cheng12c6be82007-07-31 08:04:03 +0000128
129 dag OutOperandList = outs;
130 dag InOperandList = ins;
131 string AsmString = AsmStr;
132
Chris Lattner7ff33462010-10-31 19:22:57 +0000133 // If this is a pseudo instruction, mark it isCodeGenOnly.
134 let isCodeGenOnly = !eq(!cast<string>(f), "Pseudo");
135
Evan Cheng12c6be82007-07-31 08:04:03 +0000136 //
137 // Attributes specific to X86 instructions...
138 //
139 bit hasOpSizePrefix = 0; // Does this inst have a 0x66 prefix?
140 bit hasAdSizePrefix = 0; // Does this inst have a 0x67 prefix?
141
Joerg Sonnenbergercc53d992011-04-04 15:58:30 +0000142 bits<5> Prefix = 0; // Which prefix byte does this inst have?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000143 bit hasREX_WPrefix = 0; // Does this inst require the REX.W prefix?
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000144 FPFormat FPForm = NotFP; // What flavor of FP instruction is this?
Dan Gohmana21bdda2008-08-20 13:46:21 +0000145 bit hasLockPrefix = 0; // Does this inst have a 0xF0 prefix?
Anton Korobeynikov25897772008-10-11 19:09:15 +0000146 bits<2> SegOvrBits = 0; // Segment override prefix.
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000147 Domain ExeDomain = d;
Eric Christopher3a8ae232010-11-30 09:11:54 +0000148 bit hasVEXPrefix = 0; // Does this inst require a VEX prefix?
Bruno Cardoso Lopes05166742010-07-01 01:20:06 +0000149 bit hasVEX_WPrefix = 0; // Does this inst set the VEX_W field?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000150 bit hasVEX_4VPrefix = 0; // Does this inst require the VEX.VVVV field?
151 bit hasVEX_i8ImmReg = 0; // Does this inst require the last source register
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +0000152 // to be encoded in a immediate field?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000153 bit hasVEX_L = 0; // Does this inst use large (256-bit) registers?
Craig Topperf18c8962011-10-04 06:30:42 +0000154 bit ignoresVEX_L = 0; // Does this instruction ignore the L-bit
Chris Lattner45270db2010-10-03 18:08:05 +0000155 bit has3DNow0F0FOpcode =0;// Wacky 3dNow! encoding?
Jakob Stoklund Olesenb93331f2010-04-05 03:10:20 +0000156
157 // TSFlags layout should be kept in sync with X86InstrInfo.h.
158 let TSFlags{5-0} = FormBits;
159 let TSFlags{6} = hasOpSizePrefix;
160 let TSFlags{7} = hasAdSizePrefix;
Joerg Sonnenbergercc53d992011-04-04 15:58:30 +0000161 let TSFlags{12-8} = Prefix;
162 let TSFlags{13} = hasREX_WPrefix;
163 let TSFlags{16-14} = ImmT.Value;
164 let TSFlags{19-17} = FPForm.Value;
165 let TSFlags{20} = hasLockPrefix;
166 let TSFlags{22-21} = SegOvrBits;
167 let TSFlags{24-23} = ExeDomain.Value;
168 let TSFlags{32-25} = Opcode;
169 let TSFlags{33} = hasVEXPrefix;
170 let TSFlags{34} = hasVEX_WPrefix;
171 let TSFlags{35} = hasVEX_4VPrefix;
172 let TSFlags{36} = hasVEX_i8ImmReg;
173 let TSFlags{37} = hasVEX_L;
Craig Topperf18c8962011-10-04 06:30:42 +0000174 let TSFlags{38} = ignoresVEX_L;
175 let TSFlags{39} = has3DNow0F0FOpcode;
Evan Cheng12c6be82007-07-31 08:04:03 +0000176}
177
Eric Christopheref62f572010-11-30 08:57:23 +0000178class PseudoI<dag oops, dag iops, list<dag> pattern>
Eric Christophered132392010-11-30 09:11:07 +0000179 : X86Inst<0, Pseudo, NoImm, oops, iops, ""> {
Eric Christopheref62f572010-11-30 08:57:23 +0000180 let Pattern = pattern;
181}
182
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000183class I<bits<8> o, Format f, dag outs, dag ins, string asm,
184 list<dag> pattern, Domain d = GenericDomain>
185 : X86Inst<o, f, NoImm, outs, ins, asm, d> {
Evan Cheng12c6be82007-07-31 08:04:03 +0000186 let Pattern = pattern;
187 let CodeSize = 3;
188}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000189class Ii8 <bits<8> o, Format f, dag outs, dag ins, string asm,
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000190 list<dag> pattern, Domain d = GenericDomain>
191 : X86Inst<o, f, Imm8, outs, ins, asm, d> {
Evan Cheng12c6be82007-07-31 08:04:03 +0000192 let Pattern = pattern;
193 let CodeSize = 3;
194}
Chris Lattner12455ca2010-02-12 22:27:07 +0000195class Ii8PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
196 list<dag> pattern>
197 : X86Inst<o, f, Imm8PCRel, outs, ins, asm> {
198 let Pattern = pattern;
199 let CodeSize = 3;
200}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000201class Ii16<bits<8> o, Format f, dag outs, dag ins, string asm,
202 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000203 : X86Inst<o, f, Imm16, outs, ins, asm> {
204 let Pattern = pattern;
205 let CodeSize = 3;
206}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000207class Ii32<bits<8> o, Format f, dag outs, dag ins, string asm,
208 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000209 : X86Inst<o, f, Imm32, outs, ins, asm> {
210 let Pattern = pattern;
211 let CodeSize = 3;
212}
213
Chris Lattnerac588122010-07-07 22:27:31 +0000214class Ii16PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
215 list<dag> pattern>
216 : X86Inst<o, f, Imm16PCRel, outs, ins, asm> {
217 let Pattern = pattern;
218 let CodeSize = 3;
219}
220
Chris Lattner12455ca2010-02-12 22:27:07 +0000221class Ii32PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
222 list<dag> pattern>
223 : X86Inst<o, f, Imm32PCRel, outs, ins, asm> {
224 let Pattern = pattern;
225 let CodeSize = 3;
226}
227
Evan Cheng12c6be82007-07-31 08:04:03 +0000228// FPStack Instruction Templates:
229// FPI - Floating Point Instruction template.
230class FPI<bits<8> o, Format F, dag outs, dag ins, string asm>
231 : I<o, F, outs, ins, asm, []> {}
232
Bob Wilsona967c422010-08-26 18:08:11 +0000233// FpI_ - Floating Point Pseudo Instruction template. Not Predicated.
Evan Cheng12c6be82007-07-31 08:04:03 +0000234class FpI_<dag outs, dag ins, FPFormat fp, list<dag> pattern>
235 : X86Inst<0, Pseudo, NoImm, outs, ins, ""> {
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000236 let FPForm = fp;
Evan Cheng12c6be82007-07-31 08:04:03 +0000237 let Pattern = pattern;
238}
239
Sean Callanan050e0cd2009-09-15 00:35:17 +0000240// Templates for instructions that use a 16- or 32-bit segmented address as
241// their only operand: lcall (FAR CALL) and ljmp (FAR JMP)
242//
243// Iseg16 - 16-bit segment selector, 16-bit offset
244// Iseg32 - 16-bit segment selector, 32-bit offset
245
246class Iseg16 <bits<8> o, Format f, dag outs, dag ins, string asm,
Chris Lattnerbeb506e2010-08-19 01:00:34 +0000247 list<dag> pattern> : X86Inst<o, f, Imm16, outs, ins, asm> {
Sean Callanan050e0cd2009-09-15 00:35:17 +0000248 let Pattern = pattern;
249 let CodeSize = 3;
250}
251
252class Iseg32 <bits<8> o, Format f, dag outs, dag ins, string asm,
Chris Lattnerbeb506e2010-08-19 01:00:34 +0000253 list<dag> pattern> : X86Inst<o, f, Imm32, outs, ins, asm> {
Sean Callanan050e0cd2009-09-15 00:35:17 +0000254 let Pattern = pattern;
255 let CodeSize = 3;
256}
257
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000258// SI - SSE 1 & 2 scalar instructions
259class SI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
260 : I<o, F, outs, ins, asm, pattern> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000261 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes66d2d572010-06-18 23:53:27 +0000262 !if(!eq(Prefix, 12 /* XS */), [HasSSE1], [HasSSE2]));
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000263
264 // AVX instructions have a 'v' prefix in the mnemonic
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000265 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000266}
267
Bruno Cardoso Lopes191a1cd2010-06-24 00:32:06 +0000268// SIi8 - SSE 1 & 2 scalar instructions
269class SIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
270 list<dag> pattern>
271 : Ii8<o, F, outs, ins, asm, pattern> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000272 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes191a1cd2010-06-24 00:32:06 +0000273 !if(!eq(Prefix, 12 /* XS */), [HasSSE1], [HasSSE2]));
274
275 // AVX instructions have a 'v' prefix in the mnemonic
276 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
277}
278
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000279// PI - SSE 1 & 2 packed instructions
280class PI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern,
281 Domain d>
282 : I<o, F, outs, ins, asm, pattern, d> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000283 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000284 !if(hasOpSizePrefix /* OpSize */, [HasSSE2], [HasSSE1]));
285
286 // AVX instructions have a 'v' prefix in the mnemonic
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000287 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000288}
289
Bruno Cardoso Lopes1e13c172010-06-22 23:37:59 +0000290// PIi8 - SSE 1 & 2 packed instructions with immediate
291class PIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
292 list<dag> pattern, Domain d>
293 : Ii8<o, F, outs, ins, asm, pattern, d> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000294 let Predicates = !if(hasVEX_4VPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes1e13c172010-06-22 23:37:59 +0000295 !if(hasOpSizePrefix /* OpSize */, [HasSSE2], [HasSSE1]));
296
297 // AVX instructions have a 'v' prefix in the mnemonic
298 let AsmString = !if(hasVEX_4VPrefix, !strconcat("v", asm), asm);
299}
300
Evan Cheng12c6be82007-07-31 08:04:03 +0000301// SSE1 Instruction Templates:
302//
303// SSI - SSE1 instructions with XS prefix.
304// PSI - SSE1 instructions with TB prefix.
305// PSIi8 - SSE1 instructions with ImmT == Imm8 and TB prefix.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000306// VSSI - SSE1 instructions with XS prefix in AVX form.
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000307// VPSI - SSE1 instructions with TB prefix in AVX form.
Evan Cheng12c6be82007-07-31 08:04:03 +0000308
309class SSI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
310 : I<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE1]>;
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000311class SSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
Sean Callanan04d8cb72009-12-18 00:01:26 +0000312 list<dag> pattern>
Chris Lattnerdab6bd92007-12-16 20:12:41 +0000313 : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE1]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000314class PSI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000315 : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, TB,
316 Requires<[HasSSE1]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000317class PSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
318 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000319 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedSingle>, TB,
320 Requires<[HasSSE1]>;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000321class VSSI<bits<8> o, Format F, dag outs, dag ins, string asm,
322 list<dag> pattern>
Bruno Cardoso Lopes83651092010-06-25 23:33:42 +0000323 : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XS,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000324 Requires<[HasAVX]>;
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000325class VPSI<bits<8> o, Format F, dag outs, dag ins, string asm,
326 list<dag> pattern>
Sean Callananb60b0bc2011-03-15 01:28:15 +0000327 : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedSingle>, TB,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000328 Requires<[HasAVX]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000329
330// SSE2 Instruction Templates:
331//
Bill Wendling76105a42008-08-27 21:32:04 +0000332// SDI - SSE2 instructions with XD prefix.
333// SDIi8 - SSE2 instructions with ImmT == Imm8 and XD prefix.
334// SSDIi8 - SSE2 instructions with ImmT == Imm8 and XS prefix.
335// PDI - SSE2 instructions with TB and OpSize prefixes.
336// PDIi8 - SSE2 instructions with ImmT == Imm8 and TB and OpSize prefixes.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000337// VSDI - SSE2 instructions with XD prefix in AVX form.
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000338// VPDI - SSE2 instructions with TB and OpSize prefixes in AVX form.
Evan Cheng12c6be82007-07-31 08:04:03 +0000339
340class SDI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
341 : I<o, F, outs, ins, asm, pattern>, XD, Requires<[HasSSE2]>;
Evan Cheng01c7c192007-12-20 19:57:09 +0000342class SDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
343 list<dag> pattern>
344 : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasSSE2]>;
Bill Wendling76105a42008-08-27 21:32:04 +0000345class SSDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
346 list<dag> pattern>
347 : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE2]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000348class PDI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000349 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
350 Requires<[HasSSE2]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000351class PDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
352 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000353 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
354 Requires<[HasSSE2]>;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000355class VSDI<bits<8> o, Format F, dag outs, dag ins, string asm,
356 list<dag> pattern>
Bruno Cardoso Lopes83651092010-06-25 23:33:42 +0000357 : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XD,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000358 Requires<[HasAVX]>;
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000359class VPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
360 list<dag> pattern>
Sean Callananb60b0bc2011-03-15 01:28:15 +0000361 : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedDouble>, TB,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000362 OpSize, Requires<[HasAVX]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000363
364// SSE3 Instruction Templates:
365//
366// S3I - SSE3 instructions with TB and OpSize prefixes.
367// S3SI - SSE3 instructions with XS prefix.
368// S3DI - SSE3 instructions with XD prefix.
369
Sean Callanan04d8cb72009-12-18 00:01:26 +0000370class S3SI<bits<8> o, Format F, dag outs, dag ins, string asm,
371 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000372 : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, XS,
373 Requires<[HasSSE3]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000374class S3DI<bits<8> o, Format F, dag outs, dag ins, string asm,
375 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000376 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, XD,
377 Requires<[HasSSE3]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000378class S3I<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000379 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
380 Requires<[HasSSE3]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000381
382
Nate Begeman8ef50212008-02-12 22:51:28 +0000383// SSSE3 Instruction Templates:
384//
385// SS38I - SSSE3 instructions with T8 prefix.
386// SS3AI - SSSE3 instructions with TA prefix.
387//
388// Note: SSSE3 instructions have 64-bit and 128-bit versions. The 64-bit version
389// uses the MMX registers. We put those instructions here because they better
390// fit into the SSSE3 instruction category rather than the MMX category.
391
392class SS38I<bits<8> o, Format F, dag outs, dag ins, string asm,
393 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000394 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
395 Requires<[HasSSSE3]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000396class SS3AI<bits<8> o, Format F, dag outs, dag ins, string asm,
397 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000398 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
399 Requires<[HasSSSE3]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000400
401// SSE4.1 Instruction Templates:
402//
403// SS48I - SSE 4.1 instructions with T8 prefix.
Evan Cheng96bdbd62008-03-14 07:39:27 +0000404// SS41AIi8 - SSE 4.1 instructions with TA prefix and ImmT == Imm8.
Nate Begeman8ef50212008-02-12 22:51:28 +0000405//
406class SS48I<bits<8> o, Format F, dag outs, dag ins, string asm,
407 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000408 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
409 Requires<[HasSSE41]>;
Evan Cheng96bdbd62008-03-14 07:39:27 +0000410class SS4AIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
Nate Begeman8ef50212008-02-12 22:51:28 +0000411 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000412 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
413 Requires<[HasSSE41]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000414
Nate Begeman55b7bec2008-07-17 16:51:19 +0000415// SSE4.2 Instruction Templates:
416//
417// SS428I - SSE 4.2 instructions with T8 prefix.
418class SS428I<bits<8> o, Format F, dag outs, dag ins, string asm,
419 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000420 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
421 Requires<[HasSSE42]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000422
Eric Christopher7dfa9f22009-08-08 21:55:08 +0000423// SS42FI - SSE 4.2 instructions with TF prefix.
424class SS42FI<bits<8> o, Format F, dag outs, dag ins, string asm,
425 list<dag> pattern>
426 : I<o, F, outs, ins, asm, pattern>, TF, Requires<[HasSSE42]>;
427
Eric Christopher9fe912d2009-08-18 22:50:32 +0000428// SS42AI = SSE 4.2 instructions with TA prefix
429class SS42AI<bits<8> o, Format F, dag outs, dag ins, string asm,
Sean Callanan04d8cb72009-12-18 00:01:26 +0000430 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000431 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
432 Requires<[HasSSE42]>;
Eric Christopher9fe912d2009-08-18 22:50:32 +0000433
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000434// AVX Instruction Templates:
435// Instructions introduced in AVX (no SSE equivalent forms)
436//
437// AVX8I - AVX instructions with T8 and OpSize prefix.
Bruno Cardoso Lopes3b505842010-07-20 19:44:51 +0000438// AVXAIi8 - AVX instructions with TA, OpSize prefix and ImmT = Imm8.
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000439class AVX8I<bits<8> o, Format F, dag outs, dag ins, string asm,
440 list<dag> pattern>
441 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8, OpSize,
442 Requires<[HasAVX]>;
Bruno Cardoso Lopes3b505842010-07-20 19:44:51 +0000443class AVXAIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
444 list<dag> pattern>
445 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA, OpSize,
446 Requires<[HasAVX]>;
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000447
Eric Christopher2ef63182010-04-02 21:54:27 +0000448// AES Instruction Templates:
449//
450// AES8I
Eric Christopher1290fa02010-04-05 21:14:32 +0000451// These use the same encoding as the SSE4.2 T8 and TA encodings.
Eric Christopher2ef63182010-04-02 21:54:27 +0000452class AES8I<bits<8> o, Format F, dag outs, dag ins, string asm,
453 list<dag>pattern>
454 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
455 Requires<[HasAES]>;
456
457class AESAI<bits<8> o, Format F, dag outs, dag ins, string asm,
458 list<dag> pattern>
459 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
460 Requires<[HasAES]>;
461
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +0000462// CLMUL Instruction Templates
463class CLMULIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
464 list<dag>pattern>
465 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
Eli Friedman415412e2011-07-05 18:21:20 +0000466 OpSize, Requires<[HasCLMUL]>;
467
468class AVXCLMULIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
469 list<dag>pattern>
470 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +0000471 OpSize, VEX_4V, Requires<[HasAVX, HasCLMUL]>;
472
Bruno Cardoso Lopesacd92302010-07-23 00:54:35 +0000473// FMA3 Instruction Templates
474class FMA3<bits<8> o, Format F, dag outs, dag ins, string asm,
475 list<dag>pattern>
476 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
477 OpSize, VEX_4V, Requires<[HasFMA3]>;
478
Evan Cheng12c6be82007-07-31 08:04:03 +0000479// X86-64 Instruction templates...
480//
481
482class RI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
483 : I<o, F, outs, ins, asm, pattern>, REX_W;
484class RIi8 <bits<8> o, Format F, dag outs, dag ins, string asm,
485 list<dag> pattern>
486 : Ii8<o, F, outs, ins, asm, pattern>, REX_W;
487class RIi32 <bits<8> o, Format F, dag outs, dag ins, string asm,
488 list<dag> pattern>
489 : Ii32<o, F, outs, ins, asm, pattern>, REX_W;
490
491class RIi64<bits<8> o, Format f, dag outs, dag ins, string asm,
492 list<dag> pattern>
493 : X86Inst<o, f, Imm64, outs, ins, asm>, REX_W {
494 let Pattern = pattern;
495 let CodeSize = 3;
496}
497
498class RSSI<bits<8> o, Format F, dag outs, dag ins, string asm,
499 list<dag> pattern>
500 : SSI<o, F, outs, ins, asm, pattern>, REX_W;
501class RSDI<bits<8> o, Format F, dag outs, dag ins, string asm,
502 list<dag> pattern>
503 : SDI<o, F, outs, ins, asm, pattern>, REX_W;
504class RPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
505 list<dag> pattern>
506 : PDI<o, F, outs, ins, asm, pattern>, REX_W;
Bruno Cardoso Lopes123dff02011-07-25 23:05:25 +0000507class VRPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
508 list<dag> pattern>
509 : VPDI<o, F, outs, ins, asm, pattern>, VEX_W;
Evan Cheng12c6be82007-07-31 08:04:03 +0000510
511// MMX Instruction templates
512//
513
514// MMXI - MMX instructions with TB prefix.
Anton Korobeynikov31099512008-08-23 15:53:19 +0000515// MMXI64 - MMX instructions with TB prefix valid only in 64 bit mode.
Evan Cheng12c6be82007-07-31 08:04:03 +0000516// MMX2I - MMX / SSE2 instructions with TB and OpSize prefixes.
517// MMXIi8 - MMX instructions with ImmT == Imm8 and TB prefix.
518// MMXIi8 - MMX instructions with ImmT == Imm8 and TB prefix.
519// MMXID - MMX instructions with XD prefix.
520// MMXIS - MMX instructions with XS prefix.
Sean Callanan04d8cb72009-12-18 00:01:26 +0000521class MMXI<bits<8> o, Format F, dag outs, dag ins, string asm,
522 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000523 : I<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000524class MMXI64<bits<8> o, Format F, dag outs, dag ins, string asm,
525 list<dag> pattern>
Anton Korobeynikov31099512008-08-23 15:53:19 +0000526 : I<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX,In64BitMode]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000527class MMXRI<bits<8> o, Format F, dag outs, dag ins, string asm,
528 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000529 : I<o, F, outs, ins, asm, pattern>, TB, REX_W, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000530class MMX2I<bits<8> o, Format F, dag outs, dag ins, string asm,
531 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000532 : I<o, F, outs, ins, asm, pattern>, TB, OpSize, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000533class MMXIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
534 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000535 : Ii8<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000536class MMXID<bits<8> o, Format F, dag outs, dag ins, string asm,
537 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000538 : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000539class MMXIS<bits<8> o, Format F, dag outs, dag ins, string asm,
540 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000541 : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasMMX]>;