* elf32-cris.c: Shlib and PIC support. PCREL tweaks.

2 files changed, 2392 insertions, 49 deletions

diff --git a/bfd/ChangeLog b/bfd/ChangeLog
index 755fe76..dc28cf0 100644
--- a/bfd/ChangeLog
+++ b/bfd/ChangeLog
@@ -1,5 +1,46 @@
 2001-03-22  Hans-Peter Nilsson  <hp@axis.com>
 
+	* elf32-cris.c: Shlib and PIC support.  PCREL tweaks.
+	(elf_cris_discard_copies, elf_cris_adjust_gotplt_to_got,
+	elf_cris_try_fold_plt_to_got, elf_cris_link_hash_newfunc,
+	elf_cris_link_hash_table_create, elf_cris_adjust_dynamic_symbol,
+	elf_cris_size_dynamic_sections, elf_cris_finish_dynamic_symbol,
+	elf_cris_finish_dynamic_sections,elf_cris_hide_symbol): New
+	functions.
+	(cris_elf_howto_table) <R_CRIS_8_PCREL, R_CRIS_16_PCREL,
+	R_CRIS_32_PCREL>: Correct comments.  Set pcrel_offset to false.
+	<R_CRIS_COPY, R_CRIS_GLOB_DAT, R_CRIS_JUMP_SLOT, R_CRIS_RELATIVE,
+	R_CRIS_16_GOT, R_CRIS_32_GOT, R_CRIS_16_GOTPLT, R_CRIS_32_GOTPLT,
+	R_CRIS_32_GOTREL, R_CRIS_32_PLT_GOTREL, R_CRIS_32_PLT_PCREL>:
+	New HOWTO members for new relocs.
+	(cris_reloc_map): Map new relocs.
+	(ELF_DYNAMIC_INTERPRETER): Define.
+	(PLT_ENTRY_SIZE): Define.
+	(elf_cris_plt0_entry, elf_cris_plt_entry, elf_cris_pic_plt0_entry,
+	elf_cris_pic_plt_entry): New, PLT templates.
+	(struct elf_cris_pcrel_relocs_copied, struct
+	elf_cris_link_hash_entry, struct elf_cris_link_hash_table): New.
+	(elf_cris_link_hash_traverse, elf_cris_hash_table): Define.
+	(cris_final_link_relocate): Check that 16-bit GOT relocs have
+	positive values.  Adjust PCREL relocs to be relative to location
+	after relocation.
+	(cris_elf_relocate_section): Handle relocations to dynamic
+	objects.  Handle new relocations.  Call error handler when seeing
+	non-PIC relocation for read-only sections while generating shared
+	object.
+	(cris_elf_check_relocs): Set reference counts for GOT and PLT
+	entries.
+	(bfd_elf32_bfd_link_hash_table_create,
+	elf_backend_adjust_dynamic_symbol,
+	elf_backend_size_dynamic_sections,
+	elf_backend_finish_dynamic_symbol,
+	elf_backend_finish_dynamic_sections,
+	elf_backend_create_dynamic_sections, bfd_elf32_bfd_final_link,
+	elf_backend_hide_symbol, elf_backend_want_got_plt,
+	elf_backend_plt_readonly, elf_backend_want_plt_sym,
+	elf_backend_got_header_size, elf_backend_plt_header_size):
+	Define.
+
 	* reloc.c: (BFD_RELOC_CRIS_COPY, BFD_RELOC_CRIS_GLOB_DAT,
 	BFD_RELOC_CRIS_JUMP_SLOT, BFD_RELOC_CRIS_RELATIVE,
 	BFD_RELOC_CRIS_32_GOT, BFD_RELOC_CRIS_16_GOT,
diff --git a/bfd/elf32-cris.c b/bfd/elf32-cris.c
index ac0ccf0..11dc077 100644
--- a/bfd/elf32-cris.c
+++ b/bfd/elf32-cris.c
@@ -1,7 +1,8 @@
 /* CRIS-specific support for 32-bit ELF.
-   Copyright 2000 Free Software Foundation, Inc.
+   Copyright 2000, 2001 Free Software Foundation, Inc.
    Contributed by Axis Communications AB.
    Written by Hans-Peter Nilsson, based on elf32-fr30.c
+   PIC and shlib bits based primarily on elf32-m68k.c and elf32-i386.c.
 
 This file is part of BFD, the Binary File Descriptor library.
 
@@ -56,6 +57,29 @@ static boolean cris_elf_print_private_bfd_data PARAMS ((bfd *, PTR));
 
 static boolean cris_elf_merge_private_bfd_data PARAMS ((bfd *, bfd *));
 
+struct elf_cris_link_hash_entry;
+static boolean elf_cris_discard_copies
+  PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static boolean elf_cris_adjust_gotplt_to_got
+  PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static boolean elf_cris_try_fold_plt_to_got
+  PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static struct bfd_hash_entry *elf_cris_link_hash_newfunc
+  PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *));
+static struct bfd_link_hash_table *elf_cris_link_hash_table_create
+  PARAMS ((bfd *));
+static boolean elf_cris_adjust_dynamic_symbol
+  PARAMS ((struct bfd_link_info *, struct elf_link_hash_entry *));
+static boolean elf_cris_size_dynamic_sections
+  PARAMS ((bfd *, struct bfd_link_info *));
+static boolean elf_cris_finish_dynamic_symbol
+  PARAMS ((bfd *, struct bfd_link_info *, struct elf_link_hash_entry *,
+	   Elf_Internal_Sym *));
+static boolean elf_cris_finish_dynamic_sections
+  PARAMS ((bfd *, struct bfd_link_info *));
+static void elf_cris_hide_symbol
+  PARAMS ((struct bfd_link_info *, struct elf_link_hash_entry *));
+
 static reloc_howto_type cris_elf_howto_table [] =
 {
   /* This reloc does nothing.  */
@@ -118,7 +142,7 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 0xffffffff,		/* dst_mask */
 	 false),		/* pcrel_offset */
 
-  /* An 8 bit absolute relocation.  */
+  /* An 8 bit PC-relative relocation.  */
   HOWTO (R_CRIS_8_PCREL,	/* type */
 	 0,			/* rightshift */
 	 0,			/* size (0 = byte, 1 = short, 2 = long) */
@@ -131,9 +155,9 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 false,			/* partial_inplace */
 	 0x0000,		/* src_mask */
 	 0x00ff,		/* dst_mask */
-	 false),		/* pcrel_offset */
+	 true),			/* pcrel_offset */
 
-  /* A 16 bit absolute relocation.  */
+  /* A 16 bit PC-relative relocation.  */
   HOWTO (R_CRIS_16_PCREL,	/* type */
 	 0,			/* rightshift */
 	 1,			/* size (0 = byte, 1 = short, 2 = long) */
@@ -146,9 +170,9 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 false,			/* partial_inplace */
 	 0x00000000,		/* src_mask */
 	 0x0000ffff,		/* dst_mask */
-	 false),		/* pcrel_offset */
+	 true),			/* pcrel_offset */
 
-  /* A 32 bit absolute relocation.  */
+  /* A 32 bit PC-relative relocation.  */
   HOWTO (R_CRIS_32_PCREL,	/* type */
 	 0,			/* rightshift */
 	 2,			/* size (0 = byte, 1 = short, 2 = long) */
@@ -161,10 +185,10 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 false,			/* partial_inplace */
 	 0x00000000,		/* src_mask */
 	 0xffffffff,		/* dst_mask */
-	 false),		/* pcrel_offset */
+	 true),			/* pcrel_offset */
 
-  /* GNU extension to record C++ vtable hierarchy */
-  HOWTO (R_CRIS_GNU_VTINHERIT, /* type */
+  /* GNU extension to record C++ vtable hierarchy.  */
+  HOWTO (R_CRIS_GNU_VTINHERIT,	/* type */
 	 0,			/* rightshift */
 	 2,			/* size (0 = byte, 1 = short, 2 = long) */
 	 0,			/* bitsize */
@@ -178,8 +202,8 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 0,			/* dst_mask */
 	 false),		/* pcrel_offset */
 
-  /* GNU extension to record C++ vtable member usage */
-  HOWTO (R_CRIS_GNU_VTENTRY,	 /* type */
+  /* GNU extension to record C++ vtable member usage.  */
+  HOWTO (R_CRIS_GNU_VTENTRY,	/* type */
 	 0,			/* rightshift */
 	 2,			/* size (0 = byte, 1 = short, 2 = long) */
 	 0,			/* bitsize */
@@ -191,7 +215,181 @@ static reloc_howto_type cris_elf_howto_table [] =
 	 false,			/* partial_inplace */
 	 0,			/* src_mask */
 	 0,			/* dst_mask */
-	 false)			/* pcrel_offset */
+	 false),		/* pcrel_offset */
+
+  /* This is used only by the dynamic linker.  The symbol should exist
+     both in the object being run and in some shared library.  The
+     dynamic linker copies the data addressed by the symbol from the
+     shared library into the object, because the object being
+     run has to have the data at some particular address.  */
+  HOWTO (R_CRIS_COPY,		/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_COPY",		/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0,			/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* Like R_CRIS_32, but used when setting global offset table entries.  */
+  HOWTO (R_CRIS_GLOB_DAT,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_GLOB_DAT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* Marks a procedure linkage table entry for a symbol.  */
+  HOWTO (R_CRIS_JUMP_SLOT,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_JUMP_SLOT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0,			/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* Used only by the dynamic linker.  When the object is run, this
+     longword is set to the load address of the object, plus the
+     addend.  */
+  HOWTO (R_CRIS_RELATIVE,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_RELATIVE",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* Like R_CRIS_32, but referring to the GOT table entry for the symbol.  */
+  HOWTO (R_CRIS_16_GOT,		/* type */
+	 0,			/* rightshift */
+	 1,			/* size (0 = byte, 1 = short, 2 = long) */
+	 16,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_16_GOT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  HOWTO (R_CRIS_32_GOT,		/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_32_GOT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* Like R_CRIS_32_GOT, but referring to (and requesting a) PLT part of
+     the GOT table for the symbol.  */
+  HOWTO (R_CRIS_16_GOTPLT,	/* type */
+	 0,			/* rightshift */
+	 1,			/* size (0 = byte, 1 = short, 2 = long) */
+	 16,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_16_GOTPLT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  HOWTO (R_CRIS_32_GOTPLT,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_32_GOTPLT",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* A 32-bit offset from GOT to (local const) symbol: no GOT entry should
+     be necessary.  */
+  HOWTO (R_CRIS_32_GOTREL,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_32_GOTREL",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* A 32-bit offset from GOT to entry for this symbol in PLT and request
+     to create PLT entry for symbol.  */
+  HOWTO (R_CRIS_32_PLT_GOTREL,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 false,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_32_PLT_GOTREL", /* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 false),		/* pcrel_offset */
+
+  /* A 32-bit offset from PC (location after the relocation) + addend to
+     entry for this symbol in PLT and request to create PLT entry for
+     symbol.  */
+  HOWTO (R_CRIS_32_PLT_PCREL,	/* type */
+	 0,			/* rightshift */
+	 2,			/* size (0 = byte, 1 = short, 2 = long) */
+	 32,			/* bitsize */
+	 true,			/* pc_relative */
+	 0,			/* bitpos */
+	 complain_overflow_bitfield, /* complain_on_overflow */
+	 bfd_elf_generic_reloc,	/* special_function */
+	 "R_CRIS_32_PLT_PCREL",	/* name */
+	 false,			/* partial_inplace */
+	 0,			/* src_mask */
+	 0xffffffff,		/* dst_mask */
+	 true)			/* pcrel_offset */
 };
 
 /* Map BFD reloc types to CRIS ELF reloc types.  */
@@ -212,7 +410,18 @@ static const struct cris_reloc_map cris_reloc_map [] =
   { BFD_RELOC_16_PCREL,		R_CRIS_16_PCREL },
   { BFD_RELOC_32_PCREL,		R_CRIS_32_PCREL },
   { BFD_RELOC_VTABLE_INHERIT,	R_CRIS_GNU_VTINHERIT },
-  { BFD_RELOC_VTABLE_ENTRY,	R_CRIS_GNU_VTENTRY }
+  { BFD_RELOC_VTABLE_ENTRY,	R_CRIS_GNU_VTENTRY },
+  { BFD_RELOC_CRIS_COPY,	R_CRIS_COPY },
+  { BFD_RELOC_CRIS_GLOB_DAT,	R_CRIS_GLOB_DAT },
+  { BFD_RELOC_CRIS_JUMP_SLOT,	R_CRIS_JUMP_SLOT },
+  { BFD_RELOC_CRIS_RELATIVE,	R_CRIS_RELATIVE },
+  { BFD_RELOC_CRIS_16_GOT,	R_CRIS_16_GOT },
+  { BFD_RELOC_CRIS_32_GOT,	R_CRIS_32_GOT },
+  { BFD_RELOC_CRIS_16_GOTPLT,	R_CRIS_16_GOTPLT },
+  { BFD_RELOC_CRIS_32_GOTPLT,	R_CRIS_32_GOTPLT },
+  { BFD_RELOC_CRIS_32_GOTREL,	R_CRIS_32_GOTREL },
+  { BFD_RELOC_CRIS_32_PLT_GOTREL, R_CRIS_32_PLT_GOTREL },
+  { BFD_RELOC_CRIS_32_PLT_PCREL, R_CRIS_32_PLT_PCREL }
 };
 
 static reloc_howto_type *
@@ -245,8 +454,203 @@ cris_info_to_howto_rela (abfd, cache_ptr, dst)
   cache_ptr->howto = & cris_elf_howto_table [r_type];
 }
 
+/* The name of the dynamic interpreter.  This is put in the .interp
+   section.  */
+
+#define ELF_DYNAMIC_INTERPRETER "/lib/ld.so.1"
+
+/* The size in bytes of an entry in the procedure linkage table.  */
+
+#define PLT_ENTRY_SIZE 20
+
+/* The first entry in an absolute procedure linkage table looks like this.  */
+
+static const bfd_byte elf_cris_plt0_entry[PLT_ENTRY_SIZE] =
+{
+  0xfc, 0xe1,
+  0x7e, 0x7e,	/* push mof. */
+  0x7f, 0x0d,   /*  (dip [pc+]) */
+  0, 0, 0, 0,	/*  Replaced with address of .got + 4.  */
+  0x30, 0x7a,	/* move [...],mof */
+  0x7f, 0x0d,   /*  (dip [pc+]) */
+  0, 0, 0, 0,	/*  Replaced with address of .got + 8.  */
+  0x30, 0x09,	/* jump [...] */
+};
+
+/* Subsequent entries in an absolute procedure linkage table look like
+   this.  */
+
+static const bfd_byte elf_cris_plt_entry[PLT_ENTRY_SIZE] =
+{
+  0x7f, 0x0d,   /*  (dip [pc+]) */
+  0, 0, 0, 0,	/*  Replaced with address of this symbol in .got.  */
+  0x30, 0x09,	/* jump [...] */
+  0x3f,	 0x7e,	/* move [pc+],mof */
+  0, 0, 0, 0,	/*  Replaced with offset into relocation table.  */
+  0x2f, 0xfe,	/* add.d [pc+],pc */
+  0xec, 0xff,
+  0xff, 0xff	/*  Replaced with offset to start of .plt.  */
+};
+
+/* The first entry in a PIC procedure linkage table looks like this.  */
+
+static const bfd_byte elf_cris_pic_plt0_entry[PLT_ENTRY_SIZE] =
+{
+  0xfc, 0xe1, 0x7e, 0x7e,	/* push mof */
+  0x04, 0x01, 0x30, 0x7a,	/* move [r0+4],mof */
+  0x08, 0x01, 0x30, 0x09,	/* jump [r0+8] */
+  0, 0, 0, 0, 0, 0, 0, 0,	/*  Pad out to 20 bytes.  */
+};
+
+/* Subsequent entries in a PIC procedure linkage table look like this.  */
+
+static const bfd_byte elf_cris_pic_plt_entry[PLT_ENTRY_SIZE] =
+{
+  0x6f, 0x0d,   /*  (bdap [pc+].d,r0) */
+  0, 0, 0, 0,	/*  Replaced with offset of this symbol in .got.  */
+  0x30, 0x09,	/* jump [...] */
+  0x3f, 0x7e,	/* move [pc+],mof */
+  0, 0, 0, 0,	/*  Replaced with offset into relocation table.  */
+  0x2f, 0xfe,	/* add.d [pc+],pc */
+  0xec, 0xff,	/*  Replaced with offset to start of .plt.  */
+  0xff, 0xff
+};
+
+/* We copy elf32-m68k.c and elf32-i386.c for the basic linker hash bits
+   (and most other PIC/shlib stuff).  Check that we don't drift away
+   without reason.
+
+   The CRIS linker, like the m68k and i386 linkers (and probably the rest
+   too) needs to keep track of the number of relocs that it decides to
+   copy in check_relocs for each symbol.  This is so that it can discard
+   PC relative relocs if it doesn't need them when linking with
+   -Bsymbolic.  We store the information in a field extending the regular
+   ELF linker hash table.  */
+
+/* This structure keeps track of the number of PC relative relocs we have
+   copied for a given symbol.  */
+
+struct elf_cris_pcrel_relocs_copied
+{
+  /* Next section.  */
+  struct elf_cris_pcrel_relocs_copied *next;
+  /* A section in dynobj.  */
+  asection *section;
+  /* Number of relocs copied in this section.  */
+  bfd_size_type count;
+};
+
+/* CRIS ELF linker hash entry.  */
+
+struct elf_cris_link_hash_entry
+{
+  struct elf_link_hash_entry root;
+
+  /* Number of PC relative relocs copied for this symbol.  */
+  struct elf_cris_pcrel_relocs_copied *pcrel_relocs_copied;
+
+  /* The GOTPLT references are CRIS-specific; the goal is to avoid having
+     both a general GOT and a PLT-specific GOT entry for the same symbol,
+     when it is referenced both as a function and as a function pointer.
+
+     Number of GOTPLT references for a function.  */
+  bfd_signed_vma gotplt_refcount;
+
+  /* Actual GOTPLT index for this symbol, if applicable, or zero if not
+     (zero is never used as an index).  FIXME: We should be able to fold
+     this with gotplt_refcount in a union, like the got and plt unions in
+     elf_link_hash_entry.  */
+  bfd_size_type gotplt_offset;
+};
+
+/* CRIS ELF linker hash table.  */
+
+struct elf_cris_link_hash_table
+{
+  struct elf_link_hash_table root;
+
+  /* We can't use the PLT offset and calculate to get the GOTPLT offset,
+     since we try and avoid creating GOTPLT:s when there's already a GOT.
+     Instead, we keep and update the next available index here.  */
+  bfd_size_type next_gotplt_entry;
+};
+
+/* Traverse a CRIS ELF linker hash table.  */
+
+#define elf_cris_link_hash_traverse(table, func, info)			\
+  (elf_link_hash_traverse						\
+   (&(table)->root,							\
+    (boolean (*) PARAMS ((struct elf_link_hash_entry *, PTR))) (func),	\
+    (info)))
+
+/* Get the CRIS ELF linker hash table from a link_info structure.  */
+
+#define elf_cris_hash_table(p) \
+  ((struct elf_cris_link_hash_table *) (p)->hash)
+
+/* Create an entry in a CRIS ELF linker hash table.  */
+
+static struct bfd_hash_entry *
+elf_cris_link_hash_newfunc (entry, table, string)
+     struct bfd_hash_entry *entry;
+     struct bfd_hash_table *table;
+     const char *string;
+{
+  struct elf_cris_link_hash_entry *ret =
+    (struct elf_cris_link_hash_entry *) entry;
+
+  /* Allocate the structure if it has not already been allocated by a
+     subclass.  */
+  if (ret == (struct elf_cris_link_hash_entry *) NULL)
+    ret = ((struct elf_cris_link_hash_entry *)
+	   bfd_hash_allocate (table,
+			      sizeof (struct elf_cris_link_hash_entry)));
+  if (ret == (struct elf_cris_link_hash_entry *) NULL)
+    return (struct bfd_hash_entry *) ret;
+
+  /* Call the allocation method of the superclass.  */
+  ret = ((struct elf_cris_link_hash_entry *)
+	 _bfd_elf_link_hash_newfunc ((struct bfd_hash_entry *) ret,
+				     table, string));
+  if (ret != (struct elf_cris_link_hash_entry *) NULL)
+    {
+      ret->pcrel_relocs_copied = NULL;
+      ret->gotplt_refcount = 0;
+      ret->gotplt_offset = 0;
+    }
+
+  return (struct bfd_hash_entry *) ret;
+}
+
+/* Create a CRIS ELF linker hash table.  */
+
+static struct bfd_link_hash_table *
+elf_cris_link_hash_table_create (abfd)
+     bfd *abfd;
+{
+  struct elf_cris_link_hash_table *ret;
+
+  ret = ((struct elf_cris_link_hash_table *)
+	 bfd_alloc (abfd, sizeof (struct elf_cris_link_hash_table)));
+  if (ret == (struct elf_cris_link_hash_table *) NULL)
+    return NULL;
+
+  if (! _bfd_elf_link_hash_table_init (&ret->root, abfd,
+				       elf_cris_link_hash_newfunc))
+    {
+      bfd_release (abfd, ret);
+      return NULL;
+    }
+
+  /* Initialize to skip over the first three entries in the gotplt; they
+     are used for run-time symbol evaluation.  */
+  ret->next_gotplt_entry = 12;
+
+  return &ret->root.root;
+}
+
 /* Perform a single relocation.  By default we use the standard BFD
-   routines, but we might have to do a few relocs ourselves in the future.  */
+   routines, with a few tweaks.  */
 
 static bfd_reloc_status_type
 cris_final_link_relocate (howto, input_bfd, input_section, contents, rel,
@@ -258,8 +662,34 @@ cris_final_link_relocate (howto, input_bfd, input_section, contents, rel,
      Elf_Internal_Rela * rel;
      bfd_vma             relocation;
 {
-  bfd_reloc_status_type r
-    = _bfd_final_link_relocate (howto, input_bfd, input_section,
+  bfd_reloc_status_type r;
+
+  /* PC-relative relocations are relative to the position *after*
+     the reloc.  Note that for R_CRIS_8_PCREL the adjustment is
+     not a single byte, since PC must be 16-bit-aligned.  */
+  switch (ELF32_R_TYPE (rel->r_info))
+    {
+      /* Check that the 16-bit GOT relocs are positive.  */
+    case R_CRIS_16_GOTPLT:
+    case R_CRIS_16_GOT:
+      if ((bfd_signed_vma) relocation < 0)
+	return bfd_reloc_overflow;
+      break;
+
+    case R_CRIS_32_PLT_PCREL:
+    case R_CRIS_32_PCREL:
+      relocation -= 2;
+      /* Fall through.  */
+    case R_CRIS_8_PCREL:
+    case R_CRIS_16_PCREL:
+      relocation -= 2;
+      break;
+
+    default:
+      break;
+    }
+
+  r = _bfd_final_link_relocate (howto, input_bfd, input_section,
 				contents, rel->r_offset,
 				relocation, rel->r_addend);
   return r;
@@ -280,11 +710,18 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
      Elf_Internal_Sym *      local_syms;
      asection **             local_sections;
 {
+  bfd *dynobj;
   Elf_Internal_Shdr *           symtab_hdr;
   struct elf_link_hash_entry ** sym_hashes;
+  bfd_vma *local_got_offsets;
+  asection *sgot;
+  asection *splt;
+  asection *sreloc;
   Elf_Internal_Rela *           rel;
   Elf_Internal_Rela *           relend;
 
+  dynobj = elf_hash_table (info)->dynobj;
+  local_got_offsets = elf_local_got_offsets (input_bfd);
   symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
   sym_hashes = elf_sym_hashes (input_bfd);
   relend     = relocs + input_section->reloc_count;
@@ -294,6 +731,16 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
   if (sym_hashes == NULL)
     return false;
 
+  sgot = NULL;
+  splt = NULL;
+  sreloc = NULL;
+
+  if (dynobj != NULL)
+    {
+      splt = bfd_get_section_by_name (dynobj, ".plt");
+      sgot = bfd_get_section_by_name (dynobj, ".got");
+    }
+
   for (rel = relocs; rel < relend; rel ++)
     {
       reloc_howto_type *           howto;
@@ -335,7 +782,7 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
 	}
 
       /* This is a final link.  */
-      howto  = cris_elf_howto_table + ELF32_R_TYPE (rel->r_info);
+      howto  = cris_elf_howto_table + r_type;
       h      = NULL;
       sym    = NULL;
       sec    = NULL;
@@ -351,12 +798,6 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
 	  name = bfd_elf_string_from_elf_section
 	    (input_bfd, symtab_hdr->sh_link, sym->st_name);
 	  name = (name == NULL) ? bfd_section_name (input_bfd, sec) : name;
-#if 0
-	  fprintf (stderr, "local: sec: %s, sym: %s (%d), value: %x + %x + %x addend %x\n",
-		   sec->name, name, sym->st_name,
-		   sec->output_section->vma, sec->output_offset,
-		   sym->st_value, rel->r_addend);
-#endif
 	}
       else
 	{
@@ -372,40 +813,488 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
 	      || h->root.type == bfd_link_hash_defweak)
 	    {
 	      sec = h->root.u.def.section;
-	      relocation = (h->root.u.def.value
-			    + sec->output_section->vma
-			    + sec->output_offset);
-#if 0
-	      fprintf (stderr,
-		       "defined: sec: %s, name: %s, value: %x + %x + %x gives: %x\n",
-		       sec->name, name, h->root.u.def.value,
-		       sec->output_section->vma, sec->output_offset, relocation);
-#endif
+
+	      /* Perhaps we should detect the cases that
+		 sec->output_section is expected to be NULL like i386 and
+		 m68k, but apparently (and according to elfxx-ia64.c) all
+		 valid cases are where the symbol is defined in a shared
+		 object which we link dynamically against.  This includes
+		 PLT relocs for which we've created a PLT entry and other
+		 relocs for which we're prepared to create dynamic
+		 relocations.
+
+		 For now, new situations cause us to just err when
+		 sec->output_offset is NULL but the object with the symbol
+		 is *not* dynamically linked against.  Thus this will
+		 automatically remind us so we can see if there are other
+		 valid cases we need to revisit.  */
+	      if ((sec->output_section == NULL
+		   && (sec->owner->flags & DYNAMIC) != 0)
+
+		  /* Here follow the cases where the relocation value must
+		     be zero (or when further handling is simplified when
+		     zero).  I can't claim to understand the various
+		     conditions and they weren't described in the files
+		     where I copied them from (elf32-m68k.c and
+		     elf32-i386.c), but let's mention examples of where
+		     they happen.  FIXME: Perhaps define and use a
+		     dynamic_symbol_p function like ia64.
+
+		     - When creating a shared library, we can have an
+		     ordinary relocation for a symbol defined in a shared
+		     library (perhaps the one we create).  We then make
+		     the relocation value zero, as the value seen now will
+		     be added into the relocation addend in this shared
+		     library, but must be handled only at dynamic-link
+		     time.  FIXME: Not sure this example covers the
+		     h->elf_link_hash_flags test, though it's there in
+		     other targets.  */
+		  || (info->shared
+		      && ((! info->symbolic && h->dynindx != -1)
+			  || (h->elf_link_hash_flags
+			      & ELF_LINK_HASH_DEF_REGULAR) == 0)
+		      && (input_section->flags & SEC_ALLOC) != 0
+		      && (r_type == R_CRIS_8
+			  || r_type == R_CRIS_16
+			  || r_type == R_CRIS_32
+			  || r_type == R_CRIS_8_PCREL
+			  || r_type == R_CRIS_16_PCREL
+			  || r_type == R_CRIS_32_PCREL)))
+		relocation = 0;
+	      else if (sec->output_section != NULL)
+		relocation = (h->root.u.def.value
+			      + sec->output_section->vma
+			      + sec->output_offset);
+	      else
+		{
+		  if (input_bfd->my_archive)
+		    (*_bfd_error_handler)
+		      (_("%s(%s): unresolvable relocation %s against symbol `%s' from %s section"),
+		       bfd_get_filename (bfd_my_archive (input_bfd)),
+		       bfd_get_filename (input_bfd),
+		       cris_elf_howto_table[r_type].name,
+		       name,
+		       bfd_get_section_name (input_bfd, input_section));
+		  else
+		    (*_bfd_error_handler)
+		      (_("%s: unresolvable relocation %s against symbol `%s' from %s section"),
+		       bfd_get_filename (input_bfd),
+		       cris_elf_howto_table[r_type].name,
+		       name,
+		       bfd_get_section_name (input_bfd, input_section));
+		  bfd_set_error (bfd_error_bad_value);
+		  return false;
+		}
 	    }
 	  else if (h->root.type == bfd_link_hash_undefweak)
-	    {
-#if 0
-	      fprintf (stderr, "undefined: sec: %s, name: %s\n",
-		       sec->name, name);
-#endif
-	      relocation = 0;
-	    }
+	    relocation = 0;
 	  else if (info->shared
+		   && !info->symbolic
+		   && !info->no_undefined
 		   && ELF_ST_VISIBILITY (h->other) == STV_DEFAULT)
 	    relocation = 0;
 	  else
 	    {
-	      if (! ((*info->callbacks->undefined_symbol)
-		     (info, h->root.root.string, input_bfd,
-		      input_section, rel->r_offset, true)))
+	      if (!(info->callbacks->undefined_symbol
+		    (info, name, input_bfd,
+		     input_section, rel->r_offset,
+		     (!info->shared || info->no_undefined
+		      || ELF_ST_VISIBILITY (h->other)))))
 		return false;
-#if 0
-	      fprintf (stderr, "unknown: name: %s\n", name);
-#endif
 	      relocation = 0;
 	    }
 	}
 
+      switch (r_type)
+	{
+	case R_CRIS_16_GOTPLT:
+	case R_CRIS_32_GOTPLT:
+	  /* This is like the case for R_CRIS_32_GOT and R_CRIS_16_GOT,
+	     but we require a PLT, and the PLT handling will take care of
+	     filling in the PLT-specific GOT entry.  For the GOT offset,
+	     calculate it as we do when filling it in for the .got.plt
+	     section.  If we don't have a PLT, punt to GOT handling.  */
+	  if (h != NULL
+	      && ((struct elf_cris_link_hash_entry *) h)->gotplt_offset != 0)
+	    {
+	      asection *sgotplt
+		= bfd_get_section_by_name (dynobj, ".got.plt");
+	      bfd_vma got_offset;
+
+	      BFD_ASSERT (h->dynindx != -1);
+	      BFD_ASSERT (sgotplt != NULL);
+
+	      got_offset
+		= ((struct elf_cris_link_hash_entry *) h)->gotplt_offset;
+
+	      relocation = got_offset;
+	      break;
+	    }
+
+	  /* We didn't make a PLT entry for this symbol, or everything is
+	     folded into the GOT.  Other than folding, this happens when
+	     statically linking PIC code, or when using -Bsymbolic.  Check
+	     that we instead have a GOT entry as done for us by
+	     elf_cris_adjust_dynamic_symbol, and drop through into the
+	     ordinary GOT cases.  */
+	  if (h != NULL && h->got.offset == (bfd_vma) -1)
+	    {
+	      (*_bfd_error_handler)
+		(_("%s: No PLT nor GOT for relocation %s against symbol `%s' from %s section"),
+		 bfd_get_filename (input_bfd),
+		 cris_elf_howto_table[r_type].name,
+		 name[0] != '\0' ? name : _("[whose name is lost]"),
+		 bfd_get_section_name (input_bfd, input_section));
+
+	      /* FIXME: Perhaps blaming input is not the right thing to
+		 do; this is probably an internal error.  But it is true
+		 that we didn't like that particular input.  */
+	      bfd_set_error (bfd_error_bad_value);
+	      return false;
+	    }
+	  /* Fall through.  */
+
+	  /* The size of the actual relocation is not used here; we only
+	     fill in the GOT table here.  */
+	case R_CRIS_16_GOT:
+	case R_CRIS_32_GOT:
+	  {
+	    bfd_vma off;
+
+	    /* Note that despite using RELA relocations, the .got contents
+	       is always filled in with the link-relative relocation
+	       value; the addend.  */
+
+	    if (h != NULL)
+	      {
+		off = h->got.offset;
+		BFD_ASSERT (off != (bfd_vma) -1);
+
+		if (!elf_hash_table (info)->dynamic_sections_created
+		    || (info->shared
+			&& (info->symbolic || h->dynindx == -1)
+			&& (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR)))
+		  {
+		    /* This is actually a static link, or it is a
+		       -Bsymbolic link and the symbol is defined
+		       locally, or the symbol was forced to be local
+		       because of a version file.  We must initialize
+		       this entry in the global offset table.  Since
+		       the offset must always be a multiple of 4, we
+		       use the least significant bit to record whether
+		       we have initialized it already.
+
+		       When doing a dynamic link, we create a .rela.got
+		       relocation entry to initialize the value.  This
+		       is done in the finish_dynamic_symbol routine.  */
+		    if ((off & 1) != 0)
+		      off &= ~1;
+		    else
+		      {
+			bfd_put_32 (output_bfd, relocation,
+				    sgot->contents + off);
+			h->got.offset |= 1;
+		      }
+		  }
+	      }
+	    else
+	      {
+		BFD_ASSERT (local_got_offsets != NULL
+			    && local_got_offsets[r_symndx] != (bfd_vma) -1);
+
+		off = local_got_offsets[r_symndx];
+
+		/* The offset must always be a multiple of 4.  We use
+		   the least significant bit to record whether we have
+		   already generated the necessary reloc.  */
+		if ((off & 1) != 0)
+		  off &= ~1;
+		else
+		  {
+		    bfd_put_32 (output_bfd, relocation, sgot->contents + off);
+
+		    if (info->shared)
+		      {
+			asection *srelgot;
+			Elf_Internal_Rela outrel;
+
+			srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+			BFD_ASSERT (srelgot != NULL);
+
+			outrel.r_offset = (sgot->output_section->vma
+					   + sgot->output_offset
+					   + off);
+			outrel.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+			outrel.r_addend = relocation;
+			bfd_elf32_swap_reloca_out (output_bfd, &outrel,
+						   (((Elf32_External_Rela *)
+						     srelgot->contents)
+						    + srelgot->reloc_count));
+			++srelgot->reloc_count;
+		      }
+
+		    local_got_offsets[r_symndx] |= 1;
+		  }
+	      }
+
+	    relocation = sgot->output_offset + off;
+	    if (rel->r_addend != 0)
+	      {
+		/* We can't do anything for a relocation which is against
+		   a symbol *plus offset*.  GOT holds relocations for
+		   symbols.  Make this an error; the compiler isn't
+		   allowed to pass us these kinds of things.  */
+		if (h == NULL)
+		  (*_bfd_error_handler)
+		    (_("%s: relocation %s with non-zero addend %d against local symbol from %s section"),
+		     bfd_get_filename (input_bfd),
+		     cris_elf_howto_table[r_type].name,
+		     rel->r_addend,
+		     bfd_get_section_name (input_bfd, input_section));
+		else
+		  (*_bfd_error_handler)
+		    (_("%s: relocation %s with non-zero addend %d against symbol `%s' from %s section"),
+		     bfd_get_filename (input_bfd),
+		     cris_elf_howto_table[r_type].name,
+		     rel->r_addend,
+		     name[0] != '\0' ? name : _("[whose name is lost]"),
+		     bfd_get_section_name (input_bfd, input_section));
+
+		bfd_set_error (bfd_error_bad_value);
+		return false;
+	      }
+	  }
+	  break;
+
+	case R_CRIS_32_GOTREL:
+	  /* This relocation must only be performed against local symbols.  */
+	  if (h != NULL)
+	    {
+	      (*_bfd_error_handler)
+		(_("%s: relocation %s is not allowed for global symbol: `%s' from %s section"),
+		 bfd_get_filename (input_bfd),
+		 cris_elf_howto_table[r_type].name,
+		 name,
+		 bfd_get_section_name (input_bfd, input_section));
+	      bfd_set_error (bfd_error_bad_value);
+	      return false;
+	    }
+
+	  /* This relocation is like a PC-relative one, except the
+	     reference point is the location of GOT.  Note that
+	     sgot->output_offset is not involved in this calculation.  We
+	     always want the start of entire .got section, not the
+	     position after the reserved header.  */
+	  relocation -= sgot->output_section->vma;
+	  break;
+
+	case R_CRIS_32_PLT_PCREL:
+	  /* Relocation is to the entry for this symbol in the
+	     procedure linkage table.  */
+
+	  /* Resolve a PLT_PCREL reloc against a local symbol directly,
+	     without using the procedure linkage table.  */
+	  if (h == NULL)
+	    break;
+
+	  if (h->plt.offset == (bfd_vma) -1
+	      || splt == NULL)
+	    {
+	      /* We didn't make a PLT entry for this symbol.  This
+		 happens when statically linking PIC code, or when
+		 using -Bsymbolic.  */
+	      break;
+	    }
+
+	  relocation = (splt->output_section->vma
+			+ splt->output_offset
+			+ h->plt.offset);
+	  break;
+
+	case R_CRIS_32_PLT_GOTREL:
+	  /* Like R_CRIS_32_PLT_PCREL, but the reference point is the
+	     start of the .got section.  See also comment at
+	     R_CRIS_32_GOT.  */
+	  relocation -= sgot->output_section->vma;
+
+	  /* Resolve a PLT_GOTREL reloc against a local symbol directly,
+	     without using the procedure linkage table.  */
+	  if (h == NULL)
+	    break;
+
+	  if (h->plt.offset == (bfd_vma) -1
+	      || splt == NULL)
+	    {
+	      /* We didn't make a PLT entry for this symbol.  This
+		 happens when statically linking PIC code, or when
+		 using -Bsymbolic.  */
+	      break;
+	    }
+
+	  relocation = (splt->output_section->vma
+			+ splt->output_offset
+			+ h->plt.offset
+			- sgot->output_section->vma);
+	  break;
+
+	case R_CRIS_8_PCREL:
+	case R_CRIS_16_PCREL:
+	case R_CRIS_32_PCREL:
+	  /* If the symbol was local, we need no shlib-specific handling.  */
+	  if (h == NULL)
+	    break;
+
+	  /* Fall through.  */
+	case R_CRIS_8:
+	case R_CRIS_16:
+	case R_CRIS_32:
+	  if (info->shared
+	      && (input_section->flags & SEC_ALLOC) != 0
+	      && ((r_type != R_CRIS_8_PCREL
+		   && r_type != R_CRIS_16_PCREL
+		   && r_type != R_CRIS_32_PCREL)
+		  || (!info->symbolic
+		      || (h->elf_link_hash_flags
+			  & ELF_LINK_HASH_DEF_REGULAR) == 0)))
+	    {
+	      Elf_Internal_Rela outrel;
+	      boolean skip, relocate;
+
+	      /* When generating a shared object, these relocations
+		 are copied into the output file to be resolved at run
+		 time.  */
+
+	      if (sreloc == NULL)
+		{
+		  const char *name;
+
+		  name = (bfd_elf_string_from_elf_section
+			  (input_bfd,
+			   elf_elfheader (input_bfd)->e_shstrndx,
+			   elf_section_data (input_section)->rel_hdr.sh_name));
+		  if (name == NULL)
+		    return false;
+
+		  BFD_ASSERT (strncmp (name, ".rela", 5) == 0
+			      && strcmp (bfd_get_section_name (input_bfd,
+							       input_section),
+					 name + 5) == 0);
+
+		  sreloc = bfd_get_section_by_name (dynobj, name);
+
+		  /* That section should have been created in
+		     cris_elf_check_relocs, but that function will not be
+		     called for objects which fail in
+		     cris_elf_merge_private_bfd_data.  */
+		  if (sreloc == NULL)
+		    {
+		      (*_bfd_error_handler)
+			(_("%s: Internal inconsistency; no relocation section %s"),
+			 bfd_get_filename (input_bfd),
+			 name);
+
+		      bfd_set_error (bfd_error_bad_value);
+		      return false;
+		    }
+		}
+
+	      skip = false;
+
+	      if (elf_section_data (input_section)->stab_info == NULL)
+		outrel.r_offset = rel->r_offset;
+	      else
+		{
+		  bfd_vma off;
+
+		  off = (_bfd_stab_section_offset
+			 (output_bfd, &elf_hash_table (info)->stab_info,
+			  input_section,
+			  &elf_section_data (input_section)->stab_info,
+			  rel->r_offset));
+		  if (off == (bfd_vma) -1)
+		    skip = true;
+		  outrel.r_offset = off;
+		}
+
+	      outrel.r_offset += (input_section->output_section->vma
+				  + input_section->output_offset);
+
+	      if (skip)
+		{
+		  memset (&outrel, 0, sizeof outrel);
+		  relocate = false;
+		}
+	      /* h->dynindx may be -1 if the symbol was marked to
+		 become local.  */
+	      else if (h != NULL
+		       && ((! info->symbolic && h->dynindx != -1)
+			   || (h->elf_link_hash_flags
+			       & ELF_LINK_HASH_DEF_REGULAR) == 0))
+		{
+		  BFD_ASSERT (h->dynindx != -1);
+		  relocate = false;
+		  outrel.r_info = ELF32_R_INFO (h->dynindx, r_type);
+		  outrel.r_addend = relocation + rel->r_addend;
+		}
+	      else
+		{
+		  if (r_type == R_CRIS_32)
+		    {
+		      relocate = true;
+		      outrel.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+		      outrel.r_addend = relocation + rel->r_addend;
+		    }
+		  else
+		    {
+		      long indx;
+
+		      if (h == NULL)
+			sec = local_sections[r_symndx];
+		      else
+			{
+			  BFD_ASSERT (h->root.type == bfd_link_hash_defined
+				      || (h->root.type
+					  == bfd_link_hash_defweak));
+			  sec = h->root.u.def.section;
+			}
+		      if (sec != NULL && bfd_is_abs_section (sec))
+			indx = 0;
+		      else if (sec == NULL || sec->owner == NULL)
+			{
+			  bfd_set_error (bfd_error_bad_value);
+			  return false;
+			}
+		      else
+			{
+			  asection *osec;
+
+			  osec = sec->output_section;
+			  indx = elf_section_data (osec)->dynindx;
+			  BFD_ASSERT (indx > 0);
+			}
+
+		      relocate = false;
+		      outrel.r_info = ELF32_R_INFO (indx, r_type);
+		      outrel.r_addend = relocation + rel->r_addend;
+		    }
+		}
+
+	      bfd_elf32_swap_reloca_out (output_bfd, &outrel,
+					 (((Elf32_External_Rela *)
+					   sreloc->contents)
+					  + sreloc->reloc_count));
+	      ++sreloc->reloc_count;
+
+	      /* This reloc will be computed at runtime, so there's no
+                 need to do anything now, except for R_CRIS_32 relocations
+                 that have been turned into R_CRIS_RELATIVE.  */
+	      if (!relocate)
+		continue;
+	    }
+
+	  break;
+	}
+
       r = cris_final_link_relocate (howto, input_bfd, input_section,
 				     contents, rel, relocation);
 
@@ -456,6 +1345,341 @@ cris_elf_relocate_section (output_bfd, info, input_bfd, input_section,
   return true;
 }
 
+/* Finish up dynamic symbol handling.  We set the contents of various
+   dynamic sections here.  */
+
+static boolean
+elf_cris_finish_dynamic_symbol (output_bfd, info, h, sym)
+     bfd *output_bfd;
+     struct bfd_link_info *info;
+     struct elf_link_hash_entry *h;
+     Elf_Internal_Sym *sym;
+{
+  bfd *dynobj;
+  int plt_off1 = 2, plt_off2 = 10, plt_off3 = 16;
+
+  dynobj = elf_hash_table (info)->dynobj;
+
+  if (h->plt.offset != (bfd_vma) -1)
+    {
+      asection *splt;
+      asection *sgotplt;
+      asection *sgot;
+      asection *srela;
+      bfd_vma got_base;
+
+      bfd_vma gotplt_offset
+	= ((struct elf_cris_link_hash_entry *) h)->gotplt_offset;
+      Elf_Internal_Rela rela;
+      boolean has_gotplt = gotplt_offset != 0;
+
+      /* Get the index in the procedure linkage table which
+	 corresponds to this symbol.  This is the index of this symbol
+	 in all the symbols for which we are making plt entries.  The
+	 first entry in the procedure linkage table is reserved.  */
+      /* We have to count backwards here, and the result is only valid as
+	 an index into .got.plt and its relocations.  FIXME: Constants...  */
+      bfd_vma gotplt_index = gotplt_offset/4 - 3;
+
+      /* Get the offset into the .got table of the entry that corresponds
+	 to this function.  Note that we embed knowledge that "incoming"
+	 .got goes after .got.plt in the output without padding (pointer
+	 aligned).  However, that knowledge is present in several other
+	 places too, here and in elflink.h at least.  */
+      bfd_vma got_offset
+	= (has_gotplt
+	   ? gotplt_offset
+	   : h->got.offset + elf_cris_hash_table(info)->next_gotplt_entry);
+
+      /* This symbol has an entry in the procedure linkage table.  Set it
+	 up.  */
+
+      BFD_ASSERT (h->dynindx != -1);
+
+      splt = bfd_get_section_by_name (dynobj, ".plt");
+      sgot = bfd_get_section_by_name (dynobj, ".got");
+      sgotplt = bfd_get_section_by_name (dynobj, ".got.plt");
+      srela = bfd_get_section_by_name (dynobj, ".rela.plt");
+      BFD_ASSERT (splt != NULL && sgotplt != NULL
+		  && (! has_gotplt || srela != NULL));
+
+      got_base = sgotplt->output_section->vma + sgotplt->output_offset;
+
+      /* Fill in the entry in the procedure linkage table.  */
+      if (! info->shared)
+	{
+	  memcpy (splt->contents + h->plt.offset, elf_cris_plt_entry,
+		  PLT_ENTRY_SIZE);
+
+	  /* We need to enter the absolute address of the GOT entry here.  */
+	  bfd_put_32 (output_bfd, got_base + got_offset,
+		      splt->contents + h->plt.offset + plt_off1);
+	}
+      else
+	{
+	  memcpy (splt->contents + h->plt.offset, elf_cris_pic_plt_entry,
+		  PLT_ENTRY_SIZE);
+	  bfd_put_32 (output_bfd, got_offset,
+		      splt->contents + h->plt.offset + plt_off1);
+	}
+
+      /* Fill in the plt entry and make a relocation, if this is a "real"
+	 PLT entry.  */
+      if (has_gotplt)
+	{
+	  /* Fill in the offset into the reloc table.  */
+	  bfd_put_32 (output_bfd,
+		      gotplt_index * sizeof (Elf32_External_Rela),
+		      splt->contents + h->plt.offset + plt_off2);
+
+	  /* Fill in the offset to the first PLT entry, where to "jump".  */
+	  bfd_put_32 (output_bfd, - (h->plt.offset + plt_off3 + 4),
+		      splt->contents + h->plt.offset + plt_off3);
+
+	  /* Fill in the entry in the global offset table with the address of
+	     the relocating stub.  */
+	  bfd_put_32 (output_bfd,
+		      (splt->output_section->vma
+		       + splt->output_offset
+		       + h->plt.offset
+		       + 8),
+		      sgotplt->contents + got_offset);
+
+	  /* Fill in the entry in the .rela.plt section.  */
+	  rela.r_offset = (sgotplt->output_section->vma
+			   + sgotplt->output_offset
+			   + got_offset);
+	  rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_JUMP_SLOT);
+	  rela.r_addend = 0;
+	  bfd_elf32_swap_reloca_out (output_bfd, &rela,
+				     ((Elf32_External_Rela *) srela->contents
+				      + gotplt_index));
+	}
+
+      if ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+	{
+	  /* Mark the symbol as undefined, rather than as defined in
+	     the .plt section.  Leave the value alone.  */
+	  sym->st_shndx = SHN_UNDEF;
+
+	  /* FIXME: From elf32-sparc.c 2001-02-19 (1.18).  I still don't
+	     know whether resetting the value is significant; if it really
+	     is, rather than a quirk or bug in the sparc port, then I
+	     believe we'd see this elsewhere.  */
+	  /* If the symbol is weak, we do need to clear the value.
+	     Otherwise, the PLT entry would provide a definition for
+	     the symbol even if the symbol wasn't defined anywhere,
+	     and so the symbol would never be NULL.  */
+	  if ((h->elf_link_hash_flags & ELF_LINK_HASH_REF_REGULAR_NONWEAK)
+	      == 0)
+	    sym->st_value = 0;
+	}
+    }
+
+  if (h->got.offset != (bfd_vma) -1)
+    {
+      asection *sgot;
+      asection *srela;
+      Elf_Internal_Rela rela;
+
+      /* This symbol has an entry in the global offset table.  Set it up.  */
+
+      sgot = bfd_get_section_by_name (dynobj, ".got");
+      srela = bfd_get_section_by_name (dynobj, ".rela.got");
+      BFD_ASSERT (sgot != NULL && srela != NULL);
+
+      rela.r_offset = (sgot->output_section->vma
+		       + sgot->output_offset
+		       + (h->got.offset &~ 1));
+
+      /* If this is a static link, or it is a -Bsymbolic link and the
+	 symbol is defined locally or was forced to be local because
+	 of a version file, we just want to emit a RELATIVE reloc.
+	 The entry in the global offset table will already have been
+	 initialized in the relocate_section function.  */
+      if (! elf_hash_table (info)->dynamic_sections_created
+	  || (info->shared
+	      && (info->symbolic || h->dynindx == -1)
+	      && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR)))
+	{
+	  rela.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+	  rela.r_addend = bfd_get_signed_32 (output_bfd,
+					     (sgot->contents
+					      + (h->got.offset & ~1)));
+	}
+      else
+	{
+	  bfd_put_32 (output_bfd, (bfd_vma) 0,
+		      sgot->contents + (h->got.offset & ~1));
+	  rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_GLOB_DAT);
+	  rela.r_addend = 0;
+	}
+
+      bfd_elf32_swap_reloca_out (output_bfd, &rela,
+				 ((Elf32_External_Rela *) srela->contents
+				  + srela->reloc_count));
+      ++srela->reloc_count;
+    }
+
+  if ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_COPY) != 0)
+    {
+      asection *s;
+      Elf_Internal_Rela rela;
+
+      /* This symbol needs a copy reloc.  Set it up.  */
+
+      BFD_ASSERT (h->dynindx != -1
+		  && (h->root.type == bfd_link_hash_defined
+		      || h->root.type == bfd_link_hash_defweak));
+
+      s = bfd_get_section_by_name (h->root.u.def.section->owner,
+				   ".rela.bss");
+      BFD_ASSERT (s != NULL);
+
+      rela.r_offset = (h->root.u.def.value
+		       + h->root.u.def.section->output_section->vma
+		       + h->root.u.def.section->output_offset);
+      rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_COPY);
+      rela.r_addend = 0;
+      bfd_elf32_swap_reloca_out (output_bfd, &rela,
+				 ((Elf32_External_Rela *) s->contents
+				  + s->reloc_count));
+      ++s->reloc_count;
+    }
+
+  /* Mark _DYNAMIC and _GLOBAL_OFFSET_TABLE_ as absolute.  */
+  if (strcmp (h->root.root.string, "_DYNAMIC") == 0
+      || strcmp (h->root.root.string, "_GLOBAL_OFFSET_TABLE_") == 0)
+    sym->st_shndx = SHN_ABS;
+
+  return true;
+}
+
+/* Finish up the dynamic sections.  */
+
+static boolean
+elf_cris_finish_dynamic_sections (output_bfd, info)
+     bfd *output_bfd;
+     struct bfd_link_info *info;
+{
+  bfd *dynobj;
+  asection *sgot;
+  asection *sdyn;
+
+  dynobj = elf_hash_table (info)->dynobj;
+
+  sgot = bfd_get_section_by_name (dynobj, ".got.plt");
+  BFD_ASSERT (sgot != NULL);
+  sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
+
+  if (elf_hash_table (info)->dynamic_sections_created)
+    {
+      asection *splt;
+      Elf32_External_Dyn *dyncon, *dynconend;
+
+      splt = bfd_get_section_by_name (dynobj, ".plt");
+      BFD_ASSERT (splt != NULL && sdyn != NULL);
+
+      dyncon = (Elf32_External_Dyn *) sdyn->contents;
+      dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->_raw_size);
+      for (; dyncon < dynconend; dyncon++)
+	{
+	  Elf_Internal_Dyn dyn;
+	  asection *s;
+
+	  bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn);
+
+	  switch (dyn.d_tag)
+	    {
+	    default:
+	      break;
+
+	    case DT_PLTGOT:
+	      s = bfd_get_section_by_name (output_bfd, ".got");
+	      BFD_ASSERT (s != NULL);
+	      dyn.d_un.d_ptr = s->vma;
+	      bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+	      break;
+
+	    case DT_JMPREL:
+	      /* Yes, we *can* have a .plt and no .plt.rela, for instance
+		 if all symbols are found in the .got (not .got.plt).  */
+	      s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+	      dyn.d_un.d_ptr = s != NULL ? s->vma : 0;
+	      bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+	      break;
+
+	    case DT_PLTRELSZ:
+	      s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+	      if (s == NULL)
+		dyn.d_un.d_val = 0;
+	      else if (s->_cooked_size != 0)
+		dyn.d_un.d_val = s->_cooked_size;
+	      else
+		dyn.d_un.d_val = s->_raw_size;
+	      bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+	      break;
+
+	    case DT_RELASZ:
+	      /* The procedure linkage table relocs (DT_JMPREL) should
+		 not be included in the overall relocs (DT_RELA).
+		 Therefore, we override the DT_RELASZ entry here to
+		 make it not include the JMPREL relocs.  Since the
+		 linker script arranges for .rela.plt to follow all
+		 other relocation sections, we don't have to worry
+		 about changing the DT_RELA entry.  */
+	      s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+	      if (s != NULL)
+		{
+		  if (s->_cooked_size != 0)
+		    dyn.d_un.d_val -= s->_cooked_size;
+		  else
+		    dyn.d_un.d_val -= s->_raw_size;
+		}
+	      bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+	      break;
+	    }
+	}
+
+      /* Fill in the first entry in the procedure linkage table.  */
+      if (splt->_raw_size > 0)
+	{
+	  if (info->shared)
+	    memcpy (splt->contents, elf_cris_pic_plt0_entry, PLT_ENTRY_SIZE);
+	  else
+            {
+	      memcpy (splt->contents, elf_cris_plt0_entry, PLT_ENTRY_SIZE);
+	      bfd_put_32 (output_bfd,
+			  sgot->output_section->vma + sgot->output_offset + 4,
+			  splt->contents + 6);
+	      bfd_put_32 (output_bfd,
+			  sgot->output_section->vma + sgot->output_offset + 8,
+			  splt->contents + 14);
+
+              elf_section_data (splt->output_section)->this_hdr.sh_entsize
+               = PLT_ENTRY_SIZE;
+            }
+	}
+    }
+
+  /* Fill in the first three entries in the global offset table.  */
+  if (sgot->_raw_size > 0)
+    {
+      if (sdyn == NULL)
+	bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents);
+      else
+	bfd_put_32 (output_bfd,
+		    sdyn->output_section->vma + sdyn->output_offset,
+		    sgot->contents);
+      bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 4);
+      bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 8);
+    }
+
+  elf_section_data (sgot->output_section)->this_hdr.sh_entsize = 4;
+
+  return true;
+}
+
 /* Return the section that should be marked against GC for a given
    relocation.  */
 
@@ -513,12 +1737,475 @@ cris_elf_gc_sweep_hook (abfd, info, sec, relocs)
      asection *                sec ATTRIBUTE_UNUSED;
      const Elf_Internal_Rela * relocs ATTRIBUTE_UNUSED;
 {
+  Elf_Internal_Shdr *symtab_hdr;
+  struct elf_link_hash_entry **sym_hashes;
+  bfd_signed_vma *local_got_refcounts;
+  const Elf_Internal_Rela *rel, *relend;
+  unsigned long r_symndx;
+  struct elf_link_hash_entry *h;
+  bfd *dynobj;
+  asection *sgot;
+  asection *srelgot;
+
+  symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
+  sym_hashes = elf_sym_hashes (abfd);
+  local_got_refcounts = elf_local_got_refcounts (abfd);
+
+  dynobj = elf_hash_table (info)->dynobj;
+  if (dynobj == NULL)
+    return true;
+
+  sgot = bfd_get_section_by_name (dynobj, ".got");
+  srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+
+  relend = relocs + sec->reloc_count;
+  for (rel = relocs; rel < relend; rel++)
+    {
+      switch (ELF32_R_TYPE (rel->r_info))
+	{
+	case R_CRIS_16_GOT:
+	case R_CRIS_32_GOT:
+	  r_symndx = ELF32_R_SYM (rel->r_info);
+	  if (r_symndx >= symtab_hdr->sh_info)
+	    {
+	      h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+	      if (h->got.refcount > 0)
+		{
+		  --h->got.refcount;
+		  if (h->got.refcount == 0)
+		    {
+		      /* We don't need the .got entry any more.  */
+		      sgot->_raw_size -= 4;
+		      srelgot->_raw_size -= sizeof (Elf32_External_Rela);
+		    }
+		}
+	      break;
+	    }
+
+	local_got_reloc:
+	  if (local_got_refcounts != NULL)
+	    {
+	      if (local_got_refcounts[r_symndx] > 0)
+		{
+		  --local_got_refcounts[r_symndx];
+		  if (local_got_refcounts[r_symndx] == 0)
+		    {
+		      /* We don't need the .got entry any more.  */
+		      sgot->_raw_size -= 4;
+		      if (info->shared)
+			srelgot->_raw_size -= sizeof (Elf32_External_Rela);
+		    }
+		}
+	    }
+	  break;
+
+	case R_CRIS_16_GOTPLT:
+	case R_CRIS_32_GOTPLT:
+	  /* For local symbols, treat these like GOT relocs.  */
+	  r_symndx = ELF32_R_SYM (rel->r_info);
+	  if (r_symndx < symtab_hdr->sh_info)
+	    goto local_got_reloc;
+
+	case R_CRIS_32_PLT_GOTREL:
+	  /* FIXME: We don't garbage-collect away the .got section.  */
+	  if (local_got_refcounts != NULL)
+	    local_got_refcounts[-1]--;
+	  /* Fall through.  */
+
+	case R_CRIS_8_PCREL:
+	case R_CRIS_16_PCREL:
+	case R_CRIS_32_PCREL:
+	case R_CRIS_32_PLT_PCREL:
+	  r_symndx = ELF32_R_SYM (rel->r_info);
+	  if (r_symndx >= symtab_hdr->sh_info)
+	    {
+	      h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+	      if (h->plt.refcount > 0)
+		--h->plt.refcount;
+	    }
+	  break;
+
+	default:
+	  break;
+	}
+    }
+
+  return true;
+}
+
+/* Make sure we emit a GOT entry if the symbol was supposed to have a PLT
+   entry but we found we will not create any.  Called when we find we will
+   not have any PLT for this symbol, by elf_cris_adjust_dynamic_symbol
+   when we're doing a proper dynamic link, or
+   elf_cris_size_dynamic_sections if no dynamic sections will be created
+   (we're only linking static objects).  */
+
+static boolean
+elf_cris_adjust_gotplt_to_got (h, p)
+     struct elf_cris_link_hash_entry *h;
+     PTR p;
+{
+  struct bfd_link_info *info = (struct bfd_link_info *) p;
+  bfd *dynobj = elf_hash_table (info)->dynobj;
+
+  BFD_ASSERT (dynobj != NULL);
+
+  /* If nobody wanted a GOTPLT with this symbol, we're done.  */
+  if (h->gotplt_refcount <= 0)
+    return true;
+
+  if (h->root.got.refcount > 0)
+    {
+      /* There's a GOT entry for this symbol.  Just adjust the refcount.
+	 Probably not necessary at this stage, but keeping it accurate
+	 helps avoiding surprises later.  */
+      h->root.got.refcount += h->gotplt_refcount;
+      h->gotplt_refcount = -1;
+    }
+  else
+    {
+      /* No GOT entry for this symbol.  We need to create one.
+	 FIXME: This should be a *local* got, not a global one.
+	 Seriously.  */
+      asection *sgot = bfd_get_section_by_name (dynobj, ".got");
+      asection *srelgot
+	= bfd_get_section_by_name (dynobj, ".rela.got");
+
+      /* Put an accurate refcount there.  */
+      h->root.got.refcount = h->gotplt_refcount;
+
+      h->gotplt_refcount = -1;
+
+      /* We always have a .got section when there are dynamic
+	 relocs.  */
+      BFD_ASSERT (sgot != NULL /* Surely have .got section.  */);
+
+      /* We might have had a PLT but with no GOT entry and
+	 further no GOT reloc section at all needed before.
+	 Add it.  */
+      if (srelgot == NULL)
+	{
+	  srelgot = bfd_make_section (dynobj, ".rela.got");
+
+	  if (srelgot == NULL
+	      || !bfd_set_section_flags (dynobj, srelgot,
+					 (SEC_ALLOC
+					  | SEC_LOAD
+					  | SEC_HAS_CONTENTS
+					  | SEC_IN_MEMORY
+					  | SEC_LINKER_CREATED
+					  | SEC_READONLY))
+	      || !bfd_set_section_alignment (dynobj, srelgot, 2))
+	    return false;
+	}
+
+      /* Allocate space in the .got section.  */
+      sgot->_raw_size += 4;
+
+      /* Allocate relocation space.  */
+      srelgot->_raw_size += sizeof (Elf32_External_Rela);
+    }
+
+  return true;
+}
+
+/* Try to fold PLT entries with GOT entries.  There are two cases when we
+   want to do this:
+
+   - When all PLT references are GOTPLT references, and there are GOT
+     references.  We don't have to generate a PLT at all.
+
+   - When there are both (ordinary) PLT references and GOT references.
+     We want to make the PLT reference use the ordinary GOT entry rather
+     than a run-time dynamically resolved GOTPLT entry (since the GOT
+     entry will have to be resolved at startup anyway).
+
+   Though the latter case is handled when room for the PLT is allocated,
+   not here.
+
+   Note that this function is called before symbols are forced local by
+   version scripts.  The differing cases are handled by
+   elf_cris_hide_symbol.  */
+
+static boolean
+elf_cris_try_fold_plt_to_got (h, p)
+     struct elf_cris_link_hash_entry *h;
+     PTR p;
+{
+  struct bfd_link_info *info = (struct bfd_link_info *) p;
+
+  /* If there are no GOT references for this symbol, we can't fold any
+     other reference so there's nothing to do.  Likewise if there are no
+     PLT references; GOTPLT references included.  */
+  if (h->root.got.refcount <= 0 || h->root.plt.refcount <= 0)
+    return true;
+
+  /* GOTPLT relocs are supposed to be included into the PLT refcount.  */
+  BFD_ASSERT (h->gotplt_refcount <= h->root.plt.refcount);
+
+  if (h->gotplt_refcount == h->root.plt.refcount)
+    {
+      /* Th only PLT references are GOTPLT references, and there are GOT
+	 references.  Convert PLT to GOT references.  */
+      if (! elf_cris_adjust_gotplt_to_got (h, info))
+	return false;
+
+      /* Clear the PLT references, so no PLT will be created.  */
+      h->root.plt.offset = (bfd_vma) -1;
+    }
+
+  return true;
+}
+
+/* Our own version of hide_symbol, so that we can adjust a GOTPLT reloc
+   to use a GOT entry (and create one) rather than requiring a GOTPLT
+   entry.  */
+
+static void
+elf_cris_hide_symbol (info, h)
+     struct bfd_link_info *info;
+     struct elf_link_hash_entry *h;
+{
+  elf_cris_adjust_gotplt_to_got ((struct elf_cris_link_hash_entry *) h, info);
+
+  _bfd_elf_link_hash_hide_symbol (info, h);
+}
+
+/* Adjust a symbol defined by a dynamic object and referenced by a
+   regular object.  The current definition is in some section of the
+   dynamic object, but we're not including those sections.  We have to
+   change the definition to something the rest of the link can
+   understand.  */
+
+static boolean
+elf_cris_adjust_dynamic_symbol (info, h)
+     struct bfd_link_info *info;
+     struct elf_link_hash_entry *h;
+{
+  bfd *dynobj;
+  asection *s;
+  unsigned int power_of_two;
+
+  dynobj = elf_hash_table (info)->dynobj;
+
+  /* Make sure we know what is going on here.  */
+  BFD_ASSERT (dynobj != NULL
+	      && ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT)
+		  || h->weakdef != NULL
+		  || ((h->elf_link_hash_flags
+		       & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+		      && (h->elf_link_hash_flags
+			  & ELF_LINK_HASH_REF_REGULAR) != 0
+		      && (h->elf_link_hash_flags
+			  & ELF_LINK_HASH_DEF_REGULAR) == 0)));
+
+  /* If this is a function, put it in the procedure linkage table.  We
+     will fill in the contents of the procedure linkage table later,
+     when we know the address of the .got section.  */
+  if (h->type == STT_FUNC
+      || (h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0)
+    {
+      if (! info->shared
+	  && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) == 0
+	  && (h->elf_link_hash_flags & ELF_LINK_HASH_REF_DYNAMIC) == 0
+	  /* We must always create the plt entry if it was referenced by a
+	     PLT relocation.  In this case we already recorded it as a
+	     dynamic symbol.  */
+	  /* FIXME: m68k and i386 differ here, for unclear reasons.  */
+	  && h->dynindx == -1)
+	{
+	  /* This case can occur if we saw a PLT reloc in an input file,
+	     but the symbol was never referred to by a dynamic object.  In
+	     such a case, we don't actually need to build a procedure
+	     linkage table, and we can just do a PC reloc instead.  */
+	  BFD_ASSERT ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0);
+	  h->plt.offset = (bfd_vma) -1;
+
+	  return
+	    elf_cris_adjust_gotplt_to_got ((struct
+					    elf_cris_link_hash_entry *) h,
+					   info);
+	}
+
+      /* If there are only GOT references and GOTPLT references to this
+	 PLT entry, get rid of the PLT.  */
+      if (! elf_cris_try_fold_plt_to_got ((struct elf_cris_link_hash_entry *)
+					  h, info))
+	return false;
+
+      /* GC or folding may have rendered this entry unused.  */
+      if (h->plt.refcount <= 0)
+	{
+	  h->elf_link_hash_flags &= ~ELF_LINK_HASH_NEEDS_PLT;
+	  h->plt.offset = (bfd_vma) -1;
+	  return true;
+	}
+
+      /* Make sure this symbol is output as a dynamic symbol.  */
+      if (h->dynindx == -1)
+	{
+	  if (! bfd_elf32_link_record_dynamic_symbol (info, h))
+	    return false;
+	}
+
+      s = bfd_get_section_by_name (dynobj, ".plt");
+      BFD_ASSERT (s != NULL);
+
+      /* If this is the first .plt entry, make room for the special
+	 first entry.  */
+      if (s->_raw_size == 0)
+	s->_raw_size += PLT_ENTRY_SIZE;
+
+      /* If this symbol is not defined in a regular file, and we are
+	 not generating a shared library, then set the symbol to this
+	 location in the .plt.  This is required to make function
+	 pointers compare as equal between the normal executable and
+	 the shared library.  */
+      if (!info->shared
+	  && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+	{
+	  h->root.u.def.section = s;
+	  h->root.u.def.value = s->_raw_size;
+	}
+
+      /* If there's already a GOT entry, use that, not a .got.plt.  The
+	 GOT fields still have a reference count when we get here; it's
+	 not yet changed to offsets.  */
+      if (h->got.refcount > 0)
+	{
+	  h->got.refcount += h->plt.refcount;
+
+	  /* Mark the PLT offset to use the GOT entry by setting the low
+	     bit in the plt offset; it is always a multiple of
+	     pointer-size.  */
+	  BFD_ASSERT ((s->_raw_size & 3) == 0);
+
+	  /* Change the PLT refcount to an offset.  */
+	  h->plt.offset = s->_raw_size;
+
+	  /* By not setting gotplt_offset (i.e. it remains at 0), we signal
+	     that the got entry should be used instead.  */
+	  BFD_ASSERT (((struct elf_cris_link_hash_entry *)
+		       h)->gotplt_offset == 0);
+
+	  /* Make room for this entry.  */
+	  s->_raw_size += PLT_ENTRY_SIZE;
+
+	  return true;
+	}
+
+      /* No GOT reference for this symbol; prepare for an ordinary PLT.  */
+      h->plt.offset = s->_raw_size;
+
+      /* Make room for this entry.  */
+      s->_raw_size += PLT_ENTRY_SIZE;
+
+      /* We also need to make an entry in the .got.plt section, which
+	 will be placed in the .got section by the linker script.  */
+      ((struct elf_cris_link_hash_entry *) h)->gotplt_offset
+	= elf_cris_hash_table (info)->next_gotplt_entry;
+      elf_cris_hash_table (info)->next_gotplt_entry += 4;
+
+      s = bfd_get_section_by_name (dynobj, ".got.plt");
+      BFD_ASSERT (s != NULL);
+      s->_raw_size += 4;
+
+      /* We also need to make an entry in the .rela.plt section.  */
+
+      s = bfd_get_section_by_name (dynobj, ".rela.plt");
+      BFD_ASSERT (s != NULL);
+      s->_raw_size += sizeof (Elf32_External_Rela);
+
+      return true;
+    }
+
+  /* Reinitialize the plt offset now that it is not used as a reference
+     count any more.  */
+  h->plt.offset = (bfd_vma) -1;
+
+  /* If this is a weak symbol, and there is a real definition, the
+     processor independent code will have arranged for us to see the
+     real definition first, and we can just use the same value.  */
+  if (h->weakdef != NULL)
+    {
+      BFD_ASSERT (h->weakdef->root.type == bfd_link_hash_defined
+		  || h->weakdef->root.type == bfd_link_hash_defweak);
+      h->root.u.def.section = h->weakdef->root.u.def.section;
+      h->root.u.def.value = h->weakdef->root.u.def.value;
+      return true;
+    }
+
+  /* This is a reference to a symbol defined by a dynamic object which
+     is not a function.  */
+
+  /* If we are creating a shared library, we must presume that the
+     only references to the symbol are via the global offset table.
+     For such cases we need not do anything here; the relocations will
+     be handled correctly by relocate_section.  */
+  if (info->shared)
+    return true;
+
+  /* If there are no references to this symbol that do not use the
+     GOT, we don't need to generate a copy reloc.  */
+  if ((h->elf_link_hash_flags & ELF_LINK_NON_GOT_REF) == 0)
+    return true;
+
+  /* We must allocate the symbol in our .dynbss section, which will
+     become part of the .bss section of the executable.  There will be
+     an entry for this symbol in the .dynsym section.  The dynamic
+     object will contain position independent code, so all references
+     from the dynamic object to this symbol will go through the global
+     offset table.  The dynamic linker will use the .dynsym entry to
+     determine the address it must put in the global offset table, so
+     both the dynamic object and the regular object will refer to the
+     same memory location for the variable.  */
+
+  s = bfd_get_section_by_name (dynobj, ".dynbss");
+  BFD_ASSERT (s != NULL);
+
+  /* We must generate a R_CRIS_COPY reloc to tell the dynamic linker to
+     copy the initial value out of the dynamic object and into the
+     runtime process image.  We need to remember the offset into the
+     .rela.bss section we are going to use.  */
+  if ((h->root.u.def.section->flags & SEC_ALLOC) != 0)
+    {
+      asection *srel;
+
+      srel = bfd_get_section_by_name (dynobj, ".rela.bss");
+      BFD_ASSERT (srel != NULL);
+      srel->_raw_size += sizeof (Elf32_External_Rela);
+      h->elf_link_hash_flags |= ELF_LINK_HASH_NEEDS_COPY;
+    }
+
+  /* Historic precedent: m68k and i386 allow max 8-byte alignment for the
+     thing to copy; so do we.  */
+
+  /* We need to figure out the alignment required for this symbol.  I
+     have no idea how ELF linkers handle this.  */
+  power_of_two = bfd_log2 (h->size);
+  if (power_of_two > 3)
+    power_of_two = 3;
+
+  /* Apply the required alignment.  */
+  s->_raw_size = BFD_ALIGN (s->_raw_size,
+			    (bfd_size_type) (1 << power_of_two));
+  if (power_of_two > bfd_get_section_alignment (dynobj, s))
+    {
+      if (!bfd_set_section_alignment (dynobj, s, power_of_two))
+	return false;
+    }
+
+  /* Define the symbol as being at this point in the section.  */
+  h->root.u.def.section = s;
+  h->root.u.def.value = s->_raw_size;
+
+  /* Increment the section size to make room for the symbol.  */
+  s->_raw_size += h->size;
+
   return true;
 }
 
-/* Look through the relocs for a section during the first phase.
-   Since we don't do .gots or .plts, we just need to consider the
-   virtual table relocs for gc.  */
+/* Look through the relocs for a section during the first phase.  */
 
 static boolean
 cris_elf_check_relocs (abfd, info, sec, relocs)
@@ -527,17 +2214,29 @@ cris_elf_check_relocs (abfd, info, sec, relocs)
      asection *sec;
      const Elf_Internal_Rela *relocs;
 {
+  bfd *dynobj;
   Elf_Internal_Shdr *symtab_hdr;
   struct elf_link_hash_entry **sym_hashes, **sym_hashes_end;
+  bfd_signed_vma *local_got_refcounts;
   const Elf_Internal_Rela *rel;
   const Elf_Internal_Rela *rel_end;
+  asection *sgot;
+  asection *srelgot;
+  asection *sreloc;
 
   if (info->relocateable)
     return true;
 
+  dynobj = elf_hash_table (info)->dynobj;
   symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
   sym_hashes = elf_sym_hashes (abfd);
   sym_hashes_end = sym_hashes + symtab_hdr->sh_size/sizeof (Elf32_External_Sym);
+  local_got_refcounts = elf_local_got_refcounts (abfd);
+
+  sgot = NULL;
+  srelgot = NULL;
+  sreloc = NULL;
+
   if (!elf_bad_symtab (abfd))
     sym_hashes_end -= symtab_hdr->sh_info;
 
@@ -546,6 +2245,7 @@ cris_elf_check_relocs (abfd, info, sec, relocs)
     {
       struct elf_link_hash_entry *h;
       unsigned long r_symndx;
+      enum elf_cris_reloc_type r_type;
 
       r_symndx = ELF32_R_SYM (rel->r_info);
       if (r_symndx < symtab_hdr->sh_info)
@@ -553,8 +2253,346 @@ cris_elf_check_relocs (abfd, info, sec, relocs)
       else
         h = sym_hashes[r_symndx - symtab_hdr->sh_info];
 
+      r_type = ELF32_R_TYPE (rel->r_info);
+
+      /* Some relocs require linker-created sections; we need to hang them
+	 on the first input bfd we found that contained dynamic relocs.  */
+      switch (r_type)
+	{
+	case R_CRIS_16_GOT:
+	case R_CRIS_32_GOT:
+	case R_CRIS_32_GOTREL:
+	case R_CRIS_32_PLT_GOTREL:
+	case R_CRIS_32_PLT_PCREL:
+	case R_CRIS_16_GOTPLT:
+	case R_CRIS_32_GOTPLT:
+	  if (dynobj == NULL)
+	    {
+	      elf_hash_table (info)->dynobj = dynobj = abfd;
+
+	      /* Create the .got section, so we can assume it's always
+		 present whenever there's a dynobj.  */
+	      if (!_bfd_elf_create_got_section (dynobj, info))
+		return false;
+	    }
+	  break;
+
+	default:
+	  break;
+	}
+
+      /* Some relocs require a global offset table (but perhaps not a
+	 specific GOT entry).  */
+      switch (ELF32_R_TYPE (rel->r_info))
+	{
+	case R_CRIS_16_GOT:
+	case R_CRIS_32_GOT:
+	case R_CRIS_32_GOTREL:
+	case R_CRIS_32_PLT_GOTREL:
+	  if (sgot == NULL)
+	    sgot = bfd_get_section_by_name (dynobj, ".got");
+
+	  if (local_got_refcounts == NULL)
+	    {
+	      size_t size;
+
+	      /* We use index local_got_refcounts[-1] to count all
+		 GOT-relative relocations that do not have explicit
+		 GOT entries.  */
+	      size = (symtab_hdr->sh_info + 1) * sizeof (bfd_signed_vma);
+	      local_got_refcounts = ((bfd_signed_vma *)
+				     bfd_alloc (abfd, size));
+	      if (local_got_refcounts == NULL)
+		return false;
+	      memset (local_got_refcounts, -1, size);
+
+	      local_got_refcounts++;
+	      elf_local_got_refcounts (abfd) = local_got_refcounts;
+	    }
+	  break;
+
+	default:
+	  break;
+	}
+
       switch (ELF32_R_TYPE (rel->r_info))
         {
+	case R_CRIS_16_GOTPLT:
+	case R_CRIS_32_GOTPLT:
+	  /* Mark that we need a GOT entry if the PLT entry (and its GOT
+	     entry) is eliminated.  We can only do this for a non-local
+	     symbol.  */
+	  if (h != NULL)
+	    {
+	      ((struct elf_cris_link_hash_entry *) h)->gotplt_refcount++;
+	      goto handle_gotplt_reloc;
+	    }
+	  /* If h is NULL then this is a local symbol, and we must make a
+	     GOT entry for it, so handle it like a GOT reloc.  */
+	  /* Fall through.  */
+
+	case R_CRIS_16_GOT:
+	case R_CRIS_32_GOT:
+	  /* This symbol requires a global offset table entry.  */
+
+	  if (srelgot == NULL
+	      && (h != NULL || info->shared))
+	    {
+	      srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+	      if (srelgot == NULL)
+		{
+		  srelgot = bfd_make_section (dynobj, ".rela.got");
+		  if (srelgot == NULL
+		      || !bfd_set_section_flags (dynobj, srelgot,
+						 (SEC_ALLOC
+						  | SEC_LOAD
+						  | SEC_HAS_CONTENTS
+						  | SEC_IN_MEMORY
+						  | SEC_LINKER_CREATED
+						  | SEC_READONLY))
+		      || !bfd_set_section_alignment (dynobj, srelgot, 2))
+		    return false;
+		}
+	    }
+
+	  if (h != NULL)
+	    {
+	      if (h->got.refcount == -1)
+		{
+		  h->got.refcount = 1;
+
+		  /* Make sure this symbol is output as a dynamic symbol.  */
+		  if (h->dynindx == -1)
+		    {
+		      if (!bfd_elf32_link_record_dynamic_symbol (info, h))
+			return false;
+		    }
+
+		  /* Allocate space in the .got section.  */
+		  sgot->_raw_size += 4;
+		  /* Allocate relocation space.  */
+		  srelgot->_raw_size += sizeof (Elf32_External_Rela);
+		}
+	      else
+		h->got.refcount++;
+	    }
+	  else
+	    {
+	      /* This is a global offset table entry for a local symbol.  */
+	      if (local_got_refcounts[r_symndx] == -1)
+		{
+		  local_got_refcounts[r_symndx] = 1;
+
+		  sgot->_raw_size += 4;
+		  if (info->shared)
+		    {
+		      /* If we are generating a shared object, we need to
+			 output a R_CRIS_RELATIVE reloc so that the dynamic
+			 linker can adjust this GOT entry.  */
+		      srelgot->_raw_size += sizeof (Elf32_External_Rela);
+		    }
+		}
+	      else
+		local_got_refcounts[r_symndx]++;
+	    }
+	  break;
+
+	case R_CRIS_32_GOTREL:
+	  /* This reference requires a global offset table.
+	     FIXME: The actual refcount isn't used currently; the .got
+	     section can't be removed if there were any references in the
+	     input.  */
+	  local_got_refcounts[-1]++;
+	  break;
+
+	handle_gotplt_reloc:
+
+	case R_CRIS_32_PLT_GOTREL:
+	  /* This reference requires a global offset table.  */
+	  local_got_refcounts[-1]++;
+	  /* Fall through.  */
+
+	case R_CRIS_32_PLT_PCREL:
+	  /* This symbol requires a procedure linkage table entry.  We
+	     actually build the entry in adjust_dynamic_symbol,
+             because this might be a case of linking PIC code which is
+             never referenced by a dynamic object, in which case we
+             don't need to generate a procedure linkage table entry
+             after all.  */
+
+	  /* If this is a local symbol, we resolve it directly without
+	     creating a procedure linkage table entry.  */
+	  if (h == NULL)
+	    continue;
+
+	  h->elf_link_hash_flags |= ELF_LINK_HASH_NEEDS_PLT;
+	  if (h->plt.refcount == -1)
+	    h->plt.refcount = 1;
+	  else
+	    h->plt.refcount++;
+	  break;
+
+	case R_CRIS_8:
+	case R_CRIS_16:
+	case R_CRIS_32:
+	  /* Let's help debug shared library creation.  Any of these
+	     relocs can be used in shared libs, but pages containing them
+	     cannot be shared.  Don't warn for sections we don't care
+	     about, such as debug sections or non-constant sections.  We
+	     can't help tables of (global) function pointers, for example,
+	     though they must be emitted in a data section to avoid having
+	     impure text sections.  */
+	  if (info->shared
+	      && (sec->flags & SEC_ALLOC) != 0
+	      && (sec->flags & SEC_READONLY) != 0)
+	    {
+	      /* FIXME: How do we make this optionally a warning only?  */
+	      if (abfd->my_archive)
+		(*_bfd_error_handler)
+		  (_("%s(%s), section %s:\n  relocation %s should not be used in a shared object; recompile with -fPIC"),
+		   bfd_get_filename (bfd_my_archive (abfd)),
+		   bfd_get_filename (abfd),
+		   sec->name,
+		   cris_elf_howto_table[ELF32_R_TYPE (rel->r_info)].name);
+	      else
+		(*_bfd_error_handler)
+		  (_("%s, section %s:\n  relocation %s should not be used in a shared object; recompile with -fPIC"),
+		   bfd_get_filename (abfd),
+		   sec->name,
+		   cris_elf_howto_table[ELF32_R_TYPE (rel->r_info)].name);
+	    }
+	  /* Fall through.  */
+
+	case R_CRIS_8_PCREL:
+	case R_CRIS_16_PCREL:
+	case R_CRIS_32_PCREL:
+	  if (h != NULL)
+	    {
+	      h->elf_link_hash_flags |= ELF_LINK_NON_GOT_REF;
+
+	      /* Make sure a plt entry is created for this symbol if it
+		 turns out to be a function defined by a dynamic object.  */
+	      if (h->plt.refcount == -1)
+		h->plt.refcount = 1;
+	      else
+		h->plt.refcount++;
+	    }
+
+	  /* If we are creating a shared library and this is not a local
+	     symbol, we need to copy the reloc into the shared library.
+	     However when linking with -Bsymbolic and this is a global
+	     symbol which is defined in an object we are including in the
+	     link (i.e., DEF_REGULAR is set), then we can resolve the
+	     reloc directly.  At this point we have not seen all the input
+	     files, so it is possible that DEF_REGULAR is not set now but
+	     will be set later (it is never cleared).  In case of a weak
+	     definition, DEF_REGULAR may be cleared later by a strong
+	     definition in a shared library.  We account for that
+	     possibility below by storing information in the relocs_copied
+	     field of the hash table entry.  A similar situation occurs
+	     when creating shared libraries and symbol visibility changes
+	     render the symbol local.  */
+
+	  /* No need to do anything if we're not creating a shared object.  */
+	  if (! info->shared)
+	    break;
+
+	  /* We don't need to handle relocs into sections not going into
+	     the "real" output.  */
+	  if ((sec->flags & SEC_ALLOC) == 0)
+	    break;
+
+	  /* We can only eliminate PC-relative relocs.  */
+	  if (r_type == R_CRIS_8_PCREL
+	      || r_type == R_CRIS_16_PCREL
+	      || r_type == R_CRIS_32_PCREL)
+	    {
+	      /* If the symbol is local, then we can eliminate the reloc.  */
+	      if (h == NULL)
+		break;
+
+	      /* If this is with -Bsymbolic and the symbol isn't weak, and
+		 is defined by an ordinary object (the ones we include in
+		 this shared library) then we can also eliminate the
+		 reloc.  See comment above for more eliminable cases which
+		 we can't identify at this time.  */
+	      if (info->symbolic
+		  && h->root.type != bfd_link_hash_defweak
+		  && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0)
+		break;
+	    }
+
+	  /* We create a reloc section in dynobj and make room for this
+	     reloc.  */
+	  if (sreloc == NULL)
+	    {
+	      const char *name;
+
+	      name = (bfd_elf_string_from_elf_section
+		      (abfd,
+		       elf_elfheader (abfd)->e_shstrndx,
+		       elf_section_data (sec)->rel_hdr.sh_name));
+	      if (name == NULL)
+		return false;
+
+	      BFD_ASSERT (strncmp (name, ".rela", 5) == 0
+			  && strcmp (bfd_get_section_name (abfd, sec),
+				     name + 5) == 0);
+
+	      sreloc = bfd_get_section_by_name (dynobj, name);
+	      if (sreloc == NULL)
+		{
+		  sreloc = bfd_make_section (dynobj, name);
+		  if (sreloc == NULL
+		      || !bfd_set_section_flags (dynobj, sreloc,
+						 (SEC_ALLOC
+						  | SEC_LOAD
+						  | SEC_HAS_CONTENTS
+						  | SEC_IN_MEMORY
+						  | SEC_LINKER_CREATED
+						  | SEC_READONLY))
+		      || !bfd_set_section_alignment (dynobj, sreloc, 2))
+		    return false;
+		}
+	    }
+
+	  sreloc->_raw_size += sizeof (Elf32_External_Rela);
+
+	  /* If we are linking with -Bsymbolic, we count the number of PC
+	     relative relocations we have entered for this symbol, so that
+	     we can discard them again if the symbol is later defined by a
+	     regular object.  We know that h is really a pointer to an
+	     elf_cris_link_hash_entry.  */
+	  if ((ELF32_R_TYPE (rel->r_info) == R_CRIS_8_PCREL
+	       || ELF32_R_TYPE (rel->r_info) == R_CRIS_16_PCREL
+	       || ELF32_R_TYPE (rel->r_info) == R_CRIS_32_PCREL)
+	      && info->symbolic)
+	    {
+	      struct elf_cris_link_hash_entry *eh;
+	      struct elf_cris_pcrel_relocs_copied *p;
+
+	      eh = (struct elf_cris_link_hash_entry *) h;
+
+	      for (p = eh->pcrel_relocs_copied; p != NULL; p = p->next)
+		if (p->section == sreloc)
+		  break;
+
+	      if (p == NULL)
+		{
+		  p = ((struct elf_cris_pcrel_relocs_copied *)
+		       bfd_alloc (dynobj, sizeof *p));
+		  if (p == NULL)
+		    return false;
+		  p->next = eh->pcrel_relocs_copied;
+		  eh->pcrel_relocs_copied = p;
+		  p->section = sreloc;
+		  p->count = 0;
+		}
+
+	      ++p->count;
+	    }
+	  break;
+
         /* This relocation describes the C++ object vtable hierarchy.
            Reconstruct it for later use during GC.  */
         case R_CRIS_GNU_VTINHERIT:
@@ -574,7 +2612,249 @@ cris_elf_check_relocs (abfd, info, sec, relocs)
   return true;
 }
 
-/* Reject a file depending on underscores on symbols.  */
+/* Set the sizes of the dynamic sections.  */
+
+static boolean
+elf_cris_size_dynamic_sections (output_bfd, info)
+     bfd *output_bfd;
+     struct bfd_link_info *info;
+{
+  bfd *dynobj;
+  asection *s;
+  boolean plt;
+  boolean relocs;
+  boolean reltext;
+
+  dynobj = elf_hash_table (info)->dynobj;
+  BFD_ASSERT (dynobj != NULL);
+
+  if (elf_hash_table (info)->dynamic_sections_created)
+    {
+      /* Set the contents of the .interp section to the interpreter.  */
+      if (!info->shared)
+	{
+	  s = bfd_get_section_by_name (dynobj, ".interp");
+	  BFD_ASSERT (s != NULL);
+	  s->_raw_size = sizeof ELF_DYNAMIC_INTERPRETER;
+	  s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
+	}
+    }
+  else
+    {
+      /* Adjust all expected GOTPLT uses to use a GOT entry instead.  */
+      elf_cris_link_hash_traverse (elf_cris_hash_table (info),
+				   elf_cris_adjust_gotplt_to_got,
+				   (PTR) info);
+
+      /* We may have created entries in the .rela.got section.
+	 However, if we are not creating the dynamic sections, we will
+	 not actually use these entries.  Reset the size of .rela.got,
+	 which will cause it to get stripped from the output file
+	 below.  */
+      s = bfd_get_section_by_name (dynobj, ".rela.got");
+      if (s != NULL)
+	s->_raw_size = 0;
+    }
+
+  /* If this is a -Bsymbolic shared link, then we need to discard all PC
+     relative relocs against symbols defined in a regular object.  We
+     allocated space for them in the check_relocs routine, but we will not
+     fill them in in the relocate_section routine.  We also discard space
+     for relocs that have become for local symbols due to symbol
+     visibility changes.  */
+  if (info->shared)
+    elf_cris_link_hash_traverse (elf_cris_hash_table (info),
+				 elf_cris_discard_copies,
+				 (PTR) info);
+
+  /* The check_relocs and adjust_dynamic_symbol entry points have
+     determined the sizes of the various dynamic sections.  Allocate
+     memory for them.  */
+  plt = false;
+  relocs = false;
+  reltext = false;
+  for (s = dynobj->sections; s != NULL; s = s->next)
+    {
+      const char *name;
+      boolean strip;
+
+      if ((s->flags & SEC_LINKER_CREATED) == 0)
+	continue;
+
+      /* It's OK to base decisions on the section name, because none
+	 of the dynobj section names depend upon the input files.  */
+      name = bfd_get_section_name (dynobj, s);
+
+      strip = false;
+
+      if (strcmp (name, ".plt") == 0)
+	{
+	  if (s->_raw_size == 0)
+	    {
+	      /* Strip this section if we don't need it; see the
+                 comment below.  */
+	      strip = true;
+	    }
+	  else
+	    {
+	      /* Remember whether there is a PLT.  */
+	      plt = true;
+	    }
+	}
+      else if (strncmp (name, ".rela", 5) == 0)
+	{
+	  if (s->_raw_size == 0)
+	    {
+	      /* If we don't need this section, strip it from the
+		 output file.  This is mostly to handle .rela.bss and
+		 .rela.plt.  We must create both sections in
+		 create_dynamic_sections, because they must be created
+		 before the linker maps input sections to output
+		 sections.  The linker does that before
+		 adjust_dynamic_symbol is called, and it is that
+		 function which decides whether anything needs to go
+		 into these sections.  */
+	      strip = true;
+	    }
+	  else
+	    {
+	      asection *target;
+
+	      /* Remember whether there are any reloc sections other
+                 than .rela.plt.  */
+	      if (strcmp (name, ".rela.plt") != 0)
+		{
+		  const char *outname;
+
+		  relocs = true;
+
+		  /* If this relocation section applies to a read only
+		     section, then we probably need a DT_TEXTREL entry.
+		     The entries in the .rela.plt section are actually
+		     associated with .got.plt, which we created ourselves
+		     and so know is not readonly.  */
+		  outname = bfd_get_section_name (output_bfd,
+						  s->output_section);
+		  target
+		    = bfd_get_section_by_name (output_bfd,
+					       outname + strlen (".rela"));
+
+		  /* We have to test the .text section by name, becase for
+		     some reason it does not have SEC_READONLY set at this
+		     time.  That flag is actually set in ldmain.c:main
+		     specifically for ".text" at a time long after this
+		     function is called.  FIXME: This might be due to a
+		     general bug.  FIXME: Have testcase for this.  */
+		  if (target != NULL
+		      && (target->flags & SEC_ALLOC) != 0
+		      && ((target->flags & SEC_READONLY) != 0
+			  || strcmp (outname + strlen (".rela"),
+				     ".text") == 0))
+		    reltext = true;
+		}
+
+	      /* We use the reloc_count field as a counter if we need
+		 to copy relocs into the output file.  */
+	      s->reloc_count = 0;
+	    }
+	}
+      else if (strncmp (name, ".got", 4) != 0)
+	{
+	  /* It's not one of our sections, so don't allocate space.  */
+	  continue;
+	}
+
+      if (strip)
+	{
+	  _bfd_strip_section_from_output (info, s);
+	  continue;
+	}
+
+      /* Allocate memory for the section contents. We use bfd_zalloc here
+	 in case unused entries are not reclaimed before the section's
+	 contents are written out.  This should not happen, but this way
+	 if it does, we will not write out garbage.  For reloc sections,
+	 this will make entries have the type R_CRIS_NONE.  */
+      s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->_raw_size);
+      if (s->contents == NULL && s->_raw_size != 0)
+	return false;
+    }
+
+  if (elf_hash_table (info)->dynamic_sections_created)
+    {
+      /* Add some entries to the .dynamic section.  We fill in the
+	 values later, in elf_cris_finish_dynamic_sections, but we
+	 must add the entries now so that we get the correct size for
+	 the .dynamic section.  The DT_DEBUG entry is filled in by the
+	 dynamic linker and used by the debugger.  */
+      if (!info->shared)
+	{
+	  if (!bfd_elf32_add_dynamic_entry (info, DT_DEBUG, 0))
+	    return false;
+	}
+
+      if (plt)
+	{
+	  if (!bfd_elf32_add_dynamic_entry (info, DT_PLTGOT, 0)
+	      || !bfd_elf32_add_dynamic_entry (info, DT_PLTRELSZ, 0)
+	      || !bfd_elf32_add_dynamic_entry (info, DT_PLTREL, DT_RELA)
+	      || !bfd_elf32_add_dynamic_entry (info, DT_JMPREL, 0))
+	    return false;
+	}
+
+      if (relocs)
+	{
+	  if (!bfd_elf32_add_dynamic_entry (info, DT_RELA, 0)
+	      || !bfd_elf32_add_dynamic_entry (info, DT_RELASZ, 0)
+	      || !bfd_elf32_add_dynamic_entry (info, DT_RELAENT,
+					       sizeof (Elf32_External_Rela)))
+	    return false;
+	}
+
+      if (reltext)
+	{
+	  if (!bfd_elf32_add_dynamic_entry (info, DT_TEXTREL, 0))
+	    return false;
+	  info->flags |= DF_TEXTREL;
+	}
+    }
+
+  return true;
+}
+
+/* This function is called via elf_cris_link_hash_traverse if we are
+   creating a shared object.  In the -Bsymbolic case, it discards the
+   space allocated to copy PC relative relocs against symbols which
+   are defined in regular objects.  For the normal non-symbolic case,
+   we also discard space for relocs that have become local due to
+   symbol visibility changes.  We allocated space for them in the
+   check_relocs routine, but we won't fill them in in the
+   relocate_section routine.  */
+
+static boolean
+elf_cris_discard_copies (h, inf)
+     struct elf_cris_link_hash_entry *h;
+     PTR inf;
+{
+  struct elf_cris_pcrel_relocs_copied *s;
+  struct bfd_link_info *info = (struct bfd_link_info *) inf;
+
+  /* If a symbol has been forced local or we have found a regular
+     definition for the symbolic link case, then we won't be needing
+     any relocs.  */
+  if ((h->root.elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0
+      && ((h->root.elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0
+	  || info->symbolic))
+    {
+      for (s = h->pcrel_relocs_copied; s != NULL; s = s->next)
+	s->section->_raw_size -= s->count * sizeof (Elf32_External_Rel);
+    }
+
+  return true;
+}
+
+/* Reject a file depending on presence and expectation of prefixed
+   underscores on symbols.  */
 
 static boolean
 cris_elf_object_p (abfd)
@@ -691,6 +2971,28 @@ cris_elf_merge_private_bfd_data (ibfd, obfd)
 
 #define bfd_elf32_bfd_reloc_type_lookup		cris_reloc_type_lookup
 
+#define bfd_elf32_bfd_link_hash_table_create \
+	elf_cris_link_hash_table_create
+#define elf_backend_adjust_dynamic_symbol \
+	elf_cris_adjust_dynamic_symbol
+#define elf_backend_size_dynamic_sections \
+	elf_cris_size_dynamic_sections
+#define elf_backend_finish_dynamic_symbol \
+	elf_cris_finish_dynamic_symbol
+#define elf_backend_finish_dynamic_sections \
+	elf_cris_finish_dynamic_sections
+#define elf_backend_create_dynamic_sections \
+	_bfd_elf_create_dynamic_sections
+#define bfd_elf32_bfd_final_link \
+	_bfd_elf32_gc_common_final_link
+#define elf_backend_hide_symbol			elf_cris_hide_symbol
+
+#define elf_backend_want_got_plt	1
+#define elf_backend_plt_readonly	1
+#define elf_backend_want_plt_sym	0
+#define elf_backend_got_header_size	12
+#define elf_backend_plt_header_size	PLT_ENTRY_SIZE
+
 /* Later, we my want to optimize RELA entries into REL entries for dynamic
    linking and libraries (if it's a win of any significance).  Until then,
    take the easy route.  */