blob: ccb9be0c97a78475704eff5746b30f4cae3c6b53 [file] [log] [blame]
Nate Begeman3bcfcd92005-08-04 07:12:09 +00001//=====---- X86Subtarget.h - Define Subtarget for the X86 -----*- C++ -*--====//
Nate Begemanf26625e2005-07-12 01:41:54 +00002//
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.
Nate Begemanf26625e2005-07-12 01:41:54 +00007//
8//===----------------------------------------------------------------------===//
9//
Evan Cheng0d639a22011-07-01 21:01:15 +000010// This file declares the X86 specific subclass of TargetSubtargetInfo.
Nate Begemanf26625e2005-07-12 01:41:54 +000011//
12//===----------------------------------------------------------------------===//
13
14#ifndef X86SUBTARGET_H
15#define X86SUBTARGET_H
16
Eric Christopherd4298462010-07-05 19:26:33 +000017#include "llvm/ADT/Triple.h"
Evan Cheng0d639a22011-07-01 21:01:15 +000018#include "llvm/Target/TargetSubtargetInfo.h"
Dan Gohmandc53f1c2010-05-27 18:43:40 +000019#include "llvm/CallingConv.h"
Jim Laskey19058c32005-09-01 21:38:21 +000020#include <string>
21
Evan Cheng54b68e32011-07-01 20:45:01 +000022#define GET_SUBTARGETINFO_HEADER
Evan Chengc9c090d2011-07-01 22:36:09 +000023#include "X86GenSubtargetInfo.inc"
Evan Cheng54b68e32011-07-01 20:45:01 +000024
Nate Begemanf26625e2005-07-12 01:41:54 +000025namespace llvm {
Anton Korobeynikov6dbdfe22006-11-30 22:42:55 +000026class GlobalValue;
Evan Cheng1a72add62011-07-07 07:07:08 +000027class StringRef;
Anton Korobeynikov430e68a12006-12-22 22:29:05 +000028class TargetMachine;
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +000029
Chris Lattner1c5bf9d2009-07-09 03:15:51 +000030/// PICStyles - The X86 backend supports a number of different styles of PIC.
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +000031///
Duncan Sands595a4422008-11-28 09:29:37 +000032namespace PICStyles {
Anton Korobeynikova0554d92007-01-12 19:20:47 +000033enum Style {
Chris Lattnerba4d7332009-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 Korobeynikova0554d92007-01-12 19:20:47 +000039};
40}
Nate Begemanf26625e2005-07-12 01:41:54 +000041
Evan Cheng54b68e32011-07-01 20:45:01 +000042class X86Subtarget : public X86GenSubtargetInfo {
Nate Begemanf26625e2005-07-12 01:41:54 +000043protected:
Evan Chengcde9e302006-01-27 08:10:46 +000044 enum X86SSEEnum {
Nate Begemane14fdfa2008-02-03 07:18:54 +000045 NoMMXSSE, MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42
Evan Chengcde9e302006-01-27 08:10:46 +000046 };
47
Evan Chengff1beda2006-10-06 09:17:41 +000048 enum X863DNowEnum {
49 NoThreeDNow, ThreeDNow, ThreeDNowA
50 };
51
Anton Korobeynikova0554d92007-01-12 19:20:47 +000052 /// PICStyle - Which PIC style to use
Evan Cheng763cdfd2007-08-01 23:45:51 +000053 ///
Duncan Sands595a4422008-11-28 09:29:37 +000054 PICStyles::Style PICStyle;
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +000055
Evan Cheng352acec2008-02-12 07:59:55 +000056 /// X86SSELevel - MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42, or
57 /// none supported.
Evan Chengcde9e302006-01-27 08:10:46 +000058 X86SSEEnum X86SSELevel;
59
Evan Chengff1beda2006-10-06 09:17:41 +000060 /// X863DNowLevel - 3DNow or 3DNow Athlon, or none supported.
Evan Cheng763cdfd2007-08-01 23:45:51 +000061 ///
Evan Chengff1beda2006-10-06 09:17:41 +000062 X863DNowEnum X863DNowLevel;
63
Chris Lattnercc8c5812009-09-02 05:53:04 +000064 /// HasCMov - True if this processor has conditional move instructions
65 /// (generally pentium pro+).
66 bool HasCMov;
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +000067
Evan Cheng11b0a5d2006-09-08 06:48:29 +000068 /// HasX86_64 - True if the processor supports X86-64 instructions.
Evan Cheng763cdfd2007-08-01 23:45:51 +000069 ///
Evan Cheng11b0a5d2006-09-08 06:48:29 +000070 bool HasX86_64;
Evan Cheng4c91aa32009-01-02 05:35:45 +000071
Benjamin Kramer2f489232010-12-04 20:32:23 +000072 /// HasPOPCNT - True if the processor supports POPCNT.
73 bool HasPOPCNT;
74
Stefanus Du Toit96180b52009-05-26 21:04:35 +000075 /// HasSSE4A - True if the processor supports SSE4A instructions.
76 bool HasSSE4A;
77
David Greene8f6f72c2009-06-26 22:46:54 +000078 /// HasAVX - Target has AVX instructions
79 bool HasAVX;
80
Craig Topper228d9132011-10-30 19:57:21 +000081 /// HasAVX2 - Target has AVX2 instructions
82 bool HasAVX2;
83
Eric Christopher2ef63182010-04-02 21:54:27 +000084 /// HasAES - Target has AES instructions
85 bool HasAES;
86
Bruno Cardoso Lopes09dc24b2010-07-23 01:17:51 +000087 /// HasCLMUL - Target has carry-less multiplication
88 bool HasCLMUL;
89
David Greene8f6f72c2009-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
Jan Sjödin1280eb12011-12-02 15:14:37 +000096 /// HasXOP - Target has XOP instructions
97 bool HasXOP;
98
Craig Topperfe9179f2011-10-09 07:31:39 +000099 /// HasMOVBE - True if the processor has the MOVBE instruction.
Craig Topper786bdb92011-10-03 17:28:23 +0000100 bool HasMOVBE;
101
Craig Topperfe9179f2011-10-09 07:31:39 +0000102 /// HasRDRAND - True if the processor has the RDRAND instruction.
Craig Topper786bdb92011-10-03 17:28:23 +0000103 bool HasRDRAND;
104
Craig Topperfe9179f2011-10-09 07:31:39 +0000105 /// HasF16C - Processor has 16-bit floating point conversion instructions.
106 bool HasF16C;
107
Craig Topper228d9132011-10-30 19:57:21 +0000108 /// HasFSGSBase - Processor has FS/GS base insturctions.
109 bool HasFSGSBase;
110
Craig Topper271064e2011-10-11 06:44:02 +0000111 /// HasLZCNT - Processor has LZCNT instruction.
112 bool HasLZCNT;
113
Craig Topper3657fe42011-10-14 03:21:46 +0000114 /// HasBMI - Processor has BMI1 instructions.
115 bool HasBMI;
116
Craig Topperaea148c2011-10-16 07:55:05 +0000117 /// HasBMI2 - Processor has BMI2 instructions.
118 bool HasBMI2;
119
David Greene8f6f72c2009-06-26 22:46:54 +0000120 /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow.
121 bool IsBTMemSlow;
Evan Cheng4cf30b72009-12-18 07:40:29 +0000122
Evan Cheng738b0f92010-04-01 05:58:17 +0000123 /// IsUAMemFast - True if unaligned memory access is fast.
124 bool IsUAMemFast;
125
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +0000126 /// HasVectorUAMem - True if SIMD operations can have unaligned memory
Evan Cheng9c8cd8c2010-04-21 01:47:12 +0000127 /// operands. This may require setting a feature bit in the processor.
David Greene206351a2010-01-11 16:29:42 +0000128 bool HasVectorUAMem;
129
Eli Friedman5e570422011-08-26 21:21:21 +0000130 /// HasCmpxchg16b - True if this processor has the CMPXCHG16B instruction;
131 /// this is true for most x86-64 chips, but not the first AMD chips.
132 bool HasCmpxchg16b;
133
Chris Lattner351817b2005-07-12 02:36:10 +0000134 /// stackAlignment - The minimum alignment known to hold of the stack frame on
135 /// entry to the function and which must be maintained by every function.
Nate Begemanf26625e2005-07-12 01:41:54 +0000136 unsigned stackAlignment;
Jeff Cohen33a030e2005-07-27 05:53:44 +0000137
Rafael Espindola063f1772007-10-31 11:52:06 +0000138 /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops.
Evan Cheng763cdfd2007-08-01 23:45:51 +0000139 ///
Rafael Espindola063f1772007-10-31 11:52:06 +0000140 unsigned MaxInlineSizeThreshold;
NAKAMURA Takumi0544fe72011-02-17 12:23:50 +0000141
Eric Christopherd4298462010-07-05 19:26:33 +0000142 /// TargetTriple - What processor and OS we're targeting.
143 Triple TargetTriple;
Evan Cheng03c1e6f2006-02-16 00:21:07 +0000144
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000145private:
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000146 /// In64BitMode - True if compiling for 64-bit, false for 32-bit.
147 bool In64BitMode;
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000148
Nate Begemanf26625e2005-07-12 01:41:54 +0000149public:
Anton Korobeynikov5b96cde2006-11-21 00:01:06 +0000150
Jeff Cohen33a030e2005-07-27 05:53:44 +0000151 /// This constructor initializes the data members to match that
Daniel Dunbar31b44e82009-08-02 22:11:08 +0000152 /// of the specified triple.
Nate Begemanf26625e2005-07-12 01:41:54 +0000153 ///
Evan Chengfe6e4052011-06-30 01:53:36 +0000154 X86Subtarget(const std::string &TT, const std::string &CPU,
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000155 const std::string &FS,
Evan Cheng60fc0fc2011-07-08 22:30:25 +0000156 unsigned StackAlignOverride, bool is64Bit);
Chris Lattner351817b2005-07-12 02:36:10 +0000157
158 /// getStackAlignment - Returns the minimum alignment known to hold of the
159 /// stack frame on entry to the function and which must be maintained by every
160 /// function for this subtarget.
Nate Begemanf26625e2005-07-12 01:41:54 +0000161 unsigned getStackAlignment() const { return stackAlignment; }
Jeff Cohen33a030e2005-07-27 05:53:44 +0000162
Rafael Espindola063f1772007-10-31 11:52:06 +0000163 /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size
164 /// that still makes it profitable to inline the call.
165 unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; }
Anton Korobeynikov5b96cde2006-11-21 00:01:06 +0000166
167 /// ParseSubtargetFeatures - Parses features string setting specified
Evan Chengff1beda2006-10-06 09:17:41 +0000168 /// subtarget options. Definition of function is auto generated by tblgen.
Evan Cheng1a72add62011-07-07 07:07:08 +0000169 void ParseSubtargetFeatures(StringRef CPU, StringRef FS);
Evan Chengff1beda2006-10-06 09:17:41 +0000170
171 /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID
172 /// instruction.
173 void AutoDetectSubtargetFeatures();
Evan Cheng54c13da2006-01-26 09:53:06 +0000174
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000175 bool is64Bit() const { return In64BitMode; }
Evan Cheng54c13da2006-01-26 09:53:06 +0000176
Duncan Sands595a4422008-11-28 09:29:37 +0000177 PICStyles::Style getPICStyle() const { return PICStyle; }
178 void setPICStyle(PICStyles::Style Style) { PICStyle = Style; }
Anton Korobeynikova0554d92007-01-12 19:20:47 +0000179
Chris Lattnera30d4ce2010-03-14 18:31:44 +0000180 bool hasCMov() const { return HasCMov; }
Evan Chengcde9e302006-01-27 08:10:46 +0000181 bool hasMMX() const { return X86SSELevel >= MMX; }
Chris Lattnerc642aa52006-01-31 19:43:35 +0000182 bool hasSSE1() const { return X86SSELevel >= SSE1; }
Evan Chengcde9e302006-01-27 08:10:46 +0000183 bool hasSSE2() const { return X86SSELevel >= SSE2; }
184 bool hasSSE3() const { return X86SSELevel >= SSE3; }
Bill Wendlingf0998412007-04-10 22:10:25 +0000185 bool hasSSSE3() const { return X86SSELevel >= SSSE3; }
Evan Cheng6c66bd32008-04-03 08:53:29 +0000186 bool hasSSE41() const { return X86SSELevel >= SSE41; }
187 bool hasSSE42() const { return X86SSELevel >= SSE42; }
Stefanus Du Toit96180b52009-05-26 21:04:35 +0000188 bool hasSSE4A() const { return HasSSE4A; }
Evan Chengff1beda2006-10-06 09:17:41 +0000189 bool has3DNow() const { return X863DNowLevel >= ThreeDNow; }
190 bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; }
Benjamin Kramer2f489232010-12-04 20:32:23 +0000191 bool hasPOPCNT() const { return HasPOPCNT; }
David Greenea4b89982009-06-29 16:51:01 +0000192 bool hasAVX() const { return HasAVX; }
Craig Topper228d9132011-10-30 19:57:21 +0000193 bool hasAVX2() const { return HasAVX2; }
Nate Begeman8b08f522010-12-10 00:26:57 +0000194 bool hasXMM() const { return hasSSE1() || hasAVX(); }
195 bool hasXMMInt() const { return hasSSE2() || hasAVX(); }
Craig Topperf5639772011-11-22 00:44:41 +0000196 bool hasSSE3orAVX() const { return hasSSE3() || hasAVX(); }
197 bool hasSSSE3orAVX() const { return hasSSSE3() || hasAVX(); }
198 bool hasSSE41orAVX() const { return hasSSE41() || hasAVX(); }
199 bool hasSSE42orAVX() const { return hasSSE42() || hasAVX(); }
Eric Christopher2ef63182010-04-02 21:54:27 +0000200 bool hasAES() const { return HasAES; }
Bruno Cardoso Lopes09dc24b2010-07-23 01:17:51 +0000201 bool hasCLMUL() const { return HasCLMUL; }
David Greene8f6f72c2009-06-26 22:46:54 +0000202 bool hasFMA3() const { return HasFMA3; }
203 bool hasFMA4() const { return HasFMA4; }
Jan Sjödin1280eb12011-12-02 15:14:37 +0000204 bool hasXOP() const { return HasXOP; }
Craig Topper786bdb92011-10-03 17:28:23 +0000205 bool hasMOVBE() const { return HasMOVBE; }
206 bool hasRDRAND() const { return HasRDRAND; }
Craig Topperfe9179f2011-10-09 07:31:39 +0000207 bool hasF16C() const { return HasF16C; }
Craig Topper228d9132011-10-30 19:57:21 +0000208 bool hasFSGSBase() const { return HasFSGSBase; }
Craig Topper271064e2011-10-11 06:44:02 +0000209 bool hasLZCNT() const { return HasLZCNT; }
Craig Topper3657fe42011-10-14 03:21:46 +0000210 bool hasBMI() const { return HasBMI; }
Craig Topperaea148c2011-10-16 07:55:05 +0000211 bool hasBMI2() const { return HasBMI2; }
Evan Cheng4c91aa32009-01-02 05:35:45 +0000212 bool isBTMemSlow() const { return IsBTMemSlow; }
Evan Cheng738b0f92010-04-01 05:58:17 +0000213 bool isUnalignedMemAccessFast() const { return IsUAMemFast; }
David Greene206351a2010-01-11 16:29:42 +0000214 bool hasVectorUAMem() const { return HasVectorUAMem; }
Eli Friedman5e570422011-08-26 21:21:21 +0000215 bool hasCmpxchg16b() const { return HasCmpxchg16b; }
Evan Cheng4c91aa32009-01-02 05:35:45 +0000216
Daniel Dunbar44b53032011-04-19 21:01:47 +0000217 const Triple &getTargetTriple() const { return TargetTriple; }
218
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000219 bool isTargetDarwin() const { return TargetTriple.isOSDarwin(); }
220 bool isTargetFreeBSD() const {
221 return TargetTriple.getOS() == Triple::FreeBSD;
222 }
223 bool isTargetSolaris() const {
224 return TargetTriple.getOS() == Triple::Solaris;
225 }
NAKAMURA Takumi0544fe72011-02-17 12:23:50 +0000226
Eric Christopherd4298462010-07-05 19:26:33 +0000227 // ELF is a reasonably sane default and the only other X86 targets we
228 // support are Darwin and Windows. Just use "not those".
NAKAMURA Takumi0544fe72011-02-17 12:23:50 +0000229 bool isTargetELF() const {
Eric Christopherd4298462010-07-05 19:26:33 +0000230 return !isTargetDarwin() && !isTargetWindows() && !isTargetCygMing();
Chris Lattnerdc842c02009-07-10 07:20:05 +0000231 }
Eric Christopherd4298462010-07-05 19:26:33 +0000232 bool isTargetLinux() const { return TargetTriple.getOS() == Triple::Linux; }
Nick Lewycky73df7e32011-09-05 21:51:43 +0000233 bool isTargetNaCl() const {
234 return TargetTriple.getOS() == Triple::NativeClient;
235 }
236 bool isTargetNaCl32() const { return isTargetNaCl() && !is64Bit(); }
237 bool isTargetNaCl64() const { return isTargetNaCl() && is64Bit(); }
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +0000238
Eric Christopherd4298462010-07-05 19:26:33 +0000239 bool isTargetWindows() const { return TargetTriple.getOS() == Triple::Win32; }
NAKAMURA Takumi4c14a5c2011-02-17 12:24:17 +0000240 bool isTargetMingw() const { return TargetTriple.getOS() == Triple::MinGW32; }
Eric Christopherd4298462010-07-05 19:26:33 +0000241 bool isTargetCygwin() const { return TargetTriple.getOS() == Triple::Cygwin; }
242 bool isTargetCygMing() const {
243 return isTargetMingw() || isTargetCygwin();
244 }
NAKAMURA Takumi0544fe72011-02-17 12:23:50 +0000245
Chris Lattner46dcaad2009-09-16 05:20:33 +0000246 /// isTargetCOFF - Return true if this is any COFF/Windows target variant.
247 bool isTargetCOFF() const {
Eric Christopherd4298462010-07-05 19:26:33 +0000248 return isTargetMingw() || isTargetCygwin() || isTargetWindows();
Chris Lattner46dcaad2009-09-16 05:20:33 +0000249 }
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +0000250
Anton Korobeynikov7f125b22008-03-22 20:57:27 +0000251 bool isTargetWin64() const {
NAKAMURA Takumib66d25552011-07-20 04:02:20 +0000252 // FIXME: x86_64-cygwin has not been released yet.
253 return In64BitMode && (isTargetCygMing() || isTargetWindows());
Anton Korobeynikov7f125b22008-03-22 20:57:27 +0000254 }
Anton Korobeynikov5b96cde2006-11-21 00:01:06 +0000255
Evan Chengd22a4a12011-02-01 01:14:13 +0000256 bool isTargetEnvMacho() const {
257 return isTargetDarwin() || (TargetTriple.getEnvironment() == Triple::MachO);
258 }
259
Anton Korobeynikova5a64552010-09-02 23:03:46 +0000260 bool isTargetWin32() const {
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000261 return !In64BitMode && (isTargetMingw() || isTargetWindows());
Anton Korobeynikova5a64552010-09-02 23:03:46 +0000262 }
263
Duncan Sands595a4422008-11-28 09:29:37 +0000264 bool isPICStyleSet() const { return PICStyle != PICStyles::None; }
265 bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; }
Duncan Sands595a4422008-11-28 09:29:37 +0000266 bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; }
Chris Lattnere2f524f2009-07-10 20:47:30 +0000267
Chris Lattner21c29402009-07-10 21:00:45 +0000268 bool isPICStyleStubPIC() const {
Chris Lattnerba4d7332009-07-10 20:58:47 +0000269 return PICStyle == PICStyles::StubPIC;
270 }
271
Chris Lattner21c29402009-07-10 21:00:45 +0000272 bool isPICStyleStubNoDynamic() const {
Chris Lattnerba4d7332009-07-10 20:58:47 +0000273 return PICStyle == PICStyles::StubDynamicNoPIC;
274 }
275 bool isPICStyleStubAny() const {
276 return PICStyle == PICStyles::StubDynamicNoPIC ||
277 PICStyle == PICStyles::StubPIC; }
Mikhail Glushenkovabd56bd2010-02-28 22:54:30 +0000278
Chris Lattnerdc842c02009-07-10 07:20:05 +0000279 /// ClassifyGlobalReference - Classify a global variable reference for the
280 /// current subtarget according to how we should reference it in a non-pcrel
281 /// context.
282 unsigned char ClassifyGlobalReference(const GlobalValue *GV,
283 const TargetMachine &TM)const;
Anton Korobeynikov93acb492006-12-20 01:03:20 +0000284
Dan Gohman7a6611792009-11-20 23:18:13 +0000285 /// ClassifyBlockAddressReference - Classify a blockaddress reference for the
286 /// current subtarget according to how we should reference it in a non-pcrel
287 /// context.
288 unsigned char ClassifyBlockAddressReference() const;
289
Evan Cheng96098332009-05-20 04:53:57 +0000290 /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls
291 /// to immediate address.
292 bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const;
293
Dan Gohman980d7202008-04-01 20:38:36 +0000294 /// This function returns the name of a function which has an interface
295 /// like the non-standard bzero function, if such a function exists on
296 /// the current subtarget and it is considered prefereable over
297 /// memset with zero passed as the second argument. Otherwise it
298 /// returns null.
Bill Wendling17825842008-09-30 22:05:33 +0000299 const char *getBZeroEntry() const;
Dan Gohmanb9a01212008-12-16 03:35:01 +0000300
301 /// getSpecialAddressLatency - For targets where it is beneficial to
302 /// backschedule instructions that compute addresses, return a value
303 /// indicating the number of scheduling cycles of backscheduling that
304 /// should be attempted.
305 unsigned getSpecialAddressLatency() const;
Evan Cheng47455a72009-09-03 04:37:05 +0000306};
Evan Chenga8b4aea2006-10-16 21:00:37 +0000307
Nate Begemanf26625e2005-07-12 01:41:54 +0000308} // End llvm namespace
309
310#endif