1
1
mirror of https://github.com/rui314/mold.git synced 2024-09-22 02:20:51 +03:00
mold/input_sections.cc

400 lines
11 KiB
C++
Raw Normal View History

2020-10-20 08:54:35 +03:00
#include "mold.h"
2020-10-13 14:35:35 +03:00
2020-12-10 09:59:24 +03:00
InputChunk::InputChunk(ObjectFile *file, const ElfShdr &shdr,
2020-12-10 07:44:58 +03:00
std::string_view name)
2020-11-29 11:47:51 +03:00
: file(file), shdr(shdr), name(name),
2020-12-17 15:19:29 +03:00
output_section(OutputSection::get_instance(name, shdr.sh_type, shdr.sh_flags)) {}
2020-10-14 10:27:45 +03:00
2021-01-08 14:33:29 +03:00
static std::string rel_to_string(u32 r_type) {
switch (r_type) {
case R_X86_64_NONE: return "R_X86_64_NONE";
case R_X86_64_8: return "R_X86_64_8";
case R_X86_64_16: return "R_X86_64_16";
case R_X86_64_32: return "R_X86_64_32";
case R_X86_64_32S: return "R_X86_64_32S";
case R_X86_64_64: return "R_X86_64_64";
case R_X86_64_PC8: return "R_X86_64_PC8";
case R_X86_64_PC16: return "R_X86_64_PC16";
case R_X86_64_PC32: return "R_X86_64_PC32";
case R_X86_64_PC64: return "R_X86_64_PC64";
case R_X86_64_GOT32: return "R_X86_64_GOT32";
case R_X86_64_GOTPC32: return "R_X86_64_GOTPC32";
case R_X86_64_GOTPCREL: return "R_X86_64_GOTPCREL";
case R_X86_64_GOTPCRELX: return "R_X86_64_GOTPCRELX";
case R_X86_64_REX_GOTPCRELX: return "R_X86_64_REX_GOTPCRELX";
case R_X86_64_PLT32: return "R_X86_64_PLT32";
case R_X86_64_TLSGD: return "R_X86_64_TLSGD";
case R_X86_64_TLSLD: return "R_X86_64_TLSLD";
case R_X86_64_TPOFF32: return "R_X86_64_TPOFF32";
case R_X86_64_DTPOFF32: return "R_X86_64_DTPOFF32";
case R_X86_64_TPOFF64: return "R_X86_64_TPOFF64";
case R_X86_64_DTPOFF64: return "R_X86_64_DTPOFF64";
case R_X86_64_GOTTPOFF: return "R_X86_64_GOTTPOFF";
}
unreachable();
}
2021-01-10 11:37:37 +03:00
static void overflow_check(InputSection *sec, Symbol &sym, u32 r_type, u8 *loc, u64 val) {
auto error = [&](std::string range) {
Error() << *sec << ": relocation " << rel_to_string(r_type)
<< " against " << sym.name << " out of range: "
<< val << " is not in [" << range << "]";
};
2021-01-08 14:33:29 +03:00
switch (r_type) {
case R_X86_64_8:
if (val != (u8)val)
2021-01-10 11:37:37 +03:00
error("0, 255");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_PC8:
if (val != (i8)val)
2021-01-10 11:37:37 +03:00
error("-128, 127");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_16:
if (val != (u16)val)
2021-01-10 11:37:37 +03:00
error("0, 65535");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_PC16:
if (val != (i16)val)
2021-01-10 11:37:37 +03:00
error("-32768, 32767");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_32:
if (val != (u32)val)
2021-01-10 11:37:37 +03:00
error("0, 4294967296");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_32S:
case R_X86_64_PC32:
case R_X86_64_GOT32:
case R_X86_64_GOTPC32:
case R_X86_64_GOTPCREL:
case R_X86_64_GOTPCRELX:
case R_X86_64_REX_GOTPCRELX:
case R_X86_64_PLT32:
case R_X86_64_TLSGD:
case R_X86_64_TLSLD:
case R_X86_64_TPOFF32:
case R_X86_64_DTPOFF32:
case R_X86_64_GOTTPOFF:
if (val != (i32)val)
2021-01-10 11:37:37 +03:00
error("-2147483648, 2147483647");
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
case R_X86_64_NONE:
case R_X86_64_64:
case R_X86_64_PC64:
case R_X86_64_TPOFF64:
case R_X86_64_DTPOFF64:
2021-01-10 08:54:03 +03:00
return;
2021-01-08 14:33:29 +03:00
}
2021-01-10 08:54:03 +03:00
unreachable();
2021-01-08 14:33:29 +03:00
}
2021-01-10 08:53:29 +03:00
static void write_val(u32 r_type, u8 *loc, u64 val) {
2020-12-15 16:24:08 +03:00
switch (r_type) {
case R_X86_64_NONE:
2021-01-10 08:54:03 +03:00
return;
2020-12-18 07:05:22 +03:00
case R_X86_64_8:
case R_X86_64_PC8:
2021-01-10 08:53:29 +03:00
*loc = val;
2021-01-10 08:54:03 +03:00
return;
2020-12-18 07:05:22 +03:00
case R_X86_64_16:
case R_X86_64_PC16:
2021-01-10 08:53:29 +03:00
*(u16 *)loc = val;
2021-01-10 08:54:03 +03:00
return;
2020-12-15 16:24:08 +03:00
case R_X86_64_32:
case R_X86_64_32S:
case R_X86_64_PC32:
case R_X86_64_GOT32:
case R_X86_64_GOTPC32:
case R_X86_64_GOTPCREL:
case R_X86_64_GOTPCRELX:
case R_X86_64_REX_GOTPCRELX:
case R_X86_64_PLT32:
case R_X86_64_TLSGD:
case R_X86_64_TLSLD:
case R_X86_64_TPOFF32:
case R_X86_64_DTPOFF32:
case R_X86_64_GOTTPOFF:
2021-01-10 08:53:29 +03:00
*(u32 *)loc = val;
2021-01-10 08:54:03 +03:00
return;
2020-12-15 16:24:08 +03:00
case R_X86_64_64:
case R_X86_64_PC64:
case R_X86_64_TPOFF64:
case R_X86_64_DTPOFF64:
2021-01-10 08:53:29 +03:00
*(u64 *)loc = val;
2021-01-10 08:54:03 +03:00
return;
2020-12-15 16:24:08 +03:00
}
2021-01-10 08:54:03 +03:00
unreachable();
2020-12-15 16:24:08 +03:00
}
2020-11-17 07:56:40 +03:00
void InputSection::copy_buf() {
2020-10-25 07:17:10 +03:00
if (shdr.sh_type == SHT_NOBITS || shdr.sh_size == 0)
2020-10-20 04:00:53 +03:00
return;
2020-10-27 13:35:49 +03:00
2020-11-07 18:33:13 +03:00
// Copy data
2020-12-12 06:59:54 +03:00
std::string_view view = file->get_string(shdr);
2021-01-09 07:11:13 +03:00
memcpy(out::buf + output_section->shdr.sh_offset + offset,
view.data(), view.size());
2020-10-23 03:21:40 +03:00
2020-11-07 18:33:13 +03:00
// Apply relocations
2020-11-17 07:56:40 +03:00
u8 *base = out::buf + output_section->shdr.sh_offset + offset;
2020-12-19 02:32:07 +03:00
int ref_idx = 0;
2020-12-16 15:16:34 +03:00
ElfRela *dynrel = nullptr;
2020-12-18 04:56:56 +03:00
if (out::reldyn)
2020-12-16 15:16:34 +03:00
dynrel = (ElfRela *)(out::buf + out::reldyn->shdr.sh_offset +
file->reldyn_offset + reldyn_offset);
2020-11-24 13:47:30 +03:00
2020-11-07 14:05:51 +03:00
for (int i = 0; i < rels.size(); i++) {
2020-12-10 13:54:01 +03:00
const ElfRela &rel = rels[i];
Symbol &sym = *file->symbols[rel.r_sym];
2020-11-07 18:33:13 +03:00
u8 *loc = base + rel.r_offset;
2020-10-29 16:46:00 +03:00
2020-12-19 02:32:07 +03:00
const StringPieceRef *ref = nullptr;
if (has_rel_piece[i])
ref = &rel_pieces[ref_idx++];
2020-12-18 07:00:09 +03:00
auto write = [&](u64 val) {
2021-01-10 11:37:37 +03:00
overflow_check(this, sym, rel.r_type, loc, val);
2021-01-10 08:53:29 +03:00
write_val(rel.r_type, loc, val);
2020-12-18 07:00:09 +03:00
};
2021-01-13 18:16:18 +03:00
auto write_dynrel = [&](u64 offset, u32 type, u32 symidx, i64 addend) {
if (!(shdr.sh_flags & SHF_WRITE))
Error() << *this << ": " << rel_to_string(rel.r_type)
<< " relocation against symbol `" << sym.name
<< "' can not be used; recompile with -fPIE";
memset(dynrel, 0, sizeof(*dynrel));
dynrel->r_offset = offset;
dynrel->r_type = type;
dynrel->r_sym = symidx;
dynrel->r_addend = addend;
dynrel++;
2021-01-13 15:25:45 +03:00
};
2021-01-12 07:18:55 +03:00
#define S (ref ? ref->piece->get_addr() \
: (sym.plt_idx == -1 ? sym.get_addr() : sym.get_plt_addr()))
2020-12-19 02:32:07 +03:00
#define A (ref ? ref->addend : rel.r_addend)
2020-12-17 10:32:49 +03:00
#define P (output_section->shdr.sh_addr + offset + rel.r_offset)
2020-11-26 07:34:42 +03:00
#define L sym.get_plt_addr()
2020-12-13 11:21:03 +03:00
#define G (sym.get_got_addr() - out::got->shdr.sh_addr)
2020-11-26 07:34:42 +03:00
#define GOT out::got->shdr.sh_addr
2020-10-29 16:46:00 +03:00
2020-12-15 16:24:08 +03:00
switch (rel_types[i]) {
case R_NONE:
2020-12-14 14:24:46 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_ABS:
2020-12-18 07:00:09 +03:00
write(S + A);
2021-01-13 15:57:12 +03:00
break;
case R_ABS_DYN:
write(S + A);
2021-01-13 18:16:18 +03:00
write_dynrel(P, R_X86_64_RELATIVE, 0, S + A);
2020-10-20 08:27:00 +03:00
break;
2020-12-16 14:56:04 +03:00
case R_DYN:
2021-01-13 18:16:18 +03:00
write_dynrel(P, R_X86_64_64, sym.dynsym_idx, A);
2020-12-16 14:56:04 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_PC:
2020-12-18 07:00:09 +03:00
write(S + A - P);
2020-12-14 14:24:46 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_GOT:
2020-12-18 07:00:09 +03:00
write(G + A);
2020-10-29 16:54:11 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_GOTPC:
2020-12-18 07:00:09 +03:00
write(GOT + A - P);
2020-10-30 05:40:38 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_GOTPCREL:
2020-12-18 07:00:09 +03:00
write(G + GOT + A - P);
2020-10-20 08:27:00 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_PLT:
2020-12-18 07:00:09 +03:00
write(L + A - P);
2020-10-27 09:21:09 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_TLSGD:
2020-12-18 07:00:09 +03:00
write(sym.get_tlsgd_addr() + A - P);
2020-11-21 05:51:21 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_TLSGD_RELAX_LE: {
// Relax GD to LE
static const u8 insn[] = {
0x64, 0x48, 0x8b, 0x04, 0x25, 0, 0, 0, 0, // mov %fs:0, %rax
0x48, 0x8d, 0x80, 0, 0, 0, 0, // lea x@tpoff, %rax
};
memcpy(loc - 4, insn, sizeof(insn));
*(u32 *)(loc + 8) = S - out::tls_end + A + 4;
i++;
2020-11-02 09:56:41 +03:00
break;
2020-12-15 16:24:08 +03:00
}
case R_TLSLD:
2020-12-18 07:00:09 +03:00
write(sym.get_tlsld_addr() + A - P);
2020-10-29 14:16:20 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_TLSLD_RELAX_LE: {
// Relax LD to LE
static const u8 insn[] = {
2021-01-09 16:30:14 +03:00
// mov %fs:0, %rax
0x66, 0x66, 0x66, 0x64, 0x48, 0x8b, 0x04, 0x25, 0, 0, 0, 0,
2020-12-15 16:24:08 +03:00
};
memcpy(loc - 3, insn, sizeof(insn));
i++;
break;
}
case R_TPOFF:
2020-12-18 07:00:09 +03:00
write(S + A - out::tls_end);
2020-11-30 12:43:04 +03:00
break;
2020-12-15 16:24:08 +03:00
case R_GOTTPOFF:
2020-12-18 07:00:09 +03:00
write(sym.get_gottpoff_addr() + A - P);
2020-11-25 09:13:06 +03:00
break;
2020-10-20 08:27:00 +03:00
default:
2020-12-15 16:24:08 +03:00
unreachable();
2020-10-20 08:27:00 +03:00
}
2020-11-26 07:34:42 +03:00
#undef S
#undef A
#undef P
#undef L
#undef G
#undef GOT
2020-10-20 08:27:00 +03:00
}
2020-12-18 07:05:22 +03:00
}
2020-11-06 07:56:11 +03:00
2020-11-06 06:01:52 +03:00
void InputSection::scan_relocations() {
2020-11-07 21:11:44 +03:00
if (!(shdr.sh_flags & SHF_ALLOC))
return;
2020-12-18 04:56:56 +03:00
reldyn_offset = file->num_dynrel * sizeof(ElfRela);
2020-12-16 14:56:04 +03:00
2020-12-18 07:05:22 +03:00
static Counter counter("relocs");
counter.inc(rels.size());
2020-11-25 07:28:29 +03:00
for (int i = 0; i < rels.size(); i++) {
2020-12-10 13:54:01 +03:00
const ElfRela &rel = rels[i];
Symbol &sym = *file->symbols[rel.r_sym];
2020-11-26 12:09:32 +03:00
if (!sym.file || sym.is_placeholder) {
2021-01-13 17:52:11 +03:00
Error() << "undefined symbol: " << *file << ": " << sym.name;
2020-11-26 12:09:32 +03:00
continue;
}
2020-11-06 03:59:08 +03:00
2021-01-13 14:09:20 +03:00
bool is_code = !(sym.st_type == STT_OBJECT);
2020-12-10 13:54:01 +03:00
switch (rel.r_type) {
2020-11-17 14:22:52 +03:00
case R_X86_64_NONE:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_NONE;
2020-11-25 11:20:48 +03:00
break;
2020-12-18 07:05:22 +03:00
case R_X86_64_8:
case R_X86_64_16:
case R_X86_64_32:
case R_X86_64_32S:
2021-01-13 15:53:47 +03:00
rel_types[i] = R_ABS;
2021-01-13 15:57:54 +03:00
if (sym.is_imported)
2021-01-13 15:25:45 +03:00
sym.flags |= is_code ? NEEDS_PLT : NEEDS_COPYREL;
2020-12-15 16:24:08 +03:00
break;
2020-12-16 14:56:04 +03:00
case R_X86_64_64:
2021-01-13 15:53:47 +03:00
if (config.pie) {
if (sym.is_imported) {
rel_types[i] = R_DYN;
sym.flags |= NEEDS_DYNSYM;
file->num_dynrel++;
2021-01-13 15:57:12 +03:00
} else if (sym.is_relative()) {
rel_types[i] = R_ABS_DYN;
file->num_dynrel++;
2021-01-13 15:53:47 +03:00
} else {
rel_types[i] = R_ABS;
}
2020-12-16 14:56:04 +03:00
} else {
rel_types[i] = R_ABS;
2021-01-13 15:53:47 +03:00
if (sym.is_imported)
sym.flags |= is_code ? NEEDS_PLT : NEEDS_COPYREL;
2020-12-16 14:56:04 +03:00
}
break;
2020-12-18 07:05:22 +03:00
case R_X86_64_PC8:
case R_X86_64_PC16:
case R_X86_64_PC32:
2020-12-16 12:38:13 +03:00
case R_X86_64_PC64:
2021-01-10 12:46:26 +03:00
rel_types[i] = R_PC;
2021-01-13 14:09:20 +03:00
if (sym.is_imported)
sym.flags |= is_code ? NEEDS_PLT : NEEDS_COPYREL;
break;
2020-12-16 12:38:13 +03:00
case R_X86_64_GOT32:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_GOT;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_GOT;
2020-12-15 16:24:08 +03:00
break;
2020-12-16 12:38:13 +03:00
case R_X86_64_GOTPC32:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_GOTPC;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_GOT;
2020-12-15 16:24:08 +03:00
break;
case R_X86_64_GOTPCREL:
case R_X86_64_GOTPCRELX:
2020-12-16 12:38:13 +03:00
case R_X86_64_REX_GOTPCRELX:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_GOTPCREL;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_GOT;
break;
case R_X86_64_PLT32:
2021-01-11 08:47:06 +03:00
if (sym.is_imported || sym.st_type == STT_GNU_IFUNC) {
2020-12-15 16:24:08 +03:00
rel_types[i] = R_PLT;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_PLT;
2020-12-15 16:24:08 +03:00
} else {
rel_types[i] = R_PC;
2020-12-13 14:18:49 +03:00
}
break;
case R_X86_64_TLSGD:
2020-12-14 04:19:37 +03:00
if (rels[i + 1].r_type != R_X86_64_PLT32)
2021-01-13 17:52:11 +03:00
Error() << *this << ": TLSGD reloc not followed by PLT32";
2020-12-16 12:38:13 +03:00
2020-12-13 14:18:49 +03:00
if (sym.is_imported) {
2020-12-15 16:24:08 +03:00
rel_types[i] = R_TLSGD;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_TLSGD;
2020-12-13 14:18:49 +03:00
} else {
2020-12-15 16:24:08 +03:00
rel_types[i] = R_TLSGD_RELAX_LE;
2020-11-25 07:28:29 +03:00
i++;
2020-12-13 14:18:49 +03:00
}
break;
case R_X86_64_TLSLD:
2020-12-14 04:19:37 +03:00
if (rels[i + 1].r_type != R_X86_64_PLT32)
2021-01-13 17:52:11 +03:00
Error() << *this << ": TLSLD reloc not followed by PLT32";
2020-12-16 12:38:13 +03:00
2020-12-13 14:18:49 +03:00
if (sym.is_imported) {
2020-12-15 16:24:08 +03:00
rel_types[i] = R_TLSLD;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_TLSLD;
2020-12-13 14:18:49 +03:00
} else {
2020-12-15 16:24:08 +03:00
rel_types[i] = R_TLSLD_RELAX_LE;
2020-11-25 08:06:13 +03:00
i++;
2020-12-13 14:18:49 +03:00
}
break;
2020-11-25 11:20:48 +03:00
case R_X86_64_TPOFF32:
case R_X86_64_DTPOFF32:
2020-12-15 16:24:08 +03:00
case R_X86_64_TPOFF64:
2020-11-30 12:43:04 +03:00
case R_X86_64_DTPOFF64:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_TPOFF;
2020-11-25 11:20:48 +03:00
break;
2020-12-16 12:38:13 +03:00
case R_X86_64_GOTTPOFF:
2020-12-15 16:24:08 +03:00
rel_types[i] = R_GOTTPOFF;
2020-12-17 02:05:53 +03:00
sym.flags |= NEEDS_GOTTPOFF;
break;
default:
2021-01-13 17:52:11 +03:00
Error() << *this << ": unknown relocation: " << rel.r_type;
}
2020-11-06 03:59:08 +03:00
}
}
2020-12-10 14:11:45 +03:00
MergeableSection::MergeableSection(InputSection *isec, std::string_view data)
2020-11-29 11:47:51 +03:00
: InputChunk(isec->file, isec->shdr, isec->name),
2020-12-17 15:19:29 +03:00
parent(*MergedSection::get_instance(isec->name, isec->shdr.sh_type,
isec->shdr.sh_flags)) {
2020-11-08 08:13:59 +03:00
u32 offset = 0;
while (!data.empty()) {
size_t end = data.find('\0');
2020-12-10 07:44:58 +03:00
if (end == std::string_view::npos)
2021-01-09 06:38:07 +03:00
Error() << *this << ": string is not null terminated";
2020-11-08 08:13:59 +03:00
2020-12-10 07:44:58 +03:00
std::string_view substr = data.substr(0, end + 1);
2020-11-08 08:13:59 +03:00
data = data.substr(end + 1);
StringPiece *piece = parent.map.insert(substr, StringPiece(substr));
2021-01-09 09:43:28 +03:00
pieces.push_back(piece);
piece_offsets.push_back(offset);
2020-11-10 09:03:40 +03:00
offset += substr.size();
2020-11-08 08:13:59 +03:00
}
static Counter counter("string_pieces");
counter.inc(pieces.size());
}