blob: e93f8e94f6258160562364c55e58ce6a8e8d1d16 [file] [log] [blame]
Nate Begeman8c00f8c2005-08-04 07:12:09 +00001//=====---- X86Subtarget.h - Define Subtarget for the X86 -----*- C++ -*--====//
Nate Begemanfb5792f2005-07-12 01:41:54 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Nate Begemanfb5792f2005-07-12 01:41:54 +00007//
8//===----------------------------------------------------------------------===//
9//
Evan Cheng5b1b44892011-07-01 21:01:15 +000010// This file declares the X86 specific subclass of TargetSubtargetInfo.
Nate Begemanfb5792f2005-07-12 01:41:54 +000011//
12//===----------------------------------------------------------------------===//
13
14#ifndef X86SUBTARGET_H
15#define X86SUBTARGET_H
16
Eric Christopher62f35a22010-07-05 19:26:33 +000017#include "llvm/ADT/Triple.h"
Evan Cheng5b1b44892011-07-01 21:01:15 +000018#include "llvm/Target/TargetSubtargetInfo.h"
Dan Gohman4d3d6e12010-05-27 18:43:40 +000019#include "llvm/CallingConv.h"
Jim Laskeyb1e11802005-09-01 21:38:21 +000020#include <string>
21
Evan Cheng94214702011-07-01 20:45:01 +000022#define GET_SUBTARGETINFO_HEADER
Evan Cheng385e9302011-07-01 22:36:09 +000023#include "X86GenSubtargetInfo.inc"
Evan Cheng94214702011-07-01 20:45:01 +000024
Nate Begemanfb5792f2005-07-12 01:41:54 +000025namespace llvm {
Anton Korobeynikov7784ebc2006-11-30 22:42:55 +000026class GlobalValue;
Evan Cheng0ddff1b2011-07-07 07:07:08 +000027class StringRef;
Anton Korobeynikov2b2bc682006-12-22 22:29:05 +000028class TargetMachine;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000029
Chris Lattnere4df7562009-07-09 03:15:51 +000030/// PICStyles - The X86 backend supports a number of different styles of PIC.
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000031///
Duncan Sandsf9a67a82008-11-28 09:29:37 +000032namespace PICStyles {
Anton Korobeynikov7f705592007-01-12 19:20:47 +000033enum Style {
Chris Lattner8097b652009-07-10 20:58:47 +000034 StubPIC, // Used on i386-darwin in -fPIC mode.
35 StubDynamicNoPIC, // Used on i386-darwin in -mdynamic-no-pic mode.
36 GOT, // Used on many 32-bit unices in -fPIC mode.
37 RIPRel, // Used on X86-64 when not in -static mode.
38 None // Set when in -static mode (not PIC or DynamicNoPIC mode).
Anton Korobeynikov7f705592007-01-12 19:20:47 +000039};
40}
Nate Begemanfb5792f2005-07-12 01:41:54 +000041
Evan Cheng94214702011-07-01 20:45:01 +000042class X86Subtarget : public X86GenSubtargetInfo {
Nate Begemanfb5792f2005-07-12 01:41:54 +000043protected:
Evan Cheng559806f2006-01-27 08:10:46 +000044 enum X86SSEEnum {
Nate Begeman63ec90a2008-02-03 07:18:54 +000045 NoMMXSSE, MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42
Evan Cheng559806f2006-01-27 08:10:46 +000046 };
47
Evan Chenga26eb5e2006-10-06 09:17:41 +000048 enum X863DNowEnum {
49 NoThreeDNow, ThreeDNow, ThreeDNowA
50 };
51
Anton Korobeynikov7f705592007-01-12 19:20:47 +000052 /// PICStyle - Which PIC style to use
Evan Chengf6844ca2007-08-01 23:45:51 +000053 ///
Duncan Sandsf9a67a82008-11-28 09:29:37 +000054 PICStyles::Style PICStyle;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000055
Evan Chengadd25172008-02-12 07:59:55 +000056 /// X86SSELevel - MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42, or
57 /// none supported.
Evan Cheng559806f2006-01-27 08:10:46 +000058 X86SSEEnum X86SSELevel;
59
Evan Chenga26eb5e2006-10-06 09:17:41 +000060 /// X863DNowLevel - 3DNow or 3DNow Athlon, or none supported.
Evan Chengf6844ca2007-08-01 23:45:51 +000061 ///
Evan Chenga26eb5e2006-10-06 09:17:41 +000062 X863DNowEnum X863DNowLevel;
63
Chris Lattner70084162009-09-02 05:53:04 +000064 /// HasCMov - True if this processor has conditional move instructions
65 /// (generally pentium pro+).
66 bool HasCMov;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000067
Evan Cheng25ab6902006-09-08 06:48:29 +000068 /// HasX86_64 - True if the processor supports X86-64 instructions.
Evan Chengf6844ca2007-08-01 23:45:51 +000069 ///
Evan Cheng25ab6902006-09-08 06:48:29 +000070 bool HasX86_64;
Evan Chengccb69762009-01-02 05:35:45 +000071
Benjamin Kramer1292c222010-12-04 20:32:23 +000072 /// HasPOPCNT - True if the processor supports POPCNT.
73 bool HasPOPCNT;
74
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +000075 /// HasSSE4A - True if the processor supports SSE4A instructions.
76 bool HasSSE4A;
77
David Greene343dadb2009-06-26 22:46:54 +000078 /// HasAVX - Target has AVX instructions
79 bool HasAVX;
80
Craig Toppere7b05502011-10-30 19:57:21 +000081 /// HasAVX2 - Target has AVX2 instructions
82 bool HasAVX2;
83
Eric Christopher6d1cd1c2010-04-02 21:54:27 +000084 /// HasAES - Target has AES instructions
85 bool HasAES;
86
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +000087 /// HasCLMUL - Target has carry-less multiplication
88 bool HasCLMUL;
89
David Greene343dadb2009-06-26 22:46:54 +000090 /// HasFMA3 - Target has 3-operand fused multiply-add
91 bool HasFMA3;
92
93 /// HasFMA4 - Target has 4-operand fused multiply-add
94 bool HasFMA4;
95
Craig Topperda394042011-10-09 07:31:39 +000096 /// HasMOVBE - True if the processor has the MOVBE instruction.
Craig Topper581fe822011-10-03 17:28:23 +000097 bool HasMOVBE;
98
Craig Topperda394042011-10-09 07:31:39 +000099 /// HasRDRAND - True if the processor has the RDRAND instruction.
Craig Topper581fe822011-10-03 17:28:23 +0000100 bool HasRDRAND;
101
Craig Topperda394042011-10-09 07:31:39 +0000102 /// HasF16C - Processor has 16-bit floating point conversion instructions.
103 bool HasF16C;
104
Craig Toppere7b05502011-10-30 19:57:21 +0000105 /// HasFSGSBase - Processor has FS/GS base insturctions.
106 bool HasFSGSBase;
107
Craig Topper37f21672011-10-11 06:44:02 +0000108 /// HasLZCNT - Processor has LZCNT instruction.
109 bool HasLZCNT;
110
Craig Topper909652f2011-10-14 03:21:46 +0000111 /// HasBMI - Processor has BMI1 instructions.
112 bool HasBMI;
113
Craig Topperb53fa8b2011-10-16 07:55:05 +0000114 /// HasBMI2 - Processor has BMI2 instructions.
115 bool HasBMI2;
116
David Greene343dadb2009-06-26 22:46:54 +0000117 /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow.
118 bool IsBTMemSlow;
Evan Cheng400073d2009-12-18 07:40:29 +0000119
Evan Cheng48c58bb2010-04-01 05:58:17 +0000120 /// IsUAMemFast - True if unaligned memory access is fast.
121 bool IsUAMemFast;
122
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000123 /// HasVectorUAMem - True if SIMD operations can have unaligned memory
Evan Cheng5528e7b2010-04-21 01:47:12 +0000124 /// operands. This may require setting a feature bit in the processor.
David Greene95eb2ee2010-01-11 16:29:42 +0000125 bool HasVectorUAMem;
126
Eli Friedman43f51ae2011-08-26 21:21:21 +0000127 /// HasCmpxchg16b - True if this processor has the CMPXCHG16B instruction;
128 /// this is true for most x86-64 chips, but not the first AMD chips.
129 bool HasCmpxchg16b;
130
Chris Lattnerb151aca2005-07-12 02:36:10 +0000131 /// stackAlignment - The minimum alignment known to hold of the stack frame on
132 /// entry to the function and which must be maintained by every function.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000133 unsigned stackAlignment;
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000134
Rafael Espindolafc05f402007-10-31 11:52:06 +0000135 /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops.
Evan Chengf6844ca2007-08-01 23:45:51 +0000136 ///
Rafael Espindolafc05f402007-10-31 11:52:06 +0000137 unsigned MaxInlineSizeThreshold;
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000138
Eric Christopher62f35a22010-07-05 19:26:33 +0000139 /// TargetTriple - What processor and OS we're targeting.
140 Triple TargetTriple;
Evan Cheng18a84522006-02-16 00:21:07 +0000141
Evan Cheng25ab6902006-09-08 06:48:29 +0000142private:
Evan Cheng18fb1d32011-07-07 21:06:52 +0000143 /// In64BitMode - True if compiling for 64-bit, false for 32-bit.
144 bool In64BitMode;
Evan Cheng25ab6902006-09-08 06:48:29 +0000145
Nate Begemanfb5792f2005-07-12 01:41:54 +0000146public:
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000147
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000148 /// This constructor initializes the data members to match that
Daniel Dunbar3be03402009-08-02 22:11:08 +0000149 /// of the specified triple.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000150 ///
Evan Cheng276365d2011-06-30 01:53:36 +0000151 X86Subtarget(const std::string &TT, const std::string &CPU,
Evan Cheng18fb1d32011-07-07 21:06:52 +0000152 const std::string &FS,
Evan Cheng4d1a8dd2011-07-08 22:30:25 +0000153 unsigned StackAlignOverride, bool is64Bit);
Chris Lattnerb151aca2005-07-12 02:36:10 +0000154
155 /// getStackAlignment - Returns the minimum alignment known to hold of the
156 /// stack frame on entry to the function and which must be maintained by every
157 /// function for this subtarget.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000158 unsigned getStackAlignment() const { return stackAlignment; }
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000159
Rafael Espindolafc05f402007-10-31 11:52:06 +0000160 /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size
161 /// that still makes it profitable to inline the call.
162 unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000163
164 /// ParseSubtargetFeatures - Parses features string setting specified
Evan Chenga26eb5e2006-10-06 09:17:41 +0000165 /// subtarget options. Definition of function is auto generated by tblgen.
Evan Cheng0ddff1b2011-07-07 07:07:08 +0000166 void ParseSubtargetFeatures(StringRef CPU, StringRef FS);
Evan Chenga26eb5e2006-10-06 09:17:41 +0000167
168 /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID
169 /// instruction.
170 void AutoDetectSubtargetFeatures();
Evan Cheng97c7fc32006-01-26 09:53:06 +0000171
Evan Cheng18fb1d32011-07-07 21:06:52 +0000172 bool is64Bit() const { return In64BitMode; }
Evan Cheng97c7fc32006-01-26 09:53:06 +0000173
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000174 PICStyles::Style getPICStyle() const { return PICStyle; }
175 void setPICStyle(PICStyles::Style Style) { PICStyle = Style; }
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000176
Chris Lattner314a1132010-03-14 18:31:44 +0000177 bool hasCMov() const { return HasCMov; }
Evan Cheng559806f2006-01-27 08:10:46 +0000178 bool hasMMX() const { return X86SSELevel >= MMX; }
Chris Lattner259e97c2006-01-31 19:43:35 +0000179 bool hasSSE1() const { return X86SSELevel >= SSE1; }
Evan Cheng559806f2006-01-27 08:10:46 +0000180 bool hasSSE2() const { return X86SSELevel >= SSE2; }
181 bool hasSSE3() const { return X86SSELevel >= SSE3; }
Bill Wendlingbb1ee052007-04-10 22:10:25 +0000182 bool hasSSSE3() const { return X86SSELevel >= SSSE3; }
Evan Cheng43b7ca12008-04-03 08:53:29 +0000183 bool hasSSE41() const { return X86SSELevel >= SSE41; }
184 bool hasSSE42() const { return X86SSELevel >= SSE42; }
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +0000185 bool hasSSE4A() const { return HasSSE4A; }
Evan Chenga26eb5e2006-10-06 09:17:41 +0000186 bool has3DNow() const { return X863DNowLevel >= ThreeDNow; }
187 bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; }
Benjamin Kramer1292c222010-12-04 20:32:23 +0000188 bool hasPOPCNT() const { return HasPOPCNT; }
David Greene640a0c12009-06-29 16:51:01 +0000189 bool hasAVX() const { return HasAVX; }
Craig Toppere7b05502011-10-30 19:57:21 +0000190 bool hasAVX2() const { return HasAVX2; }
Nate Begeman2ea8ee72010-12-10 00:26:57 +0000191 bool hasXMM() const { return hasSSE1() || hasAVX(); }
192 bool hasXMMInt() const { return hasSSE2() || hasAVX(); }
Craig Topperc0d82852011-11-22 00:44:41 +0000193 bool hasSSE3orAVX() const { return hasSSE3() || hasAVX(); }
194 bool hasSSSE3orAVX() const { return hasSSSE3() || hasAVX(); }
195 bool hasSSE41orAVX() const { return hasSSE41() || hasAVX(); }
196 bool hasSSE42orAVX() const { return hasSSE42() || hasAVX(); }
Eric Christopher6d1cd1c2010-04-02 21:54:27 +0000197 bool hasAES() const { return HasAES; }
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +0000198 bool hasCLMUL() const { return HasCLMUL; }
David Greene343dadb2009-06-26 22:46:54 +0000199 bool hasFMA3() const { return HasFMA3; }
200 bool hasFMA4() const { return HasFMA4; }
Craig Topper581fe822011-10-03 17:28:23 +0000201 bool hasMOVBE() const { return HasMOVBE; }
202 bool hasRDRAND() const { return HasRDRAND; }
Craig Topperda394042011-10-09 07:31:39 +0000203 bool hasF16C() const { return HasF16C; }
Craig Toppere7b05502011-10-30 19:57:21 +0000204 bool hasFSGSBase() const { return HasFSGSBase; }
Craig Topper37f21672011-10-11 06:44:02 +0000205 bool hasLZCNT() const { return HasLZCNT; }
Craig Topper909652f2011-10-14 03:21:46 +0000206 bool hasBMI() const { return HasBMI; }
Craig Topperb53fa8b2011-10-16 07:55:05 +0000207 bool hasBMI2() const { return HasBMI2; }
Evan Chengccb69762009-01-02 05:35:45 +0000208 bool isBTMemSlow() const { return IsBTMemSlow; }
Evan Cheng48c58bb2010-04-01 05:58:17 +0000209 bool isUnalignedMemAccessFast() const { return IsUAMemFast; }
David Greene95eb2ee2010-01-11 16:29:42 +0000210 bool hasVectorUAMem() const { return HasVectorUAMem; }
Eli Friedman43f51ae2011-08-26 21:21:21 +0000211 bool hasCmpxchg16b() const { return HasCmpxchg16b; }
Evan Chengccb69762009-01-02 05:35:45 +0000212
Daniel Dunbar24cfd062011-04-19 21:01:47 +0000213 const Triple &getTargetTriple() const { return TargetTriple; }
214
Daniel Dunbar912225e2011-04-19 21:14:45 +0000215 bool isTargetDarwin() const { return TargetTriple.isOSDarwin(); }
216 bool isTargetFreeBSD() const {
217 return TargetTriple.getOS() == Triple::FreeBSD;
218 }
219 bool isTargetSolaris() const {
220 return TargetTriple.getOS() == Triple::Solaris;
221 }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000222
Eric Christopher62f35a22010-07-05 19:26:33 +0000223 // ELF is a reasonably sane default and the only other X86 targets we
224 // support are Darwin and Windows. Just use "not those".
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000225 bool isTargetELF() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000226 return !isTargetDarwin() && !isTargetWindows() && !isTargetCygMing();
Chris Lattnerd392bd92009-07-10 07:20:05 +0000227 }
Eric Christopher62f35a22010-07-05 19:26:33 +0000228 bool isTargetLinux() const { return TargetTriple.getOS() == Triple::Linux; }
Nick Lewycky1fac6b52011-09-05 21:51:43 +0000229 bool isTargetNaCl() const {
230 return TargetTriple.getOS() == Triple::NativeClient;
231 }
232 bool isTargetNaCl32() const { return isTargetNaCl() && !is64Bit(); }
233 bool isTargetNaCl64() const { return isTargetNaCl() && is64Bit(); }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000234
Eric Christopher62f35a22010-07-05 19:26:33 +0000235 bool isTargetWindows() const { return TargetTriple.getOS() == Triple::Win32; }
NAKAMURA Takumi6904f052011-02-17 12:24:17 +0000236 bool isTargetMingw() const { return TargetTriple.getOS() == Triple::MinGW32; }
Eric Christopher62f35a22010-07-05 19:26:33 +0000237 bool isTargetCygwin() const { return TargetTriple.getOS() == Triple::Cygwin; }
238 bool isTargetCygMing() const {
239 return isTargetMingw() || isTargetCygwin();
240 }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000241
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000242 /// isTargetCOFF - Return true if this is any COFF/Windows target variant.
243 bool isTargetCOFF() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000244 return isTargetMingw() || isTargetCygwin() || isTargetWindows();
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000245 }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000246
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000247 bool isTargetWin64() const {
NAKAMURA Takumie3345c42011-07-20 04:02:20 +0000248 // FIXME: x86_64-cygwin has not been released yet.
249 return In64BitMode && (isTargetCygMing() || isTargetWindows());
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000250 }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000251
Evan Cheng2bffee22011-02-01 01:14:13 +0000252 bool isTargetEnvMacho() const {
253 return isTargetDarwin() || (TargetTriple.getEnvironment() == Triple::MachO);
254 }
255
Anton Korobeynikovace53f22010-09-02 23:03:46 +0000256 bool isTargetWin32() const {
Evan Cheng18fb1d32011-07-07 21:06:52 +0000257 return !In64BitMode && (isTargetMingw() || isTargetWindows());
Anton Korobeynikovace53f22010-09-02 23:03:46 +0000258 }
259
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000260 bool isPICStyleSet() const { return PICStyle != PICStyles::None; }
261 bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; }
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000262 bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; }
Chris Lattner3b67e9b2009-07-10 20:47:30 +0000263
Chris Lattnere2c92082009-07-10 21:00:45 +0000264 bool isPICStyleStubPIC() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000265 return PICStyle == PICStyles::StubPIC;
266 }
267
Chris Lattnere2c92082009-07-10 21:00:45 +0000268 bool isPICStyleStubNoDynamic() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000269 return PICStyle == PICStyles::StubDynamicNoPIC;
270 }
271 bool isPICStyleStubAny() const {
272 return PICStyle == PICStyles::StubDynamicNoPIC ||
273 PICStyle == PICStyles::StubPIC; }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000274
Chris Lattnerd392bd92009-07-10 07:20:05 +0000275 /// ClassifyGlobalReference - Classify a global variable reference for the
276 /// current subtarget according to how we should reference it in a non-pcrel
277 /// context.
278 unsigned char ClassifyGlobalReference(const GlobalValue *GV,
279 const TargetMachine &TM)const;
Anton Korobeynikov15fccf12006-12-20 01:03:20 +0000280
Dan Gohman29cbade2009-11-20 23:18:13 +0000281 /// ClassifyBlockAddressReference - Classify a blockaddress reference for the
282 /// current subtarget according to how we should reference it in a non-pcrel
283 /// context.
284 unsigned char ClassifyBlockAddressReference() const;
285
Evan Chengd7f666a2009-05-20 04:53:57 +0000286 /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls
287 /// to immediate address.
288 bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const;
289
Dan Gohman68d599d2008-04-01 20:38:36 +0000290 /// This function returns the name of a function which has an interface
291 /// like the non-standard bzero function, if such a function exists on
292 /// the current subtarget and it is considered prefereable over
293 /// memset with zero passed as the second argument. Otherwise it
294 /// returns null.
Bill Wendling6e087382008-09-30 22:05:33 +0000295 const char *getBZeroEntry() const;
Dan Gohman8749b612008-12-16 03:35:01 +0000296
297 /// getSpecialAddressLatency - For targets where it is beneficial to
298 /// backschedule instructions that compute addresses, return a value
299 /// indicating the number of scheduling cycles of backscheduling that
300 /// should be attempted.
301 unsigned getSpecialAddressLatency() const;
Evan Chengd0da6ff2009-09-03 04:37:05 +0000302};
Evan Cheng751c0e12006-10-16 21:00:37 +0000303
Nate Begemanfb5792f2005-07-12 01:41:54 +0000304} // End llvm namespace
305
306#endif