blob: 75cdbada1b5a869ed1f8f5f7c6ea15390a40d67c [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- X86Subtarget.cpp - X86 Subtarget Information ------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the X86 specific subclass of TargetSubtarget.
11//
12//===----------------------------------------------------------------------===//
13
Evan Cheng5211b422009-01-03 04:04:46 +000014#define DEBUG_TYPE "subtarget"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015#include "X86Subtarget.h"
Chris Lattner505aa6c2009-07-10 07:20:05 +000016#include "X86InstrInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000017#include "X86GenSubtarget.inc"
Daniel Dunbarb711cf02009-08-02 22:11:08 +000018#include "llvm/GlobalValue.h"
Evan Cheng5211b422009-01-03 04:04:46 +000019#include "llvm/Support/Debug.h"
Bill Wendlingbdfa3be2009-08-03 00:11:34 +000020#include "llvm/Support/raw_ostream.h"
Daniel Dunbar91c44412009-11-14 10:09:12 +000021#include "llvm/System/Host.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000022#include "llvm/Target/TargetMachine.h"
Anton Korobeynikovb214a522008-04-23 18:18:10 +000023#include "llvm/Target/TargetOptions.h"
David Goodwin2a0ca3b2009-11-10 00:48:55 +000024#include "llvm/ADT/SmallVector.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025using namespace llvm;
26
Chris Lattner1d8091f2009-04-25 18:27:23 +000027#if defined(_MSC_VER)
Bill Wendlingbdfa3be2009-08-03 00:11:34 +000028#include <intrin.h>
Chris Lattner1d8091f2009-04-25 18:27:23 +000029#endif
30
Dan Gohman885793b2009-11-20 23:18:13 +000031/// ClassifyBlockAddressReference - Classify a blockaddress reference for the
32/// current subtarget according to how we should reference it in a non-pcrel
33/// context.
34unsigned char X86Subtarget::
35ClassifyBlockAddressReference() const {
36 if (isPICStyleGOT()) // 32-bit ELF targets.
37 return X86II::MO_GOTOFF;
38
39 if (isPICStyleStubPIC()) // Darwin/32 in PIC mode.
40 return X86II::MO_PIC_BASE_OFFSET;
41
42 // Direct static reference to label.
43 return X86II::MO_NO_FLAG;
44}
45
Chris Lattner505aa6c2009-07-10 07:20:05 +000046/// ClassifyGlobalReference - Classify a global variable reference for the
47/// current subtarget according to how we should reference it in a non-pcrel
48/// context.
49unsigned char X86Subtarget::
50ClassifyGlobalReference(const GlobalValue *GV, const TargetMachine &TM) const {
51 // DLLImport only exists on windows, it is implemented as a load from a
52 // DLLIMPORT stub.
53 if (GV->hasDLLImportLinkage())
54 return X86II::MO_DLLIMPORT;
55
Evan Chengf20a33d2009-07-16 22:53:10 +000056 // GV with ghost linkage (in JIT lazy compilation mode) do not require an
57 // extra load from stub.
58 bool isDecl = GV->isDeclaration() && !GV->hasNotBeenReadFromBitcode();
59
Chris Lattner505aa6c2009-07-10 07:20:05 +000060 // X86-64 in PIC mode.
61 if (isPICStyleRIPRel()) {
62 // Large model never uses stubs.
63 if (TM.getCodeModel() == CodeModel::Large)
64 return X86II::MO_NO_FLAG;
65
Chris Lattner66c50b32009-07-10 21:01:59 +000066 if (isTargetDarwin()) {
67 // If symbol visibility is hidden, the extra load is not needed if
68 // target is x86-64 or the symbol is definitely defined in the current
69 // translation unit.
70 if (GV->hasDefaultVisibility() &&
Evan Chengf20a33d2009-07-16 22:53:10 +000071 (isDecl || GV->isWeakForLinker()))
Chris Lattner66c50b32009-07-10 21:01:59 +000072 return X86II::MO_GOTPCREL;
73 } else {
74 assert(isTargetELF() && "Unknown rip-relative target");
Chris Lattner505aa6c2009-07-10 07:20:05 +000075
Chris Lattner66c50b32009-07-10 21:01:59 +000076 // Extra load is needed for all externally visible.
77 if (!GV->hasLocalLinkage() && GV->hasDefaultVisibility())
78 return X86II::MO_GOTPCREL;
79 }
Chris Lattner505aa6c2009-07-10 07:20:05 +000080
81 return X86II::MO_NO_FLAG;
82 }
83
84 if (isPICStyleGOT()) { // 32-bit ELF targets.
85 // Extra load is needed for all externally visible.
86 if (GV->hasLocalLinkage() || GV->hasHiddenVisibility())
87 return X86II::MO_GOTOFF;
88 return X86II::MO_GOT;
89 }
90
Chris Lattner2e9393c2009-07-10 21:00:45 +000091 if (isPICStyleStubPIC()) { // Darwin/32 in PIC mode.
Chris Lattner144e3482009-07-10 20:53:38 +000092 // Determine whether we have a stub reference and/or whether the reference
93 // is relative to the PIC base or not.
Chris Lattner505aa6c2009-07-10 07:20:05 +000094
95 // If this is a strong reference to a definition, it is definitely not
96 // through a stub.
Evan Chengf20a33d2009-07-16 22:53:10 +000097 if (!isDecl && !GV->isWeakForLinker())
Chris Lattner144e3482009-07-10 20:53:38 +000098 return X86II::MO_PIC_BASE_OFFSET;
Chris Lattner505aa6c2009-07-10 07:20:05 +000099
100 // Unless we have a symbol with hidden visibility, we have to go through a
101 // normal $non_lazy_ptr stub because this symbol might be resolved late.
Chris Lattner144e3482009-07-10 20:53:38 +0000102 if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference.
103 return X86II::MO_DARWIN_NONLAZY_PIC_BASE;
Chris Lattner505aa6c2009-07-10 07:20:05 +0000104
105 // If symbol visibility is hidden, we have a stub for common symbol
106 // references and external declarations.
Evan Chengf20a33d2009-07-16 22:53:10 +0000107 if (isDecl || GV->hasCommonLinkage()) {
Chris Lattner505aa6c2009-07-10 07:20:05 +0000108 // Hidden $non_lazy_ptr reference.
Chris Lattner144e3482009-07-10 20:53:38 +0000109 return X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE;
Chris Lattner505aa6c2009-07-10 07:20:05 +0000110 }
111
112 // Otherwise, no stub.
Chris Lattner144e3482009-07-10 20:53:38 +0000113 return X86II::MO_PIC_BASE_OFFSET;
114 }
115
Chris Lattner2e9393c2009-07-10 21:00:45 +0000116 if (isPICStyleStubNoDynamic()) { // Darwin/32 in -mdynamic-no-pic mode.
Chris Lattner144e3482009-07-10 20:53:38 +0000117 // Determine whether we have a stub reference.
118
119 // If this is a strong reference to a definition, it is definitely not
120 // through a stub.
Evan Chengf20a33d2009-07-16 22:53:10 +0000121 if (!isDecl && !GV->isWeakForLinker())
Chris Lattner144e3482009-07-10 20:53:38 +0000122 return X86II::MO_NO_FLAG;
123
124 // Unless we have a symbol with hidden visibility, we have to go through a
125 // normal $non_lazy_ptr stub because this symbol might be resolved late.
126 if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference.
127 return X86II::MO_DARWIN_NONLAZY;
Evan Chengba2cf3d2009-09-03 07:04:02 +0000128
Chris Lattner144e3482009-07-10 20:53:38 +0000129 // Otherwise, no stub.
130 return X86II::MO_NO_FLAG;
Chris Lattner505aa6c2009-07-10 07:20:05 +0000131 }
132
133 // Direct static reference to global.
134 return X86II::MO_NO_FLAG;
135}
136
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000137
Bill Wendling5db7ffb2008-09-30 21:22:07 +0000138/// getBZeroEntry - This function returns the name of a function which has an
139/// interface like the non-standard bzero function, if such a function exists on
140/// the current subtarget and it is considered prefereable over memset with zero
141/// passed as the second argument. Otherwise it returns null.
Bill Wendlingd3752032008-09-30 22:05:33 +0000142const char *X86Subtarget::getBZeroEntry() const {
Dan Gohmanf95c2bf2008-04-01 20:38:36 +0000143 // Darwin 10 has a __bzero entry point for this purpose.
144 if (getDarwinVers() >= 10)
Bill Wendlingd3752032008-09-30 22:05:33 +0000145 return "__bzero";
Dan Gohmanf95c2bf2008-04-01 20:38:36 +0000146
147 return 0;
148}
149
Evan Cheng6d35a4d2009-05-20 04:53:57 +0000150/// IsLegalToCallImmediateAddr - Return true if the subtarget allows calls
151/// to immediate address.
152bool X86Subtarget::IsLegalToCallImmediateAddr(const TargetMachine &TM) const {
153 if (Is64Bit)
154 return false;
155 return isTargetELF() || TM.getRelocationModel() == Reloc::Static;
156}
157
Dan Gohman47170992008-12-16 03:35:01 +0000158/// getSpecialAddressLatency - For targets where it is beneficial to
159/// backschedule instructions that compute addresses, return a value
160/// indicating the number of scheduling cycles of backscheduling that
161/// should be attempted.
162unsigned X86Subtarget::getSpecialAddressLatency() const {
163 // For x86 out-of-order targets, back-schedule address computations so
164 // that loads and stores aren't blocked.
165 // This value was chosen arbitrarily.
166 return 200;
167}
168
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000169/// GetCpuIDAndInfo - Execute the specified cpuid and return the 4 values in the
170/// specified arguments. If we can't run cpuid on the host, return true.
Daniel Dunbar9cc58802009-09-03 05:47:34 +0000171static bool GetCpuIDAndInfo(unsigned value, unsigned *rEAX,
172 unsigned *rEBX, unsigned *rECX, unsigned *rEDX) {
Anton Korobeynikovb5cc6d82009-08-28 16:06:41 +0000173#if defined(__x86_64__) || defined(_M_AMD64) || defined (_M_X64)
Chris Lattner1d8091f2009-04-25 18:27:23 +0000174 #if defined(__GNUC__)
175 // gcc doesn't know cpuid would clobber ebx/rbx. Preseve it manually.
176 asm ("movq\t%%rbx, %%rsi\n\t"
177 "cpuid\n\t"
178 "xchgq\t%%rbx, %%rsi\n\t"
179 : "=a" (*rEAX),
180 "=S" (*rEBX),
181 "=c" (*rECX),
182 "=d" (*rEDX)
183 : "a" (value));
184 return false;
185 #elif defined(_MSC_VER)
186 int registers[4];
187 __cpuid(registers, value);
188 *rEAX = registers[0];
189 *rEBX = registers[1];
190 *rECX = registers[2];
191 *rEDX = registers[3];
192 return false;
193 #endif
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000194#elif defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattner1d8091f2009-04-25 18:27:23 +0000195 #if defined(__GNUC__)
196 asm ("movl\t%%ebx, %%esi\n\t"
197 "cpuid\n\t"
198 "xchgl\t%%ebx, %%esi\n\t"
199 : "=a" (*rEAX),
200 "=S" (*rEBX),
201 "=c" (*rECX),
202 "=d" (*rEDX)
203 : "a" (value));
204 return false;
205 #elif defined(_MSC_VER)
206 __asm {
207 mov eax,value
208 cpuid
209 mov esi,rEAX
210 mov dword ptr [esi],eax
211 mov esi,rEBX
212 mov dword ptr [esi],ebx
213 mov esi,rECX
214 mov dword ptr [esi],ecx
215 mov esi,rEDX
216 mov dword ptr [esi],edx
217 }
218 return false;
219 #endif
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000220#endif
221 return true;
222}
223
Evan Cheng95a77fd2009-01-02 05:35:45 +0000224static void DetectFamilyModel(unsigned EAX, unsigned &Family, unsigned &Model) {
225 Family = (EAX >> 8) & 0xf; // Bits 8 - 11
226 Model = (EAX >> 4) & 0xf; // Bits 4 - 7
227 if (Family == 6 || Family == 0xf) {
228 if (Family == 0xf)
229 // Examine extended family ID if family ID is F.
230 Family += (EAX >> 20) & 0xff; // Bits 20 - 27
231 // Examine extended model ID if family ID is 6 or F.
232 Model += ((EAX >> 16) & 0xf) << 4; // Bits 16 - 19
233 }
234}
235
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000236void X86Subtarget::AutoDetectSubtargetFeatures() {
237 unsigned EAX = 0, EBX = 0, ECX = 0, EDX = 0;
238 union {
239 unsigned u[3];
240 char c[12];
241 } text;
242
Evan Cheng5746a942009-09-03 04:37:05 +0000243 if (GetCpuIDAndInfo(0, &EAX, text.u+0, text.u+2, text.u+1))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000244 return;
245
Evan Cheng5746a942009-09-03 04:37:05 +0000246 GetCpuIDAndInfo(0x1, &EAX, &EBX, &ECX, &EDX);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000247
Chris Lattner556464f2009-09-02 05:53:04 +0000248 if ((EDX >> 15) & 1) HasCMov = true;
249 if ((EDX >> 23) & 1) X86SSELevel = MMX;
250 if ((EDX >> 25) & 1) X86SSELevel = SSE1;
251 if ((EDX >> 26) & 1) X86SSELevel = SSE2;
Daniel Dunbar9cc58802009-09-03 05:47:34 +0000252 if (ECX & 0x1) X86SSELevel = SSE3;
Chris Lattner556464f2009-09-02 05:53:04 +0000253 if ((ECX >> 9) & 1) X86SSELevel = SSSE3;
254 if ((ECX >> 19) & 1) X86SSELevel = SSE41;
255 if ((ECX >> 20) & 1) X86SSELevel = SSE42;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000256
Evan Cheng95a77fd2009-01-02 05:35:45 +0000257 bool IsIntel = memcmp(text.c, "GenuineIntel", 12) == 0;
258 bool IsAMD = !IsIntel && memcmp(text.c, "AuthenticAMD", 12) == 0;
David Greene8bf22bc2009-06-26 22:46:54 +0000259
260 HasFMA3 = IsIntel && ((ECX >> 12) & 0x1);
261 HasAVX = ((ECX >> 28) & 0x1);
262
Evan Cheng95a77fd2009-01-02 05:35:45 +0000263 if (IsIntel || IsAMD) {
264 // Determine if bit test memory instructions are slow.
265 unsigned Family = 0;
266 unsigned Model = 0;
267 DetectFamilyModel(EAX, Family, Model);
268 IsBTMemSlow = IsAMD || (Family == 6 && Model >= 13);
269
Evan Cheng5746a942009-09-03 04:37:05 +0000270 GetCpuIDAndInfo(0x80000001, &EAX, &EBX, &ECX, &EDX);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000271 HasX86_64 = (EDX >> 29) & 0x1;
Stefanus Du Toitfe086e62009-05-26 21:04:35 +0000272 HasSSE4A = IsAMD && ((ECX >> 6) & 0x1);
David Greene8bf22bc2009-06-26 22:46:54 +0000273 HasFMA4 = IsAMD && ((ECX >> 16) & 0x1);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000274 }
275}
276
Daniel Dunbarb711cf02009-08-02 22:11:08 +0000277X86Subtarget::X86Subtarget(const std::string &TT, const std::string &FS,
278 bool is64Bit)
Chris Lattner2c048f22009-08-11 23:01:09 +0000279 : PICStyle(PICStyles::None)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000280 , X86SSELevel(NoMMXSSE)
Evan Chengb6992de2008-04-16 19:03:02 +0000281 , X863DNowLevel(NoThreeDNow)
Chris Lattner556464f2009-09-02 05:53:04 +0000282 , HasCMov(false)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000283 , HasX86_64(false)
David Greene8bf22bc2009-06-26 22:46:54 +0000284 , HasSSE4A(false)
285 , HasAVX(false)
286 , HasFMA3(false)
287 , HasFMA4(false)
Evan Cheng95a77fd2009-01-02 05:35:45 +0000288 , IsBTMemSlow(false)
Chris Lattner93a2d432008-01-02 19:44:55 +0000289 , DarwinVers(0)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000290 , stackAlignment(8)
291 // FIXME: this is a known good value for Yonah. How about others?
Rafael Espindola7afa9b12007-10-31 11:52:06 +0000292 , MaxInlineSizeThreshold(128)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000293 , Is64Bit(is64Bit)
294 , TargetType(isELF) { // Default to ELF unless otherwise specified.
Anton Korobeynikov11713322009-06-08 22:53:56 +0000295
296 // default to hard float ABI
297 if (FloatABIType == FloatABI::Default)
298 FloatABIType = FloatABI::Hard;
Mon P Wang078a62d2008-05-05 19:05:59 +0000299
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000300 // Determine default and user specified characteristics
301 if (!FS.empty()) {
302 // If feature string is not empty, parse features string.
Daniel Dunbar91c44412009-11-14 10:09:12 +0000303 std::string CPU = sys::getHostCPUName();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000304 ParseSubtargetFeatures(FS, CPU);
Edwin Török4031b792009-02-02 21:57:34 +0000305 // All X86-64 CPUs also have SSE2, however user might request no SSE via
306 // -mattr, so don't force SSELevel here.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000307 } else {
308 // Otherwise, use CPUID to auto-detect feature set.
309 AutoDetectSubtargetFeatures();
Dan Gohman4092bbc2009-02-03 00:04:43 +0000310 // Make sure SSE2 is enabled; it is available on all X86-64 CPUs.
311 if (Is64Bit && X86SSELevel < SSE2)
312 X86SSELevel = SSE2;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000313 }
Dan Gohman4092bbc2009-02-03 00:04:43 +0000314
Dan Gohmand3ef6c92009-02-03 18:53:21 +0000315 // If requesting codegen for X86-64, make sure that 64-bit features
316 // are enabled.
317 if (Is64Bit)
318 HasX86_64 = true;
319
Bill Wendlingbdfa3be2009-08-03 00:11:34 +0000320 DEBUG(errs() << "Subtarget features: SSELevel " << X86SSELevel
321 << ", 3DNowLevel " << X863DNowLevel
322 << ", 64bit " << HasX86_64 << "\n");
Dan Gohman4092bbc2009-02-03 00:04:43 +0000323 assert((!Is64Bit || HasX86_64) &&
324 "64-bit code requested on a subtarget that doesn't support it!");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000325
326 // Set the boolean corresponding to the current target triple, or the default
327 // if one cannot be determined, to true.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000328 if (TT.length() > 5) {
Duncan Sandsdfd94582008-01-08 10:06:15 +0000329 size_t Pos;
Chris Lattner93a2d432008-01-02 19:44:55 +0000330 if ((Pos = TT.find("-darwin")) != std::string::npos) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000331 TargetType = isDarwin;
Chris Lattner93a2d432008-01-02 19:44:55 +0000332
333 // Compute the darwin version number.
334 if (isdigit(TT[Pos+7]))
335 DarwinVers = atoi(&TT[Pos+7]);
336 else
337 DarwinVers = 8; // Minimum supported darwin is Tiger.
Dan Gohmana65530a2008-05-05 00:28:39 +0000338 } else if (TT.find("linux") != std::string::npos) {
Dan Gohman2593e2b2008-05-05 16:11:31 +0000339 // Linux doesn't imply ELF, but we don't currently support anything else.
340 TargetType = isELF;
Chris Lattner93a2d432008-01-02 19:44:55 +0000341 } else if (TT.find("cygwin") != std::string::npos) {
342 TargetType = isCygwin;
343 } else if (TT.find("mingw") != std::string::npos) {
344 TargetType = isMingw;
345 } else if (TT.find("win32") != std::string::npos) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000346 TargetType = isWindows;
Anton Korobeynikovf0ce64b2008-03-22 21:12:53 +0000347 } else if (TT.find("windows") != std::string::npos) {
348 TargetType = isWindows;
Daniel Dunbarfa0c2a82009-08-05 18:12:37 +0000349 } else if (TT.find("-cl") != std::string::npos) {
Mon P Wang23bbfc32009-02-28 00:25:30 +0000350 TargetType = isDarwin;
351 DarwinVers = 9;
352 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000353 }
354
Anton Korobeynikovcdd93812008-04-23 18:16:16 +0000355 // Stack alignment is 16 bytes on Darwin (both 32 and 64 bit) and for all 64
356 // bit targets.
357 if (TargetType == isDarwin || Is64Bit)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000358 stackAlignment = 16;
Anton Korobeynikov06c42402008-04-12 22:12:22 +0000359
360 if (StackAlignment)
361 stackAlignment = StackAlignment;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000362}
David Goodwin2a0ca3b2009-11-10 00:48:55 +0000363
364bool X86Subtarget::enablePostRAScheduler(
365 CodeGenOpt::Level OptLevel,
366 TargetSubtarget::AntiDepBreakMode& Mode,
David Goodwine6e30352009-11-13 19:52:48 +0000367 RegClassVector& CriticalPathRCs) const {
David Goodwin2a0ca3b2009-11-10 00:48:55 +0000368 Mode = TargetSubtarget::ANTIDEP_CRITICAL;
David Goodwine6e30352009-11-13 19:52:48 +0000369 CriticalPathRCs.clear();
Dan Gohmanad1cc9c2009-12-07 19:04:31 +0000370 return OptLevel >= CodeGenOpt::Aggressive;
David Goodwin2a0ca3b2009-11-10 00:48:55 +0000371}