/* BFD back-end for HP PA-RISC ELF files.
- Copyright (C) 1990-1991 Free Software Foundation, Inc.
+ Copyright (C) 1990, 91, 92, 93, 94 Free Software Foundation, Inc.
Written by
#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.
-*/
-
-/*
- Written by:
-
- Center for Software Science
- Department of Computer Science
- University of Utah
-*/
+ November 19, 1992. */
#include "elf32-hppa.h"
-#include "libhppa.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;
-/* ELF/PA relocation howto entries */
+/* This is a list of all the stubs for a particular BFD. */
-static bfd_reloc_status_type hppa_elf_reloc ();
+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
-reloc_howto_type elf_hppa_howto_table[ELF_HOWTO_TABLE_SIZE] =
+/* 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
{
-/* 'bitpos' and 'abs' are obsolete */
-/* type rs sz bsz pcrel bpos abs ovrf sf name */
-/* 9.3.4. Address relocation types */
- {R_HPPA_NONE, 0, 3, 19, false, 0, false, true, hppa_elf_reloc, "R_HPPA_NONE"},
- {R_HPPA_32, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_32"},
- {R_HPPA_11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_11"},
- {R_HPPA_14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_14"},
- {R_HPPA_17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_17"},
-{R_HPPA_L21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_L21"},
-{R_HPPA_R11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_R11"},
-{R_HPPA_R14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_R14"},
-{R_HPPA_R17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_R17"},
- {R_HPPA_LS21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_LS21"},
- {R_HPPA_RS11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RS11"},
- {R_HPPA_RS14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RS14"},
- {R_HPPA_RS17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RS17"},
- {R_HPPA_LD21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_LD21"},
- {R_HPPA_RD11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RD11"},
- {R_HPPA_RD14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RD14"},
- {R_HPPA_RD17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RD17"},
- {R_HPPA_LR21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_LR21"},
- {R_HPPA_RR14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RR14"},
- {R_HPPA_RR17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_RR17"},
-/* 9.3.5. GOTOFF address relocation types */
- {R_HPPA_GOTOFF_11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_11"},
- {R_HPPA_GOTOFF_14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_14"},
- {R_HPPA_GOTOFF_L21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_L21"},
- {R_HPPA_GOTOFF_R11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_R11"},
- {R_HPPA_GOTOFF_R14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_R14"},
- {R_HPPA_GOTOFF_LS21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_LS21"},
- {R_HPPA_GOTOFF_RS11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_RS11"},
- {R_HPPA_GOTOFF_RS14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_RS14"},
- {R_HPPA_GOTOFF_LD21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_LD21"},
- {R_HPPA_GOTOFF_RD11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_RD11"},
- {R_HPPA_GOTOFF_RD14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_RD14"},
- {R_HPPA_GOTOFF_LR21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_LR21"},
- {R_HPPA_GOTOFF_RR14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_GOTOFF_RR14"},
-/* 9.3.6. Absolute call relocation types */
- {R_HPPA_ABS_CALL_11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_11"},
- {R_HPPA_ABS_CALL_14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_14"},
- {R_HPPA_ABS_CALL_17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_17"},
- {R_HPPA_ABS_CALL_L21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_L21"},
- {R_HPPA_ABS_CALL_R11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_R11"},
- {R_HPPA_ABS_CALL_R14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_R14"},
- {R_HPPA_ABS_CALL_R17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_R17"},
- {R_HPPA_ABS_CALL_LS21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_LS21"},
- {R_HPPA_ABS_CALL_RS11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS11"},
- {R_HPPA_ABS_CALL_RS14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS14"},
- {R_HPPA_ABS_CALL_RS17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RS17"},
- {R_HPPA_ABS_CALL_LD21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_LD21"},
- {R_HPPA_ABS_CALL_RD11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD11"},
- {R_HPPA_ABS_CALL_RD14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD14"},
- {R_HPPA_ABS_CALL_RD17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RD17"},
- {R_HPPA_ABS_CALL_LR21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_LR21"},
- {R_HPPA_ABS_CALL_RR14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RR14"},
- {R_HPPA_ABS_CALL_RR17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ABS_CALL_RR17"},
-/* 9.3.7. PC-relative call relocation types */
- {R_HPPA_PCREL_CALL_11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_11"},
- {R_HPPA_PCREL_CALL_14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_14"},
- {R_HPPA_PCREL_CALL_17, 0, 3, 17, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_17"},
- {R_HPPA_PCREL_CALL_12, 0, 3, 12, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_12"},
- {R_HPPA_PCREL_CALL_L21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_L21"},
- {R_HPPA_PCREL_CALL_R11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R11"},
- {R_HPPA_PCREL_CALL_R14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R14"},
- {R_HPPA_PCREL_CALL_R17, 0, 3, 17, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_R17"},
- {R_HPPA_PCREL_CALL_LS21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LS21"},
- {R_HPPA_PCREL_CALL_RS11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS11"},
- {R_HPPA_PCREL_CALL_RS14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS14"},
- {R_HPPA_PCREL_CALL_RS17, 0, 3, 17, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RS17"},
- {R_HPPA_PCREL_CALL_LD21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LD21"},
- {R_HPPA_PCREL_CALL_RD11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD11"},
- {R_HPPA_PCREL_CALL_RD14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD14"},
- {R_HPPA_PCREL_CALL_RD17, 0, 3, 17, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RD17"},
- {R_HPPA_PCREL_CALL_LR21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_LR21"},
- {R_HPPA_PCREL_CALL_RR14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RR14"},
- {R_HPPA_PCREL_CALL_RR17, 0, 3, 17, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PCREL_CALL_RR17"},
-
-/* 9.3.8. Plabel relocation types */
- {R_HPPA_PLABEL_32, 0, 3, 32, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_32"},
- {R_HPPA_PLABEL_11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_11"},
- {R_HPPA_PLABEL_14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_14"},
- {R_HPPA_PLABEL_L21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_L21"},
- {R_HPPA_PLABEL_R11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_R11"},
- {R_HPPA_PLABEL_R14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_PLABEL_R14"},
-
-/* 9.3.9. Data linkage table (DLT) relocation types */
- {R_HPPA_DLT_32, 0, 3, 32, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_32"},
- {R_HPPA_DLT_11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_11"},
- {R_HPPA_DLT_14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_14"},
- {R_HPPA_DLT_L21, 0, 3, 21, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_L21"},
- {R_HPPA_DLT_R11, 0, 3, 11, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_R11"},
- {R_HPPA_DLT_R14, 0, 3, 14, true, 0, false, true, hppa_elf_reloc, "R_HPPA_DLT_R14"},
-
-/* 9.3.10. Relocations for unwinder tables */
- {R_HPPA_UNWIND_ENTRY, 0, 3, 32, true, 0, false, true, hppa_elf_reloc, "R_HPPA_UNWIND_ENTRY"},
- {R_HPPA_UNWIND_ENTRIES, 0, 3, 32, true, 0, false, true, hppa_elf_reloc, "R_HPPA_UNWIND_ENTRIES"},
-
-/* 9.3.11. Relocation types for complex expressions */
- {R_HPPA_PUSH_CONST, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_CONST"},
- {R_HPPA_PUSH_PC, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_PC"},
- {R_HPPA_PUSH_SYM, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_SYM"},
- {R_HPPA_PUSH_GOTOFF, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_GOTOFF"},
- {R_HPPA_PUSH_ABS_CALL, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_ABS_CALL"},
- {R_HPPA_PUSH_PCREL_CALL, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_PCREL_CALL"},
- {R_HPPA_PUSH_PLABEL, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_PUSH_PLABEL"},
-{R_HPPA_MAX, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_MAX"},
-{R_HPPA_MIN, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_MIN"},
-{R_HPPA_ADD, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ADD"},
-{R_HPPA_SUB, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_SUB"},
- {R_HPPA_MULT, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_MULT"},
-{R_HPPA_DIV, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_DIV"},
-{R_HPPA_MOD, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_MOD"},
-{R_HPPA_AND, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_AND"},
- {R_HPPA_OR, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_OR"},
-{R_HPPA_XOR, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_XOR"},
-{R_HPPA_NOT, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_NOT"},
- {R_HPPA_LSHIFT, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_LSHIFT"},
- {R_HPPA_ARITH_RSHIFT, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_ARITH_RSHIFT"},
- {R_HPPA_LOGIC_RSHIFT, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_LOGIC_RSHIFT"},
-{R_HPPA_EXPR_F, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_L"},
- {R_HPPA_EXPR_L, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_L"},
- {R_HPPA_EXPR_R, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_R"},
- {R_HPPA_EXPR_LS, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_LS"},
- {R_HPPA_EXPR_RS, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_RS"},
- {R_HPPA_EXPR_LD, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_LD"},
- {R_HPPA_EXPR_RD, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_RD"},
- {R_HPPA_EXPR_LR, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_LR"},
- {R_HPPA_EXPR_RR, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_RR"},
-
- {R_HPPA_EXPR_32, 0, 3, 32, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_32"},
- {R_HPPA_EXPR_21, 0, 3, 21, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_21"},
- {R_HPPA_EXPR_11, 0, 3, 11, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_11"},
- {R_HPPA_EXPR_14, 0, 3, 14, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_14"},
- {R_HPPA_EXPR_17, 0, 3, 17, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_17"},
- {R_HPPA_EXPR_12, 0, 3, 12, false, 0, false, true, hppa_elf_reloc, "R_HPPA_EXPR_12"},
- {R_HPPA_UNIMPLEMENTED, 0, 0, 0, false, 0, false, false, NULL, "R_HPPA_UNIMPLEMENTED"},
+ /* 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},
};
-static symext_chainS *symext_rootP = NULL;
-static symext_chainS *symext_lastP = NULL;
+/* 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},
+};
-static unsigned long
-DEFUN (hppa_elf_rebuild_insn, (abfd, insn, value, r_type, r_field, r_format),
- bfd * abfd AND
- unsigned long insn AND
- unsigned long value AND
- unsigned short r_type AND
- unsigned short r_field AND
- unsigned short r_format)
+/* Used for index mapping in symbol-extension sections. */
+struct elf32_hppa_symextn_map_struct
{
- unsigned long const_part; /* part of the instruction that does not change */
- unsigned long rebuilt_part;
+ int old_index;
+ bfd *bfd;
+ asymbol *sym;
+ int new_index;
+};
- switch (r_format)
- {
- case 11:
- {
- unsigned w1, w;
+static bfd_reloc_status_type hppa_elf_reloc
+ PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
- const_part = insn & 0xffffe002;
- dis_assemble_12 (value, &w1, &w);
- rebuilt_part = (w1 << 2) | w;
- return const_part | rebuilt_part;
- }
+static unsigned long hppa_elf_relocate_insn
+ PARAMS ((bfd *, asection *, unsigned long, unsigned long, long,
+ long, unsigned long, unsigned long, unsigned long));
- case 12:
- {
- unsigned w1, w;
+static long get_symbol_value PARAMS ((asymbol *));
- const_part = insn & 0xffffe002;
- dis_assemble_12 (value, &w1, &w);
- rebuilt_part = (w1 << 2) | w;
- return const_part | rebuilt_part;
- }
+static bfd_reloc_status_type hppa_elf_reloc
+ PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd*, char **));
- case 14:
- const_part = insn & 0xffffc000;
- low_sign_unext (value, 14, &rebuilt_part);
- return const_part | rebuilt_part;
+static CONST reloc_howto_type * elf_hppa_reloc_type_lookup
+ PARAMS ((bfd *, bfd_reloc_code_real_type));
- case 17:
- {
- unsigned w1, w2, w;
+static symext_entryS elf32_hppa_get_sym_extn PARAMS ((bfd *, asymbol *, int));
- const_part = insn & 0xffe0e002;
- dis_assemble_17 (value, &w1, &w2, &w);
- rebuilt_part = (w2 << 2) | (w1 << 16) | w;
- return const_part | rebuilt_part;
- }
+static elf32_hppa_stub_description * find_stubs PARAMS ((bfd *, asection *));
- case 21:
- const_part = insn & 0xffe00000;
- dis_assemble_21 (value, &rebuilt_part);
- return const_part | rebuilt_part;
+static elf32_hppa_stub_description * new_stub
+ PARAMS ((bfd *, asection *, struct bfd_link_info *));
- case 32:
- const_part = 0;
- return value;
+static arg_reloc_type type_of_mismatch PARAMS ((int, int, int));
- default:
- fprintf (stderr, "Relocation problem : ");
- fprintf (stderr,
- "Unrecognized reloc type %d (fmt=%d,fld=%d), in module %s\n",
- r_type, r_format, r_field, abfd->filename);
- }
- return insn;
-}
+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
-DEFUN (hppa_elf_relocate_insn,
- (abfd, input_sect,
- insn, address, symp, sym_value, r_addend,
- r_type, r_format, r_field, pcrel),
- bfd * abfd AND
- asection * input_sect AND
- unsigned long insn AND
- unsigned long address AND
- asymbol * symp AND
- long sym_value AND
- long r_addend AND
- unsigned short r_type AND
- unsigned short r_format AND
- unsigned short r_field AND
- unsigned char pcrel)
+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;
case STH:
case STW:
case STWM:
- constant_value = ELF32_HPPA_R_CONSTANT (r_addend);
- BFD_ASSERT (r_format == 14);
-
- if (pcrel)
- sym_value -= address;
- sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
- return hppa_elf_rebuild_insn (abfd, insn, sym_value, r_type, r_format, r_format);
-
case COMICLR:
- case SUBI: /* case SUBIO: */
- case ADDIT: /* case ADDITO: */
- case ADDI: /* case ADDIO: */
- BFD_ASSERT (r_format == 11);
-
- constant_value = ((insn & 0x1) << 10) | ((insn & 0xffe) >> 1);
- sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
- return hppa_elf_rebuild_insn (abfd, insn, sym_value, r_type, r_field, r_format);
-
+ case SUBI:
+ case ADDIT:
+ case ADDI:
case LDIL:
case ADDIL:
- BFD_ASSERT (r_format == 21);
+ constant_value = HPPA_R_CONSTANT (r_addend);
+
+ if (pcrel)
+ sym_value -= address;
- constant_value = assemble_21 (insn);
- constant_value += ELF32_HPPA_R_CONSTANT (r_addend);
sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
- return hppa_elf_rebuild_insn (abfd, insn, sym_value, r_type, r_field, r_format);
+ return hppa_rebuild_insn (abfd, insn, sym_value, r_format);
case BL:
case BE:
case BLE:
- arg_reloc = ELF32_HPPA_R_ARG_RELOC (r_addend);
-
- BFD_ASSERT (r_format == 17);
+ 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);
- /* @@ Assumes only 32 bits. */
+
constant_value = (constant_value << 15) >> 15;
if (pcrel)
{
else
sym_value = hppa_field_adjust (sym_value, constant_value, r_field);
- return hppa_elf_rebuild_insn (abfd, insn, sym_value >> 2, r_type, r_field, r_format);
+ return hppa_rebuild_insn (abfd, insn, sym_value >> 2, r_format);
default:
if (opcode == 0)
{
- BFD_ASSERT (r_format == 32);
- constant_value = insn;
- constant_value += ELF32_HPPA_R_CONSTANT (r_addend);
+ constant_value = HPPA_R_CONSTANT (r_addend);
+
+ if (pcrel)
+ sym_value -= address;
return hppa_field_adjust (sym_value, constant_value, r_field);
}
else
- {
- fprintf (stderr,
- "Unrecognized opcode 0x%02x (fmt=%x,field=%x)\n",
- opcode, r_format, r_field);
- return insn;
- }
+ abort ();
}
}
-static void
-DEFUN (hppa_elf_relocate_unwind_table,
- (abfd, input_sect,
- data, address, symp, sym_value, r_addend,
- r_type, r_format, r_field, pcrel),
- bfd * abfd AND
- asection * input_sect AND
- PTR data AND
- unsigned long address AND
- asymbol * symp AND
- long sym_value AND
- long r_addend AND
- unsigned short r_type AND
- unsigned short r_format AND
- unsigned short r_field AND
- unsigned char pcrel)
-{
- bfd_byte *hit_data = address + (bfd_byte *) (data);
- long start_offset;
- long end_offset;
- long relocated_value;
- int i;
-
- BFD_ASSERT (r_format == 32);
- BFD_ASSERT (r_field == e_fsel);
- switch (r_type)
- {
- case R_HPPA_UNWIND_ENTRY:
- start_offset = bfd_get_32 (abfd, hit_data);
- relocated_value = hppa_field_adjust (sym_value, start_offset, r_field);
- bfd_put_32 (abfd, relocated_value, hit_data);
-
- hit_data += sizeof (unsigned long);
- end_offset = bfd_get_32 (abfd, hit_data);
- relocated_value = hppa_field_adjust (sym_value, end_offset, r_field);
- bfd_put_32 (abfd, relocated_value, hit_data);
- break;
-
- case R_HPPA_UNWIND_ENTRIES:
- for (i = 0; i < r_addend; i++, hit_data += 3 * sizeof (unsigned long))
- {
- unsigned int fsize;
- start_offset = bfd_get_32 (abfd, hit_data);
- /* Stuff the symbol value into the first word */
- /* of the unwind descriptor */
- bfd_put_32 (abfd, sym_value, hit_data);
-
- hit_data += sizeof (unsigned long);
- end_offset = bfd_get_32 (abfd, hit_data);
- /* We could also compute the ending offset for */
- /* the 2nd word of the unwind entry by */
- /* retrieving the st_size field of the Elf_Sym */
- /* structure stored with this symbol. We can */
- /* get it with: */
- /* e = (elf_symbol_type *)symp */
- /* fsize = e->internal_elf_sym.st_size */
-
- fsize = end_offset - start_offset;
- relocated_value = hppa_field_adjust (sym_value, fsize, r_field);
- bfd_put_32 (abfd, relocated_value, hit_data);
-
- /* If this is not the last unwind entry, */
- /* adjust the symbol value. */
- if (i + 1 < r_addend)
- {
- start_offset = bfd_get_32 (abfd, hit_data + 3 * sizeof (unsigned long));
- sym_value += fsize + start_offset - end_offset;
- }
- }
- break;
-
- default:
- fprintf (stderr,
- "Unrecognized relocation type 0x%02x (fmt=%x,field=%x)\n",
- r_type, r_format, r_field);
- }
-}
+/* Return the relocated value of the given symbol. */
-/* Provided the symbol, returns the value reffed */
static long
get_symbol_value (symbol)
asymbol *symbol;
{
- long relocation = 0;
-
- if (symbol == (asymbol *) NULL)
- relocation = 0;
- else if (symbol->section == &bfd_com_section)
- {
- relocation = 0;
- }
+ if (symbol == NULL
+ || symbol->section == &bfd_com_section)
+ return 0;
else
- {
- relocation = symbol->value +
- symbol->section->output_section->vma +
- symbol->section->output_offset;
- }
-
- return (relocation);
+ return symbol->value + symbol->section->output_section->vma
+ + symbol->section->output_offset;
}
-/* This function provides a pretty straight-forward mapping between a */
-/* base relocation type, format and field into the relocation type */
-/* that will be emitted in an object file. The only wrinkle in the */
-/* mapping is that when the T, TR, TL, P, PR, or PL expression */
-/* prefixes are involved, the type gets promoted to a *_GOTOFF_* */
-/* relocation (in the case of T, TR, and TL) or a PLABEL relocation */
-/* (in the case of P, PR, and PL). */
-
-/* NOTE: XXX the T, TR, TL, P, PR, and PL expression prefixes are not */
-/* handled yet. */
-
-static void
-hppa_elf_gen_reloc_error (base_type, fmt, field)
- elf32_hppa_reloc_type base_type;
- int fmt;
- int field;
-{
- fprintf (stderr, "undefined relocation: base=0x%x,fmt=0x%x,field=0x%x\n",
- base_type, fmt, field);
-}
+/* 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)
int format;
int field;
{
-#define UNDEFINED hppa_elf_gen_reloc_error(base_type,format,field);
-
elf32_hppa_reloc_type *finaltype;
elf32_hppa_reloc_type **final_types;
- int i;
- final_types = (elf32_hppa_reloc_type **) bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type *) * 2);
- BFD_ASSERT (final_types != 0);
+ /* 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 */
- finaltype = (elf32_hppa_reloc_type *) bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type));
- BFD_ASSERT (finaltype != 0);
+ /* 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;
final_type = base_type;
+ /* Just a tangle of nested switch statements to deal with the braindamage
+ that a different field selector means a completely different relocation
+ for PA ELF. */
switch (base_type)
{
case R_HPPA:
switch (format)
{
- case 11:
- switch (field)
- {
- case e_fsel:
- final_type = R_HPPA_11;
- break;
- case e_rsel:
- final_type = R_HPPA_R11;
- break;
- case e_rssel:
- final_type = R_HPPA_RS11;
- break;
- case e_rdsel:
- final_type = R_HPPA_RD11;
- break;
-
- case e_psel:
- final_type = R_HPPA_PLABEL_11;
- break;
- case e_rpsel:
- final_type = R_HPPA_PLABEL_R11;
- break;
- case e_lpsel:
- case e_tsel:
- case e_ltsel:
- case e_rtsel:
-
- case e_lsel:
- case e_lrsel:
- case e_lssel:
- case e_rrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 12:
- UNDEFINED;
- break;
case 14:
switch (field)
{
case e_rsel:
- final_type = R_HPPA_R14;
- break;
- case e_rssel:
- final_type = R_HPPA_RS14;
- break;
- case e_rdsel:
- final_type = R_HPPA_RD14;
- break;
case e_rrsel:
- final_type = R_HPPA_RR14;
+ final_type = R_PARISC_DIR14R;
break;
-
- case e_psel:
- final_type = R_HPPA_PLABEL_14;
+ case e_rtsel:
+ final_type = R_PARISC_DLTREL14R;
+ break;
+ case e_tsel:
+ final_type = R_PARISC_DLTREL14F;
break;
case e_rpsel:
- final_type = R_HPPA_PLABEL_R14;
+ final_type = R_PARISC_PLABEL14R;
break;
- case e_lpsel:
- case e_tsel:
- case e_ltsel:
- case e_rtsel:
-
- case e_fsel:
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
case 17:
switch (field)
{
case e_fsel:
- final_type = R_HPPA_17;
+ final_type = R_PARISC_DIR17F;
break;
case e_rsel:
- final_type = R_HPPA_R17;
- break;
- case e_rssel:
- final_type = R_HPPA_RS17;
- break;
- case e_rdsel:
- final_type = R_HPPA_RD17;
- break;
case e_rrsel:
- final_type = R_HPPA_RR17;
+ final_type = R_PARISC_DIR17R;
break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
case 21:
switch (field)
{
case e_lsel:
- final_type = R_HPPA_L21;
- break;
- case e_lssel:
- final_type = R_HPPA_LS21;
- break;
- case e_ldsel:
- final_type = R_HPPA_LD21;
- break;
case e_lrsel:
- final_type = R_HPPA_LR21;
+ final_type = R_PARISC_DIR21L;
+ break;
+ case e_ltsel:
+ final_type = R_PARISC_DLTREL21L;
break;
case e_lpsel:
- final_type = R_HPPA_PLABEL_L21;
+ final_type = R_PARISC_PLABEL21L;
break;
- case e_rsel:
- case e_rssel:
- case e_rdsel:
- case e_rrsel:
- case e_fsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
case 32:
switch (field)
{
case e_fsel:
- final_type = R_HPPA_32;
+ final_type = R_PARISC_DIR32;
break;
case e_psel:
- final_type = R_HPPA_PLABEL_32;
+ final_type = R_PARISC_PLABEL32;
break;
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
+
case R_HPPA_GOTOFF:
switch (format)
{
- case 11:
- switch (field)
- {
- case e_rsel:
- final_type = R_HPPA_GOTOFF_R11;
- break;
- case e_rssel:
- final_type = R_HPPA_GOTOFF_RS11;
- break;
- case e_rdsel:
- final_type = R_HPPA_GOTOFF_RD11;
- break;
- case e_fsel:
- final_type = R_HPPA_GOTOFF_11;
- break;
- case e_lsel:
- case e_lrsel:
- case e_lssel:
- case e_rrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 12:
- UNDEFINED;
- final_type = base_type;
- break;
case 14:
switch (field)
{
case e_rsel:
- final_type = R_HPPA_GOTOFF_R14;
- break;
- case e_rssel:
- final_type = R_HPPA_GOTOFF_RS14;
- break;
- case e_rdsel:
- final_type = R_HPPA_GOTOFF_RD14;
- break;
case e_rrsel:
- final_type = R_HPPA_GOTOFF_RR14;
+ final_type = R_PARISC_DPREL14R;
break;
case e_fsel:
- final_type = R_HPPA_GOTOFF_14;
+ final_type = R_PARISC_DPREL14F;
break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
- case 17:
- UNDEFINED;
- final_type = base_type;
- break;
+
case 21:
switch (field)
{
- case e_lsel:
- final_type = R_HPPA_GOTOFF_L21;
- break;
- case e_lssel:
- final_type = R_HPPA_GOTOFF_LS21;
- break;
- case e_ldsel:
- final_type = R_HPPA_GOTOFF_LD21;
- break;
case e_lrsel:
- final_type = R_HPPA_GOTOFF_LR21;
+ case e_lsel:
+ final_type = R_PARISC_DPREL21L;
break;
- case e_rsel:
- case e_rssel:
- case e_rdsel:
- case e_rrsel:
- case e_fsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
- case 32:
- UNDEFINED;
- final_type = base_type;
- break;
+
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
+
case R_HPPA_PCREL_CALL:
switch (format)
{
- case 11:
- switch (field)
- {
- case e_rsel:
- final_type = R_HPPA_PCREL_CALL_R11;
- break;
- case e_rssel:
- final_type = R_HPPA_PCREL_CALL_RS11;
- break;
- case e_rdsel:
- final_type = R_HPPA_PCREL_CALL_RD11;
- break;
- case e_fsel:
- final_type = R_HPPA_PCREL_CALL_11;
- break;
- case e_lsel:
- case e_lrsel:
- case e_lssel:
- case e_rrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 12:
- UNDEFINED;
- final_type = base_type;
- break;
case 14:
switch (field)
{
case e_rsel:
- final_type = R_HPPA_PCREL_CALL_R14;
- break;
- case e_rssel:
- final_type = R_HPPA_PCREL_CALL_RS14;
- break;
- case e_rdsel:
- final_type = R_HPPA_PCREL_CALL_RD14;
- break;
case e_rrsel:
- final_type = R_HPPA_PCREL_CALL_RR14;
+ final_type = R_PARISC_PCREL14R;
break;
case e_fsel:
- final_type = R_HPPA_PCREL_CALL_14;
+ final_type = R_PARISC_PCREL14F;
break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
case 17:
switch (field)
{
case e_rsel:
- final_type = R_HPPA_PCREL_CALL_R17;
- break;
- case e_rssel:
- final_type = R_HPPA_PCREL_CALL_RS17;
- break;
- case e_rdsel:
- final_type = R_HPPA_PCREL_CALL_RD17;
- break;
case e_rrsel:
- final_type = R_HPPA_PCREL_CALL_RR17;
+ final_type = R_PARISC_PCREL17R;
break;
case e_fsel:
- final_type = R_HPPA_PCREL_CALL_17;
+ final_type = R_PARISC_PCREL17F;
break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
+
case 21:
switch (field)
{
case e_lsel:
- final_type = R_HPPA_PCREL_CALL_L21;
- break;
- case e_lssel:
- final_type = R_HPPA_PCREL_CALL_LS21;
- break;
- case e_ldsel:
- final_type = R_HPPA_PCREL_CALL_LD21;
- break;
case e_lrsel:
- final_type = R_HPPA_PCREL_CALL_LR21;
+ final_type = R_PARISC_PCREL21L;
break;
- case e_rsel:
- case e_rssel:
- case e_rdsel:
- case e_rrsel:
- case e_fsel:
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
- case 32:
- UNDEFINED;
- final_type = base_type;
- break;
+
default:
- UNDEFINED;
- final_type = base_type;
+ abort ();
break;
}
break;
- case R_HPPA_PLABEL:
- switch (format)
- {
- case 11:
- switch (field)
- {
- case e_fsel:
- final_type = R_HPPA_PLABEL_11;
- break;
- case e_rsel:
- final_type = R_HPPA_PLABEL_R11;
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 14:
- switch (field)
- {
- case e_fsel:
- final_type = R_HPPA_PLABEL_14;
- break;
- case e_rsel:
- final_type = R_HPPA_PLABEL_R14;
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 21:
- switch (field)
- {
- case e_lsel:
- final_type = R_HPPA_PLABEL_L21;
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 32:
- switch (field)
- {
- case e_fsel:
- final_type = R_HPPA_PLABEL_32;
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- case R_HPPA_ABS_CALL:
- switch (format)
- {
- case 11:
- switch (field)
- {
- case e_rsel:
- final_type = R_HPPA_ABS_CALL_R11;
- break;
- case e_rssel:
- final_type = R_HPPA_ABS_CALL_RS11;
- break;
- case e_rdsel:
- final_type = R_HPPA_ABS_CALL_RD11;
- break;
- case e_fsel:
- final_type = R_HPPA_ABS_CALL_11;
- break;
- case e_lsel:
- case e_lrsel:
- case e_lssel:
- case e_rrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 12:
- UNDEFINED;
- final_type = base_type;
- break;
- case 14:
- switch (field)
- {
- case e_rsel:
- final_type = R_HPPA_ABS_CALL_R14;
- break;
- case e_rssel:
- final_type = R_HPPA_ABS_CALL_RS14;
- break;
- case e_rdsel:
- final_type = R_HPPA_ABS_CALL_RD14;
- break;
- case e_rrsel:
- final_type = R_HPPA_ABS_CALL_RR14;
- break;
- case e_fsel:
- final_type = R_HPPA_ABS_CALL_14;
- break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 17:
- switch (field)
- {
- case e_rsel:
- final_type = R_HPPA_ABS_CALL_R17;
- break;
- case e_rssel:
- final_type = R_HPPA_ABS_CALL_RS17;
- break;
- case e_rdsel:
- final_type = R_HPPA_ABS_CALL_RD17;
- break;
- case e_rrsel:
- final_type = R_HPPA_ABS_CALL_RR17;
- break;
- case e_fsel:
- final_type = R_HPPA_ABS_CALL_17;
- break;
- case e_lsel:
- case e_lssel:
- case e_ldsel:
- case e_lrsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 21:
- switch (field)
- {
- case e_lsel:
- final_type = R_HPPA_ABS_CALL_L21;
- break;
- case e_lssel:
- final_type = R_HPPA_ABS_CALL_LS21;
- break;
- case e_ldsel:
- final_type = R_HPPA_ABS_CALL_LD21;
- break;
- case e_lrsel:
- final_type = R_HPPA_ABS_CALL_LR21;
- break;
- case e_rsel:
- case e_rssel:
- case e_rdsel:
- case e_rrsel:
- case e_fsel:
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case 32:
- UNDEFINED;
- final_type = base_type;
- break;
- default:
- UNDEFINED;
- final_type = base_type;
- break;
- }
- break;
- case R_HPPA_UNWIND:
- final_type = R_HPPA_UNWIND_ENTRY;
- break;
- case R_HPPA_COMPLEX:
- case R_HPPA_COMPLEX_PCREL_CALL:
- case R_HPPA_COMPLEX_ABS_CALL:
- final_types = (elf32_hppa_reloc_type **) bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type *) * 6);
- BFD_ASSERT (final_types != 0);
-
- finaltype = (elf32_hppa_reloc_type *) bfd_alloc_by_size_t (abfd, sizeof (elf32_hppa_reloc_type) * 5);
- BFD_ASSERT (finaltype != 0);
-
- for (i = 0; i < 5; i++)
- final_types[i] = &finaltype[i];
-
- final_types[5] = NULL;
-
- finaltype[0] = R_HPPA_PUSH_SYM;
-
- if (base_type == R_HPPA_COMPLEX)
- finaltype[1] = R_HPPA_PUSH_SYM;
- else if (base_type == R_HPPA_COMPLEX_PCREL_CALL)
- finaltype[1] = R_HPPA_PUSH_PCREL_CALL;
- else /* base_type == R_HPPA_COMPLEX_ABS_CALL */
- finaltype[1] = R_HPPA_PUSH_ABS_CALL;
-
- finaltype[2] = R_HPPA_SUB;
-
- switch (field)
- {
- case e_fsel:
- finaltype[3] = R_HPPA_EXPR_F;
- break;
- case e_lsel:
- finaltype[3] = R_HPPA_EXPR_L;
- break;
- case e_rsel:
- finaltype[3] = R_HPPA_EXPR_R;
- break;
- case e_lssel:
- finaltype[3] = R_HPPA_EXPR_LS;
- break;
- case e_rssel:
- finaltype[3] = R_HPPA_EXPR_RS;
- break;
- case e_ldsel:
- finaltype[3] = R_HPPA_EXPR_LD;
- break;
- case e_rdsel:
- finaltype[3] = R_HPPA_EXPR_RD;
- break;
- case e_lrsel:
- finaltype[3] = R_HPPA_EXPR_LR;
- break;
- case e_rrsel:
- finaltype[3] = R_HPPA_EXPR_RR;
- break;
- }
-
- switch (format)
- {
- case 11:
- finaltype[4] = R_HPPA_EXPR_11;
- break;
- case 12:
- finaltype[4] = R_HPPA_EXPR_12;
- break;
- case 14:
- finaltype[4] = R_HPPA_EXPR_14;
- break;
- case 17:
- finaltype[4] = R_HPPA_EXPR_17;
- break;
- case 21:
- finaltype[4] = R_HPPA_EXPR_21;
- break;
- case 32:
- finaltype[4] = R_HPPA_EXPR_32;
- break;
- }
-
- break;
default:
- final_type = base_type;
+ abort ();
break;
}
#undef final_type
-/* 12.4.4. Derive format from instruction */
-
-/* Given a machine instruction, this function determines its format. */
-/* The format can be determined solely from looking at the first six */
-/* bits (the major opcode) of the instruction. Several major opcodes */
-/* map to the same format. Opcodes which do not map to a known format */
-/* should probably be reported as an error. */
-unsigned char
-hppa_elf_insn2fmt (type, insn)
- elf32_hppa_reloc_type type;
- unsigned long insn;
-{
- unsigned char fmt = 0; /* XXX: is this a proper default? */
- unsigned char op = get_opcode (insn);
-
- if (type == R_HPPA_NONE)
- fmt = 0;
- else
- {
- switch (op)
- {
- case ADDI:
- case ADDIT:
- case SUBI:
- fmt = 11;
- break;
- case MOVB:
- case MOVIB:
- case COMBT:
- case COMBF:
- case COMIBT:
- case COMIBF:
- case ADDBT:
- case ADDBF:
- case ADDIBT:
- case ADDIBF:
- case BVB:
- case BB:
- fmt = 12;
- break;
- case LDO:
- case LDB:
- case LDH:
- case LDW:
- case LDWM:
- case STB:
- case STH:
- case STW:
- case STWM:
- fmt = 14;
- break;
- case BL:
- case BE:
- case BLE:
- fmt = 17;
- break;
- case LDIL:
- case ADDIL:
- fmt = 21;
- break;
- default:
- fmt = 32;
- break;
- }
-
- }
- return fmt;
-}
-
-/* this function is in charge of performing all the HP PA relocations */
-static long global_value = 0;
-static long GOT_value = 0; /* XXX: need to calculate this! For HPUX, GOT == DP */
-static asymbol *global_symbol = (asymbol *) NULL;
+/* Actually perform a relocation. */
static bfd_reloc_status_type
-DEFUN (hppa_elf_reloc, (abfd, reloc_entry, symbol_in, data, input_section, output_bfd),
- bfd * abfd AND
- arelent * reloc_entry AND
- asymbol * symbol_in AND
- PTR data AND
- asection * input_section AND
- bfd * output_bfd)
+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; /*+ input_section->vma*/
- bfd_byte *hit_data = addr + (bfd_byte *) (data);
- unsigned short r_type = reloc_entry->howto->type & 0xFF;
- unsigned short r_field = e_fsel;
+ 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;
-
- /* howto->bitsize contains the format (11, 14, 21, etc) information */
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)
{
- /* Partial linking - do nothing */
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;
- /* Check for stubs that might be required. */
- /* symbol_in = hppa_elf_stub_check (abfd, input_section->output_section->owner, reloc_entry); */
-
+ /* Get the final relocated value. */
sym_value = get_symbol_value (symbol_in);
- /* compute value of $global$ if it is there. */
+ /* 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.
- if (global_symbol == (asymbol *) NULL)
+ 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)
{
- struct elf32_backend_data *bed
- = (struct elf32_backend_data *) abfd->xvec->backend_data;
-
- if (bed && bed->global_sym)
+ if (global_symbol)
{
- asymbol *gsym = &bed->global_sym->symbol;
- global_value
- = gsym->value
- + gsym->section->output_section->vma
- + gsym->section->output_offset;
- GOT_value = global_value; /* XXX: For HP-UX, GOT==DP */
- global_symbol = gsym;
+ 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 */
+ /* Get the instruction word. */
insn = bfd_get_32 (abfd, hit_data);
- /* relocate the value based on the relocation type */
-
- /* basic_type_1: relocation is relative to $global$ */
- /* basic_type_2: relocation is relative to the current GOT */
- /* basic_type_3: relocation is an absolute call */
- /* basic_type_4: relocation is an PC-relative call */
- /* basic_type_5: relocation is plabel reference */
- /* basic_type_6: relocation is an unwind table relocation */
- /* extended_type: unimplemented */
-
switch (r_type)
{
- case R_HPPA_NONE:
+ case R_PARISC_NONE:
break;
- case R_HPPA_32: /* Symbol + Addend 32 */
- r_field = e_fsel;
- goto do_basic_type_1;
- case R_HPPA_11: /* Symbol + Addend 11 */
- r_field = e_fsel;
- goto do_basic_type_1;
- case R_HPPA_14: /* Symbol + Addend 14 */
- r_field = e_fsel;
- goto do_basic_type_1;
- case R_HPPA_17: /* Symbol + Addend 17 */
+
+ 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_HPPA_L21: /* L (Symbol, Addend) 21 */
- r_field = e_lsel;
- goto do_basic_type_1;
- case R_HPPA_R11: /* R (Symbol, Addend) 11 */
- r_field = e_rsel;
- goto do_basic_type_1;
- case R_HPPA_R14: /* R (Symbol, Addend) 14 */
- r_field = e_rsel;
- goto do_basic_type_1;
- case R_HPPA_R17: /* R (Symbol, Addend) 17 */
- r_field = e_rsel;
- goto do_basic_type_1;
- case R_HPPA_LS21: /* LS(Symbol, Addend) 21 */
- r_field = e_lssel;
- goto do_basic_type_1;
- case R_HPPA_RS11: /* RS(Symbol, Addend) 11 */
- r_field = e_rssel;
- goto do_basic_type_1;
- case R_HPPA_RS14: /* RS(Symbol, Addend) 14 */
- r_field = e_rssel;
- goto do_basic_type_1;
- case R_HPPA_RS17: /* RS(Symbol, Addend) 17 */
- r_field = e_ldsel;
- goto do_basic_type_1;
- case R_HPPA_LD21: /* LD(Symbol, Addend) 21 */
- r_field = e_ldsel;
- goto do_basic_type_1;
- case R_HPPA_RD11: /* RD(Symbol, Addend) 11 */
- r_field = e_rdsel;
- goto do_basic_type_1;
- case R_HPPA_RD14: /* RD(Symbol, Addend) 14 */
- r_field = e_rdsel;
- goto do_basic_type_1;
- case R_HPPA_RD17: /* RD(Symbol, Addend) 17 */
- r_field = e_rdsel;
- goto do_basic_type_1;
- case R_HPPA_LR21: /* LR(Symbol, Addend) 21 */
+ case R_PARISC_DIR21L:
+ case R_PARISC_PCREL21L:
+ case R_PARISC_PLABEL21L:
r_field = e_lrsel;
goto do_basic_type_1;
- case R_HPPA_RR14: /* RR(Symbol, Addend) 14 */
+ 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_HPPA_RR17: /* RR(Symbol, Addend) 17 */
- r_field = e_rrsel;
- do_basic_type_1:
- insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
- break;
-
- case R_HPPA_GOTOFF_11: /* Symbol - GOT + Addend 11 */
- r_field = e_fsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_14: /* Symbol - GOT + Addend 14 */
- r_field = e_fsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_L21: /* L (Sym - GOT, Addend) 21 */
- r_field = e_lsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_R11: /* R (Sym - GOT, Addend) 11 */
- r_field = e_rsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_R14: /* R (Sym - GOT, Addend) 14 */
- r_field = e_rsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_LS21: /* LS(Sym - GOT, Addend) 21 */
- r_field = e_lssel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_RS11: /* RS(Sym - GOT, Addend) 11 */
- r_field = e_rssel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_RS14: /* RS(Sym - GOT, Addend) 14 */
- r_field = e_rssel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_LD21: /* LD(Sym - GOT, Addend) 21 */
- r_field = e_ldsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_RD11: /* RD(Sym - GOT, Addend) 11 */
- r_field = e_rdsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_RD14: /* RD(Sym - GOT, Addend) 14 */
- r_field = e_rdsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_LR21: /* LR(Sym - GOT, Addend) 21 */
+ case R_PARISC_DPREL21L:
r_field = e_lrsel;
- goto do_basic_type_2;
- case R_HPPA_GOTOFF_RR14: /* RR(Sym - GOT, Addend) 14 */
+ sym_value -= GOT_value;
+ goto do_basic_type_1;
+ case R_PARISC_DPREL14R:
r_field = e_rrsel;
- do_basic_type_2:
sym_value -= GOT_value;
- insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
- break;
-
- case R_HPPA_ABS_CALL_11: /* Symbol + Addend 11 */
- r_field = e_fsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_14: /* Symbol + Addend 14 */
- r_field = e_fsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_17: /* Symbol + Addend 17 */
+ goto do_basic_type_1;
+ case R_PARISC_DPREL14F:
r_field = e_fsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_L21: /* L (Symbol, Addend) 21 */
- r_field = e_lsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_R11: /* R (Symbol, Addend) 11 */
- r_field = e_rsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_R14: /* R (Symbol, Addend) 14 */
- r_field = e_rsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_R17: /* R (Symbol, Addend) 17 */
- r_field = e_rsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_LS21: /* LS(Symbol, Addend) 21 */
- r_field = e_lssel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RS11: /* RS(Symbol, Addend) 11 */
- r_field = e_lssel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RS14: /* RS(Symbol, Addend) 14 */
- r_field = e_rssel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RS17: /* RS(Symbol, Addend) 17 */
- r_field = e_rssel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_LD21: /* LD(Symbol, Addend) 21 */
- r_field = e_ldsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RD11: /* RD(Symbol, Addend) 11 */
- r_field = e_rdsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RD14: /* RD(Symbol, Addend) 14 */
- r_field = e_rdsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RD17: /* RD(Symbol, Addend) 17 */
- r_field = e_rdsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_LR21: /* LR(Symbol, Addend) 21 */
- r_field = e_lrsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RR14: /* RR(Symbol, Addend) 14 */
- r_field = e_rrsel;
- goto do_basic_type_3;
- case R_HPPA_ABS_CALL_RR17: /* RR(Symbol, Addend) 17 */
- r_field = e_rrsel;
- do_basic_type_3:
- insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
- break;
+ sym_value -= GOT_value;
+ goto do_basic_type_1;
- case R_HPPA_PCREL_CALL_11: /* Symbol - PC + Addend 11 */
- r_field = e_fsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_14: /* Symbol - PC + Addend 14 */
- r_field = e_fsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_17: /* Symbol - PC + Addend 17 */
- r_field = e_fsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_L21:/* L (Symbol - PC, Addend) 21 */
- r_field = e_lsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_R11:/* R (Symbol - PC, Addend) 11 */
- r_field = e_rsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_R14:/* R (Symbol - PC, Addend) 14 */
- r_field = e_rsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_R17:/* R (Symbol - PC, Addend) 17 */
- r_field = e_rsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_LS21: /* LS(Symbol - PC, Addend) 21 */
- r_field = e_lssel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RS11: /* RS(Symbol - PC, Addend) 11 */
- r_field = e_rssel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RS14: /* RS(Symbol - PC, Addend) 14 */
- r_field = e_rssel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RS17: /* RS(Symbol - PC, Addend) 17 */
- r_field = e_rssel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_LD21: /* LD(Symbol - PC, Addend) 21 */
- r_field = e_ldsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RD11: /* RD(Symbol - PC, Addend) 11 */
- r_field = e_rdsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RD14: /* RD(Symbol - PC, Addend) 14 */
- r_field = e_rdsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RD17: /* RD(Symbol - PC, Addend) 17 */
- r_field = e_rdsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_LR21: /* LR(Symbol - PC, Addend) 21 */
- r_field = e_lrsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RR14: /* RR(Symbol - PC, Addend) 14 */
- r_field = e_rrsel;
- goto do_basic_type_4;
- case R_HPPA_PCREL_CALL_RR17: /* RR(Symbol - PC, Addend) 17 *//* #69 */
- r_field = e_rrsel;
- do_basic_type_4:
- insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
- break;
- case R_HPPA_PLABEL_32:
- case R_HPPA_PLABEL_11:
- case R_HPPA_PLABEL_14:
- r_field = e_fsel;
- goto do_basic_type_5;
- case R_HPPA_PLABEL_L21:
- r_field = e_lsel;
- goto do_basic_type_5;
- case R_HPPA_PLABEL_R11:
- case R_HPPA_PLABEL_R14:
- r_field = e_rsel;
- do_basic_type_5:
+do_basic_type_1:
insn = hppa_elf_relocate_insn (abfd, input_section, insn, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
+ sym_value, r_addend, r_format,
+ r_field, r_pcrel);
break;
- case R_HPPA_UNWIND_ENTRY:
- case R_HPPA_UNWIND_ENTRIES:
- hppa_elf_relocate_unwind_table (abfd, input_section, data, addr,
- symbol_in, sym_value, r_addend,
- r_type, r_format, r_field, r_pcrel);
- return (bfd_reloc_ok);
-
- case R_HPPA_PUSH_CONST: /* push Addend - - */
- case R_HPPA_PUSH_PC: /* push PC + Addend - - */
- case R_HPPA_PUSH_SYM: /* push Symbol + Addend - - */
- case R_HPPA_PUSH_GOTOFF: /* push Symbol - GOT + Addend - - */
- case R_HPPA_PUSH_ABS_CALL: /* push Symbol + Addend - - */
- case R_HPPA_PUSH_PCREL_CALL: /* push Symbol - PC + Addend - - */
- case R_HPPA_PUSH_PLABEL: /* [TBD] - - */
- case R_HPPA_MAX: /* pop A and B, push max(B,A) - - */
- case R_HPPA_MIN: /* pop A and B, push min(B,A) - - */
- case R_HPPA_ADD: /* pop A and B, push B + A - - */
- case R_HPPA_SUB: /* pop A and B, push B - A - - */
- case R_HPPA_MULT: /* pop A and B, push B * A - - */
- case R_HPPA_DIV: /* pop A and B, push B / A - - */
- case R_HPPA_MOD: /* pop A and B, push B % A - - */
- case R_HPPA_AND: /* pop A and B, push B & A - - */
- case R_HPPA_OR: /* pop A and B, push B | A - - */
- case R_HPPA_XOR: /* pop A and B, push B ^ A - - */
- case R_HPPA_NOT: /* pop A, push ~A - - */
- case R_HPPA_LSHIFT: /* pop A, push A << Addend - - */
- case R_HPPA_ARITH_RSHIFT: /* pop A, push A >> Addend - - */
- case R_HPPA_LOGIC_RSHIFT: /* pop A, push A >> Addend - - */
- case R_HPPA_EXPR_F: /* pop A, push A + Addend L - */
- case R_HPPA_EXPR_L: /* pop A, push L(A,Addend) L - */
- case R_HPPA_EXPR_R: /* pop A, push R(A,Addend) R - */
- case R_HPPA_EXPR_LS: /* pop A, push LS(A,Addend) LS - */
- case R_HPPA_EXPR_RS: /* pop A, push RS(A,Addend) RS - */
- case R_HPPA_EXPR_LD: /* pop A, push LD(A,Addend) LD - */
- case R_HPPA_EXPR_RD: /* pop A, push RD(A,Addend) RD - */
- case R_HPPA_EXPR_LR: /* pop A, push LR(A,Addend) LR - */
- case R_HPPA_EXPR_RR: /* pop A, push RR(A,Addend) RR - */
-
- case R_HPPA_EXPR_32: /* pop - 32 */
- case R_HPPA_EXPR_21: /* pop - 21 */
- case R_HPPA_EXPR_11: /* pop - 11 */
- case R_HPPA_EXPR_14: /* pop - 14 */
- case R_HPPA_EXPR_17: /* pop - 17 */
- case R_HPPA_EXPR_12: /* pop - 12 */
- fprintf (stderr, "Relocation problem: ");
- fprintf (stderr, "Unimplemented reloc type %d, in module %s\n",
- r_type, abfd->filename);
- return (bfd_reloc_notsupported);
+
+ /* 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:
- fprintf (stderr, "Relocation problem : ");
- fprintf (stderr, "Unrecognized reloc type %d, in module %s\n",
- r_type, abfd->filename);
- return (bfd_reloc_dangerous);
+ *error_message = (char *) "Unrecognized reloc";
+ return bfd_reloc_notsupported;
}
- /* update the instruction word */
+ /* 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;
}
-struct elf_reloc_map
- {
- unsigned char bfd_reloc_val;
- unsigned char elf_reloc_val;
- };
+/* Return true if SYM represents a local label symbol. */
-static CONST struct elf_reloc_map elf_hppa_reloc_map[] =
+static boolean
+hppa_elf_is_local_label (abfd, sym)
+ bfd *abfd;
+ asymbol *sym;
{
- {BFD_RELOC_NONE, R_HPPA_NONE,},
- {BFD_RELOC_HPPA_32, R_HPPA_32,},
- {BFD_RELOC_HPPA_11, R_HPPA_11,},
- {BFD_RELOC_HPPA_14, R_HPPA_14,},
- {BFD_RELOC_HPPA_17, R_HPPA_17,},
- {BFD_RELOC_HPPA_L21, R_HPPA_L21,},
- {BFD_RELOC_HPPA_R11, R_HPPA_R11,},
- {BFD_RELOC_HPPA_R14, R_HPPA_R14,},
- {BFD_RELOC_HPPA_R17, R_HPPA_R17,},
- {BFD_RELOC_HPPA_LS21, R_HPPA_LS21,},
- {BFD_RELOC_HPPA_RS11, R_HPPA_RS11,},
- {BFD_RELOC_HPPA_RS14, R_HPPA_RS14,},
- {BFD_RELOC_HPPA_RS17, R_HPPA_RS17,},
- {BFD_RELOC_HPPA_LD21, R_HPPA_LD21,},
- {BFD_RELOC_HPPA_RD11, R_HPPA_RD11,},
- {BFD_RELOC_HPPA_RD14, R_HPPA_RD14,},
- {BFD_RELOC_HPPA_RD17, R_HPPA_RD17,},
- {BFD_RELOC_HPPA_LR21, R_HPPA_LR21,},
- {BFD_RELOC_HPPA_RR14, R_HPPA_RR14,},
- {BFD_RELOC_HPPA_RR17, R_HPPA_RR17,},
- {BFD_RELOC_HPPA_GOTOFF_11, R_HPPA_GOTOFF_11,},
- {BFD_RELOC_HPPA_GOTOFF_14, R_HPPA_GOTOFF_14,},
- {BFD_RELOC_HPPA_GOTOFF_L21, R_HPPA_GOTOFF_L21,},
- {BFD_RELOC_HPPA_GOTOFF_R11, R_HPPA_GOTOFF_R11,},
- {BFD_RELOC_HPPA_GOTOFF_R14, R_HPPA_GOTOFF_R14,},
- {BFD_RELOC_HPPA_GOTOFF_LS21, R_HPPA_GOTOFF_LS21,},
- {BFD_RELOC_HPPA_GOTOFF_RS11, R_HPPA_GOTOFF_RS11,},
- {BFD_RELOC_HPPA_GOTOFF_RS14, R_HPPA_GOTOFF_RS14,},
- {BFD_RELOC_HPPA_GOTOFF_LD21, R_HPPA_GOTOFF_LD21,},
- {BFD_RELOC_HPPA_GOTOFF_RD11, R_HPPA_GOTOFF_RD11,},
- {BFD_RELOC_HPPA_GOTOFF_RD14, R_HPPA_GOTOFF_RD14,},
- {BFD_RELOC_HPPA_GOTOFF_LR21, R_HPPA_GOTOFF_LR21,},
- {BFD_RELOC_HPPA_GOTOFF_RR14, R_HPPA_GOTOFF_RR14,},
- {BFD_RELOC_HPPA_ABS_CALL_11, R_HPPA_ABS_CALL_11,},
- {BFD_RELOC_HPPA_ABS_CALL_14, R_HPPA_ABS_CALL_14,},
- {BFD_RELOC_HPPA_ABS_CALL_17, R_HPPA_ABS_CALL_17,},
- {BFD_RELOC_HPPA_ABS_CALL_L21, R_HPPA_ABS_CALL_L21,},
- {BFD_RELOC_HPPA_ABS_CALL_R11, R_HPPA_ABS_CALL_R11,},
- {BFD_RELOC_HPPA_ABS_CALL_R14, R_HPPA_ABS_CALL_R14,},
- {BFD_RELOC_HPPA_ABS_CALL_R17, R_HPPA_ABS_CALL_R17,},
- {BFD_RELOC_HPPA_ABS_CALL_LS21, R_HPPA_ABS_CALL_LS21,},
- {BFD_RELOC_HPPA_ABS_CALL_RS11, R_HPPA_ABS_CALL_RS11,},
- {BFD_RELOC_HPPA_ABS_CALL_RS14, R_HPPA_ABS_CALL_RS14,},
- {BFD_RELOC_HPPA_ABS_CALL_RS17, R_HPPA_ABS_CALL_RS17,},
- {BFD_RELOC_HPPA_ABS_CALL_LD21, R_HPPA_ABS_CALL_LD21,},
- {BFD_RELOC_HPPA_ABS_CALL_RD11, R_HPPA_ABS_CALL_RD11,},
- {BFD_RELOC_HPPA_ABS_CALL_RD14, R_HPPA_ABS_CALL_RD14,},
- {BFD_RELOC_HPPA_ABS_CALL_RD17, R_HPPA_ABS_CALL_RD17,},
- {BFD_RELOC_HPPA_ABS_CALL_LR21, R_HPPA_ABS_CALL_LR21,},
- {BFD_RELOC_HPPA_ABS_CALL_RR14, R_HPPA_ABS_CALL_RR14,},
- {BFD_RELOC_HPPA_ABS_CALL_RR17, R_HPPA_ABS_CALL_RR17,},
- {BFD_RELOC_HPPA_PCREL_CALL_11, R_HPPA_PCREL_CALL_11,},
- {BFD_RELOC_HPPA_PCREL_CALL_14, R_HPPA_PCREL_CALL_14,},
- {BFD_RELOC_HPPA_PCREL_CALL_17, R_HPPA_PCREL_CALL_17,},
- {BFD_RELOC_HPPA_PCREL_CALL_12, R_HPPA_PCREL_CALL_12,},
- {BFD_RELOC_HPPA_PCREL_CALL_L21, R_HPPA_PCREL_CALL_L21,},
- {BFD_RELOC_HPPA_PCREL_CALL_R11, R_HPPA_PCREL_CALL_R11,},
- {BFD_RELOC_HPPA_PCREL_CALL_R14, R_HPPA_PCREL_CALL_R14,},
- {BFD_RELOC_HPPA_PCREL_CALL_R17, R_HPPA_PCREL_CALL_R17,},
- {BFD_RELOC_HPPA_PCREL_CALL_LS21, R_HPPA_PCREL_CALL_LS21,},
- {BFD_RELOC_HPPA_PCREL_CALL_RS11, R_HPPA_PCREL_CALL_RS11,},
- {BFD_RELOC_HPPA_PCREL_CALL_RS14, R_HPPA_PCREL_CALL_RS14,},
- {BFD_RELOC_HPPA_PCREL_CALL_RS17, R_HPPA_PCREL_CALL_RS17,},
- {BFD_RELOC_HPPA_PCREL_CALL_LD21, R_HPPA_PCREL_CALL_LD21,},
- {BFD_RELOC_HPPA_PCREL_CALL_RD11, R_HPPA_PCREL_CALL_RD11,},
- {BFD_RELOC_HPPA_PCREL_CALL_RD14, R_HPPA_PCREL_CALL_RD14,},
- {BFD_RELOC_HPPA_PCREL_CALL_RD17, R_HPPA_PCREL_CALL_RD17,},
- {BFD_RELOC_HPPA_PCREL_CALL_LR21, R_HPPA_PCREL_CALL_LR21,},
- {BFD_RELOC_HPPA_PCREL_CALL_RR14, R_HPPA_PCREL_CALL_RR14,},
- {BFD_RELOC_HPPA_PCREL_CALL_RR17, R_HPPA_PCREL_CALL_RR17,},
- {BFD_RELOC_HPPA_PLABEL_32, R_HPPA_PLABEL_32,},
- {BFD_RELOC_HPPA_PLABEL_11, R_HPPA_PLABEL_11,},
- {BFD_RELOC_HPPA_PLABEL_14, R_HPPA_PLABEL_14,},
- {BFD_RELOC_HPPA_PLABEL_L21, R_HPPA_PLABEL_L21,},
- {BFD_RELOC_HPPA_PLABEL_R11, R_HPPA_PLABEL_R11,},
- {BFD_RELOC_HPPA_PLABEL_R14, R_HPPA_PLABEL_R14,},
- {BFD_RELOC_HPPA_DLT_32, R_HPPA_DLT_32,},
- {BFD_RELOC_HPPA_DLT_11, R_HPPA_DLT_11,},
- {BFD_RELOC_HPPA_DLT_14, R_HPPA_DLT_14,},
- {BFD_RELOC_HPPA_DLT_L21, R_HPPA_DLT_L21,},
- {BFD_RELOC_HPPA_DLT_R11, R_HPPA_DLT_R11,},
- {BFD_RELOC_HPPA_DLT_R14, R_HPPA_DLT_R14,},
- {BFD_RELOC_HPPA_UNWIND_ENTRY, R_HPPA_UNWIND_ENTRY,},
- {BFD_RELOC_HPPA_UNWIND_ENTRIES, R_HPPA_UNWIND_ENTRIES,},
-};
+ return (sym->name[0] == 'L' && sym->name[1] == '$');
+}
-static reloc_howto_type *
-elf_hppa_reloc_type_lookup (arch, code)
- bfd_arch_info_type *arch;
- bfd_reloc_code_real_type code;
+/* 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;
- if ((int) code < (int) R_HPPA_UNIMPLEMENTED)
+ /* Look at each symbol, and determine if it will need an entry in
+ the symbol extension section. */
+ for (i = 0; i < abfd->symcount; i++)
{
- BFD_ASSERT ((int) elf_hppa_howto_table[(int) code].type == (int) code);
- return &elf_hppa_howto_table[(int) code];
+ 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);
}
- return (reloc_howto_type *) 0;
-}
+ /* 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);
+ }
-#define bfd_elf32_bfd_reloc_type_lookup elf_hppa_reloc_type_lookup
+}
+/* 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. */
-void
-DEFUN (elf_hppa_tc_symbol, (abfd, symbolP, sym_idx),
- bfd * abfd AND
- elf32_symbol_type * symbolP AND
- int sym_idx)
+static void
+elf32_hppa_backend_final_write_processing (abfd)
+ bfd *abfd;
{
- symext_chainS *symextP;
- unsigned int arg_reloc;
+ asection *symextn_sec;
+ int i, *symtab_map = (int *) elf_sym_extra (abfd);
- if (!(symbolP->symbol.flags & BSF_FUNCTION))
- return;
+ /* Now build the symbol extension section. */
+ if (symext_chain_size == 0)
+ return;
- if (!((symbolP->symbol.flags & BSF_EXPORT) ||
- (symbolP->symbol.flags & BSF_GLOBAL)))
- 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);
+ }
- arg_reloc = symbolP->tc_data.hppa_arg_reloc;
+ /* 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_HPPA_SX_WORD (HPPA_SXT_SYMNDX, sym_idx);
+ symextP[0].entry = ELF32_PARISC_SX_WORD (PARISC_SXT_SYMNDX, sym_idx);
symextP[0].next = &symextP[1];
- symextP[1].entry = ELF32_HPPA_SX_WORD (HPPA_SXT_ARG_RELOC, arg_reloc);
+ symextP[1].entry = ELF32_PARISC_SX_WORD (PARISC_SXT_ARG_RELOC, arg_reloc);
symextP[1].next = NULL;
- if (symext_rootP == NULL)
+ /* Now update the chain itself so it can be walked later to build
+ the symbol extension section. */
+ if (*symext_root == NULL)
{
- symext_rootP = &symextP[0];
- symext_lastP = &symextP[1];
+ *symext_root = &symextP[0];
+ *symext_last = &symextP[1];
}
else
{
- symext_lastP->next = &symextP[0];
- symext_lastP = &symextP[1];
+ (*symext_last)->next = &symextP[0];
+ *symext_last = &symextP[1];
}
}
-static symext_entryS *symextn_contents = NULL;
-static unsigned int symextn_contents_real_size = 0;
+/* Build the symbol extension section. Used internally and by GAS. */
-void
-DEFUN (elf_hppa_tc_make_sections, (abfd, ignored),
- bfd * abfd AND
- PTR ignored)
+static void
+elf_hppa_tc_make_sections (abfd, symext_root)
+ bfd *abfd;
+ symext_chainS *symext_root;
{
symext_chainS *symextP;
- symext_entryS *outbound_symexts;
- int size;
- int n;
int i;
- extern char *stub_section_contents; /* forward declaration */
- void hppa_elf_stub_finish (); /* forward declaration */
asection *symextn_sec;
+ /* FIXME: Huh? I don't see what this is supposed to do for us. */
hppa_elf_stub_finish (abfd);
- if (symext_rootP == NULL)
- return;
-
- for (n = 0, symextP = symext_rootP; symextP; symextP = symextP->next, ++n)
- ;
-
- size = sizeof (symext_entryS) * n;
symextn_sec = bfd_get_section_by_name (abfd, SYMEXTN_SECTION_NAME);
- if (symextn_sec == (asection *) 0)
+
+ /* 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)
{
- symextn_sec = bfd_make_section (abfd, SYMEXTN_SECTION_NAME);
- bfd_set_section_flags (abfd,
- symextn_sec,
- SEC_HAS_CONTENTS | SEC_LOAD | SEC_ALLOC | SEC_CODE | SEC_READONLY);
- symextn_sec->output_section = symextn_sec;
- symextn_sec->output_offset = 0;
- bfd_set_section_alignment (abfd, symextn_sec, 2);
+ bfd_set_error (bfd_error_no_memory);
+ abort(); /* FIXME */
}
- symextn_contents = (symext_entryS *) bfd_alloc (abfd, size);
- for (i = 0, symextP = symext_rootP; symextP; symextP = symextP->next, ++i)
+ /* 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;
- symextn_contents_real_size = size;
- bfd_set_section_size (abfd, symextn_sec, symextn_contents_real_size);
return;
}
-/* Support for HP PA-RISC stub generation.
-
- Written by
-
- Center for Software Science
- Department of Computer Science
- University of Utah
-
- */
-
-/*
- HP-PA calling conventions state:
-
- 1. an argument relocation stub is required whenever the callee and
- caller argument relocation bits do not match exactly. The exception
- to this rule is if either the caller or callee argument relocation
- bit are 00 (do not relocate).
-
- 2. The linker can optionally add a symbol record for the stub so that
- the stub can be reused. The symbol record will be the same as the
- original export symbol record, except that the relocation bits will
- reflect the input of the stub, the type would be STUB and the symbol
- value will be the location of the relocation stub.
-
- Other notes:
-
- Stubs can be inserted *before* the section of the caller. The stubs
- can be treated as calls to code that manipulates the arguments.
+/* Return the symbol extension record of type TYPE for the symbol SYM. */
- */
-
-typedef enum
- {
- HPPA_STUB_ILLEGAL,
- HPPA_STUB_ARG_RELOC,
- HPPA_STUB_LONG_BRANCH
- } hppa_stub_type;
-
-symext_entryS
+static symext_entryS
elf32_hppa_get_sym_extn (abfd, sym, type)
bfd *abfd;
asymbol *sym;
int type;
{
- /* This function finds the symbol extension record of the */
- /* specified type for the specified symbol. It returns the */
- /* value of the symbol extension record. */
- symext_entryS retval;
-
switch (type)
{
- case HPPA_SXT_NULL:
- retval = (symext_entryS) 0;
- break;
- case HPPA_SXT_SYMNDX:
- retval = (symext_entryS) 0; /* XXX: need to fix this */
- break;
- case HPPA_SXT_ARG_RELOC:
+ case PARISC_SXT_SYMNDX:
+ case PARISC_SXT_NULL:
+ return (symext_entryS) 0;
+ case PARISC_SXT_ARG_RELOC:
{
- elf32_symbol_type *esymP = (elf32_symbol_type *) sym;
+ elf_symbol_type *esymP = (elf_symbol_type *) sym;
- retval = (symext_entryS) esymP->tc_data.hppa_arg_reloc;
- break;
+ return (symext_entryS) esymP->tc_data.hppa_arg_reloc;
}
+ /* This should never happen. */
+ default:
+ abort();
}
- return retval;
}
+/* Search the chain of stub descriptions and locate the stub
+ description for this the given section within the given bfd.
-typedef struct Elf32_hppa_Stub_description_struct
- {
- bfd *this_bfd; /* bfd to which this stub */
- /* applies */
- asection *stub_sec; /* stub section for this bfd */
- unsigned relocs_allocated_cnt; /* count of relocations for this stub section */
- unsigned real_size;
- unsigned allocated_size;
- int *stub_secp; /* pointer to the next available location in the buffer */
- char *stub_contents; /* contents of the stubs for this bfd */
- }
-
-Elf32_hppa_Stub_description;
-
-typedef struct Elf32_hppa_Stub_list_struct
- {
- Elf32_hppa_Stub_description *stub;
- struct Elf32_hppa_Stub_list_struct *next;
- } Elf32_hppa_Stub_list;
-
-static Elf32_hppa_Stub_list *elf_hppa_stub_rootP = NULL;
+ FIXME: I see yet another wonderful linear linked list search
+ here. This is probably bad. */
-/* Locate the stub section information for the given bfd. */
-static Elf32_hppa_Stub_description *
+static elf32_hppa_stub_description *
find_stubs (abfd, stub_sec)
bfd *abfd;
asection *stub_sec;
{
- Elf32_hppa_Stub_list *stubP;
+ elf32_hppa_stub_description *stubP;
for (stubP = elf_hppa_stub_rootP; stubP; stubP = stubP->next)
{
- if (stubP->stub->this_bfd == abfd
- && stubP->stub->stub_sec == stub_sec)
- return stubP->stub;
+ /* Is this the right one? */
+ if (stubP->this_bfd == abfd && stubP->stub_sec == stub_sec)
+ return stubP;
}
-
- return (Elf32_hppa_Stub_description *) NULL;
+ return NULL;
}
-static Elf32_hppa_Stub_description *
-new_stub (abfd, stub_sec)
+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);
+ 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;
- stub = (Elf32_hppa_Stub_description *) bfd_zalloc (abfd, sizeof (Elf32_hppa_Stub_description));
- 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;
+ /* 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;
}
-static void
-add_stub (stub)
- Elf32_hppa_Stub_description *stub;
-{
- Elf32_hppa_Stub_list *new_entry;
+/* Try and locate a stub with the name NAME within the stubs
+ associated with ABFD. More linked list searches. */
- new_entry = (Elf32_hppa_Stub_list *) bfd_zalloc (stub->this_bfd, sizeof (Elf32_hppa_Stub_list));
+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 (new_entry)
+ /* If found, then we have to walk down them looking for a match. */
+ if (stub)
{
- new_entry->stub = stub;
+ elf32_hppa_stub_name_list *name_listP;
- if (elf_hppa_stub_rootP)
+ for (name_listP = stub->stub_listP;
+ name_listP;
+ name_listP = name_listP->next)
{
- new_entry->next = elf_hppa_stub_rootP;
- elf_hppa_stub_rootP = new_entry;
+ if (!strcmp (name_listP->sym->name, name))
+ return name_listP;
}
- else
- {
- new_entry->next = (Elf32_hppa_Stub_list *) NULL;
- elf_hppa_stub_rootP = new_entry;
- }
- }
- else
- {
- bfd_error = no_memory;
- bfd_perror ("add_stub");
}
-}
-#define ARGUMENTS 0
-#define RETURN_VALUE 1
-
-#define NO_ARG_RELOC 0
-#define R_TO_FR 1
-#define FR_TO_R 2
-#define ARG_RELOC_ERR 3
+ /* Not found. */
+ return 0;
+}
-#define ARG0 0
-#define ARG1 1
-#define ARG2 2
-#define ARG3 3
-#define RETVAL 4
+/* 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;
-#define AR_NO 0
-#define AR_GR 1
-#define AR_FR 2
-#define AR_FU 3
+ /* 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);
-static CONST char *CONST reloc_type_strings[] =
-{
- "NONE", "GR->FR", "FR->GR", "ERROR"
-};
+ 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));
-static CONST char mismatches[4][4] =
-{ /* CALLEE NONE CALLEE GR CALLEE FR CALLEE FU */
- /* CALLER NONE */
- {NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC},
- /* CALLER GR */
- {NO_ARG_RELOC, NO_ARG_RELOC, R_TO_FR, R_TO_FR},
- /* CALLER FR */
- {NO_ARG_RELOC, FR_TO_R, NO_ARG_RELOC, NO_ARG_RELOC},
- /* CALLER FU */
- {NO_ARG_RELOC, FR_TO_R, NO_ARG_RELOC, NO_ARG_RELOC},
-};
+ 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;
+}
-static CONST char retval_mismatches[4][4] =
-{ /* CALLEE NONE CALLEE GR CALLEE FR CALLEE FU */
- /* CALLER NONE */
- {NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC, NO_ARG_RELOC},
- /* CALLER GR */
- {NO_ARG_RELOC, NO_ARG_RELOC, R_TO_FR, R_TO_FR},
- /* CALLER FR */
- {NO_ARG_RELOC, FR_TO_R, NO_ARG_RELOC, NO_ARG_RELOC},
- /* CALLER FU */
- {NO_ARG_RELOC, FR_TO_R, NO_ARG_RELOC, NO_ARG_RELOC},
-};
+/* 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 int
+static arg_reloc_type
type_of_mismatch (caller_bits, callee_bits, type)
int caller_bits;
int callee_bits;
case RETURN_VALUE:
return retval_mismatches[caller_bits][callee_bits];
}
+ return ARG_RELOC_ERR;
+}
- return 0;
+/* 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); \
}
-#define EXTRACT_ARBITS(ar,which) ((ar) >> (8-(which*2))) & 3
+/* 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)
-#include "hppa_stubs.h"
+/* All the stubs have already been built, finish up stub stuff
+ by applying relocations to the stubs. */
-#define NEW_INSTRUCTION(desc,insn) \
- *((desc)->stub_secp)++ = (insn); \
- (desc)->real_size += sizeof(int); \
- bfd_set_section_size((desc)->this_bfd,(desc)->stub_sec,(desc)->real_size);
-
-void
+static void
hppa_elf_stub_finish (output_bfd)
bfd *output_bfd;
{
- extern bfd_error_vector_type bfd_error_vector;
- Elf32_hppa_Stub_list *stub_list = elf_hppa_stub_rootP;
- /* All the stubs have been built. Finish up building */
- /* stub section. Apply relocations to the section. */
+ 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 (stub_list->stub->real_size)
+ /* If this list has stubs, then do something. */
+ if (stub_list->real_size)
{
- bfd *stub_bfd = stub_list->stub->this_bfd;
- asection *stub_sec = bfd_get_section_by_name (stub_bfd, ".hppa_linker_stubs");
- bfd_size_type reloc_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;
- BFD_ASSERT (stub_sec == stub_list->stub->stub_sec);
- reloc_size = bfd_get_reloc_upper_bound (stub_bfd, stub_sec);
- reloc_vector = (arelent **) alloca (reloc_size);
-
+ /* Some sanity checking. */
+ BFD_ASSERT (stub_sec == stub_list->stub_sec);
BFD_ASSERT (stub_sec);
- /* We are not relaxing the section, so just copy the size info */
+ /* 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 (bfd_canonicalize_reloc (stub_bfd,
- stub_sec,
- reloc_vector,
- output_bfd->outsymbols))
+ /* 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 != (arelent *) NULL;
- 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->stub_contents,
- stub_sec, 0);
-
+ 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:
- bfd_error_vector.undefined_symbol (*parent, NULL);
+ 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:
- bfd_error_vector.reloc_dangerous (*parent, NULL);
+ if (! ((*link_info->callbacks->reloc_dangerous)
+ (link_info, err, stub_bfd, stub_sec,
+ (*parent)->address)))
+ abort ();
break;
- case bfd_reloc_outofrange:
case bfd_reloc_overflow:
- bfd_error_vector.reloc_value_truncated (*parent, NULL);
+ {
+ 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;
}
}
}
-
- bfd_set_section_contents (output_bfd,
- stub_sec,
- stub_list->stub->stub_contents,
- 0,
- stub_list->stub->real_size);
-
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;
}
-void
-hppa_elf_stub_branch_reloc (stub_desc, /* the bfd */
- output_bfd, /* the output bfd */
- stub_sym, /* the stub symbol */
- offset) /* the offset within the stub buffer (pre-calculated) */
- Elf32_hppa_Stub_description *stub_desc;
+/* 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 *stub_sym;
+ asymbol **target_sym;
int offset;
+ elf32_hppa_reloc_type type;
{
- /* Allocate a new relocation entry. */
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 *) zalloc (size);
+ 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);
+ 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 = (asymbol **) bfd_zalloc (stub_desc->this_bfd, sizeof (asymbol *));
- BFD_ASSERT (relent.sym_ptr_ptr);
-
- relent.sym_ptr_ptr[0] = stub_sym;
- relent.howto = bfd_reloc_type_lookup (stub_desc->this_bfd, R_HPPA_ABS_CALL_17);
-
- /* Save it in the array of relocations for the stub section. */
+ 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));
+ &relent, sizeof (arelent));
}
-asymbol *
-hppa_elf_build_arg_reloc_stub (abfd, output_bfd, reloc_entry, stub_types)
+/* 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;
- int stub_types[5];
+ arg_reloc_type stub_types[5];
+ int rtn_adjust;
+ unsigned *data;
+ hppa_stub_type linker_stub_type;
{
- asection *stub_sec = bfd_get_section_by_name (abfd, ".hppa_linker_stubs");
- Elf32_hppa_Stub_description *stub_desc = find_stubs (abfd, stub_sec);
- asymbol *stub_sym = NULL;
- asection *output_text_section = bfd_get_section_by_name (output_bfd, ".text");
int i;
+ boolean milli, dyncall;
char stub_sym_name[128];
-
- if (!stub_sec)
+ 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
{
- BFD_ASSERT (stub_desc == NULL);
- stub_sec = bfd_make_section (abfd, ".hppa_linker_stubs");
- bfd_set_section_flags (output_bfd,
- stub_sec,
- SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_CODE | SEC_READONLY);
- stub_sec->output_section = output_text_section->output_section;
- stub_sec->output_offset = 0;
- bfd_set_section_alignment (output_bfd, stub_sec, 2);
- stub_desc = new_stub (abfd, stub_sec);
- add_stub (stub_desc);
- }
-
- /* make sure we have a stub descriptor structure */
+ unsigned delay_insn = data[1];
- if (!stub_desc)
- {
- stub_desc = new_stub (abfd, stub_sec);
- add_stub (stub_desc);
+ if (get_opcode (delay_insn) == LDO
+ && (((insn & 0x03e00000) >> 21) == ((delay_insn & 0x001f0000) >> 16)))
+ rtn_adjust = false;
}
- /* allocate some space to write the stub */
-
- 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)
+ /* Some special code for long-call stubs. */
+ if (linker_stub_type == HPPA_STUB_LONG_CALL)
{
- 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);
+
+ /* 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;
+ }
}
- stub_desc->stub_secp = (int *) (stub_desc->stub_contents + stub_desc->real_size);
-
- /* create a symbol to point to this stub */
- stub_sym = bfd_make_empty_symbol (abfd);
- sprintf (stub_sym_name,
- "_stub_%s_%02d_%02d_%02d_%02d_%02d\000",
- reloc_entry->sym_ptr_ptr[0]->name,
- stub_types[0], stub_types[1], stub_types[2], stub_types[3], stub_types[4]);
- stub_sym->name = bfd_zalloc (output_bfd, strlen (stub_sym_name) + 1);
- strcpy ((char *) stub_sym->name, stub_sym_name);
- stub_sym->value = (int) stub_desc->stub_secp - (int) stub_desc->stub_contents;
- stub_sym->section = stub_sec;
- stub_sym->flags = BSF_LOCAL | BSF_FUNCTION;
-
- /* redirect the original relocation from the old symbol (a function) */
- /* to the stub (the stub calls the function). */
- /* XXX do we need to change the relocation type? */
- reloc_entry->sym_ptr_ptr = (asymbol **) bfd_zalloc (stub_desc->this_bfd, sizeof (asymbol *));
- reloc_entry->sym_ptr_ptr[0] = stub_sym;
-
- /* generate the beginning common section for all stubs */
-
- NEW_INSTRUCTION (stub_desc, ADDI_8_SP);
-
- /* generate the code to move the arguments around */
- for (i = ARG0; i < ARG3; i++)
+ /* Create the stub section if necessary. */
+ if (!stub_sec)
{
- if (stub_types[i] != NO_ARG_RELOC)
- {
- /* A stub is needed */
- switch (stub_types[i])
- {
- case R_TO_FR:
- switch (i)
- {
- case ARG0:
- NEW_INSTRUCTION (stub_desc, LDWS_M8SP_ARG0);
- NEW_INSTRUCTION (stub_desc, FSTWS_FARG0_M8SP);
- break;
- case ARG1:
- NEW_INSTRUCTION (stub_desc, LDWS_M8SP_ARG1);
- NEW_INSTRUCTION (stub_desc, FSTWS_FARG1_M8SP);
- break;
- case ARG2:
- NEW_INSTRUCTION (stub_desc, LDWS_M8SP_ARG1);
- NEW_INSTRUCTION (stub_desc, FSTWS_FARG1_M8SP);
- break;
- case ARG3:
- NEW_INSTRUCTION (stub_desc, LDWS_M8SP_ARG1);
- NEW_INSTRUCTION (stub_desc, FSTWS_FARG1_M8SP);
- break;
- }
- break;
+ 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);
+ }
- case FR_TO_R:
- switch (i)
- {
- case ARG0:
- NEW_INSTRUCTION (stub_desc, FLDWS_M8SP_FARG0);
- NEW_INSTRUCTION (stub_desc, STWS_ARG0_M8SP);
- break;
- case ARG1:
- NEW_INSTRUCTION (stub_desc, FLDWS_M8SP_FARG1);
- NEW_INSTRUCTION (stub_desc, STWS_ARG1_M8SP);
- break;
- case ARG2:
- NEW_INSTRUCTION (stub_desc, FLDWS_M8SP_FARG1);
- NEW_INSTRUCTION (stub_desc, STWS_ARG1_M8SP);
- break;
- case ARG3:
- NEW_INSTRUCTION (stub_desc, FLDWS_M8SP_FARG1);
- NEW_INSTRUCTION (stub_desc, STWS_ARG1_M8SP);
- break;
- }
- break;
+ /* 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);
}
- /* generate the branch to the target routine */
- NEW_INSTRUCTION (stub_desc, STW_RP_M8SP); /* First, save the return address */
- NEW_INSTRUCTION (stub_desc, BL_XXX_RP); /* set up a branch to the function */
+ /* 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 ();
+ }
- /* Fix the branch to the function. We can do this with a relocation. */
+ /* 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" : "");
- hppa_elf_stub_branch_reloc (stub_desc,
- output_bfd, /* the output bfd */
- stub_sym, /* the stub symbol */
- (int) stub_desc->stub_secp - (int) stub_desc->stub_contents - 4); /* the offset within the stub buffer */
- NEW_INSTRUCTION (stub_desc, NOP);
+ 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);
- /* generate the code to move the return value around */
- i = RETVAL;
- if (stub_types[i] != NO_ARG_RELOC)
+ /* See if we already have one by this name. */
+ if (stub_entry)
{
- /* A stub is needed */
- switch (stub_types[i])
+ /* 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)
{
- case R_TO_FR:
- NEW_INSTRUCTION (stub_desc, LDWS_M8SP_RET0);
- NEW_INSTRUCTION (stub_desc, FSTWS_FRET0_M8SP);
- break;
-
- case FR_TO_R:
- NEW_INSTRUCTION (stub_desc, FLDWS_M8SP_FRET0);
- NEW_INSTRUCTION (stub_desc, STWS_RET0_M8SP);
- break;
+ 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)
+ }
- /* generate the ending common section for all stubs */
+ /* 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;
- NEW_INSTRUCTION (stub_desc, LDW_M8SP_RP); /* restore return address */
- NEW_INSTRUCTION (stub_desc, SUBI_8_SP);
+ default:
+ abort ();
+ break;
+ }
- /* XXX: can we assume this is a save return? */
- NEW_INSTRUCTION (stub_desc, BV_N_0RP);
+ /* 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;
}
-int
-hppa_elf_arg_reloc_needed_p (abfd, reloc_entry, stub_types)
+/* 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;
- int stub_types[5];
+ arg_reloc_type stub_types[5];
+ symext_entryS caller_ar;
{
- int i;
- /* If the symbol is still undefined, there is */
- /* no way to know if a stub is required. */
-
- if (reloc_entry->sym_ptr_ptr[0] && reloc_entry->sym_ptr_ptr[0]->section != &bfd_und_section)
+ /* 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 caller_ar = (symext_entryS) ELF32_HPPA_R_ARG_RELOC (reloc_entry->addend);
symext_entryS callee_ar = elf32_hppa_get_sym_extn (abfd,
reloc_entry->sym_ptr_ptr[0],
- HPPA_SXT_ARG_RELOC);
-
- /* Now, determine if a stub is */
- /* required. A stub is required if they the callee and caller */
- /* argument relocation bits are both nonzero and not equal. */
+ 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)
{
- /* Both are non-zero, we need to do further checking. */
- /* First, check if there is a return value relocation to be done */
- int caller_loc[5];
- int callee_loc[5];
+ 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);
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. */
+ /* 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_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_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_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_FU;
+ callee_loc[ARG2] = AR_DBL23;
callee_loc[ARG3] = AR_NO;
}
- 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);
-
- /* XXX for now, just report a */
- /* warning */
-
- /* But, when we start building stubs, here are the steps involved: */
- /* 1. Determine what argument registers need to relocated. This */
- /* step is already done here. */
- /* 2. Build the appropriate stub in the .hppa_linker_stubs section. */
- /* This section should never appear in an object file. It is */
- /* only used internally. The output_section of the */
- /* .hppa_linker_stubs section is the .text section of the */
- /* executable. */
- /* 3. Build a symbol that is used (internally only) as the entry */
- /* point of the stub. */
- /* 4. Change the instruction of the original branch into a branch to */
- /* the stub routine. */
- /* 5. Build a relocation entry for the instruction of the original */
- /* branch to be R_HPPA_ABS_CALL to the stub routine. */
-
-
- if (stub_types[0]
- || stub_types[1]
- || stub_types[2]
- || stub_types[3]
- || stub_types[4])
- {
-#ifdef DETECT_STUBS
- fprintf (stderr, "Stub needed for %s @ %s+0x%x: callee/caller ar=0x%x/0x%x ",
- reloc_entry->sym_ptr_ptr[0]->name,
- abfd->filename, reloc_entry->address,
- callee_ar, caller_ar);
- for (i = ARG0; i < RETVAL; i++)
- {
- if (stub_types[i] != NO_ARG_RELOC)
- {
- fprintf (stderr, "%s%d: %s ",
- i == RETVAL ? "ret" : "arg",
- i == RETVAL ? 0 : i,
- reloc_type_strings[stub_types[i]]);
- }
- }
- fprintf (stderr, "\n");
-#endif
- return 1;
- }
-
+ /* 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;
}
-asymbol *
-hppa_elf_stub_check (abfd, output_bfd, reloc_entry)
+/* 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;
{
- int stub_types[5];
+ long sym_value = get_symbol_value (symbol);
+ int fmt = reloc_entry->howto->bitsize;
+ unsigned char op = get_opcode (insn);
+ unsigned raddr;
- switch (reloc_entry->howto->type)
- {
- case R_HPPA_ABS_CALL_11: /* Symbol + Addend 11 */
- case R_HPPA_ABS_CALL_14: /* Symbol + Addend 14 */
- case R_HPPA_ABS_CALL_17: /* Symbol + Addend 17 */
- case R_HPPA_ABS_CALL_L21: /* L (Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_R11: /* R (Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_R14: /* R (Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_R17: /* R (Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LS21: /* LS(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RS11: /* RS(Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_RS14: /* RS(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RS17: /* RS(Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LD21: /* LD(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RD11: /* RD(Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_RD14: /* RD(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RD17: /* RD(Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LR21: /* LR(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RR14: /* RR(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RR17: /* RR(Symbol, Addend) 17 */
-
- case R_HPPA_PCREL_CALL_11: /* Symbol - PC + Addend 11 */
- case R_HPPA_PCREL_CALL_14: /* Symbol - PC + Addend 14 */
- case R_HPPA_PCREL_CALL_17: /* Symbol - PC + Addend 17 */
- case R_HPPA_PCREL_CALL_12: /* Symbol - PC + Addend 12 */
- case R_HPPA_PCREL_CALL_L21:/* L (Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_R11:/* R (Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_R14:/* R (Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_R17:/* R (Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LS21: /* LS(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RS11: /* RS(Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_RS14: /* RS(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RS17: /* RS(Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LD21: /* LD(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RD11: /* RD(Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_RD14: /* RD(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RD17: /* RD(Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LR21: /* LR(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RR14: /* RR(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RR17: /* RR(Symbol - PC, Addend) 17 */
- if (hppa_elf_arg_reloc_needed_p (abfd, reloc_entry, stub_types))
- {
- /* generate a stub */
- return hppa_elf_build_arg_reloc_stub (abfd, output_bfd, reloc_entry, stub_types);
- }
- break;
+#define too_far(val,num_bits) \
+ ((int)(val) > (1 << (num_bits)) - 1) || ((int)(val) < (-1 << (num_bits)))
- default:
+ 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 reloc_entry->sym_ptr_ptr[0];
+ }
+ return 0;
}
-#define STUB_SYM_BUFFER_INC 5
+/* 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 (abfd, output_bfd, asec, syms, new_sym_cnt)
+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;
- asymbol **syms;
int *new_sym_cnt;
+ struct bfd_link_info *link_info;
{
int i;
- int stub_types[5];
- asymbol *new_syms = (asymbol *) NULL;
+ 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->orelocation || asec->relocation ) { */
+ /* 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)
{
- arelent **reloc_vector = (arelent **) alloca (asec->reloc_count * (sizeof (arelent *) + 1));
+ reloc_vector
+ = (arelent **) malloc (asec->reloc_count * (sizeof (arelent *) + 1));
+ if (reloc_vector == NULL)
+ {
+ bfd_set_error (bfd_error_no_memory);
+ goto error_return;
+ }
- bfd_canonicalize_reloc (abfd, asec, reloc_vector, syms);
- for (i = 0; i < asec->reloc_count; i++)
+ /* Make sure the canonical symbols are hanging around in a convient
+ location. */
+ if (bfd_get_outsymbols (abfd) == NULL)
{
-#if 0
- arelent *rle;
+ 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;
+ }
- if ( asec->orelocation )
- rle = asec->orelocation[i];
- else
- rle = asec->relocation+i;
-#endif
+ /* 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)
{
- case R_HPPA_ABS_CALL_11: /* Symbol + Addend 11 */
- case R_HPPA_ABS_CALL_14: /* Symbol + Addend 14 */
- case R_HPPA_ABS_CALL_17: /* Symbol + Addend 17 */
- case R_HPPA_ABS_CALL_L21: /* L (Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_R11: /* R (Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_R14: /* R (Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_R17: /* R (Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LS21: /* LS(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RS11: /* RS(Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_RS14: /* RS(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RS17: /* RS(Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LD21: /* LD(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RD11: /* RD(Symbol, Addend) 11 */
- case R_HPPA_ABS_CALL_RD14: /* RD(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RD17: /* RD(Symbol, Addend) 17 */
- case R_HPPA_ABS_CALL_LR21: /* LR(Symbol, Addend) 21 */
- case R_HPPA_ABS_CALL_RR14: /* RR(Symbol, Addend) 14 */
- case R_HPPA_ABS_CALL_RR17: /* RR(Symbol, Addend) 17 */
-
- case R_HPPA_PCREL_CALL_11: /* Symbol - PC + Addend 11 */
- case R_HPPA_PCREL_CALL_14: /* Symbol - PC + Addend 14 */
- case R_HPPA_PCREL_CALL_17: /* Symbol - PC + Addend 17 */
- case R_HPPA_PCREL_CALL_12: /* Symbol - PC + Addend 12 */
- case R_HPPA_PCREL_CALL_L21: /* L (Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_R11: /* R (Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_R14: /* R (Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_R17: /* R (Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LS21: /* LS(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RS11: /* RS(Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_RS14: /* RS(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RS17: /* RS(Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LD21: /* LD(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RD11: /* RD(Symbol - PC, Addend) 11 */
- case R_HPPA_PCREL_CALL_RD14: /* RD(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RD17: /* RD(Symbol - PC, Addend) 17 */
- case R_HPPA_PCREL_CALL_LR21: /* LR(Symbol - PC, Addend) 21 */
- case R_HPPA_PCREL_CALL_RR14: /* RR(Symbol - PC, Addend) 14 */
- case R_HPPA_PCREL_CALL_RR17: /* RR(Symbol - PC, Addend) 17 */
- if (hppa_elf_arg_reloc_needed_p (abfd, rle, stub_types))
- {
- /* generate a stub */
- /* keep track of the new symbol */
- if (new_cnt == new_max)
- {
- new_max += STUB_SYM_BUFFER_INC;
- new_syms = (asymbol *) realloc (new_syms, new_max * sizeof (asymbol));
- }
- new_syms[new_cnt++] = *(hppa_elf_build_arg_reloc_stub (abfd, output_bfd, rle, stub_types));
- }
+ /* 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 ();
}
-int
-hppa_look_for_stubs (abfd, output_bfd)
+/* 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;
- bfd *output_bfd;
+ sec_ptr section;
+ PTR location;
+ file_ptr offset;
+ bfd_size_type count;
{
- /* bfd_map_over_sections(abfd,hppa_look_for_stubs_in_section,(PTR)output_bfd,NULL); */
+ /* 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
-DEFUN (hppa_elf_get_section_contents, (abfd, section, location, offset, count),
- bfd * abfd AND
- sec_ptr section AND
- PTR location AND
- file_ptr offset AND
- bfd_size_type count)
+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 we have the */
- /* section contents in memory rather than on disk. */
- if (strcmp (section->name, ".hppa_linker_stubs") == 0)
+ /* 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);
-
+ elf32_hppa_stub_description *stub_desc = find_stubs (abfd, section);
+
if (count == 0)
return true;
- if ((bfd_size_type) (offset + count) > section->_raw_size)
- return (false); /* on error */
- if ((bfd_size_type) (offset + count) > stub_desc->real_size)
- return (false); /* on error */
-
+
+ /* 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);
}
- /* if this is the symbol extension section, then we have the */
- /* section contents in memory rather than on disk. */
- else if (strcmp (section->name, ".hppa_symextn") == 0)
+ 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)
{
- if (count == 0)
- return true;
- if ((bfd_size_type) (offset + count) > section->_raw_size)
- return (false); /* on error */
- if ((bfd_size_type) (offset + count) > symextn_contents_real_size)
- return (false); /* on error */
+ 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;
- memcpy (location, symextn_contents + offset, count);
+ /* 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);
}
- else
- return bfd_generic_get_section_contents (abfd, section, location, offset, count);
+
+ /* 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);
}
-static void
-DEFUN (elf_info_to_howto, (abfd, cache_ptr, dst),
- bfd * abfd AND
- arelent * cache_ptr AND
- Elf32_Internal_Rela * dst)
+/* 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;
{
- abort ();
+ 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"
projects / binutils.git / blobdiff