1ac1d23edSserge-sans-paille //===-- CommandFlags.cpp - Command Line Flags Interface ---------*- C++ -*-===// 2ac1d23edSserge-sans-paille // 3ac1d23edSserge-sans-paille // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4ac1d23edSserge-sans-paille // See https://llvm.org/LICENSE.txt for license information. 5ac1d23edSserge-sans-paille // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6ac1d23edSserge-sans-paille // 7ac1d23edSserge-sans-paille //===----------------------------------------------------------------------===// 8ac1d23edSserge-sans-paille // 9ac1d23edSserge-sans-paille // This file contains codegen-specific flags that are shared between different 10ac1d23edSserge-sans-paille // command line tools. The tools "llc" and "opt" both use this file to prevent 11ac1d23edSserge-sans-paille // flag duplication. 12ac1d23edSserge-sans-paille // 13ac1d23edSserge-sans-paille //===----------------------------------------------------------------------===// 14ac1d23edSserge-sans-paille 15ac1d23edSserge-sans-paille #include "llvm/CodeGen/CommandFlags.h" 16*989f1c72Sserge-sans-paille #include "llvm/ADT/StringExtras.h" 17*989f1c72Sserge-sans-paille #include "llvm/ADT/Triple.h" 18*989f1c72Sserge-sans-paille #include "llvm/IR/Instructions.h" 19*989f1c72Sserge-sans-paille #include "llvm/IR/Intrinsics.h" 20d9b9ce6cSSimon Pilgrim #include "llvm/IR/Module.h" 21*989f1c72Sserge-sans-paille #include "llvm/MC/MCTargetOptionsCommandFlags.h" 22d9b9ce6cSSimon Pilgrim #include "llvm/MC/SubtargetFeature.h" 23d9b9ce6cSSimon Pilgrim #include "llvm/Support/CommandLine.h" 24d9b9ce6cSSimon Pilgrim #include "llvm/Support/Host.h" 25ba7a92c0SNico Weber #include "llvm/Support/MemoryBuffer.h" 26ac1d23edSserge-sans-paille 27ac1d23edSserge-sans-paille using namespace llvm; 28ac1d23edSserge-sans-paille 29ac1d23edSserge-sans-paille #define CGOPT(TY, NAME) \ 30ac1d23edSserge-sans-paille static cl::opt<TY> *NAME##View; \ 31ac1d23edSserge-sans-paille TY codegen::get##NAME() { \ 32ac1d23edSserge-sans-paille assert(NAME##View && "RegisterCodeGenFlags not created."); \ 33ac1d23edSserge-sans-paille return *NAME##View; \ 34ac1d23edSserge-sans-paille } 35ac1d23edSserge-sans-paille 36ac1d23edSserge-sans-paille #define CGLIST(TY, NAME) \ 37ac1d23edSserge-sans-paille static cl::list<TY> *NAME##View; \ 38ac1d23edSserge-sans-paille std::vector<TY> codegen::get##NAME() { \ 39ac1d23edSserge-sans-paille assert(NAME##View && "RegisterCodeGenFlags not created."); \ 40ac1d23edSserge-sans-paille return *NAME##View; \ 41ac1d23edSserge-sans-paille } 42ac1d23edSserge-sans-paille 43ac1d23edSserge-sans-paille #define CGOPT_EXP(TY, NAME) \ 44ac1d23edSserge-sans-paille CGOPT(TY, NAME) \ 45ac1d23edSserge-sans-paille Optional<TY> codegen::getExplicit##NAME() { \ 46ac1d23edSserge-sans-paille if (NAME##View->getNumOccurrences()) { \ 47ac1d23edSserge-sans-paille TY res = *NAME##View; \ 48ac1d23edSserge-sans-paille return res; \ 49ac1d23edSserge-sans-paille } \ 50ac1d23edSserge-sans-paille return None; \ 51ac1d23edSserge-sans-paille } 52ac1d23edSserge-sans-paille 53ac1d23edSserge-sans-paille CGOPT(std::string, MArch) 54ac1d23edSserge-sans-paille CGOPT(std::string, MCPU) 55ac1d23edSserge-sans-paille CGLIST(std::string, MAttrs) 56ac1d23edSserge-sans-paille CGOPT_EXP(Reloc::Model, RelocModel) 57ac1d23edSserge-sans-paille CGOPT(ThreadModel::Model, ThreadModel) 58ac1d23edSserge-sans-paille CGOPT_EXP(CodeModel::Model, CodeModel) 59ac1d23edSserge-sans-paille CGOPT(ExceptionHandling, ExceptionModel) 60ac1d23edSserge-sans-paille CGOPT_EXP(CodeGenFileType, FileType) 612786e673SFangrui Song CGOPT(FramePointerKind, FramePointerUsage) 62ac1d23edSserge-sans-paille CGOPT(bool, EnableUnsafeFPMath) 63ac1d23edSserge-sans-paille CGOPT(bool, EnableNoInfsFPMath) 64ac1d23edSserge-sans-paille CGOPT(bool, EnableNoNaNsFPMath) 65ac1d23edSserge-sans-paille CGOPT(bool, EnableNoSignedZerosFPMath) 66256d2533SMasoud Ataei CGOPT(bool, EnableApproxFuncFPMath) 67ac1d23edSserge-sans-paille CGOPT(bool, EnableNoTrappingFPMath) 68c92f29b0SZarko Todorovski CGOPT(bool, EnableAIXExtendedAltivecABI) 690ab5b5b8SMatt Arsenault CGOPT(DenormalMode::DenormalModeKind, DenormalFPMath) 70a8cc9047SMatt Arsenault CGOPT(DenormalMode::DenormalModeKind, DenormalFP32Math) 71ac1d23edSserge-sans-paille CGOPT(bool, EnableHonorSignDependentRoundingFPMath) 72ac1d23edSserge-sans-paille CGOPT(FloatABI::ABIType, FloatABIForCalls) 73ac1d23edSserge-sans-paille CGOPT(FPOpFusion::FPOpFusionMode, FuseFPOps) 74a773db7dSDoug Gregor CGOPT(SwiftAsyncFramePointerMode, SwiftAsyncFramePointer) 75ac1d23edSserge-sans-paille CGOPT(bool, DontPlaceZerosInBSS) 76ac1d23edSserge-sans-paille CGOPT(bool, EnableGuaranteedTailCallOpt) 77ac1d23edSserge-sans-paille CGOPT(bool, DisableTailCalls) 78ac1d23edSserge-sans-paille CGOPT(bool, StackSymbolOrdering) 79ac1d23edSserge-sans-paille CGOPT(bool, StackRealign) 80ac1d23edSserge-sans-paille CGOPT(std::string, TrapFuncName) 81ac1d23edSserge-sans-paille CGOPT(bool, UseCtors) 82ac1d23edSserge-sans-paille CGOPT(bool, RelaxELFRelocations) 83ac1d23edSserge-sans-paille CGOPT_EXP(bool, DataSections) 84ac1d23edSserge-sans-paille CGOPT_EXP(bool, FunctionSections) 8592bca128Sdiggerlin CGOPT(bool, IgnoreXCOFFVisibility) 86997d286fSdiggerlin CGOPT(bool, XCOFFTracebackTable) 87ac1d23edSserge-sans-paille CGOPT(std::string, BBSections) 88ac1d23edSserge-sans-paille CGOPT(unsigned, TLSSize) 89ac1d23edSserge-sans-paille CGOPT(bool, EmulatedTLS) 90ac1d23edSserge-sans-paille CGOPT(bool, UniqueSectionNames) 91e0bca46bSSriraman Tallam CGOPT(bool, UniqueBasicBlockSectionNames) 92ac1d23edSserge-sans-paille CGOPT(EABI, EABIVersion) 93ac1d23edSserge-sans-paille CGOPT(DebuggerKind, DebuggerTuningOpt) 94ac1d23edSserge-sans-paille CGOPT(bool, EnableStackSizeSection) 95ac1d23edSserge-sans-paille CGOPT(bool, EnableAddrsig) 96ac1d23edSserge-sans-paille CGOPT(bool, EmitCallSiteInfo) 9794faadacSSnehasish Kumar CGOPT(bool, EnableMachineFunctionSplitter) 98ac1d23edSserge-sans-paille CGOPT(bool, EnableDebugEntryValues) 99ac1d23edSserge-sans-paille CGOPT(bool, ForceDwarfFrameSection) 1007c7c8e0dSIan Levesque CGOPT(bool, XRayOmitFunctionIndex) 101a0ca4c46SChen Zheng CGOPT(bool, DebugStrictDwarf) 102a1944386SFangrui Song CGOPT(unsigned, AlignLoops) 103f9270214SYuanfang Chen CGOPT(bool, JMCInstrument) 104ac1d23edSserge-sans-paille 105ac1d23edSserge-sans-paille codegen::RegisterCodeGenFlags::RegisterCodeGenFlags() { 106ac1d23edSserge-sans-paille #define CGBINDOPT(NAME) \ 107ac1d23edSserge-sans-paille do { \ 108ac1d23edSserge-sans-paille NAME##View = std::addressof(NAME); \ 109ac1d23edSserge-sans-paille } while (0) 110ac1d23edSserge-sans-paille 111ac1d23edSserge-sans-paille static cl::opt<std::string> MArch( 112ac1d23edSserge-sans-paille "march", cl::desc("Architecture to generate code for (see --version)")); 113ac1d23edSserge-sans-paille CGBINDOPT(MArch); 114ac1d23edSserge-sans-paille 115ac1d23edSserge-sans-paille static cl::opt<std::string> MCPU( 116ac1d23edSserge-sans-paille "mcpu", cl::desc("Target a specific cpu type (-mcpu=help for details)"), 117ac1d23edSserge-sans-paille cl::value_desc("cpu-name"), cl::init("")); 118ac1d23edSserge-sans-paille CGBINDOPT(MCPU); 119ac1d23edSserge-sans-paille 120ac1d23edSserge-sans-paille static cl::list<std::string> MAttrs( 121ac1d23edSserge-sans-paille "mattr", cl::CommaSeparated, 122ac1d23edSserge-sans-paille cl::desc("Target specific attributes (-mattr=help for details)"), 123ac1d23edSserge-sans-paille cl::value_desc("a1,+a2,-a3,...")); 124ac1d23edSserge-sans-paille CGBINDOPT(MAttrs); 125ac1d23edSserge-sans-paille 126ac1d23edSserge-sans-paille static cl::opt<Reloc::Model> RelocModel( 127ac1d23edSserge-sans-paille "relocation-model", cl::desc("Choose relocation model"), 128ac1d23edSserge-sans-paille cl::values( 129ac1d23edSserge-sans-paille clEnumValN(Reloc::Static, "static", "Non-relocatable code"), 130ac1d23edSserge-sans-paille clEnumValN(Reloc::PIC_, "pic", 131ac1d23edSserge-sans-paille "Fully relocatable, position independent code"), 132ac1d23edSserge-sans-paille clEnumValN(Reloc::DynamicNoPIC, "dynamic-no-pic", 133ac1d23edSserge-sans-paille "Relocatable external references, non-relocatable code"), 134ac1d23edSserge-sans-paille clEnumValN( 135ac1d23edSserge-sans-paille Reloc::ROPI, "ropi", 136ac1d23edSserge-sans-paille "Code and read-only data relocatable, accessed PC-relative"), 137ac1d23edSserge-sans-paille clEnumValN( 138ac1d23edSserge-sans-paille Reloc::RWPI, "rwpi", 139ac1d23edSserge-sans-paille "Read-write data relocatable, accessed relative to static base"), 140ac1d23edSserge-sans-paille clEnumValN(Reloc::ROPI_RWPI, "ropi-rwpi", 141ac1d23edSserge-sans-paille "Combination of ropi and rwpi"))); 142ac1d23edSserge-sans-paille CGBINDOPT(RelocModel); 143ac1d23edSserge-sans-paille 144ac1d23edSserge-sans-paille static cl::opt<ThreadModel::Model> ThreadModel( 145ac1d23edSserge-sans-paille "thread-model", cl::desc("Choose threading model"), 146ac1d23edSserge-sans-paille cl::init(ThreadModel::POSIX), 147ac1d23edSserge-sans-paille cl::values( 148ac1d23edSserge-sans-paille clEnumValN(ThreadModel::POSIX, "posix", "POSIX thread model"), 149ac1d23edSserge-sans-paille clEnumValN(ThreadModel::Single, "single", "Single thread model"))); 150ac1d23edSserge-sans-paille CGBINDOPT(ThreadModel); 151ac1d23edSserge-sans-paille 152ac1d23edSserge-sans-paille static cl::opt<CodeModel::Model> CodeModel( 153ac1d23edSserge-sans-paille "code-model", cl::desc("Choose code model"), 154ac1d23edSserge-sans-paille cl::values(clEnumValN(CodeModel::Tiny, "tiny", "Tiny code model"), 155ac1d23edSserge-sans-paille clEnumValN(CodeModel::Small, "small", "Small code model"), 156ac1d23edSserge-sans-paille clEnumValN(CodeModel::Kernel, "kernel", "Kernel code model"), 157ac1d23edSserge-sans-paille clEnumValN(CodeModel::Medium, "medium", "Medium code model"), 158ac1d23edSserge-sans-paille clEnumValN(CodeModel::Large, "large", "Large code model"))); 159ac1d23edSserge-sans-paille CGBINDOPT(CodeModel); 160ac1d23edSserge-sans-paille 161ac1d23edSserge-sans-paille static cl::opt<ExceptionHandling> ExceptionModel( 162ac1d23edSserge-sans-paille "exception-model", cl::desc("exception model"), 163ac1d23edSserge-sans-paille cl::init(ExceptionHandling::None), 164ac1d23edSserge-sans-paille cl::values( 165ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::None, "default", 166ac1d23edSserge-sans-paille "default exception handling model"), 167ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::DwarfCFI, "dwarf", 168ac1d23edSserge-sans-paille "DWARF-like CFI based exception handling"), 169ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::SjLj, "sjlj", 170ac1d23edSserge-sans-paille "SjLj exception handling"), 171ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::ARM, "arm", "ARM EHABI exceptions"), 172ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::WinEH, "wineh", 173ac1d23edSserge-sans-paille "Windows exception model"), 174ac1d23edSserge-sans-paille clEnumValN(ExceptionHandling::Wasm, "wasm", 175ac1d23edSserge-sans-paille "WebAssembly exception handling"))); 176ac1d23edSserge-sans-paille CGBINDOPT(ExceptionModel); 177ac1d23edSserge-sans-paille 178ac1d23edSserge-sans-paille static cl::opt<CodeGenFileType> FileType( 179ac1d23edSserge-sans-paille "filetype", cl::init(CGFT_AssemblyFile), 180ac1d23edSserge-sans-paille cl::desc( 181ac1d23edSserge-sans-paille "Choose a file type (not all types are supported by all targets):"), 182ac1d23edSserge-sans-paille cl::values( 183ac1d23edSserge-sans-paille clEnumValN(CGFT_AssemblyFile, "asm", "Emit an assembly ('.s') file"), 184ac1d23edSserge-sans-paille clEnumValN(CGFT_ObjectFile, "obj", 185ac1d23edSserge-sans-paille "Emit a native object ('.o') file"), 186ac1d23edSserge-sans-paille clEnumValN(CGFT_Null, "null", 187ac1d23edSserge-sans-paille "Emit nothing, for performance testing"))); 188ac1d23edSserge-sans-paille CGBINDOPT(FileType); 189ac1d23edSserge-sans-paille 1902786e673SFangrui Song static cl::opt<FramePointerKind> FramePointerUsage( 191ac1d23edSserge-sans-paille "frame-pointer", 192ac1d23edSserge-sans-paille cl::desc("Specify frame pointer elimination optimization"), 1932786e673SFangrui Song cl::init(FramePointerKind::None), 194ac1d23edSserge-sans-paille cl::values( 1952786e673SFangrui Song clEnumValN(FramePointerKind::All, "all", 196ac1d23edSserge-sans-paille "Disable frame pointer elimination"), 1972786e673SFangrui Song clEnumValN(FramePointerKind::NonLeaf, "non-leaf", 198ac1d23edSserge-sans-paille "Disable frame pointer elimination for non-leaf frame"), 1992786e673SFangrui Song clEnumValN(FramePointerKind::None, "none", 200ac1d23edSserge-sans-paille "Enable frame pointer elimination"))); 201ac1d23edSserge-sans-paille CGBINDOPT(FramePointerUsage); 202ac1d23edSserge-sans-paille 203ac1d23edSserge-sans-paille static cl::opt<bool> EnableUnsafeFPMath( 204ac1d23edSserge-sans-paille "enable-unsafe-fp-math", 205ac1d23edSserge-sans-paille cl::desc("Enable optimizations that may decrease FP precision"), 206ac1d23edSserge-sans-paille cl::init(false)); 207ac1d23edSserge-sans-paille CGBINDOPT(EnableUnsafeFPMath); 208ac1d23edSserge-sans-paille 209ac1d23edSserge-sans-paille static cl::opt<bool> EnableNoInfsFPMath( 210ac1d23edSserge-sans-paille "enable-no-infs-fp-math", 211ac1d23edSserge-sans-paille cl::desc("Enable FP math optimizations that assume no +-Infs"), 212ac1d23edSserge-sans-paille cl::init(false)); 213ac1d23edSserge-sans-paille CGBINDOPT(EnableNoInfsFPMath); 214ac1d23edSserge-sans-paille 215ac1d23edSserge-sans-paille static cl::opt<bool> EnableNoNaNsFPMath( 216ac1d23edSserge-sans-paille "enable-no-nans-fp-math", 217ac1d23edSserge-sans-paille cl::desc("Enable FP math optimizations that assume no NaNs"), 218ac1d23edSserge-sans-paille cl::init(false)); 219ac1d23edSserge-sans-paille CGBINDOPT(EnableNoNaNsFPMath); 220ac1d23edSserge-sans-paille 221ac1d23edSserge-sans-paille static cl::opt<bool> EnableNoSignedZerosFPMath( 222ac1d23edSserge-sans-paille "enable-no-signed-zeros-fp-math", 223ac1d23edSserge-sans-paille cl::desc("Enable FP math optimizations that assume " 224ac1d23edSserge-sans-paille "the sign of 0 is insignificant"), 225ac1d23edSserge-sans-paille cl::init(false)); 226ac1d23edSserge-sans-paille CGBINDOPT(EnableNoSignedZerosFPMath); 227ac1d23edSserge-sans-paille 228256d2533SMasoud Ataei static cl::opt<bool> EnableApproxFuncFPMath( 229256d2533SMasoud Ataei "enable-approx-func-fp-math", 230256d2533SMasoud Ataei cl::desc("Enable FP math optimizations that assume approx func"), 231256d2533SMasoud Ataei cl::init(false)); 232256d2533SMasoud Ataei CGBINDOPT(EnableApproxFuncFPMath); 233256d2533SMasoud Ataei 234ac1d23edSserge-sans-paille static cl::opt<bool> EnableNoTrappingFPMath( 235ac1d23edSserge-sans-paille "enable-no-trapping-fp-math", 236ac1d23edSserge-sans-paille cl::desc("Enable setting the FP exceptions build " 237ac1d23edSserge-sans-paille "attribute not to use exceptions"), 238ac1d23edSserge-sans-paille cl::init(false)); 239ac1d23edSserge-sans-paille CGBINDOPT(EnableNoTrappingFPMath); 240ac1d23edSserge-sans-paille 241a8cc9047SMatt Arsenault static const auto DenormFlagEnumOptions = 242a8cc9047SMatt Arsenault cl::values(clEnumValN(DenormalMode::IEEE, "ieee", 243a8cc9047SMatt Arsenault "IEEE 754 denormal numbers"), 2440ab5b5b8SMatt Arsenault clEnumValN(DenormalMode::PreserveSign, "preserve-sign", 245ac1d23edSserge-sans-paille "the sign of a flushed-to-zero number is preserved " 246ac1d23edSserge-sans-paille "in the sign of 0"), 2470ab5b5b8SMatt Arsenault clEnumValN(DenormalMode::PositiveZero, "positive-zero", 248a8cc9047SMatt Arsenault "denormals are flushed to positive zero")); 249a8cc9047SMatt Arsenault 250a8cc9047SMatt Arsenault // FIXME: Doesn't have way to specify separate input and output modes. 251a8cc9047SMatt Arsenault static cl::opt<DenormalMode::DenormalModeKind> DenormalFPMath( 252a8cc9047SMatt Arsenault "denormal-fp-math", 253a8cc9047SMatt Arsenault cl::desc("Select which denormal numbers the code is permitted to require"), 254a8cc9047SMatt Arsenault cl::init(DenormalMode::IEEE), 255a8cc9047SMatt Arsenault DenormFlagEnumOptions); 256ac1d23edSserge-sans-paille CGBINDOPT(DenormalFPMath); 257ac1d23edSserge-sans-paille 258a8cc9047SMatt Arsenault static cl::opt<DenormalMode::DenormalModeKind> DenormalFP32Math( 259a8cc9047SMatt Arsenault "denormal-fp-math-f32", 260a8cc9047SMatt Arsenault cl::desc("Select which denormal numbers the code is permitted to require for float"), 261a8cc9047SMatt Arsenault cl::init(DenormalMode::Invalid), 262a8cc9047SMatt Arsenault DenormFlagEnumOptions); 263a8cc9047SMatt Arsenault CGBINDOPT(DenormalFP32Math); 264a8cc9047SMatt Arsenault 265ac1d23edSserge-sans-paille static cl::opt<bool> EnableHonorSignDependentRoundingFPMath( 266ac1d23edSserge-sans-paille "enable-sign-dependent-rounding-fp-math", cl::Hidden, 267ac1d23edSserge-sans-paille cl::desc("Force codegen to assume rounding mode can change dynamically"), 268ac1d23edSserge-sans-paille cl::init(false)); 269ac1d23edSserge-sans-paille CGBINDOPT(EnableHonorSignDependentRoundingFPMath); 270ac1d23edSserge-sans-paille 271ac1d23edSserge-sans-paille static cl::opt<FloatABI::ABIType> FloatABIForCalls( 272ac1d23edSserge-sans-paille "float-abi", cl::desc("Choose float ABI type"), 273ac1d23edSserge-sans-paille cl::init(FloatABI::Default), 274ac1d23edSserge-sans-paille cl::values(clEnumValN(FloatABI::Default, "default", 275ac1d23edSserge-sans-paille "Target default float ABI type"), 276ac1d23edSserge-sans-paille clEnumValN(FloatABI::Soft, "soft", 277ac1d23edSserge-sans-paille "Soft float ABI (implied by -soft-float)"), 278ac1d23edSserge-sans-paille clEnumValN(FloatABI::Hard, "hard", 279ac1d23edSserge-sans-paille "Hard float ABI (uses FP registers)"))); 280ac1d23edSserge-sans-paille CGBINDOPT(FloatABIForCalls); 281ac1d23edSserge-sans-paille 282ac1d23edSserge-sans-paille static cl::opt<FPOpFusion::FPOpFusionMode> FuseFPOps( 283ac1d23edSserge-sans-paille "fp-contract", cl::desc("Enable aggressive formation of fused FP ops"), 284ac1d23edSserge-sans-paille cl::init(FPOpFusion::Standard), 285ac1d23edSserge-sans-paille cl::values( 286ac1d23edSserge-sans-paille clEnumValN(FPOpFusion::Fast, "fast", 287ac1d23edSserge-sans-paille "Fuse FP ops whenever profitable"), 288ac1d23edSserge-sans-paille clEnumValN(FPOpFusion::Standard, "on", "Only fuse 'blessed' FP ops."), 289ac1d23edSserge-sans-paille clEnumValN(FPOpFusion::Strict, "off", 290ac1d23edSserge-sans-paille "Only fuse FP ops when the result won't be affected."))); 291ac1d23edSserge-sans-paille CGBINDOPT(FuseFPOps); 292ac1d23edSserge-sans-paille 293a773db7dSDoug Gregor static cl::opt<SwiftAsyncFramePointerMode> SwiftAsyncFramePointer( 294a773db7dSDoug Gregor "swift-async-fp", 295a773db7dSDoug Gregor cl::desc("Determine when the Swift async frame pointer should be set"), 296a773db7dSDoug Gregor cl::init(SwiftAsyncFramePointerMode::Always), 297a773db7dSDoug Gregor cl::values(clEnumValN(SwiftAsyncFramePointerMode::DeploymentBased, "auto", 298a773db7dSDoug Gregor "Determine based on deployment target"), 299a773db7dSDoug Gregor clEnumValN(SwiftAsyncFramePointerMode::Always, "always", 300a773db7dSDoug Gregor "Always set the bit"), 301a773db7dSDoug Gregor clEnumValN(SwiftAsyncFramePointerMode::Never, "never", 302a773db7dSDoug Gregor "Never set the bit"))); 303a773db7dSDoug Gregor CGBINDOPT(SwiftAsyncFramePointer); 304a773db7dSDoug Gregor 305ac1d23edSserge-sans-paille static cl::opt<bool> DontPlaceZerosInBSS( 306ac1d23edSserge-sans-paille "nozero-initialized-in-bss", 307ac1d23edSserge-sans-paille cl::desc("Don't place zero-initialized symbols into bss section"), 308ac1d23edSserge-sans-paille cl::init(false)); 309ac1d23edSserge-sans-paille CGBINDOPT(DontPlaceZerosInBSS); 310ac1d23edSserge-sans-paille 311c92f29b0SZarko Todorovski static cl::opt<bool> EnableAIXExtendedAltivecABI( 312c92f29b0SZarko Todorovski "vec-extabi", cl::desc("Enable the AIX Extended Altivec ABI."), 313c92f29b0SZarko Todorovski cl::init(false)); 314c92f29b0SZarko Todorovski CGBINDOPT(EnableAIXExtendedAltivecABI); 315c92f29b0SZarko Todorovski 316ac1d23edSserge-sans-paille static cl::opt<bool> EnableGuaranteedTailCallOpt( 317ac1d23edSserge-sans-paille "tailcallopt", 318ac1d23edSserge-sans-paille cl::desc( 319ac1d23edSserge-sans-paille "Turn fastcc calls into tail calls by (potentially) changing ABI."), 320ac1d23edSserge-sans-paille cl::init(false)); 321ac1d23edSserge-sans-paille CGBINDOPT(EnableGuaranteedTailCallOpt); 322ac1d23edSserge-sans-paille 323ac1d23edSserge-sans-paille static cl::opt<bool> DisableTailCalls( 324ac1d23edSserge-sans-paille "disable-tail-calls", cl::desc("Never emit tail calls"), cl::init(false)); 325ac1d23edSserge-sans-paille CGBINDOPT(DisableTailCalls); 326ac1d23edSserge-sans-paille 327ac1d23edSserge-sans-paille static cl::opt<bool> StackSymbolOrdering( 328ac1d23edSserge-sans-paille "stack-symbol-ordering", cl::desc("Order local stack symbols."), 329ac1d23edSserge-sans-paille cl::init(true)); 330ac1d23edSserge-sans-paille CGBINDOPT(StackSymbolOrdering); 331ac1d23edSserge-sans-paille 332ac1d23edSserge-sans-paille static cl::opt<bool> StackRealign( 333ac1d23edSserge-sans-paille "stackrealign", 334ac1d23edSserge-sans-paille cl::desc("Force align the stack to the minimum alignment"), 335ac1d23edSserge-sans-paille cl::init(false)); 336ac1d23edSserge-sans-paille CGBINDOPT(StackRealign); 337ac1d23edSserge-sans-paille 338ac1d23edSserge-sans-paille static cl::opt<std::string> TrapFuncName( 339ac1d23edSserge-sans-paille "trap-func", cl::Hidden, 340ac1d23edSserge-sans-paille cl::desc("Emit a call to trap function rather than a trap instruction"), 341ac1d23edSserge-sans-paille cl::init("")); 342ac1d23edSserge-sans-paille CGBINDOPT(TrapFuncName); 343ac1d23edSserge-sans-paille 344ac1d23edSserge-sans-paille static cl::opt<bool> UseCtors("use-ctors", 345ac1d23edSserge-sans-paille cl::desc("Use .ctors instead of .init_array."), 346ac1d23edSserge-sans-paille cl::init(false)); 347ac1d23edSserge-sans-paille CGBINDOPT(UseCtors); 348ac1d23edSserge-sans-paille 349ac1d23edSserge-sans-paille static cl::opt<bool> RelaxELFRelocations( 350ac1d23edSserge-sans-paille "relax-elf-relocations", 351ac1d23edSserge-sans-paille cl::desc( 352ac1d23edSserge-sans-paille "Emit GOTPCRELX/REX_GOTPCRELX instead of GOTPCREL on x86-64 ELF"), 353ac1d23edSserge-sans-paille cl::init(false)); 354ac1d23edSserge-sans-paille CGBINDOPT(RelaxELFRelocations); 355ac1d23edSserge-sans-paille 356ac1d23edSserge-sans-paille static cl::opt<bool> DataSections( 357ac1d23edSserge-sans-paille "data-sections", cl::desc("Emit data into separate sections"), 358ac1d23edSserge-sans-paille cl::init(false)); 359ac1d23edSserge-sans-paille CGBINDOPT(DataSections); 360ac1d23edSserge-sans-paille 361ac1d23edSserge-sans-paille static cl::opt<bool> FunctionSections( 362ac1d23edSserge-sans-paille "function-sections", cl::desc("Emit functions into separate sections"), 363ac1d23edSserge-sans-paille cl::init(false)); 364ac1d23edSserge-sans-paille CGBINDOPT(FunctionSections); 365ac1d23edSserge-sans-paille 36692bca128Sdiggerlin static cl::opt<bool> IgnoreXCOFFVisibility( 36792bca128Sdiggerlin "ignore-xcoff-visibility", 36892bca128Sdiggerlin cl::desc("Not emit the visibility attribute for asm in AIX OS or give " 36992bca128Sdiggerlin "all symbols 'unspecified' visibility in XCOFF object file"), 37092bca128Sdiggerlin cl::init(false)); 37192bca128Sdiggerlin CGBINDOPT(IgnoreXCOFFVisibility); 37292bca128Sdiggerlin 373997d286fSdiggerlin static cl::opt<bool> XCOFFTracebackTable( 374997d286fSdiggerlin "xcoff-traceback-table", cl::desc("Emit the XCOFF traceback table"), 375997d286fSdiggerlin cl::init(true)); 376997d286fSdiggerlin CGBINDOPT(XCOFFTracebackTable); 377997d286fSdiggerlin 378ac1d23edSserge-sans-paille static cl::opt<std::string> BBSections( 379ca6b6d40SSriraman Tallam "basic-block-sections", 380ac1d23edSserge-sans-paille cl::desc("Emit basic blocks into separate sections"), 381ac1d23edSserge-sans-paille cl::value_desc("all | <function list (file)> | labels | none"), 382ac1d23edSserge-sans-paille cl::init("none")); 383ac1d23edSserge-sans-paille CGBINDOPT(BBSections); 384ac1d23edSserge-sans-paille 385ac1d23edSserge-sans-paille static cl::opt<unsigned> TLSSize( 386ac1d23edSserge-sans-paille "tls-size", cl::desc("Bit size of immediate TLS offsets"), cl::init(0)); 387ac1d23edSserge-sans-paille CGBINDOPT(TLSSize); 388ac1d23edSserge-sans-paille 389ac1d23edSserge-sans-paille static cl::opt<bool> EmulatedTLS( 390ac1d23edSserge-sans-paille "emulated-tls", cl::desc("Use emulated TLS model"), cl::init(false)); 391ac1d23edSserge-sans-paille CGBINDOPT(EmulatedTLS); 392ac1d23edSserge-sans-paille 393ac1d23edSserge-sans-paille static cl::opt<bool> UniqueSectionNames( 394ac1d23edSserge-sans-paille "unique-section-names", cl::desc("Give unique names to every section"), 395ac1d23edSserge-sans-paille cl::init(true)); 396ac1d23edSserge-sans-paille CGBINDOPT(UniqueSectionNames); 397ac1d23edSserge-sans-paille 398e0bca46bSSriraman Tallam static cl::opt<bool> UniqueBasicBlockSectionNames( 399ca6b6d40SSriraman Tallam "unique-basic-block-section-names", 400ac1d23edSserge-sans-paille cl::desc("Give unique names to every basic block section"), 401ac1d23edSserge-sans-paille cl::init(false)); 402e0bca46bSSriraman Tallam CGBINDOPT(UniqueBasicBlockSectionNames); 403ac1d23edSserge-sans-paille 404ac1d23edSserge-sans-paille static cl::opt<EABI> EABIVersion( 405ac1d23edSserge-sans-paille "meabi", cl::desc("Set EABI type (default depends on triple):"), 406ac1d23edSserge-sans-paille cl::init(EABI::Default), 407ac1d23edSserge-sans-paille cl::values( 408ac1d23edSserge-sans-paille clEnumValN(EABI::Default, "default", "Triple default EABI version"), 409ac1d23edSserge-sans-paille clEnumValN(EABI::EABI4, "4", "EABI version 4"), 410ac1d23edSserge-sans-paille clEnumValN(EABI::EABI5, "5", "EABI version 5"), 411ac1d23edSserge-sans-paille clEnumValN(EABI::GNU, "gnu", "EABI GNU"))); 412ac1d23edSserge-sans-paille CGBINDOPT(EABIVersion); 413ac1d23edSserge-sans-paille 414ac1d23edSserge-sans-paille static cl::opt<DebuggerKind> DebuggerTuningOpt( 415ac1d23edSserge-sans-paille "debugger-tune", cl::desc("Tune debug info for a particular debugger"), 416ac1d23edSserge-sans-paille cl::init(DebuggerKind::Default), 417ac1d23edSserge-sans-paille cl::values( 418ac1d23edSserge-sans-paille clEnumValN(DebuggerKind::GDB, "gdb", "gdb"), 419ac1d23edSserge-sans-paille clEnumValN(DebuggerKind::LLDB, "lldb", "lldb"), 4200c36da72SEsme-Yi clEnumValN(DebuggerKind::DBX, "dbx", "dbx"), 421ac1d23edSserge-sans-paille clEnumValN(DebuggerKind::SCE, "sce", "SCE targets (e.g. PS4)"))); 422ac1d23edSserge-sans-paille CGBINDOPT(DebuggerTuningOpt); 423ac1d23edSserge-sans-paille 424ac1d23edSserge-sans-paille static cl::opt<bool> EnableStackSizeSection( 425ac1d23edSserge-sans-paille "stack-size-section", 426ac1d23edSserge-sans-paille cl::desc("Emit a section containing stack size metadata"), 427ac1d23edSserge-sans-paille cl::init(false)); 428ac1d23edSserge-sans-paille CGBINDOPT(EnableStackSizeSection); 429ac1d23edSserge-sans-paille 430ac1d23edSserge-sans-paille static cl::opt<bool> EnableAddrsig( 431ac1d23edSserge-sans-paille "addrsig", cl::desc("Emit an address-significance table"), 432ac1d23edSserge-sans-paille cl::init(false)); 433ac1d23edSserge-sans-paille CGBINDOPT(EnableAddrsig); 434ac1d23edSserge-sans-paille 435ac1d23edSserge-sans-paille static cl::opt<bool> EmitCallSiteInfo( 436ac1d23edSserge-sans-paille "emit-call-site-info", 437ac1d23edSserge-sans-paille cl::desc( 438ac1d23edSserge-sans-paille "Emit call site debug information, if debug information is enabled."), 439ac1d23edSserge-sans-paille cl::init(false)); 440ac1d23edSserge-sans-paille CGBINDOPT(EmitCallSiteInfo); 441ac1d23edSserge-sans-paille 442ac1d23edSserge-sans-paille static cl::opt<bool> EnableDebugEntryValues( 443ac1d23edSserge-sans-paille "debug-entry-values", 444d9b96210SDjordje Todorovic cl::desc("Enable debug info for the debug entry values."), 445ac1d23edSserge-sans-paille cl::init(false)); 446ac1d23edSserge-sans-paille CGBINDOPT(EnableDebugEntryValues); 447ac1d23edSserge-sans-paille 44894faadacSSnehasish Kumar static cl::opt<bool> EnableMachineFunctionSplitter( 44994faadacSSnehasish Kumar "split-machine-functions", 45094faadacSSnehasish Kumar cl::desc("Split out cold basic blocks from machine functions based on " 45194faadacSSnehasish Kumar "profile information"), 45294faadacSSnehasish Kumar cl::init(false)); 45394faadacSSnehasish Kumar CGBINDOPT(EnableMachineFunctionSplitter); 45494faadacSSnehasish Kumar 455ac1d23edSserge-sans-paille static cl::opt<bool> ForceDwarfFrameSection( 456ac1d23edSserge-sans-paille "force-dwarf-frame-section", 457ac1d23edSserge-sans-paille cl::desc("Always emit a debug frame section."), cl::init(false)); 458ac1d23edSserge-sans-paille CGBINDOPT(ForceDwarfFrameSection); 459ac1d23edSserge-sans-paille 4607c7c8e0dSIan Levesque static cl::opt<bool> XRayOmitFunctionIndex( 4617c7c8e0dSIan Levesque "no-xray-index", cl::desc("Don't emit xray_fn_idx section"), 4627c7c8e0dSIan Levesque cl::init(false)); 4637c7c8e0dSIan Levesque CGBINDOPT(XRayOmitFunctionIndex); 4647c7c8e0dSIan Levesque 465a0ca4c46SChen Zheng static cl::opt<bool> DebugStrictDwarf( 466a0ca4c46SChen Zheng "strict-dwarf", cl::desc("use strict dwarf"), cl::init(false)); 467a0ca4c46SChen Zheng CGBINDOPT(DebugStrictDwarf); 468a0ca4c46SChen Zheng 469a1944386SFangrui Song static cl::opt<unsigned> AlignLoops("align-loops", 470a1944386SFangrui Song cl::desc("Default alignment for loops")); 471a1944386SFangrui Song CGBINDOPT(AlignLoops); 472a1944386SFangrui Song 473f9270214SYuanfang Chen static cl::opt<bool> JMCInstrument( 474f9270214SYuanfang Chen "enable-jmc-instrument", 475f9270214SYuanfang Chen cl::desc("Instrument functions with a call to __CheckForDebuggerJustMyCode"), 476f9270214SYuanfang Chen cl::init(false)); 477f9270214SYuanfang Chen CGBINDOPT(JMCInstrument); 478f9270214SYuanfang Chen 479ac1d23edSserge-sans-paille #undef CGBINDOPT 480ac1d23edSserge-sans-paille 481ac1d23edSserge-sans-paille mc::RegisterMCTargetOptionsFlags(); 482ac1d23edSserge-sans-paille } 483ac1d23edSserge-sans-paille 484ac1d23edSserge-sans-paille llvm::BasicBlockSection 485ac1d23edSserge-sans-paille codegen::getBBSectionsMode(llvm::TargetOptions &Options) { 486ac1d23edSserge-sans-paille if (getBBSections() == "all") 487ac1d23edSserge-sans-paille return BasicBlockSection::All; 488ac1d23edSserge-sans-paille else if (getBBSections() == "labels") 489ac1d23edSserge-sans-paille return BasicBlockSection::Labels; 490ac1d23edSserge-sans-paille else if (getBBSections() == "none") 491ac1d23edSserge-sans-paille return BasicBlockSection::None; 492ac1d23edSserge-sans-paille else { 493ac1d23edSserge-sans-paille ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr = 494ac1d23edSserge-sans-paille MemoryBuffer::getFile(getBBSections()); 495ac1d23edSserge-sans-paille if (!MBOrErr) { 496ac1d23edSserge-sans-paille errs() << "Error loading basic block sections function list file: " 497ac1d23edSserge-sans-paille << MBOrErr.getError().message() << "\n"; 498ac1d23edSserge-sans-paille } else { 499ac1d23edSserge-sans-paille Options.BBSectionsFuncListBuf = std::move(*MBOrErr); 500ac1d23edSserge-sans-paille } 501ac1d23edSserge-sans-paille return BasicBlockSection::List; 502ac1d23edSserge-sans-paille } 503ac1d23edSserge-sans-paille } 504ac1d23edSserge-sans-paille 505ac1d23edSserge-sans-paille // Common utility function tightly tied to the options listed here. Initializes 506ac1d23edSserge-sans-paille // a TargetOptions object with CodeGen flags and returns it. 507f85bcc21Sjasonliu TargetOptions 508f85bcc21Sjasonliu codegen::InitTargetOptionsFromCodeGenFlags(const Triple &TheTriple) { 509ac1d23edSserge-sans-paille TargetOptions Options; 510ac1d23edSserge-sans-paille Options.AllowFPOpFusion = getFuseFPOps(); 511ac1d23edSserge-sans-paille Options.UnsafeFPMath = getEnableUnsafeFPMath(); 512ac1d23edSserge-sans-paille Options.NoInfsFPMath = getEnableNoInfsFPMath(); 513ac1d23edSserge-sans-paille Options.NoNaNsFPMath = getEnableNoNaNsFPMath(); 514ac1d23edSserge-sans-paille Options.NoSignedZerosFPMath = getEnableNoSignedZerosFPMath(); 515256d2533SMasoud Ataei Options.ApproxFuncFPMath = getEnableApproxFuncFPMath(); 516ac1d23edSserge-sans-paille Options.NoTrappingFPMath = getEnableNoTrappingFPMath(); 5170ab5b5b8SMatt Arsenault 5180ab5b5b8SMatt Arsenault DenormalMode::DenormalModeKind DenormKind = getDenormalFPMath(); 5190ab5b5b8SMatt Arsenault 5200ab5b5b8SMatt Arsenault // FIXME: Should have separate input and output flags 5210ab5b5b8SMatt Arsenault Options.setFPDenormalMode(DenormalMode(DenormKind, DenormKind)); 5220ab5b5b8SMatt Arsenault 523ac1d23edSserge-sans-paille Options.HonorSignDependentRoundingFPMathOption = 524ac1d23edSserge-sans-paille getEnableHonorSignDependentRoundingFPMath(); 525ac1d23edSserge-sans-paille if (getFloatABIForCalls() != FloatABI::Default) 526ac1d23edSserge-sans-paille Options.FloatABIType = getFloatABIForCalls(); 527c92f29b0SZarko Todorovski Options.EnableAIXExtendedAltivecABI = getEnableAIXExtendedAltivecABI(); 528ac1d23edSserge-sans-paille Options.NoZerosInBSS = getDontPlaceZerosInBSS(); 529ac1d23edSserge-sans-paille Options.GuaranteedTailCallOpt = getEnableGuaranteedTailCallOpt(); 530ac1d23edSserge-sans-paille Options.StackSymbolOrdering = getStackSymbolOrdering(); 531ac1d23edSserge-sans-paille Options.UseInitArray = !getUseCtors(); 532ac1d23edSserge-sans-paille Options.RelaxELFRelocations = getRelaxELFRelocations(); 533f85bcc21Sjasonliu Options.DataSections = 534f85bcc21Sjasonliu getExplicitDataSections().getValueOr(TheTriple.hasDefaultDataSections()); 535ac1d23edSserge-sans-paille Options.FunctionSections = getFunctionSections(); 53692bca128Sdiggerlin Options.IgnoreXCOFFVisibility = getIgnoreXCOFFVisibility(); 537997d286fSdiggerlin Options.XCOFFTracebackTable = getXCOFFTracebackTable(); 538ac1d23edSserge-sans-paille Options.BBSections = getBBSectionsMode(Options); 539ac1d23edSserge-sans-paille Options.UniqueSectionNames = getUniqueSectionNames(); 540e0bca46bSSriraman Tallam Options.UniqueBasicBlockSectionNames = getUniqueBasicBlockSectionNames(); 541ac1d23edSserge-sans-paille Options.TLSSize = getTLSSize(); 542ac1d23edSserge-sans-paille Options.EmulatedTLS = getEmulatedTLS(); 543ac1d23edSserge-sans-paille Options.ExplicitEmulatedTLS = EmulatedTLSView->getNumOccurrences() > 0; 544ac1d23edSserge-sans-paille Options.ExceptionModel = getExceptionModel(); 545ac1d23edSserge-sans-paille Options.EmitStackSizeSection = getEnableStackSizeSection(); 54694faadacSSnehasish Kumar Options.EnableMachineFunctionSplitter = getEnableMachineFunctionSplitter(); 547ac1d23edSserge-sans-paille Options.EmitAddrsig = getEnableAddrsig(); 548ac1d23edSserge-sans-paille Options.EmitCallSiteInfo = getEmitCallSiteInfo(); 549ac1d23edSserge-sans-paille Options.EnableDebugEntryValues = getEnableDebugEntryValues(); 550ac1d23edSserge-sans-paille Options.ForceDwarfFrameSection = getForceDwarfFrameSection(); 5517c7c8e0dSIan Levesque Options.XRayOmitFunctionIndex = getXRayOmitFunctionIndex(); 552a0ca4c46SChen Zheng Options.DebugStrictDwarf = getDebugStrictDwarf(); 553a1944386SFangrui Song Options.LoopAlignment = getAlignLoops(); 554f9270214SYuanfang Chen Options.JMCInstrument = getJMCInstrument(); 555ac1d23edSserge-sans-paille 556ac1d23edSserge-sans-paille Options.MCOptions = mc::InitMCTargetOptionsFromFlags(); 557ac1d23edSserge-sans-paille 558ac1d23edSserge-sans-paille Options.ThreadModel = getThreadModel(); 559ac1d23edSserge-sans-paille Options.EABIVersion = getEABIVersion(); 560ac1d23edSserge-sans-paille Options.DebuggerTuning = getDebuggerTuningOpt(); 561a773db7dSDoug Gregor Options.SwiftAsyncFramePointer = getSwiftAsyncFramePointer(); 562ac1d23edSserge-sans-paille return Options; 563ac1d23edSserge-sans-paille } 564ac1d23edSserge-sans-paille 565ac1d23edSserge-sans-paille std::string codegen::getCPUStr() { 566ac1d23edSserge-sans-paille // If user asked for the 'native' CPU, autodetect here. If autodection fails, 567ac1d23edSserge-sans-paille // this will set the CPU to an empty string which tells the target to 568ac1d23edSserge-sans-paille // pick a basic default. 569ac1d23edSserge-sans-paille if (getMCPU() == "native") 570ac1d23edSserge-sans-paille return std::string(sys::getHostCPUName()); 571ac1d23edSserge-sans-paille 572ac1d23edSserge-sans-paille return getMCPU(); 573ac1d23edSserge-sans-paille } 574ac1d23edSserge-sans-paille 575ac1d23edSserge-sans-paille std::string codegen::getFeaturesStr() { 576ac1d23edSserge-sans-paille SubtargetFeatures Features; 577ac1d23edSserge-sans-paille 578ac1d23edSserge-sans-paille // If user asked for the 'native' CPU, we need to autodetect features. 579ac1d23edSserge-sans-paille // This is necessary for x86 where the CPU might not support all the 580ac1d23edSserge-sans-paille // features the autodetected CPU name lists in the target. For example, 581ac1d23edSserge-sans-paille // not all Sandybridge processors support AVX. 582ac1d23edSserge-sans-paille if (getMCPU() == "native") { 583ac1d23edSserge-sans-paille StringMap<bool> HostFeatures; 584ac1d23edSserge-sans-paille if (sys::getHostCPUFeatures(HostFeatures)) 585ac1d23edSserge-sans-paille for (auto &F : HostFeatures) 586ac1d23edSserge-sans-paille Features.AddFeature(F.first(), F.second); 587ac1d23edSserge-sans-paille } 588ac1d23edSserge-sans-paille 589ac1d23edSserge-sans-paille for (auto const &MAttr : getMAttrs()) 590ac1d23edSserge-sans-paille Features.AddFeature(MAttr); 591ac1d23edSserge-sans-paille 592ac1d23edSserge-sans-paille return Features.getString(); 593ac1d23edSserge-sans-paille } 594ac1d23edSserge-sans-paille 595ac1d23edSserge-sans-paille std::vector<std::string> codegen::getFeatureList() { 596ac1d23edSserge-sans-paille SubtargetFeatures Features; 597ac1d23edSserge-sans-paille 598ac1d23edSserge-sans-paille // If user asked for the 'native' CPU, we need to autodetect features. 599ac1d23edSserge-sans-paille // This is necessary for x86 where the CPU might not support all the 600ac1d23edSserge-sans-paille // features the autodetected CPU name lists in the target. For example, 601ac1d23edSserge-sans-paille // not all Sandybridge processors support AVX. 602ac1d23edSserge-sans-paille if (getMCPU() == "native") { 603ac1d23edSserge-sans-paille StringMap<bool> HostFeatures; 604ac1d23edSserge-sans-paille if (sys::getHostCPUFeatures(HostFeatures)) 605ac1d23edSserge-sans-paille for (auto &F : HostFeatures) 606ac1d23edSserge-sans-paille Features.AddFeature(F.first(), F.second); 607ac1d23edSserge-sans-paille } 608ac1d23edSserge-sans-paille 609ac1d23edSserge-sans-paille for (auto const &MAttr : getMAttrs()) 610ac1d23edSserge-sans-paille Features.AddFeature(MAttr); 611ac1d23edSserge-sans-paille 612ac1d23edSserge-sans-paille return Features.getFeatures(); 613ac1d23edSserge-sans-paille } 614ac1d23edSserge-sans-paille 615ac1d23edSserge-sans-paille void codegen::renderBoolStringAttr(AttrBuilder &B, StringRef Name, bool Val) { 616ac1d23edSserge-sans-paille B.addAttribute(Name, Val ? "true" : "false"); 617ac1d23edSserge-sans-paille } 618ac1d23edSserge-sans-paille 619ac1d23edSserge-sans-paille #define HANDLE_BOOL_ATTR(CL, AttrName) \ 620ac1d23edSserge-sans-paille do { \ 621ac1d23edSserge-sans-paille if (CL->getNumOccurrences() > 0 && !F.hasFnAttribute(AttrName)) \ 622ac1d23edSserge-sans-paille renderBoolStringAttr(NewAttrs, AttrName, *CL); \ 623ac1d23edSserge-sans-paille } while (0) 624ac1d23edSserge-sans-paille 625ac1d23edSserge-sans-paille /// Set function attributes of function \p F based on CPU, Features, and command 626ac1d23edSserge-sans-paille /// line flags. 627ac1d23edSserge-sans-paille void codegen::setFunctionAttributes(StringRef CPU, StringRef Features, 628ac1d23edSserge-sans-paille Function &F) { 629ac1d23edSserge-sans-paille auto &Ctx = F.getContext(); 630ac1d23edSserge-sans-paille AttributeList Attrs = F.getAttributes(); 631d2cc6c2dSSerge Guelton AttrBuilder NewAttrs(Ctx); 632ac1d23edSserge-sans-paille 633ac1d23edSserge-sans-paille if (!CPU.empty() && !F.hasFnAttribute("target-cpu")) 634ac1d23edSserge-sans-paille NewAttrs.addAttribute("target-cpu", CPU); 635ac1d23edSserge-sans-paille if (!Features.empty()) { 636ac1d23edSserge-sans-paille // Append the command line features to any that are already on the function. 637ac1d23edSserge-sans-paille StringRef OldFeatures = 638ac1d23edSserge-sans-paille F.getFnAttribute("target-features").getValueAsString(); 639ac1d23edSserge-sans-paille if (OldFeatures.empty()) 640ac1d23edSserge-sans-paille NewAttrs.addAttribute("target-features", Features); 641ac1d23edSserge-sans-paille else { 642ac1d23edSserge-sans-paille SmallString<256> Appended(OldFeatures); 643ac1d23edSserge-sans-paille Appended.push_back(','); 644ac1d23edSserge-sans-paille Appended.append(Features); 645ac1d23edSserge-sans-paille NewAttrs.addAttribute("target-features", Appended); 646ac1d23edSserge-sans-paille } 647ac1d23edSserge-sans-paille } 648ac1d23edSserge-sans-paille if (FramePointerUsageView->getNumOccurrences() > 0 && 649ac1d23edSserge-sans-paille !F.hasFnAttribute("frame-pointer")) { 6502786e673SFangrui Song if (getFramePointerUsage() == FramePointerKind::All) 651ac1d23edSserge-sans-paille NewAttrs.addAttribute("frame-pointer", "all"); 6522786e673SFangrui Song else if (getFramePointerUsage() == FramePointerKind::NonLeaf) 653ac1d23edSserge-sans-paille NewAttrs.addAttribute("frame-pointer", "non-leaf"); 6542786e673SFangrui Song else if (getFramePointerUsage() == FramePointerKind::None) 655ac1d23edSserge-sans-paille NewAttrs.addAttribute("frame-pointer", "none"); 656ac1d23edSserge-sans-paille } 657ac1d23edSserge-sans-paille if (DisableTailCallsView->getNumOccurrences() > 0) 658ac1d23edSserge-sans-paille NewAttrs.addAttribute("disable-tail-calls", 659ac1d23edSserge-sans-paille toStringRef(getDisableTailCalls())); 660ac1d23edSserge-sans-paille if (getStackRealign()) 661ac1d23edSserge-sans-paille NewAttrs.addAttribute("stackrealign"); 662ac1d23edSserge-sans-paille 663ac1d23edSserge-sans-paille HANDLE_BOOL_ATTR(EnableUnsafeFPMathView, "unsafe-fp-math"); 664ac1d23edSserge-sans-paille HANDLE_BOOL_ATTR(EnableNoInfsFPMathView, "no-infs-fp-math"); 665ac1d23edSserge-sans-paille HANDLE_BOOL_ATTR(EnableNoNaNsFPMathView, "no-nans-fp-math"); 666ac1d23edSserge-sans-paille HANDLE_BOOL_ATTR(EnableNoSignedZerosFPMathView, "no-signed-zeros-fp-math"); 667256d2533SMasoud Ataei HANDLE_BOOL_ATTR(EnableApproxFuncFPMathView, "approx-func-fp-math"); 668ac1d23edSserge-sans-paille 6690ab5b5b8SMatt Arsenault if (DenormalFPMathView->getNumOccurrences() > 0 && 6700ab5b5b8SMatt Arsenault !F.hasFnAttribute("denormal-fp-math")) { 6710ab5b5b8SMatt Arsenault DenormalMode::DenormalModeKind DenormKind = getDenormalFPMath(); 6720ab5b5b8SMatt Arsenault 6730ab5b5b8SMatt Arsenault // FIXME: Command line flag should expose separate input/output modes. 6740ab5b5b8SMatt Arsenault NewAttrs.addAttribute("denormal-fp-math", 6750ab5b5b8SMatt Arsenault DenormalMode(DenormKind, DenormKind).str()); 6760ab5b5b8SMatt Arsenault } 6770ab5b5b8SMatt Arsenault 678a8cc9047SMatt Arsenault if (DenormalFP32MathView->getNumOccurrences() > 0 && 679a8cc9047SMatt Arsenault !F.hasFnAttribute("denormal-fp-math-f32")) { 680a8cc9047SMatt Arsenault // FIXME: Command line flag should expose separate input/output modes. 681a8cc9047SMatt Arsenault DenormalMode::DenormalModeKind DenormKind = getDenormalFP32Math(); 682a8cc9047SMatt Arsenault 683a8cc9047SMatt Arsenault NewAttrs.addAttribute( 684a8cc9047SMatt Arsenault "denormal-fp-math-f32", 685a8cc9047SMatt Arsenault DenormalMode(DenormKind, DenormKind).str()); 686a8cc9047SMatt Arsenault } 687a8cc9047SMatt Arsenault 688ac1d23edSserge-sans-paille if (TrapFuncNameView->getNumOccurrences() > 0) 689ac1d23edSserge-sans-paille for (auto &B : F) 690ac1d23edSserge-sans-paille for (auto &I : B) 691ac1d23edSserge-sans-paille if (auto *Call = dyn_cast<CallInst>(&I)) 692ac1d23edSserge-sans-paille if (const auto *F = Call->getCalledFunction()) 693ac1d23edSserge-sans-paille if (F->getIntrinsicID() == Intrinsic::debugtrap || 694ac1d23edSserge-sans-paille F->getIntrinsicID() == Intrinsic::trap) 6953f4d00bcSArthur Eubanks Call->addFnAttr( 696ac1d23edSserge-sans-paille Attribute::get(Ctx, "trap-func-name", getTrapFuncName())); 697ac1d23edSserge-sans-paille 698ac1d23edSserge-sans-paille // Let NewAttrs override Attrs. 699de0ae9e8SArthur Eubanks F.setAttributes(Attrs.addFnAttributes(Ctx, NewAttrs)); 700ac1d23edSserge-sans-paille } 701ac1d23edSserge-sans-paille 702ac1d23edSserge-sans-paille /// Set function attributes of functions in Module M based on CPU, 703ac1d23edSserge-sans-paille /// Features, and command line flags. 704ac1d23edSserge-sans-paille void codegen::setFunctionAttributes(StringRef CPU, StringRef Features, 705ac1d23edSserge-sans-paille Module &M) { 706ac1d23edSserge-sans-paille for (Function &F : M) 707ac1d23edSserge-sans-paille setFunctionAttributes(CPU, Features, F); 708ac1d23edSserge-sans-paille } 709651122fcSJeremy Morse 710