blob: 12fc1df8d9b7816211e7be0371767adf1af30f9c [file] [log] [blame]
serge-sans-pailleac1d23e2020-03-04 00:47:43 +01001//===-- CommandFlags.cpp - Command Line Flags Interface ---------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains codegen-specific flags that are shared between different
10// command line tools. The tools "llc" and "opt" both use this file to prevent
11// flag duplication.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/CodeGen/CommandFlags.h"
16
17using namespace llvm;
18
19#define CGOPT(TY, NAME) \
20 static cl::opt<TY> *NAME##View; \
21 TY codegen::get##NAME() { \
22 assert(NAME##View && "RegisterCodeGenFlags not created."); \
23 return *NAME##View; \
24 }
25
26#define CGLIST(TY, NAME) \
27 static cl::list<TY> *NAME##View; \
28 std::vector<TY> codegen::get##NAME() { \
29 assert(NAME##View && "RegisterCodeGenFlags not created."); \
30 return *NAME##View; \
31 }
32
33#define CGOPT_EXP(TY, NAME) \
34 CGOPT(TY, NAME) \
35 Optional<TY> codegen::getExplicit##NAME() { \
36 if (NAME##View->getNumOccurrences()) { \
37 TY res = *NAME##View; \
38 return res; \
39 } \
40 return None; \
41 }
42
43CGOPT(std::string, MArch)
44CGOPT(std::string, MCPU)
45CGLIST(std::string, MAttrs)
46CGOPT_EXP(Reloc::Model, RelocModel)
47CGOPT(ThreadModel::Model, ThreadModel)
48CGOPT_EXP(CodeModel::Model, CodeModel)
49CGOPT(ExceptionHandling, ExceptionModel)
50CGOPT_EXP(CodeGenFileType, FileType)
51CGOPT(FramePointer::FP, FramePointerUsage)
52CGOPT(bool, EnableUnsafeFPMath)
53CGOPT(bool, EnableNoInfsFPMath)
54CGOPT(bool, EnableNoNaNsFPMath)
55CGOPT(bool, EnableNoSignedZerosFPMath)
56CGOPT(bool, EnableNoTrappingFPMath)
Matt Arsenault0ab5b5b2020-03-11 17:12:20 -040057CGOPT(DenormalMode::DenormalModeKind, DenormalFPMath)
Matt Arsenaulta8cc9042019-12-04 14:34:14 +053058CGOPT(DenormalMode::DenormalModeKind, DenormalFP32Math)
serge-sans-pailleac1d23e2020-03-04 00:47:43 +010059CGOPT(bool, EnableHonorSignDependentRoundingFPMath)
60CGOPT(FloatABI::ABIType, FloatABIForCalls)
61CGOPT(FPOpFusion::FPOpFusionMode, FuseFPOps)
62CGOPT(bool, DontPlaceZerosInBSS)
63CGOPT(bool, EnableGuaranteedTailCallOpt)
64CGOPT(bool, DisableTailCalls)
65CGOPT(bool, StackSymbolOrdering)
66CGOPT(unsigned, OverrideStackAlignment)
67CGOPT(bool, StackRealign)
68CGOPT(std::string, TrapFuncName)
69CGOPT(bool, UseCtors)
70CGOPT(bool, RelaxELFRelocations)
71CGOPT_EXP(bool, DataSections)
72CGOPT_EXP(bool, FunctionSections)
73CGOPT(std::string, BBSections)
74CGOPT(unsigned, TLSSize)
75CGOPT(bool, EmulatedTLS)
76CGOPT(bool, UniqueSectionNames)
77CGOPT(bool, UniqueBBSectionNames)
78CGOPT(EABI, EABIVersion)
79CGOPT(DebuggerKind, DebuggerTuningOpt)
80CGOPT(bool, EnableStackSizeSection)
81CGOPT(bool, EnableAddrsig)
82CGOPT(bool, EmitCallSiteInfo)
83CGOPT(bool, EnableDebugEntryValues)
84CGOPT(bool, ForceDwarfFrameSection)
85
86codegen::RegisterCodeGenFlags::RegisterCodeGenFlags() {
87#define CGBINDOPT(NAME) \
88 do { \
89 NAME##View = std::addressof(NAME); \
90 } while (0)
91
92 static cl::opt<std::string> MArch(
93 "march", cl::desc("Architecture to generate code for (see --version)"));
94 CGBINDOPT(MArch);
95
96 static cl::opt<std::string> MCPU(
97 "mcpu", cl::desc("Target a specific cpu type (-mcpu=help for details)"),
98 cl::value_desc("cpu-name"), cl::init(""));
99 CGBINDOPT(MCPU);
100
101 static cl::list<std::string> MAttrs(
102 "mattr", cl::CommaSeparated,
103 cl::desc("Target specific attributes (-mattr=help for details)"),
104 cl::value_desc("a1,+a2,-a3,..."));
105 CGBINDOPT(MAttrs);
106
107 static cl::opt<Reloc::Model> RelocModel(
108 "relocation-model", cl::desc("Choose relocation model"),
109 cl::values(
110 clEnumValN(Reloc::Static, "static", "Non-relocatable code"),
111 clEnumValN(Reloc::PIC_, "pic",
112 "Fully relocatable, position independent code"),
113 clEnumValN(Reloc::DynamicNoPIC, "dynamic-no-pic",
114 "Relocatable external references, non-relocatable code"),
115 clEnumValN(
116 Reloc::ROPI, "ropi",
117 "Code and read-only data relocatable, accessed PC-relative"),
118 clEnumValN(
119 Reloc::RWPI, "rwpi",
120 "Read-write data relocatable, accessed relative to static base"),
121 clEnumValN(Reloc::ROPI_RWPI, "ropi-rwpi",
122 "Combination of ropi and rwpi")));
123 CGBINDOPT(RelocModel);
124
125 static cl::opt<ThreadModel::Model> ThreadModel(
126 "thread-model", cl::desc("Choose threading model"),
127 cl::init(ThreadModel::POSIX),
128 cl::values(
129 clEnumValN(ThreadModel::POSIX, "posix", "POSIX thread model"),
130 clEnumValN(ThreadModel::Single, "single", "Single thread model")));
131 CGBINDOPT(ThreadModel);
132
133 static cl::opt<CodeModel::Model> CodeModel(
134 "code-model", cl::desc("Choose code model"),
135 cl::values(clEnumValN(CodeModel::Tiny, "tiny", "Tiny code model"),
136 clEnumValN(CodeModel::Small, "small", "Small code model"),
137 clEnumValN(CodeModel::Kernel, "kernel", "Kernel code model"),
138 clEnumValN(CodeModel::Medium, "medium", "Medium code model"),
139 clEnumValN(CodeModel::Large, "large", "Large code model")));
140 CGBINDOPT(CodeModel);
141
142 static cl::opt<ExceptionHandling> ExceptionModel(
143 "exception-model", cl::desc("exception model"),
144 cl::init(ExceptionHandling::None),
145 cl::values(
146 clEnumValN(ExceptionHandling::None, "default",
147 "default exception handling model"),
148 clEnumValN(ExceptionHandling::DwarfCFI, "dwarf",
149 "DWARF-like CFI based exception handling"),
150 clEnumValN(ExceptionHandling::SjLj, "sjlj",
151 "SjLj exception handling"),
152 clEnumValN(ExceptionHandling::ARM, "arm", "ARM EHABI exceptions"),
153 clEnumValN(ExceptionHandling::WinEH, "wineh",
154 "Windows exception model"),
155 clEnumValN(ExceptionHandling::Wasm, "wasm",
156 "WebAssembly exception handling")));
157 CGBINDOPT(ExceptionModel);
158
159 static cl::opt<CodeGenFileType> FileType(
160 "filetype", cl::init(CGFT_AssemblyFile),
161 cl::desc(
162 "Choose a file type (not all types are supported by all targets):"),
163 cl::values(
164 clEnumValN(CGFT_AssemblyFile, "asm", "Emit an assembly ('.s') file"),
165 clEnumValN(CGFT_ObjectFile, "obj",
166 "Emit a native object ('.o') file"),
167 clEnumValN(CGFT_Null, "null",
168 "Emit nothing, for performance testing")));
169 CGBINDOPT(FileType);
170
171 static cl::opt<FramePointer::FP> FramePointerUsage(
172 "frame-pointer",
173 cl::desc("Specify frame pointer elimination optimization"),
174 cl::init(FramePointer::None),
175 cl::values(
176 clEnumValN(FramePointer::All, "all",
177 "Disable frame pointer elimination"),
178 clEnumValN(FramePointer::NonLeaf, "non-leaf",
179 "Disable frame pointer elimination for non-leaf frame"),
180 clEnumValN(FramePointer::None, "none",
181 "Enable frame pointer elimination")));
182 CGBINDOPT(FramePointerUsage);
183
184 static cl::opt<bool> EnableUnsafeFPMath(
185 "enable-unsafe-fp-math",
186 cl::desc("Enable optimizations that may decrease FP precision"),
187 cl::init(false));
188 CGBINDOPT(EnableUnsafeFPMath);
189
190 static cl::opt<bool> EnableNoInfsFPMath(
191 "enable-no-infs-fp-math",
192 cl::desc("Enable FP math optimizations that assume no +-Infs"),
193 cl::init(false));
194 CGBINDOPT(EnableNoInfsFPMath);
195
196 static cl::opt<bool> EnableNoNaNsFPMath(
197 "enable-no-nans-fp-math",
198 cl::desc("Enable FP math optimizations that assume no NaNs"),
199 cl::init(false));
200 CGBINDOPT(EnableNoNaNsFPMath);
201
202 static cl::opt<bool> EnableNoSignedZerosFPMath(
203 "enable-no-signed-zeros-fp-math",
204 cl::desc("Enable FP math optimizations that assume "
205 "the sign of 0 is insignificant"),
206 cl::init(false));
207 CGBINDOPT(EnableNoSignedZerosFPMath);
208
209 static cl::opt<bool> EnableNoTrappingFPMath(
210 "enable-no-trapping-fp-math",
211 cl::desc("Enable setting the FP exceptions build "
212 "attribute not to use exceptions"),
213 cl::init(false));
214 CGBINDOPT(EnableNoTrappingFPMath);
215
Matt Arsenaulta8cc9042019-12-04 14:34:14 +0530216 static const auto DenormFlagEnumOptions =
217 cl::values(clEnumValN(DenormalMode::IEEE, "ieee",
218 "IEEE 754 denormal numbers"),
219 clEnumValN(DenormalMode::PreserveSign, "preserve-sign",
220 "the sign of a flushed-to-zero number is preserved "
221 "in the sign of 0"),
222 clEnumValN(DenormalMode::PositiveZero, "positive-zero",
223 "denormals are flushed to positive zero"));
224
225 // FIXME: Doesn't have way to specify separate input and output modes.
Matt Arsenault0ab5b5b2020-03-11 17:12:20 -0400226 static cl::opt<DenormalMode::DenormalModeKind> DenormalFPMath(
Matt Arsenaulta8cc9042019-12-04 14:34:14 +0530227 "denormal-fp-math",
228 cl::desc("Select which denormal numbers the code is permitted to require"),
229 cl::init(DenormalMode::IEEE),
230 DenormFlagEnumOptions);
serge-sans-pailleac1d23e2020-03-04 00:47:43 +0100231 CGBINDOPT(DenormalFPMath);
232
Matt Arsenaulta8cc9042019-12-04 14:34:14 +0530233 static cl::opt<DenormalMode::DenormalModeKind> DenormalFP32Math(
234 "denormal-fp-math-f32",
235 cl::desc("Select which denormal numbers the code is permitted to require for float"),
236 cl::init(DenormalMode::Invalid),
237 DenormFlagEnumOptions);
238 CGBINDOPT(DenormalFP32Math);
239
serge-sans-pailleac1d23e2020-03-04 00:47:43 +0100240 static cl::opt<bool> EnableHonorSignDependentRoundingFPMath(
241 "enable-sign-dependent-rounding-fp-math", cl::Hidden,
242 cl::desc("Force codegen to assume rounding mode can change dynamically"),
243 cl::init(false));
244 CGBINDOPT(EnableHonorSignDependentRoundingFPMath);
245
246 static cl::opt<FloatABI::ABIType> FloatABIForCalls(
247 "float-abi", cl::desc("Choose float ABI type"),
248 cl::init(FloatABI::Default),
249 cl::values(clEnumValN(FloatABI::Default, "default",
250 "Target default float ABI type"),
251 clEnumValN(FloatABI::Soft, "soft",
252 "Soft float ABI (implied by -soft-float)"),
253 clEnumValN(FloatABI::Hard, "hard",
254 "Hard float ABI (uses FP registers)")));
255 CGBINDOPT(FloatABIForCalls);
256
257 static cl::opt<FPOpFusion::FPOpFusionMode> FuseFPOps(
258 "fp-contract", cl::desc("Enable aggressive formation of fused FP ops"),
259 cl::init(FPOpFusion::Standard),
260 cl::values(
261 clEnumValN(FPOpFusion::Fast, "fast",
262 "Fuse FP ops whenever profitable"),
263 clEnumValN(FPOpFusion::Standard, "on", "Only fuse 'blessed' FP ops."),
264 clEnumValN(FPOpFusion::Strict, "off",
265 "Only fuse FP ops when the result won't be affected.")));
266 CGBINDOPT(FuseFPOps);
267
268 static cl::opt<bool> DontPlaceZerosInBSS(
269 "nozero-initialized-in-bss",
270 cl::desc("Don't place zero-initialized symbols into bss section"),
271 cl::init(false));
272 CGBINDOPT(DontPlaceZerosInBSS);
273
274 static cl::opt<bool> EnableGuaranteedTailCallOpt(
275 "tailcallopt",
276 cl::desc(
277 "Turn fastcc calls into tail calls by (potentially) changing ABI."),
278 cl::init(false));
279 CGBINDOPT(EnableGuaranteedTailCallOpt);
280
281 static cl::opt<bool> DisableTailCalls(
282 "disable-tail-calls", cl::desc("Never emit tail calls"), cl::init(false));
283 CGBINDOPT(DisableTailCalls);
284
285 static cl::opt<bool> StackSymbolOrdering(
286 "stack-symbol-ordering", cl::desc("Order local stack symbols."),
287 cl::init(true));
288 CGBINDOPT(StackSymbolOrdering);
289
290 static cl::opt<unsigned> OverrideStackAlignment(
291 "stack-alignment", cl::desc("Override default stack alignment"),
292 cl::init(0));
293 CGBINDOPT(OverrideStackAlignment);
294
295 static cl::opt<bool> StackRealign(
296 "stackrealign",
297 cl::desc("Force align the stack to the minimum alignment"),
298 cl::init(false));
299 CGBINDOPT(StackRealign);
300
301 static cl::opt<std::string> TrapFuncName(
302 "trap-func", cl::Hidden,
303 cl::desc("Emit a call to trap function rather than a trap instruction"),
304 cl::init(""));
305 CGBINDOPT(TrapFuncName);
306
307 static cl::opt<bool> UseCtors("use-ctors",
308 cl::desc("Use .ctors instead of .init_array."),
309 cl::init(false));
310 CGBINDOPT(UseCtors);
311
312 static cl::opt<bool> RelaxELFRelocations(
313 "relax-elf-relocations",
314 cl::desc(
315 "Emit GOTPCRELX/REX_GOTPCRELX instead of GOTPCREL on x86-64 ELF"),
316 cl::init(false));
317 CGBINDOPT(RelaxELFRelocations);
318
319 static cl::opt<bool> DataSections(
320 "data-sections", cl::desc("Emit data into separate sections"),
321 cl::init(false));
322 CGBINDOPT(DataSections);
323
324 static cl::opt<bool> FunctionSections(
325 "function-sections", cl::desc("Emit functions into separate sections"),
326 cl::init(false));
327 CGBINDOPT(FunctionSections);
328
329 static cl::opt<std::string> BBSections(
330 "basicblock-sections",
331 cl::desc("Emit basic blocks into separate sections"),
332 cl::value_desc("all | <function list (file)> | labels | none"),
333 cl::init("none"));
334 CGBINDOPT(BBSections);
335
336 static cl::opt<unsigned> TLSSize(
337 "tls-size", cl::desc("Bit size of immediate TLS offsets"), cl::init(0));
338 CGBINDOPT(TLSSize);
339
340 static cl::opt<bool> EmulatedTLS(
341 "emulated-tls", cl::desc("Use emulated TLS model"), cl::init(false));
342 CGBINDOPT(EmulatedTLS);
343
344 static cl::opt<bool> UniqueSectionNames(
345 "unique-section-names", cl::desc("Give unique names to every section"),
346 cl::init(true));
347 CGBINDOPT(UniqueSectionNames);
348
349 static cl::opt<bool> UniqueBBSectionNames(
350 "unique-bb-section-names",
351 cl::desc("Give unique names to every basic block section"),
352 cl::init(false));
353 CGBINDOPT(UniqueBBSectionNames);
354
355 static cl::opt<EABI> EABIVersion(
356 "meabi", cl::desc("Set EABI type (default depends on triple):"),
357 cl::init(EABI::Default),
358 cl::values(
359 clEnumValN(EABI::Default, "default", "Triple default EABI version"),
360 clEnumValN(EABI::EABI4, "4", "EABI version 4"),
361 clEnumValN(EABI::EABI5, "5", "EABI version 5"),
362 clEnumValN(EABI::GNU, "gnu", "EABI GNU")));
363 CGBINDOPT(EABIVersion);
364
365 static cl::opt<DebuggerKind> DebuggerTuningOpt(
366 "debugger-tune", cl::desc("Tune debug info for a particular debugger"),
367 cl::init(DebuggerKind::Default),
368 cl::values(
369 clEnumValN(DebuggerKind::GDB, "gdb", "gdb"),
370 clEnumValN(DebuggerKind::LLDB, "lldb", "lldb"),
371 clEnumValN(DebuggerKind::SCE, "sce", "SCE targets (e.g. PS4)")));
372 CGBINDOPT(DebuggerTuningOpt);
373
374 static cl::opt<bool> EnableStackSizeSection(
375 "stack-size-section",
376 cl::desc("Emit a section containing stack size metadata"),
377 cl::init(false));
378 CGBINDOPT(EnableStackSizeSection);
379
380 static cl::opt<bool> EnableAddrsig(
381 "addrsig", cl::desc("Emit an address-significance table"),
382 cl::init(false));
383 CGBINDOPT(EnableAddrsig);
384
385 static cl::opt<bool> EmitCallSiteInfo(
386 "emit-call-site-info",
387 cl::desc(
388 "Emit call site debug information, if debug information is enabled."),
389 cl::init(false));
390 CGBINDOPT(EmitCallSiteInfo);
391
392 static cl::opt<bool> EnableDebugEntryValues(
393 "debug-entry-values",
Djordje Todorovicd9b96212020-03-19 12:13:18 +0100394 cl::desc("Enable debug info for the debug entry values."),
serge-sans-pailleac1d23e2020-03-04 00:47:43 +0100395 cl::init(false));
396 CGBINDOPT(EnableDebugEntryValues);
397
398 static cl::opt<bool> ForceDwarfFrameSection(
399 "force-dwarf-frame-section",
400 cl::desc("Always emit a debug frame section."), cl::init(false));
401 CGBINDOPT(ForceDwarfFrameSection);
402
403#undef CGBINDOPT
404
405 mc::RegisterMCTargetOptionsFlags();
406}
407
408llvm::BasicBlockSection
409codegen::getBBSectionsMode(llvm::TargetOptions &Options) {
410 if (getBBSections() == "all")
411 return BasicBlockSection::All;
412 else if (getBBSections() == "labels")
413 return BasicBlockSection::Labels;
414 else if (getBBSections() == "none")
415 return BasicBlockSection::None;
416 else {
417 ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr =
418 MemoryBuffer::getFile(getBBSections());
419 if (!MBOrErr) {
420 errs() << "Error loading basic block sections function list file: "
421 << MBOrErr.getError().message() << "\n";
422 } else {
423 Options.BBSectionsFuncListBuf = std::move(*MBOrErr);
424 }
425 return BasicBlockSection::List;
426 }
427}
428
429// Common utility function tightly tied to the options listed here. Initializes
430// a TargetOptions object with CodeGen flags and returns it.
431TargetOptions codegen::InitTargetOptionsFromCodeGenFlags() {
432 TargetOptions Options;
433 Options.AllowFPOpFusion = getFuseFPOps();
434 Options.UnsafeFPMath = getEnableUnsafeFPMath();
435 Options.NoInfsFPMath = getEnableNoInfsFPMath();
436 Options.NoNaNsFPMath = getEnableNoNaNsFPMath();
437 Options.NoSignedZerosFPMath = getEnableNoSignedZerosFPMath();
438 Options.NoTrappingFPMath = getEnableNoTrappingFPMath();
Matt Arsenault0ab5b5b2020-03-11 17:12:20 -0400439
440 DenormalMode::DenormalModeKind DenormKind = getDenormalFPMath();
441
442 // FIXME: Should have separate input and output flags
443 Options.setFPDenormalMode(DenormalMode(DenormKind, DenormKind));
444
serge-sans-pailleac1d23e2020-03-04 00:47:43 +0100445 Options.HonorSignDependentRoundingFPMathOption =
446 getEnableHonorSignDependentRoundingFPMath();
447 if (getFloatABIForCalls() != FloatABI::Default)
448 Options.FloatABIType = getFloatABIForCalls();
449 Options.NoZerosInBSS = getDontPlaceZerosInBSS();
450 Options.GuaranteedTailCallOpt = getEnableGuaranteedTailCallOpt();
451 Options.StackAlignmentOverride = getOverrideStackAlignment();
452 Options.StackSymbolOrdering = getStackSymbolOrdering();
453 Options.UseInitArray = !getUseCtors();
454 Options.RelaxELFRelocations = getRelaxELFRelocations();
455 Options.DataSections = getDataSections();
456 Options.FunctionSections = getFunctionSections();
457 Options.BBSections = getBBSectionsMode(Options);
458 Options.UniqueSectionNames = getUniqueSectionNames();
459 Options.UniqueBBSectionNames = getUniqueBBSectionNames();
460 Options.TLSSize = getTLSSize();
461 Options.EmulatedTLS = getEmulatedTLS();
462 Options.ExplicitEmulatedTLS = EmulatedTLSView->getNumOccurrences() > 0;
463 Options.ExceptionModel = getExceptionModel();
464 Options.EmitStackSizeSection = getEnableStackSizeSection();
465 Options.EmitAddrsig = getEnableAddrsig();
466 Options.EmitCallSiteInfo = getEmitCallSiteInfo();
467 Options.EnableDebugEntryValues = getEnableDebugEntryValues();
468 Options.ForceDwarfFrameSection = getForceDwarfFrameSection();
469
470 Options.MCOptions = mc::InitMCTargetOptionsFromFlags();
471
472 Options.ThreadModel = getThreadModel();
473 Options.EABIVersion = getEABIVersion();
474 Options.DebuggerTuning = getDebuggerTuningOpt();
475
476 return Options;
477}
478
479std::string codegen::getCPUStr() {
480 // If user asked for the 'native' CPU, autodetect here. If autodection fails,
481 // this will set the CPU to an empty string which tells the target to
482 // pick a basic default.
483 if (getMCPU() == "native")
484 return std::string(sys::getHostCPUName());
485
486 return getMCPU();
487}
488
489std::string codegen::getFeaturesStr() {
490 SubtargetFeatures Features;
491
492 // If user asked for the 'native' CPU, we need to autodetect features.
493 // This is necessary for x86 where the CPU might not support all the
494 // features the autodetected CPU name lists in the target. For example,
495 // not all Sandybridge processors support AVX.
496 if (getMCPU() == "native") {
497 StringMap<bool> HostFeatures;
498 if (sys::getHostCPUFeatures(HostFeatures))
499 for (auto &F : HostFeatures)
500 Features.AddFeature(F.first(), F.second);
501 }
502
503 for (auto const &MAttr : getMAttrs())
504 Features.AddFeature(MAttr);
505
506 return Features.getString();
507}
508
509std::vector<std::string> codegen::getFeatureList() {
510 SubtargetFeatures Features;
511
512 // If user asked for the 'native' CPU, we need to autodetect features.
513 // This is necessary for x86 where the CPU might not support all the
514 // features the autodetected CPU name lists in the target. For example,
515 // not all Sandybridge processors support AVX.
516 if (getMCPU() == "native") {
517 StringMap<bool> HostFeatures;
518 if (sys::getHostCPUFeatures(HostFeatures))
519 for (auto &F : HostFeatures)
520 Features.AddFeature(F.first(), F.second);
521 }
522
523 for (auto const &MAttr : getMAttrs())
524 Features.AddFeature(MAttr);
525
526 return Features.getFeatures();
527}
528
529void codegen::renderBoolStringAttr(AttrBuilder &B, StringRef Name, bool Val) {
530 B.addAttribute(Name, Val ? "true" : "false");
531}
532
533#define HANDLE_BOOL_ATTR(CL, AttrName) \
534 do { \
535 if (CL->getNumOccurrences() > 0 && !F.hasFnAttribute(AttrName)) \
536 renderBoolStringAttr(NewAttrs, AttrName, *CL); \
537 } while (0)
538
539/// Set function attributes of function \p F based on CPU, Features, and command
540/// line flags.
541void codegen::setFunctionAttributes(StringRef CPU, StringRef Features,
542 Function &F) {
543 auto &Ctx = F.getContext();
544 AttributeList Attrs = F.getAttributes();
545 AttrBuilder NewAttrs;
546
547 if (!CPU.empty() && !F.hasFnAttribute("target-cpu"))
548 NewAttrs.addAttribute("target-cpu", CPU);
549 if (!Features.empty()) {
550 // Append the command line features to any that are already on the function.
551 StringRef OldFeatures =
552 F.getFnAttribute("target-features").getValueAsString();
553 if (OldFeatures.empty())
554 NewAttrs.addAttribute("target-features", Features);
555 else {
556 SmallString<256> Appended(OldFeatures);
557 Appended.push_back(',');
558 Appended.append(Features);
559 NewAttrs.addAttribute("target-features", Appended);
560 }
561 }
562 if (FramePointerUsageView->getNumOccurrences() > 0 &&
563 !F.hasFnAttribute("frame-pointer")) {
564 if (getFramePointerUsage() == FramePointer::All)
565 NewAttrs.addAttribute("frame-pointer", "all");
566 else if (getFramePointerUsage() == FramePointer::NonLeaf)
567 NewAttrs.addAttribute("frame-pointer", "non-leaf");
568 else if (getFramePointerUsage() == FramePointer::None)
569 NewAttrs.addAttribute("frame-pointer", "none");
570 }
571 if (DisableTailCallsView->getNumOccurrences() > 0)
572 NewAttrs.addAttribute("disable-tail-calls",
573 toStringRef(getDisableTailCalls()));
574 if (getStackRealign())
575 NewAttrs.addAttribute("stackrealign");
576
577 HANDLE_BOOL_ATTR(EnableUnsafeFPMathView, "unsafe-fp-math");
578 HANDLE_BOOL_ATTR(EnableNoInfsFPMathView, "no-infs-fp-math");
579 HANDLE_BOOL_ATTR(EnableNoNaNsFPMathView, "no-nans-fp-math");
580 HANDLE_BOOL_ATTR(EnableNoSignedZerosFPMathView, "no-signed-zeros-fp-math");
581
Matt Arsenault0ab5b5b2020-03-11 17:12:20 -0400582 if (DenormalFPMathView->getNumOccurrences() > 0 &&
583 !F.hasFnAttribute("denormal-fp-math")) {
584 DenormalMode::DenormalModeKind DenormKind = getDenormalFPMath();
585
586 // FIXME: Command line flag should expose separate input/output modes.
587 NewAttrs.addAttribute("denormal-fp-math",
588 DenormalMode(DenormKind, DenormKind).str());
589 }
590
Matt Arsenaulta8cc9042019-12-04 14:34:14 +0530591 if (DenormalFP32MathView->getNumOccurrences() > 0 &&
592 !F.hasFnAttribute("denormal-fp-math-f32")) {
593 // FIXME: Command line flag should expose separate input/output modes.
594 DenormalMode::DenormalModeKind DenormKind = getDenormalFP32Math();
595
596 NewAttrs.addAttribute(
597 "denormal-fp-math-f32",
598 DenormalMode(DenormKind, DenormKind).str());
599 }
600
serge-sans-pailleac1d23e2020-03-04 00:47:43 +0100601 if (TrapFuncNameView->getNumOccurrences() > 0)
602 for (auto &B : F)
603 for (auto &I : B)
604 if (auto *Call = dyn_cast<CallInst>(&I))
605 if (const auto *F = Call->getCalledFunction())
606 if (F->getIntrinsicID() == Intrinsic::debugtrap ||
607 F->getIntrinsicID() == Intrinsic::trap)
608 Call->addAttribute(
609 AttributeList::FunctionIndex,
610 Attribute::get(Ctx, "trap-func-name", getTrapFuncName()));
611
612 // Let NewAttrs override Attrs.
613 F.setAttributes(
614 Attrs.addAttributes(Ctx, AttributeList::FunctionIndex, NewAttrs));
615}
616
617/// Set function attributes of functions in Module M based on CPU,
618/// Features, and command line flags.
619void codegen::setFunctionAttributes(StringRef CPU, StringRef Features,
620 Module &M) {
621 for (Function &F : M)
622 setFunctionAttributes(CPU, Features, F);
623}