Nate Begeman | 8c00f8c | 2005-08-04 07:12:09 +0000 | [diff] [blame] | 1 | //=====---- X86Subtarget.h - Define Subtarget for the X86 -----*- C++ -*--====// |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 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. |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +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" |
Jim Laskey | b1e1180 | 2005-09-01 21:38:21 +0000 | [diff] [blame] | 18 | #include <string> |
| 19 | |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 20 | namespace llvm { |
| 21 | class Module; |
Anton Korobeynikov | 7784ebc | 2006-11-30 22:42:55 +0000 | [diff] [blame] | 22 | class GlobalValue; |
Anton Korobeynikov | 2b2bc68 | 2006-12-22 22:29:05 +0000 | [diff] [blame] | 23 | class TargetMachine; |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 24 | |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 25 | namespace PICStyles { |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 26 | enum Style { |
| 27 | Stub, GOT, RIPRel, WinPIC, None |
| 28 | }; |
| 29 | } |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 30 | |
| 31 | class X86Subtarget : public TargetSubtarget { |
Jim Laskey | 05a059d | 2006-09-07 12:23:47 +0000 | [diff] [blame] | 32 | public: |
| 33 | enum AsmWriterFlavorTy { |
Chris Lattner | 26aa785 | 2007-01-16 17:51:40 +0000 | [diff] [blame] | 34 | // Note: This numbering has to match the GCC assembler dialects for inline |
| 35 | // asm alternatives to work right. |
| 36 | ATT = 0, Intel = 1, Unset |
Jim Laskey | 05a059d | 2006-09-07 12:23:47 +0000 | [diff] [blame] | 37 | }; |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 38 | protected: |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 39 | enum X86SSEEnum { |
Nate Begeman | 63ec90a | 2008-02-03 07:18:54 +0000 | [diff] [blame] | 40 | NoMMXSSE, MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42 |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 41 | }; |
| 42 | |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 43 | enum X863DNowEnum { |
| 44 | NoThreeDNow, ThreeDNow, ThreeDNowA |
| 45 | }; |
| 46 | |
Jim Laskey | 05a059d | 2006-09-07 12:23:47 +0000 | [diff] [blame] | 47 | /// AsmFlavor - Which x86 asm dialect to use. |
Evan Cheng | f6844ca | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 48 | /// |
Jim Laskey | 05a059d | 2006-09-07 12:23:47 +0000 | [diff] [blame] | 49 | AsmWriterFlavorTy AsmFlavor; |
| 50 | |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 51 | /// PICStyle - Which PIC style to use |
Evan Cheng | f6844ca | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 52 | /// |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 53 | PICStyles::Style PICStyle; |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 54 | |
Evan Cheng | add2517 | 2008-02-12 07:59:55 +0000 | [diff] [blame] | 55 | /// X86SSELevel - MMX, SSE1, SSE2, SSE3, SSSE3, SSE41, SSE42, or |
| 56 | /// none supported. |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 57 | X86SSEEnum X86SSELevel; |
| 58 | |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 59 | /// X863DNowLevel - 3DNow or 3DNow Athlon, or none supported. |
Evan Cheng | f6844ca | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 60 | /// |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 61 | X863DNowEnum X863DNowLevel; |
| 62 | |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 63 | /// HasX86_64 - True if the processor supports X86-64 instructions. |
Evan Cheng | f6844ca | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 64 | /// |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 65 | bool HasX86_64; |
Evan Cheng | ccb6976 | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 66 | |
Stefanus Du Toit | 8cf5ab1 | 2009-05-26 21:04:35 +0000 | [diff] [blame] | 67 | /// HasSSE4A - True if the processor supports SSE4A instructions. |
| 68 | bool HasSSE4A; |
| 69 | |
David Greene | 343dadb | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 70 | /// HasAVX - Target has AVX instructions |
| 71 | bool HasAVX; |
| 72 | |
| 73 | /// HasFMA3 - Target has 3-operand fused multiply-add |
| 74 | bool HasFMA3; |
| 75 | |
| 76 | /// HasFMA4 - Target has 4-operand fused multiply-add |
| 77 | bool HasFMA4; |
| 78 | |
| 79 | /// IsBTMemSlow - True if BT (bit test) of memory instructions are slow. |
| 80 | bool IsBTMemSlow; |
| 81 | |
Chris Lattner | 7ad92d8 | 2008-01-02 19:44:55 +0000 | [diff] [blame] | 82 | /// DarwinVers - Nonzero if this is a darwin platform: the numeric |
| 83 | /// version of the platform, e.g. 8 = 10.4 (Tiger), 9 = 10.5 (Leopard), etc. |
Dan Gohman | 600bf16 | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 84 | unsigned char DarwinVers; // Is any darwin-x86 platform. |
| 85 | |
| 86 | /// isLinux - true if this is a "linux" platform. |
| 87 | bool IsLinux; |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 88 | |
Chris Lattner | b151aca | 2005-07-12 02:36:10 +0000 | [diff] [blame] | 89 | /// stackAlignment - The minimum alignment known to hold of the stack frame on |
| 90 | /// entry to the function and which must be maintained by every function. |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 91 | unsigned stackAlignment; |
Jeff Cohen | 9eb59ec | 2005-07-27 05:53:44 +0000 | [diff] [blame] | 92 | |
Rafael Espindola | fc05f40 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 93 | /// Max. memset / memcpy size that is turned into rep/movs, rep/stos ops. |
Evan Cheng | f6844ca | 2007-08-01 23:45:51 +0000 | [diff] [blame] | 94 | /// |
Rafael Espindola | fc05f40 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 95 | unsigned MaxInlineSizeThreshold; |
Evan Cheng | 18a8452 | 2006-02-16 00:21:07 +0000 | [diff] [blame] | 96 | |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 97 | private: |
| 98 | /// Is64Bit - True if the processor supports 64-bit instructions and module |
| 99 | /// pointer size is 64 bit. |
| 100 | bool Is64Bit; |
| 101 | |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 102 | public: |
Chris Lattner | e5600e5 | 2005-11-21 22:31:58 +0000 | [diff] [blame] | 103 | enum { |
Dan Gohman | 600bf16 | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 104 | isELF, isCygwin, isDarwin, isWindows, isMingw |
Chris Lattner | e5600e5 | 2005-11-21 22:31:58 +0000 | [diff] [blame] | 105 | } TargetType; |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 106 | |
Jeff Cohen | 9eb59ec | 2005-07-27 05:53:44 +0000 | [diff] [blame] | 107 | /// This constructor initializes the data members to match that |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 108 | /// of the specified module. |
| 109 | /// |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 110 | X86Subtarget(const Module &M, const std::string &FS, bool is64Bit); |
Chris Lattner | b151aca | 2005-07-12 02:36:10 +0000 | [diff] [blame] | 111 | |
| 112 | /// getStackAlignment - Returns the minimum alignment known to hold of the |
| 113 | /// stack frame on entry to the function and which must be maintained by every |
| 114 | /// function for this subtarget. |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 115 | unsigned getStackAlignment() const { return stackAlignment; } |
Jeff Cohen | 9eb59ec | 2005-07-27 05:53:44 +0000 | [diff] [blame] | 116 | |
Rafael Espindola | fc05f40 | 2007-10-31 11:52:06 +0000 | [diff] [blame] | 117 | /// getMaxInlineSizeThreshold - Returns the maximum memset / memcpy size |
| 118 | /// that still makes it profitable to inline the call. |
| 119 | unsigned getMaxInlineSizeThreshold() const { return MaxInlineSizeThreshold; } |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 120 | |
| 121 | /// ParseSubtargetFeatures - Parses features string setting specified |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 122 | /// subtarget options. Definition of function is auto generated by tblgen. |
Anton Korobeynikov | 41a0243 | 2009-05-23 19:50:50 +0000 | [diff] [blame] | 123 | std::string ParseSubtargetFeatures(const std::string &FS, |
| 124 | const std::string &CPU); |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 125 | |
| 126 | /// AutoDetectSubtargetFeatures - Auto-detect CPU features using CPUID |
| 127 | /// instruction. |
| 128 | void AutoDetectSubtargetFeatures(); |
Evan Cheng | 97c7fc3 | 2006-01-26 09:53:06 +0000 | [diff] [blame] | 129 | |
| 130 | bool is64Bit() const { return Is64Bit; } |
| 131 | |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 132 | PICStyles::Style getPICStyle() const { return PICStyle; } |
| 133 | void setPICStyle(PICStyles::Style Style) { PICStyle = Style; } |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 134 | |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 135 | bool hasMMX() const { return X86SSELevel >= MMX; } |
Chris Lattner | 259e97c | 2006-01-31 19:43:35 +0000 | [diff] [blame] | 136 | bool hasSSE1() const { return X86SSELevel >= SSE1; } |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 137 | bool hasSSE2() const { return X86SSELevel >= SSE2; } |
| 138 | bool hasSSE3() const { return X86SSELevel >= SSE3; } |
Bill Wendling | bb1ee05 | 2007-04-10 22:10:25 +0000 | [diff] [blame] | 139 | bool hasSSSE3() const { return X86SSELevel >= SSSE3; } |
Evan Cheng | 43b7ca1 | 2008-04-03 08:53:29 +0000 | [diff] [blame] | 140 | bool hasSSE41() const { return X86SSELevel >= SSE41; } |
| 141 | bool hasSSE42() const { return X86SSELevel >= SSE42; } |
Stefanus Du Toit | 8cf5ab1 | 2009-05-26 21:04:35 +0000 | [diff] [blame] | 142 | bool hasSSE4A() const { return HasSSE4A; } |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 143 | bool has3DNow() const { return X863DNowLevel >= ThreeDNow; } |
| 144 | bool has3DNowA() const { return X863DNowLevel >= ThreeDNowA; } |
David Greene | 640a0c1 | 2009-06-29 16:51:01 +0000 | [diff] [blame^] | 145 | bool hasAVX() const { return HasAVX; } |
David Greene | 343dadb | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 146 | bool hasFMA3() const { return HasFMA3; } |
| 147 | bool hasFMA4() const { return HasFMA4; } |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 148 | |
Evan Cheng | ccb6976 | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 149 | bool isBTMemSlow() const { return IsBTMemSlow; } |
| 150 | |
Bill Wendling | cb90099 | 2007-01-16 09:29:17 +0000 | [diff] [blame] | 151 | unsigned getAsmFlavor() const { |
| 152 | return AsmFlavor != Unset ? unsigned(AsmFlavor) : 0; |
| 153 | } |
| 154 | |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 155 | bool isFlavorAtt() const { return AsmFlavor == ATT; } |
| 156 | bool isFlavorIntel() const { return AsmFlavor == Intel; } |
Evan Cheng | 7ccced6 | 2006-02-18 00:15:05 +0000 | [diff] [blame] | 157 | |
| 158 | bool isTargetDarwin() const { return TargetType == isDarwin; } |
Dan Gohman | a779a98 | 2008-05-05 00:28:39 +0000 | [diff] [blame] | 159 | bool isTargetELF() const { |
Dan Gohman | 600bf16 | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 160 | return TargetType == isELF; |
Dan Gohman | a779a98 | 2008-05-05 00:28:39 +0000 | [diff] [blame] | 161 | } |
Anton Korobeynikov | b74ed07 | 2006-09-14 18:23:27 +0000 | [diff] [blame] | 162 | bool isTargetWindows() const { return TargetType == isWindows; } |
Anton Korobeynikov | 317848f | 2007-01-03 11:43:14 +0000 | [diff] [blame] | 163 | bool isTargetMingw() const { return TargetType == isMingw; } |
| 164 | bool isTargetCygMing() const { return (TargetType == isMingw || |
| 165 | TargetType == isCygwin); } |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 166 | bool isTargetCygwin() const { return TargetType == isCygwin; } |
Anton Korobeynikov | 1a979d9 | 2008-03-22 20:57:27 +0000 | [diff] [blame] | 167 | bool isTargetWin64() const { |
| 168 | return (Is64Bit && (TargetType == isMingw || TargetType == isWindows)); |
| 169 | } |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 170 | |
Dale Johannesen | 9989a65 | 2007-08-06 22:10:35 +0000 | [diff] [blame] | 171 | std::string getDataLayout() const { |
| 172 | const char *p; |
Evan Cheng | 29d62be | 2007-09-04 16:44:41 +0000 | [diff] [blame] | 173 | if (is64Bit()) |
Rafael Espindola | 588af2f | 2007-09-07 14:52:14 +0000 | [diff] [blame] | 174 | p = "e-p:64:64-s:64-f64:64:64-i64:64:64-f80:128:128"; |
Rafael Espindola | 7240ae3 | 2007-08-31 12:23:58 +0000 | [diff] [blame] | 175 | else { |
| 176 | if (isTargetDarwin()) |
| 177 | p = "e-p:32:32-f64:32:64-i64:32:64-f80:128:128"; |
| 178 | else |
| 179 | p = "e-p:32:32-f64:32:64-i64:32:64-f80:32:32"; |
| 180 | } |
Dale Johannesen | 9989a65 | 2007-08-06 22:10:35 +0000 | [diff] [blame] | 181 | return std::string(p); |
| 182 | } |
Dale Johannesen | 27f92be | 2007-08-06 21:48:35 +0000 | [diff] [blame] | 183 | |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 184 | bool isPICStyleSet() const { return PICStyle != PICStyles::None; } |
| 185 | bool isPICStyleGOT() const { return PICStyle == PICStyles::GOT; } |
| 186 | bool isPICStyleStub() const { return PICStyle == PICStyles::Stub; } |
| 187 | bool isPICStyleRIPRel() const { return PICStyle == PICStyles::RIPRel; } |
Chris Lattner | aecaa1f | 2009-06-21 01:27:55 +0000 | [diff] [blame] | 188 | bool isPICStyleWinPIC() const { return PICStyle == PICStyles::WinPIC; } |
Chris Lattner | 7ad92d8 | 2008-01-02 19:44:55 +0000 | [diff] [blame] | 189 | |
| 190 | /// getDarwinVers - Return the darwin version number, 8 = tiger, 9 = leopard. |
| 191 | unsigned getDarwinVers() const { return DarwinVers; } |
| 192 | |
Dan Gohman | 600bf16 | 2008-05-05 16:11:31 +0000 | [diff] [blame] | 193 | /// isLinux - Return true if the target is "Linux". |
| 194 | bool isLinux() const { return IsLinux; } |
| 195 | |
Anton Korobeynikov | 12c49af | 2006-11-21 00:01:06 +0000 | [diff] [blame] | 196 | /// True if accessing the GV requires an extra load. For Windows, dllimported |
| 197 | /// symbols are indirect, loading the value at address GV rather then the |
| 198 | /// value of GV itself. This means that the GlobalAddress must be in the base |
| 199 | /// or index register of the address, not the GV offset field. |
Anton Korobeynikov | 2b2bc68 | 2006-12-22 22:29:05 +0000 | [diff] [blame] | 200 | bool GVRequiresExtraLoad(const GlobalValue* GV, const TargetMachine& TM, |
| 201 | bool isDirectCall) const; |
Anton Korobeynikov | 15fccf1 | 2006-12-20 01:03:20 +0000 | [diff] [blame] | 202 | |
Dale Johannesen | 368eb2b | 2008-12-05 21:55:35 +0000 | [diff] [blame] | 203 | /// True if accessing the GV requires a register. This is a superset of the |
| 204 | /// cases where GVRequiresExtraLoad is true. Some variations of PIC require |
| 205 | /// a register, but not an extra load. |
| 206 | bool GVRequiresRegister(const GlobalValue* GV, const TargetMachine& TM, |
| 207 | bool isDirectCall) const; |
| 208 | |
Evan Cheng | d7f666a | 2009-05-20 04:53:57 +0000 | [diff] [blame] | 209 | /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls |
| 210 | /// to immediate address. |
| 211 | bool IsLegalToCallImmediateAddr(const TargetMachine &TM) const; |
| 212 | |
Dan Gohman | 68d599d | 2008-04-01 20:38:36 +0000 | [diff] [blame] | 213 | /// This function returns the name of a function which has an interface |
| 214 | /// like the non-standard bzero function, if such a function exists on |
| 215 | /// the current subtarget and it is considered prefereable over |
| 216 | /// memset with zero passed as the second argument. Otherwise it |
| 217 | /// returns null. |
Bill Wendling | 6e08738 | 2008-09-30 22:05:33 +0000 | [diff] [blame] | 218 | const char *getBZeroEntry() const; |
Dan Gohman | 8749b61 | 2008-12-16 03:35:01 +0000 | [diff] [blame] | 219 | |
| 220 | /// getSpecialAddressLatency - For targets where it is beneficial to |
| 221 | /// backschedule instructions that compute addresses, return a value |
| 222 | /// indicating the number of scheduling cycles of backscheduling that |
| 223 | /// should be attempted. |
| 224 | unsigned getSpecialAddressLatency() const; |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 225 | }; |
Evan Cheng | 751c0e1 | 2006-10-16 21:00:37 +0000 | [diff] [blame] | 226 | |
| 227 | namespace X86 { |
| 228 | /// GetCpuIDAndInfo - Execute the specified cpuid and return the 4 values in |
| 229 | /// the specified arguments. If we can't run cpuid on the host, return true. |
| 230 | bool GetCpuIDAndInfo(unsigned value, unsigned *rEAX, unsigned *rEBX, |
| 231 | unsigned *rECX, unsigned *rEDX); |
| 232 | } |
| 233 | |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 234 | } // End llvm namespace |
| 235 | |
| 236 | #endif |