summaryrefslogtreecommitdiffstats
path: root/trunk/src/arch-x86_64.c
diff options
context:
space:
mode:
Diffstat (limited to 'trunk/src/arch-x86_64.c')
-rw-r--r--trunk/src/arch-x86_64.c536
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
+};