OSDN Git Service

bfd/
[pf3gnuchains/pf3gnuchains3x.git] / bfd / elf32-ppc.c
index 0ad1175..ae031df 100644 (file)
@@ -1,6 +1,6 @@
 /* PowerPC-specific support for 32-bit ELF
    Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
-   2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
+   2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
    Written by Ian Lance Taylor, Cygnus Support.
 
    This file is part of BFD, the Binary File Descriptor library.
@@ -157,6 +157,12 @@ static const bfd_vma ppc_elf_vxworks_pic_plt0_entry
 /* Offset of tp and dtp pointers from start of TLS block.  */
 #define TP_OFFSET      0x7000
 #define DTP_OFFSET     0x8000
+
+/* The value of a defined global symbol.  */
+#define SYM_VAL(SYM) \
+  ((SYM)->root.u.def.section->output_section->vma      \
+   + (SYM)->root.u.def.section->output_offset          \
+   + (SYM)->root.u.def.value)
 \f
 static reloc_howto_type *ppc_elf_howto_table[R_PPC_max];
 
@@ -747,7 +753,7 @@ static reloc_howto_type ppc_elf_howto_raw[] = {
         0xffff,                /* dst_mask */
         FALSE),                /* pcrel_offset */
 
-  /* Marker reloc for TLS.  */
+  /* Marker relocs for TLS.  */
   HOWTO (R_PPC_TLS,
         0,                     /* rightshift */
         2,                     /* size (0 = byte, 1 = short, 2 = long) */
@@ -762,6 +768,34 @@ static reloc_howto_type ppc_elf_howto_raw[] = {
         0,                     /* dst_mask */
         FALSE),                /* pcrel_offset */
 
+  HOWTO (R_PPC_TLSGD,
+        0,                     /* rightshift */
+        2,                     /* size (0 = byte, 1 = short, 2 = long) */
+        32,                    /* bitsize */
+        FALSE,                 /* pc_relative */
+        0,                     /* bitpos */
+        complain_overflow_dont, /* complain_on_overflow */
+        bfd_elf_generic_reloc, /* special_function */
+        "R_PPC_TLSGD",         /* name */
+        FALSE,                 /* partial_inplace */
+        0,                     /* src_mask */
+        0,                     /* dst_mask */
+        FALSE),                /* pcrel_offset */
+
+  HOWTO (R_PPC_TLSLD,
+        0,                     /* rightshift */
+        2,                     /* size (0 = byte, 1 = short, 2 = long) */
+        32,                    /* bitsize */
+        FALSE,                 /* pc_relative */
+        0,                     /* bitpos */
+        complain_overflow_dont, /* complain_on_overflow */
+        bfd_elf_generic_reloc, /* special_function */
+        "R_PPC_TLSLD",         /* name */
+        FALSE,                 /* partial_inplace */
+        0,                     /* src_mask */
+        0,                     /* dst_mask */
+        FALSE),                /* pcrel_offset */
+
   /* Computes the load module index of the load module that contains the
      definition of its TLS sym.  */
   HOWTO (R_PPC_DTPMOD32,
@@ -1348,6 +1382,20 @@ static reloc_howto_type ppc_elf_howto_raw[] = {
         0xffff,                /* dst_mask */
         FALSE),                /* pcrel_offset */
 
+  HOWTO (R_PPC_IRELATIVE,      /* 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_PPC_IRELATIVE",     /* name */
+        FALSE,                 /* partial_inplace */
+        0,                     /* src_mask */
+        0xffffffff,            /* dst_mask */
+        FALSE),                /* pcrel_offset */
+
   /* A 16 bit relative relocation.  */
   HOWTO (R_PPC_REL16,          /* type */
         0,                     /* rightshift */
@@ -1525,6 +1573,8 @@ ppc_elf_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
     case BFD_RELOC_CTOR:               r = R_PPC_ADDR32;               break;
     case BFD_RELOC_PPC_TOC16:          r = R_PPC_TOC16;                break;
     case BFD_RELOC_PPC_TLS:            r = R_PPC_TLS;                  break;
+    case BFD_RELOC_PPC_TLSGD:          r = R_PPC_TLSGD;                break;
+    case BFD_RELOC_PPC_TLSLD:          r = R_PPC_TLSLD;                break;
     case BFD_RELOC_PPC_DTPMOD:         r = R_PPC_DTPMOD32;             break;
     case BFD_RELOC_PPC_TPREL16:                r = R_PPC_TPREL16;              break;
     case BFD_RELOC_PPC_TPREL16_LO:     r = R_PPC_TPREL16_LO;           break;
@@ -2292,6 +2342,20 @@ ppc_elf_final_write_processing (bfd *abfd, bfd_boolean linker ATTRIBUTE_UNUSED)
 }
 \f
 static bfd_boolean
+is_nonpic_glink_stub (bfd *abfd, asection *glink, bfd_vma off)
+{
+  bfd_byte buf[GLINK_ENTRY_SIZE];
+
+  if (!bfd_get_section_contents (abfd, glink, buf, off, GLINK_ENTRY_SIZE))
+    return FALSE;
+
+  return ((bfd_get_32 (abfd, buf + 0) & 0xffff0000) == LIS_11
+         && (bfd_get_32 (abfd, buf + 4) & 0xffff0000) == LWZ_11_11
+         && bfd_get_32 (abfd, buf + 8) == MTCTR_11
+         && bfd_get_32 (abfd, buf + 12) == BCTR);
+}
+
+static bfd_boolean
 section_covers_vma (bfd *abfd ATTRIBUTE_UNUSED, asection *section, void *ptr)
 {
   bfd_vma vma = *(bfd_vma *) ptr;
@@ -2419,16 +2483,28 @@ ppc_elf_get_synthetic_symtab (bfd *abfd, long symcount, asymbol **syms,
            }
     }
 
+  count = relplt->size / sizeof (Elf32_External_Rela);
+  stub_vma = glink_vma - (bfd_vma) count * 16;
+  /* If the stubs are those for -shared/-pie then we might have
+     multiple stubs for each plt entry.  If that is the case then
+     there is no way to associate stubs with their plt entries short
+     of figuring out the GOT pointer value used in the stub.  */
+  if (!is_nonpic_glink_stub (abfd, glink,
+                            glink_vma - GLINK_ENTRY_SIZE - glink->vma))
+    return 0;
+
   slurp_relocs = get_elf_backend_data (abfd)->s->slurp_reloc_table;
   if (! (*slurp_relocs) (abfd, relplt, dynsyms, TRUE))
     return -1;
 
-  count = relplt->size / sizeof (Elf32_External_Rela);
-  stub_vma = glink_vma - (bfd_vma) count * 16;
   size = count * sizeof (asymbol);
   p = relplt->relocation;
   for (i = 0; i < count; i++, p++)
-    size += strlen ((*p->sym_ptr_ptr)->name) + sizeof ("@plt");
+    {
+      size += strlen ((*p->sym_ptr_ptr)->name) + sizeof ("@plt");
+      if (p->addend != 0)
+       size += sizeof ("+0x") - 1 + 8;
+    }
 
   size += sizeof (asymbol) + sizeof ("__glink");
 
@@ -2458,6 +2534,13 @@ ppc_elf_get_synthetic_symtab (bfd *abfd, long symcount, asymbol **syms,
       len = strlen ((*p->sym_ptr_ptr)->name);
       memcpy (names, (*p->sym_ptr_ptr)->name, len);
       names += len;
+      if (p->addend != 0)
+       {
+         memcpy (names, "+0x", sizeof ("+0x") - 1);
+         names += sizeof ("+0x") - 1;
+         bfd_sprintf_vma (abfd, names, p->addend);
+         names += strlen (names);
+       }
       memcpy (names, "@plt", sizeof ("@plt"));
       names += sizeof ("@plt");
       ++s;
@@ -2522,15 +2605,16 @@ struct ppc_elf_dyn_relocs
 };
 
 /* Track PLT entries needed for a given symbol.  We might need more
-   than one glink entry per symbol.  */
+   than one glink entry per symbol when generating a pic binary.  */
 struct plt_entry
 {
   struct plt_entry *next;
 
   /* -fPIC uses multiple GOT sections, one per file, called ".got2".
      This field stores the offset into .got2 used to initialise the
-     GOT pointer reg.  It will always be at least 32768 (and for
-     current gcc this is the only offset used).  */
+     GOT pointer reg.  It will always be at least 32768.  (Current
+     gcc always uses an offset of 32768, but ld -r will pack .got2
+     sections together resulting in larger offsets).  */
   bfd_vma addend;
 
   /* The .got2 section.  */
@@ -2607,6 +2691,7 @@ struct ppc_elf_link_hash_entry
 #define TLS_DTPREL      8      /* DTPREL reloc, => LD. */
 #define TLS_TLS                16      /* Any TLS reloc.  */
 #define TLS_TPRELGD    32      /* TPREL reloc resulting from GD->IE. */
+#define PLT_IFUNC      64      /* STT_GNU_IFUNC.  */
   char tls_mask;
 
   /* Nonzero if we have seen a small data relocation referring to this
@@ -2628,6 +2713,8 @@ struct ppc_elf_link_hash_table
   asection *glink;
   asection *plt;
   asection *relplt;
+  asection *iplt;
+  asection *reliplt;
   asection *dynbss;
   asection *relbss;
   asection *dynsbss;
@@ -2653,7 +2740,7 @@ struct ppc_elf_link_hash_table
     bfd_vma offset;
   } tlsld_got;
 
-  /* Offset of PltResolve function in glink.  */
+  /* Offset of branch table to PltResolve function in glink.  */
   bfd_vma glink_pltresolve;
 
   /* Size of reserved GOT entries.  */
@@ -2677,8 +2764,8 @@ struct ppc_elf_link_hash_table
   /* The size of the first PLT entry.  */
   int plt_initial_entry_size;
 
-  /* Small local sym to section mapping cache.  */
-  struct sym_sec_cache sym_sec;
+  /* Small local sym cache.  */
+  struct sym_cache sym_cache;
 };
 
 /* Get the PPC ELF linker hash table from a link_info structure.  */
@@ -2787,13 +2874,42 @@ ppc_elf_create_got (bfd *abfd, struct bfd_link_info *info)
        return FALSE;
     }
 
-  flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
-          | SEC_LINKER_CREATED | SEC_READONLY);
-  htab->relgot = bfd_make_section_with_flags (abfd, ".rela.got", flags);
-  if (!htab->relgot
-      || ! bfd_set_section_alignment (abfd, htab->relgot, 2))
+  htab->relgot = bfd_get_section_by_name (abfd, ".rela.got");
+  if (!htab->relgot)
+    abort ();
+
+  return TRUE;
+}
+
+static bfd_boolean
+ppc_elf_create_glink (bfd *abfd, struct bfd_link_info *info)
+{
+  struct ppc_elf_link_hash_table *htab = ppc_elf_hash_table (info);
+  asection *s;
+  flagword flags;
+
+  flags = (SEC_ALLOC | SEC_LOAD | SEC_CODE | SEC_READONLY | SEC_HAS_CONTENTS
+          | SEC_IN_MEMORY | SEC_LINKER_CREATED);
+  s = bfd_make_section_anyway_with_flags (abfd, ".glink", flags);
+  htab->glink = s;
+  if (s == NULL
+      || !bfd_set_section_alignment (abfd, s, 4))
+    return FALSE;
+
+  flags = SEC_ALLOC | SEC_LINKER_CREATED;
+  s = bfd_make_section_anyway_with_flags (abfd, ".iplt", flags);
+  htab->iplt = s;
+  if (s == NULL
+      || !bfd_set_section_alignment (abfd, s, 4))
     return FALSE;
 
+  flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_HAS_CONTENTS
+          | SEC_IN_MEMORY | SEC_LINKER_CREATED);
+  s = bfd_make_section_with_flags (abfd, ".rela.iplt", flags);
+  htab->reliplt = s;
+  if (s == NULL
+      || ! bfd_set_section_alignment (abfd, s, 2))
+    return FALSE;
   return TRUE;
 }
 
@@ -2817,13 +2933,8 @@ ppc_elf_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
   if (!_bfd_elf_create_dynamic_sections (abfd, info))
     return FALSE;
 
-  flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_HAS_CONTENTS
-          | SEC_IN_MEMORY | SEC_LINKER_CREATED);
-
-  s = bfd_make_section_anyway_with_flags (abfd, ".glink", flags | SEC_CODE);
-  htab->glink = s;
-  if (s == NULL
-      || !bfd_set_section_alignment (abfd, s, 4))
+  if (htab->glink == NULL
+      && !ppc_elf_create_glink (abfd, info))
     return FALSE;
 
   htab->dynbss = bfd_get_section_by_name (abfd, ".dynbss");
@@ -2836,6 +2947,8 @@ ppc_elf_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
   if (! info->shared)
     {
       htab->relbss = bfd_get_section_by_name (abfd, ".rela.bss");
+      flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_HAS_CONTENTS
+              | SEC_IN_MEMORY | SEC_LINKER_CREATED);
       s = bfd_make_section_with_flags (abfd, ".rela.sbss", flags);
       htab->relsbss = s;
       if (s == NULL
@@ -3009,6 +3122,9 @@ ppc_elf_add_symbol_hook (bfd *abfd,
       *valp = sym->st_size;
     }
 
+  if (ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC)
+    elf_tdata (info->output_bfd)->has_ifunc_symbols = TRUE;
+
   return TRUE;
 }
 \f
@@ -3157,41 +3273,44 @@ elf_create_pointer_linker_section (bfd *abfd,
   return TRUE;
 }
 
-static bfd_boolean
+static struct plt_entry **
 update_local_sym_info (bfd *abfd,
                       Elf_Internal_Shdr *symtab_hdr,
                       unsigned long r_symndx,
                       int tls_type)
 {
   bfd_signed_vma *local_got_refcounts = elf_local_got_refcounts (abfd);
+  struct plt_entry **local_plt;
   char *local_got_tls_masks;
 
   if (local_got_refcounts == NULL)
     {
       bfd_size_type size = symtab_hdr->sh_info;
 
-      size *= sizeof (*local_got_refcounts) + sizeof (*local_got_tls_masks);
+      size *= (sizeof (*local_got_refcounts)
+              + sizeof (*local_plt)
+              + sizeof (*local_got_tls_masks));
       local_got_refcounts = bfd_zalloc (abfd, size);
       if (local_got_refcounts == NULL)
-       return FALSE;
+       return NULL;
       elf_local_got_refcounts (abfd) = local_got_refcounts;
     }
 
-  local_got_refcounts[r_symndx] += 1;
-  local_got_tls_masks = (char *) (local_got_refcounts + symtab_hdr->sh_info);
+  local_plt = (struct plt_entry **) (local_got_refcounts + symtab_hdr->sh_info);
+  local_got_tls_masks = (char *) (local_plt + symtab_hdr->sh_info);
   local_got_tls_masks[r_symndx] |= tls_type;
-  return TRUE;
+  if (tls_type != PLT_IFUNC)
+    local_got_refcounts[r_symndx] += 1;
+  return local_plt + r_symndx;
 }
 
 static bfd_boolean
-update_plt_info (bfd *abfd, struct elf_link_hash_entry *h,
+update_plt_info (bfd *abfd, struct plt_entry **plist,
                 asection *sec, bfd_vma addend)
 {
   struct plt_entry *ent;
 
-  if (addend < 32768)
-    sec = NULL;
-  for (ent = h->plt.plist; ent != NULL; ent = ent->next)
+  for (ent = *plist; ent != NULL; ent = ent->next)
     if (ent->sec == sec && ent->addend == addend)
       break;
   if (ent == NULL)
@@ -3200,29 +3319,44 @@ update_plt_info (bfd *abfd, struct elf_link_hash_entry *h,
       ent = bfd_alloc (abfd, amt);
       if (ent == NULL)
        return FALSE;
-      ent->next = h->plt.plist;
+      ent->next = *plist;
       ent->sec = sec;
       ent->addend = addend;
       ent->plt.refcount = 0;
-      h->plt.plist = ent;
+      *plist = ent;
     }
   ent->plt.refcount += 1;
   return TRUE;
 }
 
 static struct plt_entry *
-find_plt_ent (struct elf_link_hash_entry *h, asection *sec, bfd_vma addend)
+find_plt_ent (struct plt_entry **plist, asection *sec, bfd_vma addend)
 {
   struct plt_entry *ent;
 
   if (addend < 32768)
     sec = NULL;
-  for (ent = h->plt.plist; ent != NULL; ent = ent->next)
+  for (ent = *plist; ent != NULL; ent = ent->next)
     if (ent->sec == sec && ent->addend == addend)
       break;
   return ent;
 }
 
+static bfd_boolean
+is_branch_reloc (enum elf_ppc_reloc_type r_type)
+{
+  return (r_type == R_PPC_PLTREL24
+         || r_type == R_PPC_LOCAL24PC
+         || r_type == R_PPC_REL24
+         || r_type == R_PPC_REL14
+         || r_type == R_PPC_REL14_BRTAKEN
+         || r_type == R_PPC_REL14_BRNTAKEN
+         || r_type == R_PPC_ADDR24
+         || r_type == R_PPC_ADDR14
+         || r_type == R_PPC_ADDR14_BRTAKEN
+         || r_type == R_PPC_ADDR14_BRNTAKEN);
+}
+
 static void
 bad_shared_reloc (bfd *abfd, enum elf_ppc_reloc_type r_type)
 {
@@ -3249,6 +3383,7 @@ ppc_elf_check_relocs (bfd *abfd,
   const Elf_Internal_Rela *rel;
   const Elf_Internal_Rela *rel_end;
   asection *got2, *sreloc;
+  struct elf_link_hash_entry *tga;
 
   if (info->relocatable)
     return TRUE;
@@ -3274,6 +3409,15 @@ ppc_elf_check_relocs (bfd *abfd,
     ppc_elf_howto_init ();
 
   htab = ppc_elf_hash_table (info);
+  if (htab->glink == NULL)
+    {
+      if (htab->elf.dynobj == NULL)
+       htab->elf.dynobj = abfd;
+      if (!ppc_elf_create_glink (htab->elf.dynobj, info))
+       return FALSE;
+    }
+  tga = elf_link_hash_lookup (&htab->elf, "__tls_get_addr",
+                             FALSE, FALSE, TRUE);
   symtab_hdr = &elf_symtab_hdr (abfd);
   sym_hashes = elf_sym_hashes (abfd);
   got2 = bfd_get_section_by_name (abfd, ".got2");
@@ -3285,7 +3429,8 @@ ppc_elf_check_relocs (bfd *abfd,
       unsigned long r_symndx;
       enum elf_ppc_reloc_type r_type;
       struct elf_link_hash_entry *h;
-      int tls_type = 0;
+      int tls_type;
+      struct plt_entry **ifunc;
 
       r_symndx = ELF32_R_SYM (rel->r_info);
       if (r_symndx < symtab_hdr->sh_info)
@@ -3312,9 +3457,75 @@ ppc_elf_check_relocs (bfd *abfd,
          BFD_ASSERT (h == htab->elf.hgot);
        }
 
+      tls_type = 0;
+      ifunc = NULL;
       r_type = ELF32_R_TYPE (rel->r_info);
+      if (!htab->is_vxworks)
+       {
+         if (h != NULL)
+           {
+             if (h->type == STT_GNU_IFUNC)
+               ifunc = &h->plt.plist;
+           }
+         else
+           {
+             Elf_Internal_Sym *isym = bfd_sym_from_r_symndx (&htab->sym_cache,
+                                                             abfd, r_symndx);
+             if (isym == NULL)
+               return FALSE;
+
+             if (ELF_ST_TYPE (isym->st_info) == STT_GNU_IFUNC
+                 && (!info->shared
+                     || is_branch_reloc (r_type)))
+               {
+                 bfd_vma addend;
+
+                 ifunc = update_local_sym_info (abfd, symtab_hdr, r_symndx,
+                                                PLT_IFUNC);
+                 if (ifunc == NULL)
+                   return FALSE;
+
+                 /* STT_GNU_IFUNC symbols must have a PLT entry;
+                    In a non-pie executable even when there are
+                    no plt calls.  */
+                 addend = 0;
+                 if (r_type == R_PPC_PLTREL24)
+                   {
+                     ppc_elf_tdata (abfd)->makes_plt_call = 1;
+                     if (info->shared)
+                       addend = rel->r_addend;
+                   }
+                 if (!update_plt_info (abfd, ifunc,
+                                       addend < 32768 ? NULL : got2, addend))
+                   return FALSE;
+               }
+           }
+       }
+
+      if (!htab->is_vxworks
+         && is_branch_reloc (r_type)
+         && h != NULL
+         && h == tga)
+       {
+         if (rel != relocs
+             && (ELF32_R_TYPE (rel[-1].r_info) == R_PPC_TLSGD
+                 || ELF32_R_TYPE (rel[-1].r_info) == R_PPC_TLSLD))
+           /* We have a new-style __tls_get_addr call with a marker
+              reloc.  */
+           ;
+         else
+           /* Mark this section as having an old-style call.  */
+           sec->has_tls_get_addr_call = 1;
+       }
+
       switch (r_type)
        {
+       case R_PPC_TLSGD:
+       case R_PPC_TLSLD:
+         /* These special tls relocs tie a call to __tls_get_addr with
+            its parameter symbol.  */
+         break;
+
        case R_PPC_GOT_TLSLD16:
        case R_PPC_GOT_TLSLD16_LO:
        case R_PPC_GOT_TLSLD16_HI:
@@ -3369,6 +3580,14 @@ ppc_elf_check_relocs (bfd *abfd,
            /* This is a global offset table entry for a local symbol.  */
            if (!update_local_sym_info (abfd, symtab_hdr, r_symndx, tls_type))
              return FALSE;
+
+         /* We may also need a plt entry if the symbol turns out to be
+            an ifunc.  */
+         if (h != NULL && !info->shared)
+           {
+             if (!update_plt_info (abfd, &h->plt.plist, NULL, 0))
+               return FALSE;
+           }
          break;
 
          /* Indirect .sdata relocation.  */
@@ -3479,8 +3698,11 @@ ppc_elf_check_relocs (bfd *abfd,
            h->non_got_ref = TRUE;
          break;
 
-       case R_PPC_PLT32:
        case R_PPC_PLTREL24:
+         if (h == NULL)
+           break;
+         /* Fall through */
+       case R_PPC_PLT32:
        case R_PPC_PLTREL32:
        case R_PPC_PLT16_LO:
        case R_PPC_PLT16_HI:
@@ -3514,10 +3736,12 @@ ppc_elf_check_relocs (bfd *abfd,
              if (r_type == R_PPC_PLTREL24)
                {
                  ppc_elf_tdata (abfd)->makes_plt_call = 1;
-                 addend = rel->r_addend;
+                 if (info->shared)
+                   addend = rel->r_addend;
                }
              h->needs_plt = 1;
-             if (!update_plt_info (abfd, h, got2, addend))
+             if (!update_plt_info (abfd, &h->plt.plist,
+                                   addend < 32768 ? NULL : got2, addend))
                return FALSE;
            }
          break;
@@ -3548,6 +3772,10 @@ ppc_elf_check_relocs (bfd *abfd,
        case R_PPC_EMB_MRKREF:
        case R_PPC_NONE:
        case R_PPC_max:
+       case R_PPC_RELAX32:
+       case R_PPC_RELAX32PC:
+       case R_PPC_RELAX32_PLT:
+       case R_PPC_RELAX32PC_PLT:
          break;
 
          /* These should only appear in dynamic objects.  */
@@ -3555,6 +3783,7 @@ ppc_elf_check_relocs (bfd *abfd,
        case R_PPC_GLOB_DAT:
        case R_PPC_JMP_SLOT:
        case R_PPC_RELATIVE:
+       case R_PPC_IRELATIVE:
          break;
 
          /* These aren't handled yet.  We'll report an error later.  */
@@ -3568,7 +3797,7 @@ ppc_elf_check_relocs (bfd *abfd,
 
          /* This refers only to functions defined in the shared library.  */
        case R_PPC_LOCAL24PC:
-         if (h && h == htab->elf.hgot && htab->plt_type == PLT_UNSET)
+         if (h != NULL && h == htab->elf.hgot && htab->plt_type == PLT_UNSET)
            {
              htab->plt_type = PLT_OLD;
              htab->old_bfd = abfd;
@@ -3610,7 +3839,7 @@ ppc_elf_check_relocs (bfd *abfd,
          if (h == NULL
              && got2 != NULL
              && (sec->flags & SEC_CODE) != 0
-             && (info->shared || info->pie)
+             && info->shared
              && htab->plt_type == PLT_UNSET)
            {
              /* Old -fPIC gcc code has .long LCTOC1-LCFx just before
@@ -3620,9 +3849,14 @@ ppc_elf_check_relocs (bfd *abfd,
                 reliably deduce the GOT pointer value needed for
                 PLT call stubs.  */
              asection *s;
+             Elf_Internal_Sym *isym;
 
-             s = bfd_section_from_r_symndx (abfd, &htab->sym_sec, sec,
-                                            r_symndx);
+             isym = bfd_sym_from_r_symndx (&htab->sym_cache,
+                                           abfd, r_symndx);
+             if (isym == NULL)
+               return FALSE;
+
+             s = bfd_section_from_elf_index (abfd, isym->st_shndx);
              if (s == got2)
                {
                  htab->plt_type = PLT_OLD;
@@ -3644,7 +3878,7 @@ ppc_elf_check_relocs (bfd *abfd,
            {
              /* We may need a plt entry if the symbol turns out to be
                 a function defined in a dynamic object.  */
-             if (!update_plt_info (abfd, h, NULL, 0))
+             if (!update_plt_info (abfd, &h->plt.plist, NULL, 0))
                return FALSE;
 
              /* We may need a copy reloc too.  */
@@ -3678,7 +3912,8 @@ ppc_elf_check_relocs (bfd *abfd,
            {
              /* We may need a plt entry if the symbol turns out to be
                 a function defined in a dynamic object.  */
-             if (!update_plt_info (abfd, h, NULL, 0))
+             h->needs_plt = 1;
+             if (!update_plt_info (abfd, &h->plt.plist, NULL, 0))
                return FALSE;
              break;
            }
@@ -3729,38 +3964,14 @@ ppc_elf_check_relocs (bfd *abfd,
 #endif
              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 (CONST_STRNEQ (name, ".rela")
-                             && strcmp (bfd_get_section_name (abfd, sec),
-                                        name + 5) == 0);
-
                  if (htab->elf.dynobj == NULL)
                    htab->elf.dynobj = abfd;
-                 sreloc = bfd_get_section_by_name (htab->elf.dynobj, name);
+
+                 sreloc = _bfd_elf_make_dynamic_reloc_section
+                   (sec, htab->elf.dynobj, 2, abfd, /*rela?*/ TRUE);
+
                  if (sreloc == NULL)
-                   {
-                     flagword flags;
-
-                     flags = (SEC_HAS_CONTENTS | SEC_READONLY
-                              | SEC_IN_MEMORY | SEC_LINKER_CREATED
-                              | SEC_ALLOC | SEC_LOAD);
-                     sreloc = bfd_make_section_with_flags (htab->elf.dynobj,
-                                                           name,
-                                                           flags);
-                     if (sreloc == NULL
-                         || ! bfd_set_section_alignment (htab->elf.dynobj,
-                                                         sreloc, 2))
-                       return FALSE;
-                   }
-                 elf_section_data (sec)->sreloc = sreloc;
+                   return FALSE;
                }
 
              /* If this is a global symbol, we count the number of
@@ -3774,15 +3985,19 @@ ppc_elf_check_relocs (bfd *abfd,
                  /* Track dynamic relocs needed for local syms too.
                     We really need local syms available to do this
                     easily.  Oh well.  */
-
                  asection *s;
                  void *vpp;
+                 Elf_Internal_Sym *isym;
 
-                 s = bfd_section_from_r_symndx (abfd, &htab->sym_sec,
-                                                sec, r_symndx);
-                 if (s == NULL)
+                 isym = bfd_sym_from_r_symndx (&htab->sym_cache,
+                                               abfd, r_symndx);
+                 if (isym == NULL)
                    return FALSE;
 
+                 s = bfd_section_from_elf_index (abfd, isym->st_shndx);
+                 if (s == NULL)
+                   s = sec;
+
                  vpp = &elf_section_data (s)->local_dynrel;
                  head = (struct ppc_elf_dyn_relocs **) vpp;
                }
@@ -3850,10 +4065,22 @@ ppc_elf_merge_obj_attributes (bfd *ibfd, bfd *obfd)
       else if (out_attr->i == 1 && in_attr->i == 2)
        _bfd_error_handler
          (_("Warning: %B uses hard float, %B uses soft float"), obfd, ibfd);
-      else if (out_attr->i == 2 && in_attr->i == 1)
+      else if (out_attr->i == 1 && in_attr->i == 3)
+       _bfd_error_handler
+         (_("Warning: %B uses double-precision hard float, %B uses single-precision hard float"), 
+         obfd, ibfd);
+      else if (out_attr->i == 3 && in_attr->i == 1)
+       _bfd_error_handler
+         (_("Warning: %B uses double-precision hard float, %B uses single-precision hard float"), 
+         ibfd, obfd);
+      else if (out_attr->i == 3 && in_attr->i == 2)
+       _bfd_error_handler
+         (_("Warning: %B uses soft float, %B uses single-precision hard float"), 
+         ibfd, obfd);
+      else if (out_attr->i == 2 && (in_attr->i == 1 || in_attr->i == 3))
        _bfd_error_handler
          (_("Warning: %B uses hard float, %B uses soft float"), ibfd, obfd);
-      else if (in_attr->i > 2)
+      else if (in_attr->i > 3)
        _bfd_error_handler
          (_("Warning: %B uses unknown floating point ABI %d"), ibfd,
           in_attr->i);
@@ -3913,6 +4140,33 @@ ppc_elf_merge_obj_attributes (bfd *ibfd, bfd *obfd)
           ibfd, obfd, in_abi, out_abi);
     }
 
+  /* Check for conflicting Tag_GNU_Power_ABI_Struct_Return attributes
+     and merge non-conflicting ones.  */
+  in_attr = &in_attrs[Tag_GNU_Power_ABI_Struct_Return];
+  out_attr = &out_attrs[Tag_GNU_Power_ABI_Struct_Return];
+  if (in_attr->i != out_attr->i)
+    {
+      out_attr->type = 1;
+      if (out_attr->i == 0)
+       out_attr->i = in_attr->i;
+      else if (in_attr->i == 0)
+       ;
+      else if (out_attr->i == 1 && in_attr->i == 2)
+       _bfd_error_handler
+         (_("Warning: %B uses r3/r4 for small structure returns, %B uses memory"), obfd, ibfd);
+      else if (out_attr->i == 2 && in_attr->i == 1)
+       _bfd_error_handler
+         (_("Warning: %B uses r3/r4 for small structure returns, %B uses memory"), ibfd, obfd);
+      else if (in_attr->i > 2)
+       _bfd_error_handler
+         (_("Warning: %B uses unknown small structure return convention %d"), ibfd,
+          in_attr->i);
+      else
+       _bfd_error_handler
+         (_("Warning: %B uses unknown small structure return convention %d"), obfd,
+          out_attr->i);
+    }
+
   /* Merge Tag_compatibility attributes and any common GNU ones.  */
   _bfd_elf_merge_object_attributes (ibfd, obfd);
 
@@ -4168,6 +4422,31 @@ ppc_elf_gc_sweep_hook (bfd *abfd,
        }
 
       r_type = ELF32_R_TYPE (rel->r_info);
+      if (!htab->is_vxworks
+         && h == NULL
+         && local_got_refcounts != NULL
+         && (!info->shared
+             || is_branch_reloc (r_type)))
+       {
+         struct plt_entry **local_plt = (struct plt_entry **)
+           (local_got_refcounts + symtab_hdr->sh_info);
+         char *local_got_tls_masks = (char *)
+           (local_plt + symtab_hdr->sh_info);
+         if ((local_got_tls_masks[r_symndx] & PLT_IFUNC) != 0)
+           {
+             struct plt_entry **ifunc = local_plt + r_symndx;
+             bfd_vma addend = 0;
+             struct plt_entry *ent;
+
+             if (r_type == R_PPC_PLTREL24 && info->shared)
+               addend = rel->r_addend;
+             ent = find_plt_ent (ifunc, got2, addend);
+             if (ent->plt.refcount > 0)
+               ent->plt.refcount -= 1;
+             continue;
+           }
+       }
+
       switch (r_type)
        {
        case R_PPC_GOT_TLSLD16:
@@ -4194,6 +4473,14 @@ ppc_elf_gc_sweep_hook (bfd *abfd,
            {
              if (h->got.refcount > 0)
                h->got.refcount--;
+             if (!info->shared)
+               {
+                 struct plt_entry *ent;
+
+                 ent = find_plt_ent (&h->plt.plist, NULL, 0);
+                 if (ent->plt.refcount > 0)
+                   ent->plt.refcount -= 1;
+               }
            }
          else if (local_got_refcounts != NULL)
            {
@@ -4233,8 +4520,12 @@ ppc_elf_gc_sweep_hook (bfd *abfd,
        case R_PPC_PLT16_HA:
          if (h != NULL)
            {
-             bfd_vma addend = r_type == R_PPC_PLTREL24 ? rel->r_addend : 0;
-             struct plt_entry *ent = find_plt_ent (h, got2, addend);
+             bfd_vma addend = 0;
+             struct plt_entry *ent;
+
+             if (r_type == R_PPC_PLTREL24 && info->shared)
+               addend = rel->r_addend;
+             ent = find_plt_ent (&h->plt.plist, got2, addend);
              if (ent->plt.refcount > 0)
                ent->plt.refcount -= 1;
            }
@@ -4247,7 +4538,8 @@ ppc_elf_gc_sweep_hook (bfd *abfd,
   return TRUE;
 }
 \f
-/* Set htab->tls_get_addr and call the generic ELF tls_setup function.  */
+/* Set plt output section type, htab->tls_get_addr, and call the
+   generic ELF tls_setup function.  */
 
 asection *
 ppc_elf_tls_setup (bfd *obfd, struct bfd_link_info *info)
@@ -4268,6 +4560,33 @@ ppc_elf_tls_setup (bfd *obfd, struct bfd_link_info *info)
   return _bfd_elf_tls_setup (obfd, info);
 }
 
+/* Return TRUE iff REL is a branch reloc with a global symbol matching
+   HASH.  */
+
+static bfd_boolean
+branch_reloc_hash_match (const bfd *ibfd,
+                        const Elf_Internal_Rela *rel,
+                        const struct elf_link_hash_entry *hash)
+{
+  Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (ibfd);
+  enum elf_ppc_reloc_type r_type = ELF32_R_TYPE (rel->r_info);
+  unsigned int r_symndx = ELF32_R_SYM (rel->r_info);
+
+  if (r_symndx >= symtab_hdr->sh_info && is_branch_reloc (r_type))
+    {
+      struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (ibfd);
+      struct elf_link_hash_entry *h;
+
+      h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+      while (h->root.type == bfd_link_hash_indirect
+            || h->root.type == bfd_link_hash_warning)
+       h = (struct elf_link_hash_entry *) h->root.u.i.link;
+      if (h == hash)
+       return TRUE;
+    }
+  return FALSE;
+}
+
 /* Run through all the TLS relocs looking for optimization
    opportunities.  */
 
@@ -4392,38 +4711,14 @@ ppc_elf_tls_optimize (bfd *obfd ATTRIBUTE_UNUSED,
 
                  if (pass == 0)
                    {
-                     if (!expecting_tls_get_addr)
+                     if (!expecting_tls_get_addr
+                         || !sec->has_tls_get_addr_call)
                        continue;
 
-                     if (rel + 1 < relend)
-                       {
-                         enum elf_ppc_reloc_type r_type2;
-                         unsigned long r_symndx2;
-                         struct elf_link_hash_entry *h2;
-
-                         /* The next instruction should be a call to
-                            __tls_get_addr.  Peek at the reloc to be sure.  */
-                         r_type2 = ELF32_R_TYPE (rel[1].r_info);
-                         r_symndx2 = ELF32_R_SYM (rel[1].r_info);
-                         if (r_symndx2 >= symtab_hdr->sh_info
-                             && (r_type2 == R_PPC_REL14
-                                 || r_type2 == R_PPC_REL14_BRTAKEN
-                                 || r_type2 == R_PPC_REL14_BRNTAKEN
-                                 || r_type2 == R_PPC_REL24
-                                 || r_type2 == R_PPC_PLTREL24))
-                           {
-                             struct elf_link_hash_entry **sym_hashes;
-
-                             sym_hashes = elf_sym_hashes (ibfd);
-                             h2 = sym_hashes[r_symndx2 - symtab_hdr->sh_info];
-                             while (h2->root.type == bfd_link_hash_indirect
-                                    || h2->root.type == bfd_link_hash_warning)
-                               h2 = ((struct elf_link_hash_entry *)
-                                     h2->root.u.i.link);
-                             if (h2 == htab->tls_get_addr)
-                               continue;
-                           }
-                       }
+                     if (rel + 1 < relend
+                         && branch_reloc_hash_match (ibfd, rel + 1,
+                                                     htab->tls_get_addr))
+                       continue;
 
                      /* Uh oh, we didn't find the expected call.  We
                         could just mark this symbol to exclude it
@@ -4442,6 +4737,7 @@ ppc_elf_tls_optimize (bfd *obfd ATTRIBUTE_UNUSED,
                    {
                      Elf_Internal_Sym *sym;
                      bfd_signed_vma *lgot_refs;
+                     struct plt_entry **local_plt;
                      char *lgot_masks;
 
                      if (locsyms == NULL)
@@ -4462,7 +4758,9 @@ ppc_elf_tls_optimize (bfd *obfd ATTRIBUTE_UNUSED,
                      lgot_refs = elf_local_got_refcounts (ibfd);
                      if (lgot_refs == NULL)
                        abort ();
-                     lgot_masks = (char *) (lgot_refs + symtab_hdr->sh_info);
+                     local_plt = (struct plt_entry **)
+                       (lgot_refs + symtab_hdr->sh_info);
+                     lgot_masks = (char *) (local_plt + symtab_hdr->sh_info);
                      tls_mask = &lgot_masks[r_symndx];
                      got_count = &lgot_refs[r_symndx];
                    }
@@ -4478,7 +4776,8 @@ ppc_elf_tls_optimize (bfd *obfd ATTRIBUTE_UNUSED,
                    {
                      struct plt_entry *ent;
 
-                     ent = find_plt_ent (htab->tls_get_addr, NULL, 0);
+                     ent = find_plt_ent (&htab->tls_get_addr->plt.plist,
+                                         NULL, 0);
                      if (ent != NULL && ent->plt.refcount > 0)
                        ent->plt.refcount -= 1;
                    }
@@ -4544,6 +4843,7 @@ ppc_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
   htab = ppc_elf_hash_table (info);
   BFD_ASSERT (htab->elf.dynobj != NULL
              && (h->needs_plt
+                 || h->type == STT_GNU_IFUNC
                  || h->u.weakdef != NULL
                  || (h->def_dynamic
                      && h->ref_regular
@@ -4551,6 +4851,7 @@ ppc_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
 
   /* Deal with function syms.  */
   if (h->type == STT_FUNC
+      || h->type == STT_GNU_IFUNC
       || h->needs_plt)
     {
       /* Clear procedure linkage table information for any symbol that
@@ -4560,9 +4861,10 @@ ppc_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
        if (ent->plt.refcount > 0)
          break;
       if (ent == NULL
-         || SYMBOL_CALLS_LOCAL (info, h)
-         || (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
-             && h->root.type == bfd_link_hash_undefweak))
+         || (h->type != STT_GNU_IFUNC
+             && (SYMBOL_CALLS_LOCAL (info, h)
+                 || (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
+                     && h->root.type == bfd_link_hash_undefweak))))
        {
          /* A PLT entry is not required/allowed when:
 
@@ -4579,8 +4881,10 @@ ppc_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
        }
       else
        {
-         /* After adjust_dynamic_symbol, non_got_ref set means that
-            dyn_relocs for this symbol should be discarded.
+         /* After adjust_dynamic_symbol, non_got_ref set in the
+            non-shared case means that we have allocated space in
+            .dynbss for the symbol and thus dyn_relocs for this
+            symbol should be discarded.
             If we get here we know we are making a PLT entry for this
             symbol, and in an executable we'd normally resolve
             relocations against this symbol to the PLT entry.  Allow
@@ -4588,6 +4892,7 @@ ppc_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
             relocs will not cause text relocation.  */
          if (!h->ref_regular_nonweak
              && h->non_got_ref
+             && h->type != STT_GNU_IFUNC
              && !htab->is_vxworks
              && !ppc_elf_hash_entry (h)->has_sda_refs
              && !readonly_dynrelocs (h))
@@ -4706,7 +5011,7 @@ add_stub_sym (struct plt_entry *ent,
   const char *stub;
   struct ppc_elf_link_hash_table *htab = ppc_elf_hash_table (info);
 
-  if (info->shared || info->pie)
+  if (info->shared)
     stub = ".plt_pic32.";
   else
     stub = ".plt_call32.";
@@ -4798,29 +5103,37 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
     h = (struct elf_link_hash_entry *) h->root.u.i.link;
 
   htab = ppc_elf_hash_table (info);
-  if (htab->elf.dynamic_sections_created)
+  if (htab->elf.dynamic_sections_created
+      || h->type == STT_GNU_IFUNC)
     {
       struct plt_entry *ent;
       bfd_boolean doneone = FALSE;
       bfd_vma plt_offset = 0, glink_offset = 0;
+      bfd_boolean dyn;
 
       for (ent = h->plt.plist; ent != NULL; ent = ent->next)
        if (ent->plt.refcount > 0)
          {
            /* Make sure this symbol is output as a dynamic symbol.  */
            if (h->dynindx == -1
-               && !h->forced_local)
+               && !h->forced_local
+               && !h->def_regular
+               && htab->elf.dynamic_sections_created)
              {
                if (! bfd_elf_link_record_dynamic_symbol (info, h))
                  return FALSE;
              }
 
+           dyn = htab->elf.dynamic_sections_created;
            if (info->shared
-               || WILL_CALL_FINISH_DYNAMIC_SYMBOL (1, 0, h))
+               || h->type == STT_GNU_IFUNC
+               || WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, 0, h))
              {
                asection *s = htab->plt;
+               if (!dyn || h->dynindx == -1)
+                 s = htab->iplt;
 
-               if (htab->plt_type == PLT_NEW)
+               if (htab->plt_type == PLT_NEW || !dyn || h->dynindx == -1)
                  {
                    if (!doneone)
                      {
@@ -4830,7 +5143,7 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
                    ent->plt.offset = plt_offset;
 
                    s = htab->glink;
-                   if (!doneone || info->shared || info->pie)
+                   if (!doneone || info->shared)
                      {
                        glink_offset = s->size;
                        s->size += GLINK_ENTRY_SIZE;
@@ -4870,8 +5183,9 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
 
                        /* 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
+                          library, then set the symbol to this location 
+                          in the .plt.  This is to avoid text
+                          relocations, and is required to make
                           function pointers compare as equal between
                           the normal executable and the shared library.  */
                        if (! info->shared
@@ -4898,29 +5212,36 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
                /* We also need to make an entry in the .rela.plt section.  */
                if (!doneone)
                  {
-                   htab->relplt->size += sizeof (Elf32_External_Rela);
-
-                   if (htab->plt_type == PLT_VXWORKS)
+                   if (!htab->elf.dynamic_sections_created
+                       || h->dynindx == -1)
+                     htab->reliplt->size += sizeof (Elf32_External_Rela);
+                   else
                      {
-                       /* Allocate space for the unloaded relocations.  */
-                       if (!info->shared)
+                       htab->relplt->size += sizeof (Elf32_External_Rela);
+
+                       if (htab->plt_type == PLT_VXWORKS)
                          {
-                           if (ent->plt.offset
-                               == (bfd_vma) htab->plt_initial_entry_size)
+                           /* Allocate space for the unloaded relocations.  */
+                           if (!info->shared
+                               && htab->elf.dynamic_sections_created)
                              {
+                               if (ent->plt.offset
+                                   == (bfd_vma) htab->plt_initial_entry_size)
+                                 {
+                                   htab->srelplt2->size
+                                     += (sizeof (Elf32_External_Rela)
+                                         * VXWORKS_PLTRESOLVE_RELOCS);
+                                 }
+
                                htab->srelplt2->size
-                                 += sizeof (Elf32_External_Rela)
-                                     * VXWORKS_PLTRESOLVE_RELOCS;
+                                 += (sizeof (Elf32_External_Rela)
+                                     * VXWORKS_PLT_NON_JMP_SLOT_RELOCS);
                              }
 
-                           htab->srelplt2->size
-                             += sizeof (Elf32_External_Rela)
-                                 * VXWORKS_PLT_NON_JMP_SLOT_RELOCS;
+                           /* Every PLT entry has an associated GOT entry in
+                              .got.plt.  */
+                           htab->sgotplt->size += 4;
                          }
-
-                       /* Every PLT entry has an associated GOT entry in
-                          .got.plt.  */
-                       htab->sgotplt->size += 4;
                      }
                    doneone = TRUE;
                  }
@@ -4946,38 +5267,45 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
   eh = (struct ppc_elf_link_hash_entry *) h;
   if (eh->elf.got.refcount > 0)
     {
+      bfd_boolean dyn;
+      unsigned int need;
+
       /* Make sure this symbol is output as a dynamic symbol.  */
       if (eh->elf.dynindx == -1
-         && !eh->elf.forced_local)
+         && !eh->elf.forced_local
+         && eh->elf.type != STT_GNU_IFUNC
+         && htab->elf.dynamic_sections_created)
        {
          if (!bfd_elf_link_record_dynamic_symbol (info, &eh->elf))
            return FALSE;
        }
 
-      if (eh->tls_mask == (TLS_TLS | TLS_LD)
-         && !eh->elf.def_dynamic)
-       {
-         /* If just an LD reloc, we'll just use htab->tlsld_got.offset.  */
-         htab->tlsld_got.refcount += 1;
-         eh->elf.got.offset = (bfd_vma) -1;
-       }
-      else
+      need = 0;
+      if ((eh->tls_mask & TLS_TLS) != 0)
        {
-         bfd_boolean dyn;
-         unsigned int need = 0;
-         if ((eh->tls_mask & TLS_TLS) != 0)
+         if ((eh->tls_mask & TLS_LD) != 0)
            {
-             if ((eh->tls_mask & TLS_LD) != 0)
-               need += 8;
-             if ((eh->tls_mask & TLS_GD) != 0)
+             if (!eh->elf.def_dynamic)
+               /* We'll just use htab->tlsld_got.offset.  This should
+                  always be the case.  It's a little odd if we have
+                  a local dynamic reloc against a non-local symbol.  */
+               htab->tlsld_got.refcount += 1;
+             else
                need += 8;
-             if ((eh->tls_mask & (TLS_TPREL | TLS_TPRELGD)) != 0)
-               need += 4;
-             if ((eh->tls_mask & TLS_DTPREL) != 0)
-               need += 4;
            }
-         else
+         if ((eh->tls_mask & TLS_GD) != 0)
+           need += 8;
+         if ((eh->tls_mask & (TLS_TPREL | TLS_TPRELGD)) != 0)
+           need += 4;
+         if ((eh->tls_mask & TLS_DTPREL) != 0)
            need += 4;
+       }
+      else
+       need += 4;
+      if (need == 0)
+       eh->elf.got.offset = (bfd_vma) -1;
+      else
+       {
          eh->elf.got.offset = allocate_got (htab, need);
          dyn = htab->elf.dynamic_sections_created;
          if ((info->shared
@@ -4985,18 +5313,21 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
              && (ELF_ST_VISIBILITY (eh->elf.other) == STV_DEFAULT
                  || eh->elf.root.type != bfd_link_hash_undefweak))
            {
+             asection *rsec = htab->relgot;
              /* All the entries we allocated need relocs.
                 Except LD only needs one.  */
-             if ((eh->tls_mask & TLS_LD) != 0)
+             if ((eh->tls_mask & TLS_LD) != 0
+                 && eh->elf.def_dynamic)
                need -= 4;
-             htab->relgot->size += need * (sizeof (Elf32_External_Rela) / 4);
+             rsec->size += need * (sizeof (Elf32_External_Rela) / 4);
            }
        }
     }
   else
     eh->elf.got.offset = (bfd_vma) -1;
 
-  if (eh->dyn_relocs == NULL)
+  if (eh->dyn_relocs == NULL
+      || !htab->elf.dynamic_sections_created)
     return TRUE;
 
   /* In the shared -Bsymbolic case, discard space allocated for
@@ -5059,7 +5390,8 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
          /* Make sure undefined weak symbols are output as a dynamic
             symbol in PIEs.  */
          else if (h->dynindx == -1
-                  && !h->forced_local)
+                  && !h->forced_local
+                  && !h->def_regular)
            {
              if (! bfd_elf_link_record_dynamic_symbol (info, h))
                return FALSE;
@@ -5099,6 +5431,8 @@ allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
   for (p = eh->dyn_relocs; p != NULL; p = p->next)
     {
       asection *sreloc = elf_section_data (p->sec)->sreloc;
+      if (!htab->elf.dynamic_sections_created)
+       sreloc = htab->reliplt;
       sreloc->size += p->count * sizeof (Elf32_External_Rela);
     }
 
@@ -5168,6 +5502,8 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
     {
       bfd_signed_vma *local_got;
       bfd_signed_vma *end_local_got;
+      struct plt_entry **local_plt;
+      struct plt_entry **end_local_plt;
       char *lgot_masks;
       bfd_size_type locsymcount;
       Elf_Internal_Shdr *symtab_hdr;
@@ -5201,8 +5537,10 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
                }
              else if (p->count != 0)
                {
-                 elf_section_data (p->sec)->sreloc->size
-                   += p->count * sizeof (Elf32_External_Rela);
+                 asection *sreloc = elf_section_data (p->sec)->sreloc;
+                 if (!htab->elf.dynamic_sections_created)
+                   sreloc = htab->reliplt;
+                 sreloc->size += p->count * sizeof (Elf32_External_Rela);
                  if ((p->sec->output_section->flags
                       & (SEC_READONLY | SEC_ALLOC))
                      == (SEC_READONLY | SEC_ALLOC))
@@ -5218,31 +5556,30 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
       symtab_hdr = &elf_symtab_hdr (ibfd);
       locsymcount = symtab_hdr->sh_info;
       end_local_got = local_got + locsymcount;
-      lgot_masks = (char *) end_local_got;
+      local_plt = (struct plt_entry **) end_local_got;
+      end_local_plt = local_plt + locsymcount;
+      lgot_masks = (char *) end_local_plt;
       for (; local_got < end_local_got; ++local_got, ++lgot_masks)
        if (*local_got > 0)
          {
-           if (*lgot_masks == (TLS_TLS | TLS_LD))
+           unsigned int need = 0;
+           if ((*lgot_masks & TLS_TLS) != 0)
              {
-               /* If just an LD reloc, we'll just use
-                  htab->tlsld_got.offset.  */
-               htab->tlsld_got.refcount += 1;
-               *local_got = (bfd_vma) -1;
+               if ((*lgot_masks & TLS_GD) != 0)
+                 need += 8;
+               if ((*lgot_masks & TLS_LD) != 0)
+                 htab->tlsld_got.refcount += 1;
+               if ((*lgot_masks & (TLS_TPREL | TLS_TPRELGD)) != 0)
+                 need += 4;
+               if ((*lgot_masks & TLS_DTPREL) != 0)
+                 need += 4;
              }
            else
+             need += 4;
+           if (need == 0)
+             *local_got = (bfd_vma) -1;
+           else
              {
-               unsigned int need = 0;
-               if ((*lgot_masks & TLS_TLS) != 0)
-                 {
-                   if ((*lgot_masks & TLS_GD) != 0)
-                     need += 8;
-                   if ((*lgot_masks & (TLS_TPREL | TLS_TPRELGD)) != 0)
-                     need += 4;
-                   if ((*lgot_masks & TLS_DTPREL) != 0)
-                     need += 4;
-                 }
-               else
-                 need += 4;
                *local_got = allocate_got (htab, need);
                if (info->shared)
                  htab->relgot->size += (need
@@ -5251,6 +5588,46 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
          }
        else
          *local_got = (bfd_vma) -1;
+
+      if (htab->is_vxworks)
+       continue;
+
+      /* Allocate space for calls to local STT_GNU_IFUNC syms in .iplt.  */
+      for (; local_plt < end_local_plt; ++local_plt)
+       {
+         struct plt_entry *ent;
+         bfd_boolean doneone = FALSE;
+         bfd_vma plt_offset = 0, glink_offset = 0;
+
+         for (ent = *local_plt; ent != NULL; ent = ent->next)
+           if (ent->plt.refcount > 0)
+             {
+               asection *s = htab->iplt;
+
+               if (!doneone)
+                 {
+                   plt_offset = s->size;
+                   s->size += 4;
+                 }
+               ent->plt.offset = plt_offset;
+
+               s = htab->glink;
+               if (!doneone || info->shared)
+                 {
+                   glink_offset = s->size;
+                   s->size += GLINK_ENTRY_SIZE;
+                 }
+               ent->glink_offset = glink_offset;
+
+               if (!doneone)
+                 {
+                   htab->reliplt->size += sizeof (Elf32_External_Rela);
+                   doneone = TRUE;
+                 }
+             }
+           else
+             ent->plt.offset = (bfd_vma) -1;
+       }
     }
 
   /* Allocate space for global sym dynamic relocs.  */
@@ -5284,7 +5661,9 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
       htab->elf.hgot->root.u.def.value = g_o_t;
     }
 
-  if (htab->glink != NULL && htab->glink->size != 0)
+  if (htab->glink != NULL
+      && htab->glink->size != 0
+      && htab->elf.dynamic_sections_created)
     {
       htab->glink_pltresolve = htab->glink->size;
       /* Space for the branch table.  */
@@ -5340,22 +5719,23 @@ ppc_elf_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
        continue;
 
       if (s == htab->plt
-         || s == htab->glink
-         || s == htab->got
-         || s == htab->sgotplt
-         || s == htab->sbss
-         || s == htab->dynbss
-         || s == htab->dynsbss)
+         || s == htab->got)
        {
          /* We'd like to strip these sections if they aren't needed, but if
             we've exported dynamic symbols from them we must leave them.
             It's too late to tell BFD to get rid of the symbols.  */
-         if ((s == htab->plt || s == htab->got) && htab->elf.hplt != NULL)
+         if (htab->elf.hplt != NULL)
            strip_section = FALSE;
          /* Strip this section if we don't need it; see the
             comment below.  */
        }
-      else if (s == htab->sdata[0].section
+      else if (s == htab->iplt
+              || s == htab->glink
+              || s == htab->sgotplt
+              || s == htab->sbss
+              || s == htab->dynbss
+              || s == htab->dynsbss
+              || s == htab->sdata[0].section
               || s == htab->sdata[1].section)
        {
          /* Strip these too.  */
@@ -5477,23 +5857,25 @@ ppc_elf_hash_symbol (struct elf_link_hash_entry *h)
 \f
 #define ARRAY_SIZE(a) (sizeof (a) / sizeof ((a)[0]))
 
+/* Relaxation trampolines.  r12 is available for clobbering (r11, is
+   used for some functions that are allowed to break the ABI).  */
 static const int shared_stub_entry[] =
   {
     0x7c0802a6, /* mflr 0 */
     0x429f0005, /* bcl 20, 31, .Lxxx */
-    0x7d6802a6, /* mflr 11 */
-    0x3d6b0000, /* addis 11, 11, (xxx-.Lxxx)@ha */
-    0x396b0018, /* addi 11, 11, (xxx-.Lxxx)@l */
+    0x7d8802a6, /* mflr 12 */
+    0x3d8c0000, /* addis 12, 12, (xxx-.Lxxx)@ha */
+    0x398c0008, /* addi 12, 12, (xxx-.Lxxx)@l */
     0x7c0803a6, /* mtlr 0 */
-    0x7d6903a6, /* mtctr 11 */
+    0x7d8903a6, /* mtctr 12 */
     0x4e800420, /* bctr */
   };
 
 static const int stub_entry[] =
   {
-    0x3d600000, /* lis 11,xxx@ha */
-    0x396b0000, /* addi 11,11,xxx@l */
-    0x7d6903a6, /* mtctr 11 */
+    0x3d800000, /* lis 12,xxx@ha */
+    0x398c0000, /* addi 12,12,xxx@l */
+    0x7d8903a6, /* mtctr 12 */
     0x4e800420, /* bctr */
   };
 
@@ -5507,6 +5889,8 @@ ppc_elf_relax_section (bfd *abfd,
   {
     struct one_fixup *next;
     asection *tsec;
+    /* Final link, can use the symbol offset.  For a
+       relocatable link we use the symbol's index.  */
     bfd_vma toff;
     bfd_vma trampoff;
   };
@@ -5517,7 +5901,7 @@ ppc_elf_relax_section (bfd *abfd,
   Elf_Internal_Rela *internal_relocs = NULL;
   Elf_Internal_Rela *irel, *irelend;
   struct one_fixup *fixups = NULL;
-  bfd_boolean changed;
+  unsigned changes = 0;
   struct ppc_elf_link_hash_table *htab;
   bfd_size_type trampoff;
   asection *got2;
@@ -5525,12 +5909,19 @@ ppc_elf_relax_section (bfd *abfd,
   *again = FALSE;
 
   /* Nothing to do if there are no relocations, and no need to do
-     anything with non-alloc sections.  */
+     anything with non-alloc or non-code sections.  */
   if ((isec->flags & SEC_ALLOC) == 0
+      || (isec->flags & SEC_CODE) == 0
       || (isec->flags & SEC_RELOC) == 0
       || isec->reloc_count == 0)
     return TRUE;
 
+  /* We cannot represent the required PIC relocs in the output, so don't
+     do anything.  The linker doesn't support mixing -shared and -r
+     anyway.  */
+  if (link_info->relocatable && link_info->shared)
+     return TRUE;
+  
   trampoff = (isec->size + 3) & (bfd_vma) -4;
   /* Space for a branch around any trampolines.  */
   trampoff += 4;
@@ -5550,13 +5941,15 @@ ppc_elf_relax_section (bfd *abfd,
   for (irel = internal_relocs; irel < irelend; irel++)
     {
       unsigned long r_type = ELF32_R_TYPE (irel->r_info);
-      bfd_vma symaddr, reladdr, toff, roff;
+      bfd_vma reladdr, toff, roff;
       asection *tsec;
       struct one_fixup *f;
       size_t insn_offset = 0;
       bfd_vma max_branch_offset, val;
       bfd_byte *hit_addr;
       unsigned long t0;
+      struct elf_link_hash_entry *h;
+      struct plt_entry **plist;
       unsigned char sym_type;
 
       switch (r_type)
@@ -5578,6 +5971,7 @@ ppc_elf_relax_section (bfd *abfd,
        }
 
       /* Get the value of the symbol referred to by the reloc.  */
+      h = NULL;
       if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
        {
          /* A local symbol.  */
@@ -5596,7 +5990,7 @@ ppc_elf_relax_section (bfd *abfd,
            }
          isym = isymbuf + ELF32_R_SYM (irel->r_info);
          if (isym->st_shndx == SHN_UNDEF)
-           continue;   /* We can't do anything with undefined symbols.  */
+           tsec = bfd_und_section_ptr;
          else if (isym->st_shndx == SHN_ABS)
            tsec = bfd_abs_section_ptr;
          else if (isym->st_shndx == SHN_COMMON)
@@ -5611,7 +6005,6 @@ ppc_elf_relax_section (bfd *abfd,
        {
          /* Global symbol handling.  */
          unsigned long indx;
-         struct elf_link_hash_entry *h;
 
          indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
          h = elf_sym_hashes (abfd)[indx];
@@ -5620,41 +6013,70 @@ ppc_elf_relax_section (bfd *abfd,
                 || h->root.type == bfd_link_hash_warning)
            h = (struct elf_link_hash_entry *) h->root.u.i.link;
 
-         tsec = NULL;
-         toff = 0;
-         if (r_type == R_PPC_PLTREL24
-             && htab->plt != NULL)
-           {
-             struct plt_entry *ent = find_plt_ent (h, got2, irel->r_addend);
-
-             if (ent != NULL)
-               {
-                 if (htab->plt_type == PLT_NEW)
-                   {
-                     tsec = htab->glink;
-                     toff = ent->glink_offset;
-                   }
-                 else
-                   {
-                     tsec = htab->plt;
-                     toff = ent->plt.offset;
-                   }
-               }
-           }
-         if (tsec != NULL)
-           ;
-         else if (h->root.type == bfd_link_hash_defined
-                  || h->root.type == bfd_link_hash_defweak)
+         if (h->root.type == bfd_link_hash_defined
+             || h->root.type == bfd_link_hash_defweak)
            {
              tsec = h->root.u.def.section;
              toff = h->root.u.def.value;
            }
+         else if (h->root.type == bfd_link_hash_undefined
+                  || h->root.type == bfd_link_hash_undefweak)
+           {
+             tsec = bfd_und_section_ptr;
+             toff = link_info->relocatable ? indx : 0;
+           }
          else
            continue;
 
          sym_type = h->type;
        }
 
+      /* The condition here under which we call find_plt_ent must
+        match that in relocate_section.  If we call find_plt_ent here
+        but not in relocate_section, or vice versa, then the branch
+        destination used here may be incorrect.  */
+      plist = NULL;
+      if (h != NULL)
+       {
+         /* We know is_branch_reloc (r_type) is true.  */
+         if (h->type == STT_GNU_IFUNC
+             || r_type == R_PPC_PLTREL24)
+           plist = &h->plt.plist;
+       }
+      else if (sym_type == STT_GNU_IFUNC
+              && elf_local_got_offsets (abfd) != NULL)
+       {
+         bfd_vma *local_got_offsets = elf_local_got_offsets (abfd);
+         struct plt_entry **local_plt = (struct plt_entry **)
+           (local_got_offsets + symtab_hdr->sh_info);
+         plist = local_plt + ELF32_R_SYM (irel->r_info);
+       }
+      if (plist != NULL)
+       {
+         bfd_vma addend = 0;
+         struct plt_entry *ent;
+
+         if (r_type == R_PPC_PLTREL24 && link_info->shared)
+           addend = irel->r_addend;
+         ent = find_plt_ent (plist, got2, addend);
+         if (ent != NULL)
+           {
+             if (htab->plt_type == PLT_NEW
+                 || h == NULL
+                 || !htab->elf.dynamic_sections_created
+                 || h->dynindx == -1)
+               {
+                 tsec = htab->glink;
+                 toff = ent->glink_offset;
+               }
+             else
+               {
+                 tsec = htab->plt;
+                 toff = ent->plt.offset;
+               }
+           }
+       }
+
       /* If the branch and target are in the same section, you have
         no hope of adding stubs.  We'll error out later should the
         branch overflow.  */
@@ -5702,14 +6124,23 @@ ppc_elf_relax_section (bfd *abfd,
       if (tsec->output_section == NULL)
        continue;
 
-      symaddr = tsec->output_section->vma + tsec->output_offset + toff;
-
       roff = irel->r_offset;
       reladdr = isec->output_section->vma + isec->output_offset + roff;
 
       /* If the branch is in range, no need to do anything.  */
-      if (symaddr - reladdr + max_branch_offset < 2 * max_branch_offset)
-       continue;
+      if (tsec != bfd_und_section_ptr
+         && (!link_info->relocatable
+             /* A relocatable link may have sections moved during
+                final link, so do not presume they remain in range.  */
+             || tsec->output_section == isec->output_section))
+       {
+         bfd_vma symaddr, reladdr;
+
+         symaddr = tsec->output_section->vma + tsec->output_offset + toff;
+         reladdr = isec->output_section->vma + isec->output_offset + roff;
+         if (symaddr - reladdr + max_branch_offset < 2 * max_branch_offset)
+           continue;
+       }
 
       /* Look for an existing fixup to this address.  */
       for (f = fixups; f ; f = f->next)
@@ -5752,6 +6183,8 @@ ppc_elf_relax_section (bfd *abfd,
          irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
                                       stub_rtype);
          irel->r_offset = trampoff + insn_offset;
+         if (r_type == R_PPC_PLTREL24)
+           irel->r_addend = 0;
 
          /* Record the fixup so we don't do it again this section.  */
          f = bfd_malloc (sizeof (*f));
@@ -5762,6 +6195,7 @@ ppc_elf_relax_section (bfd *abfd,
          fixups = f;
 
          trampoff += size;
+         changes++;
        }
       else
        {
@@ -5812,7 +6246,6 @@ ppc_elf_relax_section (bfd *abfd,
     }
 
   /* Write out the trampolines.  */
-  changed = fixups != NULL;
   if (fixups != NULL)
     {
       const int *stub;
@@ -5834,7 +6267,7 @@ ppc_elf_relax_section (bfd *abfd,
 
       isec->size = (isec->size + 3) & (bfd_vma) -4;
       /* Branch around the trampolines.  */
-      val = trampoff - isec->size + 0x48000000;
+      val = B + trampoff - isec->size;
       dest = contents + isec->size;
       isec->size = trampoff;
       bfd_put_32 (abfd, val, dest);
@@ -5878,7 +6311,7 @@ ppc_elf_relax_section (bfd *abfd,
   if (contents != NULL
       && elf_section_data (isec)->this_hdr.contents != contents)
     {
-      if (!changed && !link_info->keep_memory)
+      if (!changes && !link_info->keep_memory)
        free (contents);
       else
        {
@@ -5887,15 +6320,56 @@ ppc_elf_relax_section (bfd *abfd,
        }
     }
 
-  if (elf_section_data (isec)->relocs != internal_relocs)
+  if (changes != 0)
     {
-      if (!changed)
+      /* Append sufficient NOP relocs so we can write out relocation
+        information for the trampolines.  */
+      Elf_Internal_Rela *new_relocs = bfd_malloc ((changes + isec->reloc_count)
+                                                 * sizeof (*new_relocs));
+      unsigned ix;
+      
+      if (!new_relocs)
+       goto error_return;
+      memcpy (new_relocs, internal_relocs,
+             isec->reloc_count * sizeof (*new_relocs));
+      for (ix = changes; ix--;)
+       {
+         irel = new_relocs + ix + isec->reloc_count;
+
+         irel->r_info = ELF32_R_INFO (0, R_PPC_NONE);
+       }
+      if (internal_relocs != elf_section_data (isec)->relocs)
        free (internal_relocs);
-      else
-       elf_section_data (isec)->relocs = internal_relocs;
+      elf_section_data (isec)->relocs = new_relocs;
+      isec->reloc_count += changes;
+      elf_section_data (isec)->rel_hdr.sh_size
+       += changes * elf_section_data (isec)->rel_hdr.sh_entsize;
     }
+  else if (elf_section_data (isec)->relocs != internal_relocs)
+    free (internal_relocs);
 
-  *again = changed;
+  *again = changes != 0;
+  if (!*again && link_info->relocatable)
+    {
+      /* Convert the internal relax relocs to external form.  */
+      for (irel = internal_relocs; irel < irelend; irel++)
+       if (ELF32_R_TYPE (irel->r_info) == R_PPC_RELAX32)
+         {
+           unsigned long r_symndx = ELF32_R_SYM (irel->r_info);
+
+           /* Rewrite the reloc and convert one of the trailing nop
+              relocs to describe this relocation.  */
+           BFD_ASSERT (ELF32_R_TYPE (irelend[-1].r_info) == R_PPC_NONE);
+           /* The relocs are at the bottom 2 bytes */
+           irel[0].r_offset += 2;
+           memmove (irel + 1, irel, (irelend - irel - 1) * sizeof (*irel));
+           irel[0].r_info = ELF32_R_INFO (r_symndx, R_PPC_ADDR16_HA);
+           irel[1].r_offset += 4;
+           irel[1].r_info = ELF32_R_INFO (r_symndx, R_PPC_ADDR16_LO);
+           irel++;
+         }
+    }
+  
   return TRUE;
 
  error_return:
@@ -5987,6 +6461,73 @@ elf_finish_pointer_linker_section (bfd *input_bfd,
   return relocation - linker_section_ptr->addend;
 }
 
+#define PPC_LO(v) ((v) & 0xffff)
+#define PPC_HI(v) (((v) >> 16) & 0xffff)
+#define PPC_HA(v) PPC_HI ((v) + 0x8000)
+
+static void
+write_glink_stub (struct plt_entry *ent, asection *plt_sec,
+                 struct bfd_link_info *info)
+{
+  struct ppc_elf_link_hash_table *htab = ppc_elf_hash_table (info);
+  bfd *output_bfd = info->output_bfd;
+  bfd_vma plt;
+  unsigned char *p;
+
+  plt = ((ent->plt.offset & ~1)
+        + plt_sec->output_section->vma
+        + plt_sec->output_offset);
+  p = (unsigned char *) htab->glink->contents + ent->glink_offset;
+
+  if (info->shared)
+    {
+      bfd_vma got = 0;
+
+      if (ent->addend >= 32768)
+       got = (ent->addend
+              + ent->sec->output_section->vma
+              + ent->sec->output_offset);
+      else if (htab->elf.hgot != NULL)
+       got = SYM_VAL (htab->elf.hgot);
+
+      plt -= got;
+
+      if (plt + 0x8000 < 0x10000)
+       {
+         bfd_put_32 (output_bfd, LWZ_11_30 + PPC_LO (plt), p);
+         p += 4;
+         bfd_put_32 (output_bfd, MTCTR_11, p);
+         p += 4;
+         bfd_put_32 (output_bfd, BCTR, p);
+         p += 4;
+         bfd_put_32 (output_bfd, NOP, p);
+         p += 4;
+       }
+      else
+       {
+         bfd_put_32 (output_bfd, ADDIS_11_30 + PPC_HA (plt), p);
+         p += 4;
+         bfd_put_32 (output_bfd, LWZ_11_11 + PPC_LO (plt), p);
+         p += 4;
+         bfd_put_32 (output_bfd, MTCTR_11, p);
+         p += 4;
+         bfd_put_32 (output_bfd, BCTR, p);
+         p += 4;
+       }
+    }
+  else
+    {
+      bfd_put_32 (output_bfd, LIS_11 + PPC_HA (plt), p);
+      p += 4;
+      bfd_put_32 (output_bfd, LWZ_11_11 + PPC_LO (plt), p);
+      p += 4;
+      bfd_put_32 (output_bfd, MTCTR_11, p);
+      p += 4;
+      bfd_put_32 (output_bfd, BCTR, p);
+      p += 4;
+    }
+}
+
 /* The RELOCATE_SECTION function is called by the ELF backend linker
    to handle the relocations for a section.
 
@@ -6080,6 +6621,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
       bfd_boolean unresolved_reloc;
       bfd_boolean warned;
       unsigned int tls_type, tls_mask, tls_gd;
+      struct plt_entry **ifunc;
 
       r_type = ELF32_R_TYPE (rel->r_info);
       sym = NULL;
@@ -6140,16 +6682,16 @@ ppc_elf_relocate_section (bfd *output_bfd,
         for the final instruction stream.  */
       tls_mask = 0;
       tls_gd = 0;
-      if (IS_PPC_TLS_RELOC (r_type))
+      if (h != NULL)
+       tls_mask = ((struct ppc_elf_link_hash_entry *) h)->tls_mask;
+      else if (local_got_offsets != NULL)
        {
-         if (h != NULL)
-           tls_mask = ((struct ppc_elf_link_hash_entry *) h)->tls_mask;
-         else if (local_got_offsets != NULL)
-           {
-             char *lgot_masks;
-             lgot_masks = (char *) (local_got_offsets + symtab_hdr->sh_info);
-             tls_mask = lgot_masks[r_symndx];
-           }
+         struct plt_entry **local_plt;
+         char *lgot_masks;
+         local_plt
+           = (struct plt_entry **) (local_got_offsets + symtab_hdr->sh_info);
+         lgot_masks = (char *) (local_plt + symtab_hdr->sh_info);
+         tls_mask = lgot_masks[r_symndx];
        }
 
       /* Ensure reloc mapping code below stays sane.  */
@@ -6169,7 +6711,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
        case R_PPC_GOT_TPREL16:
        case R_PPC_GOT_TPREL16_LO:
-         if (tls_mask != 0
+         if ((tls_mask & TLS_TLS) != 0
              && (tls_mask & TLS_TPREL) == 0)
            {
              bfd_vma insn;
@@ -6183,7 +6725,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
          break;
 
        case R_PPC_TLS:
-         if (tls_mask != 0
+         if ((tls_mask & TLS_TLS) != 0
              && (tls_mask & TLS_TPREL) == 0)
            {
              bfd_vma insn, rtra;
@@ -6230,13 +6772,13 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_GOT_TLSGD16_HI:
        case R_PPC_GOT_TLSGD16_HA:
          tls_gd = TLS_TPRELGD;
-         if (tls_mask != 0 && (tls_mask & TLS_GD) == 0)
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_GD) == 0)
            goto tls_gdld_hi;
          break;
 
        case R_PPC_GOT_TLSLD16_HI:
        case R_PPC_GOT_TLSLD16_HA:
-         if (tls_mask != 0 && (tls_mask & TLS_LD) == 0)
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_LD) == 0)
            {
            tls_gdld_hi:
              if ((tls_mask & tls_gd) != 0)
@@ -6255,30 +6797,44 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_GOT_TLSGD16:
        case R_PPC_GOT_TLSGD16_LO:
          tls_gd = TLS_TPRELGD;
-         if (tls_mask != 0 && (tls_mask & TLS_GD) == 0)
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_GD) == 0)
            goto tls_ldgd_opt;
          break;
 
        case R_PPC_GOT_TLSLD16:
        case R_PPC_GOT_TLSLD16_LO:
-         if (tls_mask != 0 && (tls_mask & TLS_LD) == 0)
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_LD) == 0)
            {
-             bfd_vma insn1, insn2;
+             unsigned int insn1, insn2;
              bfd_vma offset;
 
            tls_ldgd_opt:
-             offset = rel[1].r_offset;
-             insn1 = bfd_get_32 (output_bfd,
-                                 contents + rel->r_offset - d_offset);
+             offset = (bfd_vma) -1;
+             /* If not using the newer R_PPC_TLSGD/LD to mark
+                __tls_get_addr calls, we must trust that the call
+                stays with its arg setup insns, ie. that the next
+                reloc is the __tls_get_addr call associated with
+                the current reloc.  Edit both insns.  */
+             if (input_section->has_tls_get_addr_call
+                 && rel + 1 < relend
+                 && branch_reloc_hash_match (input_bfd, rel + 1,
+                                             htab->tls_get_addr))
+               offset = rel[1].r_offset;
              if ((tls_mask & tls_gd) != 0)
                {
                  /* IE */
+                 insn1 = bfd_get_32 (output_bfd,
+                                     contents + rel->r_offset - d_offset);
                  insn1 &= (1 << 26) - 1;
                  insn1 |= 32 << 26;    /* lwz */
-                 insn2 = 0x7c631214;   /* add 3,3,2 */
-                 rel[1].r_info
-                   = ELF32_R_INFO (ELF32_R_SYM (rel[1].r_info), R_PPC_NONE);
-                 rel[1].r_addend = 0;
+                 if (offset != (bfd_vma) -1)
+                   {
+                     rel[1].r_info
+                       = ELF32_R_INFO (ELF32_R_SYM (rel[1].r_info),
+                                       R_PPC_NONE);
+                     insn2 = 0x7c631214;       /* add 3,3,2 */
+                     bfd_put_32 (output_bfd, insn2, contents + offset);
+                   }
                  r_type = (((r_type - (R_PPC_GOT_TLSGD16 & 3)) & 3)
                            + R_PPC_GOT_TPREL16);
                  rel->r_info = ELF32_R_INFO (r_symndx, r_type);
@@ -6287,7 +6843,6 @@ ppc_elf_relocate_section (bfd *output_bfd,
                {
                  /* LE */
                  insn1 = 0x3c620000;   /* addis 3,2,0 */
-                 insn2 = 0x38630000;   /* addi 3,3,0 */
                  if (tls_gd == 0)
                    {
                      /* Was an LD reloc.  */
@@ -6306,14 +6861,17 @@ ppc_elf_relocate_section (bfd *output_bfd,
                    }
                  r_type = R_PPC_TPREL16_HA;
                  rel->r_info = ELF32_R_INFO (r_symndx, r_type);
-                 rel[1].r_info = ELF32_R_INFO (r_symndx,
-                                               R_PPC_TPREL16_LO);
-                 rel[1].r_offset += d_offset;
-                 rel[1].r_addend = rel->r_addend;
+                 if (offset != (bfd_vma) -1)
+                   {
+                     rel[1].r_info = ELF32_R_INFO (r_symndx, R_PPC_TPREL16_LO);
+                     rel[1].r_offset = offset + d_offset;
+                     rel[1].r_addend = rel->r_addend;
+                     insn2 = 0x38630000;       /* addi 3,3,0 */
+                     bfd_put_32 (output_bfd, insn2, contents + offset);
+                   }
                }
              bfd_put_32 (output_bfd, insn1,
                          contents + rel->r_offset - d_offset);
-             bfd_put_32 (output_bfd, insn2, contents + offset);
              if (tls_gd == 0)
                {
                  /* We changed the symbol on an LD reloc.  Start over
@@ -6323,6 +6881,66 @@ ppc_elf_relocate_section (bfd *output_bfd,
                }
            }
          break;
+
+       case R_PPC_TLSGD:
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_GD) == 0)
+           {
+             unsigned int insn2;
+             bfd_vma offset = rel->r_offset;
+
+             if ((tls_mask & TLS_TPRELGD) != 0)
+               {
+                 /* IE */
+                 r_type = R_PPC_NONE;
+                 insn2 = 0x7c631214;   /* add 3,3,2 */
+               }
+             else
+               {
+                 /* LE */
+                 r_type = R_PPC_TPREL16_LO;
+                 rel->r_offset += d_offset;
+                 insn2 = 0x38630000;   /* addi 3,3,0 */
+               }
+             rel->r_info = ELF32_R_INFO (r_symndx, r_type);
+             bfd_put_32 (output_bfd, insn2, contents + offset);
+             /* Zap the reloc on the _tls_get_addr call too.  */
+             BFD_ASSERT (offset == rel[1].r_offset);
+             rel[1].r_info = ELF32_R_INFO (ELF32_R_SYM (rel[1].r_info),
+                                           R_PPC_NONE);
+           }
+         break;
+
+       case R_PPC_TLSLD:
+         if ((tls_mask & TLS_TLS) != 0 && (tls_mask & TLS_LD) == 0)
+           {
+             unsigned int insn2;
+
+             for (r_symndx = 0;
+                  r_symndx < symtab_hdr->sh_info;
+                  r_symndx++)
+               if (local_sections[r_symndx] == sec)
+                 break;
+             if (r_symndx >= symtab_hdr->sh_info)
+               r_symndx = 0;
+             rel->r_addend = htab->elf.tls_sec->vma + DTP_OFFSET;
+             if (r_symndx != 0)
+               rel->r_addend -= (local_syms[r_symndx].st_value
+                                 + sec->output_offset
+                                 + sec->output_section->vma);
+
+             rel->r_info = ELF32_R_INFO (r_symndx, R_PPC_TPREL16_LO);
+             rel->r_offset += d_offset;
+             insn2 = 0x38630000;       /* addi 3,3,0 */
+             bfd_put_32 (output_bfd, insn2,
+                         contents + rel->r_offset - d_offset);
+             /* Zap the reloc on the _tls_get_addr call too.  */
+             BFD_ASSERT (rel->r_offset - d_offset == rel[1].r_offset);
+             rel[1].r_info = ELF32_R_INFO (ELF32_R_SYM (rel[1].r_info),
+                                           R_PPC_NONE);
+             rel--;
+             continue;
+           }
+         break;
        }
 
       /* Handle other relocations that tweak non-addend part of insn.  */
@@ -6357,6 +6975,75 @@ ppc_elf_relocate_section (bfd *output_bfd,
          break;
        }
 
+      ifunc = NULL;
+      if (!htab->is_vxworks)
+       {
+         struct plt_entry *ent;
+
+         if (h != NULL)
+           {
+             if (h->type == STT_GNU_IFUNC)
+               ifunc = &h->plt.plist;
+           }
+         else if (local_got_offsets != NULL
+                  && ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC)
+           {
+             struct plt_entry **local_plt;
+
+             local_plt = (struct plt_entry **) (local_got_offsets
+                                                + symtab_hdr->sh_info);
+             ifunc = local_plt + r_symndx;
+           }
+
+         ent = NULL;
+         if (ifunc != NULL
+             && (!info->shared
+                 || is_branch_reloc (r_type)))
+           {
+             addend = 0;
+             if (r_type == R_PPC_PLTREL24 && info->shared)
+               addend = rel->r_addend;
+             ent = find_plt_ent (ifunc, got2, addend);
+           }
+         if (ent != NULL)
+           {
+             if (h == NULL && (ent->plt.offset & 1) == 0)
+               {
+                 Elf_Internal_Rela rela;
+                 bfd_byte *loc;
+
+                 rela.r_offset = (htab->iplt->output_section->vma
+                                  + htab->iplt->output_offset
+                                  + ent->plt.offset);
+                 rela.r_info = ELF32_R_INFO (0, R_PPC_IRELATIVE);
+                 rela.r_addend = relocation;
+                 loc = htab->reliplt->contents;
+                 loc += (htab->reliplt->reloc_count++
+                         * sizeof (Elf32_External_Rela));
+                 bfd_elf32_swap_reloca_out (output_bfd, &rela, loc);
+
+                 ent->plt.offset |= 1;
+               }
+             if (h == NULL && (ent->glink_offset & 1) == 0)
+               {
+                 write_glink_stub (ent, htab->iplt, info);
+                 ent->glink_offset |= 1;
+               }
+
+             unresolved_reloc = FALSE;
+             if (htab->plt_type == PLT_NEW
+                 || !htab->elf.dynamic_sections_created
+                 || h == NULL)
+               relocation = (htab->glink->output_section->vma
+                             + htab->glink->output_offset
+                             + (ent->glink_offset & ~1));
+             else
+               relocation = (htab->plt->output_section->vma
+                             + htab->plt->output_offset
+                             + ent->plt.offset);
+           }
+       }
+
       addend = rel->r_addend;
       tls_type = 0;
       howto = NULL;
@@ -6375,6 +7062,8 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
        case R_PPC_NONE:
        case R_PPC_TLS:
+       case R_PPC_TLSGD:
+       case R_PPC_TLSLD:
        case R_PPC_EMB_MRKREF:
        case R_PPC_GNU_VTINHERIT:
        case R_PPC_GNU_VTENTRY:
@@ -6416,6 +7105,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_GOT16_LO:
        case R_PPC_GOT16_HI:
        case R_PPC_GOT16_HA:
+         tls_mask = 0;
        dogot:
          {
            /* Relocation is to the entry for this symbol in the global
@@ -6505,10 +7195,13 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
                    /* Generate relocs for the dynamic linker.  */
                    if ((info->shared || indx != 0)
-                       && (h == NULL
+                       && (offp == &htab->tlsld_got.offset
+                           || h == NULL
                            || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
                            || h->root.type != bfd_link_hash_undefweak))
                      {
+                       asection *rsec = htab->relgot;
+
                        outrel.r_offset = (htab->got->output_section->vma
                                           + htab->got->output_offset
                                           + off);
@@ -6518,8 +7211,8 @@ ppc_elf_relocate_section (bfd *output_bfd,
                            outrel.r_info = ELF32_R_INFO (indx, R_PPC_DTPMOD32);
                            if (tls_ty == (TLS_TLS | TLS_GD))
                              {
-                               loc = htab->relgot->contents;
-                               loc += (htab->relgot->reloc_count++
+                               loc = rsec->contents;
+                               loc += (rsec->reloc_count++
                                        * sizeof (Elf32_External_Rela));
                                bfd_elf32_swap_reloca_out (output_bfd,
                                                           &outrel, loc);
@@ -6532,18 +7225,20 @@ ppc_elf_relocate_section (bfd *output_bfd,
                          outrel.r_info = ELF32_R_INFO (indx, R_PPC_DTPREL32);
                        else if (tls_ty == (TLS_TLS | TLS_TPREL))
                          outrel.r_info = ELF32_R_INFO (indx, R_PPC_TPREL32);
-                       else if (indx == 0)
-                         outrel.r_info = ELF32_R_INFO (indx, R_PPC_RELATIVE);
-                       else
+                       else if (indx != 0)
                          outrel.r_info = ELF32_R_INFO (indx, R_PPC_GLOB_DAT);
-                       if (indx == 0)
+                       else if (ifunc != NULL)
+                         outrel.r_info = ELF32_R_INFO (0, R_PPC_IRELATIVE);
+                       else
+                         outrel.r_info = ELF32_R_INFO (0, R_PPC_RELATIVE);
+                       if (indx == 0 && tls_ty != (TLS_TLS | TLS_LD))
                          {
                            outrel.r_addend += relocation;
                            if (tls_ty & (TLS_GD | TLS_DTPREL | TLS_TPREL))
                              outrel.r_addend -= htab->elf.tls_sec->vma;
                          }
-                       loc = htab->relgot->contents;
-                       loc += (htab->relgot->reloc_count++
+                       loc = rsec->contents;
+                       loc += (rsec->reloc_count++
                                * sizeof (Elf32_External_Rela));
                        bfd_elf32_swap_reloca_out (output_bfd, &outrel, loc);
                      }
@@ -6607,8 +7302,10 @@ ppc_elf_relocate_section (bfd *output_bfd,
                  }
              }
 
-           relocation = htab->got->output_offset + off;
-           relocation -= htab->elf.hgot->root.u.def.value;
+           relocation = (htab->got->output_section->vma
+                         + htab->got->output_offset
+                         + off
+                         - SYM_VAL (htab->elf.hgot));
 
            /* Addends on got relocations don't make much sense.
               x+off@got is actually x@got+off, and since the got is
@@ -6748,22 +7445,11 @@ ppc_elf_relocate_section (bfd *output_bfd,
                 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)
+                 sreloc = elf_section_data (input_section)->sreloc;
+                 if (!htab->elf.dynamic_sections_created)
+                   sreloc = htab->reliplt;
+                 if (sreloc == NULL)
                    return FALSE;
-
-                 BFD_ASSERT (CONST_STRNEQ (name, ".rela")
-                             && strcmp (bfd_get_section_name (input_bfd,
-                                                              input_section),
-                                        name + 5) == 0);
-
-                 sreloc = bfd_get_section_by_name (htab->elf.dynobj, name);
-                 BFD_ASSERT (sreloc != NULL);
                }
 
              skip = 0;
@@ -6791,13 +7477,35 @@ ppc_elf_relocate_section (bfd *output_bfd,
                {
                  outrel.r_addend = relocation + rel->r_addend;
 
-                 if (r_type == R_PPC_ADDR32)
-                   outrel.r_info = ELF32_R_INFO (0, R_PPC_RELATIVE);
-                 else
+                 if (r_type != R_PPC_ADDR32)
                    {
                      long indx = 0;
 
-                     if (r_symndx == 0 || bfd_is_abs_section (sec))
+                     if (ifunc != NULL)
+                       {
+                         /* If we get here when building a static
+                            executable, then the libc startup function
+                            responsible for applying indirect function
+                            relocations is going to complain about
+                            the reloc type.
+                            If we get here when building a dynamic
+                            executable, it will be because we have
+                            a text relocation.  The dynamic loader
+                            will set the text segment writable and
+                            non-executable to apply text relocations.
+                            So we'll segfault when trying to run the
+                            indirection function to resolve the reloc.  */
+                         (*_bfd_error_handler)
+                           (_("%B(%A+0x%lx): relocation %s for indirect "
+                              "function %s unsupported"),
+                            input_bfd,
+                            input_section,
+                            (long) rel->r_offset,
+                            howto->name,
+                            sym_name);
+                         ret = FALSE;
+                       }
+                     else if (r_symndx == 0 || bfd_is_abs_section (sec))
                        ;
                      else if (sec == NULL || sec->owner == NULL)
                        {
@@ -6812,7 +7520,8 @@ ppc_elf_relocate_section (bfd *output_bfd,
                             against a section symbol.  It would be
                             proper to subtract the symbol's value,
                             osec->vma, from the emitted reloc addend,
-                            but ld.so expects buggy relocs.  */
+                            but ld.so expects buggy relocs.
+                            FIXME: Why not always use a zero index?  */
                          osec = sec->output_section;
                          indx = elf_section_data (osec)->dynindx;
                          if (indx == 0)
@@ -6831,6 +7540,10 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
                      outrel.r_info = ELF32_R_INFO (indx, r_type);
                    }
+                 else if (ifunc != NULL)
+                   outrel.r_info = ELF32_R_INFO (0, R_PPC_IRELATIVE);
+                 else
+                   outrel.r_info = ELF32_R_INFO (0, R_PPC_RELATIVE);
                }
 
              loc = sreloc->contents;
@@ -6855,19 +7568,19 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
        case R_PPC_RELAX32PC_PLT:
        case R_PPC_RELAX32_PLT:
-         {
-           struct plt_entry *ent = find_plt_ent (h, got2, addend);
-
-           if (htab->plt_type == PLT_NEW)
-             relocation = (htab->glink->output_section->vma
-                           + htab->glink->output_offset
-                           + ent->glink_offset);
-           else
-             relocation = (htab->plt->output_section->vma
-                           + htab->plt->output_offset
-                           + ent->plt.offset);
-           addend = 0;
-         }
+         if (h != NULL)
+           {
+             struct plt_entry *ent = find_plt_ent (&h->plt.plist, got2,
+                                                   info->shared ? addend : 0);
+             if (htab->plt_type == PLT_NEW)
+               relocation = (htab->glink->output_section->vma
+                             + htab->glink->output_offset
+                             + ent->glink_offset);
+             else
+               relocation = (htab->plt->output_section->vma
+                             + htab->plt->output_offset
+                             + ent->plt.offset);
+           }
          if (r_type == R_PPC_RELAX32_PLT)
            goto relax32;
          /* Fall thru */
@@ -6899,6 +7612,17 @@ ppc_elf_relocate_section (bfd *output_bfd,
 
            bfd_put_32 (output_bfd, t0, contents + rel->r_offset);
            bfd_put_32 (output_bfd, t1, contents + rel->r_offset + 4);
+
+           /* Rewrite the reloc and convert one of the trailing nop
+              relocs to describe this relocation.  */
+           BFD_ASSERT (ELF32_R_TYPE (relend[-1].r_info) == R_PPC_NONE);
+           /* The relocs are at the bottom 2 bytes */
+           rel[0].r_offset += 2;
+           memmove (rel + 1, rel, (relend - rel - 1) * sizeof (*rel));
+           rel[0].r_info = ELF32_R_INFO (r_symndx, R_PPC_ADDR16_HA);
+           rel[1].r_offset += 4;
+           rel[1].r_info = ELF32_R_INFO (r_symndx, R_PPC_ADDR16_LO);
+           rel++;
          }
          continue;
 
@@ -6923,20 +7647,25 @@ ppc_elf_relocate_section (bfd *output_bfd,
             an embedded ELF object, for which the .got section acts like the
             AIX .toc section.  */
        case R_PPC_TOC16:                       /* phony GOT16 relocations */
-         BFD_ASSERT (sec != NULL);
-         BFD_ASSERT (bfd_is_und_section (sec)
-                     || strcmp (bfd_get_section_name (abfd, sec), ".got") == 0
+         if (sec == NULL || sec->output_section == NULL)
+           {
+             unresolved_reloc = TRUE;
+             break;
+           }
+         BFD_ASSERT (strcmp (bfd_get_section_name (abfd, sec), ".got") == 0
                      || strcmp (bfd_get_section_name (abfd, sec), ".cgot") == 0);
 
-           addend -= sec->output_section->vma + sec->output_offset + 0x8000;
+         addend -= sec->output_section->vma + sec->output_offset + 0x8000;
          break;
 
        case R_PPC_PLTREL24:
+         if (h == NULL || ifunc != NULL)
+           break;
          /* Relocation is to the entry for this symbol in the
             procedure linkage table.  */
          {
-           struct plt_entry *ent = find_plt_ent (h, got2, addend);
-
+           struct plt_entry *ent = find_plt_ent (&h->plt.plist, got2,
+                                                 info->shared ? addend : 0);
            addend = 0;
            if (ent == NULL
                || htab->plt == NULL)
@@ -6963,9 +7692,13 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_SDAREL16:
          {
            const char *name;
-           struct elf_link_hash_entry *sh;
 
-           BFD_ASSERT (sec != NULL);
+           if (sec == NULL || sec->output_section == NULL)
+             {
+               unresolved_reloc = TRUE;
+               break;
+             }
+
            name = bfd_get_section_name (abfd, sec->output_section);
            if (! ((CONST_STRNEQ (name, ".sdata")
                    && (name[6] == 0 || name[6] == '.'))
@@ -6980,10 +7713,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
                   howto->name,
                   name);
              }
-           sh = htab->sdata[0].sym;
-           addend -= (sh->root.u.def.value
-                      + sh->root.u.def.section->output_offset
-                      + sh->root.u.def.section->output_section->vma);
+           addend -= SYM_VAL (htab->sdata[0].sym);
          }
          break;
 
@@ -6991,9 +7721,13 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_EMB_SDA2REL:
          {
            const char *name;
-           struct elf_link_hash_entry *sh;
 
-           BFD_ASSERT (sec != NULL);
+           if (sec == NULL || sec->output_section == NULL)
+             {
+               unresolved_reloc = TRUE;
+               break;
+             }
+
            name = bfd_get_section_name (abfd, sec->output_section);
            if (! (CONST_STRNEQ (name, ".sdata2")
                   || CONST_STRNEQ (name, ".sbss2")))
@@ -7010,10 +7744,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
                ret = FALSE;
                continue;
              }
-           sh = htab->sdata[1].sym;
-           addend -= (sh->root.u.def.value
-                      + sh->root.u.def.section->output_offset
-                      + sh->root.u.def.section->output_section->vma);
+           addend -= SYM_VAL (htab->sdata[1].sym);
          }
          break;
 
@@ -7023,9 +7754,13 @@ ppc_elf_relocate_section (bfd *output_bfd,
          {
            const char *name;
            int reg;
-           struct elf_link_hash_entry *sh;
 
-           BFD_ASSERT (sec != NULL);
+           if (sec == NULL || sec->output_section == NULL)
+             {
+               unresolved_reloc = TRUE;
+               break;
+             }
+
            name = bfd_get_section_name (abfd, sec->output_section);
            if (((CONST_STRNEQ (name, ".sdata")
                  && (name[6] == 0 || name[6] == '.'))
@@ -7033,28 +7768,19 @@ ppc_elf_relocate_section (bfd *output_bfd,
                     && (name[5] == 0 || name[5] == '.'))))
              {
                reg = 13;
-               sh = htab->sdata[0].sym;
-               addend -= (sh->root.u.def.value
-                          + sh->root.u.def.section->output_offset
-                          + sh->root.u.def.section->output_section->vma);
+               addend -= SYM_VAL (htab->sdata[0].sym);
              }
-
            else if (CONST_STRNEQ (name, ".sdata2")
                     || CONST_STRNEQ (name, ".sbss2"))
              {
                reg = 2;
-               sh = htab->sdata[1].sym;
-               addend -= (sh->root.u.def.value
-                          + sh->root.u.def.section->output_offset
-                          + sh->root.u.def.section->output_section->vma);
+               addend -= SYM_VAL (htab->sdata[1].sym);
              }
-
            else if (strcmp (name, ".PPC.EMB.sdata0") == 0
                     || strcmp (name, ".PPC.EMB.sbss0") == 0)
              {
                reg = 0;
              }
-
            else
              {
                (*_bfd_error_handler)
@@ -7084,7 +7810,11 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_SECTOFF_LO:
        case R_PPC_SECTOFF_HI:
        case R_PPC_SECTOFF_HA:
-         BFD_ASSERT (sec != NULL);
+         if (sec == NULL || sec->output_section == NULL)
+           {
+             unresolved_reloc = TRUE;
+             break;
+           }
          addend -= sec->output_section->vma;
          break;
 
@@ -7101,6 +7831,7 @@ ppc_elf_relocate_section (bfd *output_bfd,
        case R_PPC_GLOB_DAT:
        case R_PPC_JMP_SLOT:
        case R_PPC_RELATIVE:
+       case R_PPC_IRELATIVE:
        case R_PPC_PLT32:
        case R_PPC_PLTREL32:
        case R_PPC_PLT16_LO:
@@ -7236,10 +7967,6 @@ ppc_elf_relocate_section (bfd *output_bfd,
   return ret;
 }
 \f
-#define PPC_LO(v) ((v) & 0xffff)
-#define PPC_HI(v) (((v) >> 16) & 0xffff)
-#define PPC_HA(v) PPC_HI ((v) + 0x8000)
-
 /* Finish up dynamic symbol handling.  We set the contents of various
    dynamic sections here.  */
 
@@ -7271,7 +7998,9 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
            bfd_byte *loc;
            bfd_vma reloc_index;
 
-           if (htab->plt_type == PLT_NEW)
+           if (htab->plt_type == PLT_NEW
+               || !htab->elf.dynamic_sections_created
+               || h->dynindx == -1)
              reloc_index = ent->plt.offset / 4;
            else
              {
@@ -7284,7 +8013,9 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
 
            /* This symbol has an entry in the procedure linkage table.
               Set it up.  */
-           if (htab->plt_type == PLT_VXWORKS)
+           if (htab->plt_type == PLT_VXWORKS
+               && htab->elf.dynamic_sections_created
+               && h->dynindx != -1)
              {
                bfd_vma got_offset;
                const bfd_vma *plt_entry;
@@ -7299,31 +8030,22 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
                /* Fill in the .plt on VxWorks.  */
                if (info->shared)
                  {
-                   bfd_vma got_offset_hi = (got_offset >> 16)
-                                           + ((got_offset & 0x8000) >> 15);
-
                    bfd_put_32 (output_bfd,
-                               plt_entry[0] | (got_offset_hi & 0xffff),
+                               plt_entry[0] | PPC_HA (got_offset),
                                htab->plt->contents + ent->plt.offset + 0);
                    bfd_put_32 (output_bfd,
-                               plt_entry[1] | (got_offset & 0xffff),
+                               plt_entry[1] | PPC_LO (got_offset),
                                htab->plt->contents + ent->plt.offset + 4);
                  }
                else
                  {
-                   bfd_vma got_loc
-                     = (got_offset
-                        + htab->elf.hgot->root.u.def.value
-                        + htab->elf.hgot->root.u.def.section->output_offset
-                        + htab->elf.hgot->root.u.def.section->output_section->vma);
-                   bfd_vma got_loc_hi = (got_loc >> 16)
-                                        + ((got_loc & 0x8000) >> 15);
+                   bfd_vma got_loc = got_offset + SYM_VAL (htab->elf.hgot);
 
                    bfd_put_32 (output_bfd,
-                               plt_entry[0] | (got_loc_hi & 0xffff),
+                               plt_entry[0] | PPC_HA (got_loc),
                                htab->plt->contents + ent->plt.offset + 0);
                    bfd_put_32 (output_bfd,
-                               plt_entry[1] | (got_loc & 0xffff),
+                               plt_entry[1] | PPC_LO (got_loc),
                                htab->plt->contents + ent->plt.offset + 4);
                  }
 
@@ -7415,10 +8137,17 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
              }
            else
              {
-               rela.r_offset = (htab->plt->output_section->vma
-                                + htab->plt->output_offset
+               asection *splt = htab->plt;
+               if (!htab->elf.dynamic_sections_created
+                   || h->dynindx == -1)
+                 splt = htab->iplt;
+
+               rela.r_offset = (splt->output_section->vma
+                                + splt->output_offset
                                 + ent->plt.offset);
-               if (htab->plt_type == PLT_OLD)
+               if (htab->plt_type == PLT_OLD
+                   || !htab->elf.dynamic_sections_created
+                   || h->dynindx == -1)
                  {
                    /* We don't need to fill in the .plt.  The ppc dynamic
                       linker will fill it in.  */
@@ -7429,16 +8158,33 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
                                   + htab->glink->output_section->vma
                                   + htab->glink->output_offset);
                    bfd_put_32 (output_bfd, val,
-                               htab->plt->contents + ent->plt.offset);
+                               splt->contents + ent->plt.offset);
                  }
              }
 
            /* Fill in the entry in the .rela.plt section.  */
-           rela.r_info = ELF32_R_INFO (h->dynindx, R_PPC_JMP_SLOT);
            rela.r_addend = 0;
+           if (!htab->elf.dynamic_sections_created
+               || h->dynindx == -1)
+             {
+               BFD_ASSERT (h->type == STT_GNU_IFUNC
+                           && h->def_regular
+                           && (h->root.type == bfd_link_hash_defined
+                               || h->root.type == bfd_link_hash_defweak));
+               rela.r_info = ELF32_R_INFO (0, R_PPC_IRELATIVE);
+               rela.r_addend = SYM_VAL (h);
+             }
+           else
+             rela.r_info = ELF32_R_INFO (h->dynindx, R_PPC_JMP_SLOT);
 
-           loc = (htab->relplt->contents
-                  + reloc_index * sizeof (Elf32_External_Rela));
+           if (!htab->elf.dynamic_sections_created
+               || h->dynindx == -1)
+             loc = (htab->reliplt->contents
+                    + (htab->reliplt->reloc_count++
+                       * sizeof (Elf32_External_Rela)));
+           else
+             loc = (htab->relplt->contents
+                    + reloc_index * sizeof (Elf32_External_Rela));
            bfd_elf32_swap_reloca_out (output_bfd, &rela, loc);
 
            if (!h->def_regular)
@@ -7461,71 +8207,39 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
                    sym->st_value = 0;
                  }
              }
+           else if (h->type == STT_GNU_IFUNC
+                    && !info->shared)
+             {
+               /* Set the value of ifunc symbols in a non-pie
+                  executable to the glink entry.  This is to avoid
+                  text relocations.  We can't do this for ifunc in
+                  allocate_dynrelocs, as we do for normal dynamic
+                  function symbols with plt entries, because we need
+                  to keep the original value around for the ifunc
+                  relocation.  */
+               sym->st_shndx = (_bfd_elf_section_from_bfd_section
+                                (output_bfd, htab->glink->output_section));
+               sym->st_value = (ent->glink_offset +
+                                htab->glink->output_offset
+                                + htab->glink->output_section->vma);
+             }
            doneone = TRUE;
          }
 
-       if (htab->plt_type == PLT_NEW)
+       if (htab->plt_type == PLT_NEW
+           || !htab->elf.dynamic_sections_created
+           || h->dynindx == -1)
          {
-           bfd_vma plt;
-           unsigned char *p;
-
-           plt = (ent->plt.offset
-                  + htab->plt->output_section->vma
-                  + htab->plt->output_offset);
-           p = (unsigned char *) htab->glink->contents + ent->glink_offset;
+           asection *splt = htab->plt;
+           if (!htab->elf.dynamic_sections_created
+               || h->dynindx == -1)
+             splt = htab->iplt;
 
-           if (info->shared || info->pie)
-             {
-               bfd_vma got = 0;
+           write_glink_stub (ent, splt, info);
 
-               if (ent->addend >= 32768)
-                 got = (ent->addend
-                        + ent->sec->output_section->vma
-                        + ent->sec->output_offset);
-               else if (htab->elf.hgot != NULL)
-                 got = (htab->elf.hgot->root.u.def.value
-                        + htab->elf.hgot->root.u.def.section->output_section->vma
-                        + htab->elf.hgot->root.u.def.section->output_offset);
-
-               plt -= got;
-
-               if (plt + 0x8000 < 0x10000)
-                 {
-                   bfd_put_32 (output_bfd, LWZ_11_30 + PPC_LO (plt), p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, MTCTR_11, p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, BCTR, p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, NOP, p);
-                   p += 4;
-                 }
-               else
-                 {
-                   bfd_put_32 (output_bfd, ADDIS_11_30 + PPC_HA (plt), p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, LWZ_11_11 + PPC_LO (plt), p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, MTCTR_11, p);
-                   p += 4;
-                   bfd_put_32 (output_bfd, BCTR, p);
-                   p += 4;
-                 }
-             }
-           else
-             {
-               bfd_put_32 (output_bfd, LIS_11 + PPC_HA (plt), p);
-               p += 4;
-               bfd_put_32 (output_bfd, LWZ_11_11 + PPC_LO (plt), p);
-               p += 4;
-               bfd_put_32 (output_bfd, MTCTR_11, p);
-               p += 4;
-               bfd_put_32 (output_bfd, BCTR, p);
-               p += 4;
-
-               /* We only need one non-PIC glink stub.  */
-               break;
-             }
+           if (!info->shared)
+             /* We only need one non-PIC glink stub.  */
+             break;
          }
        else
          break;
@@ -7551,9 +8265,7 @@ ppc_elf_finish_dynamic_symbol (bfd *output_bfd,
        s = htab->relbss;
       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_offset = SYM_VAL (h);
       rela.r_info = ELF32_R_INFO (h->dynindx, R_PPC_COPY);
       rela.r_addend = 0;
       loc = s->contents + s->reloc_count++ * sizeof (Elf32_External_Rela);
@@ -7603,7 +8315,8 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
   asection *splt;
   struct ppc_elf_link_hash_table *htab;
   bfd_vma got;
-  bfd * dynobj;
+  bfd *dynobj;
+  bfd_boolean ret = TRUE;
 
 #ifdef DEBUG
   fprintf (stderr, "ppc_elf_finish_dynamic_sections called\n");
@@ -7619,9 +8332,7 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
 
   got = 0;
   if (htab->elf.hgot != NULL)
-    got = (htab->elf.hgot->root.u.def.value
-          + htab->elf.hgot->root.u.def.section->output_section->vma
-          + htab->elf.hgot->root.u.def.section->output_offset);
+    got = SYM_VAL (htab->elf.hgot);
 
   if (htab->elf.dynamic_sections_created)
     {
@@ -7681,21 +8392,41 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
        }
     }
 
-  /* Add a blrl instruction at _GLOBAL_OFFSET_TABLE_-4 so that a function can
-     easily find the address of the _GLOBAL_OFFSET_TABLE_.  */
   if (htab->got != NULL)
     {
-      unsigned char *p = htab->got->contents;
-      bfd_vma val;
+      if (htab->elf.hgot->root.u.def.section == htab->got
+         || htab->elf.hgot->root.u.def.section == htab->sgotplt)
+       {
+         unsigned char *p = htab->elf.hgot->root.u.def.section->contents;
 
-      p += htab->elf.hgot->root.u.def.value;
-      if (htab->plt_type == PLT_OLD)
-       bfd_put_32 (output_bfd, 0x4e800021 /* blrl */, p - 4);
+         p += htab->elf.hgot->root.u.def.value;
+         if (htab->plt_type == PLT_OLD)
+           {
+             /* Add a blrl instruction at _GLOBAL_OFFSET_TABLE_-4
+                so that a function can easily find the address of
+                _GLOBAL_OFFSET_TABLE_.  */
+             BFD_ASSERT (htab->elf.hgot->root.u.def.value - 4
+                         < htab->elf.hgot->root.u.def.section->size);
+             bfd_put_32 (output_bfd, 0x4e800021, p - 4);
+           }
 
-      val = 0;
-      if (sdyn != NULL)
-       val = sdyn->output_section->vma + sdyn->output_offset;
-      bfd_put_32 (output_bfd, val, p);
+         if (sdyn != NULL)
+           {
+             bfd_vma val = sdyn->output_section->vma + sdyn->output_offset;
+             BFD_ASSERT (htab->elf.hgot->root.u.def.value
+                         < htab->elf.hgot->root.u.def.section->size);
+             bfd_put_32 (output_bfd, val, p);
+           }
+       }
+      else
+       {
+         (*_bfd_error_handler) (_("%s not defined in linker created %s"),
+                                htab->elf.hgot->root.root.string,
+                                (htab->sgotplt != NULL
+                                 ? htab->sgotplt->name : htab->got->name));
+         bfd_set_error (bfd_error_bad_value);
+         ret = FALSE;
+       }
 
       elf_section_data (htab->got->output_section)->this_hdr.sh_entsize = 4;
     }
@@ -7710,15 +8441,11 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
 
       if (!info->shared)
        {
-         bfd_vma got_value =
-           (htab->elf.hgot->root.u.def.section->output_section->vma
-            + htab->elf.hgot->root.u.def.section->output_offset
-            + htab->elf.hgot->root.u.def.value);
-         bfd_vma got_hi = (got_value >> 16) + ((got_value & 0x8000) >> 15);
+         bfd_vma got_value = SYM_VAL (htab->elf.hgot);
 
-         bfd_put_32 (output_bfd, plt_entry[0] | (got_hi & 0xffff),
+         bfd_put_32 (output_bfd, plt_entry[0] | PPC_HA (got_value),
                      splt->contents +  0);
-         bfd_put_32 (output_bfd, plt_entry[1] | (got_value & 0xffff),
+         bfd_put_32 (output_bfd, plt_entry[1] | PPC_LO (got_value),
                      splt->contents +  4);
        }
       else
@@ -7783,7 +8510,9 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
        }
     }
 
-  if (htab->glink != NULL && htab->glink->contents != NULL)
+  if (htab->glink != NULL
+      && htab->glink->contents != NULL
+      && htab->elf.dynamic_sections_created)
     {
       unsigned char *p;
       unsigned char *endp;
@@ -7915,7 +8644,7 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
              + htab->glink->output_offset);
 
       /* Last comes the PLTresolve stub.  */
-      if (info->shared || info->pie)
+      if (info->shared)
        {
          bfd_vma bcl;
 
@@ -7983,7 +8712,7 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
        }
     }
 
-  return TRUE;
+  return ret;
 }
 \f
 #define TARGET_LITTLE_SYM      bfd_elf32_powerpcle_vec
@@ -8050,6 +8779,7 @@ ppc_elf_finish_dynamic_sections (bfd *output_bfd,
 #define elf_backend_plt_sym_val                        ppc_elf_plt_sym_val
 #define elf_backend_action_discarded           ppc_elf_action_discarded
 #define elf_backend_init_index_section         _bfd_elf_init_1_index_section
+#define elf_backend_post_process_headers       _bfd_elf_set_osabi
 
 #include "elf32-target.h"
 
@@ -8159,5 +8889,6 @@ ppc_elf_vxworks_final_write_processing (bfd *abfd, bfd_boolean linker)
 
 #undef elf32_bed
 #define elf32_bed                              ppc_elf_vxworks_bed
+#undef elf_backend_post_process_headers
 
 #include "elf32-target.h"