[deliverable/binutils-gdb.git] / bfd / elf32-hppa.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 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 void elf32_hppa_backend_begin_write_processing PARAMS ((bfd *));

static void elf32_hppa_backend_final_write_processing PARAMS ((bfd *));

static void add_entry_to_symext_chain
  PARAMS ((bfd *, elf_symbol_type *, int, symext_chainS **, symext_chainS **));

static void
elf_hppa_tc_make_sections PARAMS ((bfd *, symext_chainS *));

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_PARISC_NONE, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_NONE"},
  {R_PARISC_DIR32, 0, 0, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DIR32"},
  {R_PARISC_DIR21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DIR21L"},
  {R_PARISC_DIR17R, 0, 0, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DIR17R"},
  {R_PARISC_DIR17F, 0, 0, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DIR17F"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DIR14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DIR14R"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_PCREL21L, 0, 0, 21, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL21L"},
  {R_PARISC_PCREL17R, 0, 0, 17, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL17R"},
  {R_PARISC_PCREL17F, 0, 0, 17, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL17F"},
  {R_PARISC_PCREL17C, 0, 0, 17, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL17C"},
  {R_PARISC_PCREL14R, 0, 0, 14, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL14R"},
  {R_PARISC_PCREL14F, 0, 0, 14, true, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PCREL14F"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DPREL21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DPREL21L"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DPREL14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DPREL14R"},
  {R_PARISC_DPREL14F, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DPREL14F"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DLTREL21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTREL21L"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DLTREL14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTREL14R"},
  {R_PARISC_DLTREL14F, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTREL14F"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DLTIND21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTIND21L"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DLTIND14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTIND14R"},
  {R_PARISC_DLTIND14F, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_DLTIND14F"},

  {R_PARISC_SETBASE, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_SETBASE"},
  {R_PARISC_BASEREL32, 0, 0, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL32"},
  {R_PARISC_BASEREL21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL21L"},
  {R_PARISC_BASEREL17R, 0, 0, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL17R"},
  {R_PARISC_BASEREL17F, 0, 0, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL17F"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_BASEREL14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL14R"},
  {R_PARISC_BASEREL14F, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_BASEREL14F"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_TEXTREL32, 0, 0, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_TEXTREL32"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_DATAREL32, 0, 0, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},


  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_PLABEL32, 0, 0, 32, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLABEL32"},
  {R_PARISC_PLABEL21L, 0, 0, 21, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLABEL21L"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_PLABEL14R, 0, 0, 14, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLABEL14R"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},


  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_PLTIND21L, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLTIND21L"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_UNIMPLEMENTED"},
  {R_PARISC_PLTIND14R, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLTIND14R"},
  {R_PARISC_PLTIND14F, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_PLTIND14F"},


  {R_PARISC_COPY, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_COPY"},
  {R_PARISC_GLOB_DAT, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_GLOB_DAT"},
  {R_PARISC_JMP_SLOT, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_JMP_SLOT"},
  {R_PARISC_RELATIVE, 0, 0, 0, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_RELATIVE"},
  {R_PARISC_STUB_CALL_17, 0, 0, 17, false, 0, complain_overflow_bitfield, hppa_elf_reloc, "R_PARISC_STUB_CALL_17"},

  {R_PARISC_UNIMPLEMENTED, 0, 0, 0, false, 0, complain_overflow_dont, NULL, "R_PARISC_UNIMPLEMENTED"},
};

static symext_chainS *symext_rootP;
static symext_chainS *symext_lastP;
static int symext_chain_size;
static long global_value;
static long GOT_value;
static asymbol *global_symbol;
static int global_sym_defined;
static symext_entryS *symextn_contents;
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 ();
    }
}

/* 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 14:
	  switch (field)
	    {
	    case e_rsel:
	    case e_rrsel:
	      final_type = R_PARISC_DIR14R;
	      break;
	    case e_rtsel:
	      final_type = R_PARISC_DLTREL14R;
	      break;
	    case e_tsel:
	      final_type = R_PARISC_DLTREL14F;
	      break;
	    case e_rpsel:
	      final_type = R_PARISC_PLABEL14R;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 17:
	  switch (field)
	    {
	    case e_fsel:
	      final_type = R_PARISC_DIR17F;
	      break;
	    case e_rsel:
	    case e_rrsel:
	      final_type = R_PARISC_DIR17R;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 21:
	  switch (field)
	    {
	    case e_lsel:
	    case e_lrsel:
	      final_type = R_PARISC_DIR21L;
	      break;
	    case e_ltsel:
	      final_type = R_PARISC_DLTREL21L;
	      break;
	    case e_lpsel:
	      final_type = R_PARISC_PLABEL21L;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 32:
	  switch (field)
	    {
	    case e_fsel:
	      final_type = R_PARISC_DIR32;
	      break;
	    case e_psel:
	      final_type = R_PARISC_PLABEL32;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	default:
	  abort ();
	  break;
	}
      break;


    case R_HPPA_GOTOFF:
      switch (format)
	{
	case 14:
	  switch (field)
	    {
	    case e_rsel:
	    case e_rrsel:
	      final_type = R_PARISC_DPREL14R;
	      break;
	    case e_fsel:
	      final_type = R_PARISC_DPREL14F;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 21:
	  switch (field)
	    {
	    case e_lrsel:
	    case e_lsel:
	      final_type = R_PARISC_DPREL21L;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	default:
	  abort ();
	  break;
	}
      break;


    case R_HPPA_PCREL_CALL:
      switch (format)
	{
	case 14:
	  switch (field)
	    {
	    case e_rsel:
	    case e_rrsel:
	      final_type = R_PARISC_PCREL14R;
	      break;
	    case e_fsel:
	      final_type = R_PARISC_PCREL14F;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 17:
	  switch (field)
	    {
	    case e_rsel:
	    case e_rrsel:
	      final_type = R_PARISC_PCREL17R;
	      break;
	    case e_fsel:
	      final_type = R_PARISC_PCREL17F;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	case 21:
	  switch (field)
	    {
	    case e_lsel:
	    case e_lrsel:
	      final_type = R_PARISC_PCREL21L;
	      break;
	    default:
	      abort ();
	      break;
	    }
	  break;

	default:
	  abort ();
	  break;
	}
      break;

    default:
      abort ();
      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;

      /* Work around lossage in generic elf code to write relocations.
	 (maps different section symbols into the same symbol index).  */
      if ((symbol_in->flags & BSF_SECTION_SYM)
	  && symbol_in->section)
	reloc_entry->addend += symbol_in->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);

  switch (r_type)
    {
    case R_PARISC_NONE:
      break;

    case R_PARISC_DIR32:
    case R_PARISC_DIR17F:
    case R_PARISC_PCREL17F:
    case R_PARISC_PCREL17C:
    case R_PARISC_PLABEL32:
    case R_PARISC_PCREL14F:
      r_field = e_fsel;
      goto do_basic_type_1;
    case R_PARISC_DIR21L:
    case R_PARISC_PCREL21L:
    case R_PARISC_PLABEL21L:
      r_field = e_lrsel;
      goto do_basic_type_1;
    case R_PARISC_DIR17R:
    case R_PARISC_PCREL17R:
    case R_PARISC_DIR14R:
    case R_PARISC_PCREL14R:
    case R_PARISC_PLABEL14R:
      r_field = e_rrsel;
      goto do_basic_type_1;

    case R_PARISC_DPREL21L:
      r_field = e_lrsel;
      sym_value -= GOT_value;
      goto do_basic_type_1;
    case R_PARISC_DPREL14R:
      r_field = e_rrsel;
      sym_value -= GOT_value;
      goto do_basic_type_1;
    case R_PARISC_DPREL14F:
      r_field = e_fsel;
      sym_value -= GOT_value;
      goto do_basic_type_1;


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;


    /* This is a linker internal relocation.  */
    case R_PARISC_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_PARISC_DIR17F;
	  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_PARISC_DIR17F;
		  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_PARISC_DIR17F;
	          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_PARISC_DIR17F;
		  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_PARISC_DIR17F;
	      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_PARISC_DIR17F;
	      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_PARISC_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] == '$');
}

/* Do any backend specific processing when beginning to write an object
   file.  For PA ELF we need to determine the size of the symbol extension
   section *before* any other output processing happens.  */

static void
elf32_hppa_backend_begin_write_processing (abfd)
     bfd *abfd;
{
  int i;
  asection *symextn_sec;

  /* Size up the symbol extension section.  We can't built it just
     yet as the elf_symbol_map hasn't been built.  */
  if (abfd->outsymbols == NULL || symext_chain_size != 0)
    return;

  /* Look at each symbol, and determine if it will need an entry in
     the symbol extension section.  */
  for (i = 0; i < abfd->symcount; i++)
    {
      elf_symbol_type *symbol = (elf_symbol_type *)abfd->outsymbols[i];

      /* Only functions ever need an entry in the symbol extension
	 section.  */
      if (!(symbol->symbol.flags & BSF_FUNCTION))
	continue;

      /* And only if they specify the locations of their arguments.  */
      if (symbol->tc_data.hppa_arg_reloc == 0)
	continue;

      /* Yup.  This function symbol needs an entry.  */
      symext_chain_size += 2 * sizeof (symext_entryS);
    }

  /* Now create the section and set its size.  We'll fill in the
     contents later.  */
  symextn_sec = bfd_get_section_by_name (abfd, SYMEXTN_SECTION_NAME);
  if (symextn_sec == NULL)
    {
      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, symext_chain_size);
    }

}

/* Perform any processing needed late in the object file writing process.
   For PA ELF we build and set the contents of the symbol extension
   section.  */

static void
elf32_hppa_backend_final_write_processing (abfd)
     bfd *abfd;
{
  asection *symextn_sec;
  int i, *symtab_map = (int *) elf_sym_extra (abfd);

  /* Now build the symbol extension section.  */
  if (symext_chain_size == 0)
    return; 

  /* Look at each symbol, adding the appropriate information to the
     symbol extension section list as necessary.  */
  for (i = 0; i < abfd->symcount; i++)
    {
      elf_symbol_type *symbol = (elf_symbol_type *) abfd->outsymbols[i];

      /* Only functions ever need an entry in the symbol extension
	 section.  */
      if (!(symbol->symbol.flags & BSF_FUNCTION))
	continue;

      /* And only if they specify the locations of their arguments.  */
      if (symbol->tc_data.hppa_arg_reloc == 0)
	continue;

      /* Add this symbol's information to the chain.  */
      add_entry_to_symext_chain (abfd, symbol, symtab_map[i],
				 &symext_rootP, &symext_lastP);
    }

  /* Now fill in the contents of the symbol extension chain.  */
  elf_hppa_tc_make_sections (abfd, symext_rootP);

  /* And attach that as the section's contents.  */
  symextn_sec = bfd_get_section_by_name (abfd, SYMEXTN_SECTION_NAME);
  if (symextn_sec == (asection *) 0)
    abort();

  symextn_sec->contents = (void *)symextn_contents;
  
  bfd_set_section_contents (abfd, symextn_sec, symextn_sec->contents, 
			    symextn_sec->output_offset, symextn_sec->_raw_size);
}

/* Update the symbol extention chain to include the symbol pointed to
   by SYMBOLP if SYMBOLP is a function symbol.  Used internally and by GAS.  */

static void
add_entry_to_symext_chain (abfd, symbol, sym_idx, symext_root, symext_last)
     bfd *abfd;
     elf_symbol_type *symbol;
     int sym_idx;
     symext_chainS **symext_root;
     symext_chainS **symext_last;
{
  symext_chainS *symextP;
  unsigned int arg_reloc = symbol->tc_data.hppa_arg_reloc;

  /* 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_PARISC_SX_WORD (PARISC_SXT_SYMNDX, sym_idx);
  symextP[0].next = &symextP[1];

  symextP[1].entry = ELF32_PARISC_SX_WORD (PARISC_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.  */ 

static void
elf_hppa_tc_make_sections (abfd, symext_root)
     bfd *abfd;
     symext_chainS *symext_root;
{
  symext_chainS *symextP;
  int i;
  asection *symextn_sec;

  /* FIXME: Huh?  I don't see what this is supposed to do for us.  */
  hppa_elf_stub_finish (abfd);

  symextn_sec = bfd_get_section_by_name (abfd, SYMEXTN_SECTION_NAME);

  /* Grab some memory for the contents of the symbol extension section
     itself.  */
  symextn_contents = (symext_entryS *) bfd_zalloc (abfd,
						   symextn_sec->_raw_size);
  if (!symextn_contents)
    {
      bfd_set_error (bfd_error_no_memory);
      abort();			/* FIXME */
    }

  /* Fill in the contents of the symbol extension chain.  */
  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 PARISC_SXT_SYMNDX:
    case PARISC_SXT_NULL:
      return (symext_entryS) 0;
    case PARISC_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,
							".PARISC.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, ".PARISC.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 '.PARISC.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, ".PARISC.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_PARISC_PLABEL32
	      && (get_opcode(insn) == BLE
		  || get_opcode (insn) == BE
		  || get_opcode (insn) == BL)))
	reloc_entry->howto = bfd_reloc_type_lookup (abfd, R_PARISC_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_PARISC_PLABEL32
	      && (get_opcode (insn) == BLE
		  || get_opcode (insn) == BE
		  || get_opcode (insn) == BL)))
	reloc_entry->howto = bfd_reloc_type_lookup (abfd, R_PARISC_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_PARISC_DIR21L);
      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_PARISC_DIR17R);

      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],
							 PARISC_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, ".PARISC.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_PARISC_PCREL21L:
	    case R_PARISC_PCREL17R:
	    case R_PARISC_PCREL17F:
	    case R_PARISC_PCREL17C:
	    case R_PARISC_PCREL14R:
	    case R_PARISC_PCREL14F:
	      {
		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_PARISC_PLABEL32:
	    case R_PARISC_PLABEL21L:
	    case R_PARISC_PLABEL14R:
	      {
		/* 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_PARISC_STUB_CALL_17) is possible.  Basically,
		       determine whether we are looking at a branch or not.  */
		    if (rle->howto->type == R_PARISC_PLABEL32)
		      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, ".PARISC.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);
    }
  /* Ignore write requests for the symbol extension section until we've
     had the chance to rebuild it ourselves.  */
  else if (! strcmp (section->name, ".PARISC.symextn") && !symext_chain_size)
    return true;
  else
    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, ".PARISC.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);
    }
  else
    /* It's not the linker stub section, 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_PARISC_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_PARISC_SX_VAL (*seP);
      int se_type = ELF32_PARISC_SX_TYPE (*seP);

      switch (se_type)
	{
	case PARISC_SXT_NULL:
	  break;

	case PARISC_SXT_SYMNDX:
	  if (se_value >= symcnt)
	    {
	      bfd_set_error (bfd_error_bad_value);
	      return (false);
	    }
	  current_sym_idx = se_value - 1;
	  break;

	case PARISC_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_PARISC_SYMEXTN)
    {
      for (i = 0; i < secthdr->size / sizeof (symext_entryS); i++)
	{
	  symext_entryS *seP = ((symext_entryS *)secthdr->contents) + i;
	  int se_value = ELF32_PARISC_SX_VAL (*seP);
	  int se_type = ELF32_PARISC_SX_TYPE (*seP);
	  
	  switch (se_type)
	    {
	    case PARISC_SXT_NULL:
	      break;
	      
	    case PARISC_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_PARISC_SX_WORD (PARISC_SXT_SYMNDX, j),
				     (char *)seP);
			}
		    }
		}
	      break;
	      
	    case PARISC_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_PARISC_SYMEXTN)
    {
      BFD_ASSERT (strcmp (name, ".PARISC.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, ".PARISC.symextn") == 0)
    {
      secthdr->sh_type = SHT_PARISC_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, ".PARISC.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_PARISC_SYMEXTN)
    {
      if (hdr->rawdata)
	{
	  if (((struct sec *) (hdr->rawdata)) == asect)
	    {
	      BFD_ASSERT (strcmp (asect->name, ".PARISC.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 elf_backend_begin_write_processing \
  elf32_hppa_backend_begin_write_processing
#define elf_backend_final_write_processing \
  elf32_hppa_backend_final_write_processing

#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_PARISC
#define ELF_MAXPAGESIZE		0x1000

#include "elf32-target.h"