blob: 04ceac4b05d27bd0b0e3e3e23129c38c173af38a [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//
10// This file declares the X86 specific subclass of TargetSubtarget.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef X86SUBTARGET_H
15#define X86SUBTARGET_H
16
Eric Christopher62f35a22010-07-05 19:26:33 +000017#include "llvm/ADT/Triple.h"
Nate Begemanfb5792f2005-07-12 01:41:54 +000018#include "llvm/Target/TargetSubtarget.h"
Dan Gohman4d3d6e12010-05-27 18:43:40 +000019#include "llvm/CallingConv.h"
Jim Laskeyb1e11802005-09-01 21:38:21 +000020#include <string>
21
Nate Begemanfb5792f2005-07-12 01:41:54 +000022namespace llvm {
Anton Korobeynikov7784ebc2006-11-30 22:42:55 +000023class GlobalValue;
Anton Korobeynikov2b2bc682006-12-22 22:29:05 +000024class TargetMachine;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000025
Chris Lattnere4df7562009-07-09 03:15:51 +000026/// PICStyles - The X86 backend supports a number of different styles of PIC.
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000027///
Duncan Sandsf9a67a82008-11-28 09:29:37 +000028namespace PICStyles {
Anton Korobeynikov7f705592007-01-12 19:20:47 +000029enum Style {
Chris Lattner8097b652009-07-10 20:58:47 +000030 StubPIC, // Used on i386-darwin in -fPIC mode.
31 StubDynamicNoPIC, // Used on i386-darwin in -mdynamic-no-pic mode.
32 GOT, // Used on many 32-bit unices in -fPIC mode.
33 RIPRel, // Used on X86-64 when not in -static mode.
34 None // Set when in -static mode (not PIC or DynamicNoPIC mode).
Anton Korobeynikov7f705592007-01-12 19:20:47 +000035};
36}
Nate Begemanfb5792f2005-07-12 01:41:54 +000037
38class X86Subtarget : public TargetSubtarget {
39protected:
Evan Cheng559806f2006-01-27 08:10:46 +000040 enum X86SSEEnum {
Nate Begeman63ec90a2008-02-03 07:18:54 +000041 NoMMXSSE, MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42
Evan Cheng559806f2006-01-27 08:10:46 +000042 };
43
Evan Chenga26eb5e2006-10-06 09:17:41 +000044 enum X863DNowEnum {
45 NoThreeDNow, ThreeDNow, ThreeDNowA
46 };
47
Anton Korobeynikov7f705592007-01-12 19:20:47 +000048 /// PICStyle - Which PIC style to use
Evan Chengf6844ca2007-08-01 23:45:51 +000049 ///
Duncan Sandsf9a67a82008-11-28 09:29:37 +000050 PICStyles::Style PICStyle;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000051
Evan Chengadd25172008-02-12 07:59:55 +000052 /// X86SSELevel - MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42, or
53 /// none supported.
Evan Cheng559806f2006-01-27 08:10:46 +000054 X86SSEEnum X86SSELevel;
55
Evan Chenga26eb5e2006-10-06 09:17:41 +000056 /// X863DNowLevel - 3DNow or 3DNow Athlon, or none supported.
Evan Chengf6844ca2007-08-01 23:45:51 +000057 ///
Evan Chenga26eb5e2006-10-06 09:17:41 +000058 X863DNowEnum X863DNowLevel;
59
Chris Lattner70084162009-09-02 05:53:04 +000060 /// HasCMov - True if this processor has conditional move instructions
61 /// (generally pentium pro+).
62 bool HasCMov;
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000063
Evan Cheng25ab6902006-09-08 06:48:29 +000064 /// HasX86_64 - True if the processor supports X86-64 instructions.
Evan Chengf6844ca2007-08-01 23:45:51 +000065 ///
Evan Cheng25ab6902006-09-08 06:48:29 +000066 bool HasX86_64;
Evan Chengccb69762009-01-02 05:35:45 +000067
Benjamin Kramer1292c222010-12-04 20:32:23 +000068 /// HasPOPCNT - True if the processor supports POPCNT.
69 bool HasPOPCNT;
70
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +000071 /// HasSSE4A - True if the processor supports SSE4A instructions.
72 bool HasSSE4A;
73
David Greene343dadb2009-06-26 22:46:54 +000074 /// HasAVX - Target has AVX instructions
75 bool HasAVX;
76
Eric Christopher6d1cd1c2010-04-02 21:54:27 +000077 /// HasAES - Target has AES instructions
78 bool HasAES;
79
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +000080 /// HasCLMUL - Target has carry-less multiplication
81 bool HasCLMUL;
82
David Greene343dadb2009-06-26 22:46:54 +000083 /// HasFMA3 - Target has 3-operand fused multiply-add
84 bool HasFMA3;
85
86 /// HasFMA4 - Target has 4-operand fused multiply-add
87 bool HasFMA4;
88
89 /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow.
90 bool IsBTMemSlow;
Evan Cheng400073d2009-12-18 07:40:29 +000091
Evan Cheng48c58bb2010-04-01 05:58:17 +000092 /// IsUAMemFast - True if unaligned memory access is fast.
93 bool IsUAMemFast;
94
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000095 /// HasVectorUAMem - True if SIMD operations can have unaligned memory
Evan Cheng5528e7b2010-04-21 01:47:12 +000096 /// operands. This may require setting a feature bit in the processor.
David Greene95eb2ee2010-01-11 16:29:42 +000097 bool HasVectorUAMem;
98
Chris Lattnerb151aca2005-07-12 02:36:10 +000099 /// stackAlignment - The minimum alignment known to hold of the stack frame on
100 /// entry to the function and which must be maintained by every function.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000101 unsigned stackAlignment;
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000102
Rafael Espindolafc05f402007-10-31 11:52:06 +0000103 /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops.
Evan Chengf6844ca2007-08-01 23:45:51 +0000104 ///
Rafael Espindolafc05f402007-10-31 11:52:06 +0000105 unsigned MaxInlineSizeThreshold;
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000106
Eric Christopher62f35a22010-07-05 19:26:33 +0000107 /// TargetTriple - What processor and OS we're targeting.
108 Triple TargetTriple;
Evan Cheng18a84522006-02-16 00:21:07 +0000109
Evan Cheng25ab6902006-09-08 06:48:29 +0000110private:
Daniel Dunbar3be03402009-08-02 22:11:08 +0000111 /// Is64Bit - True if the processor supports 64-bit instructions and
Evan Cheng25ab6902006-09-08 06:48:29 +0000112 /// pointer size is 64 bit.
113 bool Is64Bit;
114
Nate Begemanfb5792f2005-07-12 01:41:54 +0000115public:
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000116
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000117 /// This constructor initializes the data members to match that
Daniel Dunbar3be03402009-08-02 22:11:08 +0000118 /// of the specified triple.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000119 ///
Daniel Dunbar3be03402009-08-02 22:11:08 +0000120 X86Subtarget(const std::string &TT, const std::string &FS, bool is64Bit);
Chris Lattnerb151aca2005-07-12 02:36:10 +0000121
122 /// getStackAlignment - Returns the minimum alignment known to hold of the
123 /// stack frame on entry to the function and which must be maintained by every
124 /// function for this subtarget.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000125 unsigned getStackAlignment() const { return stackAlignment; }
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000126
Rafael Espindolafc05f402007-10-31 11:52:06 +0000127 /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size
128 /// that still makes it profitable to inline the call.
129 unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000130
131 /// ParseSubtargetFeatures - Parses features string setting specified
Evan Chenga26eb5e2006-10-06 09:17:41 +0000132 /// subtarget options. Definition of function is auto generated by tblgen.
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000133 std::string ParseSubtargetFeatures(const std::string &FS,
134 const std::string &CPU);
Evan Chenga26eb5e2006-10-06 09:17:41 +0000135
136 /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID
137 /// instruction.
138 void AutoDetectSubtargetFeatures();
Evan Cheng97c7fc32006-01-26 09:53:06 +0000139
140 bool is64Bit() const { return Is64Bit; }
141
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000142 PICStyles::Style getPICStyle() const { return PICStyle; }
143 void setPICStyle(PICStyles::Style Style) { PICStyle = Style; }
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000144
Chris Lattner314a1132010-03-14 18:31:44 +0000145 bool hasCMov() const { return HasCMov; }
Evan Cheng559806f2006-01-27 08:10:46 +0000146 bool hasMMX() const { return X86SSELevel >= MMX; }
Chris Lattner259e97c2006-01-31 19:43:35 +0000147 bool hasSSE1() const { return X86SSELevel >= SSE1; }
Evan Cheng559806f2006-01-27 08:10:46 +0000148 bool hasSSE2() const { return X86SSELevel >= SSE2; }
149 bool hasSSE3() const { return X86SSELevel >= SSE3; }
Bill Wendlingbb1ee052007-04-10 22:10:25 +0000150 bool hasSSSE3() const { return X86SSELevel >= SSSE3; }
Evan Cheng43b7ca12008-04-03 08:53:29 +0000151 bool hasSSE41() const { return X86SSELevel >= SSE41; }
152 bool hasSSE42() const { return X86SSELevel >= SSE42; }
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +0000153 bool hasSSE4A() const { return HasSSE4A; }
Evan Chenga26eb5e2006-10-06 09:17:41 +0000154 bool has3DNow() const { return X863DNowLevel >= ThreeDNow; }
155 bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; }
Benjamin Kramer1292c222010-12-04 20:32:23 +0000156 bool hasPOPCNT() const { return HasPOPCNT; }
David Greene640a0c12009-06-29 16:51:01 +0000157 bool hasAVX() const { return HasAVX; }
Nate Begeman2ea8ee72010-12-10 00:26:57 +0000158 bool hasXMM() const { return hasSSE1() || hasAVX(); }
159 bool hasXMMInt() const { return hasSSE2() || hasAVX(); }
Eric Christopher6d1cd1c2010-04-02 21:54:27 +0000160 bool hasAES() const { return HasAES; }
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +0000161 bool hasCLMUL() const { return HasCLMUL; }
David Greene343dadb2009-06-26 22:46:54 +0000162 bool hasFMA3() const { return HasFMA3; }
163 bool hasFMA4() const { return HasFMA4; }
Evan Chengccb69762009-01-02 05:35:45 +0000164 bool isBTMemSlow() const { return IsBTMemSlow; }
Evan Cheng48c58bb2010-04-01 05:58:17 +0000165 bool isUnalignedMemAccessFast() const { return IsUAMemFast; }
David Greene95eb2ee2010-01-11 16:29:42 +0000166 bool hasVectorUAMem() const { return HasVectorUAMem; }
Evan Chengccb69762009-01-02 05:35:45 +0000167
Eric Christopher62f35a22010-07-05 19:26:33 +0000168 bool isTargetDarwin() const { return TargetTriple.getOS() == Triple::Darwin; }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000169
Eric Christopher62f35a22010-07-05 19:26:33 +0000170 // ELF is a reasonably sane default and the only other X86 targets we
171 // support are Darwin and Windows. Just use "not those".
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000172 bool isTargetELF() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000173 return !isTargetDarwin() && !isTargetWindows() && !isTargetCygMing();
Chris Lattnerd392bd92009-07-10 07:20:05 +0000174 }
Eric Christopher62f35a22010-07-05 19:26:33 +0000175 bool isTargetLinux() const { return TargetTriple.getOS() == Triple::Linux; }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000176
Eric Christopher62f35a22010-07-05 19:26:33 +0000177 bool isTargetWindows() const { return TargetTriple.getOS() == Triple::Win32; }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000178 bool isTargetMingw() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000179 return TargetTriple.getOS() == Triple::MinGW32 ||
180 TargetTriple.getOS() == Triple::MinGW64; }
181 bool isTargetCygwin() const { return TargetTriple.getOS() == Triple::Cygwin; }
182 bool isTargetCygMing() const {
183 return isTargetMingw() || isTargetCygwin();
184 }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000185
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000186 /// isTargetCOFF - Return true if this is any COFF/Windows target variant.
187 bool isTargetCOFF() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000188 return isTargetMingw() || isTargetCygwin() || isTargetWindows();
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000189 }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000190
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000191 bool isTargetWin64() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000192 return Is64Bit && (isTargetMingw() || isTargetWindows());
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000193 }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000194
Evan Cheng2bffee22011-02-01 01:14:13 +0000195 bool isTargetEnvMacho() const {
196 return isTargetDarwin() || (TargetTriple.getEnvironment() == Triple::MachO);
197 }
198
Anton Korobeynikovace53f22010-09-02 23:03:46 +0000199 bool isTargetWin32() const {
200 return !Is64Bit && (isTargetMingw() || isTargetWindows());
201 }
202
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000203 bool isPICStyleSet() const { return PICStyle != PICStyles::None; }
204 bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; }
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000205 bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; }
Chris Lattner3b67e9b2009-07-10 20:47:30 +0000206
Chris Lattnere2c92082009-07-10 21:00:45 +0000207 bool isPICStyleStubPIC() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000208 return PICStyle == PICStyles::StubPIC;
209 }
210
Chris Lattnere2c92082009-07-10 21:00:45 +0000211 bool isPICStyleStubNoDynamic() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000212 return PICStyle == PICStyles::StubDynamicNoPIC;
213 }
214 bool isPICStyleStubAny() const {
215 return PICStyle == PICStyles::StubDynamicNoPIC ||
216 PICStyle == PICStyles::StubPIC; }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000217
Chris Lattner3b67e9b2009-07-10 20:47:30 +0000218 /// getDarwinVers - Return the darwin version number, 8 = Tiger, 9 = Leopard,
219 /// 10 = Snow Leopard, etc.
Eric Christopher62f35a22010-07-05 19:26:33 +0000220 unsigned getDarwinVers() const {
221 if (isTargetDarwin()) return TargetTriple.getDarwinMajorNumber();
222 return 0;
223 }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000224
Chris Lattnerd392bd92009-07-10 07:20:05 +0000225 /// ClassifyGlobalReference - Classify a global variable reference for the
226 /// current subtarget according to how we should reference it in a non-pcrel
227 /// context.
228 unsigned char ClassifyGlobalReference(const GlobalValue *GV,
229 const TargetMachine &TM)const;
Anton Korobeynikov15fccf12006-12-20 01:03:20 +0000230
Dan Gohman29cbade2009-11-20 23:18:13 +0000231 /// ClassifyBlockAddressReference - Classify a blockaddress reference for the
232 /// current subtarget according to how we should reference it in a non-pcrel
233 /// context.
234 unsigned char ClassifyBlockAddressReference() const;
235
Evan Chengd7f666a2009-05-20 04:53:57 +0000236 /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls
237 /// to immediate address.
238 bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const;
239
Dan Gohman68d599d2008-04-01 20:38:36 +0000240 /// This function returns the name of a function which has an interface
241 /// like the non-standard bzero function, if such a function exists on
242 /// the current subtarget and it is considered prefereable over
243 /// memset with zero passed as the second argument. Otherwise it
244 /// returns null.
Bill Wendling6e087382008-09-30 22:05:33 +0000245 const char *getBZeroEntry() const;
Dan Gohman8749b612008-12-16 03:35:01 +0000246
247 /// getSpecialAddressLatency - For targets where it is beneficial to
248 /// backschedule instructions that compute addresses, return a value
249 /// indicating the number of scheduling cycles of backscheduling that
250 /// should be attempted.
251 unsigned getSpecialAddressLatency() const;
Dan Gohman4d3d6e12010-05-27 18:43:40 +0000252
253 /// IsCalleePop - Test whether a function should pop its own arguments.
254 bool IsCalleePop(bool isVarArg, CallingConv::ID CallConv) const;
Evan Chengd0da6ff2009-09-03 04:37:05 +0000255};
Evan Cheng751c0e12006-10-16 21:00:37 +0000256
Nate Begemanfb5792f2005-07-12 01:41:54 +0000257} // End llvm namespace
258
259#endif