blob: f74c8c3ecb6a42413a6081ddd849888c375bdff2 [file] [log] [blame]
Chris Lattnerb26bcc52001-09-14 05:34:53 +00001//===-- TargetMachine.cpp - General Target Information ---------------------==//
Misha Brukmanf976c852005-04-21 22:55:34 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-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 Brukmanf976c852005-04-21 22:55:34 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerb26bcc52001-09-14 05:34:53 +00009//
10// This file describes the general parts of a Target machine.
11//
12//===----------------------------------------------------------------------===//
Vikram S. Advedaae6992001-07-21 12:42:08 +000013
Evan Chenge5667632010-04-21 03:18:23 +000014#include "llvm/CodeGen/MachineFunction.h"
15#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000016#include "llvm/MC/MCAsmInfo.h"
Misha Brukmane67d5fb2004-06-21 21:20:23 +000017#include "llvm/Target/TargetMachine.h"
Evan Cheng4c1aa862006-02-22 20:19:42 +000018#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000019#include "llvm/Support/CommandLine.h"
Chris Lattnerf70e0c22003-12-28 21:23:38 +000020using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000021
Vikram S. Advee1f72802002-09-16 15:39:26 +000022//---------------------------------------------------------------------------
Brian Gaeke323819e2004-03-04 19:16:23 +000023// Command-line options that tend to be useful on more than one back-end.
24//
25
Misha Brukmanf90e4022004-06-21 21:44:12 +000026namespace llvm {
Mon P Wangbc65ca82009-03-20 05:06:58 +000027 bool LessPreciseFPMADOption;
Misha Brukmanf90e4022004-06-21 21:44:12 +000028 bool PrintMachineCode;
29 bool NoFramePointerElim;
Evan Chenge5667632010-04-21 03:18:23 +000030 bool NoFramePointerElimNonLeaf;
Chris Lattner45554a62005-01-15 06:00:32 +000031 bool NoExcessFPPrecision;
Chris Lattner34f74a62005-04-30 04:09:52 +000032 bool UnsafeFPMath;
Evan Cheng60108e92010-07-15 22:07:12 +000033 bool NoInfsFPMath;
34 bool NoNaNsFPMath;
Chris Lattnera7ad3d12007-05-03 00:27:11 +000035 bool HonorSignDependentRoundingFPMathOption;
Evan Chengc9ab2f32006-12-09 02:41:30 +000036 bool UseSoftFloat;
Anton Korobeynikov0eebf652009-06-08 22:53:56 +000037 FloatABI::ABIType FloatABIType;
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000038 bool NoImplicitFloat;
Anton Korobeynikov5032e5a2007-01-17 10:33:08 +000039 bool NoZerosInBSS;
Duncan Sands57b6e9e2010-05-02 15:36:26 +000040 bool JITExceptionHandling;
Reid Kleckner27632172009-09-20 23:52:43 +000041 bool JITEmitDebugInfo;
42 bool JITEmitDebugInfoToDisk;
Dan Gohman1797ed52010-02-08 20:27:50 +000043 bool GuaranteedTailCallOpt;
Evan Chengf05589d2011-06-23 18:15:47 +000044 unsigned StackAlignmentOverride;
Evan Cheng6547e402008-07-01 23:18:29 +000045 bool RealignStack;
Dale Johannesen72324642008-07-31 18:13:12 +000046 bool DisableJumpTables;
Owen Anderson95dad832008-10-07 20:22:28 +000047 bool StrongPHIElim;
Evan Cheng2c69f8e2011-04-07 00:58:44 +000048 bool HasDivModLibcall;
Evan Cheng42bf74b2009-03-25 01:47:28 +000049 bool AsmVerbosityDefault(false);
Chris Lattnerd74ea2b2006-05-24 17:04:05 +000050}
Misha Brukman0fb5a662004-06-21 21:08:45 +000051
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000052static cl::opt<bool, true>
53PrintCode("print-machineinstrs",
Dan Gohman844731a2008-05-13 00:00:25 +000054 cl::desc("Print generated machine code"),
55 cl::location(PrintMachineCode), cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000056static cl::opt<bool, true>
Evan Cheng89df08c2008-05-30 22:39:18 +000057DisableFPElim("disable-fp-elim",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000058 cl::desc("Disable frame pointer elimination optimization"),
59 cl::location(NoFramePointerElim),
60 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000061static cl::opt<bool, true>
Evan Chenge5667632010-04-21 03:18:23 +000062DisableFPElimNonLeaf("disable-non-leaf-fp-elim",
63 cl::desc("Disable frame pointer elimination optimization for non-leaf funcs"),
64 cl::location(NoFramePointerElimNonLeaf),
65 cl::init(false));
66static cl::opt<bool, true>
Dan Gohman844731a2008-05-13 00:00:25 +000067DisableExcessPrecision("disable-excess-fp-precision",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000068 cl::desc("Disable optimizations that may increase FP precision"),
69 cl::location(NoExcessFPPrecision),
70 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000071static cl::opt<bool, true>
Mon P Wangbc65ca82009-03-20 05:06:58 +000072EnableFPMAD("enable-fp-mad",
73 cl::desc("Enable less precise MAD instructions to be generated"),
74 cl::location(LessPreciseFPMADOption),
75 cl::init(false));
76static cl::opt<bool, true>
Dan Gohman844731a2008-05-13 00:00:25 +000077EnableUnsafeFPMath("enable-unsafe-fp-math",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000078 cl::desc("Enable optimizations that may decrease FP precision"),
79 cl::location(UnsafeFPMath),
80 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000081static cl::opt<bool, true>
Evan Cheng60108e92010-07-15 22:07:12 +000082EnableNoInfsFPMath("enable-no-infs-fp-math",
83 cl::desc("Enable FP math optimizations that assume no +-Infs"),
84 cl::location(NoInfsFPMath),
85 cl::init(false));
86static cl::opt<bool, true>
87EnableNoNaNsFPMath("enable-no-nans-fp-math",
88 cl::desc("Enable FP math optimizations that assume no NaNs"),
89 cl::location(NoNaNsFPMath),
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000090 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000091static cl::opt<bool, true>
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000092EnableHonorSignDependentRoundingFPMath("enable-sign-dependent-rounding-fp-math",
93 cl::Hidden,
94 cl::desc("Force codegen to assume rounding mode can change dynamically"),
95 cl::location(HonorSignDependentRoundingFPMathOption),
96 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +000097static cl::opt<bool, true>
98GenerateSoftFloatCalls("soft-float",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +000099 cl::desc("Generate software floating point library calls"),
100 cl::location(UseSoftFloat),
101 cl::init(false));
Anton Korobeynikov0eebf652009-06-08 22:53:56 +0000102static cl::opt<llvm::FloatABI::ABIType, true>
103FloatABIForCalls("float-abi",
104 cl::desc("Choose float ABI type"),
105 cl::location(FloatABIType),
106 cl::init(FloatABI::Default),
107 cl::values(
108 clEnumValN(FloatABI::Default, "default",
109 "Target default float ABI type"),
110 clEnumValN(FloatABI::Soft, "soft",
111 "Soft float ABI (implied by -soft-float)"),
112 clEnumValN(FloatABI::Hard, "hard",
113 "Hard float ABI (uses FP registers)"),
114 clEnumValEnd));
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000115static cl::opt<bool, true>
Dan Gohman844731a2008-05-13 00:00:25 +0000116DontPlaceZerosInBSS("nozero-initialized-in-bss",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000117 cl::desc("Don't place zero-initialized symbols into bss section"),
118 cl::location(NoZerosInBSS),
119 cl::init(false));
Dan Gohman844731a2008-05-13 00:00:25 +0000120static cl::opt<bool, true>
Duncan Sands57b6e9e2010-05-02 15:36:26 +0000121EnableJITExceptionHandling("jit-enable-eh",
122 cl::desc("Emit exception handling information"),
123 cl::location(JITExceptionHandling),
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000124 cl::init(false));
Reid Kleckner27632172009-09-20 23:52:43 +0000125// In debug builds, make this default to true.
126#ifdef NDEBUG
127#define EMIT_DEBUG false
128#else
129#define EMIT_DEBUG true
130#endif
131static cl::opt<bool, true>
132EmitJitDebugInfo("jit-emit-debug",
133 cl::desc("Emit debug information to debugger"),
134 cl::location(JITEmitDebugInfo),
135 cl::init(EMIT_DEBUG));
136#undef EMIT_DEBUG
137static cl::opt<bool, true>
138EmitJitDebugInfoToDisk("jit-emit-debug-to-disk",
139 cl::Hidden,
140 cl::desc("Emit debug info objfiles to disk"),
141 cl::location(JITEmitDebugInfoToDisk),
142 cl::init(false));
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000143
Dan Gohman844731a2008-05-13 00:00:25 +0000144static cl::opt<bool, true>
Dan Gohman1797ed52010-02-08 20:27:50 +0000145EnableGuaranteedTailCallOpt("tailcallopt",
Evan Cheng8c86db52010-01-27 00:10:09 +0000146 cl::desc("Turn fastcc calls into tail calls by (potentially) changing ABI."),
Dan Gohman1797ed52010-02-08 20:27:50 +0000147 cl::location(GuaranteedTailCallOpt),
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000148 cl::init(false));
Evan Cheng6547e402008-07-01 23:18:29 +0000149static cl::opt<unsigned, true>
150OverrideStackAlignment("stack-alignment",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000151 cl::desc("Override default stack alignment"),
Evan Chengf05589d2011-06-23 18:15:47 +0000152 cl::location(StackAlignmentOverride),
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000153 cl::init(0));
Dan Gohman844731a2008-05-13 00:00:25 +0000154static cl::opt<bool, true>
155EnableRealignStack("realign-stack",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000156 cl::desc("Realign stack if needed"),
157 cl::location(RealignStack),
158 cl::init(true));
Evan Cheng6547e402008-07-01 23:18:29 +0000159static cl::opt<bool, true>
Dale Johannesen72324642008-07-31 18:13:12 +0000160DisableSwitchTables(cl::Hidden, "disable-jump-tables",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000161 cl::desc("Do not generate jump tables."),
162 cl::location(DisableJumpTables),
163 cl::init(false));
Owen Anderson95dad832008-10-07 20:22:28 +0000164static cl::opt<bool, true>
165EnableStrongPHIElim(cl::Hidden, "strong-phi-elim",
Bill Wendlingf9abd7e2009-03-11 22:30:01 +0000166 cl::desc("Use strong PHI elimination."),
167 cl::location(StrongPHIElim),
168 cl::init(false));
Evan Cheng4da0c7c2011-04-08 21:37:21 +0000169static cl::opt<std::string>
170TrapFuncName("trap-func", cl::Hidden,
171 cl::desc("Emit a call to trap function rather than a trap instruction"),
172 cl::init(""));
Chris Lattner43ac7212010-04-13 00:36:43 +0000173static cl::opt<bool>
174DataSections("fdata-sections",
175 cl::desc("Emit data into separate sections"),
176 cl::init(false));
177static cl::opt<bool>
178FunctionSections("ffunction-sections",
179 cl::desc("Emit functions into separate sections"),
180 cl::init(false));
Brian Gaeke323819e2004-03-04 19:16:23 +0000181//---------------------------------------------------------------------------
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000182// TargetMachine Class
183//
Misha Brukman167deff2004-08-10 23:10:25 +0000184
Evan Chengebdeeab2011-07-08 01:53:10 +0000185TargetMachine::TargetMachine(const Target &T,
186 StringRef TT, StringRef CPU, StringRef FS)
Benjamin Kramere236dc62011-07-20 01:27:58 +0000187 : TheTarget(T), TargetTriple(TT), TargetCPU(CPU), TargetFS(FS),
188 CodeGenInfo(0), AsmInfo(0),
Rafael Espindola195a0ce2010-11-19 02:26:16 +0000189 MCRelaxAll(false),
Rafael Espindoladd0dfdf2011-01-23 18:50:12 +0000190 MCNoExecStack(false),
Daniel Dunbara7b8c2b2011-03-28 22:49:19 +0000191 MCSaveTempLabels(false),
Rafael Espindolaf1a5c7e2011-04-30 03:44:37 +0000192 MCUseLoc(true),
193 MCUseCFI(true) {
Anton Korobeynikov0eebf652009-06-08 22:53:56 +0000194 // Typically it will be subtargets that will adjust FloatABIType from Default
195 // to Soft or Hard.
196 if (UseSoftFloat)
197 FloatABIType = FloatABI::Soft;
198}
199
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000200TargetMachine::~TargetMachine() {
Benjamin Kramere236dc62011-07-20 01:27:58 +0000201 delete CodeGenInfo;
Jim Laskeyfde1b3b2006-09-07 23:39:26 +0000202 delete AsmInfo;
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000203}
204
Evan Cheng4c1aa862006-02-22 20:19:42 +0000205/// getRelocationModel - Returns the code generation relocation model. The
206/// choices are static, PIC, and dynamic-no-pic, and target default.
Evan Cheng43966132011-07-19 06:37:02 +0000207Reloc::Model TargetMachine::getRelocationModel() const {
208 if (!CodeGenInfo)
209 return Reloc::Default;
210 return CodeGenInfo->getRelocationModel();
Evan Cheng4c1aa862006-02-22 20:19:42 +0000211}
Evan Cheng80235d52006-05-23 18:18:46 +0000212
Evan Cheng152ed052006-07-06 01:53:36 +0000213/// getCodeModel - Returns the code model. The choices are small, kernel,
214/// medium, large, and target default.
Evan Cheng34ad6db2011-07-20 07:51:56 +0000215CodeModel::Model TargetMachine::getCodeModel() const {
216 if (!CodeGenInfo)
217 return CodeModel::Default;
218 return CodeGenInfo->getCodeModel();
Evan Cheng152ed052006-07-06 01:53:36 +0000219}
220
Evan Cheng42bf74b2009-03-25 01:47:28 +0000221bool TargetMachine::getAsmVerbosityDefault() {
222 return AsmVerbosityDefault;
223}
224
225void TargetMachine::setAsmVerbosityDefault(bool V) {
226 AsmVerbosityDefault = V;
227}
228
Chris Lattner43ac7212010-04-13 00:36:43 +0000229bool TargetMachine::getFunctionSections() {
230 return FunctionSections;
231}
232
233bool TargetMachine::getDataSections() {
234 return DataSections;
235}
236
237void TargetMachine::setFunctionSections(bool V) {
238 FunctionSections = V;
239}
240
241void TargetMachine::setDataSections(bool V) {
242 DataSections = V;
243}
244
Evan Cheng80235d52006-05-23 18:18:46 +0000245namespace llvm {
Evan Chenge5667632010-04-21 03:18:23 +0000246 /// DisableFramePointerElim - This returns true if frame pointer elimination
247 /// optimization should be disabled for the given machine function.
248 bool DisableFramePointerElim(const MachineFunction &MF) {
Bill Wendling53f76022010-05-17 23:09:50 +0000249 // Check to see if we should eliminate non-leaf frame pointers and then
250 // check to see if we should eliminate all frame pointers.
Bill Wendling2abc93d2010-05-18 21:47:08 +0000251 if (NoFramePointerElimNonLeaf && !NoFramePointerElim) {
Evan Chenge5667632010-04-21 03:18:23 +0000252 const MachineFrameInfo *MFI = MF.getFrameInfo();
Bill Wendling0fc546b2010-05-14 21:28:24 +0000253 return MFI->hasCalls();
Evan Chenge5667632010-04-21 03:18:23 +0000254 }
Bill Wendling53f76022010-05-17 23:09:50 +0000255
256 return NoFramePointerElim;
Evan Chenge5667632010-04-21 03:18:23 +0000257 }
258
Mon P Wangbc65ca82009-03-20 05:06:58 +0000259 /// LessPreciseFPMAD - This flag return true when -enable-fp-mad option
260 /// is specified on the command line. When this flag is off(default), the
261 /// code generator is not allowed to generate mad (multiply add) if the
262 /// result is "less precise" than doing those operations individually.
263 bool LessPreciseFPMAD() { return UnsafeFPMath || LessPreciseFPMADOption; }
264
Chris Lattneraa4f1e12007-05-03 00:16:07 +0000265 /// HonorSignDependentRoundingFPMath - Return true if the codegen must assume
266 /// that the rounding mode of the FPU can change from its default.
267 bool HonorSignDependentRoundingFPMath() {
268 return !UnsafeFPMath && HonorSignDependentRoundingFPMathOption;
269 }
Evan Cheng4da0c7c2011-04-08 21:37:21 +0000270
271 /// getTrapFunctionName - If this returns a non-empty string, this means isel
272 /// should lower Intrinsic::trap to a call to the specified function name
273 /// instead of an ISD::TRAP node.
274 StringRef getTrapFunctionName() {
275 return TrapFuncName;
276 }
Reid Spencer077b3872006-05-24 19:05:21 +0000277}