TargetOptions.h

Go to the documentation of this file.

//===-- llvm/Target/TargetOptions.h - Target Options ------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file defines command line option flags that are shared across various
// targets.
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_TARGET_TARGETOPTIONS_H
#define LLVM_TARGET_TARGETOPTIONS_H
 
#include "llvm/ADT/FloatingPointMode.h"
#include "llvm/IR/SystemLibraries.h"
#include "llvm/MC/MCTargetOptions.h"
#include "llvm/Support/CodeGen.h"
#include "llvm/Support/Compiler.h"
 
#include <memory>
 
namespace llvm {
struct fltSemantics;
class MachineFunction;
class MemoryBuffer;
 
namespace JumpTable {
enum JumpTableType {
  Single,     // Use a single table for all indirect jumptable calls.
  Arity,      // Use one table per number of function parameters.
  Simplified, // Use one table per function type, with types projected
              // into 4 types: pointer to non-function, struct,
              // primitive, and function pointer.
  Full        // Use one table per unique function type
};
}
 
enum class BasicBlockSection {
  All,    // Use Basic Block Sections for all basic blocks.  A section
          // for every basic block can significantly bloat object file sizes.
  List,   // Get list of functions & BBs from a file. Selectively enables
          // basic block sections for a subset of basic blocks which can be
          // used to control object size bloats from creating sections.
  Preset, // Similar to list but the blocks are identified by passes which
          // seek to use Basic Block Sections, e.g. MachineFunctionSplitter.
          // This option cannot be set via the command line.
  None    // Do not use Basic Block Sections.
};
 
/// Identify a debugger for "tuning" the debug info.
///
/// The "debugger tuning" concept allows us to present a more intuitive
/// interface that unpacks into different sets of defaults for the various
/// individual feature-flag settings, that suit the preferences of the
/// various debuggers.  However, it's worth remembering that debuggers are
/// not the only consumers of debug info, and some variations in DWARF might
/// better be treated as target/platform issues. Fundamentally,
/// o if the feature is useful (or not) to a particular debugger, regardless
///   of the target, that's a tuning decision;
/// o if the feature is useful (or not) on a particular platform, regardless
///   of the debugger, that's a target decision.
/// It's not impossible to see both factors in some specific case.
enum class DebuggerKind {
  Default, ///< No specific tuning requested.
  GDB,     ///< Tune debug info for gdb.
  LLDB,    ///< Tune debug info for lldb.
  SCE,     ///< Tune debug info for SCE targets (e.g. PS4).
  DBX      ///< Tune debug info for dbx.
};
 
/// Enable abort calls when global instruction selection fails to lower/select
/// an instruction.
enum class GlobalISelAbortMode {
  Disable,        // Disable the abort.
  Enable,         // Enable the abort.
  DisableWithDiag // Disable the abort but emit a diagnostic on failure.
};
 
/// Indicates when and how the Swift async frame pointer bit should be set.
enum class SwiftAsyncFramePointerMode {
  /// Determine whether to set the bit statically or dynamically based
  /// on the deployment target.
  DeploymentBased,
  /// Always set the bit.
  Always,
  /// Never set the bit.
  Never,
};
 
/// \brief Enumeration value for AMDGPU code object version, which is the
/// code object version times 100.
enum CodeObjectVersionKind {
  COV_None,
  COV_2 = 200, // Unsupported.
  COV_3 = 300, // Unsupported.
  COV_4 = 400,
  COV_5 = 500,
  COV_6 = 600,
};
 
class TargetOptions {
public:
  TargetOptions()
      : EnableAIXExtendedAltivecABI(false), NoZerosInBSS(false),
        GuaranteedTailCallOpt(false), StackSymbolOrdering(true),
        EnableFastISel(false), EnableGlobalISel(false), UseInitArray(false),
        FunctionSections(false), DataSections(false),
        IgnoreXCOFFVisibility(false), XCOFFTracebackTable(true),
        UniqueSectionNames(true), UniqueBasicBlockSectionNames(false),
        SeparateNamedSections(false), TrapUnreachable(false),
        NoTrapAfterNoreturn(false), TLSSize(0), EmulatedTLS(false),
        EnableTLSDESC(false), EnableIPRA(false), EmitStackSizeSection(false),
        EnableMachineOutliner(false), EnableMachineFunctionSplitter(false),
        EnableStaticDataPartitioning(false), SupportsDefaultOutlining(false),
        EnableDefaultMachineVerifier(true), EmitAddrsig(false),
        BBAddrMap(false), EmitCallGraphSection(false), EmitCallSiteInfo(false),
        SupportsDebugEntryValues(false), EnableDebugEntryValues(false),
        ValueTrackingVariableLocations(false), ForceDwarfFrameSection(false),
        XRayFunctionIndex(true), DebugStrictDwarf(false), Hotpatch(false),
        JMCInstrument(false), EnableCFIFixup(false), MisExpect(false),
        XCOFFReadOnlyPointers(false), VerifyArgABICompliance(true) {}
 
  /// EnableAIXExtendedAltivecABI - This flag returns true when -vec-extabi is
  /// specified. The code generator is then able to use both volatile and
  /// nonvolitle vector registers. When false, the code generator only uses
  /// volatile vector registers which is the default setting on AIX.
  unsigned EnableAIXExtendedAltivecABI : 1;
 
  /// NoZerosInBSS - By default some codegens place zero-initialized data to
  /// .bss section. This flag disables such behaviour (necessary, e.g. for
  /// crt*.o compiling).
  unsigned NoZerosInBSS : 1;
 
  /// GuaranteedTailCallOpt - This flag is enabled when -tailcallopt is
  /// specified on the commandline. When the flag is on, participating targets
  /// will perform tail call optimization on all calls which use the fastcc
  /// calling convention and which satisfy certain target-independent
  /// criteria (being at the end of a function, having the same return type
  /// as their parent function, etc.), using an alternate ABI if necessary.
  unsigned GuaranteedTailCallOpt : 1;
 
  /// StackSymbolOrdering - When true, this will allow CodeGen to order
  /// the local stack symbols (for code size, code locality, or any other
  /// heuristics). When false, the local symbols are left in whatever order
  /// they were generated. Default is true.
  unsigned StackSymbolOrdering : 1;
 
  /// EnableFastISel - This flag enables fast-path instruction selection
  /// which trades away generated code quality in favor of reducing
  /// compile time.
  unsigned EnableFastISel : 1;
 
  /// EnableGlobalISel - This flag enables global instruction selection.
  unsigned EnableGlobalISel : 1;
 
  /// EnableGlobalISelAbort - Control abort behaviour when global instruction
  /// selection fails to lower/select an instruction.
  GlobalISelAbortMode GlobalISelAbort = GlobalISelAbortMode::Enable;
 
  /// Control when and how the Swift async frame pointer bit should
  /// be set.
  SwiftAsyncFramePointerMode SwiftAsyncFramePointer =
      SwiftAsyncFramePointerMode::Always;
 
  /// UseInitArray - Use .init_array instead of .ctors for static
  /// constructors.
  unsigned UseInitArray : 1;
 
  /// Emit functions into separate sections.
  unsigned FunctionSections : 1;
 
  /// Emit data into separate sections.
  unsigned DataSections : 1;
 
  /// Do not emit visibility attribute for xcoff.
  unsigned IgnoreXCOFFVisibility : 1;
 
  /// Emit XCOFF traceback table.
  unsigned XCOFFTracebackTable : 1;
 
  unsigned UniqueSectionNames : 1;
 
  /// Use unique names for basic block sections.
  unsigned UniqueBasicBlockSectionNames : 1;
 
  /// Emit named sections with the same name into different sections.
  unsigned SeparateNamedSections : 1;
 
  /// Emit target-specific trap instruction for 'unreachable' IR instructions.
  unsigned TrapUnreachable : 1;
 
  /// Do not emit a trap instruction for 'unreachable' IR instructions behind
  /// noreturn calls, even if TrapUnreachable is true.
  unsigned NoTrapAfterNoreturn : 1;
 
  /// Bit size of immediate TLS offsets (0 == use the default).
  unsigned TLSSize : 8;
 
  /// EmulatedTLS - This flag enables emulated TLS model, using emutls
  /// function in the runtime library..
  unsigned EmulatedTLS : 1;
 
  /// EnableTLSDESC - This flag enables TLS Descriptors.
  unsigned EnableTLSDESC : 1;
 
  /// This flag enables InterProcedural Register Allocation (IPRA).
  unsigned EnableIPRA : 1;
 
  /// Emit section containing metadata on function stack sizes.
  unsigned EmitStackSizeSection : 1;
 
  /// Enables the MachineOutliner pass.
  unsigned EnableMachineOutliner : 1;
 
  /// Enables the MachineFunctionSplitter pass.
  unsigned EnableMachineFunctionSplitter : 1;
 
  /// Enables the StaticDataSplitter pass.
  unsigned EnableStaticDataPartitioning : 1;
 
  /// Set if the target supports default outlining behaviour.
  unsigned SupportsDefaultOutlining : 1;
 
  /// Enable Machine verifier at the end of default codegen pipelines. (Only
  /// used with NPM)
  unsigned EnableDefaultMachineVerifier : 1;
 
  /// Emit address-significance table.
  unsigned EmitAddrsig : 1;
 
  // Emit the SHT_LLVM_BB_ADDR_MAP section containing basic block address
  // which can be used to map virtual addresses to machine basic blocks.
  unsigned BBAddrMap : 1;
 
  /// Emit basic blocks into separate sections.
  BasicBlockSection BBSections = BasicBlockSection::None;
 
  /// Memory Buffer that contains information on sampled basic blocks and used
  /// to selectively generate basic block sections.
  std::shared_ptr<MemoryBuffer> BBSectionsFuncListBuf;
 
  /// Emit section containing call graph metadata.
  unsigned EmitCallGraphSection : 1;
 
  /// The flag enables call site info production. It is used only for debug
  /// info, and it is restricted only to optimized code. This can be used for
  /// something else, so that should be controlled in the frontend.
  unsigned EmitCallSiteInfo : 1;
  /// Set if the target supports the debug entry values by default.
  unsigned SupportsDebugEntryValues : 1;
  /// When set to true, the EnableDebugEntryValues option forces production
  /// of debug entry values even if the target does not officially support
  /// it. Useful for testing purposes only. This flag should never be checked
  /// directly, always use \ref ShouldEmitDebugEntryValues instead.
  unsigned EnableDebugEntryValues : 1;
  /// NOTE: There are targets that still do not support the debug entry values
  /// production.
  LLVM_ABI bool ShouldEmitDebugEntryValues() const;
 
  // When set to true, use experimental new debug variable location tracking,
  // which seeks to follow the values of variables rather than their location,
  // post isel.
  unsigned ValueTrackingVariableLocations : 1;
 
  /// Emit DWARF debug frame section.
  unsigned ForceDwarfFrameSection : 1;
 
  /// Emit XRay Function Index section
  unsigned XRayFunctionIndex : 1;
 
  /// When set to true, don't use DWARF extensions in later DWARF versions.
  /// By default, it is set to false.
  unsigned DebugStrictDwarf : 1;
 
  /// Emit the hotpatch flag in CodeView debug.
  unsigned Hotpatch : 1;
 
  /// Enable JustMyCode instrumentation.
  unsigned JMCInstrument : 1;
 
  /// Enable the CFIFixup pass.
  unsigned EnableCFIFixup : 1;
 
  /// When set to true, enable MisExpect Diagnostics
  /// By default, it is set to false
  unsigned MisExpect : 1;
 
  /// When set to true, const objects with relocatable address values are put
  /// into the RO data section.
  unsigned XCOFFReadOnlyPointers : 1;
 
  /// When set to true, call/return argument extensions of narrow integers
  /// are verified in the target backend if it cares about them. This is
  /// not done with internal tools like llc that run many tests that ignore
  /// (lack) these extensions.
  unsigned VerifyArgABICompliance : 1;
 
  /// Name of the stack usage file (i.e., .su file) if user passes
  /// -fstack-usage. If empty, it can be implied that -fstack-usage is not
  /// passed on the command line.
  std::string StackUsageFile;
 
  /// If greater than 0, override TargetLoweringBase::PrefLoopAlignment.
  unsigned LoopAlignment = 0;
 
  /// ThreadModel - This flag specifies the type of threading model to assume
  /// for things like atomics
  llvm::ThreadModel ThreadModel = llvm::ThreadModel::POSIX;
 
  /// EABIVersion - This flag specifies the EABI version
  EABI EABIVersion = EABI::Default;
 
  /// Which debugger to tune for.
  DebuggerKind DebuggerTuning = DebuggerKind::Default;
 
  /// Vector math library to use.
  VectorLibrary VecLib = VectorLibrary::NoLibrary;
 
public:
  /// What exception model to use
  ExceptionHandling ExceptionModel = ExceptionHandling::None;
 
  /// Machine level options.
  MCTargetOptions MCOptions;
 
  /// Stores the filename/path of the final .o/.obj file, to be written in the
  /// debug information. This is used for emitting the CodeView S_OBJNAME
  /// record.
  std::string ObjectFilenameForDebug;
};
 
} // namespace llvm
 
#endif