123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //===-- llvm/Target/TargetMachine.h - Target Information --------*- 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 the TargetMachine and LLVMTargetMachine classes.
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_TARGET_TARGETMACHINE_H
- #define LLVM_TARGET_TARGETMACHINE_H
- #include "llvm/ADT/Optional.h"
- #include "llvm/ADT/StringRef.h"
- #include "llvm/ADT/Triple.h"
- #include "llvm/IR/DataLayout.h"
- #include "llvm/IR/PassManager.h"
- #include "llvm/Pass.h"
- #include "llvm/Support/CodeGen.h"
- #include "llvm/Support/Error.h"
- #include "llvm/Support/PGOOptions.h"
- #include "llvm/Target/CGPassBuilderOption.h"
- #include "llvm/Target/TargetOptions.h"
- #include <string>
- #include <utility>
- namespace llvm {
- class AAManager;
- template <typename IRUnitT, typename AnalysisManagerT, typename... ExtraArgTs>
- class PassManager;
- using ModulePassManager = PassManager<Module>;
- class Function;
- class GlobalValue;
- class MachineFunctionPassManager;
- class MachineFunctionAnalysisManager;
- class MachineModuleInfoWrapperPass;
- class Mangler;
- class MCAsmInfo;
- class MCContext;
- class MCInstrInfo;
- class MCRegisterInfo;
- class MCStreamer;
- class MCSubtargetInfo;
- class MCSymbol;
- class raw_pwrite_stream;
- class PassBuilder;
- class PassManagerBuilder;
- struct PerFunctionMIParsingState;
- class SMDiagnostic;
- class SMRange;
- class Target;
- class TargetIntrinsicInfo;
- class TargetIRAnalysis;
- class TargetTransformInfo;
- class TargetLoweringObjectFile;
- class TargetPassConfig;
- class TargetSubtargetInfo;
- // The old pass manager infrastructure is hidden in a legacy namespace now.
- namespace legacy {
- class PassManagerBase;
- }
- using legacy::PassManagerBase;
- namespace yaml {
- struct MachineFunctionInfo;
- }
- //===----------------------------------------------------------------------===//
- ///
- /// Primary interface to the complete machine description for the target
- /// machine. All target-specific information should be accessible through this
- /// interface.
- ///
- class TargetMachine {
- protected: // Can only create subclasses.
- TargetMachine(const Target &T, StringRef DataLayoutString,
- const Triple &TargetTriple, StringRef CPU, StringRef FS,
- const TargetOptions &Options);
- /// The Target that this machine was created for.
- const Target &TheTarget;
- /// DataLayout for the target: keep ABI type size and alignment.
- ///
- /// The DataLayout is created based on the string representation provided
- /// during construction. It is kept here only to avoid reparsing the string
- /// but should not really be used during compilation, because it has an
- /// internal cache that is context specific.
- const DataLayout DL;
- /// Triple string, CPU name, and target feature strings the TargetMachine
- /// instance is created with.
- Triple TargetTriple;
- std::string TargetCPU;
- std::string TargetFS;
- Reloc::Model RM = Reloc::Static;
- CodeModel::Model CMModel = CodeModel::Small;
- CodeGenOpt::Level OptLevel = CodeGenOpt::Default;
- /// Contains target specific asm information.
- std::unique_ptr<const MCAsmInfo> AsmInfo;
- std::unique_ptr<const MCRegisterInfo> MRI;
- std::unique_ptr<const MCInstrInfo> MII;
- std::unique_ptr<const MCSubtargetInfo> STI;
- unsigned RequireStructuredCFG : 1;
- unsigned O0WantsFastISel : 1;
- // PGO related tunables.
- Optional<PGOOptions> PGOOption = None;
- public:
- const TargetOptions DefaultOptions;
- mutable TargetOptions Options;
- TargetMachine(const TargetMachine &) = delete;
- void operator=(const TargetMachine &) = delete;
- virtual ~TargetMachine();
- const Target &getTarget() const { return TheTarget; }
- const Triple &getTargetTriple() const { return TargetTriple; }
- StringRef getTargetCPU() const { return TargetCPU; }
- StringRef getTargetFeatureString() const { return TargetFS; }
- void setTargetFeatureString(StringRef FS) { TargetFS = std::string(FS); }
- /// Virtual method implemented by subclasses that returns a reference to that
- /// target's TargetSubtargetInfo-derived member variable.
- virtual const TargetSubtargetInfo *getSubtargetImpl(const Function &) const {
- return nullptr;
- }
- virtual TargetLoweringObjectFile *getObjFileLowering() const {
- return nullptr;
- }
- /// Allocate and return a default initialized instance of the YAML
- /// representation for the MachineFunctionInfo.
- virtual yaml::MachineFunctionInfo *createDefaultFuncInfoYAML() const {
- return nullptr;
- }
- /// Allocate and initialize an instance of the YAML representation of the
- /// MachineFunctionInfo.
- virtual yaml::MachineFunctionInfo *
- convertFuncInfoToYAML(const MachineFunction &MF) const {
- return nullptr;
- }
- /// Parse out the target's MachineFunctionInfo from the YAML reprsentation.
- virtual bool parseMachineFunctionInfo(const yaml::MachineFunctionInfo &,
- PerFunctionMIParsingState &PFS,
- SMDiagnostic &Error,
- SMRange &SourceRange) const {
- return false;
- }
- /// This method returns a pointer to the specified type of
- /// TargetSubtargetInfo. In debug builds, it verifies that the object being
- /// returned is of the correct type.
- template <typename STC> const STC &getSubtarget(const Function &F) const {
- return *static_cast<const STC*>(getSubtargetImpl(F));
- }
- /// Create a DataLayout.
- const DataLayout createDataLayout() const { return DL; }
- /// Test if a DataLayout if compatible with the CodeGen for this target.
- ///
- /// The LLVM Module owns a DataLayout that is used for the target independent
- /// optimizations and code generation. This hook provides a target specific
- /// check on the validity of this DataLayout.
- bool isCompatibleDataLayout(const DataLayout &Candidate) const {
- return DL == Candidate;
- }
- /// Get the pointer size for this target.
- ///
- /// This is the only time the DataLayout in the TargetMachine is used.
- unsigned getPointerSize(unsigned AS) const {
- return DL.getPointerSize(AS);
- }
- unsigned getPointerSizeInBits(unsigned AS) const {
- return DL.getPointerSizeInBits(AS);
- }
- unsigned getProgramPointerSize() const {
- return DL.getPointerSize(DL.getProgramAddressSpace());
- }
- unsigned getAllocaPointerSize() const {
- return DL.getPointerSize(DL.getAllocaAddrSpace());
- }
- /// Reset the target options based on the function's attributes.
- // FIXME: Remove TargetOptions that affect per-function code generation
- // from TargetMachine.
- void resetTargetOptions(const Function &F) const;
- /// Return target specific asm information.
- const MCAsmInfo *getMCAsmInfo() const { return AsmInfo.get(); }
- const MCRegisterInfo *getMCRegisterInfo() const { return MRI.get(); }
- const MCInstrInfo *getMCInstrInfo() const { return MII.get(); }
- const MCSubtargetInfo *getMCSubtargetInfo() const { return STI.get(); }
- /// If intrinsic information is available, return it. If not, return null.
- virtual const TargetIntrinsicInfo *getIntrinsicInfo() const {
- return nullptr;
- }
- bool requiresStructuredCFG() const { return RequireStructuredCFG; }
- void setRequiresStructuredCFG(bool Value) { RequireStructuredCFG = Value; }
- /// Returns the code generation relocation model. The choices are static, PIC,
- /// and dynamic-no-pic, and target default.
- Reloc::Model getRelocationModel() const;
- /// Returns the code model. The choices are small, kernel, medium, large, and
- /// target default.
- CodeModel::Model getCodeModel() const;
- bool isPositionIndependent() const;
- bool shouldAssumeDSOLocal(const Module &M, const GlobalValue *GV) const;
- /// Returns true if this target uses emulated TLS.
- bool useEmulatedTLS() const;
- /// Returns the TLS model which should be used for the given global variable.
- TLSModel::Model getTLSModel(const GlobalValue *GV) const;
- /// Returns the optimization level: None, Less, Default, or Aggressive.
- CodeGenOpt::Level getOptLevel() const;
- /// Overrides the optimization level.
- void setOptLevel(CodeGenOpt::Level Level);
- void setFastISel(bool Enable) { Options.EnableFastISel = Enable; }
- bool getO0WantsFastISel() { return O0WantsFastISel; }
- void setO0WantsFastISel(bool Enable) { O0WantsFastISel = Enable; }
- void setGlobalISel(bool Enable) { Options.EnableGlobalISel = Enable; }
- void setGlobalISelAbort(GlobalISelAbortMode Mode) {
- Options.GlobalISelAbort = Mode;
- }
- void setMachineOutliner(bool Enable) {
- Options.EnableMachineOutliner = Enable;
- }
- void setSupportsDefaultOutlining(bool Enable) {
- Options.SupportsDefaultOutlining = Enable;
- }
- void setSupportsDebugEntryValues(bool Enable) {
- Options.SupportsDebugEntryValues = Enable;
- }
- bool getAIXExtendedAltivecABI() const {
- return Options.EnableAIXExtendedAltivecABI;
- }
- bool getUniqueSectionNames() const { return Options.UniqueSectionNames; }
- /// Return true if unique basic block section names must be generated.
- bool getUniqueBasicBlockSectionNames() const {
- return Options.UniqueBasicBlockSectionNames;
- }
- /// Return true if data objects should be emitted into their own section,
- /// corresponds to -fdata-sections.
- bool getDataSections() const {
- return Options.DataSections;
- }
- /// Return true if functions should be emitted into their own section,
- /// corresponding to -ffunction-sections.
- bool getFunctionSections() const {
- return Options.FunctionSections;
- }
- /// Return true if visibility attribute should not be emitted in XCOFF,
- /// corresponding to -mignore-xcoff-visibility.
- bool getIgnoreXCOFFVisibility() const {
- return Options.IgnoreXCOFFVisibility;
- }
- /// Return true if XCOFF traceback table should be emitted,
- /// corresponding to -xcoff-traceback-table.
- bool getXCOFFTracebackTable() const { return Options.XCOFFTracebackTable; }
- /// If basic blocks should be emitted into their own section,
- /// corresponding to -fbasic-block-sections.
- llvm::BasicBlockSection getBBSectionsType() const {
- return Options.BBSections;
- }
- /// Get the list of functions and basic block ids that need unique sections.
- const MemoryBuffer *getBBSectionsFuncListBuf() const {
- return Options.BBSectionsFuncListBuf.get();
- }
- /// Returns true if a cast between SrcAS and DestAS is a noop.
- virtual bool isNoopAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const {
- return false;
- }
- void setPGOOption(Optional<PGOOptions> PGOOpt) { PGOOption = PGOOpt; }
- const Optional<PGOOptions> &getPGOOption() const { return PGOOption; }
- /// If the specified generic pointer could be assumed as a pointer to a
- /// specific address space, return that address space.
- ///
- /// Under offloading programming, the offloading target may be passed with
- /// values only prepared on the host side and could assume certain
- /// properties.
- virtual unsigned getAssumedAddrSpace(const Value *V) const { return -1; }
- /// If the specified predicate checks whether a generic pointer falls within
- /// a specified address space, return that generic pointer and the address
- /// space being queried.
- ///
- /// Such predicates could be specified in @llvm.assume intrinsics for the
- /// optimizer to assume that the given generic pointer always falls within
- /// the address space based on that predicate.
- virtual std::pair<const Value *, unsigned>
- getPredicatedAddrSpace(const Value *V) const {
- return std::make_pair(nullptr, -1);
- }
- /// Get a \c TargetIRAnalysis appropriate for the target.
- ///
- /// This is used to construct the new pass manager's target IR analysis pass,
- /// set up appropriately for this target machine. Even the old pass manager
- /// uses this to answer queries about the IR.
- TargetIRAnalysis getTargetIRAnalysis();
- /// Return a TargetTransformInfo for a given function.
- ///
- /// The returned TargetTransformInfo is specialized to the subtarget
- /// corresponding to \p F.
- virtual TargetTransformInfo getTargetTransformInfo(const Function &F);
- /// Allow the target to modify the pass manager, e.g. by calling
- /// PassManagerBuilder::addExtension.
- virtual void adjustPassManager(PassManagerBuilder &) {}
- /// Allow the target to modify the pass pipeline with New Pass Manager
- /// (similar to adjustPassManager for Legacy Pass manager).
- virtual void registerPassBuilderCallbacks(PassBuilder &) {}
- /// Allow the target to register alias analyses with the AAManager for use
- /// with the new pass manager. Only affects the "default" AAManager.
- virtual void registerDefaultAliasAnalyses(AAManager &) {}
- /// Add passes to the specified pass manager to get the specified file
- /// emitted. Typically this will involve several steps of code generation.
- /// This method should return true if emission of this file type is not
- /// supported, or false on success.
- /// \p MMIWP is an optional parameter that, if set to non-nullptr,
- /// will be used to set the MachineModuloInfo for this PM.
- virtual bool
- addPassesToEmitFile(PassManagerBase &, raw_pwrite_stream &,
- raw_pwrite_stream *, CodeGenFileType,
- bool /*DisableVerify*/ = true,
- MachineModuleInfoWrapperPass *MMIWP = nullptr) {
- return true;
- }
- /// Add passes to the specified pass manager to get machine code emitted with
- /// the MCJIT. This method returns true if machine code is not supported. It
- /// fills the MCContext Ctx pointer which can be used to build custom
- /// MCStreamer.
- ///
- virtual bool addPassesToEmitMC(PassManagerBase &, MCContext *&,
- raw_pwrite_stream &,
- bool /*DisableVerify*/ = true) {
- return true;
- }
- /// True if subtarget inserts the final scheduling pass on its own.
- ///
- /// Branch relaxation, which must happen after block placement, can
- /// on some targets (e.g. SystemZ) expose additional post-RA
- /// scheduling opportunities.
- virtual bool targetSchedulesPostRAScheduling() const { return false; };
- void getNameWithPrefix(SmallVectorImpl<char> &Name, const GlobalValue *GV,
- Mangler &Mang, bool MayAlwaysUsePrivate = false) const;
- MCSymbol *getSymbol(const GlobalValue *GV) const;
- /// The integer bit size to use for SjLj based exception handling.
- static constexpr unsigned DefaultSjLjDataSize = 32;
- virtual unsigned getSjLjDataSize() const { return DefaultSjLjDataSize; }
- static std::pair<int, int> parseBinutilsVersion(StringRef Version);
- };
- /// This class describes a target machine that is implemented with the LLVM
- /// target-independent code generator.
- ///
- class LLVMTargetMachine : public TargetMachine {
- protected: // Can only create subclasses.
- LLVMTargetMachine(const Target &T, StringRef DataLayoutString,
- const Triple &TT, StringRef CPU, StringRef FS,
- const TargetOptions &Options, Reloc::Model RM,
- CodeModel::Model CM, CodeGenOpt::Level OL);
- void initAsmInfo();
- public:
- /// Get a TargetTransformInfo implementation for the target.
- ///
- /// The TTI returned uses the common code generator to answer queries about
- /// the IR.
- TargetTransformInfo getTargetTransformInfo(const Function &F) override;
- /// Create a pass configuration object to be used by addPassToEmitX methods
- /// for generating a pipeline of CodeGen passes.
- virtual TargetPassConfig *createPassConfig(PassManagerBase &PM);
- /// Add passes to the specified pass manager to get the specified file
- /// emitted. Typically this will involve several steps of code generation.
- /// \p MMIWP is an optional parameter that, if set to non-nullptr,
- /// will be used to set the MachineModuloInfo for this PM.
- bool
- addPassesToEmitFile(PassManagerBase &PM, raw_pwrite_stream &Out,
- raw_pwrite_stream *DwoOut, CodeGenFileType FileType,
- bool DisableVerify = true,
- MachineModuleInfoWrapperPass *MMIWP = nullptr) override;
- virtual Error buildCodeGenPipeline(ModulePassManager &,
- MachineFunctionPassManager &,
- MachineFunctionAnalysisManager &,
- raw_pwrite_stream &, raw_pwrite_stream *,
- CodeGenFileType, CGPassBuilderOption,
- PassInstrumentationCallbacks *) {
- return make_error<StringError>("buildCodeGenPipeline is not overriden",
- inconvertibleErrorCode());
- }
- virtual std::pair<StringRef, bool> getPassNameFromLegacyName(StringRef) {
- llvm_unreachable(
- "getPassNameFromLegacyName parseMIRPipeline is not overriden");
- }
- /// Add passes to the specified pass manager to get machine code emitted with
- /// the MCJIT. This method returns true if machine code is not supported. It
- /// fills the MCContext Ctx pointer which can be used to build custom
- /// MCStreamer.
- bool addPassesToEmitMC(PassManagerBase &PM, MCContext *&Ctx,
- raw_pwrite_stream &Out,
- bool DisableVerify = true) override;
- /// Returns true if the target is expected to pass all machine verifier
- /// checks. This is a stopgap measure to fix targets one by one. We will
- /// remove this at some point and always enable the verifier when
- /// EXPENSIVE_CHECKS is enabled.
- virtual bool isMachineVerifierClean() const { return true; }
- /// Adds an AsmPrinter pass to the pipeline that prints assembly or
- /// machine code from the MI representation.
- bool addAsmPrinter(PassManagerBase &PM, raw_pwrite_stream &Out,
- raw_pwrite_stream *DwoOut, CodeGenFileType FileType,
- MCContext &Context);
- Expected<std::unique_ptr<MCStreamer>>
- createMCStreamer(raw_pwrite_stream &Out, raw_pwrite_stream *DwoOut,
- CodeGenFileType FileType, MCContext &Ctx);
- /// True if the target uses physical regs (as nearly all targets do). False
- /// for stack machines such as WebAssembly and other virtual-register
- /// machines. If true, all vregs must be allocated before PEI. If false, then
- /// callee-save register spilling and scavenging are not needed or used. If
- /// false, implicitly defined registers will still be assumed to be physical
- /// registers, except that variadic defs will be allocated vregs.
- virtual bool usesPhysRegsForValues() const { return true; }
- /// True if the target wants to use interprocedural register allocation by
- /// default. The -enable-ipra flag can be used to override this.
- virtual bool useIPRA() const {
- return false;
- }
- /// The default variant to use in unqualified `asm` instructions.
- /// If this returns 0, `asm "$(foo$|bar$)"` will evaluate to `asm "foo"`.
- virtual int unqualifiedInlineAsmVariant() const { return 0; }
- };
- /// Helper method for getting the code model, returning Default if
- /// CM does not have a value. The tiny and kernel models will produce
- /// an error, so targets that support them or require more complex codemodel
- /// selection logic should implement and call their own getEffectiveCodeModel.
- inline CodeModel::Model getEffectiveCodeModel(Optional<CodeModel::Model> CM,
- CodeModel::Model Default) {
- if (CM) {
- // By default, targets do not support the tiny and kernel models.
- if (*CM == CodeModel::Tiny)
- report_fatal_error("Target does not support the tiny CodeModel", false);
- if (*CM == CodeModel::Kernel)
- report_fatal_error("Target does not support the kernel CodeModel", false);
- return *CM;
- }
- return Default;
- }
- } // end namespace llvm
- #endif // LLVM_TARGET_TARGETMACHINE_H
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|