// reloc.h -- relocate input files for gold -*- C++ -*- // Copyright (C) 2006-2024 Free Software Foundation, Inc. // Written by Ian Lance Taylor <iant@google.com>. // This file is part of gold. // This program is free software; you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 3 of the License, or // (at your option) any later version. // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, // MA 02110-1301, USA. #ifndef GOLD_RELOC_H #define GOLD_RELOC_H #include <vector> #ifdef HAVE_BYTESWAP_H #include <byteswap.h> #endif #include "elfcpp.h" #include "workqueue.h" namespace gold { class General_options; class Object; class Relobj; struct Read_relocs_data; class Symbol; class Layout; class Output_data; class Output_section; template<int size> class Sized_symbol; template<int size, bool big_endian> class Sized_relobj_file; template<int size> class Symbol_value; template<int sh_type, bool dynamic, int size, bool big_endian> class Output_data_reloc; // A class to read the relocations for an object file, and then queue // up a task to see if they require any GOT/PLT/COPY relocations in // the symbol table. class Read_relocs : public Task { public: // THIS_BLOCKER and NEXT_BLOCKER are passed along to a Scan_relocs // or Gc_process_relocs task, so that they run in a deterministic // order. Read_relocs(Symbol_table* symtab, Layout* layout, Relobj* object, Task_token* this_blocker, Task_token* next_blocker) : symtab_(symtab), layout_(layout), object_(object), this_blocker_(this_blocker), next_blocker_(next_blocker) { } // The standard Task methods. Task_token* is_runnable(); void locks(Task_locker*); void run(Workqueue*); std::string get_name() const; private: Symbol_table* symtab_; Layout* layout_; Relobj* object_; Task_token* this_blocker_; Task_token* next_blocker_; }; // Process the relocs to figure out which sections are garbage. // Very similar to scan relocs. class Gc_process_relocs : public Task { public: // THIS_BLOCKER prevents this task from running until the previous // one is finished. NEXT_BLOCKER prevents the next task from // running. Gc_process_relocs(Symbol_table* symtab, Layout* layout, Relobj* object, Read_relocs_data* rd, Task_token* this_blocker, Task_token* next_blocker) : symtab_(symtab), layout_(layout), object_(object), rd_(rd), this_blocker_(this_blocker), next_blocker_(next_blocker) { } ~Gc_process_relocs(); // The standard Task methods. Task_token* is_runnable(); void locks(Task_locker*); void run(Workqueue*); std::string get_name() const; private: Symbol_table* symtab_; Layout* layout_; Relobj* object_; Read_relocs_data* rd_; Task_token* this_blocker_; Task_token* next_blocker_; }; // Scan the relocations for an object to see if they require any // GOT/PLT/COPY relocations. class Scan_relocs : public Task { public: // THIS_BLOCKER prevents this task from running until the previous // one is finished. NEXT_BLOCKER prevents the next task from // running. Scan_relocs(Symbol_table* symtab, Layout* layout, Relobj* object, Read_relocs_data* rd, Task_token* this_blocker, Task_token* next_blocker) : symtab_(symtab), layout_(layout), object_(object), rd_(rd), this_blocker_(this_blocker), next_blocker_(next_blocker) { } ~Scan_relocs(); // The standard Task methods. Task_token* is_runnable(); void locks(Task_locker*); void run(Workqueue*); std::string get_name() const; private: Symbol_table* symtab_; Layout* layout_; Relobj* object_; Read_relocs_data* rd_; Task_token* this_blocker_; Task_token* next_blocker_; }; // A class to perform all the relocations for an object file. class Relocate_task : public Task { public: Relocate_task(const Symbol_table* symtab, const Layout* layout, Relobj* object, Output_file* of, Task_token* input_sections_blocker, Task_token* output_sections_blocker, Task_token* final_blocker) : symtab_(symtab), layout_(layout), object_(object), of_(of), input_sections_blocker_(input_sections_blocker), output_sections_blocker_(output_sections_blocker), final_blocker_(final_blocker) { } // The standard Task methods. Task_token* is_runnable(); void locks(Task_locker*); void run(Workqueue*); std::string get_name() const; private: const Symbol_table* symtab_; const Layout* layout_; Relobj* object_; Output_file* of_; Task_token* input_sections_blocker_; Task_token* output_sections_blocker_; Task_token* final_blocker_; }; // During a relocatable link, this class records how relocations // should be handled for a single input reloc section. An instance of // this class is created while scanning relocs, and it is used while // processing relocs. class Relocatable_relocs { public: // We use a vector of unsigned char to indicate how the input relocs // should be handled. Each element is one of the following values. // We create this vector when we initially scan the relocations. enum Reloc_strategy { // Copy the input reloc. Don't modify it other than updating the // r_offset field and the r_sym part of the r_info field. RELOC_COPY, // Copy the input reloc which is against an STT_SECTION symbol. // Update the r_offset and r_sym part of the r_info field. Adjust // the addend by subtracting the value of the old local symbol and // adding the value of the new local symbol. The addend is in the // SHT_RELA reloc and the contents of the data section do not need // to be changed. RELOC_ADJUST_FOR_SECTION_RELA, // Like RELOC_ADJUST_FOR_SECTION_RELA but the addend should not be // adjusted. RELOC_ADJUST_FOR_SECTION_0, // Like RELOC_ADJUST_FOR_SECTION_RELA but the contents of the // section need to be changed. The number indicates the number of // bytes in the addend in the section contents. RELOC_ADJUST_FOR_SECTION_1, RELOC_ADJUST_FOR_SECTION_2, RELOC_ADJUST_FOR_SECTION_4, RELOC_ADJUST_FOR_SECTION_8, // Like RELOC_ADJUST_FOR_SECTION_4 but for unaligned relocs. RELOC_ADJUST_FOR_SECTION_4_UNALIGNED, // Discard the input reloc--process it completely when relocating // the data section contents. RELOC_DISCARD, // An input reloc which is not discarded, but which requires // target specific processing in order to update it. RELOC_SPECIAL }; Relocatable_relocs() : reloc_strategies_(), output_reloc_count_(0), posd_(NULL) { } // Record the number of relocs. void set_reloc_count(size_t reloc_count) { this->reloc_strategies_.reserve(reloc_count); } // Record what to do for the next reloc. void set_next_reloc_strategy(Reloc_strategy strategy) { this->reloc_strategies_.push_back(static_cast<unsigned char>(strategy)); if (strategy != RELOC_DISCARD) ++this->output_reloc_count_; } // Record the Output_data associated with this reloc section. void set_output_data(Output_data* posd) { gold_assert(this->posd_ == NULL); this->posd_ = posd; } // Return the Output_data associated with this reloc section. Output_data* output_data() const { return this->posd_; } // Return what to do for reloc I. Reloc_strategy strategy(unsigned int i) const { gold_assert(i < this->reloc_strategies_.size()); return static_cast<Reloc_strategy>(this->reloc_strategies_[i]); } // Set the strategy for reloc I. void set_strategy(unsigned int i, Reloc_strategy strategy) { gold_assert(i < this->reloc_strategies_.size()); this->reloc_strategies_[i] = strategy; } // Return the number of relocations to create in the output file. size_t output_reloc_count() const { return this->output_reloc_count_; } private: typedef std::vector<unsigned char> Reloc_strategies; // The strategies for the input reloc. There is one entry in this // vector for each relocation in the input section. Reloc_strategies reloc_strategies_; // The number of relocations to be created in the output file. size_t output_reloc_count_; // The output data structure associated with this relocation. Output_data* posd_; }; template<int valsize> class Bits; // Standard relocation routines which are used on many targets. Here // SIZE and BIG_ENDIAN refer to the target, not the relocation type. template<int size, bool big_endian> class Relocate_functions { public: typedef typename elfcpp::Elf_types<size>::Elf_Addr Address; typedef typename elfcpp::Elf_types<size>::Elf_Swxword Addendtype; enum Overflow_check { // No overflow checking. CHECK_NONE, // Check for overflow of a signed value. CHECK_SIGNED, // Check for overflow of an unsigned value. CHECK_UNSIGNED, // Check for overflow of a signed or unsigned value. // (i.e., no error if either signed or unsigned fits.) CHECK_SIGNED_OR_UNSIGNED }; enum Reloc_status { RELOC_OK, RELOC_OVERFLOW }; private: // Check for overflow. template<int valsize> static inline Reloc_status check_overflow(Address value, Overflow_check check) { switch (check) { case CHECK_SIGNED: if (size == 32) return (Bits<valsize>::has_overflow32(value) ? RELOC_OVERFLOW : RELOC_OK); else return (Bits<valsize>::has_overflow(value) ? RELOC_OVERFLOW : RELOC_OK); case CHECK_UNSIGNED: if (size == 32) return (Bits<valsize>::has_unsigned_overflow32(value) ? RELOC_OVERFLOW : RELOC_OK); else return (Bits<valsize>::has_unsigned_overflow(value) ? RELOC_OVERFLOW : RELOC_OK); case CHECK_SIGNED_OR_UNSIGNED: if (size == 32) return (Bits<valsize>::has_signed_unsigned_overflow32(value) ? RELOC_OVERFLOW : RELOC_OK); else return (Bits<valsize>::has_signed_unsigned_overflow64(value) ? RELOC_OVERFLOW : RELOC_OK); case CHECK_NONE: default: return RELOC_OK; } } // Do a simple relocation with the addend in the section contents. // VALSIZE is the size of the value. template<int valsize> static inline Reloc_status rel(unsigned char* view, Address value, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Valtype addend = elfcpp::Swap<valsize, big_endian>::readval(wv); value += addend; elfcpp::Swap<valsize, big_endian>:: writeval(wv, static_cast<Valtype>(value)); return check_overflow<valsize>(value, check); } // Like the above but for relocs at unaligned addresses. template<int valsize> static inline Reloc_status rel_unaligned(unsigned char* view, Address value, Overflow_check check) { typedef typename elfcpp::Swap_unaligned<valsize, big_endian>::Valtype Valtype; Valtype addend = elfcpp::Swap_unaligned<valsize, big_endian>::readval(view); value += addend; elfcpp::Swap_unaligned<valsize, big_endian>:: writeval(view, static_cast<Valtype>(value)); return check_overflow<valsize>(value, check); } // Do a simple relocation using a Symbol_value with the addend in // the section contents. VALSIZE is the size of the value to // relocate. template<int valsize> static inline Reloc_status rel(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Valtype addend = elfcpp::Swap<valsize, big_endian>::readval(wv); Address value = psymval->value(object, addend); elfcpp::Swap<valsize, big_endian>:: writeval(wv, static_cast<Valtype>(value)); return check_overflow<valsize>(value, check); } // Like the above but for relocs at unaligned addresses. template<int valsize> static inline Reloc_status rel_unaligned(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { typedef typename elfcpp::Swap_unaligned<valsize, big_endian>::Valtype Valtype; Valtype addend = elfcpp::Swap_unaligned<valsize, big_endian>::readval(view); Address value = psymval->value(object, addend); elfcpp::Swap_unaligned<valsize, big_endian>::writeval(view, value); return check_overflow<valsize>(value, check); } // Do a simple relocation with the addend in the relocation. // VALSIZE is the size of the value. template<int valsize> static inline Reloc_status rela(unsigned char* view, Address value, Addendtype addend, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); value += addend; elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } // Do a simple relocation using a symbol value with the addend in // the relocation. VALSIZE is the size of the value. template<int valsize> static inline Reloc_status rela(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Address value = psymval->value(object, addend); elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } // Do a simple PC relative relocation with the addend in the section // contents. VALSIZE is the size of the value. template<int valsize> static inline Reloc_status pcrel(unsigned char* view, Address value, Address address, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Valtype addend = elfcpp::Swap<valsize, big_endian>::readval(wv); value = value + addend - address; elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } // Like the above but for relocs at unaligned addresses. template<int valsize> static inline Reloc_status pcrel_unaligned(unsigned char* view, Address value, Address address, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype addend = elfcpp::Swap_unaligned<valsize, big_endian>::readval(view); value = value + addend - address; elfcpp::Swap_unaligned<valsize, big_endian>::writeval(view, value); return check_overflow<valsize>(value, check); } // Do a simple PC relative relocation with a Symbol_value with the // addend in the section contents. VALSIZE is the size of the // value. template<int valsize> static inline Reloc_status pcrel(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Valtype addend = elfcpp::Swap<valsize, big_endian>::readval(wv); Address value = psymval->value(object, addend) - address; elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } // Do a simple PC relative relocation with the addend in the // relocation. VALSIZE is the size of the value. template<int valsize> static inline Reloc_status pcrela(unsigned char* view, Address value, Addendtype addend, Address address, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); value = value + addend - address; elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } // Do a simple PC relative relocation with a Symbol_value with the // addend in the relocation. VALSIZE is the size of the value. template<int valsize> static inline Reloc_status pcrela(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address, Overflow_check check) { typedef typename elfcpp::Swap<valsize, big_endian>::Valtype Valtype; Valtype* wv = reinterpret_cast<Valtype*>(view); Address value = psymval->value(object, addend) - address; elfcpp::Swap<valsize, big_endian>::writeval(wv, value); return check_overflow<valsize>(value, check); } typedef Relocate_functions<size, big_endian> This; public: // Do a simple 8-bit REL relocation with the addend in the section // contents. static inline void rel8(unsigned char* view, Address value) { This::template rel<8>(view, value, CHECK_NONE); } static inline Reloc_status rel8_check(unsigned char* view, Address value, Overflow_check check) { return This::template rel<8>(view, value, check); } static inline void rel8(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval) { This::template rel<8>(view, object, psymval, CHECK_NONE); } static inline Reloc_status rel8_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { return This::template rel<8>(view, object, psymval, check); } // Do an 8-bit RELA relocation with the addend in the relocation. static inline void rela8(unsigned char* view, Address value, Addendtype addend) { This::template rela<8>(view, value, addend, CHECK_NONE); } static inline Reloc_status rela8_check(unsigned char* view, Address value, Addendtype addend, Overflow_check check) { return This::template rela<8>(view, value, addend, check); } static inline void rela8(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend) { This::template rela<8>(view, object, psymval, addend, CHECK_NONE); } static inline Reloc_status rela8_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Overflow_check check) { return This::template rela<8>(view, object, psymval, addend, check); } // Do a simple 8-bit PC relative relocation with the addend in the // section contents. static inline void pcrel8(unsigned char* view, unsigned char value, Address address) { This::template pcrel<8>(view, value, address, CHECK_NONE); } static inline Reloc_status pcrel8_check(unsigned char* view, unsigned char value, Address address, Overflow_check check) { return This::template pcrel<8>(view, value, address, check); } static inline void pcrel8(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address) { This::template pcrel<8>(view, object, psymval, address, CHECK_NONE); } static inline Reloc_status pcrel8_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address, Overflow_check check) { return This::template pcrel<8>(view, object, psymval, address, check); } // Do a simple 8-bit PC relative RELA relocation with the addend in // the reloc. static inline void pcrela8(unsigned char* view, Address value, Addendtype addend, Address address) { This::template pcrela<8>(view, value, addend, address, CHECK_NONE); } static inline Reloc_status pcrela8_check(unsigned char* view, Address value, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<8>(view, value, addend, address, check); } static inline void pcrela8(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address) { This::template pcrela<8>(view, object, psymval, addend, address, CHECK_NONE); } static inline Reloc_status pcrela8_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<8>(view, object, psymval, addend, address, check); } // Do a simple 16-bit REL relocation with the addend in the section // contents. static inline void rel16(unsigned char* view, Address value) { This::template rel<16>(view, value, CHECK_NONE); } static inline Reloc_status rel16_check(unsigned char* view, Address value, Overflow_check check) { return This::template rel<16>(view, value, check); } static inline void rel16(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval) { This::template rel<16>(view, object, psymval, CHECK_NONE); } static inline Reloc_status rel16_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { return This::template rel<16>(view, object, psymval, check); } // Do an 16-bit RELA relocation with the addend in the relocation. static inline void rela16(unsigned char* view, Address value, Addendtype addend) { This::template rela<16>(view, value, addend, CHECK_NONE); } static inline Reloc_status rela16_check(unsigned char* view, Address value, Addendtype addend, Overflow_check check) { return This::template rela<16>(view, value, addend, check); } static inline void rela16(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend) { This::template rela<16>(view, object, psymval, addend, CHECK_NONE); } static inline Reloc_status rela16_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Overflow_check check) { return This::template rela<16>(view, object, psymval, addend, check); } // Do a simple 16-bit PC relative REL relocation with the addend in // the section contents. static inline void pcrel16(unsigned char* view, Address value, Address address) { This::template pcrel<16>(view, value, address, CHECK_NONE); } static inline Reloc_status pcrel16_check(unsigned char* view, Address value, Address address, Overflow_check check) { return This::template pcrel<16>(view, value, address, check); } static inline void pcrel16(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address) { This::template pcrel<16>(view, object, psymval, address, CHECK_NONE); } static inline Reloc_status pcrel16_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address, Overflow_check check) { return This::template pcrel<16>(view, object, psymval, address, check); } // Do a simple 16-bit PC relative RELA relocation with the addend in // the reloc. static inline void pcrela16(unsigned char* view, Address value, Addendtype addend, Address address) { This::template pcrela<16>(view, value, addend, address, CHECK_NONE); } static inline Reloc_status pcrela16_check(unsigned char* view, Address value, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<16>(view, value, addend, address, check); } static inline void pcrela16(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address) { This::template pcrela<16>(view, object, psymval, addend, address, CHECK_NONE); } static inline Reloc_status pcrela16_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<16>(view, object, psymval, addend, address, check); } // Do a simple 32-bit REL relocation with the addend in the section // contents. static inline void rel32(unsigned char* view, Address value) { This::template rel<32>(view, value, CHECK_NONE); } static inline Reloc_status rel32_check(unsigned char* view, Address value, Overflow_check check) { return This::template rel<32>(view, value, check); } // Like above but for relocs at unaligned addresses. static inline void rel32_unaligned(unsigned char* view, Address value) { This::template rel_unaligned<32>(view, value, CHECK_NONE); } static inline Reloc_status rel32_unaligned_check(unsigned char* view, Address value, Overflow_check check) { return This::template rel_unaligned<32>(view, value, check); } static inline void rel32(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval) { This::template rel<32>(view, object, psymval, CHECK_NONE); } static inline Reloc_status rel32_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { return This::template rel<32>(view, object, psymval, check); } // Like above but for relocs at unaligned addresses. static inline void rel32_unaligned(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval) { This::template rel_unaligned<32>(view, object, psymval, CHECK_NONE); } static inline Reloc_status rel32_unaligned_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Overflow_check check) { return This::template rel_unaligned<32>(view, object, psymval, check); } // Do a 32-bit RELA relocation with the addend in the relocation. static inline void rela32(unsigned char* view, Address value, Addendtype addend) { This::template rela<32>(view, value, addend, CHECK_NONE); } static inline Reloc_status rela32(unsigned char* view, Address value, Addendtype addend, Overflow_check check) { return This::template rela<32>(view, value, addend, check); } static inline void rela32(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend) { This::template rela<32>(view, object, psymval, addend, CHECK_NONE); } static inline Reloc_status rela32_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Overflow_check check) { return This::template rela<32>(view, object, psymval, addend, check); } // Do a simple 32-bit PC relative REL relocation with the addend in // the section contents. static inline void pcrel32(unsigned char* view, Address value, Address address) { This::template pcrel<32>(view, value, address, CHECK_NONE); } static inline Reloc_status pcrel32_check(unsigned char* view, Address value, Address address, Overflow_check check) { return This::template pcrel<32>(view, value, address, check); } // Unaligned version of the above. static inline void pcrel32_unaligned(unsigned char* view, Address value, Address address) { This::template pcrel_unaligned<32>(view, value, address, CHECK_NONE); } static inline Reloc_status pcrel32_unaligned_check(unsigned char* view, Address value, Address address, Overflow_check check) { return This::template pcrel_unaligned<32>(view, value, address, check); } static inline void pcrel32(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address) { This::template pcrel<32>(view, object, psymval, address, CHECK_NONE); } static inline Reloc_status pcrel32_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address, Overflow_check check) { return This::template pcrel<32>(view, object, psymval, address, check); } // Do a simple 32-bit PC relative RELA relocation with the addend in // the relocation. static inline void pcrela32(unsigned char* view, Address value, Addendtype addend, Address address) { This::template pcrela<32>(view, value, addend, address, CHECK_NONE); } static inline Reloc_status pcrela32_check(unsigned char* view, Address value, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<32>(view, value, addend, address, check); } static inline void pcrela32(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address) { This::template pcrela<32>(view, object, psymval, addend, address, CHECK_NONE); } static inline Reloc_status pcrela32_check(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address, Overflow_check check) { return This::template pcrela<32>(view, object, psymval, addend, address, check); } // Do a simple 64-bit REL relocation with the addend in the section // contents. static inline void rel64(unsigned char* view, Address value) { This::template rel<64>(view, value, CHECK_NONE); } static inline void rel64(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval) { This::template rel<64>(view, object, psymval, CHECK_NONE); } // Do a 64-bit RELA relocation with the addend in the relocation. static inline void rela64(unsigned char* view, Address value, Addendtype addend) { This::template rela<64>(view, value, addend, CHECK_NONE); } static inline void rela64(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend) { This::template rela<64>(view, object, psymval, addend, CHECK_NONE); } // Do a simple 64-bit PC relative REL relocation with the addend in // the section contents. static inline void pcrel64(unsigned char* view, Address value, Address address) { This::template pcrel<64>(view, value, address, CHECK_NONE); } static inline void pcrel64(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Address address) { This::template pcrel<64>(view, object, psymval, address, CHECK_NONE); } // Do a simple 64-bit PC relative RELA relocation with the addend in // the relocation. static inline void pcrela64(unsigned char* view, Address value, Addendtype addend, Address address) { This::template pcrela<64>(view, value, addend, address, CHECK_NONE); } static inline void pcrela64(unsigned char* view, const Sized_relobj_file<size, big_endian>* object, const Symbol_value<size>* psymval, Addendtype addend, Address address) { This::template pcrela<64>(view, object, psymval, addend, address, CHECK_NONE); } }; // Convenience class for min and max values of a given BITS length. template<int bits> class Limits { public: static const uint64_t MAX_UNSIGNED = (1ULL << bits) - 1; static const int64_t MAX_SIGNED = MAX_UNSIGNED >> 1; static const int64_t MIN_SIGNED = -MAX_SIGNED - 1; }; template<> class Limits<64> { public: static const uint64_t MAX_UNSIGNED = ~0ULL; static const int64_t MAX_SIGNED = MAX_UNSIGNED >> 1; static const int64_t MIN_SIGNED = -MAX_SIGNED - 1; }; // Integer manipulation functions used by various targets when // performing relocations. template<int bits> class Bits { public: // Sign extend an n-bit unsigned integer stored in a uint32_t into // an int32_t. BITS must be between 1 and 32. static inline int32_t sign_extend32(uint32_t val) { gold_assert(bits > 0 && bits <= 32); if (bits == 32) return static_cast<int32_t>(val); uint32_t mask = (~static_cast<uint32_t>(0)) >> (32 - bits); val &= mask; uint32_t top_bit = 1U << (bits - 1); int32_t as_signed = static_cast<int32_t>(val); if ((val & top_bit) != 0) as_signed -= static_cast<int32_t>(top_bit * 2); return as_signed; } // Return true if VAL (stored in a uint32_t) has overflowed a signed // value with BITS bits. static inline bool has_overflow32(uint32_t val) { gold_assert(bits > 0 && bits <= 32); if (bits == 32) return false; const int32_t max = static_cast<int32_t>(Limits<bits>::MAX_SIGNED); const int32_t min = static_cast<int32_t>(Limits<bits>::MIN_SIGNED); int32_t as_signed = static_cast<int32_t>(val); return as_signed > max || as_signed < min; } // Return true if VAL (stored in a uint32_t) has overflowed an unsigned // value with BITS bits. static inline bool has_unsigned_overflow32(uint32_t val) { gold_assert(bits > 0 && bits <= 32); if (bits == 32) return false; const uint32_t max = static_cast<uint32_t>(Limits<bits>::MAX_UNSIGNED); return val > max; } // Return true if VAL (stored in a uint32_t) has overflowed both a // signed and an unsigned value. E.g., // Bits<8>::has_signed_unsigned_overflow32 would check -128 <= VAL < // 255. static inline bool has_signed_unsigned_overflow32(uint32_t val) { gold_assert(bits > 0 && bits <= 32); if (bits == 32) return false; const int32_t max = static_cast<int32_t>(Limits<bits>::MAX_UNSIGNED); const int32_t min = static_cast<int32_t>(Limits<bits>::MIN_SIGNED); int32_t as_signed = static_cast<int32_t>(val); return as_signed > max || as_signed < min; } // Select bits from A and B using bits in MASK. For each n in // [0..31], the n-th bit in the result is chosen from the n-th bits // of A and B. A zero selects A and a one selects B. static inline uint32_t bit_select32(uint32_t a, uint32_t b, uint32_t mask) { return (a & ~mask) | (b & mask); } // Sign extend an n-bit unsigned integer stored in a uint64_t into // an int64_t. BITS must be between 1 and 64. static inline int64_t sign_extend(uint64_t val) { gold_assert(bits > 0 && bits <= 64); if (bits == 64) return static_cast<int64_t>(val); uint64_t mask = (~static_cast<uint64_t>(0)) >> (64 - bits); val &= mask; uint64_t top_bit = static_cast<uint64_t>(1) << (bits - 1); int64_t as_signed = static_cast<int64_t>(val); if ((val & top_bit) != 0) as_signed -= static_cast<int64_t>(top_bit * 2); return as_signed; } // Return true if VAL (stored in a uint64_t) has overflowed a signed // value with BITS bits. static inline bool has_overflow(uint64_t val) { gold_assert(bits > 0 && bits <= 64); if (bits == 64) return false; const int64_t max = Limits<bits>::MAX_SIGNED; const int64_t min = Limits<bits>::MIN_SIGNED; int64_t as_signed = static_cast<int64_t>(val); return as_signed > max || as_signed < min; } // Return true if VAL (stored in a uint64_t) has overflowed an unsigned // value with BITS bits. static inline bool has_unsigned_overflow(uint64_t val) { gold_assert(bits > 0 && bits <= 64); if (bits == 64) return false; const uint64_t max = Limits<bits>::MAX_UNSIGNED; return val > max; } // Return true if VAL (stored in a uint64_t) has overflowed both a // signed and an unsigned value. E.g., // Bits<8>::has_signed_unsigned_overflow would check -128 <= VAL < // 255. static inline bool has_signed_unsigned_overflow64(uint64_t val) { gold_assert(bits > 0 && bits <= 64); if (bits == 64) return false; const int64_t max = static_cast<int64_t>(Limits<bits>::MAX_UNSIGNED); const int64_t min = Limits<bits>::MIN_SIGNED; int64_t as_signed = static_cast<int64_t>(val); return as_signed > max || as_signed < min; } // Select bits from A and B using bits in MASK. For each n in // [0..31], the n-th bit in the result is chosen from the n-th bits // of A and B. A zero selects A and a one selects B. static inline uint64_t bit_select64(uint64_t a, uint64_t b, uint64_t mask) { return (a & ~mask) | (b & mask); } }; // Track relocations while reading a section. This lets you ask for // the relocation at a certain offset, and see how relocs occur // between points of interest. template<int size, bool big_endian> class Track_relocs { public: Track_relocs() : prelocs_(NULL), len_(0), pos_(0), reloc_size_(0) { } // Initialize the Track_relocs object. OBJECT is the object holding // the reloc section, RELOC_SHNDX is the section index of the reloc // section, and RELOC_TYPE is the type of the reloc section // (elfcpp::SHT_REL or elfcpp::SHT_RELA). This returns false if // something went wrong. bool initialize(Object* object, unsigned int reloc_shndx, unsigned int reloc_type); // Return the offset in the data section to which the next reloc // applies. This returns -1 if there is no next reloc. off_t next_offset() const; // Return the symbol index of the next reloc. This returns -1U if // there is no next reloc. unsigned int next_symndx() const; // Return the addend of the next reloc. This returns 0 if there is // no next reloc. uint64_t next_addend() const; // Advance to OFFSET within the data section, and return the number // of relocs which would be skipped, excluding r_info==0 relocs. int advance(off_t offset); // Checkpoint the current position in the reloc section. section_size_type checkpoint() const { return this->pos_; } // Reset the position to CHECKPOINT. void reset(section_size_type checkpoint) { this->pos_ = checkpoint; } private: // The contents of the input object's reloc section. const unsigned char* prelocs_; // The length of the reloc section. section_size_type len_; // Our current position in the reloc section. section_size_type pos_; // The size of the relocs in the section. int reloc_size_; }; } // End namespace gold. #endif // !defined(GOLD_RELOC_H)