blob: 1e5bfb247293205dc02f1fb871d879f5bd316dbc [file] [log] [blame]
Chris Lattner22a6a902001-09-14 05:34:53 +00001//===-- TargetMachine.cpp - General Target Information ---------------------==//
Misha Brukman10468d82005-04-21 22:55:34 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman10468d82005-04-21 22:55:34 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner22a6a902001-09-14 05:34:53 +00009//
10// This file describes the general parts of a Target machine.
11//
12//===----------------------------------------------------------------------===//
Vikram S. Adve3414e782001-07-21 12:42:08 +000013
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/Target/TargetMachine.h"
Chandler Carruth705b1852015-01-31 03:43:40 +000015#include "llvm/Analysis/TargetTransformInfo.h"
Bill Wendling965bd582013-03-13 22:26:59 +000016#include "llvm/CodeGen/MachineFunction.h"
17#include "llvm/IR/Function.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/GlobalAlias.h"
19#include "llvm/IR/GlobalValue.h"
20#include "llvm/IR/GlobalVariable.h"
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +000021#include "llvm/IR/Mangler.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000022#include "llvm/MC/MCAsmInfo.h"
Craig Topperd4a964c2012-03-25 18:10:17 +000023#include "llvm/MC/MCCodeGenInfo.h"
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +000024#include "llvm/MC/MCContext.h"
Lang Hames1e923ec2015-01-09 18:55:42 +000025#include "llvm/MC/MCSectionMachO.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000026#include "llvm/MC/MCTargetOptions.h"
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +000027#include "llvm/MC/SectionKind.h"
Chandler Carruth705b1852015-01-31 03:43:40 +000028#include "llvm/PassManager.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000029#include "llvm/Support/CommandLine.h"
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +000030#include "llvm/Target/TargetLowering.h"
31#include "llvm/Target/TargetLoweringObjectFile.h"
Eric Christopherd9134482014-08-04 21:25:23 +000032#include "llvm/Target/TargetSubtargetInfo.h"
Chris Lattner5d236002003-12-28 21:23:38 +000033using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000034
Vikram S. Adve36d3e032002-09-16 15:39:26 +000035//---------------------------------------------------------------------------
Chris Lattner5d236002003-12-28 21:23:38 +000036// TargetMachine Class
37//
Misha Brukman3decf862004-08-10 23:10:25 +000038
Evan Cheng4d1ca962011-07-08 01:53:10 +000039TargetMachine::TargetMachine(const Target &T,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000040 StringRef TT, StringRef CPU, StringRef FS,
41 const TargetOptions &Options)
Benjamin Kramercc38ef62011-07-20 01:27:58 +000042 : TheTarget(T), TargetTriple(TT), TargetCPU(CPU), TargetFS(FS),
Craig Topper062a2ba2014-04-25 05:30:21 +000043 CodeGenInfo(nullptr), AsmInfo(nullptr),
Vincent Lejeune92b0a642013-12-07 01:49:19 +000044 RequireStructuredCFG(false),
Nick Lewycky50f02cb2011-12-02 22:16:29 +000045 Options(Options) {
Anton Korobeynikov77d19432009-06-08 22:53:56 +000046}
47
Chris Lattner5d236002003-12-28 21:23:38 +000048TargetMachine::~TargetMachine() {
Benjamin Kramercc38ef62011-07-20 01:27:58 +000049 delete CodeGenInfo;
Jim Laskeyae92ce82006-09-07 23:39:26 +000050 delete AsmInfo;
Chris Lattner5d236002003-12-28 21:23:38 +000051}
52
Bill Wendling965bd582013-03-13 22:26:59 +000053/// \brief Reset the target options based on the function's attributes.
Eric Christopher3976f782014-09-26 01:28:10 +000054void TargetMachine::resetTargetOptions(const Function &F) const {
55#define RESET_OPTION(X, Y) \
56 do { \
57 if (F.hasFnAttribute(Y)) \
58 Options.X = (F.getAttributes() \
59 .getAttribute(AttributeSet::FunctionIndex, Y) \
60 .getValueAsString() == "true"); \
Bill Wendling965bd582013-03-13 22:26:59 +000061 } while (0)
62
63 RESET_OPTION(NoFramePointerElim, "no-frame-pointer-elim");
Bill Wendling965bd582013-03-13 22:26:59 +000064 RESET_OPTION(LessPreciseFPMADOption, "less-precise-fpmad");
65 RESET_OPTION(UnsafeFPMath, "unsafe-fp-math");
66 RESET_OPTION(NoInfsFPMath, "no-infs-fp-math");
67 RESET_OPTION(NoNaNsFPMath, "no-nans-fp-math");
68 RESET_OPTION(UseSoftFloat, "use-soft-float");
69 RESET_OPTION(DisableTailCalls, "disable-tail-calls");
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000070
Eric Christopher3976f782014-09-26 01:28:10 +000071 Options.MCOptions.SanitizeAddress = F.hasFnAttribute(Attribute::SanitizeAddress);
Bill Wendling965bd582013-03-13 22:26:59 +000072}
73
Evan Cheng73136df2006-02-22 20:19:42 +000074/// getRelocationModel - Returns the code generation relocation model. The
75/// choices are static, PIC, and dynamic-no-pic, and target default.
Evan Cheng2129f592011-07-19 06:37:02 +000076Reloc::Model TargetMachine::getRelocationModel() const {
77 if (!CodeGenInfo)
78 return Reloc::Default;
79 return CodeGenInfo->getRelocationModel();
Evan Cheng73136df2006-02-22 20:19:42 +000080}
Evan Chengac4f66f2006-05-23 18:18:46 +000081
Evan Cheng04417462006-07-06 01:53:36 +000082/// getCodeModel - Returns the code model. The choices are small, kernel,
83/// medium, large, and target default.
Evan Chengefd9b422011-07-20 07:51:56 +000084CodeModel::Model TargetMachine::getCodeModel() const {
85 if (!CodeGenInfo)
86 return CodeModel::Default;
87 return CodeGenInfo->getCodeModel();
Evan Cheng04417462006-07-06 01:53:36 +000088}
89
Hans Wennborgcbe34b42012-06-23 11:37:03 +000090/// Get the IR-specified TLS model for Var.
Rafael Espindola59f7eba2014-05-28 18:15:43 +000091static TLSModel::Model getSelectedTLSModel(const GlobalValue *GV) {
92 switch (GV->getThreadLocalMode()) {
Hans Wennborgcbe34b42012-06-23 11:37:03 +000093 case GlobalVariable::NotThreadLocal:
94 llvm_unreachable("getSelectedTLSModel for non-TLS variable");
95 break;
96 case GlobalVariable::GeneralDynamicTLSModel:
97 return TLSModel::GeneralDynamic;
98 case GlobalVariable::LocalDynamicTLSModel:
99 return TLSModel::LocalDynamic;
100 case GlobalVariable::InitialExecTLSModel:
101 return TLSModel::InitialExec;
102 case GlobalVariable::LocalExecTLSModel:
103 return TLSModel::LocalExec;
104 }
105 llvm_unreachable("invalid TLS model");
106}
107
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000108TLSModel::Model TargetMachine::getTLSModel(const GlobalValue *GV) const {
Rafael Espindolaa5bb2f62014-05-23 19:16:56 +0000109 bool isLocal = GV->hasLocalLinkage();
110 bool isDeclaration = GV->isDeclaration();
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000111 bool isPIC = getRelocationModel() == Reloc::PIC_;
112 bool isPIE = Options.PositionIndependentExecutable;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000113 // FIXME: what should we do for protected and internal visibility?
114 // For variables, is internal different from hidden?
Rafael Espindolaa5bb2f62014-05-23 19:16:56 +0000115 bool isHidden = GV->hasHiddenVisibility();
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000116
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000117 TLSModel::Model Model;
118 if (isPIC && !isPIE) {
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000119 if (isLocal || isHidden)
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000120 Model = TLSModel::LocalDynamic;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000121 else
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000122 Model = TLSModel::GeneralDynamic;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000123 } else {
124 if (!isDeclaration || isHidden)
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000125 Model = TLSModel::LocalExec;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000126 else
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000127 Model = TLSModel::InitialExec;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000128 }
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000129
Rafael Espindola59f7eba2014-05-28 18:15:43 +0000130 // If the user specified a more specific model, use that.
131 TLSModel::Model SelectedModel = getSelectedTLSModel(GV);
132 if (SelectedModel > Model)
133 return SelectedModel;
Hans Wennborgcbe34b42012-06-23 11:37:03 +0000134
135 return Model;
Chandler Carruth16f0ebc2012-04-08 17:20:55 +0000136}
137
Evan Chengecb29082011-11-16 08:38:26 +0000138/// getOptLevel - Returns the optimization level: None, Less,
139/// Default, or Aggressive.
140CodeGenOpt::Level TargetMachine::getOptLevel() const {
141 if (!CodeGenInfo)
142 return CodeGenOpt::Default;
143 return CodeGenInfo->getOptLevel();
144}
145
Paul Robinsond89125a2013-11-22 19:11:24 +0000146void TargetMachine::setOptLevel(CodeGenOpt::Level Level) const {
147 if (CodeGenInfo)
148 CodeGenInfo->setOptLevel(Level);
149}
150
Eric Christophereb719722014-05-20 23:59:50 +0000151bool TargetMachine::getAsmVerbosityDefault() const {
152 return Options.MCOptions.AsmVerbose;
Evan Cheng5e5a63c2009-03-25 01:47:28 +0000153}
154
155void TargetMachine::setAsmVerbosityDefault(bool V) {
Eric Christophereb719722014-05-20 23:59:50 +0000156 Options.MCOptions.AsmVerbose = V;
Evan Cheng5e5a63c2009-03-25 01:47:28 +0000157}
158
Eric Christopher2feed5f2014-05-20 21:25:34 +0000159bool TargetMachine::getFunctionSections() const {
160 return Options.FunctionSections;
Chris Lattner5b212a32010-04-13 00:36:43 +0000161}
162
Eric Christopher2feed5f2014-05-20 21:25:34 +0000163bool TargetMachine::getDataSections() const {
164 return Options.DataSections;
Chris Lattner5b212a32010-04-13 00:36:43 +0000165}
166
167void TargetMachine::setFunctionSections(bool V) {
Eric Christopher2feed5f2014-05-20 21:25:34 +0000168 Options.FunctionSections = V;
Chris Lattner5b212a32010-04-13 00:36:43 +0000169}
170
171void TargetMachine::setDataSections(bool V) {
Eric Christopher2feed5f2014-05-20 21:25:34 +0000172 Options.DataSections = V;
Chris Lattner5b212a32010-04-13 00:36:43 +0000173}
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +0000174
Chandler Carruthe0385522015-02-01 10:11:22 +0000175TargetIRAnalysis TargetMachine::getTargetIRAnalysis() {
176 // While targets are free to just override getTTI and rely on this analysis,
177 // it would be more efficient to override and provide an analysis that could
178 // directly construct that target's TTI without the virtual call.
179 return TargetIRAnalysis([this](Function &) { return getTTI(); });
180}
181
Chandler Carruth93dcdc42015-01-31 11:17:59 +0000182TargetTransformInfo TargetMachine::getTTI() {
183 return TargetTransformInfo(getDataLayout());
Chandler Carruth705b1852015-01-31 03:43:40 +0000184}
185
Lang Hames1e923ec2015-01-09 18:55:42 +0000186static bool canUsePrivateLabel(const MCAsmInfo &AsmInfo,
187 const MCSection &Section) {
188 if (!AsmInfo.isSectionAtomizableBySymbols(Section))
189 return true;
190
191 // If it is not dead stripped, it is safe to use private labels.
192 const MCSectionMachO &SMO = cast<MCSectionMachO>(Section);
193 if (SMO.hasAttribute(MachO::S_ATTR_NO_DEAD_STRIP))
194 return true;
195
196 return false;
197}
198
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +0000199void TargetMachine::getNameWithPrefix(SmallVectorImpl<char> &Name,
200 const GlobalValue *GV, Mangler &Mang,
201 bool MayAlwaysUsePrivate) const {
202 if (MayAlwaysUsePrivate || !GV->hasPrivateLinkage()) {
203 // Simple case: If GV is not private, it is not important to find out if
204 // private labels are legal in this case or not.
205 Mang.getNameWithPrefix(Name, GV, false);
206 return;
207 }
208 SectionKind GVKind = TargetLoweringObjectFile::getKindForGlobal(GV, *this);
209 const TargetLoweringObjectFile &TLOF =
Eric Christopherd9134482014-08-04 21:25:23 +0000210 getSubtargetImpl()->getTargetLowering()->getObjFileLowering();
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +0000211 const MCSection *TheSection = TLOF.SectionForGlobal(GV, GVKind, Mang, *this);
Lang Hames1e923ec2015-01-09 18:55:42 +0000212 bool CannotUsePrivateLabel = !canUsePrivateLabel(*AsmInfo, *TheSection);
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +0000213 Mang.getNameWithPrefix(Name, GV, CannotUsePrivateLabel);
214}
215
216MCSymbol *TargetMachine::getSymbol(const GlobalValue *GV, Mangler &Mang) const {
217 SmallString<60> NameStr;
218 getNameWithPrefix(NameStr, GV, Mang);
219 const TargetLoweringObjectFile &TLOF =
Eric Christopherd9134482014-08-04 21:25:23 +0000220 getSubtargetImpl()->getTargetLowering()->getObjFileLowering();
Rafael Espindolaa3ad4e62014-02-19 20:30:41 +0000221 return TLOF.getContext().GetOrCreateSymbol(NameStr.str());
222}