mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-21 04:42:53 +08:00
f0fe0e16e1
immediately. Remove code handling relocatable linking. * elf32-avr.c (elf32_avr_relocate_section): Likewise. * elf32-cris.c (cris_elf_relocate_section): Likewise. * elf32-fr30.c (elf32_frv_relocate_section): Likewise. * elf32-h8300.c (elf32_h8_relocate_section): Likewise. * elf32-hppa.c (elf32_hppa_relocate_section): Likewise. * elf32-ip2k.c (ip2k_elf_relocate_section): Likewise. * elf32-sparc.c (elf32_sparc_relocate_section): Likewise. * elf32-v850.c (v850_elf_relocate_section): Likewise. * elf32-vax.c (elf_vax_relocate_section): Likewise. * elf64-sparc.c (sparc64_elf_relocate_section): Likewise. * elf32-avr.c (elf_backend_rela_normal): Define. * elf32-cris.c: Likewise. * elf32-fr30.c: Likewise. * elf32-h8300.c: Likewise. * elf32-hppa.c: Likewise. * elf32-ip2k.c: Likewise. * elf32-sparc.c: Likewise. * elf32-v850.c: Likewise. * elf32-vax.c: Likewise. * elf64-hppa.c: Likewise. * elf64-sparc.c: Likewise. * elf32-fr30.c (elf32_frv_relocate_section): Edit comment. * elf32-i860.c (elf32_i860_relocate_section): Likewise. * elf32-ip2k.c (ip2k_elf_relocate_section): Likewise. * elf32-m32r.c (m32r_elf_relocate_section): Likewise. * elf32-openrisc.c (openrisc_elf_relocate_section): Likewise. * elf32-xstormy16.c (xstormy16_elf_relocate_section): Likewise. * elf-m10200.c (USE_RELA): Don't define. * elf-m10300.c: Likewise. * elf32-i370.c: Likewise. * elf32-ip2k.c: Likewise. * elf32-m68k.c: Likewise. * elf32-mcore.c: Likewise. * elf32-ppc.c: Likewise. * elf32-s390.c: Likewise. * elf32-vax.c: Likewise. * elf64-ppc.c: Likewise. * elf64-s390.c: Likewise. * elf64-x86-64.c: Likewise. * elfxx-ia64.c: Likewise. * elf32-avr.c (USE_REL): Don't undef. * elf32-ip2k.c: Likewise.
2205 lines
66 KiB
C
2205 lines
66 KiB
C
/* V850-specific support for 32-bit ELF
|
||
Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002
|
||
Free Software Foundation, Inc.
|
||
|
||
This file is part of BFD, the Binary File Descriptor library.
|
||
|
||
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 of the License, 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. */
|
||
|
||
/* XXX FIXME: This code is littered with 32bit int, 16bit short, 8bit char
|
||
dependencies. As is the gas & simulator code or the v850. */
|
||
|
||
#include "bfd.h"
|
||
#include "sysdep.h"
|
||
#include "bfdlink.h"
|
||
#include "libbfd.h"
|
||
#include "elf-bfd.h"
|
||
#include "elf/v850.h"
|
||
#include "libiberty.h"
|
||
|
||
/* Sign-extend a 24-bit number. */
|
||
#define SEXT24(x) ((((x) & 0xffffff) ^ 0x800000) - 0x800000)
|
||
|
||
static reloc_howto_type *v850_elf_reloc_type_lookup
|
||
PARAMS ((bfd *abfd, bfd_reloc_code_real_type code));
|
||
static void v850_elf_info_to_howto_rel
|
||
PARAMS ((bfd *, arelent *, Elf32_Internal_Rel *));
|
||
static void v850_elf_info_to_howto_rela
|
||
PARAMS ((bfd *, arelent *, Elf32_Internal_Rela *));
|
||
static bfd_reloc_status_type v850_elf_reloc
|
||
PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
|
||
static boolean v850_elf_is_local_label_name
|
||
PARAMS ((bfd *, const char *));
|
||
static boolean v850_elf_relocate_section
|
||
PARAMS((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
|
||
Elf_Internal_Rela *, Elf_Internal_Sym *, asection **));
|
||
static bfd_reloc_status_type v850_elf_perform_relocation
|
||
PARAMS ((bfd *, unsigned int, bfd_vma, bfd_byte *));
|
||
static boolean v850_elf_check_relocs
|
||
PARAMS ((bfd *, struct bfd_link_info *, asection *, const Elf_Internal_Rela *));
|
||
static void remember_hi16s_reloc
|
||
PARAMS ((bfd *, bfd_vma, bfd_byte *));
|
||
static bfd_byte * find_remembered_hi16s_reloc
|
||
PARAMS ((bfd_vma, boolean *));
|
||
static bfd_reloc_status_type v850_elf_final_link_relocate
|
||
PARAMS ((reloc_howto_type *, bfd *, bfd *, asection *, bfd_byte *, bfd_vma,
|
||
bfd_vma, bfd_vma, struct bfd_link_info *, asection *, int));
|
||
static boolean v850_elf_object_p
|
||
PARAMS ((bfd *));
|
||
static boolean v850_elf_fake_sections
|
||
PARAMS ((bfd *, Elf32_Internal_Shdr *, asection *));
|
||
static void v850_elf_final_write_processing
|
||
PARAMS ((bfd *, boolean));
|
||
static boolean v850_elf_set_private_flags
|
||
PARAMS ((bfd *, flagword));
|
||
static boolean v850_elf_merge_private_bfd_data
|
||
PARAMS ((bfd *, bfd *));
|
||
static boolean v850_elf_print_private_bfd_data
|
||
PARAMS ((bfd *, PTR));
|
||
static boolean v850_elf_section_from_bfd_section
|
||
PARAMS ((bfd *, asection *, int *));
|
||
static void v850_elf_symbol_processing
|
||
PARAMS ((bfd *, asymbol *));
|
||
static boolean v850_elf_add_symbol_hook
|
||
PARAMS ((bfd *, struct bfd_link_info *, const Elf_Internal_Sym *,
|
||
const char **, flagword *, asection **, bfd_vma *));
|
||
static boolean v850_elf_link_output_symbol_hook
|
||
PARAMS ((bfd *, struct bfd_link_info *, const char *,
|
||
Elf_Internal_Sym *, asection *));
|
||
static boolean v850_elf_section_from_shdr
|
||
PARAMS ((bfd *, Elf_Internal_Shdr *, const char *));
|
||
static boolean v850_elf_gc_sweep_hook
|
||
PARAMS ((bfd *, struct bfd_link_info *, asection *,
|
||
const Elf_Internal_Rela *));
|
||
static asection * v850_elf_gc_mark_hook
|
||
PARAMS ((asection *, struct bfd_link_info *,
|
||
Elf_Internal_Rela *, struct elf_link_hash_entry *,
|
||
Elf_Internal_Sym *));
|
||
|
||
/* Note: It is REQUIRED that the 'type' value of each entry
|
||
in this array match the index of the entry in the array. */
|
||
static reloc_howto_type v850_elf_howto_table[] =
|
||
{
|
||
/* This reloc does nothing. */
|
||
HOWTO (R_V850_NONE, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
32, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_bitfield, /* complain_on_overflow */
|
||
bfd_elf_generic_reloc, /* special_function */
|
||
"R_V850_NONE", /* name */
|
||
false, /* partial_inplace */
|
||
0, /* src_mask */
|
||
0, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* A PC relative 9 bit branch. */
|
||
HOWTO (R_V850_9_PCREL, /* type */
|
||
2, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
26, /* bitsize */
|
||
true, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_bitfield, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_9_PCREL", /* name */
|
||
false, /* partial_inplace */
|
||
0x00ffffff, /* src_mask */
|
||
0x00ffffff, /* dst_mask */
|
||
true), /* pcrel_offset */
|
||
|
||
/* A PC relative 22 bit branch. */
|
||
HOWTO (R_V850_22_PCREL, /* type */
|
||
2, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
22, /* bitsize */
|
||
true, /* pc_relative */
|
||
7, /* bitpos */
|
||
complain_overflow_signed, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_22_PCREL", /* name */
|
||
false, /* partial_inplace */
|
||
0x07ffff80, /* src_mask */
|
||
0x07ffff80, /* dst_mask */
|
||
true), /* pcrel_offset */
|
||
|
||
/* High 16 bits of symbol value. */
|
||
HOWTO (R_V850_HI16_S, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_HI16_S", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* High 16 bits of symbol value. */
|
||
HOWTO (R_V850_HI16, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_HI16", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* Low 16 bits of symbol value. */
|
||
HOWTO (R_V850_LO16, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_LO16", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* Simple 32bit reloc. */
|
||
HOWTO (R_V850_32, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
32, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_32", /* name */
|
||
false, /* partial_inplace */
|
||
0xffffffff, /* src_mask */
|
||
0xffffffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* Simple 16bit reloc. */
|
||
HOWTO (R_V850_16, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
bfd_elf_generic_reloc, /* special_function */
|
||
"R_V850_16", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* Simple 8bit reloc. */
|
||
HOWTO (R_V850_8, /* type */
|
||
0, /* rightshift */
|
||
0, /* size (0 = byte, 1 = short, 2 = long) */
|
||
8, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
bfd_elf_generic_reloc, /* special_function */
|
||
"R_V850_8", /* name */
|
||
false, /* partial_inplace */
|
||
0xff, /* src_mask */
|
||
0xff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the short data area pointer. */
|
||
HOWTO (R_V850_SDA_16_16_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_SDA_16_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 15 bit offset from the short data area pointer. */
|
||
HOWTO (R_V850_SDA_15_16_OFFSET, /* type */
|
||
1, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
1, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_SDA_15_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xfffe, /* src_mask */
|
||
0xfffe, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the zero data area pointer. */
|
||
HOWTO (R_V850_ZDA_16_16_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_ZDA_16_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 15 bit offset from the zero data area pointer. */
|
||
HOWTO (R_V850_ZDA_15_16_OFFSET, /* type */
|
||
1, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
1, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_ZDA_15_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xfffe, /* src_mask */
|
||
0xfffe, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 6 bit offset from the tiny data area pointer. */
|
||
HOWTO (R_V850_TDA_6_8_OFFSET, /* type */
|
||
2, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
8, /* bitsize */
|
||
false, /* pc_relative */
|
||
1, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_6_8_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x7e, /* src_mask */
|
||
0x7e, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 8 bit offset from the tiny data area pointer. */
|
||
HOWTO (R_V850_TDA_7_8_OFFSET, /* type */
|
||
1, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
8, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_7_8_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x7f, /* src_mask */
|
||
0x7f, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 7 bit offset from the tiny data area pointer. */
|
||
HOWTO (R_V850_TDA_7_7_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
7, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_7_7_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x7f, /* src_mask */
|
||
0x7f, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the tiny data area pointer! */
|
||
HOWTO (R_V850_TDA_16_16_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_16_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xfff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 5 bit offset from the tiny data area pointer. */
|
||
HOWTO (R_V850_TDA_4_5_OFFSET, /* type */
|
||
1, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
5, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_4_5_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x0f, /* src_mask */
|
||
0x0f, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 4 bit offset from the tiny data area pointer. */
|
||
HOWTO (R_V850_TDA_4_4_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
4, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_TDA_4_4_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x0f, /* src_mask */
|
||
0x0f, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the short data area pointer. */
|
||
HOWTO (R_V850_SDA_16_16_SPLIT_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_SDA_16_16_SPLIT_OFFSET",/* name */
|
||
false, /* partial_inplace */
|
||
0xfffe0020, /* src_mask */
|
||
0xfffe0020, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the zero data area pointer. */
|
||
HOWTO (R_V850_ZDA_16_16_SPLIT_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_ZDA_16_16_SPLIT_OFFSET",/* name */
|
||
false, /* partial_inplace */
|
||
0xfffe0020, /* src_mask */
|
||
0xfffe0020, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 6 bit offset from the call table base pointer. */
|
||
HOWTO (R_V850_CALLT_6_7_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
7, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_CALLT_6_7_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0x3f, /* src_mask */
|
||
0x3f, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* 16 bit offset from the call table base pointer. */
|
||
HOWTO (R_V850_CALLT_16_16_OFFSET, /* type */
|
||
0, /* rightshift */
|
||
1, /* size (0 = byte, 1 = short, 2 = long) */
|
||
16, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
v850_elf_reloc, /* special_function */
|
||
"R_V850_CALLT_16_16_OFFSET", /* name */
|
||
false, /* partial_inplace */
|
||
0xffff, /* src_mask */
|
||
0xffff, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* GNU extension to record C++ vtable hierarchy */
|
||
HOWTO (R_V850_GNU_VTINHERIT, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
0, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
NULL, /* special_function */
|
||
"R_V850_GNU_VTINHERIT", /* name */
|
||
false, /* partial_inplace */
|
||
0, /* src_mask */
|
||
0, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
/* GNU extension to record C++ vtable member usage */
|
||
HOWTO (R_V850_GNU_VTENTRY, /* type */
|
||
0, /* rightshift */
|
||
2, /* size (0 = byte, 1 = short, 2 = long) */
|
||
0, /* bitsize */
|
||
false, /* pc_relative */
|
||
0, /* bitpos */
|
||
complain_overflow_dont, /* complain_on_overflow */
|
||
_bfd_elf_rel_vtable_reloc_fn, /* special_function */
|
||
"R_V850_GNU_VTENTRY", /* name */
|
||
false, /* partial_inplace */
|
||
0, /* src_mask */
|
||
0, /* dst_mask */
|
||
false), /* pcrel_offset */
|
||
|
||
};
|
||
|
||
/* Map BFD reloc types to V850 ELF reloc types. */
|
||
|
||
struct v850_elf_reloc_map
|
||
{
|
||
/* BFD_RELOC_V850_CALLT_16_16_OFFSET is 258, which will not fix in an
|
||
unsigned char. */
|
||
bfd_reloc_code_real_type bfd_reloc_val;
|
||
unsigned int elf_reloc_val;
|
||
};
|
||
|
||
static const struct v850_elf_reloc_map v850_elf_reloc_map[] =
|
||
{
|
||
{ BFD_RELOC_NONE, R_V850_NONE },
|
||
{ BFD_RELOC_V850_9_PCREL, R_V850_9_PCREL },
|
||
{ BFD_RELOC_V850_22_PCREL, R_V850_22_PCREL },
|
||
{ BFD_RELOC_HI16_S, R_V850_HI16_S },
|
||
{ BFD_RELOC_HI16, R_V850_HI16 },
|
||
{ BFD_RELOC_LO16, R_V850_LO16 },
|
||
{ BFD_RELOC_32, R_V850_32 },
|
||
{ BFD_RELOC_16, R_V850_16 },
|
||
{ BFD_RELOC_8, R_V850_8 },
|
||
{ BFD_RELOC_V850_SDA_16_16_OFFSET, R_V850_SDA_16_16_OFFSET },
|
||
{ BFD_RELOC_V850_SDA_15_16_OFFSET, R_V850_SDA_15_16_OFFSET },
|
||
{ BFD_RELOC_V850_ZDA_16_16_OFFSET, R_V850_ZDA_16_16_OFFSET },
|
||
{ BFD_RELOC_V850_ZDA_15_16_OFFSET, R_V850_ZDA_15_16_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_6_8_OFFSET, R_V850_TDA_6_8_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_7_8_OFFSET, R_V850_TDA_7_8_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_7_7_OFFSET, R_V850_TDA_7_7_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_16_16_OFFSET, R_V850_TDA_16_16_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_4_5_OFFSET, R_V850_TDA_4_5_OFFSET },
|
||
{ BFD_RELOC_V850_TDA_4_4_OFFSET, R_V850_TDA_4_4_OFFSET },
|
||
{ BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET, R_V850_SDA_16_16_SPLIT_OFFSET },
|
||
{ BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET, R_V850_ZDA_16_16_SPLIT_OFFSET },
|
||
{ BFD_RELOC_V850_CALLT_6_7_OFFSET, R_V850_CALLT_6_7_OFFSET },
|
||
{ BFD_RELOC_V850_CALLT_16_16_OFFSET, R_V850_CALLT_16_16_OFFSET },
|
||
{ BFD_RELOC_VTABLE_INHERIT, R_V850_GNU_VTINHERIT },
|
||
{ BFD_RELOC_VTABLE_ENTRY, R_V850_GNU_VTENTRY },
|
||
|
||
};
|
||
|
||
/* Map a bfd relocation into the appropriate howto structure. */
|
||
|
||
static reloc_howto_type *
|
||
v850_elf_reloc_type_lookup (abfd, code)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
bfd_reloc_code_real_type code;
|
||
{
|
||
unsigned int i;
|
||
|
||
for (i = ARRAY_SIZE (v850_elf_reloc_map); i --;)
|
||
if (v850_elf_reloc_map[i].bfd_reloc_val == code)
|
||
{
|
||
unsigned int elf_reloc_val = v850_elf_reloc_map[i].elf_reloc_val;
|
||
|
||
BFD_ASSERT (v850_elf_howto_table[elf_reloc_val].type == elf_reloc_val);
|
||
|
||
return v850_elf_howto_table + elf_reloc_val;
|
||
}
|
||
|
||
return NULL;
|
||
}
|
||
|
||
/* Set the howto pointer for an V850 ELF reloc. */
|
||
|
||
static void
|
||
v850_elf_info_to_howto_rel (abfd, cache_ptr, dst)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
arelent * cache_ptr;
|
||
Elf32_Internal_Rel * dst;
|
||
{
|
||
unsigned int r_type;
|
||
|
||
r_type = ELF32_R_TYPE (dst->r_info);
|
||
BFD_ASSERT (r_type < (unsigned int) R_V850_max);
|
||
cache_ptr->howto = &v850_elf_howto_table[r_type];
|
||
}
|
||
|
||
/* Set the howto pointer for a V850 ELF reloc (type RELA). */
|
||
static void
|
||
v850_elf_info_to_howto_rela (abfd, cache_ptr, dst)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
arelent * cache_ptr;
|
||
Elf32_Internal_Rela *dst;
|
||
{
|
||
unsigned int r_type;
|
||
|
||
r_type = ELF32_R_TYPE (dst->r_info);
|
||
BFD_ASSERT (r_type < (unsigned int) R_V850_max);
|
||
cache_ptr->howto = &v850_elf_howto_table[r_type];
|
||
}
|
||
|
||
/* Look through the relocs for a section during the first phase, and
|
||
allocate space in the global offset table or procedure linkage
|
||
table. */
|
||
|
||
static boolean
|
||
v850_elf_check_relocs (abfd, info, sec, relocs)
|
||
bfd * abfd;
|
||
struct bfd_link_info * info;
|
||
asection * sec;
|
||
const Elf_Internal_Rela * relocs;
|
||
{
|
||
boolean ret = true;
|
||
bfd *dynobj;
|
||
Elf_Internal_Shdr *symtab_hdr;
|
||
struct elf_link_hash_entry **sym_hashes;
|
||
const Elf_Internal_Rela *rel;
|
||
const Elf_Internal_Rela *rel_end;
|
||
asection *sreloc;
|
||
enum v850_reloc_type r_type;
|
||
int other = 0;
|
||
const char *common = (const char *)0;
|
||
|
||
if (info->relocateable)
|
||
return true;
|
||
|
||
#ifdef DEBUG
|
||
fprintf (stderr, "v850_elf_check_relocs called for section %s in %s\n",
|
||
bfd_get_section_name (abfd, sec),
|
||
bfd_archive_filename (abfd));
|
||
#endif
|
||
|
||
dynobj = elf_hash_table (info)->dynobj;
|
||
symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
|
||
sym_hashes = elf_sym_hashes (abfd);
|
||
sreloc = NULL;
|
||
|
||
rel_end = relocs + sec->reloc_count;
|
||
for (rel = relocs; rel < rel_end; rel++)
|
||
{
|
||
unsigned long r_symndx;
|
||
struct elf_link_hash_entry *h;
|
||
|
||
r_symndx = ELF32_R_SYM (rel->r_info);
|
||
if (r_symndx < symtab_hdr->sh_info)
|
||
h = NULL;
|
||
else
|
||
h = sym_hashes[r_symndx - symtab_hdr->sh_info];
|
||
|
||
r_type = (enum v850_reloc_type) ELF32_R_TYPE (rel->r_info);
|
||
switch (r_type)
|
||
{
|
||
default:
|
||
case R_V850_NONE:
|
||
case R_V850_9_PCREL:
|
||
case R_V850_22_PCREL:
|
||
case R_V850_HI16_S:
|
||
case R_V850_HI16:
|
||
case R_V850_LO16:
|
||
case R_V850_32:
|
||
case R_V850_16:
|
||
case R_V850_8:
|
||
case R_V850_CALLT_6_7_OFFSET:
|
||
case R_V850_CALLT_16_16_OFFSET:
|
||
break;
|
||
|
||
/* This relocation describes the C++ object vtable hierarchy.
|
||
Reconstruct it for later use during GC. */
|
||
case R_V850_GNU_VTINHERIT:
|
||
if (!_bfd_elf32_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
|
||
return false;
|
||
break;
|
||
|
||
/* This relocation describes which C++ vtable entries
|
||
are actually used. Record for later use during GC. */
|
||
case R_V850_GNU_VTENTRY:
|
||
if (!_bfd_elf32_gc_record_vtentry (abfd, sec, h, rel->r_addend))
|
||
return false;
|
||
break;
|
||
|
||
case R_V850_SDA_16_16_SPLIT_OFFSET:
|
||
case R_V850_SDA_16_16_OFFSET:
|
||
case R_V850_SDA_15_16_OFFSET:
|
||
other = V850_OTHER_SDA;
|
||
common = ".scommon";
|
||
goto small_data_common;
|
||
|
||
case R_V850_ZDA_16_16_SPLIT_OFFSET:
|
||
case R_V850_ZDA_16_16_OFFSET:
|
||
case R_V850_ZDA_15_16_OFFSET:
|
||
other = V850_OTHER_ZDA;
|
||
common = ".zcommon";
|
||
goto small_data_common;
|
||
|
||
case R_V850_TDA_4_5_OFFSET:
|
||
case R_V850_TDA_4_4_OFFSET:
|
||
case R_V850_TDA_6_8_OFFSET:
|
||
case R_V850_TDA_7_8_OFFSET:
|
||
case R_V850_TDA_7_7_OFFSET:
|
||
case R_V850_TDA_16_16_OFFSET:
|
||
other = V850_OTHER_TDA;
|
||
common = ".tcommon";
|
||
/* fall through */
|
||
|
||
#define V850_OTHER_MASK (V850_OTHER_TDA | V850_OTHER_SDA | V850_OTHER_ZDA)
|
||
|
||
small_data_common:
|
||
if (h)
|
||
{
|
||
/* Flag which type of relocation was used. */
|
||
h->other |= other;
|
||
if ((h->other & V850_OTHER_MASK) != (other & V850_OTHER_MASK)
|
||
&& (h->other & V850_OTHER_ERROR) == 0)
|
||
{
|
||
const char * msg;
|
||
static char buff[200]; /* XXX */
|
||
|
||
switch (h->other & V850_OTHER_MASK)
|
||
{
|
||
default:
|
||
msg = _("Variable `%s' cannot occupy in multiple small data regions");
|
||
break;
|
||
case V850_OTHER_SDA | V850_OTHER_ZDA | V850_OTHER_TDA:
|
||
msg = _("Variable `%s' can only be in one of the small, zero, and tiny data regions");
|
||
break;
|
||
case V850_OTHER_SDA | V850_OTHER_ZDA:
|
||
msg = _("Variable `%s' cannot be in both small and zero data regions simultaneously");
|
||
break;
|
||
case V850_OTHER_SDA | V850_OTHER_TDA:
|
||
msg = _("Variable `%s' cannot be in both small and tiny data regions simultaneously");
|
||
break;
|
||
case V850_OTHER_ZDA | V850_OTHER_TDA:
|
||
msg = _("Variable `%s' cannot be in both zero and tiny data regions simultaneously");
|
||
break;
|
||
}
|
||
|
||
sprintf (buff, msg, h->root.root.string);
|
||
info->callbacks->warning (info, buff, h->root.root.string,
|
||
abfd, h->root.u.def.section,
|
||
(bfd_vma) 0);
|
||
|
||
bfd_set_error (bfd_error_bad_value);
|
||
h->other |= V850_OTHER_ERROR;
|
||
ret = false;
|
||
}
|
||
}
|
||
|
||
if (h && h->root.type == bfd_link_hash_common
|
||
&& h->root.u.c.p
|
||
&& !strcmp (bfd_get_section_name (abfd, h->root.u.c.p->section), "COMMON"))
|
||
{
|
||
asection * section;
|
||
|
||
section = h->root.u.c.p->section = bfd_make_section_old_way (abfd, common);
|
||
section->flags |= SEC_IS_COMMON;
|
||
}
|
||
|
||
#ifdef DEBUG
|
||
fprintf (stderr, "v850_elf_check_relocs, found %s relocation for %s%s\n",
|
||
v850_elf_howto_table[ (int)r_type ].name,
|
||
(h && h->root.root.string) ? h->root.root.string : "<unknown>",
|
||
(h->root.type == bfd_link_hash_common) ? ", symbol is common" : "");
|
||
#endif
|
||
break;
|
||
}
|
||
}
|
||
|
||
return ret;
|
||
}
|
||
|
||
/* In the old version, when an entry was checked out from the table,
|
||
it was deleted. This produced an error if the entry was needed
|
||
more than once, as the second attempted retry failed.
|
||
|
||
In the current version, the entry is not deleted, instead we set
|
||
the field 'found' to true. If a second lookup matches the same
|
||
entry, then we know that the hi16s reloc has already been updated
|
||
and does not need to be updated a second time.
|
||
|
||
TODO - TOFIX: If it is possible that we need to restore 2 different
|
||
addresses from the same table entry, where the first generates an
|
||
overflow, whilst the second do not, then this code will fail. */
|
||
|
||
typedef struct hi16s_location
|
||
{
|
||
bfd_vma addend;
|
||
bfd_byte * address;
|
||
unsigned long counter;
|
||
boolean found;
|
||
struct hi16s_location * next;
|
||
}
|
||
hi16s_location;
|
||
|
||
static hi16s_location * previous_hi16s;
|
||
static hi16s_location * free_hi16s;
|
||
static unsigned long hi16s_counter;
|
||
|
||
static void
|
||
remember_hi16s_reloc (abfd, addend, address)
|
||
bfd * abfd;
|
||
bfd_vma addend;
|
||
bfd_byte * address;
|
||
{
|
||
hi16s_location * entry = NULL;
|
||
bfd_size_type amt = sizeof (* free_hi16s);
|
||
|
||
/* Find a free structure. */
|
||
if (free_hi16s == NULL)
|
||
free_hi16s = (hi16s_location *) bfd_zalloc (abfd, amt);
|
||
|
||
entry = free_hi16s;
|
||
free_hi16s = free_hi16s->next;
|
||
|
||
entry->addend = addend;
|
||
entry->address = address;
|
||
entry->counter = hi16s_counter ++;
|
||
entry->found = false;
|
||
entry->next = previous_hi16s;
|
||
previous_hi16s = entry;
|
||
|
||
/* Cope with wrap around of our counter. */
|
||
if (hi16s_counter == 0)
|
||
{
|
||
/* XXX - Assume that all counter entries differ only in their low 16 bits. */
|
||
for (entry = previous_hi16s; entry != NULL; entry = entry->next)
|
||
entry->counter &= 0xffff;
|
||
|
||
hi16s_counter = 0x10000;
|
||
}
|
||
|
||
return;
|
||
}
|
||
|
||
static bfd_byte *
|
||
find_remembered_hi16s_reloc (addend, already_found)
|
||
bfd_vma addend;
|
||
boolean * already_found;
|
||
{
|
||
hi16s_location * match = NULL;
|
||
hi16s_location * entry;
|
||
hi16s_location * previous = NULL;
|
||
hi16s_location * prev;
|
||
bfd_byte * addr;
|
||
|
||
/* Search the table. Record the most recent entry that matches. */
|
||
for (entry = previous_hi16s; entry; entry = entry->next)
|
||
{
|
||
if (entry->addend == addend
|
||
&& (match == NULL || match->counter < entry->counter))
|
||
{
|
||
previous = prev;
|
||
match = entry;
|
||
}
|
||
|
||
prev = entry;
|
||
}
|
||
|
||
if (match == NULL)
|
||
return NULL;
|
||
|
||
/* Extract the address. */
|
||
addr = match->address;
|
||
|
||
/* Remeber if this entry has already been used before. */
|
||
if (already_found)
|
||
* already_found = match->found;
|
||
|
||
/* Note that this entry has now been used. */
|
||
match->found = true;
|
||
|
||
return addr;
|
||
}
|
||
|
||
/* FIXME: The code here probably ought to be removed and the code in reloc.c
|
||
allowed to do its stuff instead. At least for most of the relocs, anwyay. */
|
||
|
||
static bfd_reloc_status_type
|
||
v850_elf_perform_relocation (abfd, r_type, addend, address)
|
||
bfd *abfd;
|
||
unsigned int r_type;
|
||
bfd_vma addend;
|
||
bfd_byte *address;
|
||
{
|
||
unsigned long insn;
|
||
bfd_signed_vma saddend = (bfd_signed_vma) addend;
|
||
|
||
switch (r_type)
|
||
{
|
||
default:
|
||
/* fprintf (stderr, "reloc type %d not SUPPORTED\n", r_type ); */
|
||
return bfd_reloc_notsupported;
|
||
|
||
case R_V850_32:
|
||
bfd_put_32 (abfd, addend, address);
|
||
return bfd_reloc_ok;
|
||
|
||
case R_V850_22_PCREL:
|
||
if (saddend > 0x1fffff || saddend < -0x200000)
|
||
return bfd_reloc_overflow;
|
||
|
||
if ((addend % 2) != 0)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn = bfd_get_32 (abfd, address);
|
||
insn &= ~0xfffe003f;
|
||
insn |= (((addend & 0xfffe) << 16) | ((addend & 0x3f0000) >> 16));
|
||
bfd_put_32 (abfd, (bfd_vma) insn, address);
|
||
return bfd_reloc_ok;
|
||
|
||
case R_V850_9_PCREL:
|
||
if (saddend > 0xff || saddend < -0x100)
|
||
return bfd_reloc_overflow;
|
||
|
||
if ((addend % 2) != 0)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn = bfd_get_16 (abfd, address);
|
||
insn &= ~ 0xf870;
|
||
insn |= ((addend & 0x1f0) << 7) | ((addend & 0x0e) << 3);
|
||
break;
|
||
|
||
case R_V850_HI16:
|
||
addend += (bfd_get_16 (abfd, address) << 16);
|
||
addend = (addend >> 16);
|
||
insn = addend;
|
||
break;
|
||
|
||
case R_V850_HI16_S:
|
||
/* Remember where this relocation took place. */
|
||
remember_hi16s_reloc (abfd, addend, address);
|
||
|
||
addend += (bfd_get_16 (abfd, address) << 16);
|
||
addend = (addend >> 16) + ((addend & 0x8000) != 0);
|
||
|
||
/* This relocation cannot overflow. */
|
||
if (addend > 0x7fff)
|
||
addend = 0;
|
||
|
||
insn = addend;
|
||
break;
|
||
|
||
case R_V850_LO16:
|
||
/* Calculate the sum of the value stored in the instruction and the
|
||
addend and check for overflow from the low 16 bits into the high
|
||
16 bits. The assembler has already done some of this: If the
|
||
value stored in the instruction has its 15th bit set, (counting
|
||
from zero) then the assembler will have added 1 to the value
|
||
stored in the associated HI16S reloc. So for example, these
|
||
relocations:
|
||
|
||
movhi hi( fred ), r0, r1
|
||
movea lo( fred ), r1, r1
|
||
|
||
will store 0 in the value fields for the MOVHI and MOVEA instructions
|
||
and addend will be the address of fred, but for these instructions:
|
||
|
||
movhi hi( fred + 0x123456), r0, r1
|
||
movea lo( fred + 0x123456), r1, r1
|
||
|
||
the value stored in the MOVHI instruction will be 0x12 and the value
|
||
stored in the MOVEA instruction will be 0x3456. If however the
|
||
instructions were:
|
||
|
||
movhi hi( fred + 0x10ffff), r0, r1
|
||
movea lo( fred + 0x10ffff), r1, r1
|
||
|
||
then the value stored in the MOVHI instruction would be 0x11 (not
|
||
0x10) and the value stored in the MOVEA instruction would be 0xffff.
|
||
Thus (assuming for the moment that the addend is 0), at run time the
|
||
MOVHI instruction loads 0x110000 into r1, then the MOVEA instruction
|
||
adds 0xffffffff (sign extension!) producing 0x10ffff. Similarly if
|
||
the instructions were:
|
||
|
||
movhi hi( fred - 1), r0, r1
|
||
movea lo( fred - 1), r1, r1
|
||
|
||
then 0 is stored in the MOVHI instruction and -1 is stored in the
|
||
MOVEA instruction.
|
||
|
||
Overflow can occur if the addition of the value stored in the
|
||
instruction plus the addend sets the 15th bit when before it was clear.
|
||
This is because the 15th bit will be sign extended into the high part,
|
||
thus reducing its value by one, but since the 15th bit was originally
|
||
clear, the assembler will not have added 1 to the previous HI16S reloc
|
||
to compensate for this effect. For example:
|
||
|
||
movhi hi( fred + 0x123456), r0, r1
|
||
movea lo( fred + 0x123456), r1, r1
|
||
|
||
The value stored in HI16S reloc is 0x12, the value stored in the LO16
|
||
reloc is 0x3456. If we assume that the address of fred is 0x00007000
|
||
then the relocations become:
|
||
|
||
HI16S: 0x0012 + (0x00007000 >> 16) = 0x12
|
||
LO16: 0x3456 + (0x00007000 & 0xffff) = 0xa456
|
||
|
||
but when the instructions are executed, the MOVEA instruction's value
|
||
is signed extended, so the sum becomes:
|
||
|
||
0x00120000
|
||
+ 0xffffa456
|
||
------------
|
||
0x0011a456 but 'fred + 0x123456' = 0x0012a456
|
||
|
||
Note that if the 15th bit was set in the value stored in the LO16
|
||
reloc, then we do not have to do anything:
|
||
|
||
movhi hi( fred + 0x10ffff), r0, r1
|
||
movea lo( fred + 0x10ffff), r1, r1
|
||
|
||
HI16S: 0x0011 + (0x00007000 >> 16) = 0x11
|
||
LO16: 0xffff + (0x00007000 & 0xffff) = 0x6fff
|
||
|
||
0x00110000
|
||
+ 0x00006fff
|
||
------------
|
||
0x00116fff = fred + 0x10ffff = 0x7000 + 0x10ffff
|
||
|
||
Overflow can also occur if the computation carries into the 16th bit
|
||
and it also results in the 15th bit having the same value as the 15th
|
||
bit of the original value. What happens is that the HI16S reloc
|
||
will have already examined the 15th bit of the original value and
|
||
added 1 to the high part if the bit is set. This compensates for the
|
||
sign extension of 15th bit of the result of the computation. But now
|
||
there is a carry into the 16th bit, and this has not been allowed for.
|
||
|
||
So, for example if fred is at address 0xf000:
|
||
|
||
movhi hi( fred + 0xffff), r0, r1 [bit 15 of the offset is set]
|
||
movea lo( fred + 0xffff), r1, r1
|
||
|
||
HI16S: 0x0001 + (0x0000f000 >> 16) = 0x0001
|
||
LO16: 0xffff + (0x0000f000 & 0xffff) = 0xefff (carry into bit 16 is lost)
|
||
|
||
0x00010000
|
||
+ 0xffffefff
|
||
------------
|
||
0x0000efff but 'fred + 0xffff' = 0x0001efff
|
||
|
||
Similarly, if the 15th bit remains clear, but overflow occurs into
|
||
the 16th bit then (assuming the address of fred is 0xf000):
|
||
|
||
movhi hi( fred + 0x7000), r0, r1 [bit 15 of the offset is clear]
|
||
movea lo( fred + 0x7000), r1, r1
|
||
|
||
HI16S: 0x0000 + (0x0000f000 >> 16) = 0x0000
|
||
LO16: 0x7000 + (0x0000f000 & 0xffff) = 0x6fff (carry into bit 16 is lost)
|
||
|
||
0x00000000
|
||
+ 0x00006fff
|
||
------------
|
||
0x00006fff but 'fred + 0x7000' = 0x00016fff
|
||
|
||
Note - there is no need to change anything if a carry occurs, and the
|
||
15th bit changes its value from being set to being clear, as the HI16S
|
||
reloc will have already added in 1 to the high part for us:
|
||
|
||
movhi hi( fred + 0xffff), r0, r1 [bit 15 of the offset is set]
|
||
movea lo( fred + 0xffff), r1, r1
|
||
|
||
HI16S: 0x0001 + (0x00007000 >> 16)
|
||
LO16: 0xffff + (0x00007000 & 0xffff) = 0x6fff (carry into bit 16 is lost)
|
||
|
||
0x00010000
|
||
+ 0x00006fff (bit 15 not set, so the top half is zero)
|
||
------------
|
||
0x00016fff which is right (assuming that fred is at 0x7000)
|
||
|
||
but if the 15th bit goes from being clear to being set, then we must
|
||
once again handle overflow:
|
||
|
||
movhi hi( fred + 0x7000), r0, r1 [bit 15 of the offset is clear]
|
||
movea lo( fred + 0x7000), r1, r1
|
||
|
||
HI16S: 0x0000 + (0x0000ffff >> 16)
|
||
LO16: 0x7000 + (0x0000ffff & 0xffff) = 0x6fff (carry into bit 16)
|
||
|
||
0x00000000
|
||
+ 0x00006fff (bit 15 not set, so the top half is zero)
|
||
------------
|
||
0x00006fff which is wrong (assuming that fred is at 0xffff). */
|
||
{
|
||
long result;
|
||
|
||
insn = bfd_get_16 (abfd, address);
|
||
result = insn + addend;
|
||
|
||
#define BIT15_SET(x) ((x) & 0x8000)
|
||
#define OVERFLOWS(a,i) ((((a) & 0xffff) + (i)) > 0xffff)
|
||
|
||
if ((BIT15_SET (result) && ! BIT15_SET (addend))
|
||
|| (OVERFLOWS (addend, insn)
|
||
&& ((! BIT15_SET (insn)) || (BIT15_SET (addend)))))
|
||
{
|
||
boolean already_updated;
|
||
bfd_byte * hi16s_address = find_remembered_hi16s_reloc
|
||
(addend, & already_updated);
|
||
|
||
/* Amend the matching HI16_S relocation. */
|
||
if (hi16s_address != NULL)
|
||
{
|
||
if (! already_updated)
|
||
{
|
||
insn = bfd_get_16 (abfd, hi16s_address);
|
||
insn += 1;
|
||
bfd_put_16 (abfd, (bfd_vma) insn, hi16s_address);
|
||
}
|
||
}
|
||
else
|
||
{
|
||
fprintf (stderr, _("FAILED to find previous HI16 reloc\n"));
|
||
return bfd_reloc_overflow;
|
||
}
|
||
}
|
||
|
||
/* Do not complain if value has top bit set, as this has been anticipated. */
|
||
insn = result & 0xffff;
|
||
break;
|
||
}
|
||
|
||
case R_V850_8:
|
||
addend += (char) bfd_get_8 (abfd, address);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7f || saddend < -0x80)
|
||
return bfd_reloc_overflow;
|
||
|
||
bfd_put_8 (abfd, addend, address);
|
||
return bfd_reloc_ok;
|
||
|
||
case R_V850_CALLT_16_16_OFFSET:
|
||
addend += bfd_get_16 (abfd, address);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0xffff || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
insn = addend;
|
||
break;
|
||
|
||
case R_V850_16:
|
||
|
||
/* drop through */
|
||
case R_V850_SDA_16_16_OFFSET:
|
||
case R_V850_ZDA_16_16_OFFSET:
|
||
case R_V850_TDA_16_16_OFFSET:
|
||
addend += bfd_get_16 (abfd, address);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7fff || saddend < -0x8000)
|
||
return bfd_reloc_overflow;
|
||
|
||
insn = addend;
|
||
break;
|
||
|
||
case R_V850_SDA_15_16_OFFSET:
|
||
case R_V850_ZDA_15_16_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += (insn & 0xfffe);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7ffe || saddend < -0x8000)
|
||
return bfd_reloc_overflow;
|
||
|
||
if (addend & 1)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn = (addend &~ (bfd_vma) 1) | (insn & 1);
|
||
break;
|
||
|
||
case R_V850_TDA_6_8_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += ((insn & 0x7e) << 1);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0xfc || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
if (addend & 3)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn &= 0xff81;
|
||
insn |= (addend >> 1);
|
||
break;
|
||
|
||
case R_V850_TDA_7_8_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += ((insn & 0x7f) << 1);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0xfe || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
if (addend & 1)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn &= 0xff80;
|
||
insn |= (addend >> 1);
|
||
break;
|
||
|
||
case R_V850_TDA_7_7_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += insn & 0x7f;
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7f || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
insn &= 0xff80;
|
||
insn |= addend;
|
||
break;
|
||
|
||
case R_V850_TDA_4_5_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += ((insn & 0xf) << 1);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x1e || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
if (addend & 1)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn &= 0xfff0;
|
||
insn |= (addend >> 1);
|
||
break;
|
||
|
||
case R_V850_TDA_4_4_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += insn & 0xf;
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0xf || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
insn &= 0xfff0;
|
||
insn |= addend;
|
||
break;
|
||
|
||
case R_V850_ZDA_16_16_SPLIT_OFFSET:
|
||
case R_V850_SDA_16_16_SPLIT_OFFSET:
|
||
insn = bfd_get_32 (abfd, address);
|
||
addend += ((insn & 0xfffe0000) >> 16) + ((insn & 0x20) >> 5);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7fff || saddend < -0x8000)
|
||
return bfd_reloc_overflow;
|
||
|
||
insn &= 0x0001ffdf;
|
||
insn |= (addend & 1) << 5;
|
||
insn |= (addend &~ (bfd_vma) 1) << 16;
|
||
|
||
bfd_put_32 (abfd, (bfd_vma) insn, address);
|
||
return bfd_reloc_ok;
|
||
|
||
case R_V850_CALLT_6_7_OFFSET:
|
||
insn = bfd_get_16 (abfd, address);
|
||
addend += ((insn & 0x3f) << 1);
|
||
|
||
saddend = (bfd_signed_vma) addend;
|
||
|
||
if (saddend > 0x7e || saddend < 0)
|
||
return bfd_reloc_overflow;
|
||
|
||
if (addend & 1)
|
||
return bfd_reloc_dangerous;
|
||
|
||
insn &= 0xff80;
|
||
insn |= (addend >> 1);
|
||
break;
|
||
|
||
case R_V850_GNU_VTINHERIT:
|
||
case R_V850_GNU_VTENTRY:
|
||
return bfd_reloc_ok;
|
||
|
||
}
|
||
|
||
bfd_put_16 (abfd, (bfd_vma) insn, address);
|
||
return bfd_reloc_ok;
|
||
}
|
||
|
||
/* Insert the addend into the instruction. */
|
||
|
||
static bfd_reloc_status_type
|
||
v850_elf_reloc (abfd, reloc, symbol, data, isection, obfd, err)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
arelent * reloc;
|
||
asymbol * symbol;
|
||
PTR data ATTRIBUTE_UNUSED;
|
||
asection * isection;
|
||
bfd * obfd;
|
||
char ** err ATTRIBUTE_UNUSED;
|
||
{
|
||
long relocation;
|
||
|
||
/* If there is an output BFD,
|
||
and the symbol is not a section name (which is only defined at final link time),
|
||
and either we are not putting the addend into the instruction
|
||
or the addend is zero, so there is nothing to add into the instruction
|
||
then just fixup the address and return. */
|
||
if (obfd != (bfd *) NULL
|
||
&& (symbol->flags & BSF_SECTION_SYM) == 0
|
||
&& (! reloc->howto->partial_inplace
|
||
|| reloc->addend == 0))
|
||
{
|
||
reloc->address += isection->output_offset;
|
||
return bfd_reloc_ok;
|
||
}
|
||
#if 0
|
||
else if (obfd != NULL)
|
||
return bfd_reloc_continue;
|
||
#endif
|
||
|
||
/* Catch relocs involving undefined symbols. */
|
||
if (bfd_is_und_section (symbol->section)
|
||
&& (symbol->flags & BSF_WEAK) == 0
|
||
&& obfd == NULL)
|
||
return bfd_reloc_undefined;
|
||
|
||
/* We handle final linking of some relocs ourselves. */
|
||
|
||
/* Is the address of the relocation really within the section? */
|
||
if (reloc->address > isection->_cooked_size)
|
||
return bfd_reloc_outofrange;
|
||
|
||
/* Work out which section the relocation is targetted at and the
|
||
initial relocation command value. */
|
||
|
||
/* Get symbol value. (Common symbols are special.) */
|
||
if (bfd_is_com_section (symbol->section))
|
||
relocation = 0;
|
||
else
|
||
relocation = symbol->value;
|
||
|
||
/* Convert input-section-relative symbol value to absolute + addend. */
|
||
relocation += symbol->section->output_section->vma;
|
||
relocation += symbol->section->output_offset;
|
||
relocation += reloc->addend;
|
||
|
||
#if 0 /* Since this reloc is going to be processed later on, we should
|
||
not make it pc-relative here. To test this, try assembling and
|
||
linking this program:
|
||
|
||
.text
|
||
.globl _start
|
||
nop
|
||
_start:
|
||
jr foo
|
||
|
||
.section ".foo","ax"
|
||
nop
|
||
foo:
|
||
nop */
|
||
if (reloc->howto->pc_relative)
|
||
{
|
||
/* Here the variable relocation holds the final address of the
|
||
symbol we are relocating against, plus any addend. */
|
||
relocation -= isection->output_section->vma + isection->output_offset;
|
||
|
||
/* Deal with pcrel_offset. */
|
||
relocation -= reloc->address;
|
||
}
|
||
#endif
|
||
reloc->addend = relocation;
|
||
return bfd_reloc_ok;
|
||
}
|
||
|
||
static boolean
|
||
v850_elf_is_local_label_name (abfd, name)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
const char * name;
|
||
{
|
||
return ( (name[0] == '.' && (name[1] == 'L' || name[1] == '.'))
|
||
|| (name[0] == '_' && name[1] == '.' && name[2] == 'L' && name[3] == '_'));
|
||
}
|
||
|
||
/* Perform a relocation as part of a final link. */
|
||
|
||
static bfd_reloc_status_type
|
||
v850_elf_final_link_relocate (howto, input_bfd, output_bfd,
|
||
input_section, contents, offset, value,
|
||
addend, info, sym_sec, is_local)
|
||
reloc_howto_type * howto;
|
||
bfd * input_bfd;
|
||
bfd * output_bfd ATTRIBUTE_UNUSED;
|
||
asection * input_section;
|
||
bfd_byte * contents;
|
||
bfd_vma offset;
|
||
bfd_vma value;
|
||
bfd_vma addend;
|
||
struct bfd_link_info * info;
|
||
asection * sym_sec;
|
||
int is_local ATTRIBUTE_UNUSED;
|
||
{
|
||
unsigned int r_type = howto->type;
|
||
bfd_byte * hit_data = contents + offset;
|
||
|
||
/* Adjust the value according to the relocation. */
|
||
switch (r_type)
|
||
{
|
||
case R_V850_9_PCREL:
|
||
value -= (input_section->output_section->vma
|
||
+ input_section->output_offset);
|
||
value -= offset;
|
||
break;
|
||
|
||
case R_V850_22_PCREL:
|
||
value -= (input_section->output_section->vma
|
||
+ input_section->output_offset
|
||
+ offset);
|
||
|
||
/* If the sign extension will corrupt the value then we have overflowed. */
|
||
if (((value & 0xff000000) != 0x0) && ((value & 0xff000000) != 0xff000000))
|
||
return bfd_reloc_overflow;
|
||
|
||
/* Only the bottom 24 bits of the PC are valid */
|
||
value = SEXT24 (value);
|
||
break;
|
||
|
||
case R_V850_HI16_S:
|
||
case R_V850_HI16:
|
||
case R_V850_LO16:
|
||
case R_V850_16:
|
||
case R_V850_32:
|
||
case R_V850_8:
|
||
break;
|
||
|
||
case R_V850_ZDA_15_16_OFFSET:
|
||
case R_V850_ZDA_16_16_OFFSET:
|
||
case R_V850_ZDA_16_16_SPLIT_OFFSET:
|
||
if (sym_sec == NULL)
|
||
return bfd_reloc_undefined;
|
||
|
||
value -= sym_sec->output_section->vma;
|
||
break;
|
||
|
||
case R_V850_SDA_15_16_OFFSET:
|
||
case R_V850_SDA_16_16_OFFSET:
|
||
case R_V850_SDA_16_16_SPLIT_OFFSET:
|
||
{
|
||
unsigned long gp;
|
||
struct bfd_link_hash_entry * h;
|
||
|
||
if (sym_sec == NULL)
|
||
return bfd_reloc_undefined;
|
||
|
||
/* Get the value of __gp. */
|
||
h = bfd_link_hash_lookup (info->hash, "__gp", false, false, true);
|
||
if (h == (struct bfd_link_hash_entry *) NULL
|
||
|| h->type != bfd_link_hash_defined)
|
||
return bfd_reloc_other;
|
||
|
||
gp = (h->u.def.value
|
||
+ h->u.def.section->output_section->vma
|
||
+ h->u.def.section->output_offset);
|
||
|
||
value -= sym_sec->output_section->vma;
|
||
value -= (gp - sym_sec->output_section->vma);
|
||
}
|
||
break;
|
||
|
||
case R_V850_TDA_4_4_OFFSET:
|
||
case R_V850_TDA_4_5_OFFSET:
|
||
case R_V850_TDA_16_16_OFFSET:
|
||
case R_V850_TDA_7_7_OFFSET:
|
||
case R_V850_TDA_7_8_OFFSET:
|
||
case R_V850_TDA_6_8_OFFSET:
|
||
{
|
||
unsigned long ep;
|
||
struct bfd_link_hash_entry * h;
|
||
|
||
/* Get the value of __ep. */
|
||
h = bfd_link_hash_lookup (info->hash, "__ep", false, false, true);
|
||
if (h == (struct bfd_link_hash_entry *) NULL
|
||
|| h->type != bfd_link_hash_defined)
|
||
/* Actually this indicates that __ep could not be found. */
|
||
return bfd_reloc_continue;
|
||
|
||
ep = (h->u.def.value
|
||
+ h->u.def.section->output_section->vma
|
||
+ h->u.def.section->output_offset);
|
||
|
||
value -= ep;
|
||
}
|
||
break;
|
||
|
||
case R_V850_CALLT_6_7_OFFSET:
|
||
{
|
||
unsigned long ctbp;
|
||
struct bfd_link_hash_entry * h;
|
||
|
||
/* Get the value of __ctbp. */
|
||
h = bfd_link_hash_lookup (info->hash, "__ctbp", false, false, true);
|
||
if (h == (struct bfd_link_hash_entry *) NULL
|
||
|| h->type != bfd_link_hash_defined)
|
||
/* Actually this indicates that __ctbp could not be found. */
|
||
return bfd_reloc_dangerous + 1;
|
||
|
||
ctbp = (h->u.def.value
|
||
+ h->u.def.section->output_section->vma
|
||
+ h->u.def.section->output_offset);
|
||
value -= ctbp;
|
||
}
|
||
break;
|
||
|
||
case R_V850_CALLT_16_16_OFFSET:
|
||
{
|
||
unsigned long ctbp;
|
||
struct bfd_link_hash_entry * h;
|
||
|
||
if (sym_sec == NULL)
|
||
return bfd_reloc_undefined;
|
||
|
||
/* Get the value of __ctbp. */
|
||
h = bfd_link_hash_lookup (info->hash, "__ctbp", false, false, true);
|
||
if (h == (struct bfd_link_hash_entry *) NULL
|
||
|| h->type != bfd_link_hash_defined)
|
||
return (bfd_reloc_dangerous + 1);
|
||
|
||
ctbp = (h->u.def.value
|
||
+ h->u.def.section->output_section->vma
|
||
+ h->u.def.section->output_offset);
|
||
|
||
value -= sym_sec->output_section->vma;
|
||
value -= (ctbp - sym_sec->output_section->vma);
|
||
}
|
||
break;
|
||
|
||
case R_V850_NONE:
|
||
case R_V850_GNU_VTINHERIT:
|
||
case R_V850_GNU_VTENTRY:
|
||
return bfd_reloc_ok;
|
||
|
||
default:
|
||
return bfd_reloc_notsupported;
|
||
}
|
||
|
||
/* Perform the relocation. */
|
||
return v850_elf_perform_relocation (input_bfd, r_type, value + addend, hit_data);
|
||
}
|
||
|
||
/* Relocate an V850 ELF section. */
|
||
|
||
static boolean
|
||
v850_elf_relocate_section (output_bfd, info, input_bfd, input_section,
|
||
contents, relocs, local_syms, local_sections)
|
||
bfd * output_bfd;
|
||
struct bfd_link_info * info;
|
||
bfd * input_bfd;
|
||
asection * input_section;
|
||
bfd_byte * contents;
|
||
Elf_Internal_Rela * relocs;
|
||
Elf_Internal_Sym * local_syms;
|
||
asection ** local_sections;
|
||
{
|
||
Elf_Internal_Shdr * symtab_hdr;
|
||
struct elf_link_hash_entry ** sym_hashes;
|
||
Elf_Internal_Rela * rel;
|
||
Elf_Internal_Rela * relend;
|
||
|
||
if (info->relocateable)
|
||
return true;
|
||
|
||
symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
|
||
sym_hashes = elf_sym_hashes (input_bfd);
|
||
|
||
if (sym_hashes == NULL)
|
||
{
|
||
info->callbacks->warning
|
||
(info, "no hash table available",
|
||
NULL, input_bfd, input_section, (bfd_vma) 0);
|
||
|
||
return false;
|
||
}
|
||
|
||
/* Reset the list of remembered HI16S relocs to empty. */
|
||
free_hi16s = previous_hi16s;
|
||
previous_hi16s = NULL;
|
||
hi16s_counter = 0;
|
||
|
||
rel = relocs;
|
||
relend = relocs + input_section->reloc_count;
|
||
for (; rel < relend; rel++)
|
||
{
|
||
int r_type;
|
||
reloc_howto_type * howto;
|
||
unsigned long r_symndx;
|
||
Elf_Internal_Sym * sym;
|
||
asection * sec;
|
||
struct elf_link_hash_entry * h;
|
||
bfd_vma relocation;
|
||
bfd_reloc_status_type r;
|
||
|
||
r_symndx = ELF32_R_SYM (rel->r_info);
|
||
r_type = ELF32_R_TYPE (rel->r_info);
|
||
|
||
if (r_type == R_V850_GNU_VTENTRY
|
||
|| r_type == R_V850_GNU_VTINHERIT)
|
||
continue;
|
||
|
||
/* This is a final link. */
|
||
howto = v850_elf_howto_table + r_type;
|
||
h = NULL;
|
||
sym = NULL;
|
||
sec = NULL;
|
||
if (r_symndx < symtab_hdr->sh_info)
|
||
{
|
||
sym = local_syms + r_symndx;
|
||
sec = local_sections[r_symndx];
|
||
relocation = _bfd_elf_rela_local_sym (output_bfd, sym, sec, rel);
|
||
#if 0
|
||
{
|
||
char * name;
|
||
|
||
name = bfd_elf_string_from_elf_section (input_bfd, symtab_hdr->sh_link, sym->st_name);
|
||
name = (name == NULL) ? "<none>" : name;
|
||
fprintf (stderr, "local: sec: %s, sym: %s (%d), value: %x + %x + %x addend %x\n",
|
||
sec->name, name, sym->st_name,
|
||
sec->output_section->vma, sec->output_offset, sym->st_value, rel->r_addend);
|
||
}
|
||
#endif
|
||
}
|
||
else
|
||
{
|
||
h = sym_hashes[r_symndx - symtab_hdr->sh_info];
|
||
|
||
while (h->root.type == bfd_link_hash_indirect
|
||
|| h->root.type == bfd_link_hash_warning)
|
||
h = (struct elf_link_hash_entry *) h->root.u.i.link;
|
||
|
||
if (h->root.type == bfd_link_hash_defined
|
||
|| h->root.type == bfd_link_hash_defweak)
|
||
{
|
||
sec = h->root.u.def.section;
|
||
relocation = (h->root.u.def.value
|
||
+ sec->output_section->vma
|
||
+ sec->output_offset);
|
||
#if 0
|
||
fprintf (stderr, "defined: sec: %s, name: %s, value: %x + %x + %x gives: %x\n",
|
||
sec->name, h->root.root.string, h->root.u.def.value, sec->output_section->vma, sec->output_offset, relocation);
|
||
#endif
|
||
}
|
||
else if (h->root.type == bfd_link_hash_undefweak)
|
||
{
|
||
#if 0
|
||
fprintf (stderr, "undefined: sec: %s, name: %s\n",
|
||
sec->name, h->root.root.string);
|
||
#endif
|
||
relocation = 0;
|
||
}
|
||
else
|
||
{
|
||
if (! ((*info->callbacks->undefined_symbol)
|
||
(info, h->root.root.string, input_bfd,
|
||
input_section, rel->r_offset, true)))
|
||
return false;
|
||
#if 0
|
||
fprintf (stderr, "unknown: name: %s\n", h->root.root.string);
|
||
#endif
|
||
relocation = 0;
|
||
}
|
||
}
|
||
|
||
/* FIXME: We should use the addend, but the COFF relocations don't. */
|
||
r = v850_elf_final_link_relocate (howto, input_bfd, output_bfd,
|
||
input_section,
|
||
contents, rel->r_offset,
|
||
relocation, rel->r_addend,
|
||
info, sec, h == NULL);
|
||
|
||
if (r != bfd_reloc_ok)
|
||
{
|
||
const char * name;
|
||
const char * msg = (const char *)0;
|
||
|
||
if (h != NULL)
|
||
name = h->root.root.string;
|
||
else
|
||
{
|
||
name = (bfd_elf_string_from_elf_section
|
||
(input_bfd, symtab_hdr->sh_link, sym->st_name));
|
||
if (name == NULL || *name == '\0')
|
||
name = bfd_section_name (input_bfd, sec);
|
||
}
|
||
|
||
switch (r)
|
||
{
|
||
case bfd_reloc_overflow:
|
||
if (! ((*info->callbacks->reloc_overflow)
|
||
(info, name, howto->name, (bfd_vma) 0,
|
||
input_bfd, input_section, rel->r_offset)))
|
||
return false;
|
||
break;
|
||
|
||
case bfd_reloc_undefined:
|
||
if (! ((*info->callbacks->undefined_symbol)
|
||
(info, name, input_bfd, input_section,
|
||
rel->r_offset, true)))
|
||
return false;
|
||
break;
|
||
|
||
case bfd_reloc_outofrange:
|
||
msg = _("internal error: out of range error");
|
||
goto common_error;
|
||
|
||
case bfd_reloc_notsupported:
|
||
msg = _("internal error: unsupported relocation error");
|
||
goto common_error;
|
||
|
||
case bfd_reloc_dangerous:
|
||
msg = _("internal error: dangerous relocation");
|
||
goto common_error;
|
||
|
||
case bfd_reloc_other:
|
||
msg = _("could not locate special linker symbol __gp");
|
||
goto common_error;
|
||
|
||
case bfd_reloc_continue:
|
||
msg = _("could not locate special linker symbol __ep");
|
||
goto common_error;
|
||
|
||
case (bfd_reloc_dangerous + 1):
|
||
msg = _("could not locate special linker symbol __ctbp");
|
||
goto common_error;
|
||
|
||
default:
|
||
msg = _("internal error: unknown error");
|
||
/* fall through */
|
||
|
||
common_error:
|
||
if (!((*info->callbacks->warning)
|
||
(info, msg, name, input_bfd, input_section,
|
||
rel->r_offset)))
|
||
return false;
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
static boolean
|
||
v850_elf_gc_sweep_hook (abfd, info, sec, relocs)
|
||
bfd *abfd ATTRIBUTE_UNUSED;
|
||
struct bfd_link_info *info ATTRIBUTE_UNUSED;
|
||
asection *sec ATTRIBUTE_UNUSED;
|
||
const Elf_Internal_Rela *relocs ATTRIBUTE_UNUSED;
|
||
{
|
||
/* No got and plt entries for v850-elf. */
|
||
return true;
|
||
}
|
||
|
||
static asection *
|
||
v850_elf_gc_mark_hook (sec, info, rel, h, sym)
|
||
asection *sec;
|
||
struct bfd_link_info *info ATTRIBUTE_UNUSED;
|
||
Elf_Internal_Rela *rel;
|
||
struct elf_link_hash_entry *h;
|
||
Elf_Internal_Sym *sym;
|
||
{
|
||
if (h != NULL)
|
||
{
|
||
switch (ELF32_R_TYPE (rel->r_info))
|
||
{
|
||
case R_V850_GNU_VTINHERIT:
|
||
case R_V850_GNU_VTENTRY:
|
||
break;
|
||
|
||
default:
|
||
switch (h->root.type)
|
||
{
|
||
case bfd_link_hash_defined:
|
||
case bfd_link_hash_defweak:
|
||
return h->root.u.def.section;
|
||
|
||
case bfd_link_hash_common:
|
||
return h->root.u.c.p->section;
|
||
|
||
default:
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
else
|
||
return bfd_section_from_elf_index (sec->owner, sym->st_shndx);
|
||
|
||
return NULL;
|
||
}
|
||
|
||
/* Set the right machine number. */
|
||
|
||
static boolean
|
||
v850_elf_object_p (abfd)
|
||
bfd *abfd;
|
||
{
|
||
switch (elf_elfheader (abfd)->e_flags & EF_V850_ARCH)
|
||
{
|
||
default:
|
||
case E_V850_ARCH: (void) bfd_default_set_arch_mach (abfd, bfd_arch_v850, 0); break;
|
||
case E_V850E_ARCH: (void) bfd_default_set_arch_mach (abfd, bfd_arch_v850, bfd_mach_v850e); break;
|
||
case E_V850EA_ARCH: (void) bfd_default_set_arch_mach (abfd, bfd_arch_v850, bfd_mach_v850ea); break;
|
||
}
|
||
return true;
|
||
}
|
||
|
||
/* Store the machine number in the flags field. */
|
||
|
||
static void
|
||
v850_elf_final_write_processing (abfd, linker)
|
||
bfd * abfd;
|
||
boolean linker ATTRIBUTE_UNUSED;
|
||
{
|
||
unsigned long val;
|
||
|
||
switch (bfd_get_mach (abfd))
|
||
{
|
||
default:
|
||
case 0: val = E_V850_ARCH; break;
|
||
case bfd_mach_v850e: val = E_V850E_ARCH; break;
|
||
case bfd_mach_v850ea: val = E_V850EA_ARCH; break;
|
||
}
|
||
|
||
elf_elfheader (abfd)->e_flags &=~ EF_V850_ARCH;
|
||
elf_elfheader (abfd)->e_flags |= val;
|
||
}
|
||
|
||
/* Function to keep V850 specific file flags. */
|
||
|
||
static boolean
|
||
v850_elf_set_private_flags (abfd, flags)
|
||
bfd * abfd;
|
||
flagword flags;
|
||
{
|
||
BFD_ASSERT (!elf_flags_init (abfd)
|
||
|| elf_elfheader (abfd)->e_flags == flags);
|
||
|
||
elf_elfheader (abfd)->e_flags = flags;
|
||
elf_flags_init (abfd) = true;
|
||
return true;
|
||
}
|
||
|
||
/* Merge backend specific data from an object file
|
||
to the output object file when linking. */
|
||
static boolean
|
||
v850_elf_merge_private_bfd_data (ibfd, obfd)
|
||
bfd * ibfd;
|
||
bfd * obfd;
|
||
{
|
||
flagword out_flags;
|
||
flagword in_flags;
|
||
|
||
if ( bfd_get_flavour (ibfd) != bfd_target_elf_flavour
|
||
|| bfd_get_flavour (obfd) != bfd_target_elf_flavour)
|
||
return true;
|
||
|
||
in_flags = elf_elfheader (ibfd)->e_flags;
|
||
out_flags = elf_elfheader (obfd)->e_flags;
|
||
|
||
if (! elf_flags_init (obfd))
|
||
{
|
||
/* If the input is the default architecture then do not
|
||
bother setting the flags for the output architecture,
|
||
instead allow future merges to do this. If no future
|
||
merges ever set these flags then they will retain their
|
||
unitialised values, which surprise surprise, correspond
|
||
to the default values. */
|
||
if (bfd_get_arch_info (ibfd)->the_default)
|
||
return true;
|
||
|
||
elf_flags_init (obfd) = true;
|
||
elf_elfheader (obfd)->e_flags = in_flags;
|
||
|
||
if (bfd_get_arch (obfd) == bfd_get_arch (ibfd)
|
||
&& bfd_get_arch_info (obfd)->the_default)
|
||
return bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), bfd_get_mach (ibfd));
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Check flag compatibility. */
|
||
if (in_flags == out_flags)
|
||
return true;
|
||
|
||
if ((in_flags & EF_V850_ARCH) != (out_flags & EF_V850_ARCH)
|
||
&& (in_flags & EF_V850_ARCH) != E_V850_ARCH)
|
||
_bfd_error_handler (_("%s: Architecture mismatch with previous modules"),
|
||
bfd_archive_filename (ibfd));
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Display the flags field. */
|
||
|
||
static boolean
|
||
v850_elf_print_private_bfd_data (abfd, ptr)
|
||
bfd * abfd;
|
||
PTR ptr;
|
||
{
|
||
FILE * file = (FILE *) ptr;
|
||
|
||
BFD_ASSERT (abfd != NULL && ptr != NULL);
|
||
|
||
_bfd_elf_print_private_bfd_data (abfd, ptr);
|
||
|
||
/* xgettext:c-format */
|
||
fprintf (file, _("private flags = %lx: "), elf_elfheader (abfd)->e_flags);
|
||
|
||
switch (elf_elfheader (abfd)->e_flags & EF_V850_ARCH)
|
||
{
|
||
default:
|
||
case E_V850_ARCH: fprintf (file, _("v850 architecture")); break;
|
||
case E_V850E_ARCH: fprintf (file, _("v850e architecture")); break;
|
||
case E_V850EA_ARCH: fprintf (file, _("v850ea architecture")); break;
|
||
}
|
||
|
||
fputc ('\n', file);
|
||
|
||
return true;
|
||
}
|
||
|
||
/* V850 ELF uses four common sections. One is the usual one, and the
|
||
others are for (small) objects in one of the special data areas:
|
||
small, tiny and zero. All the objects are kept together, and then
|
||
referenced via the gp register, the ep register or the r0 register
|
||
respectively, which yields smaller, faster assembler code. This
|
||
approach is copied from elf32-mips.c. */
|
||
|
||
static asection v850_elf_scom_section;
|
||
static asymbol v850_elf_scom_symbol;
|
||
static asymbol * v850_elf_scom_symbol_ptr;
|
||
static asection v850_elf_tcom_section;
|
||
static asymbol v850_elf_tcom_symbol;
|
||
static asymbol * v850_elf_tcom_symbol_ptr;
|
||
static asection v850_elf_zcom_section;
|
||
static asymbol v850_elf_zcom_symbol;
|
||
static asymbol * v850_elf_zcom_symbol_ptr;
|
||
|
||
/* Given a BFD section, try to locate the
|
||
corresponding ELF section index. */
|
||
|
||
static boolean
|
||
v850_elf_section_from_bfd_section (abfd, sec, retval)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
asection * sec;
|
||
int * retval;
|
||
{
|
||
if (strcmp (bfd_get_section_name (abfd, sec), ".scommon") == 0)
|
||
*retval = SHN_V850_SCOMMON;
|
||
else if (strcmp (bfd_get_section_name (abfd, sec), ".tcommon") == 0)
|
||
*retval = SHN_V850_TCOMMON;
|
||
else if (strcmp (bfd_get_section_name (abfd, sec), ".zcommon") == 0)
|
||
*retval = SHN_V850_ZCOMMON;
|
||
else
|
||
return false;
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Handle the special V850 section numbers that a symbol may use. */
|
||
|
||
static void
|
||
v850_elf_symbol_processing (abfd, asym)
|
||
bfd * abfd;
|
||
asymbol * asym;
|
||
{
|
||
elf_symbol_type * elfsym = (elf_symbol_type *) asym;
|
||
unsigned int indx;
|
||
|
||
indx = elfsym->internal_elf_sym.st_shndx;
|
||
|
||
/* If the section index is an "ordinary" index, then it may
|
||
refer to a v850 specific section created by the assembler.
|
||
Check the section's type and change the index it matches.
|
||
|
||
FIXME: Should we alter the st_shndx field as well ? */
|
||
|
||
if (indx < elf_numsections (abfd))
|
||
switch (elf_elfsections(abfd)[indx]->sh_type)
|
||
{
|
||
case SHT_V850_SCOMMON:
|
||
indx = SHN_V850_SCOMMON;
|
||
break;
|
||
|
||
case SHT_V850_TCOMMON:
|
||
indx = SHN_V850_TCOMMON;
|
||
break;
|
||
|
||
case SHT_V850_ZCOMMON:
|
||
indx = SHN_V850_ZCOMMON;
|
||
break;
|
||
|
||
default:
|
||
break;
|
||
}
|
||
|
||
switch (indx)
|
||
{
|
||
case SHN_V850_SCOMMON:
|
||
if (v850_elf_scom_section.name == NULL)
|
||
{
|
||
/* Initialize the small common section. */
|
||
v850_elf_scom_section.name = ".scommon";
|
||
v850_elf_scom_section.flags = SEC_IS_COMMON | SEC_ALLOC | SEC_DATA;
|
||
v850_elf_scom_section.output_section = & v850_elf_scom_section;
|
||
v850_elf_scom_section.symbol = & v850_elf_scom_symbol;
|
||
v850_elf_scom_section.symbol_ptr_ptr = & v850_elf_scom_symbol_ptr;
|
||
v850_elf_scom_symbol.name = ".scommon";
|
||
v850_elf_scom_symbol.flags = BSF_SECTION_SYM;
|
||
v850_elf_scom_symbol.section = & v850_elf_scom_section;
|
||
v850_elf_scom_symbol_ptr = & v850_elf_scom_symbol;
|
||
}
|
||
asym->section = & v850_elf_scom_section;
|
||
asym->value = elfsym->internal_elf_sym.st_size;
|
||
break;
|
||
|
||
case SHN_V850_TCOMMON:
|
||
if (v850_elf_tcom_section.name == NULL)
|
||
{
|
||
/* Initialize the tcommon section. */
|
||
v850_elf_tcom_section.name = ".tcommon";
|
||
v850_elf_tcom_section.flags = SEC_IS_COMMON;
|
||
v850_elf_tcom_section.output_section = & v850_elf_tcom_section;
|
||
v850_elf_tcom_section.symbol = & v850_elf_tcom_symbol;
|
||
v850_elf_tcom_section.symbol_ptr_ptr = & v850_elf_tcom_symbol_ptr;
|
||
v850_elf_tcom_symbol.name = ".tcommon";
|
||
v850_elf_tcom_symbol.flags = BSF_SECTION_SYM;
|
||
v850_elf_tcom_symbol.section = & v850_elf_tcom_section;
|
||
v850_elf_tcom_symbol_ptr = & v850_elf_tcom_symbol;
|
||
}
|
||
asym->section = & v850_elf_tcom_section;
|
||
asym->value = elfsym->internal_elf_sym.st_size;
|
||
break;
|
||
|
||
case SHN_V850_ZCOMMON:
|
||
if (v850_elf_zcom_section.name == NULL)
|
||
{
|
||
/* Initialize the zcommon section. */
|
||
v850_elf_zcom_section.name = ".zcommon";
|
||
v850_elf_zcom_section.flags = SEC_IS_COMMON;
|
||
v850_elf_zcom_section.output_section = & v850_elf_zcom_section;
|
||
v850_elf_zcom_section.symbol = & v850_elf_zcom_symbol;
|
||
v850_elf_zcom_section.symbol_ptr_ptr = & v850_elf_zcom_symbol_ptr;
|
||
v850_elf_zcom_symbol.name = ".zcommon";
|
||
v850_elf_zcom_symbol.flags = BSF_SECTION_SYM;
|
||
v850_elf_zcom_symbol.section = & v850_elf_zcom_section;
|
||
v850_elf_zcom_symbol_ptr = & v850_elf_zcom_symbol;
|
||
}
|
||
asym->section = & v850_elf_zcom_section;
|
||
asym->value = elfsym->internal_elf_sym.st_size;
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Hook called by the linker routine which adds symbols from an object
|
||
file. We must handle the special v850 section numbers here. */
|
||
|
||
static boolean
|
||
v850_elf_add_symbol_hook (abfd, info, sym, namep, flagsp, secp, valp)
|
||
bfd * abfd;
|
||
struct bfd_link_info * info ATTRIBUTE_UNUSED;
|
||
const Elf_Internal_Sym * sym;
|
||
const char ** namep ATTRIBUTE_UNUSED;
|
||
flagword * flagsp ATTRIBUTE_UNUSED;
|
||
asection ** secp;
|
||
bfd_vma * valp;
|
||
{
|
||
unsigned int indx = sym->st_shndx;
|
||
|
||
/* If the section index is an "ordinary" index, then it may
|
||
refer to a v850 specific section created by the assembler.
|
||
Check the section's type and change the index it matches.
|
||
|
||
FIXME: Should we alter the st_shndx field as well ? */
|
||
|
||
if (indx < elf_numsections (abfd))
|
||
switch (elf_elfsections(abfd)[indx]->sh_type)
|
||
{
|
||
case SHT_V850_SCOMMON:
|
||
indx = SHN_V850_SCOMMON;
|
||
break;
|
||
|
||
case SHT_V850_TCOMMON:
|
||
indx = SHN_V850_TCOMMON;
|
||
break;
|
||
|
||
case SHT_V850_ZCOMMON:
|
||
indx = SHN_V850_ZCOMMON;
|
||
break;
|
||
|
||
default:
|
||
break;
|
||
}
|
||
|
||
switch (indx)
|
||
{
|
||
case SHN_V850_SCOMMON:
|
||
*secp = bfd_make_section_old_way (abfd, ".scommon");
|
||
(*secp)->flags |= SEC_IS_COMMON;
|
||
*valp = sym->st_size;
|
||
break;
|
||
|
||
case SHN_V850_TCOMMON:
|
||
*secp = bfd_make_section_old_way (abfd, ".tcommon");
|
||
(*secp)->flags |= SEC_IS_COMMON;
|
||
*valp = sym->st_size;
|
||
break;
|
||
|
||
case SHN_V850_ZCOMMON:
|
||
*secp = bfd_make_section_old_way (abfd, ".zcommon");
|
||
(*secp)->flags |= SEC_IS_COMMON;
|
||
*valp = sym->st_size;
|
||
break;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
static boolean
|
||
v850_elf_link_output_symbol_hook (abfd, info, name, sym, input_sec)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
struct bfd_link_info * info ATTRIBUTE_UNUSED;
|
||
const char * name ATTRIBUTE_UNUSED;
|
||
Elf_Internal_Sym * sym;
|
||
asection * input_sec;
|
||
{
|
||
/* If we see a common symbol, which implies a relocatable link, then
|
||
if a symbol was in a special common section in an input file, mark
|
||
it as a special common in the output file. */
|
||
|
||
if (sym->st_shndx == SHN_COMMON)
|
||
{
|
||
if (strcmp (input_sec->name, ".scommon") == 0)
|
||
sym->st_shndx = SHN_V850_SCOMMON;
|
||
else if (strcmp (input_sec->name, ".tcommon") == 0)
|
||
sym->st_shndx = SHN_V850_TCOMMON;
|
||
else if (strcmp (input_sec->name, ".zcommon") == 0)
|
||
sym->st_shndx = SHN_V850_ZCOMMON;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
static boolean
|
||
v850_elf_section_from_shdr (abfd, hdr, name)
|
||
bfd * abfd;
|
||
Elf_Internal_Shdr * hdr;
|
||
const char * name;
|
||
{
|
||
/* There ought to be a place to keep ELF backend specific flags, but
|
||
at the moment there isn't one. We just keep track of the
|
||
sections by their name, instead. */
|
||
|
||
if (! _bfd_elf_make_section_from_shdr (abfd, hdr, name))
|
||
return false;
|
||
|
||
switch (hdr->sh_type)
|
||
{
|
||
case SHT_V850_SCOMMON:
|
||
case SHT_V850_TCOMMON:
|
||
case SHT_V850_ZCOMMON:
|
||
if (! bfd_set_section_flags (abfd, hdr->bfd_section,
|
||
(bfd_get_section_flags (abfd,
|
||
hdr->bfd_section)
|
||
| SEC_IS_COMMON)))
|
||
return false;
|
||
}
|
||
|
||
return true;
|
||
}
|
||
|
||
/* Set the correct type for a V850 ELF section. We do this
|
||
by the section name, which is a hack, but ought to work. */
|
||
|
||
static boolean
|
||
v850_elf_fake_sections (abfd, hdr, sec)
|
||
bfd * abfd ATTRIBUTE_UNUSED;
|
||
Elf32_Internal_Shdr * hdr;
|
||
asection * sec;
|
||
{
|
||
register const char * name;
|
||
|
||
name = bfd_get_section_name (abfd, sec);
|
||
|
||
if (strcmp (name, ".scommon") == 0)
|
||
{
|
||
hdr->sh_type = SHT_V850_SCOMMON;
|
||
}
|
||
else if (strcmp (name, ".tcommon") == 0)
|
||
{
|
||
hdr->sh_type = SHT_V850_TCOMMON;
|
||
}
|
||
else if (strcmp (name, ".zcommon") == 0)
|
||
hdr->sh_type = SHT_V850_ZCOMMON;
|
||
|
||
return true;
|
||
}
|
||
|
||
#define TARGET_LITTLE_SYM bfd_elf32_v850_vec
|
||
#define TARGET_LITTLE_NAME "elf32-v850"
|
||
#define ELF_ARCH bfd_arch_v850
|
||
#define ELF_MACHINE_CODE EM_V850
|
||
#define ELF_MACHINE_ALT1 EM_CYGNUS_V850
|
||
#define ELF_MAXPAGESIZE 0x1000
|
||
|
||
#define elf_info_to_howto v850_elf_info_to_howto_rela
|
||
#define elf_info_to_howto_rel v850_elf_info_to_howto_rel
|
||
|
||
#define elf_backend_check_relocs v850_elf_check_relocs
|
||
#define elf_backend_relocate_section v850_elf_relocate_section
|
||
#define elf_backend_object_p v850_elf_object_p
|
||
#define elf_backend_final_write_processing v850_elf_final_write_processing
|
||
#define elf_backend_section_from_bfd_section v850_elf_section_from_bfd_section
|
||
#define elf_backend_symbol_processing v850_elf_symbol_processing
|
||
#define elf_backend_add_symbol_hook v850_elf_add_symbol_hook
|
||
#define elf_backend_link_output_symbol_hook v850_elf_link_output_symbol_hook
|
||
#define elf_backend_section_from_shdr v850_elf_section_from_shdr
|
||
#define elf_backend_fake_sections v850_elf_fake_sections
|
||
#define elf_backend_gc_mark_hook v850_elf_gc_mark_hook
|
||
#define elf_backend_gc_sweep_hook v850_elf_gc_sweep_hook
|
||
|
||
#define elf_backend_can_gc_sections 1
|
||
#define elf_backend_rela_normal 1
|
||
|
||
#define bfd_elf32_bfd_is_local_label_name v850_elf_is_local_label_name
|
||
#define bfd_elf32_bfd_reloc_type_lookup v850_elf_reloc_type_lookup
|
||
#define bfd_elf32_bfd_merge_private_bfd_data v850_elf_merge_private_bfd_data
|
||
#define bfd_elf32_bfd_set_private_flags v850_elf_set_private_flags
|
||
#define bfd_elf32_bfd_print_private_bfd_data v850_elf_print_private_bfd_data
|
||
|
||
#define elf_symbol_leading_char '_'
|
||
|
||
#include "elf32-target.h"
|