blob: 6d89bcc29e7b0c97c725663c06969a46e92e7207 [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; }
Chris Lattner45270db2010-10-03 18:08:05 +0000116class Has3DNow0F0FOpcode { bit has3DNow0F0FOpcode = 1; }
Evan Cheng12c6be82007-07-31 08:04:03 +0000117
118class X86Inst<bits<8> opcod, Format f, ImmType i, dag outs, dag ins,
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000119 string AsmStr, Domain d = GenericDomain>
Evan Cheng12c6be82007-07-31 08:04:03 +0000120 : Instruction {
121 let Namespace = "X86";
122
123 bits<8> Opcode = opcod;
124 Format Form = f;
125 bits<6> FormBits = Form.Value;
126 ImmType ImmT = i;
Evan Cheng12c6be82007-07-31 08:04:03 +0000127
128 dag OutOperandList = outs;
129 dag InOperandList = ins;
130 string AsmString = AsmStr;
131
Chris Lattner7ff33462010-10-31 19:22:57 +0000132 // If this is a pseudo instruction, mark it isCodeGenOnly.
133 let isCodeGenOnly = !eq(!cast<string>(f), "Pseudo");
134
Evan Cheng12c6be82007-07-31 08:04:03 +0000135 //
136 // Attributes specific to X86 instructions...
137 //
138 bit hasOpSizePrefix = 0; // Does this inst have a 0x66 prefix?
139 bit hasAdSizePrefix = 0; // Does this inst have a 0x67 prefix?
140
Joerg Sonnenbergercc53d992011-04-04 15:58:30 +0000141 bits<5> Prefix = 0; // Which prefix byte does this inst have?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000142 bit hasREX_WPrefix = 0; // Does this inst require the REX.W prefix?
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000143 FPFormat FPForm = NotFP; // What flavor of FP instruction is this?
Dan Gohmana21bdda2008-08-20 13:46:21 +0000144 bit hasLockPrefix = 0; // Does this inst have a 0xF0 prefix?
Anton Korobeynikov25897772008-10-11 19:09:15 +0000145 bits<2> SegOvrBits = 0; // Segment override prefix.
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000146 Domain ExeDomain = d;
Eric Christopher3a8ae232010-11-30 09:11:54 +0000147 bit hasVEXPrefix = 0; // Does this inst require a VEX prefix?
Bruno Cardoso Lopes05166742010-07-01 01:20:06 +0000148 bit hasVEX_WPrefix = 0; // Does this inst set the VEX_W field?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000149 bit hasVEX_4VPrefix = 0; // Does this inst require the VEX.VVVV field?
150 bit hasVEX_i8ImmReg = 0; // Does this inst require the last source register
Bruno Cardoso Lopese2bd0582010-07-06 22:36:24 +0000151 // to be encoded in a immediate field?
Eric Christopher3a8ae232010-11-30 09:11:54 +0000152 bit hasVEX_L = 0; // Does this inst use large (256-bit) registers?
Chris Lattner45270db2010-10-03 18:08:05 +0000153 bit has3DNow0F0FOpcode =0;// Wacky 3dNow! encoding?
Jakob Stoklund Olesenb93331f2010-04-05 03:10:20 +0000154
155 // TSFlags layout should be kept in sync with X86InstrInfo.h.
156 let TSFlags{5-0} = FormBits;
157 let TSFlags{6} = hasOpSizePrefix;
158 let TSFlags{7} = hasAdSizePrefix;
Joerg Sonnenbergercc53d992011-04-04 15:58:30 +0000159 let TSFlags{12-8} = Prefix;
160 let TSFlags{13} = hasREX_WPrefix;
161 let TSFlags{16-14} = ImmT.Value;
162 let TSFlags{19-17} = FPForm.Value;
163 let TSFlags{20} = hasLockPrefix;
164 let TSFlags{22-21} = SegOvrBits;
165 let TSFlags{24-23} = ExeDomain.Value;
166 let TSFlags{32-25} = Opcode;
167 let TSFlags{33} = hasVEXPrefix;
168 let TSFlags{34} = hasVEX_WPrefix;
169 let TSFlags{35} = hasVEX_4VPrefix;
170 let TSFlags{36} = hasVEX_i8ImmReg;
171 let TSFlags{37} = hasVEX_L;
172 let TSFlags{38} = has3DNow0F0FOpcode;
Evan Cheng12c6be82007-07-31 08:04:03 +0000173}
174
Eric Christopheref62f572010-11-30 08:57:23 +0000175class PseudoI<dag oops, dag iops, list<dag> pattern>
Eric Christophered132392010-11-30 09:11:07 +0000176 : X86Inst<0, Pseudo, NoImm, oops, iops, ""> {
Eric Christopheref62f572010-11-30 08:57:23 +0000177 let Pattern = pattern;
178}
179
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000180class I<bits<8> o, Format f, dag outs, dag ins, string asm,
181 list<dag> pattern, Domain d = GenericDomain>
182 : X86Inst<o, f, NoImm, outs, ins, asm, d> {
Evan Cheng12c6be82007-07-31 08:04:03 +0000183 let Pattern = pattern;
184 let CodeSize = 3;
185}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000186class Ii8 <bits<8> o, Format f, dag outs, dag ins, string asm,
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000187 list<dag> pattern, Domain d = GenericDomain>
188 : X86Inst<o, f, Imm8, outs, ins, asm, d> {
Evan Cheng12c6be82007-07-31 08:04:03 +0000189 let Pattern = pattern;
190 let CodeSize = 3;
191}
Chris Lattner12455ca2010-02-12 22:27:07 +0000192class Ii8PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
193 list<dag> pattern>
194 : X86Inst<o, f, Imm8PCRel, outs, ins, asm> {
195 let Pattern = pattern;
196 let CodeSize = 3;
197}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000198class Ii16<bits<8> o, Format f, dag outs, dag ins, string asm,
199 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000200 : X86Inst<o, f, Imm16, outs, ins, asm> {
201 let Pattern = pattern;
202 let CodeSize = 3;
203}
Sean Callanan04d8cb72009-12-18 00:01:26 +0000204class Ii32<bits<8> o, Format f, dag outs, dag ins, string asm,
205 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000206 : X86Inst<o, f, Imm32, outs, ins, asm> {
207 let Pattern = pattern;
208 let CodeSize = 3;
209}
210
Chris Lattnerac588122010-07-07 22:27:31 +0000211class Ii16PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
212 list<dag> pattern>
213 : X86Inst<o, f, Imm16PCRel, outs, ins, asm> {
214 let Pattern = pattern;
215 let CodeSize = 3;
216}
217
Chris Lattner12455ca2010-02-12 22:27:07 +0000218class Ii32PCRel<bits<8> o, Format f, dag outs, dag ins, string asm,
219 list<dag> pattern>
220 : X86Inst<o, f, Imm32PCRel, outs, ins, asm> {
221 let Pattern = pattern;
222 let CodeSize = 3;
223}
224
Evan Cheng12c6be82007-07-31 08:04:03 +0000225// FPStack Instruction Templates:
226// FPI - Floating Point Instruction template.
227class FPI<bits<8> o, Format F, dag outs, dag ins, string asm>
228 : I<o, F, outs, ins, asm, []> {}
229
Bob Wilsona967c422010-08-26 18:08:11 +0000230// FpI_ - Floating Point Pseudo Instruction template. Not Predicated.
Evan Cheng12c6be82007-07-31 08:04:03 +0000231class FpI_<dag outs, dag ins, FPFormat fp, list<dag> pattern>
232 : X86Inst<0, Pseudo, NoImm, outs, ins, ""> {
Jakob Stoklund Olesenf8d7eda2010-03-25 18:52:01 +0000233 let FPForm = fp;
Evan Cheng12c6be82007-07-31 08:04:03 +0000234 let Pattern = pattern;
235}
236
Sean Callanan050e0cd2009-09-15 00:35:17 +0000237// Templates for instructions that use a 16- or 32-bit segmented address as
238// their only operand: lcall (FAR CALL) and ljmp (FAR JMP)
239//
240// Iseg16 - 16-bit segment selector, 16-bit offset
241// Iseg32 - 16-bit segment selector, 32-bit offset
242
243class Iseg16 <bits<8> o, Format f, dag outs, dag ins, string asm,
Chris Lattnerbeb506e2010-08-19 01:00:34 +0000244 list<dag> pattern> : X86Inst<o, f, Imm16, outs, ins, asm> {
Sean Callanan050e0cd2009-09-15 00:35:17 +0000245 let Pattern = pattern;
246 let CodeSize = 3;
247}
248
249class Iseg32 <bits<8> o, Format f, dag outs, dag ins, string asm,
Chris Lattnerbeb506e2010-08-19 01:00:34 +0000250 list<dag> pattern> : X86Inst<o, f, Imm32, outs, ins, asm> {
Sean Callanan050e0cd2009-09-15 00:35:17 +0000251 let Pattern = pattern;
252 let CodeSize = 3;
253}
254
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000255// SI - SSE 1 & 2 scalar instructions
256class SI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
257 : I<o, F, outs, ins, asm, pattern> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000258 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes66d2d572010-06-18 23:53:27 +0000259 !if(!eq(Prefix, 12 /* XS */), [HasSSE1], [HasSSE2]));
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000260
261 // AVX instructions have a 'v' prefix in the mnemonic
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000262 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
Bruno Cardoso Lopes6b98f712010-06-17 23:05:30 +0000263}
264
Bruno Cardoso Lopes191a1cd2010-06-24 00:32:06 +0000265// SIi8 - SSE 1 & 2 scalar instructions
266class SIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
267 list<dag> pattern>
268 : Ii8<o, F, outs, ins, asm, pattern> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000269 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes191a1cd2010-06-24 00:32:06 +0000270 !if(!eq(Prefix, 12 /* XS */), [HasSSE1], [HasSSE2]));
271
272 // AVX instructions have a 'v' prefix in the mnemonic
273 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
274}
275
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000276// PI - SSE 1 & 2 packed instructions
277class PI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern,
278 Domain d>
279 : I<o, F, outs, ins, asm, pattern, d> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000280 let Predicates = !if(hasVEXPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000281 !if(hasOpSizePrefix /* OpSize */, [HasSSE2], [HasSSE1]));
282
283 // AVX instructions have a 'v' prefix in the mnemonic
Bruno Cardoso Lopes1a890f92010-06-22 22:38:56 +0000284 let AsmString = !if(hasVEXPrefix, !strconcat("v", asm), asm);
Bruno Cardoso Lopes2bfad412010-06-18 23:13:35 +0000285}
286
Bruno Cardoso Lopes1e13c172010-06-22 23:37:59 +0000287// PIi8 - SSE 1 & 2 packed instructions with immediate
288class PIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
289 list<dag> pattern, Domain d>
290 : Ii8<o, F, outs, ins, asm, pattern, d> {
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000291 let Predicates = !if(hasVEX_4VPrefix /* VEX */, [HasAVX],
Bruno Cardoso Lopes1e13c172010-06-22 23:37:59 +0000292 !if(hasOpSizePrefix /* OpSize */, [HasSSE2], [HasSSE1]));
293
294 // AVX instructions have a 'v' prefix in the mnemonic
295 let AsmString = !if(hasVEX_4VPrefix, !strconcat("v", asm), asm);
296}
297
Evan Cheng12c6be82007-07-31 08:04:03 +0000298// SSE1 Instruction Templates:
299//
300// SSI - SSE1 instructions with XS prefix.
301// PSI - SSE1 instructions with TB prefix.
302// PSIi8 - SSE1 instructions with ImmT == Imm8 and TB prefix.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000303// VSSI - SSE1 instructions with XS prefix in AVX form.
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000304// VPSI - SSE1 instructions with TB prefix in AVX form.
Evan Cheng12c6be82007-07-31 08:04:03 +0000305
306class SSI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
307 : I<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE1]>;
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000308class SSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
Sean Callanan04d8cb72009-12-18 00:01:26 +0000309 list<dag> pattern>
Chris Lattnerdab6bd92007-12-16 20:12:41 +0000310 : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE1]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000311class PSI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000312 : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, TB,
313 Requires<[HasSSE1]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000314class PSIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
315 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000316 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedSingle>, TB,
317 Requires<[HasSSE1]>;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000318class VSSI<bits<8> o, Format F, dag outs, dag ins, string asm,
319 list<dag> pattern>
Bruno Cardoso Lopes83651092010-06-25 23:33:42 +0000320 : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XS,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000321 Requires<[HasAVX]>;
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000322class VPSI<bits<8> o, Format F, dag outs, dag ins, string asm,
323 list<dag> pattern>
Sean Callananb60b0bc2011-03-15 01:28:15 +0000324 : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedSingle>, TB,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000325 Requires<[HasAVX]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000326
327// SSE2 Instruction Templates:
328//
Bill Wendling76105a42008-08-27 21:32:04 +0000329// SDI - SSE2 instructions with XD prefix.
330// SDIi8 - SSE2 instructions with ImmT == Imm8 and XD prefix.
331// SSDIi8 - SSE2 instructions with ImmT == Imm8 and XS prefix.
332// PDI - SSE2 instructions with TB and OpSize prefixes.
333// PDIi8 - SSE2 instructions with ImmT == Imm8 and TB and OpSize prefixes.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000334// VSDI - SSE2 instructions with XD prefix in AVX form.
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000335// VPDI - SSE2 instructions with TB and OpSize prefixes in AVX form.
Evan Cheng12c6be82007-07-31 08:04:03 +0000336
337class SDI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
338 : I<o, F, outs, ins, asm, pattern>, XD, Requires<[HasSSE2]>;
Evan Cheng01c7c192007-12-20 19:57:09 +0000339class SDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
340 list<dag> pattern>
341 : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasSSE2]>;
Bill Wendling76105a42008-08-27 21:32:04 +0000342class SSDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
343 list<dag> pattern>
344 : Ii8<o, F, outs, ins, asm, pattern>, XS, Requires<[HasSSE2]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000345class PDI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000346 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
347 Requires<[HasSSE2]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000348class PDIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
349 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000350 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
351 Requires<[HasSSE2]>;
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000352class VSDI<bits<8> o, Format F, dag outs, dag ins, string asm,
353 list<dag> pattern>
Bruno Cardoso Lopes83651092010-06-25 23:33:42 +0000354 : I<o, F, outs, ins, !strconcat("v", asm), pattern>, XD,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000355 Requires<[HasAVX]>;
Bruno Cardoso Lopesb06f54b2010-06-12 01:23:26 +0000356class VPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
357 list<dag> pattern>
Sean Callananb60b0bc2011-03-15 01:28:15 +0000358 : I<o, F, outs, ins, !strconcat("v", asm), pattern, SSEPackedDouble>, TB,
Bruno Cardoso Lopes77a3c442010-07-13 00:38:47 +0000359 OpSize, Requires<[HasAVX]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000360
361// SSE3 Instruction Templates:
362//
363// S3I - SSE3 instructions with TB and OpSize prefixes.
364// S3SI - SSE3 instructions with XS prefix.
365// S3DI - SSE3 instructions with XD prefix.
366
Sean Callanan04d8cb72009-12-18 00:01:26 +0000367class S3SI<bits<8> o, Format F, dag outs, dag ins, string asm,
368 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000369 : I<o, F, outs, ins, asm, pattern, SSEPackedSingle>, XS,
370 Requires<[HasSSE3]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000371class S3DI<bits<8> o, Format F, dag outs, dag ins, string asm,
372 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000373 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, XD,
374 Requires<[HasSSE3]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000375class S3I<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000376 : I<o, F, outs, ins, asm, pattern, SSEPackedDouble>, TB, OpSize,
377 Requires<[HasSSE3]>;
Evan Cheng12c6be82007-07-31 08:04:03 +0000378
379
Nate Begeman8ef50212008-02-12 22:51:28 +0000380// SSSE3 Instruction Templates:
381//
382// SS38I - SSSE3 instructions with T8 prefix.
383// SS3AI - SSSE3 instructions with TA prefix.
384//
385// Note: SSSE3 instructions have 64-bit and 128-bit versions. The 64-bit version
386// uses the MMX registers. We put those instructions here because they better
387// fit into the SSSE3 instruction category rather than the MMX category.
388
389class SS38I<bits<8> o, Format F, dag outs, dag ins, string asm,
390 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000391 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
392 Requires<[HasSSSE3]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000393class SS3AI<bits<8> o, Format F, dag outs, dag ins, string asm,
394 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000395 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
396 Requires<[HasSSSE3]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000397
398// SSE4.1 Instruction Templates:
399//
400// SS48I - SSE 4.1 instructions with T8 prefix.
Evan Cheng96bdbd62008-03-14 07:39:27 +0000401// SS41AIi8 - SSE 4.1 instructions with TA prefix and ImmT == Imm8.
Nate Begeman8ef50212008-02-12 22:51:28 +0000402//
403class SS48I<bits<8> o, Format F, dag outs, dag ins, string asm,
404 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000405 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
406 Requires<[HasSSE41]>;
Evan Cheng96bdbd62008-03-14 07:39:27 +0000407class SS4AIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
Nate Begeman8ef50212008-02-12 22:51:28 +0000408 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000409 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
410 Requires<[HasSSE41]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000411
Nate Begeman55b7bec2008-07-17 16:51:19 +0000412// SSE4.2 Instruction Templates:
413//
414// SS428I - SSE 4.2 instructions with T8 prefix.
415class SS428I<bits<8> o, Format F, dag outs, dag ins, string asm,
416 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000417 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
418 Requires<[HasSSE42]>;
Nate Begeman8ef50212008-02-12 22:51:28 +0000419
Eric Christopher7dfa9f22009-08-08 21:55:08 +0000420// SS42FI - SSE 4.2 instructions with TF prefix.
421class SS42FI<bits<8> o, Format F, dag outs, dag ins, string asm,
422 list<dag> pattern>
423 : I<o, F, outs, ins, asm, pattern>, TF, Requires<[HasSSE42]>;
424
Eric Christopher9fe912d2009-08-18 22:50:32 +0000425// SS42AI = SSE 4.2 instructions with TA prefix
426class SS42AI<bits<8> o, Format F, dag outs, dag ins, string asm,
Sean Callanan04d8cb72009-12-18 00:01:26 +0000427 list<dag> pattern>
Jakob Stoklund Olesen49e121d2010-03-25 17:25:00 +0000428 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
429 Requires<[HasSSE42]>;
Eric Christopher9fe912d2009-08-18 22:50:32 +0000430
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000431// AVX Instruction Templates:
432// Instructions introduced in AVX (no SSE equivalent forms)
433//
434// AVX8I - AVX instructions with T8 and OpSize prefix.
Bruno Cardoso Lopes3b505842010-07-20 19:44:51 +0000435// AVXAIi8 - AVX instructions with TA, OpSize prefix and ImmT = Imm8.
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000436class AVX8I<bits<8> o, Format F, dag outs, dag ins, string asm,
437 list<dag> pattern>
438 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8, OpSize,
439 Requires<[HasAVX]>;
Bruno Cardoso Lopes3b505842010-07-20 19:44:51 +0000440class AVXAIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
441 list<dag> pattern>
442 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA, OpSize,
443 Requires<[HasAVX]>;
Bruno Cardoso Lopes14c5fd42010-07-20 00:11:13 +0000444
Eric Christopher2ef63182010-04-02 21:54:27 +0000445// AES Instruction Templates:
446//
447// AES8I
Eric Christopher1290fa02010-04-05 21:14:32 +0000448// These use the same encoding as the SSE4.2 T8 and TA encodings.
Eric Christopher2ef63182010-04-02 21:54:27 +0000449class AES8I<bits<8> o, Format F, dag outs, dag ins, string asm,
450 list<dag>pattern>
451 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
452 Requires<[HasAES]>;
453
454class AESAI<bits<8> o, Format F, dag outs, dag ins, string asm,
455 list<dag> pattern>
456 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
457 Requires<[HasAES]>;
458
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +0000459// CLMUL Instruction Templates
460class CLMULIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
461 list<dag>pattern>
462 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
Eli Friedman415412e2011-07-05 18:21:20 +0000463 OpSize, Requires<[HasCLMUL]>;
464
465class AVXCLMULIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
466 list<dag>pattern>
467 : Ii8<o, F, outs, ins, asm, pattern, SSEPackedInt>, TA,
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +0000468 OpSize, VEX_4V, Requires<[HasAVX, HasCLMUL]>;
469
Bruno Cardoso Lopesacd92302010-07-23 00:54:35 +0000470// FMA3 Instruction Templates
471class FMA3<bits<8> o, Format F, dag outs, dag ins, string asm,
472 list<dag>pattern>
473 : I<o, F, outs, ins, asm, pattern, SSEPackedInt>, T8,
474 OpSize, VEX_4V, Requires<[HasFMA3]>;
475
Evan Cheng12c6be82007-07-31 08:04:03 +0000476// X86-64 Instruction templates...
477//
478
479class RI<bits<8> o, Format F, dag outs, dag ins, string asm, list<dag> pattern>
480 : I<o, F, outs, ins, asm, pattern>, REX_W;
481class RIi8 <bits<8> o, Format F, dag outs, dag ins, string asm,
482 list<dag> pattern>
483 : Ii8<o, F, outs, ins, asm, pattern>, REX_W;
484class RIi32 <bits<8> o, Format F, dag outs, dag ins, string asm,
485 list<dag> pattern>
486 : Ii32<o, F, outs, ins, asm, pattern>, REX_W;
487
488class RIi64<bits<8> o, Format f, dag outs, dag ins, string asm,
489 list<dag> pattern>
490 : X86Inst<o, f, Imm64, outs, ins, asm>, REX_W {
491 let Pattern = pattern;
492 let CodeSize = 3;
493}
494
495class RSSI<bits<8> o, Format F, dag outs, dag ins, string asm,
496 list<dag> pattern>
497 : SSI<o, F, outs, ins, asm, pattern>, REX_W;
498class RSDI<bits<8> o, Format F, dag outs, dag ins, string asm,
499 list<dag> pattern>
500 : SDI<o, F, outs, ins, asm, pattern>, REX_W;
501class RPDI<bits<8> o, Format F, dag outs, dag ins, string asm,
502 list<dag> pattern>
503 : PDI<o, F, outs, ins, asm, pattern>, REX_W;
504
505// MMX Instruction templates
506//
507
508// MMXI - MMX instructions with TB prefix.
Anton Korobeynikov31099512008-08-23 15:53:19 +0000509// MMXI64 - MMX instructions with TB prefix valid only in 64 bit mode.
Evan Cheng12c6be82007-07-31 08:04:03 +0000510// MMX2I - MMX / SSE2 instructions with TB and OpSize prefixes.
511// MMXIi8 - MMX instructions with ImmT == Imm8 and TB prefix.
512// MMXIi8 - MMX instructions with ImmT == Imm8 and TB prefix.
513// MMXID - MMX instructions with XD prefix.
514// MMXIS - MMX instructions with XS prefix.
Sean Callanan04d8cb72009-12-18 00:01:26 +0000515class MMXI<bits<8> o, Format F, dag outs, dag ins, string asm,
516 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000517 : I<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000518class MMXI64<bits<8> o, Format F, dag outs, dag ins, string asm,
519 list<dag> pattern>
Anton Korobeynikov31099512008-08-23 15:53:19 +0000520 : I<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX,In64BitMode]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000521class MMXRI<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, REX_W, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000524class MMX2I<bits<8> o, Format F, dag outs, dag ins, string asm,
525 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000526 : I<o, F, outs, ins, asm, pattern>, TB, OpSize, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000527class MMXIi8<bits<8> o, Format F, dag outs, dag ins, string asm,
528 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000529 : Ii8<o, F, outs, ins, asm, pattern>, TB, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000530class MMXID<bits<8> o, Format F, dag outs, dag ins, string asm,
531 list<dag> pattern>
Evan Cheng12c6be82007-07-31 08:04:03 +0000532 : Ii8<o, F, outs, ins, asm, pattern>, XD, Requires<[HasMMX]>;
Sean Callanan04d8cb72009-12-18 00:01:26 +0000533class MMXIS<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>, XS, Requires<[HasMMX]>;