* powerpc.cc (Powerpc_relocate_functions): Upcase enum values,
[deliverable/binutils-gdb.git] / gold / powerpc.cc
index 35cf83476dc7cc271e402525bbbbf33483014a43..9ac81a16f076aad9bd75145052daee69dd9f658d 100644 (file)
@@ -57,29 +57,109 @@ template<int size, bool big_endian>
 class Powerpc_relobj : public Sized_relobj_file<size, big_endian>
 {
 public:
+  typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
+  typedef typename elfcpp::Elf_types<size>::Elf_Off Offset;
+
   Powerpc_relobj(const std::string& name, Input_file* input_file, off_t offset,
                 const typename elfcpp::Ehdr<size, big_endian>& ehdr)
     : Sized_relobj_file<size, big_endian>(name, input_file, offset, ehdr),
-      got2_section_(0)
+      special_(0), opd_ent_shndx_(), opd_ent_off_()
   { }
 
   ~Powerpc_relobj()
   { }
 
+  // The .got2 section shndx.
   unsigned int
   got2_shndx() const
   {
     if (size == 32)
-      return this->got2_section_;
+      return this->special_;
     else
       return 0;
   }
 
+  // The .opd section shndx.
+  unsigned int
+  opd_shndx() const
+  {
+    if (size == 32)
+      return 0;
+    else
+      return this->special_;
+  }
+
+  // Init OPD entry arrays.
+  void
+  init_opd(size_t opd_size)
+  {
+    size_t count = this->opd_ent_ndx(opd_size);
+    this->opd_ent_shndx_.resize(count);
+    this->opd_ent_off_.reserve(count);
+  }
+
+  // Return section and offset of function entry for .opd + R_OFF.
+  void
+  get_opd_ent(Address r_off, unsigned int* shndx, Address* value) const
+  {
+    size_t ndx = this->opd_ent_ndx(r_off);
+    gold_assert(ndx < this->opd_ent_shndx_.size());
+    gold_assert(this->opd_ent_shndx_[ndx] != 0);
+    *shndx = this->opd_ent_shndx_[ndx];
+    *value = this->opd_ent_off_[ndx];
+  }
+
+  // Set section and offset of function entry for .opd + R_OFF.
+  void
+  set_opd_ent(Address r_off, unsigned int shndx, Address value)
+  {
+    size_t ndx = this->opd_ent_ndx(r_off);
+    gold_assert(ndx < this->opd_ent_shndx_.size());
+    this->opd_ent_shndx_[ndx] = shndx;
+    this->opd_ent_off_[ndx] = value;
+  }
+
+  // Examine .rela.opd to build info about function entry points.
+  void
+  scan_opd_relocs(size_t reloc_count,
+                 const unsigned char* prelocs,
+                 const unsigned char* plocal_syms);
+
+  void
+  do_read_relocs(Read_relocs_data*);
+
   bool
   do_find_special_sections(Read_symbols_data* sd);
 
+  // Return offset in output GOT section that this object will use
+  // as a TOC pointer.  Won't be just a constant with multi-toc support.
+  Address
+  toc_base_offset() const
+  { return 0x8000; }
+
 private:
-  unsigned int got2_section_;
+  // Return index into opd_ent_shndx or opd_ent_off array for .opd entry
+  // at OFF.  .opd entries are 24 bytes long, but they can be spaced
+  // 16 bytes apart when the language doesn't use the last 8-byte
+  // word, the environment pointer.  Thus dividing the entry section
+  // offset by 16 will give an index into opd_ent_shndx_ and
+  // opd_ent_off_ that works for either layout of .opd.  (It leaves
+  // some elements of the vectors unused when .opd entries are spaced
+  // 24 bytes apart, but we don't know the spacing until relocations
+  // are processed, and in any case it is possible for an object to
+  // have some entries spaced 16 bytes apart and others 24 bytes apart.)
+  size_t
+  opd_ent_ndx(size_t off) const
+  { return off >> 4;}
+
+  // For 32-bit the .got2 section shdnx, for 64-bit the .opd section shndx.
+  unsigned int special_;
+  // The first 8-byte word of an OPD entry gives the address of the
+  // entry point of the function.  Relocatable object files have a
+  // relocation on this word.  The following two vectors record the
+  // section and offset specified by these relocations.
+  std::vector<unsigned int> opd_ent_shndx_;
+  std::vector<Offset> opd_ent_off_;
 };
 
 template<int size, bool big_endian>
@@ -88,12 +168,18 @@ class Target_powerpc : public Sized_target<size, big_endian>
  public:
   typedef
     Output_data_reloc<elfcpp::SHT_RELA, true, size, big_endian> Reloc_section;
+  typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
+  typedef typename elfcpp::Elf_types<size>::Elf_Swxword Signed_address;
+  static const Address invalid_address = static_cast<Address>(0) - 1;
+  // Offset of tp and dtp pointers from start of TLS block.
+  static const Address tp_offset = 0x7000;
+  static const Address dtp_offset = 0x8000;
 
   Target_powerpc()
     : Sized_target<size, big_endian>(&powerpc_info),
       got_(NULL), plt_(NULL), glink_(NULL), rela_dyn_(NULL),
       copy_relocs_(elfcpp::R_POWERPC_COPY),
-      dynbss_(NULL), got_mod_index_offset_(-1U)
+      dynbss_(NULL), tlsld_got_offset_(-1U)
   {
   }
 
@@ -156,7 +242,7 @@ class Target_powerpc : public Sized_target<size, big_endian>
                   Output_section* output_section,
                   bool needs_special_offset_handling,
                   unsigned char* view,
-                  typename elfcpp::Elf_types<size>::Elf_Addr view_address,
+                  Address view_address,
                   section_size_type view_size,
                   const Reloc_symbol_changes*);
 
@@ -175,20 +261,20 @@ class Target_powerpc : public Sized_target<size, big_endian>
                          const unsigned char* plocal_symbols,
                          Relocatable_relocs*);
 
-  // Relocate a section during a relocatable link.
+  // Emit relocations for a section.
   void
-  relocate_for_relocatable(const Relocate_info<size, big_endian>*,
-                          unsigned int sh_type,
-                          const unsigned char* prelocs,
-                          size_t reloc_count,
-                          Output_section* output_section,
-                          off_t offset_in_output_section,
-                          const Relocatable_relocs*,
-                          unsigned char*,
-                          typename elfcpp::Elf_types<size>::Elf_Addr,
-                          section_size_type,
-                          unsigned char* reloc_view,
-                          section_size_type reloc_view_size);
+  relocate_relocs(const Relocate_info<size, big_endian>*,
+                 unsigned int sh_type,
+                 const unsigned char* prelocs,
+                 size_t reloc_count,
+                 Output_section* output_section,
+                 off_t offset_in_output_section,
+                 const Relocatable_relocs*,
+                 unsigned char*,
+                 Address view_address,
+                 section_size_type,
+                 unsigned char* reloc_view,
+                 section_size_type reloc_view_size);
 
   // Return whether SYM is defined by the ABI.
   bool
@@ -229,7 +315,6 @@ class Target_powerpc : public Sized_target<size, big_endian>
     return this->got_;
   }
 
- protected:
   Object*
   do_make_elf_object(const std::string&, Input_file*, off_t,
                     const elfcpp::Ehdr<size, big_endian>&);
@@ -326,10 +411,39 @@ class Target_powerpc : public Sized_target<size, big_endian>
     bool issued_non_pic_error_;
   };
 
+  Address
+  symval_for_branch(Address value, const Sized_symbol<size>* gsym,
+                   Powerpc_relobj<size, big_endian>* object,
+                   unsigned int *dest_shndx);
+
   // The class which implements relocation.
   class Relocate
   {
    public:
+    // Use 'at' branch hints when true, 'y' when false.
+    // FIXME maybe: set this with an option.
+    static const bool is_isa_v2 = true;
+
+    enum skip_tls
+    {
+      CALL_NOT_EXPECTED = 0,
+      CALL_EXPECTED = 1,
+      CALL_SKIP = 2
+    };
+
+    Relocate()
+      : call_tls_get_addr_(CALL_NOT_EXPECTED)
+    { }
+
+    ~Relocate()
+    {
+      if (this->call_tls_get_addr_ != CALL_NOT_EXPECTED)
+       {
+         // FIXME: This needs to specify the location somehow.
+         gold_error(_("missing expected __tls_get_addr call"));
+       }
+    }
+
     // Do a relocation.  Return false if the caller should not issue
     // any warnings about this relocation.
     inline bool
@@ -342,17 +456,9 @@ class Target_powerpc : public Sized_target<size, big_endian>
             typename elfcpp::Elf_types<size>::Elf_Addr,
             section_size_type);
 
-   private:
-    // Do a TLS relocation.
-    inline void
-    relocate_tls(const Relocate_info<size, big_endian>*,
-                Target_powerpc* target,
-                size_t relnum, const elfcpp::Rela<size, big_endian>&,
-                unsigned int r_type, const Sized_symbol<size>*,
-                const Symbol_value<size>*,
-                unsigned char*,
-                typename elfcpp::Elf_types<size>::Elf_Addr,
-                section_size_type);
+    // This is set if we should skip the next reloc, which should be a
+    // call to __tls_get_addr.
+    enum skip_tls call_tls_get_addr_;
   };
 
   // A class which returns the size required for a relocation type,
@@ -368,10 +474,40 @@ class Target_powerpc : public Sized_target<size, big_endian>
     }
   };
 
-  // Adjust TLS relocation type based on the options and whether this
-  // is a local symbol.
-  static tls::Tls_optimization
-  optimize_tls_reloc(bool is_final, int r_type);
+  // Optimize the TLS relocation type based on what we know about the
+  // symbol.  IS_FINAL is true if the final address of this symbol is
+  // known at link time.
+
+  tls::Tls_optimization
+  optimize_tls_gd(bool is_final)
+  {
+    // If we are generating a shared library, then we can't do anything
+    // in the linker.
+    if (parameters->options().shared())
+      return tls::TLSOPT_NONE;
+
+    if (!is_final)
+      return tls::TLSOPT_TO_IE;
+    return tls::TLSOPT_TO_LE;
+  }
+
+  tls::Tls_optimization
+  optimize_tls_ld()
+  {
+    if (parameters->options().shared())
+      return tls::TLSOPT_NONE;
+
+    return tls::TLSOPT_TO_LE;
+  }
+
+  tls::Tls_optimization
+  optimize_tls_ie(bool is_final)
+  {
+    if (!is_final || parameters->options().shared())
+      return tls::TLSOPT_NONE;
+
+    return tls::TLSOPT_TO_LE;
+  }
 
   // Get the GOT section, creating it if necessary.
   Output_data_got_powerpc<size, big_endian>*
@@ -391,10 +527,16 @@ class Target_powerpc : public Sized_target<size, big_endian>
                 const elfcpp::Rela<size, big_endian>&,
                 const Sized_relobj<size, big_endian>* object);
 
-  // Create a GOT entry for the TLS module index.
+  // Create a GOT entry for local dynamic __tls_get_addr.
+  unsigned int
+  tlsld_got_offset(Symbol_table* symtab, Layout* layout,
+                  Sized_relobj_file<size, big_endian>* object);
+
   unsigned int
-  got_mod_index_entry(Symbol_table* symtab, Layout* layout,
-                     Sized_relobj_file<size, big_endian>* object);
+  tlsld_got_offset() const
+  {
+    return this->tlsld_got_offset_;
+  }
 
   // Get the dynamic reloc section, creating it if necessary.
   Reloc_section*
@@ -423,9 +565,10 @@ class Target_powerpc : public Sized_target<size, big_endian>
   // number of the .gnu_incremental_inputs section.
   enum Got_type
   {
-    GOT_TYPE_STANDARD = 0,      // GOT entry for a regular symbol
-    GOT_TYPE_TLS_OFFSET = 1,    // GOT entry for TLS offset
-    GOT_TYPE_TLS_PAIR = 2,      // GOT entry for TLS module/offset pair
+    GOT_TYPE_STANDARD,
+    GOT_TYPE_TLSGD,    // double entry for @got@tlsgd
+    GOT_TYPE_DTPREL,   // entry for @got@dtprel
+    GOT_TYPE_TPREL     // entry for @got@tprel
   };
 
   // The GOT output section.
@@ -440,8 +583,8 @@ class Target_powerpc : public Sized_target<size, big_endian>
   Copy_relocs<elfcpp::SHT_RELA, size, big_endian> copy_relocs_;
   // Space for variables copied with a COPY reloc.
   Output_data_space* dynbss_;
-  // Offset of the GOT entry for the TLS module index;
-  unsigned int got_mod_index_offset_;
+  // Offset of the GOT entry for local dynamic __tls_get_addr calls.
+  unsigned int tlsld_got_offset_;
 };
 
 template<>
@@ -460,8 +603,8 @@ Target::Target_info Target_powerpc<32, true>::powerpc_info =
   0x10000000,          // default_text_segment_address
   64 * 1024,           // abi_pagesize (overridable by -z max-page-size)
   4 * 1024,            // common_pagesize (overridable by -z common-page-size)
-  false,                // isolate_execinstr
-  0,                    // rosegment_gap
+  false,               // isolate_execinstr
+  0,                   // rosegment_gap
   elfcpp::SHN_UNDEF,   // small_common_shndx
   elfcpp::SHN_UNDEF,   // large_common_shndx
   0,                   // small_common_section_flags
@@ -486,8 +629,8 @@ Target::Target_info Target_powerpc<32, false>::powerpc_info =
   0x10000000,          // default_text_segment_address
   64 * 1024,           // abi_pagesize (overridable by -z max-page-size)
   4 * 1024,            // common_pagesize (overridable by -z common-page-size)
-  false,                // isolate_execinstr
-  0,                    // rosegment_gap
+  false,               // isolate_execinstr
+  0,                   // rosegment_gap
   elfcpp::SHN_UNDEF,   // small_common_shndx
   elfcpp::SHN_UNDEF,   // large_common_shndx
   0,                   // small_common_section_flags
@@ -511,9 +654,9 @@ Target::Target_info Target_powerpc<64, true>::powerpc_info =
   "/usr/lib/ld.so.1",  // dynamic_linker
   0x10000000,          // default_text_segment_address
   64 * 1024,           // abi_pagesize (overridable by -z max-page-size)
-  8 * 1024,            // common_pagesize (overridable by -z common-page-size)
-  false,                // isolate_execinstr
-  0,                    // rosegment_gap
+  4 * 1024,            // common_pagesize (overridable by -z common-page-size)
+  false,               // isolate_execinstr
+  0,                   // rosegment_gap
   elfcpp::SHN_UNDEF,   // small_common_shndx
   elfcpp::SHN_UNDEF,   // large_common_shndx
   0,                   // small_common_section_flags
@@ -537,9 +680,9 @@ Target::Target_info Target_powerpc<64, false>::powerpc_info =
   "/usr/lib/ld.so.1",  // dynamic_linker
   0x10000000,          // default_text_segment_address
   64 * 1024,           // abi_pagesize (overridable by -z max-page-size)
-  8 * 1024,            // common_pagesize (overridable by -z common-page-size)
-  false,                // isolate_execinstr
-  0,                    // rosegment_gap
+  4 * 1024,            // common_pagesize (overridable by -z common-page-size)
+  false,               // isolate_execinstr
+  0,                   // rosegment_gap
   elfcpp::SHN_UNDEF,   // small_common_shndx
   elfcpp::SHN_UNDEF,   // large_common_shndx
   0,                   // small_common_section_flags
@@ -548,188 +691,454 @@ Target::Target_info Target_powerpc<64, false>::powerpc_info =
   NULL                 // attributes_vendor
 };
 
+inline bool
+is_branch_reloc(unsigned int r_type)
+{
+  return (r_type == elfcpp::R_POWERPC_REL24
+         || r_type == elfcpp::R_PPC_PLTREL24
+         || r_type == elfcpp::R_PPC_LOCAL24PC
+         || r_type == elfcpp::R_POWERPC_REL14
+         || r_type == elfcpp::R_POWERPC_REL14_BRTAKEN
+         || r_type == elfcpp::R_POWERPC_REL14_BRNTAKEN
+         || r_type == elfcpp::R_POWERPC_ADDR24
+         || r_type == elfcpp::R_POWERPC_ADDR14
+         || r_type == elfcpp::R_POWERPC_ADDR14_BRTAKEN
+         || r_type == elfcpp::R_POWERPC_ADDR14_BRNTAKEN);
+}
+
+// If INSN is an opcode that may be used with an @tls operand, return
+// the transformed insn for TLS optimisation, otherwise return 0.  If
+// REG is non-zero only match an insn with RB or RA equal to REG.
+uint32_t
+at_tls_transform(uint32_t insn, unsigned int reg)
+{
+  if ((insn & (0x3f << 26)) != 31 << 26)
+    return 0;
+
+  unsigned int rtra;
+  if (reg == 0 || ((insn >> 11) & 0x1f) == reg)
+    rtra = insn & ((1 << 26) - (1 << 16));
+  else if (((insn >> 16) & 0x1f) == reg)
+    rtra = (insn & (0x1f << 21)) | ((insn & (0x1f << 11)) << 5);
+  else
+    return 0;
+
+  if ((insn & (0x3ff << 1)) == 266 << 1)
+    // add -> addi
+    insn = 14 << 26;
+  else if ((insn & (0x1f << 1)) == 23 << 1
+          && ((insn & (0x1f << 6)) < 14 << 6
+              || ((insn & (0x1f << 6)) >= 16 << 6
+                  && (insn & (0x1f << 6)) < 24 << 6)))
+    // load and store indexed -> dform
+    insn = (32 | ((insn >> 6) & 0x1f)) << 26;
+  else if ((insn & (((0x1a << 5) | 0x1f) << 1)) == 21 << 1)
+    // ldx, ldux, stdx, stdux -> ld, ldu, std, stdu
+    insn = ((58 | ((insn >> 6) & 4)) << 26) | ((insn >> 6) & 1);
+  else if ((insn & (((0x1f << 5) | 0x1f) << 1)) == 341 << 1)
+    // lwax -> lwa
+    insn = (58 << 26) | 2;
+  else
+    return 0;
+  insn |= rtra;
+  return insn;
+}
+
+// Modified version of symtab.h class Symbol member
+// Given a direct absolute or pc-relative static relocation against
+// the global symbol, this function returns whether a dynamic relocation
+// is needed.
+
+template<int size>
+bool
+needs_dynamic_reloc(const Symbol* gsym, int flags)
+{
+  // No dynamic relocations in a static link!
+  if (parameters->doing_static_link())
+    return false;
+
+  // A reference to an undefined symbol from an executable should be
+  // statically resolved to 0, and does not need a dynamic relocation.
+  // This matches gnu ld behavior.
+  if (gsym->is_undefined() && !parameters->options().shared())
+    return false;
+
+  // A reference to an absolute symbol does not need a dynamic relocation.
+  if (gsym->is_absolute())
+    return false;
+
+  // An absolute reference within a position-independent output file
+  // will need a dynamic relocation.
+  if ((flags & Symbol::ABSOLUTE_REF)
+      && parameters->options().output_is_position_independent())
+    return true;
+
+  // A function call that can branch to a local PLT entry does not need
+  // a dynamic relocation.
+  if ((flags & Symbol::FUNCTION_CALL) && gsym->has_plt_offset())
+    return false;
+
+  // A reference to any PLT entry in a non-position-independent executable
+  // does not need a dynamic relocation.
+  // Except due to having function descriptors on powerpc64 we don't define
+  // functions to their plt code in an executable, so this doesn't apply.
+  if (size == 32
+      && !parameters->options().output_is_position_independent()
+      && gsym->has_plt_offset())
+    return false;
+
+  // A reference to a symbol defined in a dynamic object or to a
+  // symbol that is preemptible will need a dynamic relocation.
+  if (gsym->is_from_dynobj()
+      || gsym->is_undefined()
+      || gsym->is_preemptible())
+    return true;
+
+  // For all other cases, return FALSE.
+  return false;
+}
+
+// Modified version of symtab.h class Symbol member
+// Whether we should use the PLT offset associated with a symbol for
+// a relocation.  FLAGS is a set of Reference_flags.
+
+template<int size>
+bool
+use_plt_offset(const Symbol* gsym, int flags)
+{
+  // If the symbol doesn't have a PLT offset, then naturally we
+  // don't want to use it.
+  if (!gsym->has_plt_offset())
+    return false;
+
+  // For a STT_GNU_IFUNC symbol we always have to use the PLT entry.
+  if (gsym->type() == elfcpp::STT_GNU_IFUNC)
+    return true;
+
+  // If we are going to generate a dynamic relocation, then we will
+  // wind up using that, so no need to use the PLT entry.
+  if (needs_dynamic_reloc<size>(gsym, flags))
+    return false;
+
+  // If the symbol is from a dynamic object, we need to use the PLT
+  // entry.
+  if (gsym->is_from_dynobj())
+    return true;
+
+  // If we are generating a shared object, and gsym symbol is
+  // undefined or preemptible, we need to use the PLT entry.
+  if (parameters->options().shared()
+      && (gsym->is_undefined() || gsym->is_preemptible()))
+    return true;
+
+  // If gsym is a call to a weak undefined symbol, we need to use
+  // the PLT entry; the symbol may be defined by a library loaded
+  // at runtime.
+  if ((flags & Symbol::FUNCTION_CALL) && gsym->is_weak_undefined())
+    return true;
+
+  // Otherwise we can use the regular definition.
+  return false;
+}
+
 template<int size, bool big_endian>
 class Powerpc_relocate_functions
 {
+public:
+  enum Overflow_check
+  {
+    CHECK_NONE,
+    CHECK_SIGNED,
+    CHECK_BITFIELD
+  };
+
+  enum Status
+  {
+    STATUS_OK,
+    STATUS_OVERFLOW
+  };
+
 private:
+  typedef Powerpc_relocate_functions<size, big_endian> This;
+  typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
+
+  template<int valsize>
+  static inline bool
+  has_overflow_signed(Address value)
+  {
+    // limit = 1 << (valsize - 1) without shift count exceeding size of type
+    Address limit = static_cast<Address>(1) << ((valsize - 1) >> 1);
+    limit <<= ((valsize - 1) >> 1);
+    limit <<= ((valsize - 1) - 2 * ((valsize - 1) >> 1));
+    return value + limit > (limit << 1) - 1;
+  }
+
+  template<int valsize>
+  static inline bool
+  has_overflow_bitfield(Address value)
+  {
+    Address limit = static_cast<Address>(1) << ((valsize - 1) >> 1);
+    limit <<= ((valsize - 1) >> 1);
+    limit <<= ((valsize - 1) - 2 * ((valsize - 1) >> 1));
+    return value > (limit << 1) - 1 && value + limit > (limit << 1) - 1;
+  }
+
+  template<int valsize>
+  static inline Status
+  overflowed(Address value, Overflow_check overflow)
+  {
+    if (overflow == CHECK_SIGNED)
+      {
+       if (has_overflow_signed<valsize>(value))
+         return STATUS_OVERFLOW;
+      }
+    else if (overflow == CHECK_BITFIELD)
+      {
+       if (has_overflow_bitfield<valsize>(value))
+         return STATUS_OVERFLOW;
+      }
+    return STATUS_OK;
+  }
+
   // Do a simple RELA relocation
   template<int valsize>
-  static inline void
+  static inline Status
+  rela(unsigned char* view, Address value, Overflow_check overflow)
+  {
+    typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype;
+    Valtype* wv = reinterpret_cast<Valtype*>(view);
+    elfcpp::Swap<valsize, big_endian>::writeval(wv, value);
+    return overflowed<valsize>(value, overflow);
+  }
+
+  template<int valsize>
+  static inline Status
   rela(unsigned char* view,
        unsigned int right_shift,
-       elfcpp::Elf_Xword dst_mask,
-       typename elfcpp::Swap<size, big_endian>::Valtype value,
-       typename elfcpp::Swap<size, big_endian>::Valtype addend)
+       typename elfcpp::Valtype_base<valsize>::Valtype dst_mask,
+       Address value,
+       Overflow_check overflow)
   {
     typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype;
     Valtype* wv = reinterpret_cast<Valtype*>(view);
     Valtype val = elfcpp::Swap<valsize, big_endian>::readval(wv);
-    Valtype reloc = (value + addend) >> right_shift;
-
+    Valtype reloc = value >> right_shift;
     val &= ~dst_mask;
     reloc &= dst_mask;
-
     elfcpp::Swap<valsize, big_endian>::writeval(wv, val | reloc);
+    return overflowed<valsize>(value >> right_shift, overflow);
   }
 
   // Do a simple RELA relocation, unaligned.
   template<int valsize>
-  static inline void
+  static inline Status
+  rela_ua(unsigned char* view, Address value, Overflow_check overflow)
+  {
+    elfcpp::Swap_unaligned<valsize, big_endian>::writeval(view, value);
+    return overflowed<valsize>(value, overflow);
+  }
+
+  template<int valsize>
+  static inline Status
   rela_ua(unsigned char* view,
          unsigned int right_shift,
-         elfcpp::Elf_Xword dst_mask,
-         typename elfcpp::Swap<size, big_endian>::Valtype value,
-         typename elfcpp::Swap<size, big_endian>::Valtype addend)
+         typename elfcpp::Valtype_base<valsize>::Valtype dst_mask,
+         Address value,
+         Overflow_check overflow)
   {
-    typedef typename elfcpp::Swap_unaligned<valsize,
-                                           big_endian>::Valtype Valtype;
-    Valtype* wv = reinterpret_cast<Valtype*>(view);
-    Valtype val = elfcpp::Swap<valsize, big_endian>::readval(wv);
-    Valtype reloc = (value + addend) >> right_shift;
-
+    typedef typename elfcpp::Swap_unaligned<valsize, big_endian>::Valtype
+      Valtype;
+    Valtype val = elfcpp::Swap<valsize, big_endian>::readval(view);
+    Valtype reloc = value >> right_shift;
     val &= ~dst_mask;
     reloc &= dst_mask;
-
-    elfcpp::Swap_unaligned<valsize, big_endian>::writeval(wv, val | reloc);
+    elfcpp::Swap_unaligned<valsize, big_endian>::writeval(view, val | reloc);
+    return overflowed<valsize>(value >> right_shift, overflow);
   }
 
-  typedef Powerpc_relocate_functions<size, big_endian> This;
-  typedef Relocate_functions<size, big_endian> This_reloc;
 public:
-  // R_POWERPC_REL32: (Symbol + Addend - Address)
-  static inline void
-  rel32(unsigned char* view,
-       typename elfcpp::Elf_types<size>::Elf_Addr value,
-       typename elfcpp::Elf_types<size>::Elf_Addr addend,
-       typename elfcpp::Elf_types<size>::Elf_Addr address)
-  { This_reloc::pcrela32(view, value, addend, address); }
-
-  // R_POWERPC_REL24: (Symbol + Addend - Address) & 0x3fffffc
+  // R_PPC64_ADDR64: (Symbol + Addend)
   static inline void
-  rel24(unsigned char* view,
-       typename elfcpp::Elf_types<size>::Elf_Addr value,
-       typename elfcpp::Elf_types<size>::Elf_Addr addend,
-       typename elfcpp::Elf_types<size>::Elf_Addr address)
-  {
-    This::template rela<32>(view, 0, 0x03fffffc, value - address, addend);
-  }
+  addr64(unsigned char* view, Address value)
+  { This::template rela<64>(view, value, CHECK_NONE); }
 
-  // R_POWERPC_REL14: (Symbol + Addend - Address) & 0xfffc
+  // R_PPC64_UADDR64: (Symbol + Addend) unaligned
   static inline void
-  rel14(unsigned char* view,
-       typename elfcpp::Elf_types<size>::Elf_Addr value,
-       typename elfcpp::Elf_types<size>::Elf_Addr addend,
-       typename elfcpp::Elf_types<size>::Elf_Addr address)
+  addr64_u(unsigned char* view, Address value)
+  { This::template rela_ua<64>(view, value, CHECK_NONE); }
+
+  // R_POWERPC_ADDR32: (Symbol + Addend)
+  static inline Status
+  addr32(unsigned char* view, Address value, Overflow_check overflow)
+  { return This::template rela<32>(view, value, overflow); }
+
+  // R_POWERPC_UADDR32: (Symbol + Addend) unaligned
+  static inline Status
+  addr32_u(unsigned char* view, Address value, Overflow_check overflow)
+  { return This::template rela_ua<32>(view, value, overflow); }
+
+  // R_POWERPC_ADDR24: (Symbol + Addend) & 0x3fffffc
+  static inline Status
+  addr24(unsigned char* view, Address value, Overflow_check overflow)
   {
-    This::template rela<32>(view, 0, 0xfffc, value - address, addend);
+    Status stat = This::template rela<32>(view, 0, 0x03fffffc, value, overflow);
+    if (overflow != CHECK_NONE && (value & 3) != 0)
+      stat = STATUS_OVERFLOW;
+    return stat;
   }
 
   // R_POWERPC_ADDR16: (Symbol + Addend) & 0xffff
-  static inline void
-  addr16(unsigned char* view,
-        typename elfcpp::Elf_types<size>::Elf_Addr value,
-        typename elfcpp::Elf_types<size>::Elf_Addr addend)
-  { This_reloc::rela16(view, value, addend); }
+  static inline Status
+  addr16(unsigned char* view, Address value, Overflow_check overflow)
+  { return This::template rela<16>(view, value, overflow); }
+
+  // R_POWERPC_ADDR16: (Symbol + Addend) & 0xffff, unaligned
+  static inline Status
+  addr16_u(unsigned char* view, Address value, Overflow_check overflow)
+  { return This::template rela_ua<16>(view, value, overflow); }
 
   // R_POWERPC_ADDR16_DS: (Symbol + Addend) & 0xfffc
-  static inline void
-  addr16_ds(unsigned char* view,
-           typename elfcpp::Elf_types<size>::Elf_Addr value,
-           typename elfcpp::Elf_types<size>::Elf_Addr addend)
+  static inline Status
+  addr16_ds(unsigned char* view, Address value, Overflow_check overflow)
   {
-    This::template rela<16>(view, 0, 0xfffc, value, addend);
+    Status stat = This::template rela<16>(view, 0, 0xfffc, value, overflow);
+    if (overflow != CHECK_NONE && (value & 3) != 0)
+      stat = STATUS_OVERFLOW;
+    return stat;
   }
 
-  // R_POWERPC_ADDR16_LO: (Symbol + Addend) & 0xffff
-  static inline void
-  addr16_lo(unsigned char* view,
-        typename elfcpp::Elf_types<size>::Elf_Addr value,
-        typename elfcpp::Elf_types<size>::Elf_Addr addend)
-  { This_reloc::rela16(view, value, addend); }
-
   // R_POWERPC_ADDR16_HI: ((Symbol + Addend) >> 16) & 0xffff
   static inline void
-  addr16_hi(unsigned char* view,
-           typename elfcpp::Elf_types<size>::Elf_Addr value,
-           typename elfcpp::Elf_types<size>::Elf_Addr addend)
-  {
-    This::template rela<16>(view, 16, 0xffff, value, addend);
-  }
+  addr16_hi(unsigned char* view, Address value)
+  { This::template rela<16>(view, 16, 0xffff, value, CHECK_NONE); }
 
-  // R_POWERPC_ADDR16_HA: Same as R_POWERPC_ADDR16_HI except that if the
-  //                      final value of the low 16 bits of the
-  //                      relocation is negative, add one.
+  // R_POWERPC_ADDR16_HA: ((Symbol + Addend + 0x8000) >> 16) & 0xffff
   static inline void
-  addr16_ha(unsigned char* view,
-           typename elfcpp::Elf_types<size>::Elf_Addr value,
-           typename elfcpp::Elf_types<size>::Elf_Addr addend)
-  {
-    This::addr16_hi(view, value + 0x8000, addend);
-  }
+  addr16_ha(unsigned char* view, Address value)
+  { This::addr16_hi(view, value + 0x8000); }
 
-  // R_POWERPC_REL16: (Symbol + Addend - Address) & 0xffff
+  // R_POWERPC_ADDR16_HIGHER: ((Symbol + Addend) >> 32) & 0xffff
   static inline void
-  rel16(unsigned char* view,
-       typename elfcpp::Elf_types<size>::Elf_Addr value,
-       typename elfcpp::Elf_types<size>::Elf_Addr addend,
-       typename elfcpp::Elf_types<size>::Elf_Addr address)
-  { This_reloc::pcrela16(view, value, addend, address); }
+  addr16_hi2(unsigned char* view, Address value)
+  { This::template rela<16>(view, 32, 0xffff, value, CHECK_NONE); }
 
-  // R_POWERPC_REL16_LO: (Symbol + Addend - Address) & 0xffff
+  // R_POWERPC_ADDR16_HIGHERA: ((Symbol + Addend + 0x8000) >> 32) & 0xffff
   static inline void
-  rel16_lo(unsigned char* view,
-          typename elfcpp::Elf_types<size>::Elf_Addr value,
-          typename elfcpp::Elf_types<size>::Elf_Addr addend,
-          typename elfcpp::Elf_types<size>::Elf_Addr address)
-  { This_reloc::pcrela16(view, value, addend, address); }
+  addr16_ha2(unsigned char* view, Address value)
+  { This::addr16_hi2(view, value + 0x8000); }
 
-  // R_POWERPC_REL16_HI: ((Symbol + Addend - Address) >> 16) & 0xffff
+  // R_POWERPC_ADDR16_HIGHEST: ((Symbol + Addend) >> 48) & 0xffff
   static inline void
-  rel16_hi(unsigned char* view,
-          typename elfcpp::Elf_types<size>::Elf_Addr value,
-          typename elfcpp::Elf_types<size>::Elf_Addr addend,
-          typename elfcpp::Elf_types<size>::Elf_Addr address)
-  {
-    This::template rela<16>(view, 16, 0xffff, value - address, addend);
-  }
+  addr16_hi3(unsigned char* view, Address value)
+  { This::template rela<16>(view, 48, 0xffff, value, CHECK_NONE); }
 
-  // R_POWERPC_REL16_HA: Same as R_POWERPC_REL16_HI except that if the
-  //                 final value of the low 16 bits of the
-  //                 relocation is negative, add one.
+  // R_POWERPC_ADDR16_HIGHESTA: ((Symbol + Addend + 0x8000) >> 48) & 0xffff
   static inline void
-  rel16_ha(unsigned char* view,
-          typename elfcpp::Elf_types<size>::Elf_Addr value,
-          typename elfcpp::Elf_types<size>::Elf_Addr addend,
-          typename elfcpp::Elf_types<size>::Elf_Addr address)
+  addr16_ha3(unsigned char* view, Address value)
+  { This::addr16_hi3(view, value + 0x8000); }
+
+  // R_POWERPC_ADDR14: (Symbol + Addend) & 0xfffc
+  static inline Status
+  addr14(unsigned char* view, Address value, Overflow_check overflow)
   {
-    This::rel16_hi(view, value + 0x8000, addend, address);
+    Status stat = This::template rela<32>(view, 0, 0xfffc, value, overflow);
+    if (overflow != CHECK_NONE && (value & 3) != 0)
+      stat = STATUS_OVERFLOW;
+    return stat;
   }
 };
 
-// Stash away the index of .got2 in a relocatable object, if such
-// a section exists.
+// Stash away the index of .got2 or .opd in a relocatable object, if
+// such a section exists.
 
 template<int size, bool big_endian>
 bool
 Powerpc_relobj<size, big_endian>::do_find_special_sections(
     Read_symbols_data* sd)
 {
-  if (size == 32)
+  const unsigned char* const pshdrs = sd->section_headers->data();
+  const unsigned char* namesu = sd->section_names->data();
+  const char* names = reinterpret_cast<const char*>(namesu);
+  section_size_type names_size = sd->section_names_size;
+  const unsigned char* s;
+
+  s = this->find_shdr(pshdrs, size == 32 ? ".got2" : ".opd",
+                     names, names_size, NULL);
+  if (s != NULL)
+    {
+      unsigned int ndx = (s - pshdrs) / elfcpp::Elf_sizes<size>::shdr_size;
+      this->special_ = ndx;
+    }
+  return Sized_relobj_file<size, big_endian>::do_find_special_sections(sd);
+}
+
+// Examine .rela.opd to build info about function entry points.
+
+template<int size, bool big_endian>
+void
+Powerpc_relobj<size, big_endian>::scan_opd_relocs(
+    size_t reloc_count,
+    const unsigned char* prelocs,
+    const unsigned char* plocal_syms)
+{
+  if (size == 64)
+    {
+      typedef typename Reloc_types<elfcpp::SHT_RELA, size, big_endian>::Reloc
+       Reltype;
+      const int reloc_size
+       = Reloc_types<elfcpp::SHT_RELA, size, big_endian>::reloc_size;
+      const int sym_size = elfcpp::Elf_sizes<size>::sym_size;
+
+      for (size_t i = 0; i < reloc_count; ++i, prelocs += reloc_size)
+       {
+         Reltype reloc(prelocs);
+         typename elfcpp::Elf_types<size>::Elf_WXword r_info
+           = reloc.get_r_info();
+         unsigned int r_type = elfcpp::elf_r_type<size>(r_info);
+         if (r_type == elfcpp::R_PPC64_ADDR64)
+           {
+             unsigned int r_sym = elfcpp::elf_r_sym<size>(r_info);
+             typename elfcpp::Elf_types<size>::Elf_Addr value;
+             bool is_ordinary;
+             unsigned int shndx;
+             if (r_sym < this->local_symbol_count())
+               {
+                 typename elfcpp::Sym<size, big_endian>
+                   lsym(plocal_syms + r_sym * sym_size);
+                 shndx = lsym.get_st_shndx();
+                 shndx = this->adjust_sym_shndx(r_sym, shndx, &is_ordinary);
+                 value = lsym.get_st_value();
+               }
+             else
+               shndx = this->symbol_section_and_value(r_sym, &value,
+                                                      &is_ordinary);
+             this->set_opd_ent(reloc.get_r_offset(), shndx,
+                               value + reloc.get_r_addend());
+           }
+       }
+    }
+}
+
+template<int size, bool big_endian>
+void
+Powerpc_relobj<size, big_endian>::do_read_relocs(Read_relocs_data* rd)
+{
+  Sized_relobj_file<size, big_endian>::do_read_relocs(rd);
+  if (size == 64)
     {
-      const unsigned char* const pshdrs = sd->section_headers->data();
-      const unsigned char* namesu = sd->section_names->data();
-      const char* names = reinterpret_cast<const char*>(namesu);
-      section_size_type names_size = sd->section_names_size;
-      const unsigned char* s;
-
-      s = this->find_shdr(pshdrs, ".got2", names, names_size, NULL);
-      if (s != NULL)
+      for (Read_relocs_data::Relocs_list::iterator p = rd->relocs.begin();
+          p != rd->relocs.end();
+          ++p)
        {
-         unsigned int ndx = (s - pshdrs) / elfcpp::Elf_sizes<size>::shdr_size;
-         this->got2_section_ = ndx;
+         if (p->data_shndx == this->opd_shndx())
+           {
+             this->init_opd(this->section_size(this->opd_shndx()));
+             this->scan_opd_relocs(p->reloc_count, p->contents->data(),
+                                   rd->local_symbols->data());
+             break;
+           }
        }
     }
-  return Sized_relobj_file<size, big_endian>::do_find_special_sections(sd);
 }
 
 // Set up PowerPC target specific relobj.
@@ -742,24 +1151,26 @@ Target_powerpc<size, big_endian>::do_make_elf_object(
     off_t offset, const elfcpp::Ehdr<size, big_endian>& ehdr)
 {
   int et = ehdr.get_e_type();
-  if (et == elfcpp::ET_REL)
+  // ET_EXEC files are valid input for --just-symbols/-R,
+  // and we treat them as relocatable objects.
+  if (et == elfcpp::ET_REL
+      || (et == elfcpp::ET_EXEC && input_file->just_symbols()))
     {
       Powerpc_relobj<size, big_endian>* obj =
-        new Powerpc_relobj<size, big_endian>(name, input_file, offset, ehdr);
+       new Powerpc_relobj<size, big_endian>(name, input_file, offset, ehdr);
       obj->setup();
       return obj;
     }
   else if (et == elfcpp::ET_DYN)
     {
       Sized_dynobj<size, big_endian>* obj =
-        new Sized_dynobj<size, big_endian>(name, input_file, offset, ehdr);
+       new Sized_dynobj<size, big_endian>(name, input_file, offset, ehdr);
       obj->setup();
       return obj;
     }
   else
     {
-      gold_error(_("%s: unsupported ELF file type %d"),
-                 name.c_str(), et);
+      gold_error(_("%s: unsupported ELF file type %d"), name.c_str(), et);
       return NULL;
     }
 }
@@ -797,13 +1208,35 @@ public:
                                                                 got_entry_2);
   }
 
-  // Value of _GLOBAL_OFFSET_TABLE_
+  unsigned int
+  add_constant_pair(Valtype c1, Valtype c2)
+  {
+    this->reserve_ent(2);
+    unsigned int got_offset = this->add_constant(c1);
+    this->add_constant(c2);
+    return got_offset;
+  }
+
+  // Offset of _GLOBAL_OFFSET_TABLE_.
   unsigned int
   g_o_t() const
   {
     return this->got_offset(this->header_index_);
   }
 
+  // Offset of base used to access the GOT/TOC.
+  // The got/toc pointer reg will be set to this value.
+  typename elfcpp::Elf_types<size>::Elf_Off
+  got_base_offset(const Powerpc_relobj<size, big_endian>* object) const
+  {
+    if (size == 32)
+      return this->g_o_t();
+    else
+      return (this->output_section()->address()
+             + object->toc_base_offset()
+             - this->address());
+  }
+
   // Ensure our GOT has a header.
   void
   set_final_data_size()
@@ -822,7 +1255,7 @@ public:
     this->replace_constant(this->header_index_,
                           (size == 32
                            ? this->layout_->dynamic_section()->address()
-                           : this->address() + 0x8000));
+                           : this->output_section()->address() + 0x8000));
 
     Output_data_got<size, big_endian>::do_write(of);
   }
@@ -1013,45 +1446,56 @@ Output_data_plt_powerpc<size, big_endian>::add_entry(Symbol* gsym)
     }
 }
 
-static const uint32_t addis_11_11       = 0x3d6b0000;
-static const uint32_t addis_11_30       = 0x3d7e0000;
-static const uint32_t addis_12_12       = 0x3d8c0000;
-static const uint32_t addi_11_11        = 0x396b0000;
-static const uint32_t add_0_11_11       = 0x7c0b5a14;
-static const uint32_t add_11_0_11       = 0x7d605a14;
-static const uint32_t b                 = 0x48000000;
-static const uint32_t bcl_20_31         = 0x429f0005;
-static const uint32_t bctr              = 0x4e800420;
-static const uint32_t blrl              = 0x4e800021;
-static const uint32_t lis_11            = 0x3d600000;
-static const uint32_t lis_12            = 0x3d800000;
-static const uint32_t lwzu_0_12         = 0x840c0000;
-static const uint32_t lwz_0_12          = 0x800c0000;
-static const uint32_t lwz_11_11         = 0x816b0000;
-static const uint32_t lwz_11_30         = 0x817e0000;
-static const uint32_t lwz_12_12         = 0x818c0000;
-static const uint32_t mflr_0            = 0x7c0802a6;
-static const uint32_t mflr_12           = 0x7d8802a6;
-static const uint32_t mtctr_0           = 0x7c0903a6;
-static const uint32_t mtctr_11          = 0x7d6903a6;
-static const uint32_t mtlr_0            = 0x7c0803a6;
-static const uint32_t nop               = 0x60000000;
-static const uint32_t sub_11_11_12      = 0x7d6c5850;
-static const uint32_t addis_12_2        = 0x3d820000;
-static const uint32_t std_2_1           = 0xf8410000;
-static const uint32_t ld_11_12          = 0xe96c0000;
-static const uint32_t ld_2_12           = 0xe84c0000;
-static const uint32_t addi_12_12        = 0x398c0000;
-static const uint32_t ld_11_2           = 0xe9620000;
-static const uint32_t addi_2_2          = 0x38420000;
-static const uint32_t ld_2_2            = 0xe8420000;
-static const uint32_t mflr_11           = 0x7d6802a6;
-static const uint32_t ld_2_11           = 0xe84b0000;
-static const uint32_t mtlr_12           = 0x7d8803a6;
-static const uint32_t add_12_2_11       = 0x7d825a14;
-static const uint32_t li_0_0            = 0x38000000;
-static const uint32_t lis_0_0           = 0x3c000000;
-static const uint32_t ori_0_0_0         = 0x60000000;
+static const uint32_t add_0_11_11      = 0x7c0b5a14;
+static const uint32_t add_3_3_2                = 0x7c631214;
+static const uint32_t add_3_3_13       = 0x7c636a14;
+static const uint32_t add_11_0_11      = 0x7d605a14;
+static const uint32_t add_12_2_11      = 0x7d825a14;
+static const uint32_t addi_11_11       = 0x396b0000;
+static const uint32_t addi_12_12       = 0x398c0000;
+static const uint32_t addi_2_2         = 0x38420000;
+static const uint32_t addi_3_2         = 0x38620000;
+static const uint32_t addi_3_3         = 0x38630000;
+static const uint32_t addis_0_2                = 0x3c020000;
+static const uint32_t addis_0_13       = 0x3c0d0000;
+static const uint32_t addis_11_11      = 0x3d6b0000;
+static const uint32_t addis_11_30      = 0x3d7e0000;
+static const uint32_t addis_12_12      = 0x3d8c0000;
+static const uint32_t addis_12_2       = 0x3d820000;
+static const uint32_t addis_3_2                = 0x3c620000;
+static const uint32_t addis_3_13       = 0x3c6d0000;
+static const uint32_t b                        = 0x48000000;
+static const uint32_t bcl_20_31                = 0x429f0005;
+static const uint32_t bctr             = 0x4e800420;
+static const uint32_t blrl             = 0x4e800021;
+static const uint32_t cror_15_15_15    = 0x4def7b82;
+static const uint32_t cror_31_31_31    = 0x4ffffb82;
+static const uint32_t ld_11_12         = 0xe96c0000;
+static const uint32_t ld_11_2          = 0xe9620000;
+static const uint32_t ld_2_1           = 0xe8410000;
+static const uint32_t ld_2_11          = 0xe84b0000;
+static const uint32_t ld_2_12          = 0xe84c0000;
+static const uint32_t ld_2_2           = 0xe8420000;
+static const uint32_t li_0_0           = 0x38000000;
+static const uint32_t lis_0_0          = 0x3c000000;
+static const uint32_t lis_11           = 0x3d600000;
+static const uint32_t lis_12           = 0x3d800000;
+static const uint32_t lwz_0_12         = 0x800c0000;
+static const uint32_t lwz_11_11                = 0x816b0000;
+static const uint32_t lwz_11_30                = 0x817e0000;
+static const uint32_t lwz_12_12                = 0x818c0000;
+static const uint32_t lwzu_0_12                = 0x840c0000;
+static const uint32_t mflr_0           = 0x7c0802a6;
+static const uint32_t mflr_11          = 0x7d6802a6;
+static const uint32_t mflr_12          = 0x7d8802a6;
+static const uint32_t mtctr_0          = 0x7c0903a6;
+static const uint32_t mtctr_11         = 0x7d6903a6;
+static const uint32_t mtlr_0           = 0x7c0803a6;
+static const uint32_t mtlr_12          = 0x7d8803a6;
+static const uint32_t nop              = 0x60000000;
+static const uint32_t ori_0_0_0                = 0x60000000;
+static const uint32_t std_2_1          = 0xf8410000;
+static const uint32_t sub_11_11_12     = 0x7d6c5850;
 
 // Write out the PLT.
 
@@ -1121,6 +1565,8 @@ template<int size, bool big_endian>
 class Output_data_glink : public Output_section_data
 {
  public:
+  static const int pltresolve_size = 16*4;
+
   Output_data_glink(Target_powerpc<size, big_endian>*);
 
   // Add an entry
@@ -1156,8 +1602,6 @@ class Output_data_glink : public Output_section_data
   { mapfile->print_output_data(this, _("** glink")); }
 
  private:
-  static const int pltresolve_size = 16*4;
-
   void
   set_final_data_size();
 
@@ -1171,7 +1615,7 @@ class Output_data_glink : public Output_section_data
     Glink_sym_ent(const Symbol* sym,
                  const elfcpp::Rela<size, big_endian>& reloc,
                  const Sized_relobj<size, big_endian>* object)
-      : sym_(sym), object_(0), addend_(0)
+      : sym_(sym), addend_(0), object_(0)
     {
       if (size != 32)
        this->addend_ = reloc.get_r_addend();
@@ -1185,16 +1629,16 @@ class Output_data_glink : public Output_section_data
        }
     }
 
-    const Symbol* sym_;
-    const Sized_relobj<size, big_endian>* object_;
-    unsigned int addend_;
-
     bool operator==(const Glink_sym_ent& that) const
     {
       return (this->sym_ == that.sym_
              && this->object_ == that.object_
              && this->addend_ == that.addend_);
     }
+
+    const Symbol* sym_;
+    unsigned int addend_;
+    const Sized_relobj<size, big_endian>* object_;
   };
 
   class Glink_sym_ent_hash
@@ -1314,7 +1758,7 @@ ha(uint32_t a)
 
 template<bool big_endian>
 static inline void
-write_insn(unsigned char *p, uint32_t v)
+write_insn(unsigned charp, uint32_t v)
 {
   elfcpp::Swap<32, big_endian>::writeval(p, v);
 }
@@ -1329,28 +1773,30 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
   const section_size_type oview_size =
     convert_to_section_size_type(this->data_size());
   unsigned char* const oview = of->get_output_view(off, oview_size);
-  unsigned char *p;
+  unsigned charp;
 
   // The base address of the .plt section.
-  uint32_t plt_base = this->targ_->plt_section()->address();
+  typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
+  Address plt_base = this->targ_->plt_section()->address();
 
-  // The address of _GLOBAL_OFFSET_TABLE_.
-  const Output_data_got_powerpc<size, big_endian> *got;
-  typename elfcpp::Elf_types<size>::Elf_Addr g_o_t;
-  got = this->targ_->got_section();
-  g_o_t = got->address() + got->g_o_t();
+  const Output_data_got_powerpc<size, big_endian>* got
+    = this->targ_->got_section();
 
   if (size == 64)
     {
+      Address got_os_addr = got->output_section()->address();
+
       // Write out call stubs.
       typename Glink_entries::const_iterator g;
       for (g = this->glink_entries_.begin();
           g != this->glink_entries_.end();
           ++g)
        {
-         uint64_t plt_addr = plt_base + g->first.sym_->plt_offset();
-         uint64_t got_addr = g_o_t;
-         uint64_t pltoff = plt_addr - got_addr;
+         Address plt_addr = plt_base + g->first.sym_->plt_offset();
+         const Powerpc_relobj<size, big_endian>* ppcobj = static_cast
+           <const Powerpc_relobj<size, big_endian>*>(g->first.object_);
+         Address got_addr = got_os_addr + ppcobj->toc_base_offset();
+         Address pltoff = plt_addr - got_addr;
 
          if (pltoff + 0x80008000 > 0xffffffff || (pltoff & 7) != 0)
            gold_error(_("%s: linkage table error against `%s'"),
@@ -1391,8 +1837,8 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
 
       // Write pltresolve stub.
       p = oview + this->pltresolve_;
-      uint64_t after_bcl = this->address() + this->pltresolve_ + 16;
-      uint64_t pltoff = plt_base - after_bcl;
+      Address after_bcl = this->address() + this->pltresolve_ + 16;
+      Address pltoff = plt_base - after_bcl;
 
       elfcpp::Swap<64, big_endian>::writeval(p, pltoff),       p += 8;
 
@@ -1423,21 +1869,25 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
              write_insn<big_endian>(p, lis_0_0 + hi(indx)),            p += 4;
              write_insn<big_endian>(p, ori_0_0_0 + l(indx)),           p += 4;
            }
-         uint16_t branch_off = this->pltresolve_ + 8 - (p - oview);
+         uint32_t branch_off = this->pltresolve_ + 8 - (p - oview);
          write_insn<big_endian>(p, b + (branch_off & 0x3fffffc)),      p += 4;
          indx++;
        }
     }
   else
     {
+      // The address of _GLOBAL_OFFSET_TABLE_.
+      Address g_o_t = got->address() + got->g_o_t();
+
       // Write out call stubs.
       typename Glink_entries::const_iterator g;
       for (g = this->glink_entries_.begin();
           g != this->glink_entries_.end();
           ++g)
        {
-         uint32_t plt_addr = plt_base + g->first.sym_->plt_offset();
-         uint32_t got_addr;
+         Address plt_addr = plt_base + g->first.sym_->plt_offset();
+         Address got_addr;
+         const Address invalid_address = static_cast<Address>(-1);
 
          p = oview + g->second * this->glink_entry_size();
          if (parameters->options().output_is_position_independent())
@@ -1447,14 +1897,15 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
              if (object != NULL)
                {
                  unsigned int got2 = object->got2_shndx();
-                 got_addr = (g->first.object_->output_section(got2)->address()
-                             + g->first.object_->output_section_offset(got2)
-                             + g->first.addend_);
+                 got_addr = g->first.object_->get_output_section_offset(got2);
+                 gold_assert(got_addr != invalid_address);
+                 got_addr += (g->first.object_->output_section(got2)->address()
+                              + g->first.addend_);
                }
              else
                got_addr = g_o_t;
 
-             uint32_t pltoff = plt_addr - got_addr;
+             Address pltoff = plt_addr - got_addr;
              if (ha(pltoff) == 0)
                {
                  write_insn<big_endian>(p +  0, lwz_11_30 + l(pltoff));
@@ -1481,7 +1932,7 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
       // Write out pltresolve branch table.
       p = oview + this->pltresolve_;
       unsigned int the_end = oview_size - this->pltresolve_size;
-      unsigned char *end_p = oview + the_end;
+      unsigned charend_p = oview + the_end;
       while (p < end_p - 8 * 4)
        write_insn<big_endian>(p, b + end_p - p), p += 4;
       while (p < end_p)
@@ -1490,9 +1941,9 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
       // Write out pltresolve call stub.
       if (parameters->options().output_is_position_independent())
        {
-         uint32_t res0_off = this->pltresolve_;
-         uint32_t after_bcl_off = the_end + 12;
-         uint32_t bcl_res0 = after_bcl_off - res0_off;
+         Address res0_off = this->pltresolve_;
+         Address after_bcl_off = the_end + 12;
+         Address bcl_res0 = after_bcl_off - res0_off;
 
          write_insn<big_endian>(p +  0, addis_11_11 + ha(bcl_res0));
          write_insn<big_endian>(p +  4, mflr_0);
@@ -1502,7 +1953,7 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
          write_insn<big_endian>(p + 20, mtlr_0);
          write_insn<big_endian>(p + 24, sub_11_11_12);
 
-         uint32_t got_bcl = g_o_t + 4 - (after_bcl_off + this->address());
+         Address got_bcl = g_o_t + 4 - (after_bcl_off + this->address());
 
          write_insn<big_endian>(p + 28, addis_12_12 + ha(got_bcl));
          if (ha(got_bcl) == ha(got_bcl + 4))
@@ -1524,7 +1975,7 @@ Output_data_glink<size, big_endian>::do_write(Output_file* of)
        }
       else
        {
-         uint32_t res0 = this->pltresolve_ + this->address();
+         Address res0 = this->pltresolve_ + this->address();
 
          write_insn<big_endian>(p + 0, lis_12 + ha(g_o_t + 4));
          write_insn<big_endian>(p + 4, addis_11_11 + ha(-res0));
@@ -1617,47 +2068,27 @@ Target_powerpc<size, big_endian>::plt_entry_size() const
   return Output_data_plt_powerpc<size, big_endian>::get_plt_entry_size();
 }
 
-// Create a GOT entry for the TLS module index.
+// Create a GOT entry for local dynamic __tls_get_addr calls.
 
 template<int size, bool big_endian>
 unsigned int
-Target_powerpc<size, big_endian>::got_mod_index_entry(
+Target_powerpc<size, big_endian>::tlsld_got_offset(
     Symbol_table* symtab,
     Layout* layout,
     Sized_relobj_file<size, big_endian>* object)
 {
-  if (this->got_mod_index_offset_ == -1U)
+  if (this->tlsld_got_offset_ == -1U)
     {
       gold_assert(symtab != NULL && layout != NULL && object != NULL);
       Reloc_section* rela_dyn = this->rela_dyn_section(layout);
-      Output_data_got_powerpc<size, big_endian>* got;
-      unsigned int got_offset;
-
-      got = this->got_section(symtab, layout);
-      got->reserve_ent(2);
-      got_offset = got->add_constant(0);
+      Output_data_got_powerpc<size, big_endian>* got
+       = this->got_section(symtab, layout);
+      unsigned int got_offset = got->add_constant_pair(0, 0);
       rela_dyn->add_local(object, 0, elfcpp::R_POWERPC_DTPMOD, got,
                          got_offset, 0);
-      got->add_constant(0);
-      this->got_mod_index_offset_ = got_offset;
+      this->tlsld_got_offset_ = got_offset;
     }
-  return this->got_mod_index_offset_;
-}
-
-// Optimize the TLS relocation type based on what we know about the
-// symbol.  IS_FINAL is true if the final address of this symbol is
-// known at link time.
-
-template<int size, bool big_endian>
-tls::Tls_optimization
-Target_powerpc<size, big_endian>::optimize_tls_reloc(bool, int)
-{
-  // If we are generating a shared library, then we can't do anything
-  // in the linker.
-  if (parameters->options().shared())
-    return tls::TLSOPT_NONE;
-  // FIXME
-  return tls::TLSOPT_NONE;
+  return this->tlsld_got_offset_;
 }
 
 // Get the Reference_flags for a particular relocation.
@@ -1675,15 +2106,24 @@ Target_powerpc<size, big_endian>::Scan::get_reference_flags(unsigned int r_type)
       // No symbol reference.
       return 0;
 
+    case elfcpp::R_PPC64_ADDR64:
+    case elfcpp::R_PPC64_UADDR64:
+    case elfcpp::R_POWERPC_ADDR32:
+    case elfcpp::R_POWERPC_UADDR32:
     case elfcpp::R_POWERPC_ADDR16:
+    case elfcpp::R_POWERPC_UADDR16:
     case elfcpp::R_POWERPC_ADDR16_LO:
     case elfcpp::R_POWERPC_ADDR16_HI:
     case elfcpp::R_POWERPC_ADDR16_HA:
-    case elfcpp::R_POWERPC_ADDR32:
-    case elfcpp::R_PPC64_ADDR64:
       return Symbol::ABSOLUTE_REF;
 
-    case elfcpp::R_POWERPC_REL24:
+    case elfcpp::R_POWERPC_ADDR24:
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+      return Symbol::FUNCTION_CALL | Symbol::ABSOLUTE_REF;
+
+    case elfcpp::R_POWERPC_REL32:
     case elfcpp::R_PPC_LOCAL24PC:
     case elfcpp::R_POWERPC_REL16:
     case elfcpp::R_POWERPC_REL16_LO:
@@ -1691,7 +2131,11 @@ Target_powerpc<size, big_endian>::Scan::get_reference_flags(unsigned int r_type)
     case elfcpp::R_POWERPC_REL16_HA:
       return Symbol::RELATIVE_REF;
 
+    case elfcpp::R_POWERPC_REL24:
     case elfcpp::R_PPC_PLTREL24:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
       return Symbol::FUNCTION_CALL | Symbol::RELATIVE_REF;
 
     case elfcpp::R_POWERPC_GOT16:
@@ -1748,6 +2192,7 @@ Target_powerpc<size, big_endian>::Scan::check_non_pic(Relobj* object,
   // and 64-bit powerpc.
   switch (r_type)
     {
+    case elfcpp::R_POWERPC_NONE:
     case elfcpp::R_POWERPC_RELATIVE:
     case elfcpp::R_POWERPC_GLOB_DAT:
     case elfcpp::R_POWERPC_DTPMOD:
@@ -1755,9 +2200,24 @@ Target_powerpc<size, big_endian>::Scan::check_non_pic(Relobj* object,
     case elfcpp::R_POWERPC_TPREL:
     case elfcpp::R_POWERPC_JMP_SLOT:
     case elfcpp::R_POWERPC_COPY:
+    case elfcpp::R_POWERPC_IRELATIVE:
     case elfcpp::R_POWERPC_ADDR32:
+    case elfcpp::R_POWERPC_UADDR32:
     case elfcpp::R_POWERPC_ADDR24:
+    case elfcpp::R_POWERPC_ADDR16:
+    case elfcpp::R_POWERPC_UADDR16:
+    case elfcpp::R_POWERPC_ADDR16_LO:
+    case elfcpp::R_POWERPC_ADDR16_HI:
+    case elfcpp::R_POWERPC_ADDR16_HA:
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+    case elfcpp::R_POWERPC_REL32:
     case elfcpp::R_POWERPC_REL24:
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_TPREL16_LO:
+    case elfcpp::R_POWERPC_TPREL16_HI:
+    case elfcpp::R_POWERPC_TPREL16_HA:
       return;
 
     default:
@@ -1770,34 +2230,22 @@ Target_powerpc<size, big_endian>::Scan::check_non_pic(Relobj* object,
        {
          // These are the relocation types supported only on 64-bit.
        case elfcpp::R_PPC64_ADDR64:
-       case elfcpp::R_PPC64_TPREL16_LO_DS:
-       case elfcpp::R_PPC64_TPREL16_DS:
-       case elfcpp::R_POWERPC_TPREL16:
-       case elfcpp::R_POWERPC_TPREL16_LO:
-       case elfcpp::R_POWERPC_TPREL16_HI:
-       case elfcpp::R_POWERPC_TPREL16_HA:
-       case elfcpp::R_PPC64_TPREL16_HIGHER:
-       case elfcpp::R_PPC64_TPREL16_HIGHEST:
-       case elfcpp::R_PPC64_TPREL16_HIGHERA:
-       case elfcpp::R_PPC64_TPREL16_HIGHESTA:
-       case elfcpp::R_PPC64_ADDR16_LO_DS:
-       case elfcpp::R_POWERPC_ADDR16_LO:
-       case elfcpp::R_POWERPC_ADDR16_HI:
-       case elfcpp::R_POWERPC_ADDR16_HA:
-       case elfcpp::R_POWERPC_ADDR30:
        case elfcpp::R_PPC64_UADDR64:
-       case elfcpp::R_POWERPC_UADDR32:
-       case elfcpp::R_POWERPC_ADDR16:
-       case elfcpp::R_POWERPC_UADDR16:
+       case elfcpp::R_PPC64_JMP_IREL:
        case elfcpp::R_PPC64_ADDR16_DS:
+       case elfcpp::R_PPC64_ADDR16_LO_DS:
        case elfcpp::R_PPC64_ADDR16_HIGHER:
        case elfcpp::R_PPC64_ADDR16_HIGHEST:
        case elfcpp::R_PPC64_ADDR16_HIGHERA:
        case elfcpp::R_PPC64_ADDR16_HIGHESTA:
-       case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
-       case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
-       case elfcpp::R_POWERPC_REL32:
        case elfcpp::R_PPC64_REL64:
+       case elfcpp::R_POWERPC_ADDR30:
+       case elfcpp::R_PPC64_TPREL16_DS:
+       case elfcpp::R_PPC64_TPREL16_LO_DS:
+       case elfcpp::R_PPC64_TPREL16_HIGHER:
+       case elfcpp::R_PPC64_TPREL16_HIGHEST:
+       case elfcpp::R_PPC64_TPREL16_HIGHERA:
+       case elfcpp::R_PPC64_TPREL16_HIGHESTA:
          return;
 
        default:
@@ -1809,6 +2257,12 @@ Target_powerpc<size, big_endian>::Scan::check_non_pic(Relobj* object,
       switch (r_type)
        {
          // These are the relocation types supported only on 32-bit.
+         // ??? glibc ld.so doesn't need to support these.
+       case elfcpp::R_POWERPC_DTPREL16:
+       case elfcpp::R_POWERPC_DTPREL16_LO:
+       case elfcpp::R_POWERPC_DTPREL16_HI:
+       case elfcpp::R_POWERPC_DTPREL16_HA:
+         return;
 
        default:
          break;
@@ -1842,63 +2296,135 @@ Target_powerpc<size, big_endian>::Scan::local(
     unsigned int r_type,
     const elfcpp::Sym<size, big_endian>& lsym)
 {
+  Powerpc_relobj<size, big_endian>* ppc_object
+    = static_cast<Powerpc_relobj<size, big_endian>*>(object);
+
   switch (r_type)
     {
     case elfcpp::R_POWERPC_NONE:
     case elfcpp::R_POWERPC_GNU_VTINHERIT:
     case elfcpp::R_POWERPC_GNU_VTENTRY:
     case elfcpp::R_PPC64_TOCSAVE:
+    case elfcpp::R_PPC_EMB_MRKREF:
+    case elfcpp::R_POWERPC_TLS:
+      break;
+
+    case elfcpp::R_PPC64_TOC:
+      {
+       Output_data_got_powerpc<size, big_endian>* got
+         = target->got_section(symtab, layout);
+       if (parameters->options().output_is_position_independent())
+         {
+           Reloc_section* rela_dyn = target->rela_dyn_section(layout);
+           rela_dyn->add_output_section_relative(got->output_section(),
+                                                 elfcpp::R_POWERPC_RELATIVE,
+                                                 output_section,
+                                                 object, data_shndx,
+                                                 reloc.get_r_offset(),
+                                                 ppc_object->toc_base_offset());
+         }
+      }
       break;
 
     case elfcpp::R_PPC64_ADDR64:
+    case elfcpp::R_PPC64_UADDR64:
     case elfcpp::R_POWERPC_ADDR32:
-    case elfcpp::R_POWERPC_ADDR16_HA:
+    case elfcpp::R_POWERPC_UADDR32:
+    case elfcpp::R_POWERPC_ADDR24:
+    case elfcpp::R_POWERPC_ADDR16:
     case elfcpp::R_POWERPC_ADDR16_LO:
-      // If building a shared library (or a position-independent
-      // executable), we need to create a dynamic relocation for
+    case elfcpp::R_POWERPC_ADDR16_HI:
+    case elfcpp::R_POWERPC_ADDR16_HA:
+    case elfcpp::R_POWERPC_UADDR16:
+    case elfcpp::R_PPC64_ADDR16_HIGHER:
+    case elfcpp::R_PPC64_ADDR16_HIGHERA:
+    case elfcpp::R_PPC64_ADDR16_HIGHEST:
+    case elfcpp::R_PPC64_ADDR16_HIGHESTA:
+    case elfcpp::R_PPC64_ADDR16_DS:
+    case elfcpp::R_PPC64_ADDR16_LO_DS:
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+      // If building a shared library (or a position-independent
+      // executable), we need to create a dynamic relocation for
       // this location.
       if (parameters->options().output_is_position_independent())
        {
          Reloc_section* rela_dyn = target->rela_dyn_section(layout);
 
-         check_non_pic(object, r_type);
-         if (lsym.get_st_type() != elfcpp::STT_SECTION)
+         if ((size == 32 && r_type == elfcpp::R_POWERPC_ADDR32)
+             || (size == 64 && r_type == elfcpp::R_PPC64_ADDR64))
            {
              unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
-             rela_dyn->add_local(object, r_sym, r_type, output_section,
-                                 data_shndx, reloc.get_r_offset(),
-                                 reloc.get_r_addend());
+             rela_dyn->add_local_relative(object, r_sym,
+                                          elfcpp::R_POWERPC_RELATIVE,
+                                          output_section, data_shndx,
+                                          reloc.get_r_offset(),
+                                          reloc.get_r_addend(), false);
            }
          else
            {
+             check_non_pic(object, r_type);
              unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
-             gold_assert(lsym.get_st_value() == 0);
-             rela_dyn->add_local_relative(object, r_sym, r_type,
-                                          output_section, data_shndx,
-                                          reloc.get_r_offset(),
-                                          reloc.get_r_addend(), false);
+             rela_dyn->add_local(object, r_sym, r_type, output_section,
+                                 data_shndx, reloc.get_r_offset(),
+                                 reloc.get_r_addend());
            }
        }
       break;
 
+    case elfcpp::R_PPC64_REL64:
+    case elfcpp::R_POWERPC_REL32:
     case elfcpp::R_POWERPC_REL24:
     case elfcpp::R_PPC_LOCAL24PC:
-    case elfcpp::R_POWERPC_REL32:
+    case elfcpp::R_POWERPC_REL16:
     case elfcpp::R_POWERPC_REL16_LO:
+    case elfcpp::R_POWERPC_REL16_HI:
     case elfcpp::R_POWERPC_REL16_HA:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+    case elfcpp::R_POWERPC_SECTOFF:
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_DTPREL16:
+    case elfcpp::R_POWERPC_SECTOFF_LO:
+    case elfcpp::R_POWERPC_TPREL16_LO:
+    case elfcpp::R_POWERPC_DTPREL16_LO:
+    case elfcpp::R_POWERPC_SECTOFF_HI:
+    case elfcpp::R_POWERPC_TPREL16_HI:
+    case elfcpp::R_POWERPC_DTPREL16_HI:
+    case elfcpp::R_POWERPC_SECTOFF_HA:
+    case elfcpp::R_POWERPC_TPREL16_HA:
+    case elfcpp::R_POWERPC_DTPREL16_HA:
+    case elfcpp::R_PPC64_DTPREL16_HIGHER:
+    case elfcpp::R_PPC64_TPREL16_HIGHER:
+    case elfcpp::R_PPC64_DTPREL16_HIGHERA:
+    case elfcpp::R_PPC64_TPREL16_HIGHERA:
+    case elfcpp::R_PPC64_DTPREL16_HIGHEST:
+    case elfcpp::R_PPC64_TPREL16_HIGHEST:
+    case elfcpp::R_PPC64_DTPREL16_HIGHESTA:
+    case elfcpp::R_PPC64_TPREL16_HIGHESTA:
+    case elfcpp::R_PPC64_TPREL16_DS:
+    case elfcpp::R_PPC64_TPREL16_LO_DS:
+    case elfcpp::R_PPC64_DTPREL16_DS:
+    case elfcpp::R_PPC64_DTPREL16_LO_DS:
+    case elfcpp::R_PPC64_SECTOFF_DS:
+    case elfcpp::R_PPC64_SECTOFF_LO_DS:
+    case elfcpp::R_PPC64_TLSGD:
+    case elfcpp::R_PPC64_TLSLD:
       break;
 
     case elfcpp::R_POWERPC_GOT16:
     case elfcpp::R_POWERPC_GOT16_LO:
     case elfcpp::R_POWERPC_GOT16_HI:
     case elfcpp::R_POWERPC_GOT16_HA:
+    case elfcpp::R_PPC64_GOT16_DS:
+    case elfcpp::R_PPC64_GOT16_LO_DS:
       {
-        // The symbol requires a GOT entry.
-        Output_data_got_powerpc<size, big_endian>* got;
-       unsigned int r_sym;
-
-       got = target->got_section(symtab, layout);
-       r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
+       // The symbol requires a GOT entry.
+       Output_data_got_powerpc<size, big_endian>* got
+         = target->got_section(symtab, layout);
+       unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
 
        // If we are generating a shared object, we need to add a
        // dynamic relocation for this symbol's GOT entry.
@@ -1927,20 +2453,100 @@ Target_powerpc<size, big_endian>::Scan::local(
     case elfcpp::R_PPC64_TOC16_HA:
     case elfcpp::R_PPC64_TOC16_DS:
     case elfcpp::R_PPC64_TOC16_LO_DS:
-    case elfcpp::R_PPC64_TOC:
       // We need a GOT section.
       target->got_section(symtab, layout);
       break;
 
-      // These are relocations which should only be seen by the
-      // dynamic linker, and should never be seen here.
-    case elfcpp::R_POWERPC_COPY:
-    case elfcpp::R_POWERPC_GLOB_DAT:
-    case elfcpp::R_POWERPC_JMP_SLOT:
-    case elfcpp::R_POWERPC_RELATIVE:
-    case elfcpp::R_POWERPC_DTPMOD:
-      gold_error(_("%s: unexpected reloc %u in object file"),
-                object->name().c_str(), r_type);
+    case elfcpp::R_POWERPC_GOT_TLSGD16:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HA:
+      {
+       const tls::Tls_optimization tls_type = target->optimize_tls_gd(true);
+       if (tls_type == tls::TLSOPT_NONE)
+         {
+           Output_data_got_powerpc<size, big_endian>* got
+             = target->got_section(symtab, layout);
+           unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
+           unsigned int shndx = lsym.get_st_shndx();
+           bool is_ordinary;
+           shndx = object->adjust_sym_shndx(r_sym, shndx, &is_ordinary);
+           gold_assert(is_ordinary);
+           got->add_local_pair_with_rel(object, r_sym,
+                                        shndx,
+                                        GOT_TYPE_TLSGD,
+                                        target->rela_dyn_section(layout),
+                                        elfcpp::R_POWERPC_DTPMOD,
+                                        elfcpp::R_POWERPC_DTPREL);
+         }
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+         }
+       else
+         gold_unreachable();
+      }
+      break;
+
+    case elfcpp::R_POWERPC_GOT_TLSLD16:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HA:
+      {
+       const tls::Tls_optimization tls_type = target->optimize_tls_ld();
+       if (tls_type == tls::TLSOPT_NONE)
+         target->tlsld_got_offset(symtab, layout, object);
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+           if (parameters->options().emit_relocs())
+             {
+               Output_section* os = layout->tls_segment()->first_section();
+               gold_assert(os != NULL);
+               os->set_needs_symtab_index();
+             }
+         }
+       else
+         gold_unreachable();
+      }
+      break;
+
+    case elfcpp::R_POWERPC_GOT_DTPREL16:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_LO:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HA:
+      {
+       Output_data_got_powerpc<size, big_endian>* got
+         = target->got_section(symtab, layout);
+       unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
+       got->add_local_with_rel(object, r_sym, GOT_TYPE_DTPREL,
+                               target->rela_dyn_section(layout),
+                               elfcpp::R_POWERPC_DTPREL);
+      }
+      break;
+
+    case elfcpp::R_POWERPC_GOT_TPREL16:
+    case elfcpp::R_POWERPC_GOT_TPREL16_LO:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HA:
+      {
+       const tls::Tls_optimization tls_type = target->optimize_tls_ie(true);
+       if (tls_type == tls::TLSOPT_NONE)
+         {
+           Output_data_got_powerpc<size, big_endian>* got
+             = target->got_section(symtab, layout);
+           unsigned int r_sym = elfcpp::elf_r_sym<size>(reloc.get_r_info());
+           got->add_local_with_rel(object, r_sym, GOT_TYPE_TPREL,
+                                   target->rela_dyn_section(layout),
+                                   elfcpp::R_POWERPC_TPREL);
+         }
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+         }
+       else
+         gold_unreachable();
+      }
       break;
 
     default:
@@ -1977,24 +2583,63 @@ Target_powerpc<size, big_endian>::Scan::global(
     unsigned int r_type,
     Symbol* gsym)
 {
+  Powerpc_relobj<size, big_endian>* ppc_object
+    = static_cast<Powerpc_relobj<size, big_endian>*>(object);
+
   switch (r_type)
     {
     case elfcpp::R_POWERPC_NONE:
     case elfcpp::R_POWERPC_GNU_VTINHERIT:
     case elfcpp::R_POWERPC_GNU_VTENTRY:
     case elfcpp::R_PPC_LOCAL24PC:
+    case elfcpp::R_PPC_EMB_MRKREF:
+    case elfcpp::R_POWERPC_TLS:
       break;
 
+    case elfcpp::R_PPC64_TOC:
+      {
+       Output_data_got_powerpc<size, big_endian>* got
+         = target->got_section(symtab, layout);
+       if (parameters->options().output_is_position_independent())
+         {
+           Reloc_section* rela_dyn = target->rela_dyn_section(layout);
+           Powerpc_relobj<size, big_endian>* symobj = ppc_object;
+           if (data_shndx != ppc_object->opd_shndx())
+             symobj = static_cast
+               <Powerpc_relobj<size, big_endian>*>(gsym->object());
+           rela_dyn->add_output_section_relative(got->output_section(),
+                                                 elfcpp::R_POWERPC_RELATIVE,
+                                                 output_section,
+                                                 object, data_shndx,
+                                                 reloc.get_r_offset(),
+                                                 symobj->toc_base_offset());
+         }
+      }
+      break;
+
+    case elfcpp::R_PPC64_ADDR64:
+    case elfcpp::R_PPC64_UADDR64:
+    case elfcpp::R_POWERPC_ADDR32:
+    case elfcpp::R_POWERPC_UADDR32:
+    case elfcpp::R_POWERPC_ADDR24:
     case elfcpp::R_POWERPC_ADDR16:
     case elfcpp::R_POWERPC_ADDR16_LO:
     case elfcpp::R_POWERPC_ADDR16_HI:
     case elfcpp::R_POWERPC_ADDR16_HA:
-    case elfcpp::R_POWERPC_ADDR32:
-    case elfcpp::R_PPC64_ADDR64:
+    case elfcpp::R_POWERPC_UADDR16:
+    case elfcpp::R_PPC64_ADDR16_HIGHER:
+    case elfcpp::R_PPC64_ADDR16_HIGHERA:
+    case elfcpp::R_PPC64_ADDR16_HIGHEST:
+    case elfcpp::R_PPC64_ADDR16_HIGHESTA:
+    case elfcpp::R_PPC64_ADDR16_DS:
+    case elfcpp::R_PPC64_ADDR16_LO_DS:
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
       {
-        // Make a PLT entry if necessary.
-        if (gsym->needs_plt_entry())
-          {
+       // Make a PLT entry if necessary.
+       if (gsym->needs_plt_entry())
+         {
            target->make_plt_entry(layout, gsym, reloc, 0);
            // Since this is not a PC-relative relocation, we may be
            // taking the address of a function. In that case we need to
@@ -2003,18 +2648,19 @@ Target_powerpc<size, big_endian>::Scan::global(
            if (size == 32
                && gsym->is_from_dynobj() && !parameters->options().shared())
              gsym->set_needs_dynsym_value();
-          }
-        // Make a dynamic relocation if necessary.
-        if (gsym->needs_dynamic_reloc(Scan::get_reference_flags(r_type)))
-          {
-            if (gsym->may_need_copy_reloc())
-              {
-               target->copy_reloc(symtab, layout, object,
-                                  data_shndx, output_section, gsym, reloc);
-              }
-            else if ((r_type == elfcpp::R_POWERPC_ADDR32
-                     || r_type == elfcpp::R_PPC64_ADDR64)
-                    && gsym->can_use_relative_reloc(false))
+         }
+       // Make a dynamic relocation if necessary.
+       if (needs_dynamic_reloc<size>(gsym, Scan::get_reference_flags(r_type)))
+         {
+           if (gsym->may_need_copy_reloc())
+             {
+               target->copy_reloc(symtab, layout, object,
+                                  data_shndx, output_section, gsym, reloc);
+             }
+           else if (((size == 32 && r_type == elfcpp::R_POWERPC_ADDR32)
+                     || (size == 64 && r_type == elfcpp::R_PPC64_ADDR64))
+                    && (gsym->can_use_relative_reloc(false)
+                        || data_shndx == ppc_object->opd_shndx()))
              {
                Reloc_section* rela_dyn = target->rela_dyn_section(layout);
                rela_dyn->add_global_relative(gsym, elfcpp::R_POWERPC_RELATIVE,
@@ -2025,21 +2671,11 @@ Target_powerpc<size, big_endian>::Scan::global(
            else
              {
                Reloc_section* rela_dyn = target->rela_dyn_section(layout);
-
                check_non_pic(object, r_type);
-               if (gsym->is_from_dynobj()
-                   || gsym->is_undefined()
-                   || gsym->is_preemptible())
-                 rela_dyn->add_global(gsym, r_type, output_section,
-                                      object, data_shndx,
-                                      reloc.get_r_offset(),
-                                      reloc.get_r_addend());
-               else
-                 rela_dyn->add_global_relative(gsym, r_type,
-                                               output_section, object,
-                                               data_shndx,
-                                               reloc.get_r_offset(),
-                                               reloc.get_r_addend(), false);
+               rela_dyn->add_global(gsym, r_type, output_section,
+                                    object, data_shndx,
+                                    reloc.get_r_offset(),
+                                    reloc.get_r_addend());
              }
          }
       }
@@ -2047,47 +2683,82 @@ Target_powerpc<size, big_endian>::Scan::global(
 
     case elfcpp::R_PPC_PLTREL24:
     case elfcpp::R_POWERPC_REL24:
-      {
-       if (gsym->needs_plt_entry()
-           || (!gsym->final_value_is_known()
-                && !(gsym->is_defined()
-                     && !gsym->is_from_dynobj()
-                     && !gsym->is_preemptible())))
-         target->make_plt_entry(layout, gsym, reloc, object);
-       // Make a dynamic relocation if necessary.
-       if (gsym->needs_dynamic_reloc(Scan::get_reference_flags(r_type)))
-         {
-           if (gsym->may_need_copy_reloc())
-             {
-               target->copy_reloc(symtab, layout, object,
-                                  data_shndx, output_section, gsym,
-                                  reloc);
-             }
-           else
-             {
-               Reloc_section* rela_dyn = target->rela_dyn_section(layout);
-               check_non_pic(object, r_type);
-               rela_dyn->add_global(gsym, r_type, output_section, object,
-                                    data_shndx, reloc.get_r_offset(),
-                                    reloc.get_r_addend());
-             }
-         }
-      }
+      if (gsym->needs_plt_entry()
+         || (!gsym->final_value_is_known()
+             && (gsym->is_undefined()
+                 || gsym->is_from_dynobj()
+                 || gsym->is_preemptible())))
+       target->make_plt_entry(layout, gsym, reloc, object);
+      // Fall thru
+
+    case elfcpp::R_PPC64_REL64:
+    case elfcpp::R_POWERPC_REL32:
+      // Make a dynamic relocation if necessary.
+      if (needs_dynamic_reloc<size>(gsym, Scan::get_reference_flags(r_type)))
+       {
+         if (gsym->may_need_copy_reloc())
+           {
+             target->copy_reloc(symtab, layout, object,
+                                data_shndx, output_section, gsym,
+                                reloc);
+           }
+         else
+           {
+             Reloc_section* rela_dyn = target->rela_dyn_section(layout);
+             check_non_pic(object, r_type);
+             rela_dyn->add_global(gsym, r_type, output_section, object,
+                                  data_shndx, reloc.get_r_offset(),
+                                  reloc.get_r_addend());
+           }
+       }
       break;
 
     case elfcpp::R_POWERPC_REL16:
     case elfcpp::R_POWERPC_REL16_LO:
     case elfcpp::R_POWERPC_REL16_HI:
     case elfcpp::R_POWERPC_REL16_HA:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+    case elfcpp::R_POWERPC_SECTOFF:
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_DTPREL16:
+    case elfcpp::R_POWERPC_SECTOFF_LO:
+    case elfcpp::R_POWERPC_TPREL16_LO:
+    case elfcpp::R_POWERPC_DTPREL16_LO:
+    case elfcpp::R_POWERPC_SECTOFF_HI:
+    case elfcpp::R_POWERPC_TPREL16_HI:
+    case elfcpp::R_POWERPC_DTPREL16_HI:
+    case elfcpp::R_POWERPC_SECTOFF_HA:
+    case elfcpp::R_POWERPC_TPREL16_HA:
+    case elfcpp::R_POWERPC_DTPREL16_HA:
+    case elfcpp::R_PPC64_DTPREL16_HIGHER:
+    case elfcpp::R_PPC64_TPREL16_HIGHER:
+    case elfcpp::R_PPC64_DTPREL16_HIGHERA:
+    case elfcpp::R_PPC64_TPREL16_HIGHERA:
+    case elfcpp::R_PPC64_DTPREL16_HIGHEST:
+    case elfcpp::R_PPC64_TPREL16_HIGHEST:
+    case elfcpp::R_PPC64_DTPREL16_HIGHESTA:
+    case elfcpp::R_PPC64_TPREL16_HIGHESTA:
+    case elfcpp::R_PPC64_TPREL16_DS:
+    case elfcpp::R_PPC64_TPREL16_LO_DS:
+    case elfcpp::R_PPC64_DTPREL16_DS:
+    case elfcpp::R_PPC64_DTPREL16_LO_DS:
+    case elfcpp::R_PPC64_SECTOFF_DS:
+    case elfcpp::R_PPC64_SECTOFF_LO_DS:
+    case elfcpp::R_PPC64_TLSGD:
+    case elfcpp::R_PPC64_TLSLD:
       break;
 
     case elfcpp::R_POWERPC_GOT16:
     case elfcpp::R_POWERPC_GOT16_LO:
     case elfcpp::R_POWERPC_GOT16_HI:
     case elfcpp::R_POWERPC_GOT16_HA:
+    case elfcpp::R_PPC64_GOT16_DS:
+    case elfcpp::R_PPC64_GOT16_LO_DS:
       {
-        // The symbol requires a GOT entry.
-        Output_data_got_powerpc<size, big_endian>* got;
+       // The symbol requires a GOT entry.
+       Output_data_got_powerpc<size, big_endian>* got;
 
        got = target->got_section(symtab, layout);
        if (gsym->final_value_is_known())
@@ -2114,7 +2785,6 @@ Target_powerpc<size, big_endian>::Scan::global(
       }
       break;
 
-    case elfcpp::R_PPC64_TOC:
     case elfcpp::R_PPC64_TOC16:
     case elfcpp::R_PPC64_TOC16_LO:
     case elfcpp::R_PPC64_TOC16_HI:
@@ -2125,20 +2795,97 @@ Target_powerpc<size, big_endian>::Scan::global(
       target->got_section(symtab, layout);
       break;
 
-    case elfcpp::R_POWERPC_GOT_TPREL16:
-    case elfcpp::R_POWERPC_TLS:
-      // XXX TLS
+    case elfcpp::R_POWERPC_GOT_TLSGD16:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HA:
+      {
+       const bool final = gsym->final_value_is_known();
+       const tls::Tls_optimization tls_type = target->optimize_tls_gd(final);
+       if (tls_type == tls::TLSOPT_NONE)
+         {
+           Output_data_got_powerpc<size, big_endian>* got
+             = target->got_section(symtab, layout);
+           got->add_global_pair_with_rel(gsym, GOT_TYPE_TLSGD,
+                                         target->rela_dyn_section(layout),
+                                         elfcpp::R_POWERPC_DTPMOD,
+                                         elfcpp::R_POWERPC_DTPREL);
+         }
+       else if (tls_type == tls::TLSOPT_TO_IE)
+         {
+           Output_data_got_powerpc<size, big_endian>* got
+             = target->got_section(symtab, layout);
+           got->add_global_with_rel(gsym, GOT_TYPE_TPREL,
+                                    target->rela_dyn_section(layout),
+                                    elfcpp::R_POWERPC_TPREL);
+         }
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+         }
+       else
+         gold_unreachable();
+      }
       break;
 
-      // These are relocations which should only be seen by the
-      // dynamic linker, and should never be seen here.
-    case elfcpp::R_POWERPC_COPY:
-    case elfcpp::R_POWERPC_GLOB_DAT:
-    case elfcpp::R_POWERPC_JMP_SLOT:
-    case elfcpp::R_POWERPC_RELATIVE:
-    case elfcpp::R_POWERPC_DTPMOD:
-      gold_error(_("%s: unexpected reloc %u in object file"),
-                object->name().c_str(), r_type);
+    case elfcpp::R_POWERPC_GOT_TLSLD16:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HA:
+      {
+       const tls::Tls_optimization tls_type = target->optimize_tls_ld();
+       if (tls_type == tls::TLSOPT_NONE)
+         target->tlsld_got_offset(symtab, layout, object);
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+           if (parameters->options().emit_relocs())
+             {
+               Output_section* os = layout->tls_segment()->first_section();
+               gold_assert(os != NULL);
+               os->set_needs_symtab_index();
+             }
+         }
+       else
+         gold_unreachable();
+      }
+      break;
+
+    case elfcpp::R_POWERPC_GOT_DTPREL16:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_LO:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HA:
+      {
+       Output_data_got_powerpc<size, big_endian>* got
+         = target->got_section(symtab, layout);
+       got->add_global_with_rel(gsym, GOT_TYPE_DTPREL,
+                                target->rela_dyn_section(layout),
+                                elfcpp::R_POWERPC_DTPREL);
+      }
+      break;
+
+    case elfcpp::R_POWERPC_GOT_TPREL16:
+    case elfcpp::R_POWERPC_GOT_TPREL16_LO:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HA:
+      {
+       const bool final = gsym->final_value_is_known();
+       const tls::Tls_optimization tls_type = target->optimize_tls_ie(final);
+       if (tls_type == tls::TLSOPT_NONE)
+         {
+           Output_data_got_powerpc<size, big_endian>* got
+             = target->got_section(symtab, layout);
+           got->add_global_with_rel(gsym, GOT_TYPE_TPREL,
+                                    target->rela_dyn_section(layout),
+                                    elfcpp::R_POWERPC_TPREL);
+         }
+       else if (tls_type == tls::TLSOPT_TO_LE)
+         {
+           // no GOT relocs needed for Local Exec.
+         }
+       else
+         gold_unreachable();
+      }
       break;
 
     default:
@@ -2261,12 +3008,26 @@ Target_powerpc<size, big_endian>::do_finalize_sections(
   layout->add_target_dynamic_tags(false, this->plt_, rel_plt,
                                  this->rela_dyn_, true, size == 32);
 
+  Output_data_dynamic* odyn = layout->dynamic_data();
   if (size == 32)
     {
-      this->got_->finalize_data_size();
-      Output_data_dynamic* odyn = layout->dynamic_data();
-      odyn->add_section_plus_offset(elfcpp::DT_PPC_GOT,
-                                   this->got_, this->got_->g_o_t());
+      if (this->got_ != NULL)
+       {
+         this->got_->finalize_data_size();
+         odyn->add_section_plus_offset(elfcpp::DT_PPC_GOT,
+                                       this->got_, this->got_->g_o_t());
+       }
+    }
+  else
+    {
+      if (this->glink_ != NULL)
+       {
+         this->glink_->finalize_data_size();
+         odyn->add_section_plus_offset(elfcpp::DT_PPC64_GLINK,
+                                       this->glink_,
+                                       (this->glink_->pltresolve()
+                                        + this->glink_->pltresolve_size - 32));
+       }
     }
 
   // Emit any relocs we saved in an attempt to avoid generating COPY
@@ -2275,6 +3036,43 @@ Target_powerpc<size, big_endian>::do_finalize_sections(
     this->copy_relocs_.emit(this->rela_dyn_section(layout));
 }
 
+// Return the value to use for a branch relocation.
+
+template<int size, bool big_endian>
+typename elfcpp::Elf_types<size>::Elf_Addr
+Target_powerpc<size, big_endian>::symval_for_branch(
+    Address value,
+    const Sized_symbol<size>* gsym,
+    Powerpc_relobj<size, big_endian>* object,
+    unsigned int *dest_shndx)
+{
+  *dest_shndx = 0;
+  if (size == 32)
+    return value;
+
+  // If the symbol is defined in an opd section, ie. is a function
+  // descriptor, use the function descriptor code entry address
+  Powerpc_relobj<size, big_endian>* symobj = object;
+  if (gsym != NULL)
+    symobj = static_cast<Powerpc_relobj<size, big_endian>*>(gsym->object());
+  unsigned int shndx = symobj->opd_shndx();
+  if (shndx == 0)
+    return value;
+  Address opd_addr = symobj->get_output_section_offset(shndx);
+  gold_assert(opd_addr != invalid_address);
+  opd_addr += symobj->output_section(shndx)->address();
+  if (value >= opd_addr && value < opd_addr + symobj->section_size(shndx))
+    {
+      Address sec_off;
+      symobj->get_opd_ent(value - opd_addr, dest_shndx, &sec_off);
+      Address sec_addr = symobj->get_output_section_offset(*dest_shndx);
+      gold_assert(sec_addr != invalid_address);
+      sec_addr += symobj->output_section(*dest_shndx)->address();
+      value = sec_addr + sec_off;
+    }
+  return value;
+}
+
 // Perform a relocation.
 
 template<int size, bool big_endian>
@@ -2289,14 +3087,43 @@ Target_powerpc<size, big_endian>::Relocate::relocate(
     const Sized_symbol<size>* gsym,
     const Symbol_value<size>* psymval,
     unsigned char* view,
-    typename elfcpp::Elf_types<size>::Elf_Addr address,
-    section_size_type /* view_size */)
+    Address address,
+    section_size_type view_size)
 {
-  const unsigned int toc_base_offset = 0x8000;
+
+  bool is_tls_call = ((r_type == elfcpp::R_POWERPC_REL24
+                      || r_type == elfcpp::R_PPC_PLTREL24)
+                     && gsym != NULL
+                     && strcmp(gsym->name(), "__tls_get_addr") == 0);
+  enum skip_tls last_tls = this->call_tls_get_addr_;
+  this->call_tls_get_addr_ = CALL_NOT_EXPECTED;
+  if (is_tls_call)
+    {
+      if (last_tls == CALL_NOT_EXPECTED)
+       gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
+                              _("__tls_get_addr call lacks marker reloc"));
+      else if (last_tls == CALL_SKIP)
+       return false;
+    }
+  else if (last_tls != CALL_NOT_EXPECTED)
+    gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
+                          _("missing expected __tls_get_addr call"));
+
   typedef Powerpc_relocate_functions<size, big_endian> Reloc;
-  const Powerpc_relobj<size, big_endian>* const object
-    = static_cast<const Powerpc_relobj<size, big_endian>*>(relinfo->object);
-  elfcpp::Elf_Xword value;
+  typedef typename elfcpp::Swap<32, big_endian>::Valtype Insn;
+  Powerpc_relobj<size, big_endian>* const object
+    = static_cast<Powerpc_relobj<size, big_endian>*>(relinfo->object);
+  Address value = 0;
+  bool has_plt_value = false;
+  if (gsym != NULL
+      && use_plt_offset<size>(gsym, Scan::get_reference_flags(r_type)))
+    {
+      const Output_data_glink<size, big_endian>* glink
+       = target->glink_section();
+      unsigned int glink_index = glink->find_entry(gsym, rela, object);
+      value = glink->address() + glink_index * glink->glink_entry_size();
+      has_plt_value = true;
+    }
 
   if (r_type == elfcpp::R_POWERPC_GOT16
       || r_type == elfcpp::R_POWERPC_GOT16_LO
@@ -2316,33 +3143,338 @@ Target_powerpc<size, big_endian>::Relocate::relocate(
          gold_assert(object->local_has_got_offset(r_sym, GOT_TYPE_STANDARD));
          value = object->local_got_offset(r_sym, GOT_TYPE_STANDARD);
        }
-      value -= target->got_section()->g_o_t();
+      value -= target->got_section()->got_base_offset(object);
     }
   else if (r_type == elfcpp::R_PPC64_TOC)
     {
-      value = target->got_section()->address() + toc_base_offset;
+      value = (target->got_section()->output_section()->address()
+              + object->toc_base_offset());
     }
   else if (gsym != NULL
           && (r_type == elfcpp::R_POWERPC_REL24
               || r_type == elfcpp::R_PPC_PLTREL24)
-          && gsym->use_plt_offset(Scan::get_reference_flags(r_type)))
+          && has_plt_value)
     {
-      const Output_data_glink<size, big_endian>* glink;
-
-      glink = target->glink_section();
-      unsigned int glink_index = glink->find_entry(gsym, rela, object);
-      value = glink->address() + glink_index * glink->glink_entry_size();
+      if (size == 64)
+       {
+         typedef typename elfcpp::Swap<32, big_endian>::Valtype Valtype;
+         Valtype* wv = reinterpret_cast<Valtype*>(view);
+         bool can_plt_call = false;
+         if (rela.get_r_offset() + 8 <= view_size)
+           {
+             Valtype insn = elfcpp::Swap<32, big_endian>::readval(wv);
+             Valtype insn2 = elfcpp::Swap<32, big_endian>::readval(wv + 1);
+             if ((insn & 1) != 0
+                 && (insn2 == nop
+                     || insn2 == cror_15_15_15 || insn2 == cror_31_31_31))
+               {
+                 elfcpp::Swap<32, big_endian>::writeval(wv + 1, ld_2_1 + 40);
+                 can_plt_call = true;
+               }
+           }
+         if (!can_plt_call)
+           {
+             // If we don't have a branch and link followed by a nop,
+             // we can't go via the plt because there is no place to
+             // put a toc restoring instruction.
+             // Unless we know we won't be returning.
+             if (strcmp(gsym->name(), "__libc_start_main") == 0)
+               can_plt_call = true;
+           }
+         if (!can_plt_call)
+           {
+             // This is not an error in one special case: A self
+             // call.  It isn't possible to cheaply verify we have
+             // such a call so just check for a call to the same
+             // section.
+             bool ok = false;
+             if (gsym->source() == Symbol::FROM_OBJECT
+                 && gsym->object() == object)
+               {
+                 Address addend = rela.get_r_addend();
+                 unsigned int dest_shndx;
+                 value = psymval->value(object, addend);
+                 value = target->symval_for_branch(value, gsym, object,
+                                                   &dest_shndx);
+                 bool is_ordinary;
+                 if (dest_shndx == 0)
+                   dest_shndx = gsym->shndx(&is_ordinary);
+                 ok = dest_shndx == relinfo->data_shndx;
+               }
+             if (!ok)
+               gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
+                                      _("call lacks nop, can't restore toc; "
+                                        "recompile with -fPIC"));
+           }
+       }
+    }
+  else if (r_type == elfcpp::R_POWERPC_GOT_TLSGD16
+          || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_LO
+          || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_HI
+          || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_HA)
+    {
+      // First instruction of a global dynamic sequence, arg setup insn.
+      const bool final = gsym == NULL || gsym->final_value_is_known();
+      const tls::Tls_optimization tls_type = target->optimize_tls_gd(final);
+      enum Got_type got_type = GOT_TYPE_STANDARD;
+      if (tls_type == tls::TLSOPT_NONE)
+       got_type = GOT_TYPE_TLSGD;
+      else if (tls_type == tls::TLSOPT_TO_IE)
+       got_type = GOT_TYPE_TPREL;
+      if (got_type != GOT_TYPE_STANDARD)
+       {
+         if (gsym != NULL)
+           {
+             gold_assert(gsym->has_got_offset(got_type));
+             value = gsym->got_offset(got_type);
+           }
+         else
+           {
+             unsigned int r_sym = elfcpp::elf_r_sym<size>(rela.get_r_info());
+             gold_assert(object->local_has_got_offset(r_sym, got_type));
+             value = object->local_got_offset(r_sym, got_type);
+           }
+         value -= target->got_section()->got_base_offset(object);
+       }
+      if (tls_type == tls::TLSOPT_TO_IE)
+       {
+         if (r_type == elfcpp::R_POWERPC_GOT_TLSGD16
+             || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_LO)
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = elfcpp::Swap<32, big_endian>::readval(iview);
+             insn &= (1 << 26) - (1 << 16); // extract rt,ra from addi
+             if (size == 32)
+               insn |= 32 << 26; // lwz
+             else
+               insn |= 58 << 26; // ld
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+           }
+         r_type += (elfcpp::R_POWERPC_GOT_TPREL16
+                    - elfcpp::R_POWERPC_GOT_TLSGD16);
+       }
+      else if (tls_type == tls::TLSOPT_TO_LE)
+       {
+         if (r_type == elfcpp::R_POWERPC_GOT_TLSGD16
+             || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_LO)
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = addis_3_13;
+             if (size == 32)
+               insn = addis_3_2;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_TPREL16_HA;
+             value = psymval->value(object, rela.get_r_addend());
+           }
+         else
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = nop;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_NONE;
+           }
+       }
+    }
+  else if (r_type == elfcpp::R_POWERPC_GOT_TLSLD16
+          || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_LO
+          || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_HI
+          || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_HA)
+    {
+      // First instruction of a local dynamic sequence, arg setup insn.
+      const tls::Tls_optimization tls_type = target->optimize_tls_ld();
+      if (tls_type == tls::TLSOPT_NONE)
+       {
+         value = target->tlsld_got_offset();
+         value -= target->got_section()->got_base_offset(object);
+       }
+      else
+       {
+         gold_assert(tls_type == tls::TLSOPT_TO_LE);
+         if (r_type == elfcpp::R_POWERPC_GOT_TLSLD16
+             || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_LO)
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = addis_3_13;
+             if (size == 32)
+               insn = addis_3_2;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_TPREL16_HA;
+             value = dtp_offset;
+           }
+         else
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = nop;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_NONE;
+           }
+       }
+    }
+  else if (r_type == elfcpp::R_POWERPC_GOT_DTPREL16
+          || r_type == elfcpp::R_POWERPC_GOT_DTPREL16_LO
+          || r_type == elfcpp::R_POWERPC_GOT_DTPREL16_HI
+          || r_type == elfcpp::R_POWERPC_GOT_DTPREL16_HA)
+    {
+      // Accesses relative to a local dynamic sequence address,
+      // no optimisation here.
+      if (gsym != NULL)
+       {
+         gold_assert(gsym->has_got_offset(GOT_TYPE_DTPREL));
+         value = gsym->got_offset(GOT_TYPE_DTPREL);
+       }
+      else
+       {
+         unsigned int r_sym = elfcpp::elf_r_sym<size>(rela.get_r_info());
+         gold_assert(object->local_has_got_offset(r_sym, GOT_TYPE_DTPREL));
+         value = object->local_got_offset(r_sym, GOT_TYPE_DTPREL);
+       }
+      value -= target->got_section()->got_base_offset(object);
+    }
+  else if (r_type == elfcpp::R_POWERPC_GOT_TPREL16
+          || r_type == elfcpp::R_POWERPC_GOT_TPREL16_LO
+          || r_type == elfcpp::R_POWERPC_GOT_TPREL16_HI
+          || r_type == elfcpp::R_POWERPC_GOT_TPREL16_HA)
+    {
+      // First instruction of initial exec sequence.
+      const bool final = gsym == NULL || gsym->final_value_is_known();
+      const tls::Tls_optimization tls_type = target->optimize_tls_ie(final);
+      if (tls_type == tls::TLSOPT_NONE)
+       {
+         if (gsym != NULL)
+           {
+             gold_assert(gsym->has_got_offset(GOT_TYPE_TPREL));
+             value = gsym->got_offset(GOT_TYPE_TPREL);
+           }
+         else
+           {
+             unsigned int r_sym = elfcpp::elf_r_sym<size>(rela.get_r_info());
+             gold_assert(object->local_has_got_offset(r_sym, GOT_TYPE_TPREL));
+             value = object->local_got_offset(r_sym, GOT_TYPE_TPREL);
+           }
+         value -= target->got_section()->got_base_offset(object);
+       }
+      else
+       {
+         gold_assert(tls_type == tls::TLSOPT_TO_LE);
+         if (r_type == elfcpp::R_POWERPC_GOT_TPREL16
+             || r_type == elfcpp::R_POWERPC_GOT_TPREL16_LO)
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = elfcpp::Swap<32, big_endian>::readval(iview);
+             insn &= (1 << 26) - (1 << 21); // extract rt from ld
+             if (size == 32)
+               insn |= addis_0_2;
+             else
+               insn |= addis_0_13;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_TPREL16_HA;
+             value = psymval->value(object, rela.get_r_addend());
+           }
+         else
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view - 2 * big_endian);
+             Insn insn = nop;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_NONE;
+           }
+       }
+    }
+  else if ((size == 64 && r_type == elfcpp::R_PPC64_TLSGD)
+          || (size == 32 && r_type == elfcpp::R_PPC_TLSGD))
+    {
+      // Second instruction of a global dynamic sequence,
+      // the __tls_get_addr call
+      this->call_tls_get_addr_ = CALL_EXPECTED;
+      const bool final = gsym == NULL || gsym->final_value_is_known();
+      const tls::Tls_optimization tls_type = target->optimize_tls_gd(final);
+      if (tls_type != tls::TLSOPT_NONE)
+       {
+         if (tls_type == tls::TLSOPT_TO_IE)
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view);
+             Insn insn = add_3_3_13;
+             if (size == 32)
+               insn = add_3_3_2;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_NONE;
+           }
+         else
+           {
+             Insn* iview = reinterpret_cast<Insn*>(view);
+             Insn insn = addi_3_3;
+             elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+             r_type = elfcpp::R_POWERPC_TPREL16_LO;
+             view += 2 * big_endian;
+             value = psymval->value(object, rela.get_r_addend());
+           }
+         this->call_tls_get_addr_ = CALL_SKIP;
+       }
+    }
+  else if ((size == 64 && r_type == elfcpp::R_PPC64_TLSLD)
+          || (size == 32 && r_type == elfcpp::R_PPC_TLSLD))
+    {
+      // Second instruction of a local dynamic sequence,
+      // the __tls_get_addr call
+      this->call_tls_get_addr_ = CALL_EXPECTED;
+      const tls::Tls_optimization tls_type = target->optimize_tls_ld();
+      if (tls_type == tls::TLSOPT_TO_LE)
+       {
+         Insn* iview = reinterpret_cast<Insn*>(view);
+         Insn insn = addi_3_3;
+         elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+         this->call_tls_get_addr_ = CALL_SKIP;
+         r_type = elfcpp::R_POWERPC_TPREL16_LO;
+         view += 2 * big_endian;
+         value = dtp_offset;
+       }
+    }
+  else if (r_type == elfcpp::R_POWERPC_TLS)
+    {
+      // Second instruction of an initial exec sequence
+      const bool final = gsym == NULL || gsym->final_value_is_known();
+      const tls::Tls_optimization tls_type = target->optimize_tls_ie(final);
+      if (tls_type == tls::TLSOPT_TO_LE)
+       {
+         Insn* iview = reinterpret_cast<Insn*>(view);
+         Insn insn = elfcpp::Swap<32, big_endian>::readval(iview);
+         unsigned int reg = size == 32 ? 2 : 13;
+         insn = at_tls_transform(insn, reg);
+         gold_assert(insn != 0);
+         elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+         r_type = elfcpp::R_POWERPC_TPREL16_LO;
+         view += 2 * big_endian;
+         value = psymval->value(object, rela.get_r_addend());
+       }
     }
   else
     {
-      elfcpp::Elf_Xword addend = 0;
+      Address addend = 0;
+      unsigned int dest_shndx;
       if (r_type != elfcpp::R_PPC_PLTREL24)
        addend = rela.get_r_addend();
-      value = psymval->value(object, addend);
+      if (size == 64 || !has_plt_value)
+       value = psymval->value(object, addend);
+      if (size == 64 && is_branch_reloc(r_type))
+       value = target->symval_for_branch(value, gsym, object, &dest_shndx);
     }
 
   switch (r_type)
     {
+    case elfcpp::R_PPC64_REL64:
+    case elfcpp::R_POWERPC_REL32:
+    case elfcpp::R_POWERPC_REL24:
+    case elfcpp::R_PPC_PLTREL24:
+    case elfcpp::R_PPC_LOCAL24PC:
+    case elfcpp::R_POWERPC_REL16:
+    case elfcpp::R_POWERPC_REL16_LO:
+    case elfcpp::R_POWERPC_REL16_HI:
+    case elfcpp::R_POWERPC_REL16_HA:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+      value -= address;
+      break;
+
     case elfcpp::R_PPC64_TOC16:
     case elfcpp::R_PPC64_TOC16_LO:
     case elfcpp::R_PPC64_TOC16_HI:
@@ -2350,7 +3482,8 @@ Target_powerpc<size, big_endian>::Relocate::relocate(
     case elfcpp::R_PPC64_TOC16_DS:
     case elfcpp::R_PPC64_TOC16_LO_DS:
       // Subtract the TOC base address.
-      value -= target->got_section()->address() + toc_base_offset;
+      value -= (target->got_section()->output_section()->address()
+               + object->toc_base_offset());
       break;
 
     case elfcpp::R_POWERPC_SECTOFF:
@@ -2363,80 +3496,288 @@ Target_powerpc<size, big_endian>::Relocate::relocate(
        value -= os->address();
       break;
 
+    case elfcpp::R_PPC64_TPREL16_DS:
+    case elfcpp::R_PPC64_TPREL16_LO_DS:
+      if (size != 64)
+       // R_PPC_TLSGD and R_PPC_TLSLD
+       break;
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_TPREL16_LO:
+    case elfcpp::R_POWERPC_TPREL16_HI:
+    case elfcpp::R_POWERPC_TPREL16_HA:
+    case elfcpp::R_POWERPC_TPREL:
+    case elfcpp::R_PPC64_TPREL16_HIGHER:
+    case elfcpp::R_PPC64_TPREL16_HIGHERA:
+    case elfcpp::R_PPC64_TPREL16_HIGHEST:
+    case elfcpp::R_PPC64_TPREL16_HIGHESTA:
+      // tls symbol values are relative to tls_segment()->vaddr()
+      value -= tp_offset;
+      break;
+
+    case elfcpp::R_PPC64_DTPREL16_DS:
+    case elfcpp::R_PPC64_DTPREL16_LO_DS:
+    case elfcpp::R_PPC64_DTPREL16_HIGHER:
+    case elfcpp::R_PPC64_DTPREL16_HIGHERA:
+    case elfcpp::R_PPC64_DTPREL16_HIGHEST:
+    case elfcpp::R_PPC64_DTPREL16_HIGHESTA:
+      if (size != 64)
+       // R_PPC_EMB_NADDR32, R_PPC_EMB_NADDR16, R_PPC_EMB_NADDR16_LO
+       // R_PPC_EMB_NADDR16_HI, R_PPC_EMB_NADDR16_HA, R_PPC_EMB_SDAI16
+       break;
+    case elfcpp::R_POWERPC_DTPREL16:
+    case elfcpp::R_POWERPC_DTPREL16_LO:
+    case elfcpp::R_POWERPC_DTPREL16_HI:
+    case elfcpp::R_POWERPC_DTPREL16_HA:
+    case elfcpp::R_POWERPC_DTPREL:
+      // tls symbol values are relative to tls_segment()->vaddr()
+      value -= dtp_offset;
+      break;
+
     default:
       break;
     }
 
+  Insn branch_bit = 0;
   switch (r_type)
     {
-    case elfcpp::R_POWERPC_NONE:
-    case elfcpp::R_POWERPC_GNU_VTINHERIT:
-    case elfcpp::R_POWERPC_GNU_VTENTRY:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+      branch_bit = 1 << 21;
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+      {
+       Insn* iview = reinterpret_cast<Insn*>(view);
+       Insn insn = elfcpp::Swap<32, big_endian>::readval(iview);
+       insn &= ~(1 << 21);
+       insn |= branch_bit;
+       if (this->is_isa_v2)
+         {
+           // Set 'a' bit.  This is 0b00010 in BO field for branch
+           // on CR(BI) insns (BO == 001at or 011at), and 0b01000
+           // for branch on CTR insns (BO == 1a00t or 1a01t).
+           if ((insn & (0x14 << 21)) == (0x04 << 21))
+             insn |= 0x02 << 21;
+           else if ((insn & (0x14 << 21)) == (0x10 << 21))
+             insn |= 0x08 << 21;
+           else
+             break;
+         }
+       else
+         {
+           // Invert 'y' bit if not the default.
+           if (static_cast<Signed_address>(value) < 0)
+             insn ^= 1 << 21;
+         }
+       elfcpp::Swap<32, big_endian>::writeval(iview, insn);
+      }
+      break;
+
+    default:
+      break;
+    }
+
+  typename Reloc::Overflow_check overflow = Reloc::CHECK_NONE;
+  switch (r_type)
+    {
+    case elfcpp::R_POWERPC_ADDR32:
+    case elfcpp::R_POWERPC_UADDR32:
+      if (size == 64)
+       overflow = Reloc::CHECK_BITFIELD;
       break;
 
     case elfcpp::R_POWERPC_REL32:
-      Reloc::rel32(view, value, 0, address);
+      if (size == 64)
+       overflow = Reloc::CHECK_SIGNED;
+      break;
+
+    case elfcpp::R_POWERPC_ADDR24:
+    case elfcpp::R_POWERPC_ADDR16:
+    case elfcpp::R_POWERPC_UADDR16:
+    case elfcpp::R_PPC64_ADDR16_DS:
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+      overflow = Reloc::CHECK_BITFIELD;
       break;
 
     case elfcpp::R_POWERPC_REL24:
     case elfcpp::R_PPC_PLTREL24:
     case elfcpp::R_PPC_LOCAL24PC:
-      Reloc::rel24(view, value, 0, address);
+    case elfcpp::R_POWERPC_REL16:
+    case elfcpp::R_PPC64_TOC16:
+    case elfcpp::R_POWERPC_GOT16:
+    case elfcpp::R_POWERPC_SECTOFF:
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_DTPREL16:
+    case elfcpp::R_PPC64_TPREL16_DS:
+    case elfcpp::R_PPC64_DTPREL16_DS:
+    case elfcpp::R_PPC64_TOC16_DS:
+    case elfcpp::R_PPC64_GOT16_DS:
+    case elfcpp::R_PPC64_SECTOFF_DS:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+    case elfcpp::R_POWERPC_GOT_TLSGD16:
+    case elfcpp::R_POWERPC_GOT_TLSLD16:
+    case elfcpp::R_POWERPC_GOT_TPREL16:
+    case elfcpp::R_POWERPC_GOT_DTPREL16:
+      overflow = Reloc::CHECK_SIGNED;
       break;
+    }
 
-    case elfcpp::R_POWERPC_REL14:
-      Reloc::rel14(view, value, 0, address);
+  typename Powerpc_relocate_functions<size, big_endian>::Status status
+    = Powerpc_relocate_functions<size, big_endian>::STATUS_OK;
+  switch (r_type)
+    {
+    case elfcpp::R_POWERPC_NONE:
+    case elfcpp::R_POWERPC_TLS:
+    case elfcpp::R_POWERPC_GNU_VTINHERIT:
+    case elfcpp::R_POWERPC_GNU_VTENTRY:
+    case elfcpp::R_PPC_EMB_MRKREF:
       break;
 
     case elfcpp::R_PPC64_ADDR64:
+    case elfcpp::R_PPC64_REL64:
     case elfcpp::R_PPC64_TOC:
-      Relocate_functions<size, big_endian>::rela64(view, value, 0);
+      Reloc::addr64(view, value);
+      break;
+
+    case elfcpp::R_POWERPC_TPREL:
+    case elfcpp::R_POWERPC_DTPREL:
+      if (size == 64)
+       Reloc::addr64(view, value);
+      else
+       status = Reloc::addr32(view, value, overflow);
+      break;
+
+    case elfcpp::R_PPC64_UADDR64:
+      Reloc::addr64_u(view, value);
       break;
 
     case elfcpp::R_POWERPC_ADDR32:
-      Relocate_functions<size, big_endian>::rela32(view, value, 0);
+    case elfcpp::R_POWERPC_REL32:
+      status = Reloc::addr32(view, value, overflow);
+      break;
+
+    case elfcpp::R_POWERPC_UADDR32:
+      status = Reloc::addr32_u(view, value, overflow);
       break;
 
+    case elfcpp::R_POWERPC_ADDR24:
+    case elfcpp::R_POWERPC_REL24:
+    case elfcpp::R_PPC_PLTREL24:
+    case elfcpp::R_PPC_LOCAL24PC:
+      status = Reloc::addr24(view, value, overflow);
+      break;
+
+    case elfcpp::R_POWERPC_GOT_DTPREL16:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_LO:
+      if (size == 64)
+       {
+         status = Reloc::addr16_ds(view, value, overflow);
+         break;
+       }
     case elfcpp::R_POWERPC_ADDR16:
+    case elfcpp::R_POWERPC_REL16:
     case elfcpp::R_PPC64_TOC16:
     case elfcpp::R_POWERPC_GOT16:
     case elfcpp::R_POWERPC_SECTOFF:
-      Reloc::addr16(view, value, 0);
-      break;
-
+    case elfcpp::R_POWERPC_TPREL16:
+    case elfcpp::R_POWERPC_DTPREL16:
+    case elfcpp::R_POWERPC_GOT_TLSGD16:
+    case elfcpp::R_POWERPC_GOT_TLSLD16:
+    case elfcpp::R_POWERPC_GOT_TPREL16:
     case elfcpp::R_POWERPC_ADDR16_LO:
+    case elfcpp::R_POWERPC_REL16_LO:
     case elfcpp::R_PPC64_TOC16_LO:
     case elfcpp::R_POWERPC_GOT16_LO:
     case elfcpp::R_POWERPC_SECTOFF_LO:
-      Reloc::addr16_lo(view, value, 0);
+    case elfcpp::R_POWERPC_TPREL16_LO:
+    case elfcpp::R_POWERPC_DTPREL16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_LO:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_LO:
+    case elfcpp::R_POWERPC_GOT_TPREL16_LO:
+      status = Reloc::addr16(view, value, overflow);
+      break;
+
+    case elfcpp::R_POWERPC_UADDR16:
+      status = Reloc::addr16_u(view, value, overflow);
       break;
 
     case elfcpp::R_POWERPC_ADDR16_HI:
+    case elfcpp::R_POWERPC_REL16_HI:
     case elfcpp::R_PPC64_TOC16_HI:
     case elfcpp::R_POWERPC_GOT16_HI:
     case elfcpp::R_POWERPC_SECTOFF_HI:
-      Reloc::addr16_hi(view, value, 0);
+    case elfcpp::R_POWERPC_TPREL16_HI:
+    case elfcpp::R_POWERPC_DTPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HI:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HI:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HI:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HI:
+      Reloc::addr16_hi(view, value);
       break;
 
     case elfcpp::R_POWERPC_ADDR16_HA:
+    case elfcpp::R_POWERPC_REL16_HA:
     case elfcpp::R_PPC64_TOC16_HA:
     case elfcpp::R_POWERPC_GOT16_HA:
     case elfcpp::R_POWERPC_SECTOFF_HA:
-      Reloc::addr16_ha(view, value, 0);
+    case elfcpp::R_POWERPC_TPREL16_HA:
+    case elfcpp::R_POWERPC_DTPREL16_HA:
+    case elfcpp::R_POWERPC_GOT_TLSGD16_HA:
+    case elfcpp::R_POWERPC_GOT_TLSLD16_HA:
+    case elfcpp::R_POWERPC_GOT_TPREL16_HA:
+    case elfcpp::R_POWERPC_GOT_DTPREL16_HA:
+      Reloc::addr16_ha(view, value);
       break;
 
-    case elfcpp::R_POWERPC_REL16_LO:
-      Reloc::rel16_lo(view, value, 0, address);
+    case elfcpp::R_PPC64_DTPREL16_HIGHER:
+      if (size == 32)
+       // R_PPC_EMB_NADDR16_LO
+       goto unsupp;
+    case elfcpp::R_PPC64_ADDR16_HIGHER:
+    case elfcpp::R_PPC64_TPREL16_HIGHER:
+      Reloc::addr16_hi2(view, value);
       break;
 
-    case elfcpp::R_POWERPC_REL16_HI:
-      Reloc::rel16_hi(view, value, 0, address);
+    case elfcpp::R_PPC64_DTPREL16_HIGHERA:
+      if (size == 32)
+       // R_PPC_EMB_NADDR16_HI
+       goto unsupp;
+    case elfcpp::R_PPC64_ADDR16_HIGHERA:
+    case elfcpp::R_PPC64_TPREL16_HIGHERA:
+      Reloc::addr16_ha2(view, value);
       break;
 
-    case elfcpp::R_POWERPC_REL16_HA:
-      Reloc::rel16_ha(view, value, 0, address);
+    case elfcpp::R_PPC64_DTPREL16_HIGHEST:
+      if (size == 32)
+       // R_PPC_EMB_NADDR16_HA
+       goto unsupp;
+    case elfcpp::R_PPC64_ADDR16_HIGHEST:
+    case elfcpp::R_PPC64_TPREL16_HIGHEST:
+      Reloc::addr16_hi3(view, value);
       break;
 
+    case elfcpp::R_PPC64_DTPREL16_HIGHESTA:
+      if (size == 32)
+       // R_PPC_EMB_SDAI16
+       goto unsupp;
+    case elfcpp::R_PPC64_ADDR16_HIGHESTA:
+    case elfcpp::R_PPC64_TPREL16_HIGHESTA:
+      Reloc::addr16_ha3(view, value);
+      break;
+
+    case elfcpp::R_PPC64_DTPREL16_DS:
+    case elfcpp::R_PPC64_DTPREL16_LO_DS:
+      if (size == 32)
+       // R_PPC_EMB_NADDR32, R_PPC_EMB_NADDR16
+       goto unsupp;
+    case elfcpp::R_PPC64_TPREL16_DS:
+    case elfcpp::R_PPC64_TPREL16_LO_DS:
+      if (size == 32)
+       // R_PPC_TLSGD, R_PPC_TLSLD
+       break;
     case elfcpp::R_PPC64_ADDR16_DS:
     case elfcpp::R_PPC64_ADDR16_LO_DS:
     case elfcpp::R_PPC64_TOC16_DS:
@@ -2445,68 +3786,83 @@ Target_powerpc<size, big_endian>::Relocate::relocate(
     case elfcpp::R_PPC64_GOT16_LO_DS:
     case elfcpp::R_PPC64_SECTOFF_DS:
     case elfcpp::R_PPC64_SECTOFF_LO_DS:
-      Reloc::addr16_ds(view, value, 0);
+      status = Reloc::addr16_ds(view, value, overflow);
+      break;
+
+    case elfcpp::R_POWERPC_ADDR14:
+    case elfcpp::R_POWERPC_ADDR14_BRTAKEN:
+    case elfcpp::R_POWERPC_ADDR14_BRNTAKEN:
+    case elfcpp::R_POWERPC_REL14:
+    case elfcpp::R_POWERPC_REL14_BRTAKEN:
+    case elfcpp::R_POWERPC_REL14_BRNTAKEN:
+      status = Reloc::addr14(view, value, overflow);
       break;
 
     case elfcpp::R_POWERPC_COPY:
     case elfcpp::R_POWERPC_GLOB_DAT:
     case elfcpp::R_POWERPC_JMP_SLOT:
     case elfcpp::R_POWERPC_RELATIVE:
-      // This is an outstanding tls reloc, which is unexpected when
-      // linking.
     case elfcpp::R_POWERPC_DTPMOD:
+    case elfcpp::R_PPC64_JMP_IREL:
+    case elfcpp::R_POWERPC_IRELATIVE:
       gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
                             _("unexpected reloc %u in object file"),
                             r_type);
       break;
 
-    case elfcpp::R_PPC64_TOCSAVE:
-      // For the time being this can be ignored.
+    case elfcpp::R_PPC_EMB_SDA21:
+      if (size == 32)
+       goto unsupp;
+      else
+       {
+         // R_PPC64_TOCSAVE.  For the time being this can be ignored.
+       }
+      break;
+
+    case elfcpp::R_PPC_EMB_SDA2I16:
+    case elfcpp::R_PPC_EMB_SDA2REL:
+      if (size == 32)
+       goto unsupp;
+      // R_PPC64_TLSGD, R_PPC64_TLSLD
       break;
 
+    case elfcpp::R_POWERPC_PLT32:
+    case elfcpp::R_POWERPC_PLTREL32:
+    case elfcpp::R_POWERPC_PLT16_LO:
+    case elfcpp::R_POWERPC_PLT16_HI:
+    case elfcpp::R_POWERPC_PLT16_HA:
+    case elfcpp::R_PPC_SDAREL16:
+    case elfcpp::R_POWERPC_ADDR30:
+    case elfcpp::R_PPC64_PLT64:
+    case elfcpp::R_PPC64_PLTREL64:
+    case elfcpp::R_PPC64_PLTGOT16:
+    case elfcpp::R_PPC64_PLTGOT16_LO:
+    case elfcpp::R_PPC64_PLTGOT16_HI:
+    case elfcpp::R_PPC64_PLTGOT16_HA:
+    case elfcpp::R_PPC64_PLT16_LO_DS:
+    case elfcpp::R_PPC64_PLTGOT16_DS:
+    case elfcpp::R_PPC64_PLTGOT16_LO_DS:
+    case elfcpp::R_PPC_EMB_RELSEC16:
+    case elfcpp::R_PPC_EMB_RELST_LO:
+    case elfcpp::R_PPC_EMB_RELST_HI:
+    case elfcpp::R_PPC_EMB_RELST_HA:
+    case elfcpp::R_PPC_EMB_BIT_FLD:
+    case elfcpp::R_PPC_EMB_RELSDA:
+    case elfcpp::R_PPC_TOC16:
     default:
+    unsupp:
       gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
                             _("unsupported reloc %u"),
                             r_type);
       break;
     }
+  if (status != Powerpc_relocate_functions<size, big_endian>::STATUS_OK)
+    gold_error_at_location(relinfo, relnum, rela.get_r_offset(),
+                          _("relocation overflow"));
 
   return true;
 }
 
-// Perform a TLS relocation.
-
-template<int size, bool big_endian>
-inline void
-Target_powerpc<size, big_endian>::Relocate::relocate_tls(
-    const Relocate_info<size, big_endian>* relinfo,
-    Target_powerpc<size, big_endian>* target,
-    size_t relnum,
-    const elfcpp::Rela<size, big_endian>& rela,
-    unsigned int r_type,
-    const Sized_symbol<size>* gsym,
-    const Symbol_value<size>* psymval,
-    unsigned char* view,
-    typename elfcpp::Elf_types<size>::Elf_Addr address,
-    section_size_type)
-{
-  Output_segment* tls_segment = relinfo->layout->tls_segment();
-  const Sized_relobj_file<size, big_endian>* object = relinfo->object;
-
-  const elfcpp::Elf_Xword addend = rela.get_r_addend();
-  typename elfcpp::Elf_types<size>::Elf_Addr value = psymval->value(object, 0);
-
-  const bool is_final =
-    (gsym == NULL
-     ? !parameters->options().output_is_position_independent()
-     : gsym->final_value_is_known());
-
-  switch (r_type)
-    {
-      // XXX
-    }
-}
-
 // Relocate section data.
 
 template<int size, bool big_endian>
@@ -2519,7 +3875,7 @@ Target_powerpc<size, big_endian>::relocate_section(
     Output_section* output_section,
     bool needs_special_offset_handling,
     unsigned char* view,
-    typename elfcpp::Elf_types<size>::Elf_Addr address,
+    Address address,
     section_size_type view_size,
     const Reloc_symbol_changes* reloc_symbol_changes)
 {
@@ -2609,11 +3965,15 @@ Target_powerpc<size, big_endian>::scan_relocatable_relocs(
     rr);
 }
 
-// Relocate a section during a relocatable link.
+// Emit relocations for a section.
+// This is a modified version of the function by the same name in
+// target-reloc.h.  Using relocate_special_relocatable for
+// R_PPC_PLTREL24 would require duplication of the entire body of the
+// loop, so we may as well duplicate the whole thing.
 
 template<int size, bool big_endian>
 void
-Target_powerpc<size, big_endian>::relocate_for_relocatable(
+Target_powerpc<size, big_endian>::relocate_relocs(
     const Relocate_info<size, big_endian>* relinfo,
     unsigned int sh_type,
     const unsigned char* prelocs,
@@ -2622,32 +3982,33 @@ Target_powerpc<size, big_endian>::relocate_for_relocatable(
     off_t offset_in_output_section,
     const Relocatable_relocs* rr,
     unsigned char*,
-    typename elfcpp::Elf_types<size>::Elf_Addr,
+    Address view_address,
     section_size_type,
     unsigned char* reloc_view,
     section_size_type reloc_view_size)
 {
   gold_assert(sh_type == elfcpp::SHT_RELA);
 
-  typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
   typedef typename Reloc_types<elfcpp::SHT_RELA, size, big_endian>::Reloc
     Reltype;
   typedef typename Reloc_types<elfcpp::SHT_RELA, size, big_endian>::Reloc_write
     Reltype_write;
   const int reloc_size
     = Reloc_types<elfcpp::SHT_RELA, size, big_endian>::reloc_size;
-  const Address invalid_address = static_cast<Address>(0) - 1;
 
   Powerpc_relobj<size, big_endian>* const object
     = static_cast<Powerpc_relobj<size, big_endian>*>(relinfo->object);
   const unsigned int local_count = object->local_symbol_count();
   unsigned int got2_shndx = object->got2_shndx();
-  typename elfcpp::Elf_types<size>::Elf_Swxword got2_addend = 0;
+  Address got2_addend = 0;
   if (got2_shndx != 0)
-    got2_addend = object->get_output_section_offset(got2_shndx);
+    {
+      got2_addend = object->get_output_section_offset(got2_shndx);
+      gold_assert(got2_addend != invalid_address);
+    }
 
   unsigned char* pwrite = reloc_view;
-
+  bool zap_next = false;
   for (size_t i = 0; i < reloc_count; ++i, prelocs += reloc_size)
     {
       Relocatable_relocs::Reloc_strategy strategy = rr->strategy(i);
@@ -2657,21 +4018,36 @@ Target_powerpc<size, big_endian>::relocate_for_relocatable(
       Reltype reloc(prelocs);
       Reltype_write reloc_write(pwrite);
 
+      Address offset = reloc.get_r_offset();
       typename elfcpp::Elf_types<size>::Elf_WXword r_info = reloc.get_r_info();
-      const unsigned int r_sym = elfcpp::elf_r_sym<size>(r_info);
-      const unsigned int r_type = elfcpp::elf_r_type<size>(r_info);
+      unsigned int r_sym = elfcpp::elf_r_sym<size>(r_info);
+      unsigned int r_type = elfcpp::elf_r_type<size>(r_info);
+      const unsigned int orig_r_sym = r_sym;
+      typename elfcpp::Elf_types<size>::Elf_Swxword addend
+       = reloc.get_r_addend();
+      const Symbol* gsym = NULL;
+
+      if (zap_next)
+       {
+         // We could arrange to discard these and other relocs for
+         // tls optimised sequences in the strategy methods, but for
+         // now do as BFD ld does.
+         r_type = elfcpp::R_POWERPC_NONE;
+         zap_next = false;
+       }
 
       // Get the new symbol index.
-
-      unsigned int new_symndx;
       if (r_sym < local_count)
        {
          switch (strategy)
            {
            case Relocatable_relocs::RELOC_COPY:
            case Relocatable_relocs::RELOC_SPECIAL:
-             new_symndx = object->symtab_index(r_sym);
-             gold_assert(new_symndx != -1U);
+             if (r_sym != 0)
+               {
+                 r_sym = object->symtab_index(r_sym);
+                 gold_assert(r_sym != -1U);
+               }
              break;
 
            case Relocatable_relocs::RELOC_ADJUST_FOR_SECTION_RELA:
@@ -2688,7 +4064,7 @@ Target_powerpc<size, big_endian>::relocate_for_relocatable(
                Output_section* os = object->output_section(shndx);
                gold_assert(os != NULL);
                gold_assert(os->needs_symtab_index());
-               new_symndx = os->symtab_index();
+               r_sym = os->symtab_index();
              }
              break;
 
@@ -2698,47 +4074,46 @@ Target_powerpc<size, big_endian>::relocate_for_relocatable(
        }
       else
        {
-         const Symbol* gsym = object->global_symbol(r_sym);
+         gsym = object->global_symbol(r_sym);
          gold_assert(gsym != NULL);
          if (gsym->is_forwarder())
            gsym = relinfo->symtab->resolve_forwards(gsym);
 
          gold_assert(gsym->has_symtab_index());
-         new_symndx = gsym->symtab_index();
+         r_sym = gsym->symtab_index();
        }
 
       // Get the new offset--the location in the output section where
       // this relocation should be applied.
-
-      Address offset = reloc.get_r_offset();
-      Address new_offset;
       if (static_cast<Address>(offset_in_output_section) != invalid_address)
-       new_offset = offset + offset_in_output_section;
+       offset += offset_in_output_section;
       else
        {
-          section_offset_type sot_offset =
-              convert_types<section_offset_type, Address>(offset);
+         section_offset_type sot_offset =
+           convert_types<section_offset_type, Address>(offset);
          section_offset_type new_sot_offset =
-              output_section->output_offset(object, relinfo->data_shndx,
-                                            sot_offset);
+           output_section->output_offset(object, relinfo->data_shndx,
+                                         sot_offset);
          gold_assert(new_sot_offset != -1);
-          new_offset = new_sot_offset;
+         offset = new_sot_offset;
        }
 
-      reloc_write.put_r_offset(new_offset);
-      reloc_write.put_r_info(elfcpp::elf_r_info<size>(new_symndx, r_type));
+      // In an object file, r_offset is an offset within the section.
+      // In an executable or dynamic object, generated by
+      // --emit-relocs, r_offset is an absolute address.
+      if (!parameters->options().relocatable())
+       {
+         offset += view_address;
+         if (static_cast<Address>(offset_in_output_section) != invalid_address)
+           offset -= offset_in_output_section;
+       }
 
       // Handle the reloc addend based on the strategy.
-      typename elfcpp::Elf_types<size>::Elf_Swxword addend;
-      addend = Reloc_types<elfcpp::SHT_RELA, size, big_endian>::
-       get_reloc_addend(&reloc);
-
       if (strategy == Relocatable_relocs::RELOC_COPY)
        ;
       else if (strategy == Relocatable_relocs::RELOC_ADJUST_FOR_SECTION_RELA)
        {
-         const Symbol_value<size>* psymval = object->local_symbol(r_sym);
-
+         const Symbol_value<size>* psymval = object->local_symbol(orig_r_sym);
          addend = psymval->value(object, addend);
        }
       else if (strategy == Relocatable_relocs::RELOC_SPECIAL)
@@ -2749,8 +4124,136 @@ Target_powerpc<size, big_endian>::relocate_for_relocatable(
       else
        gold_unreachable();
 
-      Reloc_types<elfcpp::SHT_RELA, size, big_endian>::
-       set_reloc_addend(&reloc_write, addend);
+      if (!parameters->options().relocatable())
+       {
+         if (r_type == elfcpp::R_POWERPC_GOT_TLSGD16
+             || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_LO
+             || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_HI
+             || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_HA)
+           {
+             // First instruction of a global dynamic sequence,
+             // arg setup insn.
+             const bool final = gsym == NULL || gsym->final_value_is_known();
+             switch (this->optimize_tls_gd(final))
+               {
+               case tls::TLSOPT_TO_IE:
+                 r_type += (elfcpp::R_POWERPC_GOT_TPREL16
+                            - elfcpp::R_POWERPC_GOT_TLSGD16);
+                 break;
+               case tls::TLSOPT_TO_LE:
+                 if (r_type == elfcpp::R_POWERPC_GOT_TLSGD16
+                     || r_type == elfcpp::R_POWERPC_GOT_TLSGD16_LO)
+                   r_type = elfcpp::R_POWERPC_TPREL16_HA;
+                 else
+                   {
+                     r_type = elfcpp::R_POWERPC_NONE;
+                     offset -= 2 * big_endian;
+                   }
+                 break;
+               default:
+                 break;
+               }
+           }
+         else if (r_type == elfcpp::R_POWERPC_GOT_TLSLD16
+                  || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_LO
+                  || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_HI
+                  || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_HA)
+           {
+             // First instruction of a local dynamic sequence,
+             // arg setup insn.
+             if (this->optimize_tls_ld() == tls::TLSOPT_TO_LE)
+               {
+                 if (r_type == elfcpp::R_POWERPC_GOT_TLSLD16
+                     || r_type == elfcpp::R_POWERPC_GOT_TLSLD16_LO)
+                   {
+                     r_type = elfcpp::R_POWERPC_TPREL16_HA;
+                     const Output_section* os = relinfo->layout->tls_segment()
+                       ->first_section();
+                     gold_assert(os != NULL);
+                     gold_assert(os->needs_symtab_index());
+                     r_sym = os->symtab_index();
+                     addend = dtp_offset;
+                   }
+                 else
+                   {
+                     r_type = elfcpp::R_POWERPC_NONE;
+                     offset -= 2 * big_endian;
+                   }
+               }
+           }
+         else if (r_type == elfcpp::R_POWERPC_GOT_TPREL16
+                  || r_type == elfcpp::R_POWERPC_GOT_TPREL16_LO
+                  || r_type == elfcpp::R_POWERPC_GOT_TPREL16_HI
+                  || r_type == elfcpp::R_POWERPC_GOT_TPREL16_HA)
+           {
+             // First instruction of initial exec sequence.
+             const bool final = gsym == NULL || gsym->final_value_is_known();
+             if (this->optimize_tls_ie(final) == tls::TLSOPT_TO_LE)
+               {
+                 if (r_type == elfcpp::R_POWERPC_GOT_TPREL16
+                     || r_type == elfcpp::R_POWERPC_GOT_TPREL16_LO)
+                   r_type = elfcpp::R_POWERPC_TPREL16_HA;
+                 else
+                   {
+                     r_type = elfcpp::R_POWERPC_NONE;
+                     offset -= 2 * big_endian;
+                   }
+               }
+           }
+         else if ((size == 64 && r_type == elfcpp::R_PPC64_TLSGD)
+                  || (size == 32 && r_type == elfcpp::R_PPC_TLSGD))
+           {
+             // Second instruction of a global dynamic sequence,
+             // the __tls_get_addr call
+             const bool final = gsym == NULL || gsym->final_value_is_known();
+             switch (this->optimize_tls_gd(final))
+               {
+               case tls::TLSOPT_TO_IE:
+                 r_type = elfcpp::R_POWERPC_NONE;
+                 zap_next = true;
+                 break;
+               case tls::TLSOPT_TO_LE:
+                 r_type = elfcpp::R_POWERPC_TPREL16_LO;
+                 offset += 2 * big_endian;
+                 zap_next = true;
+                 break;
+               default:
+                 break;
+               }
+           }
+         else if ((size == 64 && r_type == elfcpp::R_PPC64_TLSLD)
+                  || (size == 32 && r_type == elfcpp::R_PPC_TLSLD))
+           {
+             // Second instruction of a local dynamic sequence,
+             // the __tls_get_addr call
+             if (this->optimize_tls_ld() == tls::TLSOPT_TO_LE)
+               {
+                 const Output_section* os = relinfo->layout->tls_segment()
+                   ->first_section();
+                 gold_assert(os != NULL);
+                 gold_assert(os->needs_symtab_index());
+                 r_sym = os->symtab_index();
+                 addend = dtp_offset;
+                 r_type = elfcpp::R_POWERPC_TPREL16_LO;
+                 offset += 2 * big_endian;
+                 zap_next = true;
+               }
+           }
+         else if (r_type == elfcpp::R_POWERPC_TLS)
+           {
+             // Second instruction of an initial exec sequence
+             const bool final = gsym == NULL || gsym->final_value_is_known();
+             if (this->optimize_tls_ie(final) == tls::TLSOPT_TO_LE)
+               {
+                 r_type = elfcpp::R_POWERPC_TPREL16_LO;
+                 offset += 2 * big_endian;
+               }
+           }
+       }
+
+      reloc_write.put_r_offset(offset);
+      reloc_write.put_r_info(elfcpp::elf_r_info<size>(r_sym, r_type));
+      reloc_write.put_r_addend(addend);
 
       pwrite += reloc_size;
     }
This page took 0.065276 seconds and 4 git commands to generate.