Bill Wendling | d643486 | 2010-12-04 23:57:24 +0000 | [diff] [blame] | 1 | //===-- X86Subtarget.cpp - X86 Subtarget Information ----------------------===// |
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 | // |
Evan Cheng | 5b1b4489 | 2011-07-01 21:01:15 +0000 | [diff] [blame] | 10 | // This file implements the X86 specific subclass of TargetSubtargetInfo. |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Evan Cheng | 5b925c0 | 2009-01-03 04:04:46 +0000 | [diff] [blame] | 14 | #define DEBUG_TYPE "subtarget" |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 15 | #include "X86Subtarget.h" |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 16 | #include "X86InstrInfo.h" |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Attributes.h" |
| 18 | #include "llvm/IR/Function.h" |
Chandler Carruth | 0b8c9a8 | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 19 | #include "llvm/IR/GlobalValue.h" |
Evan Cheng | 5b925c0 | 2009-01-03 04:04:46 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Debug.h" |
Rafael Espindola | ca59221 | 2011-09-07 16:10:57 +0000 | [diff] [blame] | 21 | #include "llvm/Support/ErrorHandling.h" |
Michael J. Spencer | 1f6efa3 | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 22 | #include "llvm/Support/Host.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/Support/raw_ostream.h" |
Anton Korobeynikov | 2b2bc68 | 2006-12-22 22:29:05 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetMachine.h" |
Rafael Espindola | ca59221 | 2011-09-07 16:10:57 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetOptions.h" |
Evan Cheng | 9421470 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 26 | |
Evan Cheng | 9421470 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 27 | #define GET_SUBTARGETINFO_TARGET_DESC |
Evan Cheng | ebdeeab | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 28 | #define GET_SUBTARGETINFO_CTOR |
Evan Cheng | 385e930 | 2011-07-01 22:36:09 +0000 | [diff] [blame] | 29 | #include "X86GenSubtargetInfo.inc" |
Evan Cheng | 9421470 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 30 | |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 31 | using namespace llvm; |
| 32 | |
Chris Lattner | bc58322 | 2009-04-25 18:27:23 +0000 | [diff] [blame] | 33 | #if defined(_MSC_VER) |
Bill Wendling | 0ea8bf3 | 2009-08-03 00:11:34 +0000 | [diff] [blame] | 34 | #include <intrin.h> |
Chris Lattner | bc58322 | 2009-04-25 18:27:23 +0000 | [diff] [blame] | 35 | #endif |
| 36 | |
Dan Gohman | 29cbade | 2009-11-20 23:18:13 +0000 | [diff] [blame] | 37 | /// ClassifyBlockAddressReference - Classify a blockaddress reference for the |
| 38 | /// current subtarget according to how we should reference it in a non-pcrel |
| 39 | /// context. |
| 40 | unsigned char X86Subtarget:: |
| 41 | ClassifyBlockAddressReference() const { |
| 42 | if (isPICStyleGOT()) // 32-bit ELF targets. |
| 43 | return X86II::MO_GOTOFF; |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 44 | |
Dan Gohman | 29cbade | 2009-11-20 23:18:13 +0000 | [diff] [blame] | 45 | if (isPICStyleStubPIC()) // Darwin/32 in PIC mode. |
| 46 | return X86II::MO_PIC_BASE_OFFSET; |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 47 | |
Dan Gohman | 29cbade | 2009-11-20 23:18:13 +0000 | [diff] [blame] | 48 | // Direct static reference to label. |
| 49 | return X86II::MO_NO_FLAG; |
| 50 | } |
| 51 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 52 | /// ClassifyGlobalReference - Classify a global variable reference for the |
| 53 | /// current subtarget according to how we should reference it in a non-pcrel |
| 54 | /// context. |
| 55 | unsigned char X86Subtarget:: |
| 56 | ClassifyGlobalReference(const GlobalValue *GV, const TargetMachine &TM) const { |
| 57 | // DLLImport only exists on windows, it is implemented as a load from a |
| 58 | // DLLIMPORT stub. |
| 59 | if (GV->hasDLLImportLinkage()) |
| 60 | return X86II::MO_DLLIMPORT; |
| 61 | |
Chris Lattner | 6b60153 | 2010-06-14 20:11:56 +0000 | [diff] [blame] | 62 | // Determine whether this is a reference to a definition or a declaration. |
| 63 | // Materializable GVs (in JIT lazy compilation mode) do not require an extra |
| 64 | // load from stub. |
| 65 | bool isDecl = GV->hasAvailableExternallyLinkage(); |
| 66 | if (GV->isDeclaration() && !GV->isMaterializable()) |
| 67 | isDecl = true; |
Evan Cheng | a82b22c | 2009-07-16 22:53:10 +0000 | [diff] [blame] | 68 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 69 | // X86-64 in PIC mode. |
| 70 | if (isPICStyleRIPRel()) { |
| 71 | // Large model never uses stubs. |
| 72 | if (TM.getCodeModel() == CodeModel::Large) |
| 73 | return X86II::MO_NO_FLAG; |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 74 | |
Chris Lattner | c782232 | 2009-07-10 21:01:59 +0000 | [diff] [blame] | 75 | if (isTargetDarwin()) { |
| 76 | // If symbol visibility is hidden, the extra load is not needed if |
| 77 | // target is x86-64 or the symbol is definitely defined in the current |
| 78 | // translation unit. |
| 79 | if (GV->hasDefaultVisibility() && |
Evan Cheng | a82b22c | 2009-07-16 22:53:10 +0000 | [diff] [blame] | 80 | (isDecl || GV->isWeakForLinker())) |
Chris Lattner | c782232 | 2009-07-10 21:01:59 +0000 | [diff] [blame] | 81 | return X86II::MO_GOTPCREL; |
Anton Korobeynikov | 699647c | 2010-08-21 17:21:11 +0000 | [diff] [blame] | 82 | } else if (!isTargetWin64()) { |
Chris Lattner | c782232 | 2009-07-10 21:01:59 +0000 | [diff] [blame] | 83 | assert(isTargetELF() && "Unknown rip-relative target"); |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 84 | |
Chris Lattner | c782232 | 2009-07-10 21:01:59 +0000 | [diff] [blame] | 85 | // Extra load is needed for all externally visible. |
| 86 | if (!GV->hasLocalLinkage() && GV->hasDefaultVisibility()) |
| 87 | return X86II::MO_GOTPCREL; |
| 88 | } |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 89 | |
| 90 | return X86II::MO_NO_FLAG; |
| 91 | } |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 92 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 93 | if (isPICStyleGOT()) { // 32-bit ELF targets. |
| 94 | // Extra load is needed for all externally visible. |
| 95 | if (GV->hasLocalLinkage() || GV->hasHiddenVisibility()) |
| 96 | return X86II::MO_GOTOFF; |
| 97 | return X86II::MO_GOT; |
| 98 | } |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 99 | |
Chris Lattner | e2c9208 | 2009-07-10 21:00:45 +0000 | [diff] [blame] | 100 | if (isPICStyleStubPIC()) { // Darwin/32 in PIC mode. |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 101 | // Determine whether we have a stub reference and/or whether the reference |
| 102 | // is relative to the PIC base or not. |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 103 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 104 | // If this is a strong reference to a definition, it is definitely not |
| 105 | // through a stub. |
Evan Cheng | a82b22c | 2009-07-16 22:53:10 +0000 | [diff] [blame] | 106 | if (!isDecl && !GV->isWeakForLinker()) |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 107 | return X86II::MO_PIC_BASE_OFFSET; |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 108 | |
| 109 | // Unless we have a symbol with hidden visibility, we have to go through a |
| 110 | // normal $non_lazy_ptr stub because this symbol might be resolved late. |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 111 | if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference. |
| 112 | return X86II::MO_DARWIN_NONLAZY_PIC_BASE; |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 113 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 114 | // If symbol visibility is hidden, we have a stub for common symbol |
| 115 | // references and external declarations. |
Evan Cheng | a82b22c | 2009-07-16 22:53:10 +0000 | [diff] [blame] | 116 | if (isDecl || GV->hasCommonLinkage()) { |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 117 | // Hidden $non_lazy_ptr reference. |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 118 | return X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE; |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 119 | } |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 120 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 121 | // Otherwise, no stub. |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 122 | return X86II::MO_PIC_BASE_OFFSET; |
| 123 | } |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 124 | |
Chris Lattner | e2c9208 | 2009-07-10 21:00:45 +0000 | [diff] [blame] | 125 | if (isPICStyleStubNoDynamic()) { // Darwin/32 in -mdynamic-no-pic mode. |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 126 | // Determine whether we have a stub reference. |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 127 | |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 128 | // If this is a strong reference to a definition, it is definitely not |
| 129 | // through a stub. |
Evan Cheng | a82b22c | 2009-07-16 22:53:10 +0000 | [diff] [blame] | 130 | if (!isDecl && !GV->isWeakForLinker()) |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 131 | return X86II::MO_NO_FLAG; |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 132 | |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 133 | // Unless we have a symbol with hidden visibility, we have to go through a |
| 134 | // normal $non_lazy_ptr stub because this symbol might be resolved late. |
| 135 | if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference. |
| 136 | return X86II::MO_DARWIN_NONLAZY; |
Evan Cheng | 63476a8 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 137 | |
Chris Lattner | 84853a1 | 2009-07-10 20:53:38 +0000 | [diff] [blame] | 138 | // Otherwise, no stub. |
| 139 | return X86II::MO_NO_FLAG; |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 140 | } |
Chad Rosier | a20e1e7 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 141 | |
Chris Lattner | d392bd9 | 2009-07-10 07:20:05 +0000 | [diff] [blame] | 142 | // Direct static reference to global. |
| 143 | return X86II::MO_NO_FLAG; |
| 144 | } |
| 145 | |
Anton Korobeynikov | 7784ebc | 2006-11-30 22:42:55 +0000 | [diff] [blame] | 146 | |
Bill Wendling | 6f287b2 | 2008-09-30 21:22:07 +0000 | [diff] [blame] | 147 | /// getBZeroEntry - This function returns the name of a function which has an |
| 148 | /// interface like the non-standard bzero function, if such a function exists on |
| 149 | /// the current subtarget and it is considered prefereable over memset with zero |
| 150 | /// passed as the second argument. Otherwise it returns null. |
Bill Wendling | 6e08738 | 2008-09-30 22:05:33 +0000 | [diff] [blame] | 151 | const char *X86Subtarget::getBZeroEntry() const { |
Dan Gohman | 68d599d | 2008-04-01 20:38:36 +0000 | [diff] [blame] | 152 | // Darwin 10 has a __bzero entry point for this purpose. |
Daniel Dunbar | 558692f | 2011-04-20 00:14:25 +0000 | [diff] [blame] | 153 | if (getTargetTriple().isMacOSX() && |
| 154 | !getTargetTriple().isMacOSXVersionLT(10, 6)) |
Bill Wendling | 6e08738 | 2008-09-30 22:05:33 +0000 | [diff] [blame] | 155 | return "__bzero"; |
Dan Gohman | 68d599d | 2008-04-01 20:38:36 +0000 | [diff] [blame] | 156 | |
| 157 | return 0; |
| 158 | } |
| 159 | |
Evan Cheng | 8688a58 | 2013-01-29 02:32:37 +0000 | [diff] [blame] | 160 | bool X86Subtarget::hasSinCos() const { |
| 161 | return getTargetTriple().isMacOSX() && |
Evan Cheng | a66f40a | 2013-01-30 22:56:35 +0000 | [diff] [blame] | 162 | !getTargetTriple().isMacOSXVersionLT(10, 9) && |
| 163 | is64Bit(); |
Evan Cheng | 8688a58 | 2013-01-29 02:32:37 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Evan Cheng | d7f666a | 2009-05-20 04:53:57 +0000 | [diff] [blame] | 166 | /// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls |
| 167 | /// to immediate address. |
| 168 | bool X86Subtarget::IsLegalToCallImmediateAddr(const TargetMachine &TM) const { |
Evan Cheng | 18fb1d3 | 2011-07-07 21:06:52 +0000 | [diff] [blame] | 169 | if (In64BitMode) |
Evan Cheng | d7f666a | 2009-05-20 04:53:57 +0000 | [diff] [blame] | 170 | return false; |
| 171 | return isTargetELF() || TM.getRelocationModel() == Reloc::Static; |
| 172 | } |
| 173 | |
Evan Cheng | a26eb5e | 2006-10-06 09:17:41 +0000 | [diff] [blame] | 174 | void X86Subtarget::AutoDetectSubtargetFeatures() { |
Evan Cheng | b3a7e21 | 2006-01-27 19:30:30 +0000 | [diff] [blame] | 175 | unsigned EAX = 0, EBX = 0, ECX = 0, EDX = 0; |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 176 | unsigned MaxLevel; |
Jeff Cohen | a349640 | 2006-01-28 18:47:32 +0000 | [diff] [blame] | 177 | union { |
Jeff Cohen | 216d281 | 2006-01-28 19:48:34 +0000 | [diff] [blame] | 178 | unsigned u[3]; |
| 179 | char c[12]; |
Jeff Cohen | a349640 | 2006-01-28 18:47:32 +0000 | [diff] [blame] | 180 | } text; |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 181 | |
| 182 | if (X86_MC::GetCpuIDAndInfo(0, &MaxLevel, text.u+0, text.u+2, text.u+1) || |
| 183 | MaxLevel < 1) |
Evan Cheng | abc346c | 2006-10-06 08:21:07 +0000 | [diff] [blame] | 184 | return; |
Anton Korobeynikov | 3b5ee73 | 2007-03-23 23:46:48 +0000 | [diff] [blame] | 185 | |
Evan Cheng | 18fb1d3 | 2011-07-07 21:06:52 +0000 | [diff] [blame] | 186 | X86_MC::GetCpuIDAndInfo(0x1, &EAX, &EBX, &ECX, &EDX); |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 187 | |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 188 | if ((EDX >> 15) & 1) { HasCMov = true; ToggleFeature(X86::FeatureCMOV); } |
| 189 | if ((EDX >> 23) & 1) { X86SSELevel = MMX; ToggleFeature(X86::FeatureMMX); } |
| 190 | if ((EDX >> 25) & 1) { X86SSELevel = SSE1; ToggleFeature(X86::FeatureSSE1); } |
| 191 | if ((EDX >> 26) & 1) { X86SSELevel = SSE2; ToggleFeature(X86::FeatureSSE2); } |
| 192 | if (ECX & 0x1) { X86SSELevel = SSE3; ToggleFeature(X86::FeatureSSE3); } |
| 193 | if ((ECX >> 9) & 1) { X86SSELevel = SSSE3; ToggleFeature(X86::FeatureSSSE3);} |
| 194 | if ((ECX >> 19) & 1) { X86SSELevel = SSE41; ToggleFeature(X86::FeatureSSE41);} |
| 195 | if ((ECX >> 20) & 1) { X86SSELevel = SSE42; ToggleFeature(X86::FeatureSSE42);} |
Craig Topper | 1203f2f | 2012-04-26 06:40:15 +0000 | [diff] [blame] | 196 | if ((ECX >> 28) & 1) { X86SSELevel = AVX; ToggleFeature(X86::FeatureAVX); } |
Anton Korobeynikov | 3b5ee73 | 2007-03-23 23:46:48 +0000 | [diff] [blame] | 197 | |
Evan Cheng | ccb6976 | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 198 | bool IsIntel = memcmp(text.c, "GenuineIntel", 12) == 0; |
| 199 | bool IsAMD = !IsIntel && memcmp(text.c, "AuthenticAMD", 12) == 0; |
David Greene | 343dadb | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 200 | |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 201 | if ((ECX >> 1) & 0x1) { |
Benjamin Kramer | c8e340d | 2012-05-31 14:34:17 +0000 | [diff] [blame] | 202 | HasPCLMUL = true; |
| 203 | ToggleFeature(X86::FeaturePCLMUL); |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 204 | } |
Craig Topper | 14f094b | 2012-06-01 06:10:14 +0000 | [diff] [blame] | 205 | if ((ECX >> 12) & 0x1) { |
Craig Topper | a15f9d5 | 2012-06-03 18:58:46 +0000 | [diff] [blame] | 206 | HasFMA = true; |
| 207 | ToggleFeature(X86::FeatureFMA); |
Craig Topper | 14f094b | 2012-06-01 06:10:14 +0000 | [diff] [blame] | 208 | } |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 209 | if (IsIntel && ((ECX >> 22) & 0x1)) { |
| 210 | HasMOVBE = true; |
| 211 | ToggleFeature(X86::FeatureMOVBE); |
| 212 | } |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 213 | if ((ECX >> 23) & 0x1) { |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 214 | HasPOPCNT = true; |
| 215 | ToggleFeature(X86::FeaturePOPCNT); |
| 216 | } |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 217 | if ((ECX >> 25) & 0x1) { |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 218 | HasAES = true; |
| 219 | ToggleFeature(X86::FeatureAES); |
| 220 | } |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 221 | if ((ECX >> 29) & 0x1) { |
Craig Topper | 1f10480 | 2011-10-10 05:34:02 +0000 | [diff] [blame] | 222 | HasF16C = true; |
| 223 | ToggleFeature(X86::FeatureF16C); |
| 224 | } |
| 225 | if (IsIntel && ((ECX >> 30) & 0x1)) { |
| 226 | HasRDRAND = true; |
| 227 | ToggleFeature(X86::FeatureRDRAND); |
| 228 | } |
| 229 | |
| 230 | if ((ECX >> 13) & 0x1) { |
| 231 | HasCmpxchg16b = true; |
| 232 | ToggleFeature(X86::FeatureCMPXCHG16B); |
| 233 | } |
David Greene | 343dadb | 2009-06-26 22:46:54 +0000 | [diff] [blame] | 234 | |
Evan Cheng | ccb6976 | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 235 | if (IsIntel || IsAMD) { |
| 236 | // Determine if bit test memory instructions are slow. |
| 237 | unsigned Family = 0; |
| 238 | unsigned Model = 0; |
Evan Cheng | 18fb1d3 | 2011-07-07 21:06:52 +0000 | [diff] [blame] | 239 | X86_MC::DetectFamilyModel(EAX, Family, Model); |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 240 | if (IsAMD || (Family == 6 && Model >= 13)) { |
| 241 | IsBTMemSlow = true; |
| 242 | ToggleFeature(X86::FeatureSlowBTMem); |
| 243 | } |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 244 | |
Chandler Carruth | 9f3f40f | 2012-12-10 09:18:44 +0000 | [diff] [blame] | 245 | // If it's an Intel chip since Nehalem and not an Atom chip, unaligned |
| 246 | // memory access is fast. We hard code model numbers here because they |
| 247 | // aren't strictly increasing for Intel chips it seems. |
| 248 | if (IsIntel && |
| 249 | ((Family == 6 && Model == 0x1E) || // Nehalem: Clarksfield, Lynnfield, |
| 250 | // Jasper Froest |
Chandler Carruth | 2c0575f | 2012-12-10 18:22:40 +0000 | [diff] [blame] | 251 | (Family == 6 && Model == 0x1A) || // Nehalem: Bloomfield, Nehalem-EP |
Chandler Carruth | 9f3f40f | 2012-12-10 09:18:44 +0000 | [diff] [blame] | 252 | (Family == 6 && Model == 0x2E) || // Nehalem: Nehalem-EX |
| 253 | (Family == 6 && Model == 0x25) || // Westmere: Arrandale, Clarksdale |
| 254 | (Family == 6 && Model == 0x2C) || // Westmere: Gulftown, Westmere-EP |
| 255 | (Family == 6 && Model == 0x2F) || // Westmere: Westmere-EX |
| 256 | (Family == 6 && Model == 0x2A) || // SandyBridge |
| 257 | (Family == 6 && Model == 0x2D) || // SandyBridge: SandyBridge-E* |
| 258 | (Family == 6 && Model == 0x3A))) {// IvyBridge |
Evan Cheng | 48c58bb | 2010-04-01 05:58:17 +0000 | [diff] [blame] | 259 | IsUAMemFast = true; |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 260 | ToggleFeature(X86::FeatureFastUAMem); |
| 261 | } |
Evan Cheng | ccb6976 | 2009-01-02 05:35:45 +0000 | [diff] [blame] | 262 | |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 263 | // Set processor type. Currently only Atom is detected. |
Preston Gurd | 79bbe85 | 2012-05-02 21:38:46 +0000 | [diff] [blame] | 264 | if (Family == 6 && |
Preston Gurd | d4d9616 | 2012-07-18 20:49:17 +0000 | [diff] [blame] | 265 | (Model == 28 || Model == 38 || Model == 39 |
Preston Gurd | fd012b2 | 2012-07-19 19:05:37 +0000 | [diff] [blame] | 266 | || Model == 53 || Model == 54)) { |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 267 | X86ProcFamily = IntelAtom; |
Preston Gurd | c573b1f | 2012-04-26 19:52:27 +0000 | [diff] [blame] | 268 | |
| 269 | UseLeaForSP = true; |
Evan Cheng | de1df10 | 2012-02-07 22:50:41 +0000 | [diff] [blame] | 270 | ToggleFeature(X86::FeatureLeaForSP); |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 271 | } |
| 272 | |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 273 | unsigned MaxExtLevel; |
| 274 | X86_MC::GetCpuIDAndInfo(0x80000000, &MaxExtLevel, &EBX, &ECX, &EDX); |
| 275 | |
| 276 | if (MaxExtLevel >= 0x80000001) { |
| 277 | X86_MC::GetCpuIDAndInfo(0x80000001, &EAX, &EBX, &ECX, &EDX); |
| 278 | if ((EDX >> 29) & 0x1) { |
| 279 | HasX86_64 = true; |
| 280 | ToggleFeature(X86::Feature64Bit); |
| 281 | } |
| 282 | if ((ECX >> 5) & 0x1) { |
| 283 | HasLZCNT = true; |
| 284 | ToggleFeature(X86::FeatureLZCNT); |
| 285 | } |
Michael Liao | 675eb3b | 2013-03-26 17:47:11 +0000 | [diff] [blame] | 286 | if (IsIntel && ((ECX >> 8) & 0x1)) { |
| 287 | HasPRFCHW = true; |
| 288 | ToggleFeature(X86::FeaturePRFCHW); |
| 289 | } |
Craig Topper | 5ebee44 | 2011-12-29 19:25:56 +0000 | [diff] [blame] | 290 | if (IsAMD) { |
| 291 | if ((ECX >> 6) & 0x1) { |
| 292 | HasSSE4A = true; |
| 293 | ToggleFeature(X86::FeatureSSE4A); |
| 294 | } |
| 295 | if ((ECX >> 11) & 0x1) { |
| 296 | HasXOP = true; |
| 297 | ToggleFeature(X86::FeatureXOP); |
| 298 | } |
| 299 | if ((ECX >> 16) & 0x1) { |
| 300 | HasFMA4 = true; |
| 301 | ToggleFeature(X86::FeatureFMA4); |
| 302 | } |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 303 | } |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 304 | } |
Craig Topper | 4145c49 | 2011-10-16 00:21:51 +0000 | [diff] [blame] | 305 | } |
| 306 | |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 307 | if (MaxLevel >= 7) { |
Craig Topper | 4b2dc74 | 2011-10-17 05:33:10 +0000 | [diff] [blame] | 308 | if (!X86_MC::GetCpuIDAndInfoEx(0x7, 0x0, &EAX, &EBX, &ECX, &EDX)) { |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 309 | if (IsIntel && (EBX & 0x1)) { |
Craig Topper | e7b0550 | 2011-10-30 19:57:21 +0000 | [diff] [blame] | 310 | HasFSGSBase = true; |
| 311 | ToggleFeature(X86::FeatureFSGSBase); |
| 312 | } |
Craig Topper | 4b2dc74 | 2011-10-17 05:33:10 +0000 | [diff] [blame] | 313 | if ((EBX >> 3) & 0x1) { |
| 314 | HasBMI = true; |
| 315 | ToggleFeature(X86::FeatureBMI); |
| 316 | } |
Michael Liao | 0ca1a7f | 2013-03-26 22:46:02 +0000 | [diff] [blame] | 317 | if ((EBX >> 4) & 0x1) { |
| 318 | HasHLE = true; |
| 319 | ToggleFeature(X86::FeatureHLE); |
| 320 | } |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 321 | if (IsIntel && ((EBX >> 5) & 0x1)) { |
Craig Topper | 1203f2f | 2012-04-26 06:40:15 +0000 | [diff] [blame] | 322 | X86SSELevel = AVX2; |
| 323 | ToggleFeature(X86::FeatureAVX2); |
| 324 | } |
Craig Topper | c80e7d2 | 2012-05-01 07:10:32 +0000 | [diff] [blame] | 325 | if (IsIntel && ((EBX >> 8) & 0x1)) { |
Craig Topper | 4b2dc74 | 2011-10-17 05:33:10 +0000 | [diff] [blame] | 326 | HasBMI2 = true; |
| 327 | ToggleFeature(X86::FeatureBMI2); |
| 328 | } |
Michael Liao | be02a90 | 2012-11-08 07:28:54 +0000 | [diff] [blame] | 329 | if (IsIntel && ((EBX >> 11) & 0x1)) { |
| 330 | HasRTM = true; |
| 331 | ToggleFeature(X86::FeatureRTM); |
| 332 | } |
Michael Liao | 5a8386e | 2013-03-28 22:29:53 +0000 | [diff] [blame] | 333 | if (IsIntel && ((EBX >> 19) & 0x1)) { |
| 334 | HasADX = true; |
| 335 | ToggleFeature(X86::FeatureADX); |
| 336 | } |
Michael Liao | c26392a | 2013-03-28 23:41:26 +0000 | [diff] [blame^] | 337 | if (IsIntel && ((EBX >> 18) & 0x1)) { |
| 338 | HasRDSEED = true; |
| 339 | ToggleFeature(X86::FeatureRDSEED); |
| 340 | } |
Craig Topper | b53fa8b | 2011-10-16 07:55:05 +0000 | [diff] [blame] | 341 | } |
Jeff Cohen | c398709 | 2007-04-16 21:59:44 +0000 | [diff] [blame] | 342 | } |
Evan Cheng | 559806f | 2006-01-27 08:10:46 +0000 | [diff] [blame] | 343 | } |
Evan Cheng | 97c7fc3 | 2006-01-26 09:53:06 +0000 | [diff] [blame] | 344 | |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 345 | void X86Subtarget::resetSubtargetFeatures(const MachineFunction *MF) { |
| 346 | AttributeSet FnAttrs = MF->getFunction()->getAttributes(); |
| 347 | Attribute CPUAttr = FnAttrs.getAttribute(AttributeSet::FunctionIndex, |
| 348 | "target-cpu"); |
| 349 | Attribute FSAttr = FnAttrs.getAttribute(AttributeSet::FunctionIndex, |
| 350 | "target-features"); |
Nadav Rotem | f8b80de | 2013-02-27 05:56:20 +0000 | [diff] [blame] | 351 | std::string CPU = |
| 352 | !CPUAttr.hasAttribute(Attribute::None) ?CPUAttr.getValueAsString() : ""; |
| 353 | std::string FS = |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 354 | !FSAttr.hasAttribute(Attribute::None) ? FSAttr.getValueAsString() : ""; |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 355 | if (!FS.empty()) { |
| 356 | initializeEnvironment(); |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 357 | resetSubtargetFeatures(CPU, FS); |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 358 | } |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 359 | } |
| 360 | |
| 361 | void X86Subtarget::resetSubtargetFeatures(StringRef CPU, StringRef FS) { |
Nadav Rotem | f8b80de | 2013-02-27 05:56:20 +0000 | [diff] [blame] | 362 | std::string CPUName = CPU; |
Evan Cheng | 4d1a8dd | 2011-07-08 22:30:25 +0000 | [diff] [blame] | 363 | if (!FS.empty() || !CPU.empty()) { |
Evan Cheng | cc0ddc7 | 2011-07-08 21:14:14 +0000 | [diff] [blame] | 364 | if (CPUName.empty()) { |
Evan Cheng | 893a045 | 2012-01-30 23:10:32 +0000 | [diff] [blame] | 365 | #if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)\ |
| 366 | || defined(__x86_64__) || defined(_M_AMD64) || defined (_M_X64) |
Evan Cheng | cc0ddc7 | 2011-07-08 21:14:14 +0000 | [diff] [blame] | 367 | CPUName = sys::getHostCPUName(); |
| 368 | #else |
| 369 | CPUName = "generic"; |
| 370 | #endif |
| 371 | } |
| 372 | |
Eli Friedman | 439d05d | 2011-07-08 23:43:01 +0000 | [diff] [blame] | 373 | // Make sure 64-bit features are available in 64-bit mode. (But make sure |
| 374 | // SSE2 can be turned off explicitly.) |
| 375 | std::string FullFS = FS; |
| 376 | if (In64BitMode) { |
| 377 | if (!FullFS.empty()) |
| 378 | FullFS = "+64bit,+sse2," + FullFS; |
| 379 | else |
| 380 | FullFS = "+64bit,+sse2"; |
| 381 | } |
Evan Cheng | 4d1a8dd | 2011-07-08 22:30:25 +0000 | [diff] [blame] | 382 | |
Eli Friedman | 439d05d | 2011-07-08 23:43:01 +0000 | [diff] [blame] | 383 | // If feature string is not empty, parse features string. |
| 384 | ParseSubtargetFeatures(CPUName, FullFS); |
Chris Lattner | 3b6f497 | 2006-11-20 18:16:05 +0000 | [diff] [blame] | 385 | } else { |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 386 | if (CPUName.empty()) { |
| 387 | #if defined (__x86_64__) || defined(__i386__) |
| 388 | CPUName = sys::getHostCPUName(); |
| 389 | #else |
| 390 | CPUName = "generic"; |
| 391 | #endif |
| 392 | } |
Chris Lattner | 3b6f497 | 2006-11-20 18:16:05 +0000 | [diff] [blame] | 393 | // Otherwise, use CPUID to auto-detect feature set. |
| 394 | AutoDetectSubtargetFeatures(); |
Evan Cheng | 18fb1d3 | 2011-07-07 21:06:52 +0000 | [diff] [blame] | 395 | |
Eli Friedman | 6dfef66 | 2011-07-08 23:07:42 +0000 | [diff] [blame] | 396 | // Make sure 64-bit features are available in 64-bit mode. |
| 397 | if (In64BitMode) { |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 398 | HasX86_64 = true; ToggleFeature(X86::Feature64Bit); |
| 399 | HasCMov = true; ToggleFeature(X86::FeatureCMOV); |
Eli Friedman | 6dfef66 | 2011-07-08 23:07:42 +0000 | [diff] [blame] | 400 | |
Craig Topper | 16de463 | 2012-01-09 09:02:13 +0000 | [diff] [blame] | 401 | if (X86SSELevel < SSE2) { |
Eli Friedman | 6dfef66 | 2011-07-08 23:07:42 +0000 | [diff] [blame] | 402 | X86SSELevel = SSE2; |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 403 | ToggleFeature(X86::FeatureSSE1); |
| 404 | ToggleFeature(X86::FeatureSSE2); |
| 405 | } |
Eli Friedman | 6dfef66 | 2011-07-08 23:07:42 +0000 | [diff] [blame] | 406 | } |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 407 | } |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 408 | |
Preston Gurd | bfcb4aa | 2012-10-03 15:55:13 +0000 | [diff] [blame] | 409 | // CPUName may have been set by the CPU detection code. Make sure the |
| 410 | // new MCSchedModel is used. |
| 411 | InitMCProcessorInfo(CPUName, FS); |
| 412 | |
Andrew Trick | c42a701 | 2012-08-07 00:25:30 +0000 | [diff] [blame] | 413 | if (X86ProcFamily == IntelAtom) |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 414 | PostRAScheduler = true; |
Andrew Trick | c42a701 | 2012-08-07 00:25:30 +0000 | [diff] [blame] | 415 | |
| 416 | InstrItins = getInstrItineraryForCPU(CPUName); |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 417 | |
Evan Cheng | 59ee62d | 2011-07-11 03:57:24 +0000 | [diff] [blame] | 418 | // It's important to keep the MCSubtargetInfo feature bits in sync with |
| 419 | // target data structure which is shared with MC code emitter, etc. |
| 420 | if (In64BitMode) |
| 421 | ToggleFeature(X86::Mode64Bit); |
| 422 | |
David Greene | bd7b845 | 2010-01-05 01:29:13 +0000 | [diff] [blame] | 423 | DEBUG(dbgs() << "Subtarget features: SSELevel " << X86SSELevel |
Bill Wendling | 0ea8bf3 | 2009-08-03 00:11:34 +0000 | [diff] [blame] | 424 | << ", 3DNowLevel " << X863DNowLevel |
| 425 | << ", 64bit " << HasX86_64 << "\n"); |
Evan Cheng | 18fb1d3 | 2011-07-07 21:06:52 +0000 | [diff] [blame] | 426 | assert((!In64BitMode || HasX86_64) && |
Dan Gohman | f75e5b4 | 2009-02-03 00:04:43 +0000 | [diff] [blame] | 427 | "64-bit code requested on a subtarget that doesn't support it!"); |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 428 | |
Roman Divacky | 64f0367 | 2012-11-09 20:10:44 +0000 | [diff] [blame] | 429 | // Stack alignment is 16 bytes on Darwin, Linux and Solaris (both |
Roman Divacky | 4c3ab58 | 2011-02-22 17:30:05 +0000 | [diff] [blame] | 430 | // 32 and 64 bit) and for all 64-bit targets. |
Evan Cheng | ef41ff6 | 2011-06-23 17:54:54 +0000 | [diff] [blame] | 431 | if (StackAlignOverride) |
| 432 | stackAlignment = StackAlignOverride; |
Roman Divacky | 64f0367 | 2012-11-09 20:10:44 +0000 | [diff] [blame] | 433 | else if (isTargetDarwin() || isTargetLinux() || isTargetSolaris() || |
| 434 | In64BitMode) |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 435 | stackAlignment = 16; |
Dan Gohman | 4d3d6e1 | 2010-05-27 18:43:40 +0000 | [diff] [blame] | 436 | } |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 437 | |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 438 | void X86Subtarget::initializeEnvironment() { |
| 439 | X86SSELevel = NoMMXSSE; |
| 440 | X863DNowLevel = NoThreeDNow; |
| 441 | HasCMov = false; |
| 442 | HasX86_64 = false; |
| 443 | HasPOPCNT = false; |
| 444 | HasSSE4A = false; |
| 445 | HasAES = false; |
| 446 | HasPCLMUL = false; |
| 447 | HasFMA = false; |
| 448 | HasFMA4 = false; |
| 449 | HasXOP = false; |
| 450 | HasMOVBE = false; |
| 451 | HasRDRAND = false; |
| 452 | HasF16C = false; |
| 453 | HasFSGSBase = false; |
| 454 | HasLZCNT = false; |
| 455 | HasBMI = false; |
| 456 | HasBMI2 = false; |
| 457 | HasRTM = false; |
Michael Liao | 0ca1a7f | 2013-03-26 22:46:02 +0000 | [diff] [blame] | 458 | HasHLE = false; |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 459 | HasADX = false; |
Michael Liao | 675eb3b | 2013-03-26 17:47:11 +0000 | [diff] [blame] | 460 | HasPRFCHW = false; |
Michael Liao | c26392a | 2013-03-28 23:41:26 +0000 | [diff] [blame^] | 461 | HasRDSEED = false; |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 462 | IsBTMemSlow = false; |
| 463 | IsUAMemFast = false; |
| 464 | HasVectorUAMem = false; |
| 465 | HasCmpxchg16b = false; |
| 466 | UseLeaForSP = false; |
| 467 | HasSlowDivide = false; |
| 468 | PostRAScheduler = false; |
| 469 | PadShortFunctions = false; |
Preston Gurd | 1edadea | 2013-03-27 19:14:02 +0000 | [diff] [blame] | 470 | CallRegIndirect = false; |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 471 | stackAlignment = 4; |
| 472 | // FIXME: this is a known good value for Yonah. How about others? |
| 473 | MaxInlineSizeThreshold = 128; |
| 474 | } |
| 475 | |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 476 | X86Subtarget::X86Subtarget(const std::string &TT, const std::string &CPU, |
| 477 | const std::string &FS, |
| 478 | unsigned StackAlignOverride, bool is64Bit) |
| 479 | : X86GenSubtargetInfo(TT, CPU, FS) |
| 480 | , X86ProcFamily(Others) |
Bill Wendling | ba6867d | 2013-02-15 23:22:32 +0000 | [diff] [blame] | 481 | , PICStyle(PICStyles::None) |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 482 | , TargetTriple(TT) |
| 483 | , StackAlignOverride(StackAlignOverride) |
| 484 | , In64BitMode(is64Bit) { |
Bill Wendling | 901d800 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 485 | initializeEnvironment(); |
Bill Wendling | 789cb5d | 2013-02-15 22:31:27 +0000 | [diff] [blame] | 486 | resetSubtargetFeatures(CPU, FS); |
| 487 | } |
| 488 | |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 489 | bool X86Subtarget::enablePostRAScheduler( |
| 490 | CodeGenOpt::Level OptLevel, |
| 491 | TargetSubtargetInfo::AntiDepBreakMode& Mode, |
| 492 | RegClassVector& CriticalPathRCs) const { |
Preston Gurd | 6a8c7bf | 2012-04-23 21:39:35 +0000 | [diff] [blame] | 493 | Mode = TargetSubtargetInfo::ANTIDEP_CRITICAL; |
Andrew Trick | 922d314 | 2012-02-01 23:20:51 +0000 | [diff] [blame] | 494 | CriticalPathRCs.clear(); |
| 495 | return PostRAScheduler && OptLevel >= CodeGenOpt::Default; |
| 496 | } |