Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //=====---- X86Subtarget.h - Define Subtarget for the X86 -----*- C++ -*--====// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file declares the X86 specific subclass of TargetSubtarget. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef X86SUBTARGET_H |
| 15 | #define X86SUBTARGET_H |
| 16 | |
| 17 | #include "llvm/Target/TargetSubtarget.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | #include <string> |
| 19 | |
| 20 | namespace llvm { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 21 | class GlobalValue; |
| 22 | class TargetMachine; |
| 23 | |
Chris Lattner | aa7c6d2 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 24 | /// PICStyles - The X86 backend supports a number of different styles of PIC. |
| 25 | /// |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 26 | namespace PICStyles { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 27 | enum Style { |
Chris Lattner | fb50272 | 2009-07-10 20:58:47 +0000 | [diff] [blame] | 28 | StubPIC, // Used on i386-darwin in -fPIC mode. |
| 29 | StubDynamicNoPIC, // Used on i386-darwin in -mdynamic-no-pic mode. |
| 30 | GOT, // Used on many 32-bit unices in -fPIC mode. |
| 31 | RIPRel, // Used on X86-64 when not in -static mode. |
| 32 | None // Set when in -static mode (not PIC or DynamicNoPIC mode). |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 33 | }; |
| 34 | } |
| 35 | |
| 36 | class X86Subtarget : public TargetSubtarget { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 37 | protected: |
| 38 | enum X86SSEEnum { |
Nate Begeman | b297556 | 2008-02-03 07:18:54 +0000 | [diff] [blame] | 39 | NoMMXSSE, MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 40 | }; |
| 41 | |
| 42 | enum X863DNowEnum { |
| 43 | NoThreeDNow, ThreeDNow, ThreeDNowA |
| 44 | }; |
| 45 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 46 | /// PICStyle - Which PIC style to use |
Evan Cheng | 09e1379 | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 47 | /// |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 48 | PICStyles::Style PICStyle; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 49 | |
Evan Cheng | a5aa360 | 2008-02-12 07:59:55 +0000 | [diff] [blame] | 50 | /// X86SSELevel - MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42, or |
| 51 | /// none supported. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 52 | X86SSEEnum X86SSELevel; |
| 53 | |
| 54 | /// X863DNowLevel - 3DNow or 3DNow Athlon, or none supported. |
Evan Cheng | 09e1379 | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 55 | /// |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 56 | X863DNowEnum X863DNowLevel; |
| 57 | |
Chris Lattner | 556464f | 2009-09-02 05:53:04 +0000 | [diff] [blame] | 58 | /// HasCMov - True if this processor has conditional move instructions |
| 59 | /// (generally pentium pro+). |
| 60 | bool HasCMov; |
| 61 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 62 | /// HasX86_64 - True if the processor supports X86-64 instructions. |
Evan Cheng | 09e1379 | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 63 | /// |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 64 | bool HasX86_64; |
Evan Cheng | 95a77fd | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 65 | |
Stefanus Du Toit | fe086e6 | 2009-05-26 21:04:35 +0000 | [diff] [blame] | 66 | /// HasSSE4A - True if the processor supports SSE4A instructions. |
| 67 | bool HasSSE4A; |
| 68 | |
David Greene | 8bf22bc | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 69 | /// HasAVX - Target has AVX instructions |
| 70 | bool HasAVX; |
| 71 | |
| 72 | /// HasFMA3 - Target has 3-operand fused multiply-add |
| 73 | bool HasFMA3; |
| 74 | |
| 75 | /// HasFMA4 - Target has 4-operand fused multiply-add |
| 76 | bool HasFMA4; |
| 77 | |
| 78 | /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow. |
| 79 | bool IsBTMemSlow; |
Evan Cheng | d3f27fb | 2009-12-18 07:40:29 +0000 | [diff] [blame^] | 80 | |
| 81 | /// BreakSSEDep - True if codegen should unfold load or insert xorps / pxor |
| 82 | /// to break register dependency for a partial register update SSE |
| 83 | /// instruction. This is needed for instructions such as CVTSS2SD which |
| 84 | /// only update the lower part of the register, and the result of the updated |
| 85 | /// part does not depend on the contents of the destination before the |
| 86 | /// instruction, and the non-updated portion of the register is not used. |
| 87 | bool BreakSSEDep; |
David Greene | 8bf22bc | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 88 | |
Chris Lattner | 93a2d43 | 2008-01-02 19:44:55 +0000 | [diff] [blame] | 89 | /// DarwinVers - Nonzero if this is a darwin platform: the numeric |
| 90 | /// version of the platform, e.g. 8 = 10.4 (Tiger), 9 = 10.5 (Leopard), etc. |
Dan Gohman | 2593e2b | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 91 | unsigned char DarwinVers; // Is any darwin-x86 platform. |
| 92 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 93 | /// stackAlignment - The minimum alignment known to hold of the stack frame on |
| 94 | /// entry to the function and which must be maintained by every function. |
| 95 | unsigned stackAlignment; |
| 96 | |
Rafael Espindola | 7afa9b1 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 97 | /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops. |
Evan Cheng | 09e1379 | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 98 | /// |
Rafael Espindola | 7afa9b1 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 99 | unsigned MaxInlineSizeThreshold; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 100 | |
| 101 | private: |
Daniel Dunbar | b711cf0 | 2009-08-02 22:11:08 +0000 | [diff] [blame] | 102 | /// Is64Bit - True if the processor supports 64-bit instructions and |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 103 | /// pointer size is 64 bit. |
| 104 | bool Is64Bit; |
| 105 | |
| 106 | public: |
| 107 | enum { |
Dan Gohman | 2593e2b | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 108 | isELF, isCygwin, isDarwin, isWindows, isMingw |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 109 | } TargetType; |
| 110 | |
| 111 | /// This constructor initializes the data members to match that |
Daniel Dunbar | b711cf0 | 2009-08-02 22:11:08 +0000 | [diff] [blame] | 112 | /// of the specified triple. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 113 | /// |
Daniel Dunbar | b711cf0 | 2009-08-02 22:11:08 +0000 | [diff] [blame] | 114 | X86Subtarget(const std::string &TT, const std::string &FS, bool is64Bit); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 115 | |
| 116 | /// getStackAlignment - Returns the minimum alignment known to hold of the |
| 117 | /// stack frame on entry to the function and which must be maintained by every |
| 118 | /// function for this subtarget. |
| 119 | unsigned getStackAlignment() const { return stackAlignment; } |
| 120 | |
Rafael Espindola | 7afa9b1 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 121 | /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size |
| 122 | /// that still makes it profitable to inline the call. |
| 123 | unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 124 | |
| 125 | /// ParseSubtargetFeatures - Parses features string setting specified |
| 126 | /// subtarget options. Definition of function is auto generated by tblgen. |
Anton Korobeynikov | 7357d8f | 2009-05-23 19:50:50 +0000 | [diff] [blame] | 127 | std::string ParseSubtargetFeatures(const std::string &FS, |
| 128 | const std::string &CPU); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 129 | |
| 130 | /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID |
| 131 | /// instruction. |
| 132 | void AutoDetectSubtargetFeatures(); |
| 133 | |
| 134 | bool is64Bit() const { return Is64Bit; } |
| 135 | |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 136 | PICStyles::Style getPICStyle() const { return PICStyle; } |
| 137 | void setPICStyle(PICStyles::Style Style) { PICStyle = Style; } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 138 | |
| 139 | bool hasMMX() const { return X86SSELevel >= MMX; } |
| 140 | bool hasSSE1() const { return X86SSELevel >= SSE1; } |
| 141 | bool hasSSE2() const { return X86SSELevel >= SSE2; } |
| 142 | bool hasSSE3() const { return X86SSELevel >= SSE3; } |
| 143 | bool hasSSSE3() const { return X86SSELevel >= SSSE3; } |
Evan Cheng | cb97ac5 | 2008-04-03 08:53:29 +0000 | [diff] [blame] | 144 | bool hasSSE41() const { return X86SSELevel >= SSE41; } |
| 145 | bool hasSSE42() const { return X86SSELevel >= SSE42; } |
Stefanus Du Toit | fe086e6 | 2009-05-26 21:04:35 +0000 | [diff] [blame] | 146 | bool hasSSE4A() const { return HasSSE4A; } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 147 | bool has3DNow() const { return X863DNowLevel >= ThreeDNow; } |
| 148 | bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; } |
David Greene | ecb520a | 2009-06-29 16:51:01 +0000 | [diff] [blame] | 149 | bool hasAVX() const { return HasAVX; } |
David Greene | 8bf22bc | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 150 | bool hasFMA3() const { return HasFMA3; } |
| 151 | bool hasFMA4() const { return HasFMA4; } |
Evan Cheng | 95a77fd | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 152 | bool isBTMemSlow() const { return IsBTMemSlow; } |
Evan Cheng | d3f27fb | 2009-12-18 07:40:29 +0000 | [diff] [blame^] | 153 | bool shouldBreakSSEDep() const { return BreakSSEDep; } |
Evan Cheng | 95a77fd | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 154 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 155 | bool isTargetDarwin() const { return TargetType == isDarwin; } |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 156 | bool isTargetELF() const { return TargetType == isELF; } |
Chris Lattner | 4b658b8 | 2009-09-16 05:20:33 +0000 | [diff] [blame] | 157 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 158 | bool isTargetWindows() const { return TargetType == isWindows; } |
| 159 | bool isTargetMingw() const { return TargetType == isMingw; } |
Chris Lattner | 4b658b8 | 2009-09-16 05:20:33 +0000 | [diff] [blame] | 160 | bool isTargetCygwin() const { return TargetType == isCygwin; } |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 161 | bool isTargetCygMing() const { |
| 162 | return TargetType == isMingw || TargetType == isCygwin; |
| 163 | } |
Chris Lattner | 4b658b8 | 2009-09-16 05:20:33 +0000 | [diff] [blame] | 164 | |
| 165 | /// isTargetCOFF - Return true if this is any COFF/Windows target variant. |
| 166 | bool isTargetCOFF() const { |
| 167 | return TargetType == isMingw || TargetType == isCygwin || |
| 168 | TargetType == isWindows; |
| 169 | } |
| 170 | |
Anton Korobeynikov | 06d49b0 | 2008-03-22 20:57:27 +0000 | [diff] [blame] | 171 | bool isTargetWin64() const { |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 172 | return Is64Bit && (TargetType == isMingw || TargetType == isWindows); |
Anton Korobeynikov | 06d49b0 | 2008-03-22 20:57:27 +0000 | [diff] [blame] | 173 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 174 | |
Dale Johannesen | 09df34c | 2007-08-06 22:10:35 +0000 | [diff] [blame] | 175 | std::string getDataLayout() const { |
| 176 | const char *p; |
Evan Cheng | 12ca0ef | 2007-09-04 16:44:41 +0000 | [diff] [blame] | 177 | if (is64Bit()) |
Chris Lattner | 1b60b16 | 2009-11-07 19:07:32 +0000 | [diff] [blame] | 178 | p = "e-p:64:64-s:64-f64:64:64-i64:64:64-f80:128:128-n8:16:32:64"; |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 179 | else if (isTargetDarwin()) |
Chris Lattner | 1b60b16 | 2009-11-07 19:07:32 +0000 | [diff] [blame] | 180 | p = "e-p:32:32-f64:32:64-i64:32:64-f80:128:128-n8:16:32"; |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 181 | else |
Chris Lattner | 1b60b16 | 2009-11-07 19:07:32 +0000 | [diff] [blame] | 182 | p = "e-p:32:32-f64:32:64-i64:32:64-f80:32:32-n8:16:32"; |
Dale Johannesen | 09df34c | 2007-08-06 22:10:35 +0000 | [diff] [blame] | 183 | return std::string(p); |
| 184 | } |
Dale Johannesen | d4c671c | 2007-08-06 21:48:35 +0000 | [diff] [blame] | 185 | |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 186 | bool isPICStyleSet() const { return PICStyle != PICStyles::None; } |
| 187 | bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; } |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 188 | bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; } |
Chris Lattner | 4a94893 | 2009-07-10 20:47:30 +0000 | [diff] [blame] | 189 | |
Chris Lattner | 2e9393c | 2009-07-10 21:00:45 +0000 | [diff] [blame] | 190 | bool isPICStyleStubPIC() const { |
Chris Lattner | fb50272 | 2009-07-10 20:58:47 +0000 | [diff] [blame] | 191 | return PICStyle == PICStyles::StubPIC; |
| 192 | } |
| 193 | |
Chris Lattner | 2e9393c | 2009-07-10 21:00:45 +0000 | [diff] [blame] | 194 | bool isPICStyleStubNoDynamic() const { |
Chris Lattner | fb50272 | 2009-07-10 20:58:47 +0000 | [diff] [blame] | 195 | return PICStyle == PICStyles::StubDynamicNoPIC; |
| 196 | } |
| 197 | bool isPICStyleStubAny() const { |
| 198 | return PICStyle == PICStyles::StubDynamicNoPIC || |
| 199 | PICStyle == PICStyles::StubPIC; } |
Chris Lattner | 93a2d43 | 2008-01-02 19:44:55 +0000 | [diff] [blame] | 200 | |
Chris Lattner | 4a94893 | 2009-07-10 20:47:30 +0000 | [diff] [blame] | 201 | /// getDarwinVers - Return the darwin version number, 8 = Tiger, 9 = Leopard, |
| 202 | /// 10 = Snow Leopard, etc. |
Chris Lattner | 93a2d43 | 2008-01-02 19:44:55 +0000 | [diff] [blame] | 203 | unsigned getDarwinVers() const { return DarwinVers; } |
Evan Cheng | c70e290 | 2009-10-15 20:23:21 +0000 | [diff] [blame] | 204 | |
Chris Lattner | 505aa6c | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 205 | /// ClassifyGlobalReference - Classify a global variable reference for the |
| 206 | /// current subtarget according to how we should reference it in a non-pcrel |
| 207 | /// context. |
| 208 | unsigned char ClassifyGlobalReference(const GlobalValue *GV, |
| 209 | const TargetMachine &TM)const; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 210 | |
Dan Gohman | 885793b | 2009-11-20 23:18:13 +0000 | [diff] [blame] | 211 | /// ClassifyBlockAddressReference - Classify a blockaddress reference for the |
| 212 | /// current subtarget according to how we should reference it in a non-pcrel |
| 213 | /// context. |
| 214 | unsigned char ClassifyBlockAddressReference() const; |
| 215 | |
Evan Cheng | 6d35a4d | 2009-05-20 04:53:57 +0000 | [diff] [blame] | 216 | /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls |
| 217 | /// to immediate address. |
| 218 | bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const; |
| 219 | |
Dan Gohman | f95c2bf | 2008-04-01 20:38:36 +0000 | [diff] [blame] | 220 | /// This function returns the name of a function which has an interface |
| 221 | /// like the non-standard bzero function, if such a function exists on |
| 222 | /// the current subtarget and it is considered prefereable over |
| 223 | /// memset with zero passed as the second argument. Otherwise it |
| 224 | /// returns null. |
Bill Wendling | d375203 | 2008-09-30 22:05:33 +0000 | [diff] [blame] | 225 | const char *getBZeroEntry() const; |
Dan Gohman | 4717099 | 2008-12-16 03:35:01 +0000 | [diff] [blame] | 226 | |
| 227 | /// getSpecialAddressLatency - For targets where it is beneficial to |
| 228 | /// backschedule instructions that compute addresses, return a value |
| 229 | /// indicating the number of scheduling cycles of backscheduling that |
| 230 | /// should be attempted. |
| 231 | unsigned getSpecialAddressLatency() const; |
Evan Cheng | 86e24b0 | 2009-10-16 21:06:15 +0000 | [diff] [blame] | 232 | |
| 233 | /// enablePostRAScheduler - X86 target is enabling post-alloc scheduling |
| 234 | /// at 'More' optimization level. |
David Goodwin | e56e4a6 | 2009-10-22 23:19:17 +0000 | [diff] [blame] | 235 | bool enablePostRAScheduler(CodeGenOpt::Level OptLevel, |
David Goodwin | 526dd74 | 2009-11-10 00:15:47 +0000 | [diff] [blame] | 236 | TargetSubtarget::AntiDepBreakMode& Mode, |
David Goodwin | e6e3035 | 2009-11-13 19:52:48 +0000 | [diff] [blame] | 237 | RegClassVector& CriticalPathRCs) const; |
Evan Cheng | 5746a94 | 2009-09-03 04:37:05 +0000 | [diff] [blame] | 238 | }; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 239 | |
| 240 | } // End llvm namespace |
| 241 | |
| 242 | #endif |