mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-18 13:34:04 +00:00
c299ad32c8
The current PowerPC MC back end distinguishes between fixup_ppc_ha16 and fixup_ppc_lo16, which are determined by the instruction the fixup applies to, and uses this distinction to decide whether a fixup ought to resolve to the high or the low part of a symbol address. This isn't quite correct, however. It is valid -if unusual- assembler to use, e.g. li 1, symbol@ha or lis 1, symbol@l Whether the high or the low part of the address is used depends solely on the @ suffix, not on the instruction. In addition, both li 1, symbol and lis 1, symbol are valid, assuming the symbol address fits into 16 bits; again, both will then refer to the actual symbol value (so li will load the value itself, while lis will load the value shifted by 16). To fix this, two places need to be adapted. If the fixup cannot be resolved at assembler time, a relocation needs to be emitted via PPCELFObjectWriter::getRelocType. This routine already looks at the VK_ type to determine the relocation. The only problem is that will reject any _LO modifier in a ha16 fixup and vice versa. This is simply incorrect; any of those modifiers ought to be accepted for either fixup type. If the fixup *can* be resolved at assembler time, adjustFixupValue currently selects the high bits of the symbol value if the fixup type is ha16. Again, this is incorrect; see the above example lis 1, symbol Now, in theory we'd have to respect a VK_ modifier here. However, in fact common code never even attempts to resolve symbol references using any nontrivial VK_ modifier at assembler time; it will always fall back to emitting a reloc and letting the linker handle it. If this ever changes, presumably there'd have to be a target callback to resolve VK_ modifiers. We'd then have to handle @ha etc. there. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182091 91177308-0d34-0410-b5e6-96231b3b80d8
228 lines
7.5 KiB
C++
228 lines
7.5 KiB
C++
//===-- PPCELFObjectWriter.cpp - PPC ELF Writer ---------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "MCTargetDesc/PPCMCTargetDesc.h"
|
|
#include "MCTargetDesc/PPCFixupKinds.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include "llvm/MC/MCELFObjectWriter.h"
|
|
#include "llvm/MC/MCExpr.h"
|
|
#include "llvm/MC/MCValue.h"
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
class PPCELFObjectWriter : public MCELFObjectTargetWriter {
|
|
public:
|
|
PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI);
|
|
|
|
virtual ~PPCELFObjectWriter();
|
|
protected:
|
|
virtual unsigned getRelocTypeInner(const MCValue &Target,
|
|
const MCFixup &Fixup,
|
|
bool IsPCRel) const;
|
|
virtual unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
|
|
bool IsPCRel, bool IsRelocWithSymbol,
|
|
int64_t Addend) const;
|
|
virtual const MCSymbol *undefinedExplicitRelSym(const MCValue &Target,
|
|
const MCFixup &Fixup,
|
|
bool IsPCRel) const;
|
|
};
|
|
}
|
|
|
|
PPCELFObjectWriter::PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI)
|
|
: MCELFObjectTargetWriter(Is64Bit, OSABI,
|
|
Is64Bit ? ELF::EM_PPC64 : ELF::EM_PPC,
|
|
/*HasRelocationAddend*/ true) {}
|
|
|
|
PPCELFObjectWriter::~PPCELFObjectWriter() {
|
|
}
|
|
|
|
unsigned PPCELFObjectWriter::getRelocTypeInner(const MCValue &Target,
|
|
const MCFixup &Fixup,
|
|
bool IsPCRel) const
|
|
{
|
|
MCSymbolRefExpr::VariantKind Modifier = Target.isAbsolute() ?
|
|
MCSymbolRefExpr::VK_None : Target.getSymA()->getKind();
|
|
|
|
// determine the type of the relocation
|
|
unsigned Type;
|
|
if (IsPCRel) {
|
|
switch ((unsigned)Fixup.getKind()) {
|
|
default:
|
|
llvm_unreachable("Unimplemented");
|
|
case PPC::fixup_ppc_br24:
|
|
Type = ELF::R_PPC_REL24;
|
|
break;
|
|
case PPC::fixup_ppc_brcond14:
|
|
Type = ELF::R_PPC_REL14;
|
|
break;
|
|
case FK_Data_4:
|
|
case FK_PCRel_4:
|
|
Type = ELF::R_PPC_REL32;
|
|
break;
|
|
case FK_Data_8:
|
|
case FK_PCRel_8:
|
|
Type = ELF::R_PPC64_REL64;
|
|
break;
|
|
}
|
|
} else {
|
|
switch ((unsigned)Fixup.getKind()) {
|
|
default: llvm_unreachable("invalid fixup kind!");
|
|
case PPC::fixup_ppc_br24:
|
|
Type = ELF::R_PPC_ADDR24;
|
|
break;
|
|
case PPC::fixup_ppc_brcond14:
|
|
Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
|
|
break;
|
|
case PPC::fixup_ppc_ha16:
|
|
case PPC::fixup_ppc_lo16:
|
|
switch (Modifier) {
|
|
default: llvm_unreachable("Unsupported Modifier");
|
|
case MCSymbolRefExpr::VK_PPC_TPREL16_HA:
|
|
Type = ELF::R_PPC_TPREL16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_DTPREL16_HA:
|
|
Type = ELF::R_PPC64_DTPREL16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GAS_HA16:
|
|
case MCSymbolRefExpr::VK_PPC_DARWIN_HA16:
|
|
Type = ELF::R_PPC_ADDR16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TOC16_HA:
|
|
Type = ELF::R_PPC64_TOC16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TPREL16_HA:
|
|
Type = ELF::R_PPC64_GOT_TPREL16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TLSGD16_HA:
|
|
Type = ELF::R_PPC64_GOT_TLSGD16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TLSLD16_HA:
|
|
Type = ELF::R_PPC64_GOT_TLSLD16_HA;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TPREL16_LO:
|
|
Type = ELF::R_PPC_TPREL16_LO;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_DTPREL16_LO:
|
|
Type = ELF::R_PPC64_DTPREL16_LO;
|
|
break;
|
|
case MCSymbolRefExpr::VK_None:
|
|
Type = ELF::R_PPC_ADDR16;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GAS_LO16:
|
|
case MCSymbolRefExpr::VK_PPC_DARWIN_LO16:
|
|
Type = ELF::R_PPC_ADDR16_LO;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TOC_ENTRY:
|
|
Type = ELF::R_PPC64_TOC16;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TOC16_LO:
|
|
Type = ELF::R_PPC64_TOC16_LO;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TLSGD16_LO:
|
|
Type = ELF::R_PPC64_GOT_TLSGD16_LO;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TLSLD16_LO:
|
|
Type = ELF::R_PPC64_GOT_TLSLD16_LO;
|
|
break;
|
|
}
|
|
break;
|
|
case PPC::fixup_ppc_lo16_ds:
|
|
switch (Modifier) {
|
|
default: llvm_unreachable("Unsupported Modifier");
|
|
case MCSymbolRefExpr::VK_None:
|
|
Type = ELF::R_PPC64_ADDR16_DS;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GAS_LO16:
|
|
case MCSymbolRefExpr::VK_PPC_DARWIN_LO16:
|
|
Type = ELF::R_PPC64_ADDR16_LO_DS;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TOC_ENTRY:
|
|
Type = ELF::R_PPC64_TOC16_DS;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TOC16_LO:
|
|
Type = ELF::R_PPC64_TOC16_LO_DS;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_GOT_TPREL16_LO:
|
|
Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
|
|
break;
|
|
}
|
|
break;
|
|
case PPC::fixup_ppc_tlsreg:
|
|
Type = ELF::R_PPC64_TLS;
|
|
break;
|
|
case PPC::fixup_ppc_nofixup:
|
|
switch (Modifier) {
|
|
default: llvm_unreachable("Unsupported Modifier");
|
|
case MCSymbolRefExpr::VK_PPC_TLSGD:
|
|
Type = ELF::R_PPC64_TLSGD;
|
|
break;
|
|
case MCSymbolRefExpr::VK_PPC_TLSLD:
|
|
Type = ELF::R_PPC64_TLSLD;
|
|
break;
|
|
}
|
|
break;
|
|
case FK_Data_8:
|
|
switch (Modifier) {
|
|
default: llvm_unreachable("Unsupported Modifier");
|
|
case MCSymbolRefExpr::VK_PPC_TOC:
|
|
Type = ELF::R_PPC64_TOC;
|
|
break;
|
|
case MCSymbolRefExpr::VK_None:
|
|
Type = ELF::R_PPC64_ADDR64;
|
|
break;
|
|
}
|
|
break;
|
|
case FK_Data_4:
|
|
Type = ELF::R_PPC_ADDR32;
|
|
break;
|
|
case FK_Data_2:
|
|
Type = ELF::R_PPC_ADDR16;
|
|
break;
|
|
}
|
|
}
|
|
return Type;
|
|
}
|
|
|
|
unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
|
|
const MCFixup &Fixup,
|
|
bool IsPCRel,
|
|
bool IsRelocWithSymbol,
|
|
int64_t Addend) const {
|
|
return getRelocTypeInner(Target, Fixup, IsPCRel);
|
|
}
|
|
|
|
const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
|
|
const MCFixup &Fixup,
|
|
bool IsPCRel) const {
|
|
assert(Target.getSymA() && "SymA cannot be 0");
|
|
const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
|
|
|
|
unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
|
|
|
|
// The .odp creation emits a relocation against the symbol ".TOC." which
|
|
// create a R_PPC64_TOC relocation. However the relocation symbol name
|
|
// in final object creation should be NULL, since the symbol does not
|
|
// really exist, it is just the reference to TOC base for the current
|
|
// object file.
|
|
bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
|
|
|
|
if (EmitThisSym && !Symbol.isTemporary())
|
|
return &Symbol;
|
|
return NULL;
|
|
}
|
|
|
|
MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
|
|
bool Is64Bit,
|
|
uint8_t OSABI) {
|
|
MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
|
|
return createELFObjectWriter(MOTW, OS, /*IsLittleEndian=*/false);
|
|
}
|