diff options
Diffstat (limited to 'trunk/src/arch-x86_64.c')
-rw-r--r-- | trunk/src/arch-x86_64.c | 536 |
1 files changed, 536 insertions, 0 deletions
diff --git a/trunk/src/arch-x86_64.c b/trunk/src/arch-x86_64.c new file mode 100644 index 0000000..8079f1a --- /dev/null +++ b/trunk/src/arch-x86_64.c @@ -0,0 +1,536 @@ +/* Copyright (C) 2001, 2002, 2003, 2004, 2006 Red Hat, Inc. + Written by Jakub Jelinek <jakub@redhat.com>, 2001. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2, or (at your option) + any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software Foundation, + Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +#include <config.h> +#include <assert.h> +#include <errno.h> +#include <fcntl.h> +#include <stdio.h> +#include <string.h> +#include <locale.h> +#include <error.h> +#include <argp.h> +#include <stdlib.h> + +#include "prelink.h" + +static int +x86_64_adjust_dyn (DSO *dso, int n, GElf_Dyn *dyn, GElf_Addr start, + GElf_Addr adjust) +{ + if (dyn->d_tag == DT_PLTGOT) + { + int sec = addr_to_sec (dso, dyn->d_un.d_ptr); + Elf64_Addr data; + + if (sec == -1) + return 0; + + data = read_ule64 (dso, dyn->d_un.d_ptr); + /* If .got.plt[0] points to _DYNAMIC, it needs to be adjusted. */ + if (data == dso->shdr[n].sh_addr && data >= start) + write_le64 (dso, dyn->d_un.d_ptr, data + adjust); + + data = read_ule64 (dso, dyn->d_un.d_ptr + 8); + /* If .got.plt[1] points to .plt + 0x16, it needs to be adjusted. */ + if (data && data >= start) + { + int i; + + for (i = 1; i < dso->ehdr.e_shnum; i++) + if (data == dso->shdr[i].sh_addr + 0x16 + && dso->shdr[i].sh_type == SHT_PROGBITS + && strcmp (strptr (dso, dso->ehdr.e_shstrndx, + dso->shdr[i].sh_name), ".plt") == 0) + { + write_le64 (dso, dyn->d_un.d_ptr + 8, data + adjust); + break; + } + } + } + return 0; +} + +static int +x86_64_adjust_rel (DSO *dso, GElf_Rel *rel, GElf_Addr start, + GElf_Addr adjust) +{ + error (0, 0, "%s: X86-64 doesn't support REL relocs", dso->filename); + return 1; +} + +static int +x86_64_adjust_rela (DSO *dso, GElf_Rela *rela, GElf_Addr start, + GElf_Addr adjust) +{ + Elf64_Addr addr; + + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_RELATIVE: + if (rela->r_addend >= start) + { + if (read_ule64 (dso, rela->r_offset) == rela->r_addend) + write_le64 (dso, rela->r_offset, rela->r_addend + adjust); + rela->r_addend += adjust; + } + break; + case R_X86_64_JUMP_SLOT: + addr = read_ule64 (dso, rela->r_offset); + if (addr >= start) + write_le64 (dso, rela->r_offset, addr + adjust); + break; + } + return 0; +} + +static int +x86_64_prelink_rel (struct prelink_info *info, GElf_Rel *rel, GElf_Addr reladdr) +{ + error (0, 0, "%s: X86-64 doesn't support REL relocs", info->dso->filename); + return 1; +} + +static int +x86_64_prelink_rela (struct prelink_info *info, GElf_Rela *rela, + GElf_Addr relaaddr) +{ + DSO *dso; + GElf_Addr value; + + dso = info->dso; + if (GELF_R_TYPE (rela->r_info) == R_X86_64_NONE) + return 0; + else if (GELF_R_TYPE (rela->r_info) == R_X86_64_RELATIVE) + { + write_le64 (dso, rela->r_offset, rela->r_addend); + return 0; + } + value = info->resolve (info, GELF_R_SYM (rela->r_info), + GELF_R_TYPE (rela->r_info)); + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_GLOB_DAT: + case R_X86_64_JUMP_SLOT: + case R_X86_64_64: + write_le64 (dso, rela->r_offset, value + rela->r_addend); + break; + case R_X86_64_32: + write_le32 (dso, rela->r_offset, value + rela->r_addend); + break; + case R_X86_64_PC32: + write_le32 (dso, rela->r_offset, value + rela->r_addend - rela->r_offset); + break; + case R_X86_64_DTPOFF64: + write_le64 (dso, rela->r_offset, value + rela->r_addend); + break; + /* DTPMOD64 and TPOFF64 is impossible to predict in shared libraries + unless prelink sets the rules. */ + case R_X86_64_DTPMOD64: + if (dso->ehdr.e_type == ET_EXEC) + { + error (0, 0, "%s: R_X86_64_DTPMOD64 reloc in executable?", + dso->filename); + return 1; + } + break; + case R_X86_64_TPOFF64: + if (dso->ehdr.e_type == ET_EXEC && info->resolvetls) + write_le64 (dso, rela->r_offset, + value + rela->r_addend - info->resolvetls->offset); + break; + case R_X86_64_COPY: + if (dso->ehdr.e_type == ET_EXEC) + /* COPY relocs are handled specially in generic code. */ + return 0; + error (0, 0, "%s: R_X86_64_COPY reloc in shared library?", dso->filename); + return 1; + default: + error (0, 0, "%s: Unknown X86-64 relocation type %d", dso->filename, + (int) GELF_R_TYPE (rela->r_info)); + return 1; + } + return 0; +} + +static int +x86_64_apply_conflict_rela (struct prelink_info *info, GElf_Rela *rela, + char *buf) +{ + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_GLOB_DAT: + case R_X86_64_JUMP_SLOT: + case R_X86_64_64: + buf_write_le64 (buf, rela->r_addend); + break; + case R_X86_64_32: + buf_write_le32 (buf, rela->r_addend); + break; + default: + abort (); + } + return 0; +} + +static int +x86_64_apply_rel (struct prelink_info *info, GElf_Rel *rel, char *buf) +{ + error (0, 0, "%s: X86-64 doesn't support REL relocs", info->dso->filename); + return 1; +} + +static int +x86_64_apply_rela (struct prelink_info *info, GElf_Rela *rela, char *buf) +{ + GElf_Addr value; + + value = info->resolve (info, GELF_R_SYM (rela->r_info), + GELF_R_TYPE (rela->r_info)); + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_NONE: + break; + case R_X86_64_GLOB_DAT: + case R_X86_64_JUMP_SLOT: + case R_X86_64_64: + buf_write_le64 (buf, value + rela->r_addend); + break; + case R_X86_64_32: + buf_write_le32 (buf, value + rela->r_addend); + break; + case R_X86_64_PC32: + buf_write_le32 (buf, value + rela->r_addend - rela->r_offset); + break; + case R_X86_64_COPY: + abort (); + case R_X86_64_RELATIVE: + error (0, 0, "%s: R_X86_64_RELATIVE in ET_EXEC object?", info->dso->filename); + return 1; + default: + return 1; + } + return 0; +} + +static int +x86_64_prelink_conflict_rel (DSO *dso, struct prelink_info *info, GElf_Rel *rel, + GElf_Addr reladdr) +{ + error (0, 0, "%s: X86-64 doesn't support REL relocs", dso->filename); + return 1; +} + +static int +x86_64_prelink_conflict_rela (DSO *dso, struct prelink_info *info, + GElf_Rela *rela, GElf_Addr relaaddr) +{ + GElf_Addr value; + struct prelink_conflict *conflict; + struct prelink_tls *tls; + GElf_Rela *ret; + + if (GELF_R_TYPE (rela->r_info) == R_X86_64_RELATIVE + || GELF_R_TYPE (rela->r_info) == R_X86_64_NONE) + /* Fast path: nothing to do. */ + return 0; + conflict = prelink_conflict (info, GELF_R_SYM (rela->r_info), + GELF_R_TYPE (rela->r_info)); + if (conflict == NULL) + { + if (info->curtls == NULL) + return 0; + switch (GELF_R_TYPE (rela->r_info)) + { + /* Even local DTPMOD and TPOFF relocs need conflicts. */ + case R_X86_64_DTPMOD64: + case R_X86_64_TPOFF64: + break; + default: + return 0; + } + value = 0; + } + else + { + /* DTPOFF wants to see only real conflicts, not lookups + with reloc_class RTYPE_CLASS_TLS. */ + if (GELF_R_TYPE (rela->r_info) == R_X86_64_DTPOFF64 + && conflict->lookup.tls == conflict->conflict.tls + && conflict->lookupval == conflict->conflictval) + return 0; + + value = conflict_lookup_value (conflict); + } + ret = prelink_conflict_add_rela (info); + if (ret == NULL) + return 1; + ret->r_offset = rela->r_offset; + ret->r_info = GELF_R_INFO (0, GELF_R_TYPE (rela->r_info)); + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_GLOB_DAT: + ret->r_info = GELF_R_INFO (0, R_X86_64_64); + /* FALLTHROUGH */ + case R_X86_64_JUMP_SLOT: + case R_X86_64_64: + ret->r_addend = value + rela->r_addend; + break; + case R_X86_64_32: + value += rela->r_addend; + ret->r_addend = value; + break; + case R_X86_64_PC32: + ret->r_addend = value + rela->r_addend - rela->r_offset; + ret->r_info = GELF_R_INFO (0, R_X86_64_32); + break; + case R_X86_64_COPY: + error (0, 0, "R_X86_64_COPY should not be present in shared libraries"); + return 1; + case R_X86_64_DTPMOD64: + case R_X86_64_DTPOFF64: + case R_X86_64_TPOFF64: + if (conflict != NULL + && (conflict->reloc_class != RTYPE_CLASS_TLS + || conflict->lookup.tls == NULL)) + { + error (0, 0, "%s: TLS reloc not resolving to STT_TLS symbol", + dso->filename); + return 1; + } + tls = conflict ? conflict->lookup.tls : info->curtls; + ret->r_info = GELF_R_INFO (0, R_X86_64_64); + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_DTPMOD64: + ret->r_addend = tls->modid; + break; + case R_X86_64_DTPOFF64: + ret->r_addend = value + rela->r_addend; + break; + case R_X86_64_TPOFF64: + ret->r_addend = value + rela->r_addend - tls->offset; + break; + } + break; + + default: + error (0, 0, "%s: Unknown X86-64 relocation type %d", dso->filename, + (int) GELF_R_TYPE (rela->r_info)); + return 1; + } + return 0; +} + +static int +x86_64_rel_to_rela (DSO *dso, GElf_Rel *rel, GElf_Rela *rela) +{ + error (0, 0, "%s: X86-64 doesn't support REL relocs", dso->filename); + return 1; +} + +static int +x86_64_need_rel_to_rela (DSO *dso, int first, int last) +{ + return 0; +} + +static int +x86_64_arch_prelink (struct prelink_info *info) +{ + DSO *dso; + int i; + + dso = info->dso; + if (dso->info[DT_PLTGOT]) + { + /* Write address of .plt + 0x16 into got[1]. + .plt + 0x16 is what got[3] contains unless prelinking. */ + int sec = addr_to_sec (dso, dso->info[DT_PLTGOT]); + Elf64_Addr data; + + if (sec == -1) + return 1; + + for (i = 1; i < dso->ehdr.e_shnum; i++) + if (dso->shdr[i].sh_type == SHT_PROGBITS + && ! strcmp (strptr (dso, dso->ehdr.e_shstrndx, + dso->shdr[i].sh_name), + ".plt")) + break; + + assert (i < dso->ehdr.e_shnum); + data = dso->shdr[i].sh_addr + 0x16; + write_le64 (dso, dso->info[DT_PLTGOT] + 8, data); + } + + return 0; +} + +static int +x86_64_arch_undo_prelink (DSO *dso) +{ + int i; + + if (dso->info[DT_PLTGOT]) + { + /* Clear got[1] if it contains address of .plt + 0x16. */ + int sec = addr_to_sec (dso, dso->info[DT_PLTGOT]); + Elf64_Addr data; + + if (sec == -1) + return 1; + + for (i = 1; i < dso->ehdr.e_shnum; i++) + if (dso->shdr[i].sh_type == SHT_PROGBITS + && ! strcmp (strptr (dso, dso->ehdr.e_shstrndx, + dso->shdr[i].sh_name), + ".plt")) + break; + + if (i == dso->ehdr.e_shnum) + return 0; + data = read_ule64 (dso, dso->info[DT_PLTGOT] + 8); + if (data == dso->shdr[i].sh_addr + 0x16) + write_le64 (dso, dso->info[DT_PLTGOT] + 8, 0); + } + + return 0; +} + +static int +x86_64_undo_prelink_rela (DSO *dso, GElf_Rela *rela, GElf_Addr relaaddr) +{ + int sec; + const char *name; + + switch (GELF_R_TYPE (rela->r_info)) + { + case R_X86_64_NONE: + case R_X86_64_RELATIVE: + break; + case R_X86_64_JUMP_SLOT: + sec = addr_to_sec (dso, rela->r_offset); + name = strptr (dso, dso->ehdr.e_shstrndx, dso->shdr[sec].sh_name); + if (sec == -1 || (strcmp (name, ".got") && strcmp (name, ".got.plt"))) + { + error (0, 0, "%s: R_X86_64_JUMP_SLOT not pointing into .got section", + dso->filename); + return 1; + } + else + { + Elf64_Addr data = read_ule64 (dso, dso->shdr[sec].sh_addr + 8); + + assert (rela->r_offset >= dso->shdr[sec].sh_addr + 24); + assert (((rela->r_offset - dso->shdr[sec].sh_addr) & 7) == 0); + write_le64 (dso, rela->r_offset, + 2 * (rela->r_offset - dso->shdr[sec].sh_addr - 24) + + data); + } + break; + case R_X86_64_GLOB_DAT: + case R_X86_64_64: + case R_X86_64_DTPMOD64: + case R_X86_64_DTPOFF64: + case R_X86_64_TPOFF64: + write_le64 (dso, rela->r_offset, 0); + break; + case R_X86_64_32: + case R_X86_64_PC32: + write_le32 (dso, rela->r_offset, 0); + break; + case R_X86_64_COPY: + if (dso->ehdr.e_type == ET_EXEC) + /* COPY relocs are handled specially in generic code. */ + return 0; + error (0, 0, "%s: R_X86_64_COPY reloc in shared library?", dso->filename); + return 1; + default: + error (0, 0, "%s: Unknown X86-64 relocation type %d", dso->filename, + (int) GELF_R_TYPE (rela->r_info)); + return 1; + } + return 0; +} + +static int +x86_64_reloc_size (int reloc_type) +{ + switch (reloc_type) + { + case R_X86_64_GLOB_DAT: + case R_X86_64_JUMP_SLOT: + case R_X86_64_64: + return 8; + default: + return 4; + } +} + +static int +x86_64_reloc_class (int reloc_type) +{ + switch (reloc_type) + { + case R_X86_64_COPY: return RTYPE_CLASS_COPY; + case R_X86_64_JUMP_SLOT: return RTYPE_CLASS_PLT; + case R_X86_64_DTPMOD64: + case R_X86_64_DTPOFF64: + case R_X86_64_TPOFF64: + return RTYPE_CLASS_TLS; + default: return RTYPE_CLASS_VALID; + } +} + +PL_ARCH = { + .name = "x86-64", + .class = ELFCLASS64, + .machine = EM_X86_64, + .alternate_machine = { EM_NONE }, + .R_JMP_SLOT = R_X86_64_JUMP_SLOT, + .R_COPY = R_X86_64_COPY, + .R_RELATIVE = R_X86_64_RELATIVE, + .dynamic_linker = "/lib64/ld-linux-x86-64.so.2", + .adjust_dyn = x86_64_adjust_dyn, + .adjust_rel = x86_64_adjust_rel, + .adjust_rela = x86_64_adjust_rela, + .prelink_rel = x86_64_prelink_rel, + .prelink_rela = x86_64_prelink_rela, + .prelink_conflict_rel = x86_64_prelink_conflict_rel, + .prelink_conflict_rela = x86_64_prelink_conflict_rela, + .apply_conflict_rela = x86_64_apply_conflict_rela, + .apply_rel = x86_64_apply_rel, + .apply_rela = x86_64_apply_rela, + .rel_to_rela = x86_64_rel_to_rela, + .need_rel_to_rela = x86_64_need_rel_to_rela, + .reloc_size = x86_64_reloc_size, + .reloc_class = x86_64_reloc_class, + .max_reloc_size = 8, + .arch_prelink = x86_64_arch_prelink, + .arch_undo_prelink = x86_64_arch_undo_prelink, + .undo_prelink_rela = x86_64_undo_prelink_rela, + /* Although TASK_UNMAPPED_BASE is 0x2a95555555, we leave some + area so that mmap of /etc/ld.so.cache and ld.so's malloc + does not take some library's VA slot. + Also, if this guard area isn't too small, typically + even dlopened libraries will get the slots they desire. */ + .mmap_base = 0x3000000000LL, + .mmap_end = 0x4000000000LL, + .max_page_size = 0x200000, + .page_size = 0x1000 +}; |