Skip to content

[LLD][SPARC] Implement enough functionality to run non-trivial 64-bit programs #137919

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[LLD][SPARC] Implement enough functionality to run non-trivial 64-bit programs #137919

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
273 changes: 235 additions & 38 deletions lld/ELF/Arch/SPARCV9.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
//
//===----------------------------------------------------------------------===//

#include "OutputSections.h"
#include "Symbols.h"
#include "SyntheticSections.h"
#include "Target.h"
Expand All @@ -24,10 +25,17 @@ class SPARCV9 final : public TargetInfo {
SPARCV9(Ctx &);
RelExpr getRelExpr(RelType type, const Symbol &s,
const uint8_t *loc) const override;
RelType getDynRel(RelType type) const override;
void writeGotHeader(uint8_t *buf) const override;
void writePlt(uint8_t *buf, const Symbol &sym,
uint64_t pltEntryAddr) const override;
void relocate(uint8_t *loc, const Relocation &rel,
uint64_t val) const override;
RelExpr adjustGotOffExpr(RelType type, const Symbol &sym, int64_t addend,
const uint8_t *loc) const override;

private:
void relaxGot(uint8_t *loc, const Relocation &rel, uint64_t val) const;
};
} // namespace

Expand All @@ -36,9 +44,16 @@ SPARCV9::SPARCV9(Ctx &ctx) : TargetInfo(ctx) {
gotRel = R_SPARC_GLOB_DAT;
pltRel = R_SPARC_JMP_SLOT;
relativeRel = R_SPARC_RELATIVE;
iRelativeRel = R_SPARC_IRELATIVE;
symbolicRel = R_SPARC_64;
tlsGotRel = R_SPARC_TLS_TPOFF64;
tlsModuleIndexRel = R_SPARC_TLS_DTPMOD64;
tlsOffsetRel = R_SPARC_TLS_DTPOFF64;

gotHeaderEntriesNum = 1;
pltEntrySize = 32;
pltHeaderSize = 4 * pltEntrySize;
usesGotPlt = false;

defaultCommonPageSize = 8192;
defaultMaxPageSize = 0x100000;
Expand All @@ -48,109 +63,222 @@ SPARCV9::SPARCV9(Ctx &ctx) : TargetInfo(ctx) {
RelExpr SPARCV9::getRelExpr(RelType type, const Symbol &s,
const uint8_t *loc) const {
switch (type) {
case R_SPARC_NONE:
return R_NONE;
case R_SPARC_8:
case R_SPARC_16:
case R_SPARC_32:
case R_SPARC_HI22:
case R_SPARC_13:
case R_SPARC_LO10:
case R_SPARC_UA32:
case R_SPARC_64:
case R_SPARC_UA64:
case R_SPARC_H44:
case R_SPARC_M44:
case R_SPARC_L44:
case R_SPARC_HH22:
case R_SPARC_HM10:
case R_SPARC_LM22:
case R_SPARC_HI22:
case R_SPARC_LO10:
case R_SPARC_HIX22:
case R_SPARC_LOX10:
case R_SPARC_H44:
case R_SPARC_M44:
case R_SPARC_L44:
case R_SPARC_UA64:
case R_SPARC_UA16:
return R_ABS;
case R_SPARC_PC10:
case R_SPARC_PC22:
case R_SPARC_DISP8:
case R_SPARC_DISP16:
case R_SPARC_DISP32:
case R_SPARC_WDISP30:
case R_SPARC_WDISP22:
case R_SPARC_PC10:
case R_SPARC_PC22:
case R_SPARC_WDISP16:
case R_SPARC_DISP64:
return R_PC;
case R_SPARC_GOT10:
return R_GOT_OFF;
case R_SPARC_GOT13:
case R_SPARC_GOT22:
case R_SPARC_GOTDATA_OP_HIX22:
case R_SPARC_GOTDATA_OP_LOX10:
case R_SPARC_GOTDATA_OP:
return R_GOT_OFF;
case R_SPARC_WPLT30:
case R_SPARC_TLS_GD_CALL:
case R_SPARC_TLS_LDM_CALL:
return R_PLT_PC;
case R_SPARC_NONE:
return R_NONE;
case R_SPARC_TLS_GD_HI22:
case R_SPARC_TLS_GD_LO10:
return R_TLSGD_GOT;
case R_SPARC_TLS_GD_ADD:
case R_SPARC_TLS_LDM_ADD:
case R_SPARC_TLS_LDO_ADD:
case R_SPARC_TLS_IE_LD:
case R_SPARC_TLS_IE_LDX:
case R_SPARC_TLS_IE_ADD:
return R_NONE; // TODO: Relax TLS relocations.
case R_SPARC_TLS_LDM_HI22:
case R_SPARC_TLS_LDM_LO10:
return R_TLSLD_GOT;
case R_SPARC_TLS_LDO_HIX22:
case R_SPARC_TLS_LDO_LOX10:
return R_DTPREL;
case R_SPARC_TLS_IE_HI22:
case R_SPARC_TLS_IE_LO10:
return R_GOT;
case R_SPARC_TLS_LE_HIX22:
case R_SPARC_TLS_LE_LOX10:
return R_TPREL;
case R_SPARC_GOTDATA_HIX22:
case R_SPARC_GOTDATA_LOX10:
return R_GOTREL;
default:
Err(ctx) << getErrorLoc(ctx, loc) << "unknown relocation (" << type.v
<< ") against symbol " << &s;
return R_NONE;
}
}

RelType SPARCV9::getDynRel(RelType type) const {
if (type == symbolicRel)
return type;
return R_SPARC_NONE;
}

void SPARCV9::relocate(uint8_t *loc, const Relocation &rel,
uint64_t val) const {
switch (rel.expr) {
case R_RELAX_GOT_OFF:
return relaxGot(loc, rel, val);
default:
break;
}

switch (rel.type) {
case R_SPARC_8:
// V-byte8
checkUInt(ctx, loc, val, 8, rel);
*loc = val;
break;
case R_SPARC_16:
case R_SPARC_UA16:
// V-half16
checkUInt(ctx, loc, val, 16, rel);
write16be(loc, val);
break;
case R_SPARC_32:
case R_SPARC_UA32:
// V-word32
checkUInt(ctx, loc, val, 32, rel);
write32be(loc, val);
break;
case R_SPARC_DISP8:
// V-byte8
checkIntUInt(ctx, loc, val, 8, rel);
*loc = val;
break;
case R_SPARC_DISP16:
// V-half16
checkIntUInt(ctx, loc, val, 16, rel);
write16be(loc, val);
break;
case R_SPARC_DISP32:
// V-disp32
checkInt(ctx, loc, val, 32, rel);
checkIntUInt(ctx, loc, val, 32, rel);
write32be(loc, val);
break;
case R_SPARC_WDISP30:
case R_SPARC_WPLT30:
case R_SPARC_TLS_GD_CALL:
case R_SPARC_TLS_LDM_CALL:
// V-disp30
checkInt(ctx, loc, val, 32, rel);
checkIntUInt(ctx, loc, val, 32, rel);
write32be(loc, (read32be(loc) & ~0x3fffffff) | ((val >> 2) & 0x3fffffff));
break;
case R_SPARC_22:
// V-imm22
checkUInt(ctx, loc, val, 22, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | (val & 0x003fffff));
case R_SPARC_WDISP22:
// V-disp22
checkIntUInt(ctx, loc, val, 24, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 2) & 0x003fffff));
break;
case R_SPARC_GOT22:
case R_SPARC_PC22:
case R_SPARC_LM22:
// T-imm22
case R_SPARC_HI22: // Only T-imm22 on 32-bit, despite binutils behavior.
// V-imm22
checkUInt(ctx, loc, val, 32, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 10) & 0x003fffff));
break;
case R_SPARC_HI22:
case R_SPARC_22:
// V-imm22
checkUInt(ctx, loc, val >> 10, 22, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 10) & 0x003fffff));
checkUInt(ctx, loc, val, 22, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | (val & 0x003fffff));
break;
case R_SPARC_WDISP19:
// V-disp19
checkInt(ctx, loc, val, 21, rel);
write32be(loc, (read32be(loc) & ~0x0007ffff) | ((val >> 2) & 0x0007ffff));
case R_SPARC_13:
case R_SPARC_GOT13:
// V-simm13
checkIntUInt(ctx, loc, val, 13, rel);
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x00001fff));
break;
case R_SPARC_LO10:
case R_SPARC_GOT10:
case R_SPARC_PC10:
// T-simm10
case R_SPARC_TLS_GD_LO10:
case R_SPARC_TLS_LDM_LO10:
case R_SPARC_TLS_IE_LO10:
// T-simm13
write32be(loc, (read32be(loc) & ~0x000003ff) | (val & 0x000003ff));
break;
case R_SPARC_LO10:
case R_SPARC_TLS_LDO_LOX10:
// T-simm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x000003ff));
break;
case R_SPARC_GOT22:
case R_SPARC_LM22:
case R_SPARC_TLS_GD_HI22:
case R_SPARC_TLS_LDM_HI22:
case R_SPARC_TLS_LDO_HIX22: // Not V-simm22, despite binutils behavior.
case R_SPARC_TLS_IE_HI22:
// T-(s)imm22
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 10) & 0x003fffff));
break;
case R_SPARC_PC22:
// V-disp22
checkIntUInt(ctx, loc, val, 32, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 10) & 0x003fffff));
break;
case R_SPARC_64:
case R_SPARC_DISP64:
case R_SPARC_UA64:
// V-xword64
write64be(loc, val);
break;
case R_SPARC_HH22:
// V-imm22
checkUInt(ctx, loc, val >> 42, 22, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 42) & 0x003fffff));
break;
case R_SPARC_HM10:
// T-simm13
write32be(loc, (read32be(loc) & ~0x00001fff) | ((val >> 32) & 0x000003ff));
write32be(loc, (read32be(loc) & ~0x000003ff) | ((val >> 32) & 0x000003ff));
break;
case R_SPARC_WDISP16:
// V-d2/disp14
checkIntUInt(ctx, loc, val, 18, rel);
write32be(loc, (read32be(loc) & ~0x0303fff) | (((val >> 2) & 0xc000) << 6) |
((val >> 2) & 0x00003fff));
break;
case R_SPARC_WDISP19:
// V-disp19
checkIntUInt(ctx, loc, val, 21, rel);
write32be(loc, (read32be(loc) & ~0x0007ffff) | ((val >> 2) & 0x0007ffff));
break;
case R_SPARC_HIX22:
// V-imm22
checkUInt(ctx, loc, ~val, 32, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((~val >> 10) & 0x003fffff));
break;
case R_SPARC_LOX10:
case R_SPARC_TLS_LE_LOX10:
// T-simm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x000003ff) | 0x1c00);
break;
case R_SPARC_H44:
// V-imm22
checkUInt(ctx, loc, val >> 22, 22, rel);
checkUInt(ctx, loc, val, 44, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) | ((val >> 22) & 0x003fffff));
break;
case R_SPARC_M44:
Expand All @@ -159,21 +287,90 @@ void SPARCV9::relocate(uint8_t *loc, const Relocation &rel,
break;
case R_SPARC_L44:
// T-imm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x00000fff));
write32be(loc, (read32be(loc) & ~0x00000fff) | (val & 0x00000fff));
break;
case R_SPARC_TLS_LE_HIX22:
case R_SPARC_TLS_GD_ADD:
case R_SPARC_TLS_LDM_ADD:
case R_SPARC_TLS_LDO_ADD:
case R_SPARC_TLS_IE_LD:
case R_SPARC_TLS_IE_LDX:
case R_SPARC_TLS_IE_ADD:
// None
break;
case R_SPARC_TLS_LE_HIX22: // Not V-imm2, despite binutils behavior.
// T-imm22
write32be(loc, (read32be(loc) & ~0x003fffff) | ((~val >> 10) & 0x003fffff));
break;
case R_SPARC_TLS_LE_LOX10:
// T-simm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x000003ff) | 0x1C00);
case R_SPARC_GOTDATA_HIX22:
// V-imm22
checkUInt(ctx, loc, ((int64_t)val < 0 ? ~val : val), 32, rel);
write32be(loc, (read32be(loc) & ~0x003fffff) |
((((int64_t)val < 0 ? ~val : val) >> 10) & 0x003fffff));
break;
case R_SPARC_GOTDATA_OP_HIX22: // Not V-imm22, despite binutils behavior.
// Non-relaxed case.
// T-imm22
write32be(loc, (read32be(loc) & ~0x003fffff) |
((((int64_t)val < 0 ? ~val : val) >> 10) & 0x003fffff));
break;
case R_SPARC_GOTDATA_LOX10:
case R_SPARC_GOTDATA_OP_LOX10: // Non-relaxed case.
// T-imm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x000003ff) |
((int64_t)val < 0 ? 0x1c00 : 0));
break;
case R_SPARC_GOTDATA_OP: // Non-relaxed case.
// word32
// Nothing needs to be done in the non-relaxed case.
break;
default:
llvm_unreachable("unknown relocation");
}
}

RelExpr SPARCV9::adjustGotOffExpr(RelType type, const Symbol &sym,
int64_t addend, const uint8_t *loc) const {
switch (type) {
case R_SPARC_GOTDATA_OP_HIX22:
case R_SPARC_GOTDATA_OP_LOX10:
case R_SPARC_GOTDATA_OP:
if (sym.isLocal())
return R_RELAX_GOT_OFF;

[[fallthrough]];
default:
return R_GOT_OFF;
}
}

void SPARCV9::relaxGot(uint8_t *loc, const Relocation &rel,
uint64_t val) const {
switch (rel.type) {
case R_SPARC_GOTDATA_OP_HIX22: // Not V-imm22, despite binutils behavior.
// T-imm22
write32be(loc, (read32be(loc) & ~0x003fffff) |
((((int64_t)val < 0 ? ~val : val) >> 10) & 0x003fffff));
break;
case R_SPARC_GOTDATA_OP_LOX10:
// T-imm13
write32be(loc, (read32be(loc) & ~0x00001fff) | (val & 0x000003ff) |
((int64_t)val < 0 ? 0x1c00 : 0));
break;
case R_SPARC_GOTDATA_OP:
// word32
// ldx [%rs1 + %rs2], %rd -> add %rs1, %rs2, %rd
write32be(loc, (read32be(loc) & 0x3e07c01f) | 0x80000000);
break;
default:
llvm_unreachable("unknown relocation");
}
}

void SPARCV9::writeGotHeader(uint8_t *buf) const {
// _GLOBAL_OFFSET_TABLE_[0] = _DYNAMIC
write32(ctx, buf, ctx.mainPart->dynamic->getVA());
}

void SPARCV9::writePlt(uint8_t *buf, const Symbol & /*sym*/,
uint64_t pltEntryAddr) const {
const uint8_t pltData[] = {
Expand Down
Loading