2017-10-13 00:57:28 +02:00
|
|
|
//===-- TargetMachine.cpp - General Target Information ---------------------==//
|
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// 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
|
2017-10-13 00:57:28 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file describes the general parts of a Target machine.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
#include "llvm/Analysis/TargetTransformInfo.h"
|
|
|
|
#include "llvm/IR/Function.h"
|
|
|
|
#include "llvm/IR/GlobalAlias.h"
|
|
|
|
#include "llvm/IR/GlobalValue.h"
|
|
|
|
#include "llvm/IR/GlobalVariable.h"
|
|
|
|
#include "llvm/IR/LegacyPassManager.h"
|
|
|
|
#include "llvm/IR/Mangler.h"
|
|
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
|
|
#include "llvm/MC/MCContext.h"
|
|
|
|
#include "llvm/MC/MCInstrInfo.h"
|
|
|
|
#include "llvm/MC/MCSectionMachO.h"
|
|
|
|
#include "llvm/MC/MCTargetOptions.h"
|
|
|
|
#include "llvm/MC/SectionKind.h"
|
2018-03-24 00:58:19 +01:00
|
|
|
#include "llvm/Target/TargetLoweringObjectFile.h"
|
2017-10-13 00:57:28 +02:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
// TargetMachine Class
|
|
|
|
//
|
|
|
|
|
|
|
|
TargetMachine::TargetMachine(const Target &T, StringRef DataLayoutString,
|
|
|
|
const Triple &TT, StringRef CPU, StringRef FS,
|
|
|
|
const TargetOptions &Options)
|
2020-01-28 20:23:46 +01:00
|
|
|
: TheTarget(T), DL(DataLayoutString), TargetTriple(TT),
|
|
|
|
TargetCPU(std::string(CPU)), TargetFS(std::string(FS)), AsmInfo(nullptr),
|
|
|
|
MRI(nullptr), MII(nullptr), STI(nullptr), RequireStructuredCFG(false),
|
|
|
|
O0WantsFastISel(false), DefaultOptions(Options), Options(Options) {}
|
2017-10-13 00:57:28 +02:00
|
|
|
|
2018-09-25 08:19:31 +02:00
|
|
|
TargetMachine::~TargetMachine() = default;
|
2017-10-13 00:57:28 +02:00
|
|
|
|
|
|
|
bool TargetMachine::isPositionIndependent() const {
|
|
|
|
return getRelocationModel() == Reloc::PIC_;
|
|
|
|
}
|
|
|
|
|
2018-05-01 17:54:18 +02:00
|
|
|
/// Reset the target options based on the function's attributes.
|
2019-12-05 10:37:27 +01:00
|
|
|
/// setFunctionAttributes should have made the raw attribute value consistent
|
|
|
|
/// with the command line flag if used.
|
|
|
|
//
|
2017-10-13 00:57:28 +02:00
|
|
|
// FIXME: This function needs to go away for a number of reasons:
|
|
|
|
// a) global state on the TargetMachine is terrible in general,
|
|
|
|
// b) these target options should be passed only on the function
|
|
|
|
// and not on the TargetMachine (via TargetOptions) at all.
|
|
|
|
void TargetMachine::resetTargetOptions(const Function &F) const {
|
2019-12-05 10:37:27 +01:00
|
|
|
#define RESET_OPTION(X, Y) \
|
|
|
|
do { \
|
2021-03-24 21:45:04 +01:00
|
|
|
Options.X = F.getFnAttribute(Y).getValueAsBool(); \
|
2017-10-13 00:57:28 +02:00
|
|
|
} while (0)
|
|
|
|
|
|
|
|
RESET_OPTION(UnsafeFPMath, "unsafe-fp-math");
|
|
|
|
RESET_OPTION(NoInfsFPMath, "no-infs-fp-math");
|
|
|
|
RESET_OPTION(NoNaNsFPMath, "no-nans-fp-math");
|
|
|
|
RESET_OPTION(NoSignedZerosFPMath, "no-signed-zeros-fp-math");
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the code generation relocation model. The choices are static, PIC,
|
|
|
|
/// and dynamic-no-pic.
|
|
|
|
Reloc::Model TargetMachine::getRelocationModel() const { return RM; }
|
|
|
|
|
|
|
|
/// Returns the code model. The choices are small, kernel, medium, large, and
|
|
|
|
/// target default.
|
|
|
|
CodeModel::Model TargetMachine::getCodeModel() const { return CMModel; }
|
|
|
|
|
|
|
|
/// Get the IR-specified TLS model for Var.
|
|
|
|
static TLSModel::Model getSelectedTLSModel(const GlobalValue *GV) {
|
|
|
|
switch (GV->getThreadLocalMode()) {
|
|
|
|
case GlobalVariable::NotThreadLocal:
|
|
|
|
llvm_unreachable("getSelectedTLSModel for non-TLS variable");
|
|
|
|
break;
|
|
|
|
case GlobalVariable::GeneralDynamicTLSModel:
|
|
|
|
return TLSModel::GeneralDynamic;
|
|
|
|
case GlobalVariable::LocalDynamicTLSModel:
|
|
|
|
return TLSModel::LocalDynamic;
|
|
|
|
case GlobalVariable::InitialExecTLSModel:
|
|
|
|
return TLSModel::InitialExec;
|
|
|
|
case GlobalVariable::LocalExecTLSModel:
|
|
|
|
return TLSModel::LocalExec;
|
|
|
|
}
|
|
|
|
llvm_unreachable("invalid TLS model");
|
|
|
|
}
|
|
|
|
|
|
|
|
bool TargetMachine::shouldAssumeDSOLocal(const Module &M,
|
|
|
|
const GlobalValue *GV) const {
|
2020-12-05 20:40:18 +01:00
|
|
|
const Triple &TT = getTargetTriple();
|
|
|
|
Reloc::Model RM = getRelocationModel();
|
2018-03-10 03:42:14 +01:00
|
|
|
|
|
|
|
// According to the llvm language reference, we should be able to
|
|
|
|
// just return false in here if we have a GV, as we know it is
|
|
|
|
// dso_preemptable. At this point in time, the various IR producers
|
|
|
|
// have not been transitioned to always produce a dso_local when it
|
|
|
|
// is possible to do so.
|
2020-12-05 23:54:37 +01:00
|
|
|
// In the case of ExternalSymbolSDNode, GV is null and we should just return
|
|
|
|
// false. However, COFF currently relies on this to be true
|
|
|
|
//
|
2018-03-10 03:42:14 +01:00
|
|
|
// As a result we still have some logic in here to improve the quality of the
|
|
|
|
// generated code.
|
|
|
|
// FIXME: Add a module level metadata for whether intrinsics should be assumed
|
|
|
|
// local.
|
2020-12-05 21:32:50 +01:00
|
|
|
if (!GV)
|
|
|
|
return TT.isOSBinFormatCOFF();
|
2020-12-05 20:40:18 +01:00
|
|
|
|
|
|
|
// If the IR producer requested that this GV be treated as dso local, obey.
|
|
|
|
if (GV->isDSOLocal())
|
|
|
|
return true;
|
2017-10-13 00:57:28 +02:00
|
|
|
|
|
|
|
// DLLImport explicitly marks the GV as external.
|
2020-12-05 20:40:18 +01:00
|
|
|
if (GV->hasDLLImportStorageClass())
|
2017-10-13 00:57:28 +02:00
|
|
|
return false;
|
|
|
|
|
2018-09-04 22:56:28 +02:00
|
|
|
// On MinGW, variables that haven't been declared with DLLImport may still
|
|
|
|
// end up automatically imported by the linker. To make this feasible,
|
|
|
|
// don't assume the variables to be DSO local unless we actually know
|
|
|
|
// that for sure. This only has to be done for variables; for functions
|
|
|
|
// the linker can insert thunks for calling functions from another DLL.
|
2020-12-05 20:40:18 +01:00
|
|
|
if (TT.isWindowsGNUEnvironment() && TT.isOSBinFormatCOFF() &&
|
2019-08-20 20:58:05 +02:00
|
|
|
GV->isDeclarationForLinker() && isa<GlobalVariable>(GV))
|
2018-09-04 22:56:28 +02:00
|
|
|
return false;
|
|
|
|
|
2019-05-08 01:06:21 +02:00
|
|
|
// On COFF, don't mark 'extern_weak' symbols as DSO local. If these symbols
|
|
|
|
// remain unresolved in the link, they can be resolved to zero, which is
|
|
|
|
// outside the current DSO.
|
2020-12-05 20:40:18 +01:00
|
|
|
if (TT.isOSBinFormatCOFF() && GV->hasExternalWeakLinkage())
|
2019-05-08 01:06:21 +02:00
|
|
|
return false;
|
|
|
|
|
2017-10-13 00:57:28 +02:00
|
|
|
// Every other GV is local on COFF.
|
2018-02-23 00:59:46 +01:00
|
|
|
// Make an exception for windows OS in the triple: Some firmware builds use
|
2017-10-13 00:57:28 +02:00
|
|
|
// *-win32-macho triples. This (accidentally?) produced windows relocations
|
|
|
|
// without GOT tables in older clang versions; Keep this behaviour.
|
2019-08-20 20:58:05 +02:00
|
|
|
// Some JIT users use *-win32-elf triples; these shouldn't use GOT tables
|
|
|
|
// either.
|
|
|
|
if (TT.isOSBinFormatCOFF() || TT.isOSWindows())
|
2017-10-13 00:57:28 +02:00
|
|
|
return true;
|
|
|
|
|
2019-05-10 03:52:08 +02:00
|
|
|
if (TT.isOSBinFormatMachO()) {
|
2017-10-13 00:57:28 +02:00
|
|
|
if (RM == Reloc::Static)
|
|
|
|
return true;
|
2020-12-05 20:40:18 +01:00
|
|
|
return GV->isStrongDefinitionForLinker();
|
2017-10-13 00:57:28 +02:00
|
|
|
}
|
|
|
|
|
2019-05-24 22:54:35 +02:00
|
|
|
// Due to the AIX linkage model, any global with default visibility is
|
|
|
|
// considered non-local.
|
|
|
|
if (TT.isOSBinFormatXCOFF())
|
|
|
|
return false;
|
|
|
|
|
2019-05-10 03:52:08 +02:00
|
|
|
assert(TT.isOSBinFormatELF() || TT.isOSBinFormatWasm());
|
2017-10-13 00:57:28 +02:00
|
|
|
assert(RM != Reloc::DynamicNoPIC);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2018-02-28 18:48:55 +01:00
|
|
|
bool TargetMachine::useEmulatedTLS() const {
|
|
|
|
// Returns Options.EmulatedTLS if the -emulated-tls or -no-emulated-tls
|
|
|
|
// was specified explicitly; otherwise uses target triple to decide default.
|
|
|
|
if (Options.ExplicitEmulatedTLS)
|
|
|
|
return Options.EmulatedTLS;
|
|
|
|
return getTargetTriple().hasDefaultEmulatedTLS();
|
|
|
|
}
|
|
|
|
|
2017-10-13 00:57:28 +02:00
|
|
|
TLSModel::Model TargetMachine::getTLSModel(const GlobalValue *GV) const {
|
|
|
|
bool IsPIE = GV->getParent()->getPIELevel() != PIELevel::Default;
|
|
|
|
Reloc::Model RM = getRelocationModel();
|
|
|
|
bool IsSharedLibrary = RM == Reloc::PIC_ && !IsPIE;
|
|
|
|
bool IsLocal = shouldAssumeDSOLocal(*GV->getParent(), GV);
|
|
|
|
|
|
|
|
TLSModel::Model Model;
|
|
|
|
if (IsSharedLibrary) {
|
|
|
|
if (IsLocal)
|
|
|
|
Model = TLSModel::LocalDynamic;
|
|
|
|
else
|
|
|
|
Model = TLSModel::GeneralDynamic;
|
|
|
|
} else {
|
|
|
|
if (IsLocal)
|
|
|
|
Model = TLSModel::LocalExec;
|
|
|
|
else
|
|
|
|
Model = TLSModel::InitialExec;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If the user specified a more specific model, use that.
|
|
|
|
TLSModel::Model SelectedModel = getSelectedTLSModel(GV);
|
|
|
|
if (SelectedModel > Model)
|
|
|
|
return SelectedModel;
|
|
|
|
|
|
|
|
return Model;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the optimization level: None, Less, Default, or Aggressive.
|
|
|
|
CodeGenOpt::Level TargetMachine::getOptLevel() const { return OptLevel; }
|
|
|
|
|
|
|
|
void TargetMachine::setOptLevel(CodeGenOpt::Level Level) { OptLevel = Level; }
|
|
|
|
|
(Re-landing) Expose a TargetMachine::getTargetTransformInfo function
Re-land r321234. It had to be reverted because it broke the shared
library build. The shared library build broke because there was a
missing LLVMBuild dependency from lib/Passes (which calls
TargetMachine::getTargetIRAnalysis) to lib/Target. As far as I can
tell, this problem was always there but was somehow masked
before (perhaps because TargetMachine::getTargetIRAnalysis was a
virtual function).
Original commit message:
This makes the TargetMachine interface a bit simpler. We still need
the std::function in TargetIRAnalysis to avoid having to add a
dependency from Analysis to Target.
See discussion:
http://lists.llvm.org/pipermail/llvm-dev/2017-December/119749.html
I avoided adding all of the backend owners to this review since the
change is simple, but let me know if you feel differently about this.
Reviewers: echristo, MatzeB, hfinkel
Reviewed By: hfinkel
Subscribers: jholewinski, jfb, arsenm, dschuff, mcrosier, sdardis, nemanjai, nhaehnle, javed.absar, sbc100, jgravelle-google, aheejin, kbarton, llvm-commits
Differential Revision: https://reviews.llvm.org/D41464
llvm-svn: 321375
2017-12-22 19:21:59 +01:00
|
|
|
TargetTransformInfo TargetMachine::getTargetTransformInfo(const Function &F) {
|
|
|
|
return TargetTransformInfo(F.getParent()->getDataLayout());
|
2017-10-13 00:57:28 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void TargetMachine::getNameWithPrefix(SmallVectorImpl<char> &Name,
|
|
|
|
const GlobalValue *GV, Mangler &Mang,
|
|
|
|
bool MayAlwaysUsePrivate) const {
|
|
|
|
if (MayAlwaysUsePrivate || !GV->hasPrivateLinkage()) {
|
|
|
|
// Simple case: If GV is not private, it is not important to find out if
|
|
|
|
// private labels are legal in this case or not.
|
|
|
|
Mang.getNameWithPrefix(Name, GV, false);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
const TargetLoweringObjectFile *TLOF = getObjFileLowering();
|
|
|
|
TLOF->getNameWithPrefix(Name, GV, *this);
|
|
|
|
}
|
|
|
|
|
|
|
|
MCSymbol *TargetMachine::getSymbol(const GlobalValue *GV) const {
|
|
|
|
const TargetLoweringObjectFile *TLOF = getObjFileLowering();
|
2020-04-16 21:52:34 +02:00
|
|
|
// XCOFF symbols could have special naming convention.
|
|
|
|
if (MCSymbol *TargetSymbol = TLOF->getTargetSymbol(GV, *this))
|
|
|
|
return TargetSymbol;
|
|
|
|
|
2017-10-13 00:57:28 +02:00
|
|
|
SmallString<128> NameStr;
|
|
|
|
getNameWithPrefix(NameStr, GV, TLOF->getMangler());
|
|
|
|
return TLOF->getContext().getOrCreateSymbol(NameStr);
|
|
|
|
}
|
(Re-landing) Expose a TargetMachine::getTargetTransformInfo function
Re-land r321234. It had to be reverted because it broke the shared
library build. The shared library build broke because there was a
missing LLVMBuild dependency from lib/Passes (which calls
TargetMachine::getTargetIRAnalysis) to lib/Target. As far as I can
tell, this problem was always there but was somehow masked
before (perhaps because TargetMachine::getTargetIRAnalysis was a
virtual function).
Original commit message:
This makes the TargetMachine interface a bit simpler. We still need
the std::function in TargetIRAnalysis to avoid having to add a
dependency from Analysis to Target.
See discussion:
http://lists.llvm.org/pipermail/llvm-dev/2017-December/119749.html
I avoided adding all of the backend owners to this review since the
change is simple, but let me know if you feel differently about this.
Reviewers: echristo, MatzeB, hfinkel
Reviewed By: hfinkel
Subscribers: jholewinski, jfb, arsenm, dschuff, mcrosier, sdardis, nemanjai, nhaehnle, javed.absar, sbc100, jgravelle-google, aheejin, kbarton, llvm-commits
Differential Revision: https://reviews.llvm.org/D41464
llvm-svn: 321375
2017-12-22 19:21:59 +01:00
|
|
|
|
|
|
|
TargetIRAnalysis TargetMachine::getTargetIRAnalysis() {
|
|
|
|
// Since Analysis can't depend on Target, use a std::function to invert the
|
|
|
|
// dependency.
|
|
|
|
return TargetIRAnalysis(
|
|
|
|
[this](const Function &F) { return this->getTargetTransformInfo(F); });
|
|
|
|
}
|
Add -fbinutils-version= to gate ELF features on the specified binutils version
There are two use cases.
Assembler
We have accrued some code gated on MCAsmInfo::useIntegratedAssembler(). Some
features are supported by latest GNU as, but we have to use
MCAsmInfo::useIntegratedAs() because the newer versions have not been widely
adopted (e.g. SHF_LINK_ORDER 'o' and 'unique' linkage in 2.35, --compress-debug-sections= in 2.26).
Linker
We want to use features supported only by LLD or very new GNU ld, or don't want
to work around older GNU ld. We currently can't represent that "we don't care
about old GNU ld". You can find such workarounds in a few other places, e.g.
Mips/MipsAsmprinter.cpp PowerPC/PPCTOCRegDeps.cpp X86/X86MCInstrLower.cpp
AArch64 TLS workaround for R_AARCH64_TLSLD_MOVW_DTPREL_* (PR ld/18276),
R_AARCH64_TLSLE_LDST8_TPREL_LO12 (https://bugs.llvm.org/show_bug.cgi?id=36727 https://sourceware.org/bugzilla/show_bug.cgi?id=22969)
Mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER components (supported by LLD in D84001;
GNU ld feature request https://sourceware.org/bugzilla/show_bug.cgi?id=16833 may take a while before available).
This feature allows to garbage collect some unused sections (e.g. fragmented .gcc_except_table).
This patch adds `-fbinutils-version=` to clang and `-binutils-version` to llc.
It changes one codegen place in SHF_MERGE to demonstrate its usage.
`-fbinutils-version=2.35` means the produced object file does not care about GNU
ld<2.35 compatibility. When `-fno-integrated-as` is specified, the produced
assembly can be consumed by GNU as>=2.35, but older versions may not work.
`-fbinutils-version=none` means that we can use all ELF features, regardless of
GNU as/ld support.
Both clang and llc need `parseBinutilsVersion`. Such command line parsing is
usually implemented in `llvm/lib/CodeGen/CommandFlags.cpp` (LLVMCodeGen),
however, ClangCodeGen does not depend on LLVMCodeGen. So I add
`parseBinutilsVersion` to `llvm/lib/Target/TargetMachine.cpp` (LLVMTarget).
Differential Revision: https://reviews.llvm.org/D85474
2021-01-26 21:28:23 +01:00
|
|
|
|
|
|
|
std::pair<int, int> TargetMachine::parseBinutilsVersion(StringRef Version) {
|
|
|
|
if (Version == "none")
|
|
|
|
return {INT_MAX, INT_MAX}; // Make binutilsIsAtLeast() return true.
|
|
|
|
std::pair<int, int> Ret;
|
|
|
|
if (!Version.consumeInteger(10, Ret.first) && Version.consume_front("."))
|
|
|
|
Version.consumeInteger(10, Ret.second);
|
|
|
|
return Ret;
|
|
|
|
}
|