mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-05 08:14:19 +08:00
d64c8f7181
* reloc16.c (bfd_coff_reloc16_get_relocated_section_contents): Use size_t variables. Sanity check reloc address. Handle errors from bfd_coff_reloc16_extra_cases. * coffcode.h (_bfd_coff_reloc16_extra_cases): Return bool, take size_t* args. (dummy_reloc16_extra_cases): Adjust to suit. Don't abort. * coff-z80.c (extra_case): Sanity check reloc address. Return errors. Tidy formatting. Use bfd_signed_vma temp var to check for reloc overflow. Don't abort on unexpected reloc type, instead print an error and return false. * coff-z8k.c (extra_case): Likewise. * libcoff.h: Regenerate.
403 lines
11 KiB
C
403 lines
11 KiB
C
/* BFD back-end for Zilog Z800n COFF binaries.
|
|
Copyright (C) 1992-2023 Free Software Foundation, Inc.
|
|
Contributed by Cygnus Support.
|
|
Written by Steve Chamberlain, <sac@cygnus.com>.
|
|
|
|
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 3 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., 51 Franklin Street - Fifth Floor, Boston,
|
|
MA 02110-1301, USA. */
|
|
|
|
#include "sysdep.h"
|
|
#include "bfd.h"
|
|
#include "libbfd.h"
|
|
#include "bfdlink.h"
|
|
#include "coff/z8k.h"
|
|
#include "coff/internal.h"
|
|
#include "libcoff.h"
|
|
|
|
#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (1)
|
|
|
|
static reloc_howto_type r_imm32 =
|
|
HOWTO (R_IMM32, 0, 4, 32, false, 0,
|
|
complain_overflow_bitfield, 0, "r_imm32", true, 0xffffffff,
|
|
0xffffffff, false);
|
|
|
|
static reloc_howto_type r_imm4l =
|
|
HOWTO (R_IMM4L, 0, 1, 4, false, 0,
|
|
complain_overflow_bitfield, 0, "r_imm4l", true, 0xf, 0xf, false);
|
|
|
|
static reloc_howto_type r_da =
|
|
HOWTO (R_IMM16, 0, 2, 16, false, 0,
|
|
complain_overflow_bitfield, 0, "r_da", true, 0x0000ffff, 0x0000ffff,
|
|
false);
|
|
|
|
static reloc_howto_type r_imm8 =
|
|
HOWTO (R_IMM8, 0, 1, 8, false, 0,
|
|
complain_overflow_bitfield, 0, "r_imm8", true, 0x000000ff, 0x000000ff,
|
|
false);
|
|
|
|
static reloc_howto_type r_rel16 =
|
|
HOWTO (R_REL16, 0, 2, 16, false, 0,
|
|
complain_overflow_bitfield, 0, "r_rel16", true, 0x0000ffff, 0x0000ffff,
|
|
true);
|
|
|
|
static reloc_howto_type r_jr =
|
|
HOWTO (R_JR, 1, 1, 8, true, 0, complain_overflow_signed, 0,
|
|
"r_jr", true, 0xff, 0xff, true);
|
|
|
|
static reloc_howto_type r_disp7 =
|
|
HOWTO (R_DISP7, 0, 1, 7, true, 0, complain_overflow_bitfield, 0,
|
|
"r_disp7", true, 0x7f, 0x7f, true);
|
|
|
|
static reloc_howto_type r_callr =
|
|
HOWTO (R_CALLR, 1, 2, 12, true, 0, complain_overflow_signed, 0,
|
|
"r_callr", true, 0xfff, 0xfff, true);
|
|
|
|
#define BADMAG(x) Z8KBADMAG(x)
|
|
#define Z8K 1 /* Customize coffcode.h. */
|
|
#define __A_MAGIC_SET__
|
|
|
|
/* Code to swap in the reloc. */
|
|
#define SWAP_IN_RELOC_OFFSET H_GET_32
|
|
#define SWAP_OUT_RELOC_OFFSET H_PUT_32
|
|
#define SWAP_OUT_RELOC_EXTRA(abfd, src, dst) \
|
|
dst->r_stuff[0] = 'S'; \
|
|
dst->r_stuff[1] = 'C';
|
|
|
|
/* Code to turn a r_type into a howto ptr, uses the above howto table. */
|
|
|
|
static void
|
|
rtype2howto (arelent *internal, struct internal_reloc *dst)
|
|
{
|
|
switch (dst->r_type)
|
|
{
|
|
default:
|
|
internal->howto = NULL;
|
|
break;
|
|
case R_IMM8:
|
|
internal->howto = &r_imm8;
|
|
break;
|
|
case R_IMM16:
|
|
internal->howto = &r_da;
|
|
break;
|
|
case R_JR:
|
|
internal->howto = &r_jr;
|
|
break;
|
|
case R_DISP7:
|
|
internal->howto = &r_disp7;
|
|
break;
|
|
case R_CALLR:
|
|
internal->howto = &r_callr;
|
|
break;
|
|
case R_REL16:
|
|
internal->howto = &r_rel16;
|
|
break;
|
|
case R_IMM32:
|
|
internal->howto = &r_imm32;
|
|
break;
|
|
case R_IMM4L:
|
|
internal->howto = &r_imm4l;
|
|
break;
|
|
}
|
|
}
|
|
|
|
#define RTYPE2HOWTO(internal, relocentry) rtype2howto (internal, relocentry)
|
|
|
|
static reloc_howto_type *
|
|
coff_z8k_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
|
|
bfd_reloc_code_real_type code)
|
|
{
|
|
switch (code)
|
|
{
|
|
case BFD_RELOC_8: return & r_imm8;
|
|
case BFD_RELOC_16: return & r_da;
|
|
case BFD_RELOC_32: return & r_imm32;
|
|
case BFD_RELOC_8_PCREL: return & r_jr;
|
|
case BFD_RELOC_16_PCREL: return & r_rel16;
|
|
case BFD_RELOC_Z8K_DISP7: return & r_disp7;
|
|
case BFD_RELOC_Z8K_CALLR: return & r_callr;
|
|
case BFD_RELOC_Z8K_IMM4L: return & r_imm4l;
|
|
default: BFD_FAIL ();
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
static reloc_howto_type *
|
|
coff_z8k_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
|
|
const char *r_name)
|
|
{
|
|
if (strcasecmp (r_imm8.name, r_name) == 0)
|
|
return &r_imm8;
|
|
if (strcasecmp (r_da.name, r_name) == 0)
|
|
return &r_da;
|
|
if (strcasecmp (r_imm32.name, r_name) == 0)
|
|
return &r_imm32;
|
|
if (strcasecmp (r_jr.name, r_name) == 0)
|
|
return &r_jr;
|
|
if (strcasecmp (r_rel16.name, r_name) == 0)
|
|
return &r_rel16;
|
|
if (strcasecmp (r_disp7.name, r_name) == 0)
|
|
return &r_disp7;
|
|
if (strcasecmp (r_callr.name, r_name) == 0)
|
|
return &r_callr;
|
|
if (strcasecmp (r_imm4l.name, r_name) == 0)
|
|
return &r_imm4l;
|
|
|
|
return NULL;
|
|
}
|
|
|
|
/* Perform any necessary magic to the addend in a reloc entry. */
|
|
|
|
#define CALC_ADDEND(abfd, symbol, ext_reloc, cache_ptr) \
|
|
cache_ptr->addend = ext_reloc.r_offset;
|
|
|
|
#define RELOC_PROCESSING(relent,reloc,symbols,abfd,section) \
|
|
reloc_processing(relent, reloc, symbols, abfd, section)
|
|
|
|
static void
|
|
reloc_processing (arelent *relent,
|
|
struct internal_reloc *reloc,
|
|
asymbol **symbols,
|
|
bfd *abfd,
|
|
asection *section)
|
|
{
|
|
relent->address = reloc->r_vaddr;
|
|
rtype2howto (relent, reloc);
|
|
|
|
if (reloc->r_symndx == -1 || symbols == NULL)
|
|
relent->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
|
|
else if (reloc->r_symndx >= 0 && reloc->r_symndx < obj_conv_table_size (abfd))
|
|
relent->sym_ptr_ptr = symbols + obj_convert (abfd)[reloc->r_symndx];
|
|
else
|
|
{
|
|
_bfd_error_handler
|
|
/* xgettext:c-format */
|
|
(_("%pB: warning: illegal symbol index %ld in relocs"),
|
|
abfd, reloc->r_symndx);
|
|
relent->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
|
|
}
|
|
relent->addend = reloc->r_offset;
|
|
relent->address -= section->vma;
|
|
}
|
|
|
|
static bool
|
|
extra_case (bfd *in_abfd,
|
|
struct bfd_link_info *link_info,
|
|
struct bfd_link_order *link_order,
|
|
arelent *reloc,
|
|
bfd_byte *data,
|
|
size_t *src_ptr,
|
|
size_t *dst_ptr)
|
|
{
|
|
asection * input_section = link_order->u.indirect.section;
|
|
bfd_size_type end = bfd_get_section_limit_octets (in_abfd, input_section);
|
|
bfd_size_type reloc_size = bfd_get_reloc_size (reloc->howto);
|
|
|
|
if (*src_ptr > end
|
|
|| reloc_size > end - *src_ptr)
|
|
{
|
|
link_info->callbacks->einfo
|
|
/* xgettext:c-format */
|
|
(_("%X%P: %pB(%pA): relocation \"%pR\" goes out of range\n"),
|
|
in_abfd, input_section, reloc);
|
|
return false;
|
|
}
|
|
|
|
switch (reloc->howto->type)
|
|
{
|
|
case R_IMM8:
|
|
bfd_put_8 (in_abfd,
|
|
bfd_coff_reloc16_get_value (reloc, link_info, input_section),
|
|
data + *dst_ptr);
|
|
*dst_ptr += 1;
|
|
*src_ptr += 1;
|
|
break;
|
|
|
|
case R_IMM32:
|
|
/* If no flags are set, assume immediate value. */
|
|
if (! (*reloc->sym_ptr_ptr)->section->flags)
|
|
{
|
|
bfd_put_32 (in_abfd,
|
|
bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section),
|
|
data + *dst_ptr);
|
|
}
|
|
else
|
|
{
|
|
bfd_vma dst = bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section);
|
|
/* Addresses are 23 bit, and the layout of those in a 32-bit
|
|
value is as follows:
|
|
1AAAAAAA xxxxxxxx AAAAAAAA AAAAAAAA
|
|
(A - address bits, x - ignore). */
|
|
dst = (dst & 0xffff) | ((dst & 0xff0000) << 8) | 0x80000000;
|
|
bfd_put_32 (in_abfd, dst, data + *dst_ptr);
|
|
}
|
|
*dst_ptr += 4;
|
|
*src_ptr += 4;
|
|
break;
|
|
|
|
case R_IMM4L:
|
|
bfd_put_8 (in_abfd,
|
|
((bfd_get_8 (in_abfd, data + *dst_ptr) & 0xf0)
|
|
| (0x0f & bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section))),
|
|
data + *dst_ptr);
|
|
*dst_ptr += 1;
|
|
*src_ptr += 1;
|
|
break;
|
|
|
|
case R_IMM16:
|
|
bfd_put_16 (in_abfd,
|
|
bfd_coff_reloc16_get_value (reloc, link_info, input_section),
|
|
data + *dst_ptr);
|
|
*dst_ptr += 2;
|
|
*src_ptr += 2;
|
|
break;
|
|
|
|
case R_JR:
|
|
{
|
|
bfd_vma dst = bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section);
|
|
bfd_vma dot = (*dst_ptr
|
|
+ input_section->output_offset
|
|
+ input_section->output_section->vma);
|
|
/* -1, since we're in the odd byte of the word and the pc has
|
|
been incremented. */
|
|
bfd_signed_vma gap = dst - dot - 1;
|
|
|
|
if ((gap & 1) != 0 || gap > 254 || gap < -256)
|
|
{
|
|
link_info->callbacks->reloc_overflow
|
|
(link_info, NULL, bfd_asymbol_name (*reloc->sym_ptr_ptr),
|
|
reloc->howto->name, reloc->addend, input_section->owner,
|
|
input_section, reloc->address);
|
|
return false;
|
|
}
|
|
|
|
bfd_put_8 (in_abfd, gap / 2, data + *dst_ptr);
|
|
*dst_ptr += 1;
|
|
*src_ptr += 1;
|
|
break;
|
|
}
|
|
|
|
case R_DISP7:
|
|
{
|
|
bfd_vma dst = bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section);
|
|
bfd_vma dot = (*dst_ptr
|
|
+ input_section->output_offset
|
|
+ input_section->output_section->vma);
|
|
bfd_signed_vma gap = dst - dot - 1;
|
|
|
|
if ((gap & 1) != 0 || gap > 0 || gap < -254)
|
|
{
|
|
link_info->callbacks->reloc_overflow
|
|
(link_info, NULL, bfd_asymbol_name (*reloc->sym_ptr_ptr),
|
|
reloc->howto->name, reloc->addend, input_section->owner,
|
|
input_section, reloc->address);
|
|
return false;
|
|
}
|
|
|
|
bfd_put_8 (in_abfd,
|
|
((bfd_get_8 (in_abfd, data + *dst_ptr) & 0x80)
|
|
+ (-gap / 2 & 0x7f)),
|
|
data + *dst_ptr);
|
|
*dst_ptr += 1;
|
|
*src_ptr += 1;
|
|
break;
|
|
}
|
|
|
|
case R_CALLR:
|
|
{
|
|
bfd_vma dst = bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section);
|
|
bfd_vma dot = (*dst_ptr
|
|
+ input_section->output_offset
|
|
+ input_section->output_section->vma);
|
|
bfd_signed_vma gap = dst - dot - 2;
|
|
|
|
if ((gap & 1) != 0 || gap > 4096 || gap < -4095)
|
|
{
|
|
link_info->callbacks->reloc_overflow
|
|
(link_info, NULL, bfd_asymbol_name (*reloc->sym_ptr_ptr),
|
|
reloc->howto->name, reloc->addend, input_section->owner,
|
|
input_section, reloc->address);
|
|
return false;
|
|
}
|
|
|
|
bfd_put_16 (in_abfd,
|
|
((bfd_get_16 (in_abfd, data + *dst_ptr) & 0xf000)
|
|
| (-gap / 2 & 0x0fff)),
|
|
data + *dst_ptr);
|
|
*dst_ptr += 2;
|
|
*src_ptr += 2;
|
|
break;
|
|
}
|
|
|
|
case R_REL16:
|
|
{
|
|
bfd_vma dst = bfd_coff_reloc16_get_value (reloc, link_info,
|
|
input_section);
|
|
bfd_vma dot = (*dst_ptr
|
|
+ input_section->output_offset
|
|
+ input_section->output_section->vma);
|
|
bfd_signed_vma gap = dst - dot - 2;
|
|
|
|
if (gap > 32767 || gap < -32768)
|
|
{
|
|
link_info->callbacks->reloc_overflow
|
|
(link_info, NULL, bfd_asymbol_name (*reloc->sym_ptr_ptr),
|
|
reloc->howto->name, reloc->addend, input_section->owner,
|
|
input_section, reloc->address);
|
|
return false;
|
|
}
|
|
|
|
bfd_put_16 (in_abfd, gap, data + *dst_ptr);
|
|
*dst_ptr += 2;
|
|
*src_ptr += 2;
|
|
break;
|
|
}
|
|
|
|
default:
|
|
link_info->callbacks->einfo
|
|
/* xgettext:c-format */
|
|
(_("%X%P: %pB(%pA): relocation \"%pR\" is not supported\n"),
|
|
in_abfd, input_section, reloc);
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
#define coff_reloc16_extra_cases extra_case
|
|
#define coff_bfd_reloc_type_lookup coff_z8k_reloc_type_lookup
|
|
#define coff_bfd_reloc_name_lookup coff_z8k_reloc_name_lookup
|
|
|
|
#ifndef bfd_pe_print_pdata
|
|
#define bfd_pe_print_pdata NULL
|
|
#endif
|
|
|
|
#include "coffcode.h"
|
|
|
|
#undef coff_bfd_get_relocated_section_contents
|
|
#define coff_bfd_get_relocated_section_contents \
|
|
bfd_coff_reloc16_get_relocated_section_contents
|
|
|
|
#undef coff_bfd_relax_section
|
|
#define coff_bfd_relax_section bfd_coff_reloc16_relax_section
|
|
|
|
CREATE_BIG_COFF_TARGET_VEC (z8k_coff_vec, "coff-z8k", 0, 0, '_', NULL, COFF_SWAP_TABLE)
|