binutils-gdb/bfd/elf32-hppa.c
Ian Lance Taylor 6812b6077e * targets.c (bfd_target): Rearranged fields in target vector.
Removed _bfd_debug_info_start, _bfd_debug_info_end and
	_bfd_debug_info_accumulate, which were never used.
	(BFD_JUMP_TABLE_GENERIC, BFD_JUMP_TABLE_COPY): Defined.
	(BFD_JUMP_TABLE_CORE, BFD_JUMP_TABLE_ARCHIVE): Defined.
	(BFD_JUMP_TABLE_SYMBOLS, BFD_JUMP_TABLE_RELOCS): Defined.
	(BFD_JUMP_TABLE_WRITE, BFD_JUMP_TABLE_LINK): Defined.
	* All backends: Changed to use the new BFD_JUMP_TABLE_* macros
	rather than the single JUMP_TABLE macro.  Removed many of the
	weird macro definitions needed to support the monolithic
	JUMP_TABLE.
	* bfd-in.h (JUMP_TABLE): Removed.
	* libbfd-in.h: Define a bunch of macros, and declare a few
	functions, for use with the new BFD_JUMP_TABLE_* macros.
	* libbfd.c (_bfd_dummy_new_section_hook): Removed.
	(bfd_false): Set bfd_error_invalid_operation.
	(bfd_nullvoidptr): Likewise.
	(bfd_n1): New function.
	(_bfd_nocore_core_file_matches_executable_p): Renamed from
	_bfd_dummy_core_file_matches_executable_p.
	(_bfd_nocore_core_file_failing_command): Similar rename.  Set
	bfd_error_invalid_operation.
	(_bfd_nocore_core_file_failing_signal): Likewise.
	(_bfd_generic_get_section_contents): Renamed from
	bfd_generic_get_section_contents.  Changed all callers.
	(_bfd_generic_set_section_contents): Similar rename.
	* ieee.c: #if 0 out ieee_bfd_debug_info_start,
	ieee_bfd_debug_info_end, ieee_bfd_debug_info_accumulate.  They
	were never called.
	* bfd-in2.h: Rebuilt.
	* libbfd.h: Rebuilt.
1994-04-06 22:00:40 +00:00

3415 lines
102 KiB
C

/* BFD back-end for HP PA-RISC ELF files.
Copyright (C) 1990, 91, 92, 93, 94 Free Software Foundation, Inc.
Written by
Center for Software Science
Department of Computer Science
University of Utah
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., 675 Mass Ave, Cambridge, MA 02139, USA. */
#include "bfd.h"
#include "sysdep.h"
#include "libbfd.h"
#include "obstack.h"
#include "bfdlink.h"
#include "libelf.h"
/* Note there isn't much error handling code in here yet. Unexpected
conditions are handled by just calling abort. FIXME damnit! */
/* ELF32/HPPA relocation support
This file contains ELF32/HPPA relocation support as specified
in the Stratus FTX/Golf Object File Format (SED-1762) dated
November 19, 1992. */
#include "elf32-hppa.h"
#include "aout/aout64.h"
#include "hppa_stubs.h"
/* The basic stub types supported. If/when shared libraries are
implemented some form of IMPORT and EXPORT stubs will be needed. */
typedef enum
{
HPPA_STUB_ILLEGAL,
HPPA_STUB_ARG_RELOC,
HPPA_STUB_LONG_CALL,
} hppa_stub_type;
/* This is a list of all the stubs for a particular BFD. */
typedef struct elf32_hppa_stub_name_list_struct
{
/* The symbol associated with this stub. */
asymbol *sym;
/* Pointer to chain of all stub chains. */
struct elf32_hppa_stub_description_struct *stub_desc;
/* Pointer to the stub contents (eg instructions). */
int *stub_secp;
/* Size of this stub? (in what units? FIXME). */
unsigned size;
/* Pointer to the next stub entry in the chain. */
struct elf32_hppa_stub_name_list_struct *next;
} elf32_hppa_stub_name_list;
/* This is a linked list in which each entry describes all the
linker stubs for a particular bfd. */
typedef struct elf32_hppa_stub_description_struct
{
/* The next group of stubs. */
struct elf32_hppa_stub_description_struct *next;
/* Used to identify this group of stubs as belonging
to a particular bfd. */
bfd *this_bfd;
/* FIXME: The stub section for this group of stubs? Is
this redundant with stub_listP->sym->section? */
asection *stub_sec;
/* FIXME: what the hell is this? */
unsigned relocs_allocated_cnt;
/* The current real size of the stubs (in bytes?). */
unsigned real_size;
/* How much space we have allocated for stubs (in bytes?). */
unsigned allocated_size;
/* Pointer to the first available space for new stubs. */
int *stub_secp;
/* Pointer to the beginning of the stubs. FIXME: Why an int *
above and a char * here? */
char *stub_contents;
/* The list of stubs for this bfd. */
elf32_hppa_stub_name_list *stub_listP;
/* I guess we just carry this around for fun. */
struct bfd_link_info *link_info;
} elf32_hppa_stub_description;
/* FIXME. */
#define ARGUMENTS 0
#define RETURN_VALUE 1
/* The various argument relocations that may be performed.
Note GRX,GRY really means ARGX,ARGY. */
typedef enum
{
/* No relocation. */
NO_ARG_RELOC,
/* Relocate 32 bits from general to FP register. */
R_TO_FR,
/* Relocate 64 bits from arg0,arg1 to FParg1. */
R01_TO_FR,
/* Relocate 64 bits from arg2,arg3 to FParg3. */
R23_TO_FR,
/* Relocate 32 bits from FP to general register. */
FR_TO_R,
/* Relocate 64 bits from FParg1 to arg0,arg1. */
FR_TO_R01,
/* Relocate 64 bits from FParg3 to arg2,arg3. */
FR_TO_R23,
/* Death. */
ARG_RELOC_ERR,
} arg_reloc_type;
/* Where (what register type) is an argument comming from? */
typedef enum
{
/* Not in a register. */
AR_NO,
/* In a general argument register. */
AR_GR,
/* In right half of a FP argument register. */
AR_FR,
/* In upper (left) half of a FP argument register. */
AR_FU,
/* In general argument register pair 0 (arg0, arg1). */
AR_DBL01,
/* In general argument register pair 1 (arg2, arg3). */
AR_DBL23,
} arg_location;
/* What is being relocated (eg which argument or the return value). */
typedef enum
{
ARG0, ARG1, ARG2, ARG3, RETVAL,
} arg_reloc_location;
/* Horizontal represents callee's argument location information, vertical
represents caller's argument location information. Value at a particular
X, Y location represents what (if any) argument relocation needs to
be performed to make caller and callee agree. */
static CONST arg_reloc_type mismatches[6][6] =
{
{NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC,
NO_ARG_RELOC, NO_ARG_RELOC},
{NO_ARG_RELOC, NO_ARG_RELOC, R_TO_FR, ARG_RELOC_ERR,
R01_TO_FR, ARG_RELOC_ERR},
{NO_ARG_RELOC, FR_TO_R, NO_ARG_RELOC, ARG_RELOC_ERR,
ARG_RELOC_ERR, ARG_RELOC_ERR},
{ARG_RELOC_ERR, ARG_RELOC_ERR, ARG_RELOC_ERR, ARG_RELOC_ERR,
ARG_RELOC_ERR, ARG_RELOC_ERR},
{NO_ARG_RELOC, FR_TO_R01, NO_ARG_RELOC, ARG_RELOC_ERR,
NO_ARG_RELOC, ARG_RELOC_ERR},
{NO_ARG_RELOC, FR_TO_R23, NO_ARG_RELOC, ARG_RELOC_ERR,
ARG_RELOC_ERR, NO_ARG_RELOC},
};
/* Likewise for the return value. */
static CONST arg_reloc_type retval_mismatches[6][6] =
{
{NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC,
NO_ARG_RELOC, NO_ARG_RELOC},
{NO_ARG_RELOC, NO_ARG_RELOC, FR_TO_R, ARG_RELOC_ERR,
FR_TO_R01, ARG_RELOC_ERR},
{NO_ARG_RELOC, R_TO_FR, NO_ARG_RELOC, ARG_RELOC_ERR,
ARG_RELOC_ERR, ARG_RELOC_ERR},
{ARG_RELOC_ERR, ARG_RELOC_ERR, ARG_RELOC_ERR, ARG_RELOC_ERR,
ARG_RELOC_ERR, ARG_RELOC_ERR},
{NO_ARG_RELOC, R01_TO_FR, NO_ARG_RELOC, ARG_RELOC_ERR,
NO_ARG_RELOC, ARG_RELOC_ERR},
{NO_ARG_RELOC, R23_TO_FR, NO_ARG_RELOC, ARG_RELOC_ERR,
ARG_RELOC_ERR, NO_ARG_RELOC},
};
/* Used for index mapping in symbol-extension sections. */
struct elf32_hppa_symextn_map_struct
{
int old_index;
bfd *bfd;
asymbol *sym;
int new_index;
};
static bfd_reloc_status_type hppa_elf_reloc
PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
static unsigned long hppa_elf_relocate_insn
PARAMS ((bfd *, asection *, unsigned long, unsigned long, long,
long, unsigned long, unsigned long, unsigned long));
static void hppa_elf_relocate_unwind_table
PARAMS ((bfd *, PTR, unsigned long, long, long,
unsigned long, unsigned long));
static long get_symbol_value PARAMS ((asymbol *));
static bfd_reloc_status_type hppa_elf_reloc
PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd*, char **));
static CONST reloc_howto_type * elf_hppa_reloc_type_lookup
PARAMS ((bfd *, bfd_reloc_code_real_type));
static symext_entryS elf32_hppa_get_sym_extn PARAMS ((bfd *, asymbol *, int));
static elf32_hppa_stub_description * find_stubs PARAMS ((bfd *, asection *));
static elf32_hppa_stub_description * new_stub
PARAMS ((bfd *, asection *, struct bfd_link_info *));
static arg_reloc_type type_of_mismatch PARAMS ((int, int, int));
static elf32_hppa_stub_name_list * find_stub_by_name
PARAMS ((bfd *, asection *, char *));
static elf32_hppa_stub_name_list * add_stub_by_name
PARAMS ((bfd *, asection *, asymbol *, struct bfd_link_info *));
static void hppa_elf_stub_finish PARAMS ((bfd *));
static void hppa_elf_stub_reloc
PARAMS ((elf32_hppa_stub_description *, bfd *, asymbol **, int,
elf32_hppa_reloc_type));
static int hppa_elf_arg_reloc_needed_p
PARAMS ((bfd *, arelent *, arg_reloc_type [5], symext_entryS));
static asymbol * hppa_elf_build_linker_stub
PARAMS ((bfd *, bfd *, struct bfd_link_info *, arelent *,
arg_reloc_type [5], int, unsigned *, hppa_stub_type));
static void hppa_elf_create_stub_sec
PARAMS ((bfd *, bfd *, asection **, struct bfd_link_info *));
static int hppa_elf_long_branch_needed_p
PARAMS ((bfd *, asection *, arelent *, asymbol *, unsigned));
static boolean hppa_elf_set_section_contents
PARAMS ((bfd *, sec_ptr, PTR, file_ptr, bfd_size_type));
static void elf_info_to_howto
PARAMS ((bfd *, arelent *, Elf32_Internal_Rela *));
static void elf32_hppa_backend_symbol_processing PARAMS ((bfd *, asymbol *));
static boolean elf32_hppa_backend_section_processing
PARAMS ((bfd *, Elf32_Internal_Shdr *));
static boolean elf32_hppa_backend_symbol_table_processing
PARAMS ((bfd *, elf_symbol_type *, int));
static boolean elf32_hppa_backend_section_from_shdr
PARAMS ((bfd *, Elf32_Internal_Shdr *, char *));
static boolean elf32_hppa_backend_fake_sections
PARAMS ((bfd *, Elf_Internal_Shdr *, asection *));
static boolean elf32_hppa_backend_section_from_bfd_section
PARAMS ((bfd *, Elf32_Internal_Shdr *, asection *, int *));
static boolean hppa_elf_is_local_label PARAMS ((bfd *, asymbol *));
/* ELF/PA relocation howto entries. */
static reloc_howto_type elf_hppa_howto_table[ELF_HOWTO_TABLE_SIZE] =
{
{R_HPPA_NONE, 0, 3, 19, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_NONE"},
{R_HPPA_32, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_32"},
{R_HPPA_11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_11"},
{R_HPPA_14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_14"},
{R_HPPA_17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_17"},
{R_HPPA_L21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_L21"},
{R_HPPA_R11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_R11"},
{R_HPPA_R14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_R14"},
{R_HPPA_R17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_R17"},
{R_HPPA_LS21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_LS21"},
{R_HPPA_RS11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RS11"},
{R_HPPA_RS14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RS14"},
{R_HPPA_RS17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RS17"},
{R_HPPA_LD21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_LD21"},
{R_HPPA_RD11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RD11"},
{R_HPPA_RD14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RD14"},
{R_HPPA_RD17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RD17"},
{R_HPPA_LR21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_LR21"},
{R_HPPA_RR14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RR14"},
{R_HPPA_RR17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_RR17"},
{R_HPPA_GOTOFF_11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_11"},
{R_HPPA_GOTOFF_14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_14"},
{R_HPPA_GOTOFF_L21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_L21"},
{R_HPPA_GOTOFF_R11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_R11"},
{R_HPPA_GOTOFF_R14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_R14"},
{R_HPPA_GOTOFF_LS21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_LS21"},
{R_HPPA_GOTOFF_RS11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_RS11"},
{R_HPPA_GOTOFF_RS14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_RS14"},
{R_HPPA_GOTOFF_LD21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_LD21"},
{R_HPPA_GOTOFF_RD11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_RD11"},
{R_HPPA_GOTOFF_RD14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_RD14"},
{R_HPPA_GOTOFF_LR21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_LR21"},
{R_HPPA_GOTOFF_RR14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_GOTOFF_RR14"},
{R_HPPA_ABS_CALL_11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_11"},
{R_HPPA_ABS_CALL_14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_14"},
{R_HPPA_ABS_CALL_17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_17"},
{R_HPPA_ABS_CALL_L21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_L21"},
{R_HPPA_ABS_CALL_R11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_R11"},
{R_HPPA_ABS_CALL_R14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_R14"},
{R_HPPA_ABS_CALL_R17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_R17"},
{R_HPPA_ABS_CALL_LS21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_LS21"},
{R_HPPA_ABS_CALL_RS11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS11"},
{R_HPPA_ABS_CALL_RS14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS14"},
{R_HPPA_ABS_CALL_RS17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS17"},
{R_HPPA_ABS_CALL_LD21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_LD21"},
{R_HPPA_ABS_CALL_RD11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD11"},
{R_HPPA_ABS_CALL_RD14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD14"},
{R_HPPA_ABS_CALL_RD17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD17"},
{R_HPPA_ABS_CALL_LR21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_LR21"},
{R_HPPA_ABS_CALL_RR14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RR14"},
{R_HPPA_ABS_CALL_RR17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ABS_CALL_RR17"},
{R_HPPA_PCREL_CALL_11, 0, 3, 11, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_11"},
{R_HPPA_PCREL_CALL_14, 0, 3, 14, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_14"},
{R_HPPA_PCREL_CALL_17, 0, 3, 17, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_17"},
{R_HPPA_PCREL_CALL_12, 0, 3, 12, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_12"},
{R_HPPA_PCREL_CALL_L21, 0, 3, 21, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_L21"},
{R_HPPA_PCREL_CALL_R11, 0, 3, 11, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R11"},
{R_HPPA_PCREL_CALL_R14, 0, 3, 14, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R14"},
{R_HPPA_PCREL_CALL_R17, 0, 3, 17, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R17"},
{R_HPPA_PCREL_CALL_LS21, 0, 3, 21, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LS21"},
{R_HPPA_PCREL_CALL_RS11, 0, 3, 11, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS11"},
{R_HPPA_PCREL_CALL_RS14, 0, 3, 14, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS14"},
{R_HPPA_PCREL_CALL_RS17, 0, 3, 17, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS17"},
{R_HPPA_PCREL_CALL_LD21, 0, 3, 21, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LD21"},
{R_HPPA_PCREL_CALL_RD11, 0, 3, 11, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD11"},
{R_HPPA_PCREL_CALL_RD14, 0, 3, 14, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD14"},
{R_HPPA_PCREL_CALL_RD17, 0, 3, 17, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD17"},
{R_HPPA_PCREL_CALL_LR21, 0, 3, 21, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LR21"},
{R_HPPA_PCREL_CALL_RR14, 0, 3, 14, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RR14"},
{R_HPPA_PCREL_CALL_RR17, 0, 3, 17, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RR17"},
{R_HPPA_PLABEL_32, 0, 3, 32, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_32"},
{R_HPPA_PLABEL_11, 0, 3, 11, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_11"},
{R_HPPA_PLABEL_14, 0, 3, 14, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_14"},
{R_HPPA_PLABEL_L21, 0, 3, 21, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_L21"},
{R_HPPA_PLABEL_R11, 0, 3, 11, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_R11"},
{R_HPPA_PLABEL_R14, 0, 3, 14, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_PLABEL_R14"},
{R_HPPA_DLT_32, 0, 3, 32, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_32"},
{R_HPPA_DLT_11, 0, 3, 11, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_11"},
{R_HPPA_DLT_14, 0, 3, 14, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_14"},
{R_HPPA_DLT_L21, 0, 3, 21, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_L21"},
{R_HPPA_DLT_R11, 0, 3, 11, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_R11"},
{R_HPPA_DLT_R14, 0, 3, 14, false, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_DLT_R14"},
{R_HPPA_UNWIND_ENTRY, 0, 3, 32, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_UNWIND_ENTRY"},
{R_HPPA_UNWIND_ENTRIES, 0, 3, 32, true, 0, complain_overflow_signed, hppa_elf_reloc, "R_HPPA_UNWIND_ENTRIES"},
{R_HPPA_PUSH_CONST, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_CONST"},
{R_HPPA_PUSH_PC, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_PC"},
{R_HPPA_PUSH_SYM, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_SYM"},
{R_HPPA_PUSH_GOTOFF, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_GOTOFF"},
{R_HPPA_PUSH_ABS_CALL, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_ABS_CALL"},
{R_HPPA_PUSH_PCREL_CALL, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_PCREL_CALL"},
{R_HPPA_PUSH_PLABEL, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_PUSH_PLABEL"},
{R_HPPA_MAX, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_MAX"},
{R_HPPA_MIN, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_MIN"},
{R_HPPA_ADD, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ADD"},
{R_HPPA_SUB, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_SUB"},
{R_HPPA_MULT, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_MULT"},
{R_HPPA_DIV, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_DIV"},
{R_HPPA_MOD, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_MOD"},
{R_HPPA_AND, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_AND"},
{R_HPPA_OR, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_OR"},
{R_HPPA_XOR, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_XOR"},
{R_HPPA_NOT, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_NOT"},
{R_HPPA_LSHIFT, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_LSHIFT"},
{R_HPPA_ARITH_RSHIFT, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_ARITH_RSHIFT"},
{R_HPPA_LOGIC_RSHIFT, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_LOGIC_RSHIFT"},
{R_HPPA_EXPR_F, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_L"},
{R_HPPA_EXPR_L, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_L"},
{R_HPPA_EXPR_R, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_R"},
{R_HPPA_EXPR_LS, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_LS"},
{R_HPPA_EXPR_RS, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_RS"},
{R_HPPA_EXPR_LD, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_LD"},
{R_HPPA_EXPR_RD, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_RD"},
{R_HPPA_EXPR_LR, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_LR"},
{R_HPPA_EXPR_RR, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_RR"},
{R_HPPA_EXPR_32, 0, 3, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_32"},
{R_HPPA_EXPR_21, 0, 3, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_21"},
{R_HPPA_EXPR_11, 0, 3, 11, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_11"},
{R_HPPA_EXPR_14, 0, 3, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_14"},
{R_HPPA_EXPR_17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_17"},
{R_HPPA_EXPR_12, 0, 3, 12, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_EXPR_12"},
{R_HPPA_STUB_CALL_17, 0, 3, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_HPPA_STUB_CALL_17"},
{R_HPPA_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_dont, NULL, "R_HPPA_UNIMPLEMENTED"},
};
static symext_chainS *symext_rootP;
static symext_chainS *symext_lastP;
static boolean symext_chain_built;
static long global_value;
static long GOT_value;
static asymbol *global_symbol;
static int global_sym_defined;
static symext_entryS *symextn_contents;
static unsigned int symextn_contents_real_size;
static elf32_hppa_stub_description *elf_hppa_stub_rootP;
static boolean stubs_finished = false;
static struct elf32_hppa_symextn_map_struct *elf32_hppa_symextn_map;
static int elf32_hppa_symextn_map_size;
static char *linker_stubs = NULL;
static int linker_stubs_size = 0;
static int linker_stubs_max_size = 0;
#define STUB_ALLOC_INCR 100
#define STUB_SYM_BUFFER_INC 5
/* Relocate the given INSN given the various input parameters.
FIXME: endianness and sizeof (long) issues abound here. */
static unsigned long
hppa_elf_relocate_insn (abfd, input_sect, insn, address, sym_value,
r_addend, r_format, r_field, pcrel)
bfd *abfd;
asection *input_sect;
unsigned long insn;
unsigned long address;
long sym_value;
long r_addend;
unsigned long r_format;
unsigned long r_field;
unsigned long pcrel;
{
unsigned char opcode = get_opcode (insn);
long constant_value;
unsigned arg_reloc;
switch (opcode)
{
case LDO:
case LDB:
case LDH:
case LDW:
case LDWM:
case STB:
case STH:
case STW:
case STWM:
case COMICLR:
case SUBI:
case ADDIT:
case ADDI:
case LDIL:
case ADDIL:
constant_value = HPPA_R_CONSTANT (r_addend);
if (pcrel)
sym_value -= address;
sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
return hppa_rebuild_insn (abfd, insn, sym_value, r_format);
case BL:
case BE:
case BLE:
arg_reloc = HPPA_R_ARG_RELOC (r_addend);
/* XXX computing constant_value is not needed??? */
constant_value = assemble_17 ((insn & 0x001f0000) >> 16,
(insn & 0x00001ffc) >> 2,
insn & 1);
constant_value = (constant_value << 15) >> 15;
if (pcrel)
{
sym_value -=
address + input_sect->output_offset
+ input_sect->output_section->vma;
sym_value = hppa_field_adjust (sym_value, -8, r_field);
}
else
sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
return hppa_rebuild_insn (abfd, insn, sym_value >> 2, r_format);
default:
if (opcode == 0)
{
constant_value = HPPA_R_CONSTANT (r_addend);
if (pcrel)
sym_value -= address;
return hppa_field_adjust (sym_value, constant_value, r_field);
}
else
abort ();
}
}
/* Relocate a single unwind entry, or an entire table of them. */
static void
hppa_elf_relocate_unwind_table (abfd, data, address, sym_value,
r_addend, r_type, r_field)
bfd *abfd;
PTR data;
unsigned long address;
long sym_value;
long r_addend;
unsigned long r_type;
unsigned long r_field;
{
bfd_byte *hit_data = address + (bfd_byte *) data;
long start_offset;
long end_offset;
long relocated_value;
int i;
switch (r_type)
{
case R_HPPA_UNWIND_ENTRY:
/* Need to relocate the first two 32bit fields in the unwind. They
correspond to a function's start and end address. */
start_offset = bfd_get_32 (abfd, hit_data);
relocated_value = hppa_field_adjust (sym_value, start_offset, r_field);
bfd_put_32 (abfd, relocated_value, hit_data);
hit_data += sizeof (unsigned long);
end_offset = bfd_get_32 (abfd, hit_data);
relocated_value = hppa_field_adjust (sym_value, end_offset, r_field);
bfd_put_32 (abfd, relocated_value, hit_data);
break;
case R_HPPA_UNWIND_ENTRIES:
/* Relocate a mass of unwind entires. The count is passed in r_addend
(who's braindamaged idea was this anyway? */
for (i = 0; i < r_addend; i++, hit_data += 3 * sizeof (unsigned long))
{
unsigned int adjustment;
/* Adjust the first 32bit field in the unwind entry. It's
the starting offset of a function. */
start_offset = bfd_get_32 (abfd, hit_data);
bfd_put_32 (abfd, sym_value, hit_data);
adjustment = sym_value - start_offset;
/* Now adjust the second 32bit field, it's the ending offset
of a function. */
hit_data += sizeof (unsigned long);
end_offset = adjustment + bfd_get_32 (abfd, hit_data);
bfd_put_32 (abfd, end_offset, hit_data);
/* Prepare for the next iteration. */
start_offset = bfd_get_32 (abfd,
hit_data + 3 * sizeof (unsigned long));
sym_value = start_offset + adjustment;
}
break;
default:
abort ();
}
}
/* Return the relocated value of the given symbol. */
static long
get_symbol_value (symbol)
asymbol *symbol;
{
if (symbol == NULL
|| symbol->section == &bfd_com_section)
return 0;
else
return symbol->value + symbol->section->output_section->vma
+ symbol->section->output_offset;
}
/* Return one (or more) BFD relocations which implement the base
relocation with modifications based on format and field. */
elf32_hppa_reloc_type **
hppa_elf_gen_reloc_type (abfd, base_type, format, field)
bfd *abfd;
elf32_hppa_reloc_type base_type;
int format;
int field;
{
elf32_hppa_reloc_type *finaltype;
elf32_hppa_reloc_type **final_types;
/* Allocate slots for the BFD relocation. */
final_types = (elf32_hppa_reloc_type **)
bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type *) * 2);
BFD_ASSERT (final_types != 0); /* FIXME */
/* Allocate space for the relocation itself. */
finaltype = (elf32_hppa_reloc_type *)
bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type));
BFD_ASSERT (finaltype != 0); /* FIXME */
/* Some reasonable defaults. */
final_types[0] = finaltype;
final_types[1] = NULL;
#define final_type finaltype[0]
final_type = base_type;
/* Just a tangle of nested switch statements to deal with the braindamage
that a different field selector means a completely different relocation
for PA ELF. */
switch (base_type)
{
case R_HPPA:
switch (format)
{
case 11:
switch (field)
{
case e_fsel:
final_type = R_HPPA_11;
break;
case e_rsel:
final_type = R_HPPA_R11;
break;
case e_rssel:
final_type = R_HPPA_RS11;
break;
case e_rdsel:
final_type = R_HPPA_RD11;
break;
case e_psel:
final_type = R_HPPA_PLABEL_11;
break;
case e_rpsel:
final_type = R_HPPA_PLABEL_R11;
break;
case e_tsel:
final_type = R_HPPA_DLT_11;
break;
case e_rtsel:
final_type = R_HPPA_DLT_R11;
break;
default:
abort ();
break;
}
break;
case 14:
switch (field)
{
case e_rsel:
final_type = R_HPPA_R14;
break;
case e_rssel:
final_type = R_HPPA_RS14;
break;
case e_rdsel:
final_type = R_HPPA_RD14;
break;
case e_rrsel:
final_type = R_HPPA_RR14;
break;
case e_psel:
final_type = R_HPPA_PLABEL_14;
break;
case e_rpsel:
final_type = R_HPPA_PLABEL_R14;
break;
case e_tsel:
final_type = R_HPPA_DLT_14;
break;
case e_rtsel:
final_type = R_HPPA_DLT_R14;
break;
default:
abort ();
break;
}
break;
case 17:
switch (field)
{
case e_fsel:
final_type = R_HPPA_17;
break;
case e_rsel:
final_type = R_HPPA_R17;
break;
case e_rssel:
final_type = R_HPPA_RS17;
break;
case e_rdsel:
final_type = R_HPPA_RD17;
break;
case e_rrsel:
final_type = R_HPPA_RR17;
break;
default:
abort ();
break;
}
break;
case 21:
switch (field)
{
case e_lsel:
final_type = R_HPPA_L21;
break;
case e_lssel:
final_type = R_HPPA_LS21;
break;
case e_ldsel:
final_type = R_HPPA_LD21;
break;
case e_lrsel:
final_type = R_HPPA_LR21;
break;
case e_lpsel:
final_type = R_HPPA_PLABEL_L21;
break;
case e_ltsel:
final_type = R_HPPA_PLABEL_L21;
break;
default:
abort ();
break;
}
break;
case 32:
switch (field)
{
case e_fsel:
final_type = R_HPPA_32;
break;
case e_psel:
final_type = R_HPPA_PLABEL_32;
break;
case e_tsel:
final_type = R_HPPA_DLT_32;
break;
default:
abort ();
break;
}
break;
default:
abort ();
break;
}
break;
case R_HPPA_GOTOFF:
switch (format)
{
case 11:
switch (field)
{
case e_rsel:
final_type = R_HPPA_GOTOFF_R11;
break;
case e_rssel:
final_type = R_HPPA_GOTOFF_RS11;
break;
case e_rdsel:
final_type = R_HPPA_GOTOFF_RD11;
break;
case e_fsel:
final_type = R_HPPA_GOTOFF_11;
break;
default:
abort ();
break;
}
break;
case 14:
switch (field)
{
case e_rsel:
final_type = R_HPPA_GOTOFF_R14;
break;
case e_rssel:
final_type = R_HPPA_GOTOFF_RS14;
break;
case e_rdsel:
final_type = R_HPPA_GOTOFF_RD14;
break;
case e_rrsel:
final_type = R_HPPA_GOTOFF_RR14;
break;
case e_fsel:
final_type = R_HPPA_GOTOFF_14;
break;
default:
abort ();
break;
}
break;
case 21:
switch (field)
{
case e_lsel:
final_type = R_HPPA_GOTOFF_L21;
break;
case e_lssel:
final_type = R_HPPA_GOTOFF_LS21;
break;
case e_ldsel:
final_type = R_HPPA_GOTOFF_LD21;
break;
case e_lrsel:
final_type = R_HPPA_GOTOFF_LR21;
break;
default:
abort ();
break;
}
break;
default:
abort ();
break;
}
break;
case R_HPPA_PCREL_CALL:
switch (format)
{
case 11:
switch (field)
{
case e_rsel:
final_type = R_HPPA_PCREL_CALL_R11;
break;
case e_rssel:
final_type = R_HPPA_PCREL_CALL_RS11;
break;
case e_rdsel:
final_type = R_HPPA_PCREL_CALL_RD11;
break;
case e_fsel:
final_type = R_HPPA_PCREL_CALL_11;
break;
default:
abort ();
break;
}
break;
case 14:
switch (field)
{
case e_rsel:
final_type = R_HPPA_PCREL_CALL_R14;
break;
case e_rssel:
final_type = R_HPPA_PCREL_CALL_RS14;
break;
case e_rdsel:
final_type = R_HPPA_PCREL_CALL_RD14;
break;
case e_rrsel:
final_type = R_HPPA_PCREL_CALL_RR14;
break;
case e_fsel:
final_type = R_HPPA_PCREL_CALL_14;
break;
default:
abort ();
break;
}
break;
case 17:
switch (field)
{
case e_rsel:
final_type = R_HPPA_PCREL_CALL_R17;
break;
case e_rssel:
final_type = R_HPPA_PCREL_CALL_RS17;
break;
case e_rdsel:
final_type = R_HPPA_PCREL_CALL_RD17;
break;
case e_rrsel:
final_type = R_HPPA_PCREL_CALL_RR17;
break;
case e_fsel:
final_type = R_HPPA_PCREL_CALL_17;
break;
default:
abort ();
break;
}
break;
case 21:
switch (field)
{
case e_lsel:
final_type = R_HPPA_PCREL_CALL_L21;
break;
case e_lssel:
final_type = R_HPPA_PCREL_CALL_LS21;
break;
case e_ldsel:
final_type = R_HPPA_PCREL_CALL_LD21;
break;
case e_lrsel:
final_type = R_HPPA_PCREL_CALL_LR21;
break;
default:
abort ();
break;
}
break;
default:
abort ();
break;
}
break;
case R_HPPA_PLABEL:
switch (format)
{
case 11:
switch (field)
{
case e_fsel:
final_type = R_HPPA_PLABEL_11;
break;
case e_rsel:
final_type = R_HPPA_PLABEL_R11;
break;
default:
abort ();
break;
}
break;
case 14:
switch (field)
{
case e_fsel:
final_type = R_HPPA_PLABEL_14;
break;
case e_rsel:
final_type = R_HPPA_PLABEL_R14;
break;
default:
abort ();
break;
}
break;
case 21:
switch (field)
{
case e_lsel:
final_type = R_HPPA_PLABEL_L21;
break;
default:
abort ();
break;
}
break;
case 32:
switch (field)
{
case e_fsel:
final_type = R_HPPA_PLABEL_32;
break;
default:
abort ();
break;
}
break;
default:
abort ();
break;
}
case R_HPPA_ABS_CALL:
switch (format)
{
case 11:
switch (field)
{
case e_rsel:
final_type = R_HPPA_ABS_CALL_R11;
break;
case e_rssel:
final_type = R_HPPA_ABS_CALL_RS11;
break;
case e_rdsel:
final_type = R_HPPA_ABS_CALL_RD11;
break;
case e_fsel:
final_type = R_HPPA_ABS_CALL_11;
break;
default:
abort ();
break;
}
break;
case 14:
switch (field)
{
case e_rsel:
final_type = R_HPPA_ABS_CALL_R14;
break;
case e_rssel:
final_type = R_HPPA_ABS_CALL_RS14;
break;
case e_rdsel:
final_type = R_HPPA_ABS_CALL_RD14;
break;
case e_rrsel:
final_type = R_HPPA_ABS_CALL_RR14;
break;
case e_fsel:
final_type = R_HPPA_ABS_CALL_14;
break;
default:
abort ();
break;
}
break;
case 17:
switch (field)
{
case e_rsel:
final_type = R_HPPA_ABS_CALL_R17;
break;
case e_rssel:
final_type = R_HPPA_ABS_CALL_RS17;
break;
case e_rdsel:
final_type = R_HPPA_ABS_CALL_RD17;
break;
case e_rrsel:
final_type = R_HPPA_ABS_CALL_RR17;
break;
case e_fsel:
final_type = R_HPPA_ABS_CALL_17;
break;
default:
abort ();
break;
}
break;
case 21:
switch (field)
{
case e_lsel:
final_type = R_HPPA_ABS_CALL_L21;
break;
case e_lssel:
final_type = R_HPPA_ABS_CALL_LS21;
break;
case e_ldsel:
final_type = R_HPPA_ABS_CALL_LD21;
break;
case e_lrsel:
final_type = R_HPPA_ABS_CALL_LR21;
break;
default:
abort ();
break;
}
break;
default:
abort ();
break;
}
break;
case R_HPPA_UNWIND:
final_type = R_HPPA_UNWIND_ENTRY;
break;
case R_HPPA_COMPLEX:
case R_HPPA_COMPLEX_PCREL_CALL:
case R_HPPA_COMPLEX_ABS_CALL:
/* The code originally here was horribly broken, and apparently
never used. Zap it. When we need complex relocations rewrite
it correctly! */
abort ();
break;
default:
final_type = base_type;
break;
}
return final_types;
}
#undef final_type
/* Actually perform a relocation. */
static bfd_reloc_status_type
hppa_elf_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
error_message)
bfd *abfd;
arelent *reloc_entry;
asymbol *symbol_in;
PTR data;
asection *input_section;
bfd *output_bfd;
char **error_message;
{
unsigned long insn;
long sym_value = 0;
unsigned long addr = reloc_entry->address;
bfd_byte *hit_data = addr + (bfd_byte *) data;
unsigned long r_type = reloc_entry->howto->type;
unsigned long r_field = e_fsel;
boolean r_pcrel = reloc_entry->howto->pc_relative;
unsigned r_format = reloc_entry->howto->bitsize;
long r_addend = reloc_entry->addend;
/* If only performing a partial link, get out early. */
if (output_bfd)
{
reloc_entry->address += input_section->output_offset;
return bfd_reloc_ok;
}
/* If performing final link and the symbol we're relocating against
is undefined, then return an error. */
if (symbol_in && symbol_in->section == &bfd_und_section)
return bfd_reloc_undefined;
/* Get the final relocated value. */
sym_value = get_symbol_value (symbol_in);
/* Compute the value of $global$.
FIXME: None of this should be necessary. $global$ is just a
marker and shouldn't really figure into these computations.
Once that's fixed we'll need to teach this backend to change
DP-relative relocations involving symbols in the text section
to be simple absolute relocations. */
if (!global_sym_defined)
{
if (global_symbol)
{
global_value = (global_symbol->value
+ global_symbol->section->output_section->vma
+ global_symbol->section->output_offset);
GOT_value = global_value;
global_sym_defined++;
}
}
/* Get the instruction word. */
insn = bfd_get_32 (abfd, hit_data);
/* Relocate the value based on one of the basic relocation types
basic_type_1: relocation is relative to $global$
basic_type_2: relocation is relative to the current GOT
basic_type_3: relocation is an absolute call
basic_type_4: relocation is an PC-relative call
basic_type_5: relocation is plabel reference
basic_type_6: relocation is an unwind table relocation
extended_type: unimplemented */
switch (r_type)
{
case R_HPPA_NONE:
break;
/* Handle all the basic type 1 relocations. */
case R_HPPA_32:
case R_HPPA_11:
case R_HPPA_14:
case R_HPPA_17:
r_field = e_fsel;
goto do_basic_type_1;
case R_HPPA_L21:
r_field = e_lsel;
goto do_basic_type_1;
case R_HPPA_R11:
case R_HPPA_R14:
case R_HPPA_R17:
r_field = e_rsel;
goto do_basic_type_1;
case R_HPPA_LS21:
r_field = e_lssel;
goto do_basic_type_1;
case R_HPPA_RS11:
case R_HPPA_RS14:
case R_HPPA_RS17:
r_field = e_ldsel;
goto do_basic_type_1;
case R_HPPA_LD21:
r_field = e_ldsel;
goto do_basic_type_1;
case R_HPPA_RD11:
case R_HPPA_RD14:
case R_HPPA_RD17:
r_field = e_rdsel;
goto do_basic_type_1;
case R_HPPA_LR21:
r_field = e_lrsel;
goto do_basic_type_1;
case R_HPPA_RR14:
case R_HPPA_RR17:
r_field = e_rrsel;
do_basic_type_1:
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
sym_value, r_addend, r_format,
r_field, r_pcrel);
break;
/* Handle all the basic type 2 relocations. */
case R_HPPA_GOTOFF_11:
case R_HPPA_GOTOFF_14:
r_field = e_fsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_L21:
r_field = e_lsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_R11:
case R_HPPA_GOTOFF_R14:
r_field = e_rsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_LS21:
r_field = e_lssel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_RS11:
case R_HPPA_GOTOFF_RS14:
r_field = e_rssel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_LD21:
r_field = e_ldsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_RD11:
case R_HPPA_GOTOFF_RD14:
r_field = e_rdsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_LR21:
r_field = e_lrsel;
goto do_basic_type_2;
case R_HPPA_GOTOFF_RR14:
r_field = e_rrsel;
do_basic_type_2:
sym_value -= GOT_value;
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
sym_value, r_addend, r_format,
r_field, r_pcrel);
break;
/* Handle all the basic type 3 relocations. */
case R_HPPA_ABS_CALL_11:
case R_HPPA_ABS_CALL_14:
case R_HPPA_ABS_CALL_17:
r_field = e_fsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_L21:
r_field = e_lsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_R11:
case R_HPPA_ABS_CALL_R14:
case R_HPPA_ABS_CALL_R17:
r_field = e_rsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_LS21:
r_field = e_lssel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_RS11:
case R_HPPA_ABS_CALL_RS14:
case R_HPPA_ABS_CALL_RS17:
r_field = e_rssel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_LD21:
r_field = e_ldsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_RD11:
case R_HPPA_ABS_CALL_RD14:
case R_HPPA_ABS_CALL_RD17:
r_field = e_rdsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_LR21:
r_field = e_lrsel;
goto do_basic_type_3;
case R_HPPA_ABS_CALL_RR14:
case R_HPPA_ABS_CALL_RR17:
r_field = e_rrsel;
do_basic_type_3:
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
sym_value, r_addend, r_format,
r_field, r_pcrel);
break;
/* Handle all the basic type 4 relocations. */
case R_HPPA_PCREL_CALL_11:
case R_HPPA_PCREL_CALL_14:
case R_HPPA_PCREL_CALL_17:
r_field = e_fsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_L21:
r_field = e_lsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_R11:
case R_HPPA_PCREL_CALL_R14:
case R_HPPA_PCREL_CALL_R17:
r_field = e_rsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_LS21:
r_field = e_lssel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_RS11:
case R_HPPA_PCREL_CALL_RS14:
case R_HPPA_PCREL_CALL_RS17:
r_field = e_rssel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_LD21:
r_field = e_ldsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_RD11:
case R_HPPA_PCREL_CALL_RD14:
case R_HPPA_PCREL_CALL_RD17:
r_field = e_rdsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_LR21:
r_field = e_lrsel;
goto do_basic_type_4;
case R_HPPA_PCREL_CALL_RR14:
case R_HPPA_PCREL_CALL_RR17:
r_field = e_rrsel;
do_basic_type_4:
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
sym_value, r_addend, r_format,
r_field, r_pcrel);
break;
/* Handle all the basic type 5 relocations. */
case R_HPPA_PLABEL_32:
case R_HPPA_PLABEL_11:
case R_HPPA_PLABEL_14:
r_field = e_fsel;
goto do_basic_type_5;
case R_HPPA_PLABEL_L21:
r_field = e_lsel;
goto do_basic_type_5;
case R_HPPA_PLABEL_R11:
case R_HPPA_PLABEL_R14:
r_field = e_rsel;
do_basic_type_5:
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
sym_value, r_addend, r_format,
r_field, r_pcrel);
break;
/* Handle all basic type 6 relocations. */
case R_HPPA_UNWIND_ENTRY:
case R_HPPA_UNWIND_ENTRIES:
hppa_elf_relocate_unwind_table (abfd, data, addr,
sym_value, r_addend,
r_type, r_field);
return bfd_reloc_ok;
/* This is a linker internal relocation. */
case R_HPPA_STUB_CALL_17:
/* This relocation is for a branch to a long branch stub.
Change instruction to a BLE,N. It may also be necessary
to interchange the branch and its delay slot.
The original instruction stream is
bl <foo>,r ; call foo using register r as
; the return pointer
XXX ; delay slot instruction
The new instruction stream will be:
XXX ; delay slot instruction
ble <foo_stub> ; call the long call stub for foo
; using r31 as the return pointer
This braindamage is necessary because the compiler may put
an instruction which uses %r31 in the delay slot of the original
call. By changing the call instruction from a "bl" to a "ble"
%r31 gets clobbered before the delay slot executes. This
also means the stub has to play funny games to make sure
we return to the instruction just after the BLE rather than
two instructions after the BLE.
We do not interchange the branch and delay slot if the delay
slot was already nullified, or if the instruction in the delay
slot modifies the return pointer to avoid an unconditional
jump after the call returns (GCC optimization).
None of this horseshit would be necessary if we put the
stubs between functions and just redirected the "bl" to
the stub. Live and learn. */
/* Is this instruction nullified? (does this ever happen?) */
if (insn & 2)
{
insn = BLE_N_XXX_0_0;
bfd_put_32 (abfd, insn, hit_data);
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr, sym_value, r_addend,
r_format, r_field, r_pcrel);
}
else
{
/* So much for the trivial case... */
unsigned long old_delay_slot_insn = bfd_get_32 (abfd, hit_data + 4);
unsigned rtn_reg = (insn & 0x03e00000) >> 21;
if (get_opcode (old_delay_slot_insn) == LDO)
{
unsigned ldo_src_reg = (old_delay_slot_insn & 0x03e00000) >> 21;
unsigned ldo_target_reg = (old_delay_slot_insn & 0x001f0000) >> 16;
/* If the target of the LDO is the same as the return
register then there is no reordering. We can leave the
instuction as a non-nullified BLE in this case.
FIXME: This test looks wrong. If we had a ble using
ldo_target_reg as the *source* we'd fuck this up. */
if (ldo_target_reg == rtn_reg)
{
unsigned long new_delay_slot_insn = old_delay_slot_insn;
BFD_ASSERT (ldo_src_reg == ldo_target_reg);
new_delay_slot_insn &= 0xfc00ffff;
new_delay_slot_insn |= ((31 << 21) | (31 << 16));
bfd_put_32 (abfd, new_delay_slot_insn, hit_data + 4);
insn = BLE_XXX_0_0;
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr, sym_value, r_addend,
r_format, r_field, r_pcrel);
bfd_put_32 (abfd, insn, hit_data);
return bfd_reloc_ok;
}
else if (rtn_reg == 31)
{
/* The return register is r31, so this is a millicode
call. Do not perform any instruction reordering. */
insn = BLE_XXX_0_0;
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr, sym_value,
r_addend, r_format,
r_field, r_pcrel);
bfd_put_32 (abfd, insn, hit_data);
return bfd_reloc_ok;
}
else
{
/* Check to see if the delay slot instruction has a
relocation. If so, we need to change the address
field of it because the instruction it relocates
is going to be moved. Oh what a mess. */
arelent * next_reloc_entry = reloc_entry+1;
if (next_reloc_entry->address == reloc_entry->address + 4)
next_reloc_entry->address -= 4;
insn = old_delay_slot_insn;
bfd_put_32 (abfd, insn, hit_data);
insn = BLE_N_XXX_0_0;
bfd_put_32 (abfd, insn, hit_data + 4);
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr + 4,
sym_value, r_addend,
r_format, r_field, r_pcrel);
bfd_put_32 (abfd, insn, hit_data + 4);
return bfd_reloc_ok;
}
}
/* Same comments as above regarding incorrect test. */
else if (rtn_reg == 31)
{
/* The return register is r31, so this is a millicode call.
Perform no instruction reordering in this case. */
insn = BLE_XXX_0_0;
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr, sym_value,
r_addend, r_format,
r_field, r_pcrel);
bfd_put_32 (abfd, insn, hit_data);
return bfd_reloc_ok;
}
else
{
/* Check to see if the delay slot instruction has a
relocation. If so, we need to change its address
field because the instruction it relocates is going
to be moved. */
arelent * next_reloc_entry = reloc_entry+1;
if (next_reloc_entry->address == reloc_entry->address + 4)
next_reloc_entry->address -= 4;
insn = old_delay_slot_insn;
bfd_put_32 (abfd, insn, hit_data);
insn = BLE_N_XXX_0_0;
bfd_put_32 (abfd, insn, hit_data + 4);
r_type = R_HPPA_ABS_CALL_17;
r_pcrel = 0;
insn = hppa_elf_relocate_insn (abfd, input_section, insn,
addr + 4, sym_value,
r_addend, r_format,
r_field, r_pcrel);
bfd_put_32 (abfd, insn, hit_data + 4);
return bfd_reloc_ok;
}
}
break;
/* Something we don't know how to handle. */
default:
*error_message = (char *) "Unrecognized reloc";
return bfd_reloc_notsupported;
}
/* Update the instruction word. */
bfd_put_32 (abfd, insn, hit_data);
return (bfd_reloc_ok);
}
/* Return the address of the howto table entry to perform the CODE
relocation for an ARCH machine. */
static CONST reloc_howto_type *
elf_hppa_reloc_type_lookup (abfd, code)
bfd *abfd;
bfd_reloc_code_real_type code;
{
if ((int) code < (int) R_HPPA_UNIMPLEMENTED)
{
BFD_ASSERT ((int) elf_hppa_howto_table[(int) code].type == (int) code);
return &elf_hppa_howto_table[(int) code];
}
return NULL;
}
/* Return true if SYM represents a local label symbol. */
static boolean
hppa_elf_is_local_label (abfd, sym)
bfd *abfd;
asymbol *sym;
{
return (sym->name[0] == 'L' && sym->name[1] == '$');
}
/* Update the symbol extention chain to include the symbol pointed to
by SYMBOLP if SYMBOLP is a function symbol. Used internally and by GAS. */
void
elf_hppa_tc_symbol (abfd, symbolP, sym_idx, symext_root, symext_last)
bfd *abfd;
elf_symbol_type *symbolP;
int sym_idx;
symext_chainS **symext_root;
symext_chainS **symext_last;
{
symext_chainS *symextP;
unsigned int arg_reloc;
/* Only functions can have argument relocations. */
if (!(symbolP->symbol.flags & BSF_FUNCTION))
return;
arg_reloc = symbolP->tc_data.hppa_arg_reloc;
/* If there are no argument relocation bits, then no relocation is
necessary. Do not add this to the symextn section. */
if (arg_reloc == 0)
return;
/* Allocate memory and initialize this entry. */
symextP = (symext_chainS *) bfd_alloc (abfd, sizeof (symext_chainS) * 2);
if (!symextP)
{
bfd_set_error (bfd_error_no_memory);
abort(); /* FIXME */
}
symextP[0].entry = ELF32_HPPA_SX_WORD (HPPA_SXT_SYMNDX, sym_idx);
symextP[0].next = &symextP[1];
symextP[1].entry = ELF32_HPPA_SX_WORD (HPPA_SXT_ARG_RELOC, arg_reloc);
symextP[1].next = NULL;
/* Now update the chain itself so it can be walked later to build
the symbol extension section. */
if (*symext_root == NULL)
{
*symext_root = &symextP[0];
*symext_last = &symextP[1];
}
else
{
(*symext_last)->next = &symextP[0];
*symext_last = &symextP[1];
}
}
/* Build the symbol extension section. Used internally and by GAS. */
void
elf_hppa_tc_make_sections (abfd, symext_root)
bfd *abfd;
symext_chainS *symext_root;
{
symext_chainS *symextP;
int size, n, i;
asection *symextn_sec;
/* FIXME: Huh? I don't see what this is supposed to do for us. */
hppa_elf_stub_finish (abfd);
/* If there are no entries in the symbol extension chain, then
there is no symbol extension section. */
if (symext_root == NULL)
return;
/* Count the number of entries on the chain. */
for (n = 0, symextP = symext_root; symextP; symextP = symextP->next, ++n)
;
/* Create the symbol extension section and set some appropriate
attributes. */
size = sizeof (symext_entryS) * n;
symextn_sec = bfd_get_section_by_name (abfd, SYMEXTN_SECTION_NAME);
if (symextn_sec == (asection *) 0)
{
symextn_sec = bfd_make_section (abfd, SYMEXTN_SECTION_NAME);
bfd_set_section_flags (abfd,
symextn_sec,
SEC_LOAD | SEC_HAS_CONTENTS | SEC_DATA);
symextn_sec->output_section = symextn_sec;
symextn_sec->output_offset = 0;
bfd_set_section_alignment (abfd, symextn_sec, 2);
}
bfd_set_section_size (abfd, symextn_sec, symextn_contents_real_size);
symextn_contents_real_size = size;
/* Grab some memory for the contents of the symbol extension section
itself. */
symextn_contents = (symext_entryS *) bfd_alloc (abfd, size);
if (!symextn_contents)
{
bfd_set_error (bfd_error_no_memory);
abort(); /* FIXME */
}
/* Fill in the contents of the symbol extension section. */
for (i = 0, symextP = symext_root; symextP; symextP = symextP->next, ++i)
symextn_contents[i] = symextP->entry;
return;
}
/* Return the symbol extension record of type TYPE for the symbol SYM. */
static symext_entryS
elf32_hppa_get_sym_extn (abfd, sym, type)
bfd *abfd;
asymbol *sym;
int type;
{
switch (type)
{
case HPPA_SXT_SYMNDX:
case HPPA_SXT_NULL:
return (symext_entryS) 0;
case HPPA_SXT_ARG_RELOC:
{
elf_symbol_type *esymP = (elf_symbol_type *) sym;
return (symext_entryS) esymP->tc_data.hppa_arg_reloc;
}
/* This should never happen. */
default:
abort();
}
}
/* Search the chain of stub descriptions and locate the stub
description for this the given section within the given bfd.
FIXME: I see yet another wonderful linear linked list search
here. This is probably bad. */
static elf32_hppa_stub_description *
find_stubs (abfd, stub_sec)
bfd *abfd;
asection *stub_sec;
{
elf32_hppa_stub_description *stubP;
for (stubP = elf_hppa_stub_rootP; stubP; stubP = stubP->next)
{
/* Is this the right one? */
if (stubP->this_bfd == abfd && stubP->stub_sec == stub_sec)
return stubP;
}
return NULL;
}
static elf32_hppa_stub_description *
new_stub (abfd, stub_sec, link_info)
bfd *abfd;
asection *stub_sec;
struct bfd_link_info *link_info;
{
elf32_hppa_stub_description *stub = find_stubs (abfd, stub_sec);
/* If we found a list for this bfd, then use it. */
if (stub)
return stub;
/* Nope, allocate and initialize a new entry in the stub list chain. */
stub = (elf32_hppa_stub_description *)
bfd_zalloc (abfd, sizeof (elf32_hppa_stub_description));
if (stub)
{
stub->this_bfd = abfd;
stub->stub_sec = stub_sec;
stub->real_size = 0;
stub->allocated_size = 0;
stub->stub_contents = NULL;
stub->stub_secp = NULL;
stub->link_info = link_info;
stub->next = elf_hppa_stub_rootP;
elf_hppa_stub_rootP = stub;
}
else
{
bfd_set_error (bfd_error_no_memory);
abort(); /* FIXME */
}
return stub;
}
/* Try and locate a stub with the name NAME within the stubs
associated with ABFD. More linked list searches. */
static elf32_hppa_stub_name_list *
find_stub_by_name (abfd, stub_sec, name)
bfd *abfd;
asection *stub_sec;
char *name;
{
/* Find the stubs associated with this bfd. */
elf32_hppa_stub_description *stub = find_stubs (abfd, stub_sec);
/* If found, then we have to walk down them looking for a match. */
if (stub)
{
elf32_hppa_stub_name_list *name_listP;
for (name_listP = stub->stub_listP;
name_listP;
name_listP = name_listP->next)
{
if (!strcmp (name_listP->sym->name, name))
return name_listP;
}
}
/* Not found. */
return 0;
}
/* Add a new stub (SYM) to the list of stubs associated with the given BFD. */
static elf32_hppa_stub_name_list *
add_stub_by_name(abfd, stub_sec, sym, link_info)
bfd *abfd;
asection *stub_sec;
asymbol *sym;
struct bfd_link_info *link_info;
{
elf32_hppa_stub_description *stub = find_stubs (abfd, stub_sec);
elf32_hppa_stub_name_list *stub_entry;
/* If no stubs are associated with this bfd, then we have to make
a chain-of-stubs associated with this bfd. */
if (!stub)
stub = new_stub (abfd, stub_sec, link_info);
if (stub)
{
/* Allocate and initialize an entry in the stub chain. */
stub_entry = (elf32_hppa_stub_name_list *)
bfd_zalloc (abfd, sizeof (elf32_hppa_stub_name_list));
if (stub_entry)
{
stub_entry->size = 0;
stub_entry->sym = sym;
stub_entry->stub_desc = stub;
/* First byte of this stub is the pointer to
the next available location in the stub buffer. */
stub_entry->stub_secp = stub->stub_secp;
/* Add it to the chain. */
if (stub->stub_listP)
stub_entry->next = stub->stub_listP;
else
stub_entry->next = NULL;
stub->stub_listP = stub_entry;
return stub_entry;
}
else
{
bfd_set_error (bfd_error_no_memory);
abort(); /* FIXME */
}
}
/* Death by mis-adventure. */
abort ();
return (elf32_hppa_stub_name_list *)NULL;
}
/* For the given caller/callee argument location information and the
type of relocation (arguments or return value), return the type
of argument relocation needed to make caller and callee happy. */
static arg_reloc_type
type_of_mismatch (caller_bits, callee_bits, type)
int caller_bits;
int callee_bits;
int type;
{
switch (type)
{
case ARGUMENTS:
return mismatches[caller_bits][callee_bits];
case RETURN_VALUE:
return retval_mismatches[caller_bits][callee_bits];
}
return ARG_RELOC_ERR;
}
/* Extract specific argument location bits for WHICH from the
the full argument location information in AR. */
#define EXTRACT_ARBITS(ar, which) ((ar) >> (8 - ((which) * 2))) & 3
/* Add the new instruction INSN into the stub area denoted by ENTRY.
FIXME: Looks like more cases where we assume sizeof (int) ==
sizeof (insn) which may not be true if building cross tools. */
#define NEW_INSTRUCTION(entry, insn) \
{ \
*((entry)->stub_desc->stub_secp)++ = (insn); \
(entry)->stub_desc->real_size += sizeof (int); \
(entry)->size += sizeof(int); \
bfd_set_section_size((entry)->stub_desc->this_bfd, \
(entry)->stub_desc->stub_sec, \
(entry)->stub_desc->real_size); \
}
/* Find the offset of the current stub? Looks more like it
finds the offset of the last instruction to me. */
#define CURRENT_STUB_OFFSET(entry) \
((char *)(entry)->stub_desc->stub_secp \
- (char *)(entry)->stub_desc->stub_contents - 4)
/* All the stubs have already been built, finish up stub stuff
by applying relocations to the stubs. */
static void
hppa_elf_stub_finish (output_bfd)
bfd *output_bfd;
{
elf32_hppa_stub_description *stub_list = elf_hppa_stub_rootP;
/* If the stubs have been finished, then we're already done. */
if (stubs_finished)
return;
/* Walk down the list of stub lists. */
for (; stub_list; stub_list = stub_list->next)
{
/* If this list has stubs, then do something. */
if (stub_list->real_size)
{
bfd *stub_bfd = stub_list->this_bfd;
asection *stub_sec = bfd_get_section_by_name (stub_bfd,
".hppa_linker_stubs");
long reloc_size;
arelent **reloc_vector;
long reloc_count;
/* Some sanity checking. */
BFD_ASSERT (stub_sec == stub_list->stub_sec);
BFD_ASSERT (stub_sec);
/* For stub sections raw_size == cooked_size. Also update
reloc_done as we're handling the relocs now. */
stub_sec->_cooked_size = stub_sec->_raw_size;
stub_sec->reloc_done = true;
/* Make space to hold the relocations for the stub section. */
reloc_size = bfd_get_reloc_upper_bound (stub_bfd, stub_sec);
if (reloc_size < 0)
{
/* FIXME: Should return an error. */
abort ();
}
reloc_vector = (arelent **) malloc (reloc_size);
if (reloc_vector == NULL && reloc_size != 0)
{
/* FIXME: should be returning an error so the caller can
clean up */
abort ();
}
/* If we have relocations, do them. */
reloc_count = bfd_canonicalize_reloc (stub_bfd, stub_sec,
reloc_vector,
output_bfd->outsymbols);
if (reloc_count < 0)
{
/* FIXME: Should return an error. */
abort ();
}
if (reloc_count > 0)
{
arelent **parent;
for (parent = reloc_vector; *parent != NULL; parent++)
{
char *err = NULL;
bfd_reloc_status_type r =
bfd_perform_relocation (stub_bfd, *parent,
stub_list->stub_contents,
stub_sec, (bfd *) NULL, &err);
/* If there was an error, tell someone about it. */
if (r != bfd_reloc_ok)
{
struct bfd_link_info *link_info = stub_list->link_info;
switch (r)
{
case bfd_reloc_undefined:
if (! ((*link_info->callbacks->undefined_symbol)
(link_info,
bfd_asymbol_name (*(*parent)->sym_ptr_ptr),
stub_bfd, stub_sec, (*parent)->address)))
abort ();
break;
case bfd_reloc_dangerous:
if (! ((*link_info->callbacks->reloc_dangerous)
(link_info, err, stub_bfd, stub_sec,
(*parent)->address)))
abort ();
break;
case bfd_reloc_overflow:
{
if (! ((*link_info->callbacks->reloc_overflow)
(link_info,
bfd_asymbol_name (*(*parent)->sym_ptr_ptr),
(*parent)->howto->name,
(*parent)->addend,
stub_bfd, stub_sec,
(*parent)->address)))
abort ();
}
break;
case bfd_reloc_outofrange:
default:
abort ();
break;
}
}
}
}
free (reloc_vector);
/* All done with the relocations. Set the final contents
of the stub section. FIXME: no check of return value! */
bfd_set_section_contents (output_bfd, stub_sec,
stub_list->stub_contents,
0, stub_list->real_size);
}
}
/* All done. */
stubs_finished = true;
}
/* Allocate a new relocation entry to be used in a linker stub. */
static void
hppa_elf_stub_reloc (stub_desc, output_bfd, target_sym, offset, type)
elf32_hppa_stub_description *stub_desc;
bfd *output_bfd;
asymbol **target_sym;
int offset;
elf32_hppa_reloc_type type;
{
arelent relent;
int size;
Elf_Internal_Shdr *rela_hdr;
/* I really don't like the realloc nonsense in here. FIXME. */
if (stub_desc->relocs_allocated_cnt == stub_desc->stub_sec->reloc_count)
{
/* Allocate the first few relocation entries. */
if (stub_desc->stub_sec->relocation == NULL)
{
stub_desc->relocs_allocated_cnt = STUB_RELOC_INCR;
size = sizeof (arelent) * stub_desc->relocs_allocated_cnt;
stub_desc->stub_sec->relocation = (arelent *) bfd_zmalloc (size);
}
else
{
/* We've used all the entries we've already allocated. So get
some more. */
stub_desc->relocs_allocated_cnt += STUB_RELOC_INCR;
size = sizeof (arelent) * stub_desc->relocs_allocated_cnt;
stub_desc->stub_sec->relocation = (arelent *)
realloc (stub_desc->stub_sec->relocation, size);
}
if (!stub_desc->stub_sec->relocation)
{
bfd_set_error (bfd_error_no_memory);
abort (); /* FIXME */
}
}
rela_hdr = &elf_section_data(stub_desc->stub_sec)->rel_hdr;
rela_hdr->sh_size += sizeof(Elf32_External_Rela);
/* Fill in the details. */
relent.address = offset;
relent.addend = 0;
relent.sym_ptr_ptr = target_sym;
relent.howto = bfd_reloc_type_lookup (stub_desc->this_bfd, type);
/* Save it in the array of relocations for the stub section. */
memcpy (&stub_desc->stub_sec->relocation[stub_desc->stub_sec->reloc_count++],
&relent, sizeof (arelent));
}
/* Build an argument relocation stub. RTN_ADJUST is a hint that an
adjust to the return pointer from within the stub itself may be
needed. */
static asymbol *
hppa_elf_build_linker_stub (abfd, output_bfd, link_info, reloc_entry,
stub_types, rtn_adjust, data, linker_stub_type)
bfd *abfd;
bfd *output_bfd;
struct bfd_link_info *link_info;
arelent *reloc_entry;
arg_reloc_type stub_types[5];
int rtn_adjust;
unsigned *data;
hppa_stub_type linker_stub_type;
{
int i;
boolean milli, dyncall;
char stub_sym_name[128];
elf32_hppa_stub_name_list *stub_entry;
/* Some initialization. */
unsigned insn = data[0];
asymbol *stub_sym = NULL;
asymbol **orig_sym = reloc_entry->sym_ptr_ptr;
asection *stub_sec = bfd_get_section_by_name (abfd, ".hppa_linker_stubs");
elf32_hppa_stub_description *stub_desc = find_stubs (abfd, stub_sec);
/* Perform some additional checks on whether we should really do the
return adjustment. For example, if the instruction is nullified
or if the delay slot contains an instruction that modifies the return
pointer, then the branch instructions should not be rearranged
(rtn_adjust is false). */
if (insn & 2 || insn == 0)
rtn_adjust = false;
else
{
unsigned delay_insn = data[1];
if (get_opcode (delay_insn) == LDO
&& (((insn & 0x03e00000) >> 21) == ((delay_insn & 0x001f0000) >> 16)))
rtn_adjust = false;
}
/* Some special code for long-call stubs. */
if (linker_stub_type == HPPA_STUB_LONG_CALL)
{
/* Is this a millicode call? If so, the return address
comes in on r31 rather than r2 (rp) so a slightly
different code sequence is needed. */
unsigned rtn_reg = (insn & 0x03e00000) >> 21;
if (rtn_reg == 31)
milli = true;
/* Dyncall is special because the user code has already
put the return pointer in %r2 (aka RP). Other millicode
calls have the return pointer in %r31. */
if (strcmp ((*orig_sym)->name, "$$dyncall") == 0)
dyncall = true;
/* If we are creating a call from a stub to another stub, then
never do the instruction reordering. We can tell if we are
going to be calling one stub from another by the fact that
the symbol name has '_stub_' (arg. reloc. stub) or '_lb_stub_'
prepended to the name. Alternatively, the section of the
symbol will be '.hppa_linker_stubs'. This is only an issue
for long-calls; they are the only stubs allowed to call another
stub. */
if ((strncmp ((*orig_sym)->name, "_stub_", 6) == 0)
|| (strncmp ((*orig_sym)->name, "_lb_stub_", 9) == 0))
{
BFD_ASSERT (strcmp ((*orig_sym)->section->name, ".hppa_linker_stubs")
== 0);
rtn_adjust = false;
}
}
/* Create the stub section if necessary. */
if (!stub_sec)
{
BFD_ASSERT (stub_desc == NULL);
hppa_elf_create_stub_sec (abfd, output_bfd, &stub_sec, link_info);
stub_desc = new_stub (abfd, stub_sec, link_info);
}
/* Make the stub if we did not find one already. */
if (!stub_desc)
stub_desc = new_stub (abfd, stub_sec, link_info);
/* Allocate space to write the stub.
FIXME: Why using realloc?!? */
if (!stub_desc->stub_contents)
{
stub_desc->allocated_size = STUB_BUFFER_INCR;
stub_desc->stub_contents = (char *) malloc (STUB_BUFFER_INCR);
}
else if ((stub_desc->allocated_size - stub_desc->real_size) < STUB_MAX_SIZE)
{
stub_desc->allocated_size = stub_desc->allocated_size + STUB_BUFFER_INCR;
stub_desc->stub_contents = (char *) realloc (stub_desc->stub_contents,
stub_desc->allocated_size);
}
/* If no memory die. (I seriously doubt the other routines
are prepared to get a NULL return value). */
if (!stub_desc->stub_contents)
{
bfd_set_error (bfd_error_no_memory);
abort ();
}
/* Generate an appropriate name for this stub. */
if (linker_stub_type == HPPA_STUB_ARG_RELOC)
sprintf (stub_sym_name,
"_stub_%s_%02d_%02d_%02d_%02d_%02d_%s",
reloc_entry->sym_ptr_ptr[0]->name,
stub_types[0], stub_types[1], stub_types[2],
stub_types[3], stub_types[4],
rtn_adjust ? "RA" : "");
else
sprintf (stub_sym_name,
"_lb_stub_%s_%s", reloc_entry->sym_ptr_ptr[0]->name,
rtn_adjust ? "RA" : "");
stub_desc->stub_secp
= (int *) (stub_desc->stub_contents + stub_desc->real_size);
stub_entry = find_stub_by_name (abfd, stub_sec, stub_sym_name);
/* See if we already have one by this name. */
if (stub_entry)
{
/* Yes, re-use it. Redirect the original relocation from the
old symbol (a function symbol) to the stub (the stub will call
the original function). */
stub_sym = stub_entry->sym;
reloc_entry->sym_ptr_ptr = (asymbol **) bfd_zalloc (abfd,
sizeof (asymbol **));
if (reloc_entry->sym_ptr_ptr == NULL)
{
bfd_set_error (bfd_error_no_memory);
abort ();
}
reloc_entry->sym_ptr_ptr[0] = stub_sym;
if (linker_stub_type == HPPA_STUB_LONG_CALL
|| (reloc_entry->howto->type != R_HPPA_PLABEL_32
&& (get_opcode(insn) == BLE
|| get_opcode (insn) == BE
|| get_opcode (insn) == BL)))
reloc_entry->howto = bfd_reloc_type_lookup (abfd, R_HPPA_STUB_CALL_17);
}
else
{
/* Create a new symbol to point to this stub. */
stub_sym = bfd_make_empty_symbol (abfd);
if (!stub_sym)
{
bfd_set_error (bfd_error_no_memory);
abort ();
}
stub_sym->name = bfd_zalloc (abfd, strlen (stub_sym_name) + 1);
if (!stub_sym->name)
{
bfd_set_error (bfd_error_no_memory);
abort ();
}
strcpy ((char *) stub_sym->name, stub_sym_name);
stub_sym->value
= (char *) stub_desc->stub_secp - (char *) stub_desc->stub_contents;
stub_sym->section = stub_sec;
stub_sym->flags = BSF_LOCAL | BSF_FUNCTION;
stub_entry = add_stub_by_name (abfd, stub_sec, stub_sym, link_info);
/* Redirect the original relocation from the old symbol (a function)
to the stub (the stub calls the function). */
reloc_entry->sym_ptr_ptr = (asymbol **) bfd_zalloc (abfd,
sizeof (asymbol **));
if (reloc_entry->sym_ptr_ptr == NULL)
{
bfd_set_error (bfd_error_no_memory);
abort ();
}
reloc_entry->sym_ptr_ptr[0] = stub_sym;
if (linker_stub_type == HPPA_STUB_LONG_CALL
|| (reloc_entry->howto->type != R_HPPA_PLABEL_32
&& (get_opcode (insn) == BLE
|| get_opcode (insn) == BE
|| get_opcode (insn) == BL)))
reloc_entry->howto = bfd_reloc_type_lookup (abfd, R_HPPA_STUB_CALL_17);
/* Now generate the code for the stub. Starting with two
common instructions.
FIXME: Do we still need the SP adjustment?
Do we still need to muck with space registers? */
NEW_INSTRUCTION (stub_entry, LDSID_31_1)
NEW_INSTRUCTION (stub_entry, MTSP_1_SR0)
if (linker_stub_type == HPPA_STUB_ARG_RELOC)
{
NEW_INSTRUCTION (stub_entry, ADDI_8_SP)
/* Examine each argument, generating code to relocate it
into a different register if necessary. */
for (i = ARG0; i < ARG3; i++)
{
switch (stub_types[i])
{
case NO_ARG_RELOC:
continue;
case R_TO_FR:
switch (i)
{
case ARG0:
NEW_INSTRUCTION (stub_entry, STWS_ARG0_M8SP)
NEW_INSTRUCTION (stub_entry, FLDWS_M8SP_FARG0)
break;
case ARG1:
NEW_INSTRUCTION (stub_entry, STWS_ARG1_M8SP)
NEW_INSTRUCTION (stub_entry, FLDWS_M8SP_FARG1)
break;
case ARG2:
NEW_INSTRUCTION (stub_entry, STWS_ARG2_M8SP)
NEW_INSTRUCTION (stub_entry, FLDWS_M8SP_FARG2)
break;
case ARG3:
NEW_INSTRUCTION (stub_entry, STWS_ARG3_M8SP)
NEW_INSTRUCTION (stub_entry, FLDWS_M8SP_FARG3)
break;
}
continue;
case R01_TO_FR:
switch (i)
{
case ARG0:
NEW_INSTRUCTION (stub_entry, STWS_ARG0_M4SP)
NEW_INSTRUCTION (stub_entry, STWS_ARG1_M8SP)
NEW_INSTRUCTION (stub_entry, FLDDS_M8SP_FARG1)
break;
default:
abort ();
break;
}
continue;
case R23_TO_FR:
switch (i)
{
case ARG2:
NEW_INSTRUCTION (stub_entry, STWS_ARG2_M4SP)
NEW_INSTRUCTION (stub_entry, STWS_ARG3_M8SP)
NEW_INSTRUCTION (stub_entry, FLDDS_M8SP_FARG3)
break;
default:
abort ();
break;
}
continue;
case FR_TO_R:
switch (i)
{
case ARG0:
NEW_INSTRUCTION (stub_entry, FSTWS_FARG0_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG0)
break;
case ARG1:
NEW_INSTRUCTION (stub_entry, FSTWS_FARG1_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG1)
break;
case ARG2:
NEW_INSTRUCTION (stub_entry, FSTWS_FARG2_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG2)
break;
case ARG3:
NEW_INSTRUCTION (stub_entry, FSTWS_FARG3_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG3)
break;
}
continue;
case FR_TO_R01:
switch (i)
{
case ARG0:
NEW_INSTRUCTION (stub_entry, FSTDS_FARG1_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG0)
NEW_INSTRUCTION (stub_entry, LDWS_M8SP_ARG1)
break;
default:
abort ();
break;
}
continue;
case FR_TO_R23:
switch (i)
{
case ARG2:
NEW_INSTRUCTION (stub_entry, FSTDS_FARG3_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_ARG2)
NEW_INSTRUCTION (stub_entry, LDWS_M8SP_ARG3)
break;
default:
abort ();
break;
}
continue;
default:
abort ();
break;
}
}
/* Put the stack pointer back. FIXME: Is this still necessary? */
NEW_INSTRUCTION (stub_entry, ADDI_M8_SP_SP)
}
/* Common code again. Return pointer adjustment and the like. */
if (!dyncall)
{
/* This isn't dyncall. */
if (!milli)
{
/* It's not a millicode call, so get the correct return
value into %r2 (aka RP). */
if (rtn_adjust)
NEW_INSTRUCTION (stub_entry, ADDI_M4_31_RP)
else
NEW_INSTRUCTION (stub_entry, COPY_31_2)
}
else
{
/* It is a millicode call, so get the correct return
value into %r1?!?. FIXME: Shouldn't this be
%r31? Yes, and a little re-arrangement of the
code below would make that possible. */
if (rtn_adjust)
NEW_INSTRUCTION (stub_entry, ADDI_M4_31_1)
else
NEW_INSTRUCTION (stub_entry, COPY_31_1)
}
}
else
{
/* This is dyncall, so the code is a little different as the
return pointer is already in %r2 (aka RP). */
if (rtn_adjust)
NEW_INSTRUCTION (stub_entry, ADDI_M4_31_RP)
}
/* Save the return address. */
if (linker_stub_type == HPPA_STUB_ARG_RELOC)
NEW_INSTRUCTION (stub_entry, STW_RP_M8SP)
/* Long branch to the target function. */
NEW_INSTRUCTION (stub_entry, LDIL_XXX_31)
hppa_elf_stub_reloc (stub_entry->stub_desc,
abfd, orig_sym,
CURRENT_STUB_OFFSET (stub_entry),
R_HPPA_L21);
NEW_INSTRUCTION (stub_entry, BLE_XXX_0_31)
hppa_elf_stub_reloc (stub_entry->stub_desc,
abfd, orig_sym,
CURRENT_STUB_OFFSET (stub_entry),
R_HPPA_ABS_CALL_R17);
if (linker_stub_type == HPPA_STUB_ARG_RELOC)
{
/* In delay slot of long-call, copy %r31 into %r2 so that
the callee can return in the normal fashion. */
NEW_INSTRUCTION (stub_entry, COPY_31_2)
/* Restore the return address. */
NEW_INSTRUCTION (stub_entry, LDW_M8SP_RP)
/* Generate the code to move the return value around. */
switch (stub_types[RETVAL])
{
case NO_ARG_RELOC:
break;
case R_TO_FR:
NEW_INSTRUCTION (stub_entry, STWS_RET0_M8SP)
NEW_INSTRUCTION (stub_entry, FLDWS_M8SP_FRET0)
break;
case FR_TO_R:
NEW_INSTRUCTION (stub_entry, FSTWS_FRET0_M8SP)
NEW_INSTRUCTION (stub_entry, LDWS_M4SP_RET0)
break;
default:
abort ();
break;
}
/* Return back to the main code stream. */
NEW_INSTRUCTION (stub_entry, BV_N_0_RP)
}
else
{
if (!dyncall)
{
/* Get return address into %r31. Both variants may be necessary
(I think) as we could be cascading into another stub. */
if (!milli)
NEW_INSTRUCTION (stub_entry, COPY_2_31)
else
NEW_INSTRUCTION (stub_entry, COPY_1_31)
}
else
{
/* Get the return address into %r31 too. Might be necessary
(I think) as we could be cascading into another stub. */
NEW_INSTRUCTION (stub_entry, COPY_2_31)
}
/* No need for a return to the main stream. */
}
}
return stub_sym;
}
/* Return nonzero if an argument relocation will be needed to call
the function (symbol in RELOC_ENTRY) assuming the caller has
argument relocation bugs CALLER_AR. */
static int
hppa_elf_arg_reloc_needed_p (abfd, reloc_entry, stub_types, caller_ar)
bfd *abfd;
arelent *reloc_entry;
arg_reloc_type stub_types[5];
symext_entryS caller_ar;
{
/* If the symbol is still undefined, then it's impossible to know
if an argument relocation is needed. */
if (reloc_entry->sym_ptr_ptr[0]
&& reloc_entry->sym_ptr_ptr[0]->section != &bfd_und_section)
{
symext_entryS callee_ar = elf32_hppa_get_sym_extn (abfd,
reloc_entry->sym_ptr_ptr[0],
HPPA_SXT_ARG_RELOC);
/* Now examine all the argument and return value location
information to determine if a relocation stub will be needed. */
if (caller_ar && callee_ar)
{
arg_location caller_loc[5];
arg_location callee_loc[5];
/* Extract the location information for the return value
and argument registers separately. */
callee_loc[RETVAL] = EXTRACT_ARBITS (callee_ar, RETVAL);
caller_loc[RETVAL] = EXTRACT_ARBITS (caller_ar, RETVAL);
callee_loc[ARG0] = EXTRACT_ARBITS (callee_ar, ARG0);
caller_loc[ARG0] = EXTRACT_ARBITS (caller_ar, ARG0);
callee_loc[ARG1] = EXTRACT_ARBITS (callee_ar, ARG1);
caller_loc[ARG1] = EXTRACT_ARBITS (caller_ar, ARG1);
callee_loc[ARG2] = EXTRACT_ARBITS (callee_ar, ARG2);
caller_loc[ARG2] = EXTRACT_ARBITS (caller_ar, ARG2);
callee_loc[ARG3] = EXTRACT_ARBITS (callee_ar, ARG3);
caller_loc[ARG3] = EXTRACT_ARBITS (caller_ar, ARG3);
/* Check some special combinations. For example, if FU
appears in ARG1 or ARG3, we can move it to ARG0 or ARG2,
respectively. (I guess this braindamage is correct? It'd
take an hour or two of reading PA calling conventions to
really know). */
if (caller_loc[ARG0] == AR_FU || caller_loc[ARG1] == AR_FU)
{
caller_loc[ARG0] = AR_DBL01;
caller_loc[ARG1] = AR_NO;
}
if (caller_loc[ARG2] == AR_FU || caller_loc[ARG3] == AR_FU)
{
caller_loc[ARG2] = AR_DBL23;
caller_loc[ARG3] = AR_NO;
}
if (callee_loc[ARG0] == AR_FU || callee_loc[ARG1] == AR_FU)
{
callee_loc[ARG0] = AR_DBL01;
callee_loc[ARG1] = AR_NO;
}
if (callee_loc[ARG2] == AR_FU || callee_loc[ARG3] == AR_FU)
{
callee_loc[ARG2] = AR_DBL23;
callee_loc[ARG3] = AR_NO;
}
/* Now look up potential mismatches. */
stub_types[ARG0] = type_of_mismatch (caller_loc[ARG0],
callee_loc[ARG0],
ARGUMENTS);
stub_types[ARG1] = type_of_mismatch (caller_loc[ARG1],
callee_loc[ARG1],
ARGUMENTS);
stub_types[ARG2] = type_of_mismatch (caller_loc[ARG2],
callee_loc[ARG2],
ARGUMENTS);
stub_types[ARG3] = type_of_mismatch (caller_loc[ARG3],
callee_loc[ARG3],
ARGUMENTS);
stub_types[RETVAL] = type_of_mismatch (caller_loc[RETVAL],
callee_loc[RETVAL],
RETURN_VALUE);
/* If any of the arguments or return value need an argument
relocation, then we will need an argument relocation stub. */
if (stub_types[ARG0] != NO_ARG_RELOC
|| stub_types[ARG1] != NO_ARG_RELOC
|| stub_types[ARG2] != NO_ARG_RELOC
|| stub_types[ARG3] != NO_ARG_RELOC
|| stub_types[RETVAL] != NO_ARG_RELOC)
return 1;
}
}
return 0;
}
/* Create the linker stub section. */
static void
hppa_elf_create_stub_sec (abfd, output_bfd, secptr, link_info)
bfd *abfd;
bfd *output_bfd;
asection **secptr;
struct bfd_link_info *link_info;
{
asection *output_text_section;
output_text_section = bfd_get_section_by_name (output_bfd, ".text");
*secptr = bfd_make_section (abfd, ".hppa_linker_stubs");
bfd_set_section_flags (abfd, *secptr,
SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD
| SEC_RELOC | SEC_CODE | SEC_READONLY);
(*secptr)->output_section = output_text_section->output_section;
(*secptr)->output_offset = 0;
/* Set up the ELF section header for this new section. This
is basically the same processing as elf_make_sections().
elf_make_sections is static and therefore not accessable
here. */
{
Elf_Internal_Shdr *this_hdr;
this_hdr = &elf_section_data ((*secptr))->this_hdr;
/* Set the sizes of this section. The contents have already
been set up ?!? */
this_hdr->sh_addr = (*secptr)->vma;
this_hdr->sh_size = (*secptr)->_raw_size;
/* Set appropriate flags for sections with relocations. */
if ((*secptr)->flags & SEC_RELOC)
{
Elf_Internal_Shdr *rela_hdr;
int use_rela_p = get_elf_backend_data (abfd)->use_rela_p;
rela_hdr = &elf_section_data ((*secptr))->rel_hdr;
if (use_rela_p)
{
rela_hdr->sh_type = SHT_RELA;
rela_hdr->sh_entsize = sizeof (Elf32_External_Rela);
}
else
{
rela_hdr->sh_type = SHT_REL;
rela_hdr->sh_entsize = sizeof (Elf32_External_Rel);
}
rela_hdr->sh_flags = 0;
rela_hdr->sh_addr = 0;
rela_hdr->sh_offset = 0;
rela_hdr->sh_addralign = 0;
rela_hdr->size = 0;
}
if ((*secptr)->flags & SEC_ALLOC)
this_hdr->sh_flags |= SHF_ALLOC;
if (!((*secptr)->flags & SEC_READONLY))
this_hdr->sh_flags |= SHF_WRITE;
if ((*secptr)->flags & SEC_CODE)
this_hdr->sh_flags |= SHF_EXECINSTR;
}
bfd_set_section_alignment (abfd, *secptr, 2);
}
/* Return nonzero if a long-call stub will be needed to call the
function (symbol in RELOC_ENTRY). */
static int
hppa_elf_long_branch_needed_p (abfd, asec, reloc_entry, symbol, insn)
bfd *abfd;
asection *asec;
arelent *reloc_entry;
asymbol *symbol;
unsigned insn;
{
long sym_value = get_symbol_value (symbol);
int fmt = reloc_entry->howto->bitsize;
unsigned char op = get_opcode (insn);
unsigned raddr;
#define too_far(val,num_bits) \
((int)(val) > (1 << (num_bits)) - 1) || ((int)(val) < (-1 << (num_bits)))
switch (op)
{
case BL:
raddr =
reloc_entry->address + asec->output_offset + asec->output_section->vma;
/* If the symbol and raddr (relocated addr?) are too far away from
each other, then a long-call stub will be needed. */
if (too_far (sym_value - raddr, fmt + 1))
return 1;
break;
}
return 0;
}
/* Search the given section and determine if linker stubs will be
needed for any calls within that section.
Return any new stub symbols created.
Used out of hppaelf.em in the linker. */
asymbol *
hppa_look_for_stubs_in_section (stub_bfd, abfd, output_bfd, asec,
new_sym_cnt, link_info)
bfd *stub_bfd;
bfd *abfd;
bfd *output_bfd;
asection *asec;
int *new_sym_cnt;
struct bfd_link_info *link_info;
{
int i;
arg_reloc_type stub_types[5];
asymbol *new_syms = NULL;
int new_cnt = 0;
int new_max = 0;
arelent **reloc_vector = NULL;
/* Relocations are in different places depending on whether this is
an output section or an input section. Also, the relocations are
in different forms. Sigh. Luckily, we have bfd_canonicalize_reloc()
to straighten this out for us . */
if (asec->reloc_count > 0)
{
reloc_vector
= (arelent **) malloc (asec->reloc_count * (sizeof (arelent *) + 1));
if (reloc_vector == NULL)
{
bfd_set_error (bfd_error_no_memory);
goto error_return;
}
/* Make sure the canonical symbols are hanging around in a convient
location. */
if (bfd_get_outsymbols (abfd) == NULL)
{
long symsize;
long symcount;
symsize = bfd_get_symtab_upper_bound (abfd);
if (symsize < 0)
goto error_return;
abfd->outsymbols = (asymbol **) bfd_alloc (abfd, symsize);
if (!abfd->outsymbols && symsize != 0)
{
bfd_set_error (bfd_error_no_memory);
goto error_return;
}
symcount = bfd_canonicalize_symtab (abfd, abfd->outsymbols);
if (symcount < 0)
goto error_return;
abfd->symcount = symcount;
}
/* Now get the relocations. */
if (bfd_canonicalize_reloc (abfd, asec, reloc_vector,
bfd_get_outsymbols (abfd)) < 0)
goto error_return;
/* Examine each relocation entry in this section. */
for (i = 0; i < asec->reloc_count; i++)
{
arelent *rle = reloc_vector[i];
switch (rle->howto->type)
{
/* Any call could need argument relocation stubs, and
some may need long-call stubs. */
case R_HPPA_ABS_CALL_11:
case R_HPPA_ABS_CALL_14:
case R_HPPA_ABS_CALL_17:
case R_HPPA_ABS_CALL_L21:
case R_HPPA_ABS_CALL_R11:
case R_HPPA_ABS_CALL_R14:
case R_HPPA_ABS_CALL_R17:
case R_HPPA_ABS_CALL_LS21:
case R_HPPA_ABS_CALL_RS11:
case R_HPPA_ABS_CALL_RS14:
case R_HPPA_ABS_CALL_RS17:
case R_HPPA_ABS_CALL_LD21:
case R_HPPA_ABS_CALL_RD11:
case R_HPPA_ABS_CALL_RD14:
case R_HPPA_ABS_CALL_RD17:
case R_HPPA_ABS_CALL_LR21:
case R_HPPA_ABS_CALL_RR14:
case R_HPPA_ABS_CALL_RR17:
case R_HPPA_PCREL_CALL_11:
case R_HPPA_PCREL_CALL_14:
case R_HPPA_PCREL_CALL_17:
case R_HPPA_PCREL_CALL_12:
case R_HPPA_PCREL_CALL_L21:
case R_HPPA_PCREL_CALL_R11:
case R_HPPA_PCREL_CALL_R14:
case R_HPPA_PCREL_CALL_R17:
case R_HPPA_PCREL_CALL_LS21:
case R_HPPA_PCREL_CALL_RS11:
case R_HPPA_PCREL_CALL_RS14:
case R_HPPA_PCREL_CALL_RS17:
case R_HPPA_PCREL_CALL_LD21:
case R_HPPA_PCREL_CALL_RD11:
case R_HPPA_PCREL_CALL_RD14:
case R_HPPA_PCREL_CALL_RD17:
case R_HPPA_PCREL_CALL_LR21:
case R_HPPA_PCREL_CALL_RR14:
case R_HPPA_PCREL_CALL_RR17:
{
symext_entryS caller_ar
= (symext_entryS) HPPA_R_ARG_RELOC (rle->addend);
unsigned insn[2];
/* We'll need this for the long-call checks. */
bfd_get_section_contents (abfd, asec, insn, rle->address,
sizeof(insn));
/* See if this call needs an argument relocation stub. */
if (hppa_elf_arg_reloc_needed_p (abfd, rle, stub_types,
caller_ar))
{
/* Generate a stub and keep track of the new symbol. */
asymbol *r;
if (new_cnt == new_max)
{
new_max += STUB_SYM_BUFFER_INC;
new_syms = (asymbol *)
realloc (new_syms, new_max * sizeof (asymbol));
if (new_syms == NULL)
{
bfd_set_error (bfd_error_no_memory);
goto error_return;
}
}
/* Build the argument relocation stub. */
r = hppa_elf_build_linker_stub (stub_bfd, output_bfd,
link_info, rle,
stub_types, true, insn,
HPPA_STUB_ARG_RELOC);
new_syms[new_cnt++] = *r;
}
/* See if this call needs a long-call stub. */
if (hppa_elf_long_branch_needed_p (abfd, asec, rle,
rle->sym_ptr_ptr[0],
insn[0]))
{
/* Generate a stub and keep track of the new symbol. */
asymbol *r;
if (new_cnt == new_max)
{
new_max += STUB_SYM_BUFFER_INC;
new_syms = (asymbol *)
realloc (new_syms, (new_max * sizeof (asymbol)));
if (! new_syms)
{
bfd_set_error (bfd_error_no_memory);
goto error_return;
}
}
/* Build the long-call stub. */
r = hppa_elf_build_linker_stub (stub_bfd, output_bfd,
link_info, rle,
NULL, true, insn,
HPPA_STUB_LONG_CALL);
new_syms[new_cnt++] = *r;
}
}
break;
/* PLABELs may need argument relocation stubs. */
case R_HPPA_PLABEL_32:
case R_HPPA_PLABEL_11:
case R_HPPA_PLABEL_14:
case R_HPPA_PLABEL_L21:
case R_HPPA_PLABEL_R11:
case R_HPPA_PLABEL_R14:
{
/* On a plabel relocation, assume the arguments of the
caller are set up in general registers (indirect
calls only use general registers.
NOTE: 0x155 = ARGW0=GR,ARGW1=GR,ARGW2=GR,RETVAL=GR. */
symext_entryS caller_ar = (symext_entryS) 0x155;
unsigned insn[2];
/* Do we really need this? */
bfd_get_section_contents (abfd, asec, insn, rle->address,
sizeof(insn));
/* See if this call needs an argument relocation stub. */
if (hppa_elf_arg_reloc_needed_p (abfd, rle, stub_types,
caller_ar))
{
/* Generate a plabel stub and keep track of the
new symbol. */
asymbol *r;
int rtn_adjust;
if (new_cnt == new_max)
{
new_max += STUB_SYM_BUFFER_INC;
new_syms = (asymbol *) realloc (new_syms, new_max
* sizeof (asymbol));
}
/* Determine whether a return adjustment
(see the relocation code for relocation type
R_HPPA_STUB_CALL_17) is possible. Basically,
determine whether we are looking at a branch or not. */
if (rle->howto->type == R_HPPA_PLABEL_32)
rtn_adjust = false;
else
{
switch (get_opcode(insn[0]))
{
case BLE:
case BE:
rtn_adjust = true;
break;
default:
rtn_adjust = false;
}
}
/* Build the argument relocation stub. */
r = hppa_elf_build_linker_stub (stub_bfd, output_bfd,
link_info, rle, stub_types,
rtn_adjust, insn,
HPPA_STUB_ARG_RELOC);
new_syms[new_cnt++] = *r;
}
}
break;
default:
break;
}
}
}
if (reloc_vector != NULL)
free (reloc_vector);
/* Return the new symbols and update the counters. */
*new_sym_cnt = new_cnt;
return new_syms;
error_return:
if (reloc_vector != NULL)
free (reloc_vector);
/* FIXME: This is bogus. We should be returning NULL. But do the callers
check for that? */
abort ();
}
/* Set the contents of a particular section at a particular location. */
static boolean
hppa_elf_set_section_contents (abfd, section, location, offset, count)
bfd *abfd;
sec_ptr section;
PTR location;
file_ptr offset;
bfd_size_type count;
{
/* Linker stubs are handled a little differently. */
if (! strcmp (section->name, ".hppa_linker_stubs"))
{
if (linker_stubs_max_size < offset + count)
{
linker_stubs_max_size = offset + count + STUB_ALLOC_INCR;
linker_stubs = (char *)realloc (linker_stubs, linker_stubs_max_size);
if (! linker_stubs)
abort ();
}
if (offset + count > linker_stubs_size)
linker_stubs_size = offset + count;
/* Set the contents. */
memcpy(linker_stubs + offset, location, count);
return (true);
}
else
/* For everything but the linker stub section, use the generic
code. */
return bfd_elf32_set_section_contents (abfd, section, location,
offset, count);
}
/* Get the contents of the given section.
This is special for PA ELF because some sections (such as linker stubs)
may reside in memory rather than on disk, or in the case of the symbol
extension section, the contents may need to be generated from other
information contained in the BFD. */
boolean
hppa_elf_get_section_contents (abfd, section, location, offset, count)
bfd *abfd;
sec_ptr section;
PTR location;
file_ptr offset;
bfd_size_type count;
{
/* If this is the linker stub section, then its contents are contained
in memory rather than on disk. FIXME. Is that always right? What
about the case where a final executable is read in and a user tries
to get the contents of this section? In that case the contents would
be on disk like everything else. */
if (strcmp (section->name, ".hppa_linker_stubs") == 0)
{
elf32_hppa_stub_description *stub_desc = find_stubs (abfd, section);
if (count == 0)
return true;
/* Sanity check our arguments. */
if ((bfd_size_type) (offset + count) > section->_raw_size
|| (bfd_size_type) (offset + count) > stub_desc->real_size)
return (false);
memcpy (location, stub_desc->stub_contents + offset, count);
return (true);
}
/* The symbol extension section also needs special handling. Its
contents might be on the disk, in memory, or still need to
be generated. */
else if (strcmp (section->name, ".hppa_symextn") == 0)
{
/* If there are no output sections, then read the contents of the
symbol extension section from disk. */
if (section->output_section == NULL
&& abfd->direction == read_direction)
{
return _bfd_generic_get_section_contents (abfd, section, location,
offset, count);
}
/* If this is the first time through, and there are output sections,
then build the symbol extension section based on other information
contained in the BFD. */
else if (! symext_chain_built)
{
int i;
int *symtab_map =
(int *) elf_sym_extra (section->output_section->owner);
for (i = 0; i < section->output_section->owner->symcount; i++)
{
elf_hppa_tc_symbol (section->output_section->owner,
((elf_symbol_type *)
section->output_section->owner->outsymbols[i]),
symtab_map[i], &symext_rootP, &symext_lastP);
}
symext_chain_built++;
elf_hppa_tc_make_sections (section->output_section->owner,
symext_rootP);
}
/* At this point we know that the symbol extension section has been
built. We just need to copy it into the user's buffer. */
if (count == 0)
return true;
/* Sanity check our arguments. */
if ((bfd_size_type) (offset + count) > section->_raw_size
|| (bfd_size_type) (offset + count) > symextn_contents_real_size)
return (false);
memcpy (location,
(char *)symextn_contents + section->output_offset + offset,
count);
return (true);
}
else
/* It's not the symbol extension or linker stub sections, use
the generic routines. */
return _bfd_generic_get_section_contents (abfd, section, location,
offset, count);
}
/* Translate from an elf into field into a howto relocation pointer. */
static void
elf_info_to_howto (abfd, cache_ptr, dst)
bfd *abfd;
arelent *cache_ptr;
Elf32_Internal_Rela *dst;
{
BFD_ASSERT (ELF32_R_TYPE(dst->r_info) < (unsigned int) R_HPPA_UNIMPLEMENTED);
cache_ptr->howto = &elf_hppa_howto_table[ELF32_R_TYPE (dst->r_info)];
}
/* Do PA ELF specific processing for symbols. Needed to find the
value of $global$. */
static void
elf32_hppa_backend_symbol_processing (abfd, sym)
bfd *abfd;
asymbol *sym;
{
/* Is this a definition of $global$? If so, keep it because it will be
needed if any relocations are performed. */
if (!strcmp (sym->name, "$global$")
&& sym->section != &bfd_und_section)
{
global_symbol = sym;
}
}
/* Do some PA ELF specific work after reading in the symbol table.
In particular attach the argument relocation from the
symbol extension section to the appropriate symbols. */
static boolean
elf32_hppa_backend_symbol_table_processing (abfd, esyms,symcnt)
bfd *abfd;
elf_symbol_type *esyms;
int symcnt;
{
Elf32_Internal_Shdr *symextn_hdr =
bfd_elf_find_section (abfd, SYMEXTN_SECTION_NAME);
int i, current_sym_idx = 0;
/* If no symbol extension existed, then all symbol extension information
is assumed to be zero. */
if (symextn_hdr == NULL)
{
for (i = 0; i < symcnt; i++)
esyms[i].tc_data.hppa_arg_reloc = 0;
return (true);
}
/* Allocate a buffer of the appropriate size for the symextn section. */
symextn_hdr->contents = bfd_zalloc(abfd,symextn_hdr->sh_size);
if (!symextn_hdr->contents)
{
bfd_set_error (bfd_error_no_memory);
return false;
}
symextn_hdr->size = symextn_hdr->sh_size;
/* Read in the symextn section. */
if (bfd_seek (abfd, symextn_hdr->sh_offset, SEEK_SET) == -1)
return false;
if (bfd_read ((PTR) symextn_hdr->contents, 1, symextn_hdr->size, abfd)
!= symextn_hdr->size)
return false;
/* Parse entries in the symbol extension section, updating the symtab
entries as we go */
for (i = 0; i < symextn_hdr->size / sizeof(symext_entryS); i++)
{
symext_entryS *seP = ((symext_entryS *)symextn_hdr->contents) + i;
int se_value = ELF32_HPPA_SX_VAL (*seP);
int se_type = ELF32_HPPA_SX_TYPE (*seP);
switch (se_type)
{
case HPPA_SXT_NULL:
break;
case HPPA_SXT_SYMNDX:
if (se_value >= symcnt)
{
bfd_set_error (bfd_error_bad_value);
return (false);
}
current_sym_idx = se_value - 1;
break;
case HPPA_SXT_ARG_RELOC:
esyms[current_sym_idx].tc_data.hppa_arg_reloc = se_value;
break;
default:
bfd_set_error (bfd_error_bad_value);
return (false);
}
}
return (true);
}
/* Perform on PA ELF specific processing once a section has been
read in. In particular keep the symbol indexes correct for
the symbol extension information. */
static boolean
elf32_hppa_backend_section_processing (abfd, secthdr)
bfd *abfd;
Elf32_Internal_Shdr *secthdr;
{
int i, j, k;
if (secthdr->sh_type == SHT_HPPA_SYMEXTN)
{
for (i = 0; i < secthdr->size / sizeof (symext_entryS); i++)
{
symext_entryS *seP = ((symext_entryS *)secthdr->contents) + i;
int se_value = ELF32_HPPA_SX_VAL (*seP);
int se_type = ELF32_HPPA_SX_TYPE (*seP);
switch (se_type)
{
case HPPA_SXT_NULL:
break;
case HPPA_SXT_SYMNDX:
for (j = 0; j < abfd->symcount; j++)
{
/* Locate the map entry for this symbol and modify the
symbol extension section symbol index entry to reflect
the new symbol table index. */
for (k = 0; k < elf32_hppa_symextn_map_size; k++)
{
if (elf32_hppa_symextn_map[k].old_index == se_value
&& elf32_hppa_symextn_map[k].bfd
== abfd->outsymbols[j]->the_bfd
&& elf32_hppa_symextn_map[k].sym
== abfd->outsymbols[j])
{
bfd_put_32(abfd,
ELF32_HPPA_SX_WORD (HPPA_SXT_SYMNDX, j),
(char *)seP);
}
}
}
break;
case HPPA_SXT_ARG_RELOC:
break;
default:
bfd_set_error (bfd_error_bad_value);
return (false);
}
}
}
return true;
}
/* What does this really do? Just determine if there is an appropriate
mapping from ELF section headers to backend sections? More symbol
extension braindamage. */
static boolean
elf32_hppa_backend_section_from_shdr (abfd, hdr, name)
bfd *abfd;
Elf32_Internal_Shdr *hdr;
char *name;
{
asection *newsect;
if (hdr->sh_type == SHT_HPPA_SYMEXTN)
{
BFD_ASSERT (strcmp (name, ".hppa_symextn") == 0);
/* Bits that get saved. This one is real. */
if (!hdr->rawdata)
{
newsect = bfd_make_section (abfd, name);
if (newsect != NULL)
{
newsect->vma = hdr->sh_addr;
newsect->_raw_size = hdr->sh_size;
newsect->filepos = hdr->sh_offset;
newsect->flags |= SEC_HAS_CONTENTS;
newsect->alignment_power = hdr->sh_addralign;
if (hdr->sh_flags & SHF_ALLOC)
{
newsect->flags |= SEC_ALLOC;
newsect->flags |= SEC_LOAD;
}
if (!(hdr->sh_flags & SHF_WRITE))
newsect->flags |= SEC_READONLY;
if (hdr->sh_flags & SHF_EXECINSTR)
newsect->flags |= SEC_CODE;
else
newsect->flags |= SEC_DATA;
hdr->rawdata = (void *) newsect;
}
}
return true;
}
return false;
}
/* Return true if the given section is a fake section. */
static boolean
elf32_hppa_backend_fake_sections (abfd, secthdr, asect)
bfd *abfd;
Elf_Internal_Shdr *secthdr;
asection *asect;
{
if (strcmp(asect->name, ".hppa_symextn") == 0)
{
secthdr->sh_type = SHT_HPPA_SYMEXTN;
secthdr->sh_flags = 0;
secthdr->sh_info = elf_section_data(asect)->rel_hdr.sh_link;
secthdr->sh_link = elf_onesymtab(abfd);
return true;
}
if (!strcmp (asect->name, ".hppa_unwind"))
{
secthdr->sh_type = SHT_PROGBITS;
/* Unwind descriptors are not part of the program memory image. */
secthdr->sh_flags = 0;
secthdr->sh_info = 0;
secthdr->sh_link = 0;
secthdr->sh_entsize = 16;
return true;
}
/* @@ Should this be CPU specific?? KR */
if (!strcmp (asect->name, ".stabstr"))
{
secthdr->sh_type = SHT_STRTAB;
secthdr->sh_flags = 0;
secthdr->sh_info = 0;
secthdr->sh_link = 0;
secthdr->sh_entsize = 0;
return true;
}
return false;
}
/* Return true if there is a mapping from bfd section into a
backend section. */
static boolean
elf32_hppa_backend_section_from_bfd_section (abfd, hdr, asect, ignored)
bfd *abfd;
Elf32_Internal_Shdr *hdr;
asection *asect;
int *ignored;
{
if (hdr->sh_type == SHT_HPPA_SYMEXTN)
{
if (hdr->rawdata)
{
if (((struct sec *) (hdr->rawdata)) == asect)
{
BFD_ASSERT (strcmp (asect->name, ".hppa_symextn") == 0);
return true;
}
}
}
else if (hdr->sh_type == SHT_STRTAB)
{
if (hdr->rawdata)
{
if (((struct sec *) (hdr->rawdata)) == asect)
{
BFD_ASSERT (strcmp (asect->name, ".stabstr") == 0);
return true;
}
}
}
return false;
}
#define bfd_elf32_bfd_reloc_type_lookup elf_hppa_reloc_type_lookup
#define elf_backend_section_from_bfd_section elf32_hppa_backend_section_from_bfd_section
#define elf_backend_symbol_processing elf32_hppa_backend_symbol_processing
#define elf_backend_symbol_table_processing elf32_hppa_backend_symbol_table_processing
#define bfd_elf32_get_section_contents hppa_elf_get_section_contents
#define bfd_elf32_set_section_contents hppa_elf_set_section_contents
#define bfd_elf32_bfd_is_local_label hppa_elf_is_local_label
#define elf_backend_section_processing elf32_hppa_backend_section_processing
#define elf_backend_section_from_shdr elf32_hppa_backend_section_from_shdr
#define elf_backend_fake_sections elf32_hppa_backend_fake_sections
#define TARGET_BIG_SYM bfd_elf32_hppa_vec
#define TARGET_BIG_NAME "elf32-hppa"
#define ELF_ARCH bfd_arch_hppa
#define ELF_MACHINE_CODE EM_HPPA
#define ELF_MAXPAGESIZE 0x1000
#include "elf32-target.h"