blob: 0ee91abe21f4ea949af47689b6b534fb19b3be3f [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
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +000068 /// HasSSE4A - True if the processor supports SSE4A instructions.
69 bool HasSSE4A;
70
David Greene343dadb2009-06-26 22:46:54 +000071 /// HasAVX - Target has AVX instructions
72 bool HasAVX;
73
Eric Christopher6d1cd1c2010-04-02 21:54:27 +000074 /// HasAES - Target has AES instructions
75 bool HasAES;
76
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +000077 /// HasCLMUL - Target has carry-less multiplication
78 bool HasCLMUL;
79
David Greene343dadb2009-06-26 22:46:54 +000080 /// HasFMA3 - Target has 3-operand fused multiply-add
81 bool HasFMA3;
82
83 /// HasFMA4 - Target has 4-operand fused multiply-add
84 bool HasFMA4;
85
86 /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow.
87 bool IsBTMemSlow;
Evan Cheng400073d2009-12-18 07:40:29 +000088
Evan Cheng48c58bb2010-04-01 05:58:17 +000089 /// IsUAMemFast - True if unaligned memory access is fast.
90 bool IsUAMemFast;
91
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +000092 /// HasVectorUAMem - True if SIMD operations can have unaligned memory
Evan Cheng5528e7b2010-04-21 01:47:12 +000093 /// operands. This may require setting a feature bit in the processor.
David Greene95eb2ee2010-01-11 16:29:42 +000094 bool HasVectorUAMem;
95
Chris Lattnerb151aca2005-07-12 02:36:10 +000096 /// stackAlignment - The minimum alignment known to hold of the stack frame on
97 /// entry to the function and which must be maintained by every function.
Nate Begemanfb5792f2005-07-12 01:41:54 +000098 unsigned stackAlignment;
Jeff Cohen9eb59ec2005-07-27 05:53:44 +000099
Rafael Espindolafc05f402007-10-31 11:52:06 +0000100 /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops.
Evan Chengf6844ca2007-08-01 23:45:51 +0000101 ///
Rafael Espindolafc05f402007-10-31 11:52:06 +0000102 unsigned MaxInlineSizeThreshold;
Eric Christopher62f35a22010-07-05 19:26:33 +0000103
104 /// TargetTriple - What processor and OS we're targeting.
105 Triple TargetTriple;
Evan Cheng18a84522006-02-16 00:21:07 +0000106
Evan Cheng25ab6902006-09-08 06:48:29 +0000107private:
Daniel Dunbar3be03402009-08-02 22:11:08 +0000108 /// Is64Bit - True if the processor supports 64-bit instructions and
Evan Cheng25ab6902006-09-08 06:48:29 +0000109 /// pointer size is 64 bit.
110 bool Is64Bit;
111
Nate Begemanfb5792f2005-07-12 01:41:54 +0000112public:
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000113
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000114 /// This constructor initializes the data members to match that
Daniel Dunbar3be03402009-08-02 22:11:08 +0000115 /// of the specified triple.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000116 ///
Daniel Dunbar3be03402009-08-02 22:11:08 +0000117 X86Subtarget(const std::string &TT, const std::string &FS, bool is64Bit);
Chris Lattnerb151aca2005-07-12 02:36:10 +0000118
119 /// getStackAlignment - Returns the minimum alignment known to hold of the
120 /// stack frame on entry to the function and which must be maintained by every
121 /// function for this subtarget.
Nate Begemanfb5792f2005-07-12 01:41:54 +0000122 unsigned getStackAlignment() const { return stackAlignment; }
Jeff Cohen9eb59ec2005-07-27 05:53:44 +0000123
Rafael Espindolafc05f402007-10-31 11:52:06 +0000124 /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size
125 /// that still makes it profitable to inline the call.
126 unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000127
128 /// ParseSubtargetFeatures - Parses features string setting specified
Evan Chenga26eb5e2006-10-06 09:17:41 +0000129 /// subtarget options. Definition of function is auto generated by tblgen.
Anton Korobeynikov41a02432009-05-23 19:50:50 +0000130 std::string ParseSubtargetFeatures(const std::string &FS,
131 const std::string &CPU);
Evan Chenga26eb5e2006-10-06 09:17:41 +0000132
133 /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID
134 /// instruction.
135 void AutoDetectSubtargetFeatures();
Evan Cheng97c7fc32006-01-26 09:53:06 +0000136
137 bool is64Bit() const { return Is64Bit; }
138
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000139 PICStyles::Style getPICStyle() const { return PICStyle; }
140 void setPICStyle(PICStyles::Style Style) { PICStyle = Style; }
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000141
Chris Lattner314a1132010-03-14 18:31:44 +0000142 bool hasCMov() const { return HasCMov; }
Evan Cheng559806f2006-01-27 08:10:46 +0000143 bool hasMMX() const { return X86SSELevel >= MMX; }
Chris Lattner259e97c2006-01-31 19:43:35 +0000144 bool hasSSE1() const { return X86SSELevel >= SSE1; }
Evan Cheng559806f2006-01-27 08:10:46 +0000145 bool hasSSE2() const { return X86SSELevel >= SSE2; }
146 bool hasSSE3() const { return X86SSELevel >= SSE3; }
Bill Wendlingbb1ee052007-04-10 22:10:25 +0000147 bool hasSSSE3() const { return X86SSELevel >= SSSE3; }
Evan Cheng43b7ca12008-04-03 08:53:29 +0000148 bool hasSSE41() const { return X86SSELevel >= SSE41; }
149 bool hasSSE42() const { return X86SSELevel >= SSE42; }
Stefanus Du Toit8cf5ab12009-05-26 21:04:35 +0000150 bool hasSSE4A() const { return HasSSE4A; }
Evan Chenga26eb5e2006-10-06 09:17:41 +0000151 bool has3DNow() const { return X863DNowLevel >= ThreeDNow; }
152 bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; }
David Greene640a0c12009-06-29 16:51:01 +0000153 bool hasAVX() const { return HasAVX; }
Eric Christopher6d1cd1c2010-04-02 21:54:27 +0000154 bool hasAES() const { return HasAES; }
Bruno Cardoso Lopescdae7e82010-07-23 01:17:51 +0000155 bool hasCLMUL() const { return HasCLMUL; }
David Greene343dadb2009-06-26 22:46:54 +0000156 bool hasFMA3() const { return HasFMA3; }
157 bool hasFMA4() const { return HasFMA4; }
Evan Chengccb69762009-01-02 05:35:45 +0000158 bool isBTMemSlow() const { return IsBTMemSlow; }
Evan Cheng48c58bb2010-04-01 05:58:17 +0000159 bool isUnalignedMemAccessFast() const { return IsUAMemFast; }
David Greene95eb2ee2010-01-11 16:29:42 +0000160 bool hasVectorUAMem() const { return HasVectorUAMem; }
Evan Chengccb69762009-01-02 05:35:45 +0000161
Eric Christopher62f35a22010-07-05 19:26:33 +0000162 bool isTargetDarwin() const { return TargetTriple.getOS() == Triple::Darwin; }
163
164 // ELF is a reasonably sane default and the only other X86 targets we
165 // support are Darwin and Windows. Just use "not those".
166 bool isTargetELF() const {
167 return !isTargetDarwin() && !isTargetWindows() && !isTargetCygMing();
Chris Lattnerd392bd92009-07-10 07:20:05 +0000168 }
Eric Christopher62f35a22010-07-05 19:26:33 +0000169 bool isTargetLinux() const { return TargetTriple.getOS() == Triple::Linux; }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000170
Eric Christopher62f35a22010-07-05 19:26:33 +0000171 bool isTargetWindows() const { return TargetTriple.getOS() == Triple::Win32; }
172 bool isTargetMingw() const {
173 return TargetTriple.getOS() == Triple::MinGW32 ||
174 TargetTriple.getOS() == Triple::MinGW64; }
175 bool isTargetCygwin() const { return TargetTriple.getOS() == Triple::Cygwin; }
176 bool isTargetCygMing() const {
177 return isTargetMingw() || isTargetCygwin();
178 }
179
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000180 /// isTargetCOFF - Return true if this is any COFF/Windows target variant.
181 bool isTargetCOFF() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000182 return isTargetMingw() || isTargetCygwin() || isTargetWindows();
Chris Lattnera76e3fc2009-09-16 05:20:33 +0000183 }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000184
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000185 bool isTargetWin64() const {
Eric Christopher62f35a22010-07-05 19:26:33 +0000186 return Is64Bit && (isTargetMingw() || isTargetWindows());
Anton Korobeynikov1a979d92008-03-22 20:57:27 +0000187 }
Anton Korobeynikov12c49af2006-11-21 00:01:06 +0000188
Anton Korobeynikovace53f22010-09-02 23:03:46 +0000189 bool isTargetWin32() const {
190 return !Is64Bit && (isTargetMingw() || isTargetWindows());
191 }
192
Dale Johannesen9989a652007-08-06 22:10:35 +0000193 std::string getDataLayout() const {
194 const char *p;
Evan Cheng29d62be2007-09-04 16:44:41 +0000195 if (is64Bit())
Chris Lattner59a91782009-11-07 19:07:32 +0000196 p = "e-p:64:64-s:64-f64:64:64-i64:64:64-f80:128:128-n8:16:32:64";
Chris Lattnerd392bd92009-07-10 07:20:05 +0000197 else if (isTargetDarwin())
Chris Lattner59a91782009-11-07 19:07:32 +0000198 p = "e-p:32:32-f64:32:64-i64:32:64-f80:128:128-n8:16:32";
Duncan Sands990c4b82010-01-12 08:30:46 +0000199 else if (isTargetMingw() || isTargetWindows())
Anton Korobeynikovebb0c2b2010-02-12 15:28:56 +0000200 p = "e-p:32:32-f64:64:64-i64:64:64-f80:32:32-n8:16:32";
Chris Lattnerd392bd92009-07-10 07:20:05 +0000201 else
Chris Lattner59a91782009-11-07 19:07:32 +0000202 p = "e-p:32:32-f64:32:64-i64:32:64-f80:32:32-n8:16:32";
Anton Korobeynikove9ec6ad2009-12-19 02:04:23 +0000203
Dale Johannesen9989a652007-08-06 22:10:35 +0000204 return std::string(p);
205 }
Dale Johannesen27f92be2007-08-06 21:48:35 +0000206
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000207 bool isPICStyleSet() const { return PICStyle != PICStyles::None; }
208 bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; }
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000209 bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; }
Chris Lattner3b67e9b2009-07-10 20:47:30 +0000210
Chris Lattnere2c92082009-07-10 21:00:45 +0000211 bool isPICStyleStubPIC() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000212 return PICStyle == PICStyles::StubPIC;
213 }
214
Chris Lattnere2c92082009-07-10 21:00:45 +0000215 bool isPICStyleStubNoDynamic() const {
Chris Lattner8097b652009-07-10 20:58:47 +0000216 return PICStyle == PICStyles::StubDynamicNoPIC;
217 }
218 bool isPICStyleStubAny() const {
219 return PICStyle == PICStyles::StubDynamicNoPIC ||
220 PICStyle == PICStyles::StubPIC; }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000221
Chris Lattner3b67e9b2009-07-10 20:47:30 +0000222 /// getDarwinVers - Return the darwin version number, 8 = Tiger, 9 = Leopard,
223 /// 10 = Snow Leopard, etc.
Eric Christopher62f35a22010-07-05 19:26:33 +0000224 unsigned getDarwinVers() const {
225 if (isTargetDarwin()) return TargetTriple.getDarwinMajorNumber();
226 return 0;
227 }
Mikhail Glushenkov5d96eb82010-02-28 22:54:30 +0000228
Chris Lattnerd392bd92009-07-10 07:20:05 +0000229 /// ClassifyGlobalReference - Classify a global variable reference for the
230 /// current subtarget according to how we should reference it in a non-pcrel
231 /// context.
232 unsigned char ClassifyGlobalReference(const GlobalValue *GV,
233 const TargetMachine &TM)const;
Anton Korobeynikov15fccf12006-12-20 01:03:20 +0000234
Dan Gohman29cbade2009-11-20 23:18:13 +0000235 /// ClassifyBlockAddressReference - Classify a blockaddress reference for the
236 /// current subtarget according to how we should reference it in a non-pcrel
237 /// context.
238 unsigned char ClassifyBlockAddressReference() const;
239
Evan Chengd7f666a2009-05-20 04:53:57 +0000240 /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls
241 /// to immediate address.
242 bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const;
243
Dan Gohman68d599d2008-04-01 20:38:36 +0000244 /// This function returns the name of a function which has an interface
245 /// like the non-standard bzero function, if such a function exists on
246 /// the current subtarget and it is considered prefereable over
247 /// memset with zero passed as the second argument. Otherwise it
248 /// returns null.
Bill Wendling6e087382008-09-30 22:05:33 +0000249 const char *getBZeroEntry() const;
Dan Gohman8749b612008-12-16 03:35:01 +0000250
251 /// getSpecialAddressLatency - For targets where it is beneficial to
252 /// backschedule instructions that compute addresses, return a value
253 /// indicating the number of scheduling cycles of backscheduling that
254 /// should be attempted.
255 unsigned getSpecialAddressLatency() const;
Dan Gohman4d3d6e12010-05-27 18:43:40 +0000256
257 /// IsCalleePop - Test whether a function should pop its own arguments.
258 bool IsCalleePop(bool isVarArg, CallingConv::ID CallConv) const;
Evan Chengd0da6ff2009-09-03 04:37:05 +0000259};
Evan Cheng751c0e12006-10-16 21:00:37 +0000260
Nate Begemanfb5792f2005-07-12 01:41:54 +0000261} // End llvm namespace
262
263#endif