1 //===-- CommandFlags.h - Command Line Flags Interface -----------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file contains codegen-specific flags that are shared between different
11 // command line tools. The tools "llc" and "opt" both use this file to prevent
12 // flag duplication.
13 //
14 //===----------------------------------------------------------------------===//
15
16 #ifndef LLVM_CODEGEN_COMMANDFLAGS_H
17 #define LLVM_CODEGEN_COMMANDFLAGS_H
18
19 #include "llvm/ADT/StringExtras.h"
20 #include "llvm/IR/Instructions.h"
21 #include "llvm/IR/Intrinsics.h"
22 #include "llvm/IR/Module.h"
23 #include "llvm/MC/MCTargetOptionsCommandFlags.h"
24 #include "llvm/MC/SubtargetFeature.h"
25 #include "llvm/Support/CodeGen.h"
26 #include "llvm/Support/CommandLine.h"
27 #include "llvm/Support/Host.h"
28 #include "llvm/Target/TargetMachine.h"
29 #include "llvm/Target/TargetOptions.h"
30 #include "llvm/Target/TargetRecip.h"
31 #include <string>
32 using namespace llvm;
33
34 cl::opt<std::string>
35 MArch("march", cl::desc("Architecture to generate code for (see --version)"));
36
37 cl::opt<std::string>
38 MCPU("mcpu",
39 cl::desc("Target a specific cpu type (-mcpu=help for details)"),
40 cl::value_desc("cpu-name"),
41 cl::init(""));
42
43 cl::list<std::string>
44 MAttrs("mattr",
45 cl::CommaSeparated,
46 cl::desc("Target specific attributes (-mattr=help for details)"),
47 cl::value_desc("a1,+a2,-a3,..."));
48
49 cl::opt<Reloc::Model> RelocModel(
50 "relocation-model", cl::desc("Choose relocation model"),
51 cl::values(
52 clEnumValN(Reloc::Static, "static", "Non-relocatable code"),
53 clEnumValN(Reloc::PIC_, "pic",
54 "Fully relocatable, position independent code"),
55 clEnumValN(Reloc::DynamicNoPIC, "dynamic-no-pic",
56 "Relocatable external references, non-relocatable code"),
57 clEnumValEnd));
58
getRelocModel()59 static inline Optional<Reloc::Model> getRelocModel() {
60 if (RelocModel.getNumOccurrences()) {
61 Reloc::Model R = RelocModel;
62 return R;
63 }
64 return None;
65 }
66
67 cl::opt<ThreadModel::Model>
68 TMModel("thread-model",
69 cl::desc("Choose threading model"),
70 cl::init(ThreadModel::POSIX),
71 cl::values(clEnumValN(ThreadModel::POSIX, "posix",
72 "POSIX thread model"),
73 clEnumValN(ThreadModel::Single, "single",
74 "Single thread model"),
75 clEnumValEnd));
76
77 cl::opt<llvm::CodeModel::Model>
78 CMModel("code-model",
79 cl::desc("Choose code model"),
80 cl::init(CodeModel::Default),
81 cl::values(clEnumValN(CodeModel::Default, "default",
82 "Target default code model"),
83 clEnumValN(CodeModel::Small, "small",
84 "Small code model"),
85 clEnumValN(CodeModel::Kernel, "kernel",
86 "Kernel code model"),
87 clEnumValN(CodeModel::Medium, "medium",
88 "Medium code model"),
89 clEnumValN(CodeModel::Large, "large",
90 "Large code model"),
91 clEnumValEnd));
92
93 cl::opt<llvm::ExceptionHandling>
94 ExceptionModel("exception-model",
95 cl::desc("exception model"),
96 cl::init(ExceptionHandling::None),
97 cl::values(clEnumValN(ExceptionHandling::None, "default",
98 "default exception handling model"),
99 clEnumValN(ExceptionHandling::DwarfCFI, "dwarf",
100 "DWARF-like CFI based exception handling"),
101 clEnumValN(ExceptionHandling::SjLj, "sjlj",
102 "SjLj exception handling"),
103 clEnumValN(ExceptionHandling::ARM, "arm",
104 "ARM EHABI exceptions"),
105 clEnumValN(ExceptionHandling::WinEH, "wineh",
106 "Windows exception model"),
107 clEnumValEnd));
108
109 cl::opt<TargetMachine::CodeGenFileType>
110 FileType("filetype", cl::init(TargetMachine::CGFT_AssemblyFile),
111 cl::desc("Choose a file type (not all types are supported by all targets):"),
112 cl::values(
113 clEnumValN(TargetMachine::CGFT_AssemblyFile, "asm",
114 "Emit an assembly ('.s') file"),
115 clEnumValN(TargetMachine::CGFT_ObjectFile, "obj",
116 "Emit a native object ('.o') file"),
117 clEnumValN(TargetMachine::CGFT_Null, "null",
118 "Emit nothing, for performance testing"),
119 clEnumValEnd));
120
121 cl::opt<bool>
122 EnableFPMAD("enable-fp-mad",
123 cl::desc("Enable less precise MAD instructions to be generated"),
124 cl::init(false));
125
126 cl::opt<bool>
127 DisableFPElim("disable-fp-elim",
128 cl::desc("Disable frame pointer elimination optimization"),
129 cl::init(false));
130
131 cl::opt<bool>
132 EnableUnsafeFPMath("enable-unsafe-fp-math",
133 cl::desc("Enable optimizations that may decrease FP precision"),
134 cl::init(false));
135
136 cl::opt<bool>
137 EnableNoInfsFPMath("enable-no-infs-fp-math",
138 cl::desc("Enable FP math optimizations that assume no +-Infs"),
139 cl::init(false));
140
141 cl::opt<bool>
142 EnableNoNaNsFPMath("enable-no-nans-fp-math",
143 cl::desc("Enable FP math optimizations that assume no NaNs"),
144 cl::init(false));
145
146 cl::opt<bool>
147 EnableHonorSignDependentRoundingFPMath("enable-sign-dependent-rounding-fp-math",
148 cl::Hidden,
149 cl::desc("Force codegen to assume rounding mode can change dynamically"),
150 cl::init(false));
151
152 cl::opt<llvm::FloatABI::ABIType>
153 FloatABIForCalls("float-abi",
154 cl::desc("Choose float ABI type"),
155 cl::init(FloatABI::Default),
156 cl::values(
157 clEnumValN(FloatABI::Default, "default",
158 "Target default float ABI type"),
159 clEnumValN(FloatABI::Soft, "soft",
160 "Soft float ABI (implied by -soft-float)"),
161 clEnumValN(FloatABI::Hard, "hard",
162 "Hard float ABI (uses FP registers)"),
163 clEnumValEnd));
164
165 cl::opt<llvm::FPOpFusion::FPOpFusionMode>
166 FuseFPOps("fp-contract",
167 cl::desc("Enable aggressive formation of fused FP ops"),
168 cl::init(FPOpFusion::Standard),
169 cl::values(
170 clEnumValN(FPOpFusion::Fast, "fast",
171 "Fuse FP ops whenever profitable"),
172 clEnumValN(FPOpFusion::Standard, "on",
173 "Only fuse 'blessed' FP ops."),
174 clEnumValN(FPOpFusion::Strict, "off",
175 "Only fuse FP ops when the result won't be affected."),
176 clEnumValEnd));
177
178 cl::list<std::string>
179 ReciprocalOps("recip",
180 cl::CommaSeparated,
181 cl::desc("Choose reciprocal operation types and parameters."),
182 cl::value_desc("all,none,default,divf,!vec-sqrtd,vec-divd:0,sqrt:9..."));
183
184 cl::opt<bool>
185 DontPlaceZerosInBSS("nozero-initialized-in-bss",
186 cl::desc("Don't place zero-initialized symbols into bss section"),
187 cl::init(false));
188
189 cl::opt<bool>
190 EnableGuaranteedTailCallOpt("tailcallopt",
191 cl::desc("Turn fastcc calls into tail calls by (potentially) changing ABI."),
192 cl::init(false));
193
194 cl::opt<bool>
195 DisableTailCalls("disable-tail-calls",
196 cl::desc("Never emit tail calls"),
197 cl::init(false));
198
199 cl::opt<bool>
200 StackSymbolOrdering("stack-symbol-ordering",
201 cl::desc("Order local stack symbols."),
202 cl::init(true));
203
204 cl::opt<unsigned>
205 OverrideStackAlignment("stack-alignment",
206 cl::desc("Override default stack alignment"),
207 cl::init(0));
208
209 cl::opt<bool>
210 StackRealign("stackrealign",
211 cl::desc("Force align the stack to the minimum alignment"),
212 cl::init(false));
213
214 cl::opt<std::string>
215 TrapFuncName("trap-func", cl::Hidden,
216 cl::desc("Emit a call to trap function rather than a trap instruction"),
217 cl::init(""));
218
219 cl::opt<bool>
220 UseCtors("use-ctors",
221 cl::desc("Use .ctors instead of .init_array."),
222 cl::init(false));
223
224 cl::opt<std::string> StopAfter("stop-after",
225 cl::desc("Stop compilation after a specific pass"),
226 cl::value_desc("pass-name"),
227 cl::init(""));
228 cl::opt<std::string> StartAfter("start-after",
229 cl::desc("Resume compilation after a specific pass"),
230 cl::value_desc("pass-name"),
231 cl::init(""));
232
233 cl::opt<bool> DataSections("data-sections",
234 cl::desc("Emit data into separate sections"),
235 cl::init(false));
236
237 cl::opt<bool>
238 FunctionSections("function-sections",
239 cl::desc("Emit functions into separate sections"),
240 cl::init(false));
241
242 cl::opt<bool> EmulatedTLS("emulated-tls",
243 cl::desc("Use emulated TLS model"),
244 cl::init(false));
245
246 cl::opt<bool> UniqueSectionNames("unique-section-names",
247 cl::desc("Give unique names to every section"),
248 cl::init(true));
249
250 cl::opt<llvm::JumpTable::JumpTableType>
251 JTableType("jump-table-type",
252 cl::desc("Choose the type of Jump-Instruction Table for jumptable."),
253 cl::init(JumpTable::Single),
254 cl::values(
255 clEnumValN(JumpTable::Single, "single",
256 "Create a single table for all jumptable functions"),
257 clEnumValN(JumpTable::Arity, "arity",
258 "Create one table per number of parameters."),
259 clEnumValN(JumpTable::Simplified, "simplified",
260 "Create one table per simplified function type."),
261 clEnumValN(JumpTable::Full, "full",
262 "Create one table per unique function type."),
263 clEnumValEnd));
264
265 cl::opt<llvm::EABI> EABIVersion(
266 "meabi", cl::desc("Set EABI type (default depends on triple):"),
267 cl::init(EABI::Default),
268 cl::values(clEnumValN(EABI::Default, "default",
269 "Triple default EABI version"),
270 clEnumValN(EABI::EABI4, "4", "EABI version 4"),
271 clEnumValN(EABI::EABI5, "5", "EABI version 5"),
272 clEnumValN(EABI::GNU, "gnu", "EABI GNU"), clEnumValEnd));
273
274 cl::opt<DebuggerKind>
275 DebuggerTuningOpt("debugger-tune",
276 cl::desc("Tune debug info for a particular debugger"),
277 cl::init(DebuggerKind::Default),
278 cl::values(
279 clEnumValN(DebuggerKind::GDB, "gdb", "gdb"),
280 clEnumValN(DebuggerKind::LLDB, "lldb", "lldb"),
281 clEnumValN(DebuggerKind::SCE, "sce",
282 "SCE targets (e.g. PS4)"),
283 clEnumValEnd));
284
285 // Common utility function tightly tied to the options listed here. Initializes
286 // a TargetOptions object with CodeGen flags and returns it.
InitTargetOptionsFromCodeGenFlags()287 static inline TargetOptions InitTargetOptionsFromCodeGenFlags() {
288 TargetOptions Options;
289 Options.LessPreciseFPMADOption = EnableFPMAD;
290 Options.AllowFPOpFusion = FuseFPOps;
291 Options.Reciprocals = TargetRecip(ReciprocalOps);
292 Options.UnsafeFPMath = EnableUnsafeFPMath;
293 Options.NoInfsFPMath = EnableNoInfsFPMath;
294 Options.NoNaNsFPMath = EnableNoNaNsFPMath;
295 Options.HonorSignDependentRoundingFPMathOption =
296 EnableHonorSignDependentRoundingFPMath;
297 if (FloatABIForCalls != FloatABI::Default)
298 Options.FloatABIType = FloatABIForCalls;
299 Options.NoZerosInBSS = DontPlaceZerosInBSS;
300 Options.GuaranteedTailCallOpt = EnableGuaranteedTailCallOpt;
301 Options.StackAlignmentOverride = OverrideStackAlignment;
302 Options.StackSymbolOrdering = StackSymbolOrdering;
303 Options.UseInitArray = !UseCtors;
304 Options.DataSections = DataSections;
305 Options.FunctionSections = FunctionSections;
306 Options.UniqueSectionNames = UniqueSectionNames;
307 Options.EmulatedTLS = EmulatedTLS;
308 Options.ExceptionModel = ExceptionModel;
309
310 Options.MCOptions = InitMCTargetOptionsFromFlags();
311 Options.JTType = JTableType;
312
313 Options.ThreadModel = TMModel;
314 Options.EABIVersion = EABIVersion;
315 Options.DebuggerTuning = DebuggerTuningOpt;
316
317 return Options;
318 }
319
getCPUStr()320 static inline std::string getCPUStr() {
321 // If user asked for the 'native' CPU, autodetect here. If autodection fails,
322 // this will set the CPU to an empty string which tells the target to
323 // pick a basic default.
324 if (MCPU == "native")
325 return sys::getHostCPUName();
326
327 return MCPU;
328 }
329
getFeaturesStr()330 static inline std::string getFeaturesStr() {
331 SubtargetFeatures Features;
332
333 // If user asked for the 'native' CPU, we need to autodetect features.
334 // This is necessary for x86 where the CPU might not support all the
335 // features the autodetected CPU name lists in the target. For example,
336 // not all Sandybridge processors support AVX.
337 if (MCPU == "native") {
338 StringMap<bool> HostFeatures;
339 if (sys::getHostCPUFeatures(HostFeatures))
340 for (auto &F : HostFeatures)
341 Features.AddFeature(F.first(), F.second);
342 }
343
344 for (unsigned i = 0; i != MAttrs.size(); ++i)
345 Features.AddFeature(MAttrs[i]);
346
347 return Features.getString();
348 }
349
350 /// \brief Set function attributes of functions in Module M based on CPU,
351 /// Features, and command line flags.
setFunctionAttributes(StringRef CPU,StringRef Features,Module & M)352 static inline void setFunctionAttributes(StringRef CPU, StringRef Features,
353 Module &M) {
354 for (auto &F : M) {
355 auto &Ctx = F.getContext();
356 AttributeSet Attrs = F.getAttributes(), NewAttrs;
357
358 if (!CPU.empty())
359 NewAttrs = NewAttrs.addAttribute(Ctx, AttributeSet::FunctionIndex,
360 "target-cpu", CPU);
361
362 if (!Features.empty())
363 NewAttrs = NewAttrs.addAttribute(Ctx, AttributeSet::FunctionIndex,
364 "target-features", Features);
365
366 if (DisableFPElim.getNumOccurrences() > 0)
367 NewAttrs = NewAttrs.addAttribute(Ctx, AttributeSet::FunctionIndex,
368 "no-frame-pointer-elim",
369 DisableFPElim ? "true" : "false");
370
371 if (DisableTailCalls.getNumOccurrences() > 0)
372 NewAttrs = NewAttrs.addAttribute(Ctx, AttributeSet::FunctionIndex,
373 "disable-tail-calls",
374 toStringRef(DisableTailCalls));
375
376 if (StackRealign)
377 NewAttrs = NewAttrs.addAttribute(Ctx, AttributeSet::FunctionIndex,
378 "stackrealign");
379
380 if (TrapFuncName.getNumOccurrences() > 0)
381 for (auto &B : F)
382 for (auto &I : B)
383 if (auto *Call = dyn_cast<CallInst>(&I))
384 if (const auto *F = Call->getCalledFunction())
385 if (F->getIntrinsicID() == Intrinsic::debugtrap ||
386 F->getIntrinsicID() == Intrinsic::trap)
387 Call->addAttribute(llvm::AttributeSet::FunctionIndex,
388 "trap-func-name", TrapFuncName);
389
390 // Let NewAttrs override Attrs.
391 NewAttrs = Attrs.addAttributes(Ctx, AttributeSet::FunctionIndex, NewAttrs);
392 F.setAttributes(NewAttrs);
393 }
394 }
395
396 #endif
397