Rename these relocation specifier constants, aligning with the naming convention used by other targets (`S_` instead of `VK_`). * ELF/COFF: AArch64MCExpr::VK_ => AArch64::S_ (VK_ABS/VK_PAGE_ABS are also used by Mach-O as a hack) * Mach-O: AArch64MCExpr::M_ => AArch64::S_MACHO_ * shared: AArch64MCExpr::None => AArch64::S_None Apologies for the churn following the recent rename in #132595. This change ensures consistency after introducing MCSpecifierExpr to replace MCTargetSpecifier subclasses. Pull Request: https://github.com/llvm/llvm-project/pull/144633
189 lines
7.8 KiB
C++
189 lines
7.8 KiB
C++
//===-- AArch64TargetObjectFile.cpp - AArch64 Object Info -----------------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "AArch64TargetObjectFile.h"
|
|
#include "AArch64TargetMachine.h"
|
|
#include "MCTargetDesc/AArch64MCAsmInfo.h"
|
|
#include "MCTargetDesc/AArch64TargetStreamer.h"
|
|
#include "llvm/BinaryFormat/Dwarf.h"
|
|
#include "llvm/CodeGen/MachineModuleInfoImpls.h"
|
|
#include "llvm/IR/Mangler.h"
|
|
#include "llvm/IR/Module.h"
|
|
#include "llvm/MC/MCContext.h"
|
|
#include "llvm/MC/MCExpr.h"
|
|
#include "llvm/MC/MCSectionELF.h"
|
|
#include "llvm/MC/MCStreamer.h"
|
|
#include "llvm/MC/MCValue.h"
|
|
using namespace llvm;
|
|
using namespace dwarf;
|
|
|
|
void AArch64_ELFTargetObjectFile::Initialize(MCContext &Ctx,
|
|
const TargetMachine &TM) {
|
|
TargetLoweringObjectFileELF::Initialize(Ctx, TM);
|
|
PLTRelativeSpecifier = AArch64::S_PLT;
|
|
SupportIndirectSymViaGOTPCRel = true;
|
|
|
|
// AARCH64 ELF ABI does not define static relocation type for TLS offset
|
|
// within a module. Do not generate AT_location for TLS variables.
|
|
SupportDebugThreadLocalLocation = false;
|
|
|
|
// Make sure the implicitly created empty .text section has the
|
|
// SHF_AARCH64_PURECODE flag set if the "+execute-only" target feature is
|
|
// present.
|
|
if (TM.getMCSubtargetInfo()->hasFeature(AArch64::FeatureExecuteOnly)) {
|
|
auto *Text = cast<MCSectionELF>(TextSection);
|
|
Text->setFlags(Text->getFlags() | ELF::SHF_AARCH64_PURECODE);
|
|
}
|
|
}
|
|
|
|
void AArch64_ELFTargetObjectFile::emitPersonalityValueImpl(
|
|
MCStreamer &Streamer, const DataLayout &DL, const MCSymbol *Sym,
|
|
const MachineModuleInfo *MMI) const {
|
|
if (!MMI->getObjFileInfo<MachineModuleInfoELF>().hasSignedPersonality()) {
|
|
TargetLoweringObjectFileELF::emitPersonalityValueImpl(Streamer, DL, Sym,
|
|
MMI);
|
|
return;
|
|
}
|
|
auto *TS = static_cast<AArch64TargetStreamer *>(Streamer.getTargetStreamer());
|
|
// The value is ptrauth_string_discriminator("personality")
|
|
constexpr uint16_t Discriminator = 0x7EAD;
|
|
TS->emitAuthValue(MCSymbolRefExpr::create(Sym, getContext()), Discriminator,
|
|
AArch64PACKey::IA, /*HasAddressDiversity=*/true);
|
|
}
|
|
|
|
const MCExpr *AArch64_ELFTargetObjectFile::getIndirectSymViaGOTPCRel(
|
|
const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV,
|
|
int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const {
|
|
int64_t FinalOffset = Offset + MV.getConstant();
|
|
const MCExpr *Res =
|
|
MCSymbolRefExpr::create(Sym, AArch64::S_GOTPCREL, getContext());
|
|
const MCExpr *Off = MCConstantExpr::create(FinalOffset, getContext());
|
|
return MCBinaryExpr::createAdd(Res, Off, getContext());
|
|
}
|
|
|
|
AArch64_MachoTargetObjectFile::AArch64_MachoTargetObjectFile() {
|
|
SupportGOTPCRelWithOffset = false;
|
|
}
|
|
|
|
const MCExpr *AArch64_MachoTargetObjectFile::getTTypeGlobalReference(
|
|
const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM,
|
|
MachineModuleInfo *MMI, MCStreamer &Streamer) const {
|
|
// On Darwin, we can reference dwarf symbols with foo@GOT-., which
|
|
// is an indirect pc-relative reference. The default implementation
|
|
// won't reference using the GOT, so we need this target-specific
|
|
// version.
|
|
if (Encoding & (DW_EH_PE_indirect | DW_EH_PE_pcrel)) {
|
|
const MCSymbol *Sym = TM.getSymbol(GV);
|
|
const MCExpr *Res =
|
|
MCSymbolRefExpr::create(Sym, AArch64::S_MACHO_GOT, getContext());
|
|
MCSymbol *PCSym = getContext().createTempSymbol();
|
|
Streamer.emitLabel(PCSym);
|
|
const MCExpr *PC = MCSymbolRefExpr::create(PCSym, getContext());
|
|
return MCBinaryExpr::createSub(Res, PC, getContext());
|
|
}
|
|
|
|
return TargetLoweringObjectFileMachO::getTTypeGlobalReference(
|
|
GV, Encoding, TM, MMI, Streamer);
|
|
}
|
|
|
|
MCSymbol *AArch64_MachoTargetObjectFile::getCFIPersonalitySymbol(
|
|
const GlobalValue *GV, const TargetMachine &TM,
|
|
MachineModuleInfo *MMI) const {
|
|
return TM.getSymbol(GV);
|
|
}
|
|
|
|
const MCExpr *AArch64_MachoTargetObjectFile::getIndirectSymViaGOTPCRel(
|
|
const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV,
|
|
int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const {
|
|
assert((Offset+MV.getConstant() == 0) &&
|
|
"Arch64 does not support GOT PC rel with extra offset");
|
|
// On ARM64 Darwin, we can reference symbols with foo@GOT-., which
|
|
// is an indirect pc-relative reference.
|
|
const MCExpr *Res =
|
|
MCSymbolRefExpr::create(Sym, AArch64::S_MACHO_GOT, getContext());
|
|
MCSymbol *PCSym = getContext().createTempSymbol();
|
|
Streamer.emitLabel(PCSym);
|
|
const MCExpr *PC = MCSymbolRefExpr::create(PCSym, getContext());
|
|
return MCBinaryExpr::createSub(Res, PC, getContext());
|
|
}
|
|
|
|
void AArch64_MachoTargetObjectFile::getNameWithPrefix(
|
|
SmallVectorImpl<char> &OutName, const GlobalValue *GV,
|
|
const TargetMachine &TM) const {
|
|
// AArch64 does not use section-relative relocations so any global symbol must
|
|
// be accessed via at least a linker-private symbol.
|
|
getMangler().getNameWithPrefix(OutName, GV, /* CannotUsePrivateLabel */ true);
|
|
}
|
|
|
|
template <typename MachineModuleInfoTarget>
|
|
static MCSymbol *getAuthPtrSlotSymbolHelper(
|
|
MCContext &Ctx, const TargetMachine &TM, MachineModuleInfo *MMI,
|
|
MachineModuleInfoTarget &TargetMMI, const MCSymbol *RawSym,
|
|
AArch64PACKey::ID Key, uint16_t Discriminator) {
|
|
const DataLayout &DL = MMI->getModule()->getDataLayout();
|
|
|
|
MCSymbol *StubSym = Ctx.getOrCreateSymbol(
|
|
DL.getLinkerPrivateGlobalPrefix() + RawSym->getName() +
|
|
Twine("$auth_ptr$") + AArch64PACKeyIDToString(Key) + Twine('$') +
|
|
Twine(Discriminator));
|
|
|
|
const MCExpr *&StubAuthPtrRef = TargetMMI.getAuthPtrStubEntry(StubSym);
|
|
|
|
if (StubAuthPtrRef)
|
|
return StubSym;
|
|
|
|
const MCExpr *Sym = MCSymbolRefExpr::create(RawSym, Ctx);
|
|
|
|
StubAuthPtrRef =
|
|
AArch64AuthMCExpr::create(Sym, Discriminator, Key,
|
|
/*HasAddressDiversity=*/false, Ctx);
|
|
return StubSym;
|
|
}
|
|
|
|
MCSymbol *AArch64_ELFTargetObjectFile::getAuthPtrSlotSymbol(
|
|
const TargetMachine &TM, MachineModuleInfo *MMI, const MCSymbol *RawSym,
|
|
AArch64PACKey::ID Key, uint16_t Discriminator) const {
|
|
auto &ELFMMI = MMI->getObjFileInfo<MachineModuleInfoELF>();
|
|
return getAuthPtrSlotSymbolHelper(getContext(), TM, MMI, ELFMMI, RawSym, Key,
|
|
Discriminator);
|
|
}
|
|
|
|
MCSymbol *AArch64_MachoTargetObjectFile::getAuthPtrSlotSymbol(
|
|
const TargetMachine &TM, MachineModuleInfo *MMI, const MCSymbol *RawSym,
|
|
AArch64PACKey::ID Key, uint16_t Discriminator) const {
|
|
auto &MachOMMI = MMI->getObjFileInfo<MachineModuleInfoMachO>();
|
|
return getAuthPtrSlotSymbolHelper(getContext(), TM, MMI, MachOMMI, RawSym,
|
|
Key, Discriminator);
|
|
}
|
|
|
|
static bool isExecuteOnlyFunction(const GlobalObject *GO, SectionKind Kind,
|
|
const TargetMachine &TM) {
|
|
if (const Function *F = dyn_cast<Function>(GO))
|
|
if (TM.getSubtarget<AArch64Subtarget>(*F).genExecuteOnly() && Kind.isText())
|
|
return true;
|
|
return false;
|
|
}
|
|
|
|
MCSection *AArch64_ELFTargetObjectFile::getExplicitSectionGlobal(
|
|
const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
|
|
// Set execute-only access for the explicit section
|
|
if (isExecuteOnlyFunction(GO, Kind, TM))
|
|
Kind = SectionKind::getExecuteOnly();
|
|
|
|
return TargetLoweringObjectFileELF::getExplicitSectionGlobal(GO, Kind, TM);
|
|
}
|
|
|
|
MCSection *AArch64_ELFTargetObjectFile::SelectSectionForGlobal(
|
|
const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
|
|
// Set execute-only access for the explicit section
|
|
if (isExecuteOnlyFunction(GO, Kind, TM))
|
|
Kind = SectionKind::getExecuteOnly();
|
|
|
|
return TargetLoweringObjectFileELF::SelectSectionForGlobal(GO, Kind, TM);
|
|
}
|