//===- ARMLDBackend.h -----------------------------------------------------===//
//
// The MCLinker Project
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef MCLD_ARM_LDBACKEND_H
#define MCLD_ARM_LDBACKEND_H
#include "ARMELFDynamic.h"
#include "ARMGOT.h"
#include "ARMPLT.h"
#include <mcld/LD/LDSection.h>
#include <mcld/Target/GNULDBackend.h>
#include <mcld/Target/OutputRelocSection.h>
namespace mcld {
class LinkerConfig;
class GNUInfo;
class SectionMap;
//===----------------------------------------------------------------------===//
/// ARMGNULDBackend - linker backend of ARM target of GNU ELF format
///
class ARMGNULDBackend : public GNULDBackend
{
public:
// max branch offsets for ARM, THUMB, and THUMB2
// @ref gold/arm.cc:99
static const int32_t ARM_MAX_FWD_BRANCH_OFFSET = ((((1 << 23) - 1) << 2) + 8);
static const int32_t ARM_MAX_BWD_BRANCH_OFFSET = ((-((1 << 23) << 2)) + 8);
static const int32_t THM_MAX_FWD_BRANCH_OFFSET = ((1 << 22) -2 + 4);
static const int32_t THM_MAX_BWD_BRANCH_OFFSET = (-(1 << 22) + 4);
static const int32_t THM2_MAX_FWD_BRANCH_OFFSET = (((1 << 24) - 2) + 4);
static const int32_t THM2_MAX_BWD_BRANCH_OFFSET = (-(1 << 24) + 4);
public:
ARMGNULDBackend(const LinkerConfig& pConfig, GNUInfo* pInfo);
~ARMGNULDBackend();
public:
typedef std::vector<llvm::ELF::Elf32_Dyn*> ELF32DynList;
/** \enum ReservedEntryType
* \brief The reserved entry type of reserved space in ResolveInfo.
*
* This is used for sacnRelocation to record what kinds of entries are
* reserved for this resolved symbol
*
* In ARM, there are three kinds of entries, GOT, PLT, and dynamic reloction.
* GOT may needs a corresponding relocation to relocate itself, so we
* separate GOT to two situations: GOT and GOTRel. Besides, for the same
* symbol, there might be two kinds of entries reserved for different location.
* For example, reference to the same symbol, one may use GOT and the other may
* use dynamic relocation.
*
* bit: 3 2 1 0
* | PLT | GOTRel | GOT | Rel |
*
* value Name - Description
*
* 0000 None - no reserved entry
* 0001 ReserveRel - reserve an dynamic relocation entry
* 0010 ReserveGOT - reserve an GOT entry
* 0011 GOTandRel - For different relocation, we've reserved GOT and
* Rel for different location.
* 0100 GOTRel - reserve an GOT entry and the corresponding Dyncamic
* relocation entry which relocate this GOT entry
* 0101 GOTRelandRel - For different relocation, we've reserved GOTRel
* and relocation entry for different location.
* 1000 ReservePLT - reserve an PLT entry and the corresponding GOT,
* Dynamic relocation entries
* 1001 PLTandRel - For different relocation, we've reserved PLT and
* Rel for different location.
*/
enum ReservedEntryType {
None = 0,
ReserveRel = 1,
ReserveGOT = 2,
GOTandRel = 3,
GOTRel = 4,
GOTRelandRel = 5,
ReservePLT = 8,
PLTandRel = 9
};
public:
/// initTargetSections - initialize target dependent sections in output.
void initTargetSections(Module& pModule, ObjectBuilder& pBuilder);
/// initTargetSymbols - initialize target dependent symbols in output.
void initTargetSymbols(IRBuilder& pBuilder, Module& pModule);
/// initRelocator - create and initialize Relocator.
bool initRelocator();
/// getRelocator - return relocator.
Relocator* getRelocator();
/// scanRelocation - determine the empty entries are needed or not and create
/// the empty entries if needed.
/// For ARM, following entries are check to create:
/// - GOT entry (for .got section)
/// - PLT entry (for .plt section)
/// - dynamin relocation entries (for .rel.plt and .rel.dyn sections)
void scanRelocation(Relocation& pReloc,
IRBuilder& pBuilder,
Module& pModule,
LDSection& pSection);
/// doPreLayout - Backend can do any needed modification before layout
void doPreLayout(IRBuilder& pBuilder);
/// doPostLayout -Backend can do any needed modification after layout
void doPostLayout(Module& pModule, IRBuilder& pBuilder);
/// dynamic - the dynamic section of the target machine.
/// Use co-variant return type to return its own dynamic section.
ARMELFDynamic& dynamic();
/// dynamic - the dynamic section of the target machine.
/// Use co-variant return type to return its own dynamic section.
const ARMELFDynamic& dynamic() const;
/// emitSectionData - write out the section data into the memory region.
/// When writers get a LDSection whose kind is LDFileFormat::Target, writers
/// call back target backend to emit the data.
///
/// Backends handle the target-special tables (plt, gp,...) by themselves.
/// Backend can put the data of the tables in SectionData directly
/// - LDSection.getSectionData can get the section data.
/// Or, backend can put the data into special data structure
/// - backend can maintain its own map<LDSection, table> to get the table
/// from given LDSection.
///
/// @param pSection - the given LDSection
/// @param pConfig - all options in the command line.
/// @param pRegion - the region to write out data
/// @return the size of the table in the file.
uint64_t emitSectionData(const LDSection& pSection,
MemoryRegion& pRegion) const;
ARMGOT& getGOT();
const ARMGOT& getGOT() const;
ARMPLT& getPLT();
const ARMPLT& getPLT() const;
OutputRelocSection& getRelDyn();
const OutputRelocSection& getRelDyn() const;
OutputRelocSection& getRelPLT();
const OutputRelocSection& getRelPLT() const;
/// getTargetSectionOrder - compute the layout order of ARM target sections
unsigned int getTargetSectionOrder(const LDSection& pSectHdr) const;
/// finalizeTargetSymbols - finalize the symbol value
bool finalizeTargetSymbols();
/// mergeSection - merge target dependent sections
bool mergeSection(Module& pModule, LDSection& pSection);
/// readSection - read target dependent sections
bool readSection(Input& pInput, SectionData& pSD);
private:
void scanLocalReloc(Relocation& pReloc, const LDSection& pSection);
void scanGlobalReloc(Relocation& pReloc,
IRBuilder& pBuilder,
const LDSection& pSection);
void checkValidReloc(Relocation& pReloc) const;
/// addCopyReloc - add a copy relocation into .rel.dyn for pSym
/// @param pSym - A resolved copy symbol that defined in BSS section
void addCopyReloc(ResolveInfo& pSym);
/// defineSymbolforCopyReloc - allocate a space in BSS section and
/// and force define the copy of pSym to BSS section
/// @return the output LDSymbol of the copy symbol
LDSymbol& defineSymbolforCopyReloc(IRBuilder& pLinker,
const ResolveInfo& pSym);
void defineGOTSymbol(IRBuilder& pBuilder);
/// maxBranchOffset
/// FIXME: if we can handle arm attributes, we may refine this!
uint64_t maxBranchOffset() { return THM_MAX_FWD_BRANCH_OFFSET; }
/// mayRelax - Backends should override this function if they need relaxation
bool mayRelax() { return true; }
/// doRelax - Backend can orevride this function to add its relaxation
/// implementation. Return true if the output (e.g., .text) is "relaxed"
/// (i.e. layout is changed), and set pFinished to true if everything is fit,
/// otherwise set it to false.
bool doRelax(Module& pModule, IRBuilder& pBuilder, bool& pFinished);
/// initTargetStubs
bool initTargetStubs();
/// getRelEntrySize - the size in BYTE of rel type relocation
size_t getRelEntrySize()
{ return 8; }
/// getRelEntrySize - the size in BYTE of rela type relocation
size_t getRelaEntrySize()
{ assert(0 && "ARM backend with Rela type relocation\n"); return 12; }
/// doCreateProgramHdrs - backend can implement this function to create the
/// target-dependent segments
virtual void doCreateProgramHdrs(Module& pModule);
private:
Relocator* m_pRelocator;
ARMGOT* m_pGOT;
ARMPLT* m_pPLT;
/// m_RelDyn - dynamic relocation table of .rel.dyn
OutputRelocSection* m_pRelDyn;
/// m_RelPLT - dynamic relocation table of .rel.plt
OutputRelocSection* m_pRelPLT;
ARMELFDynamic* m_pDynamic;
LDSymbol* m_pGOTSymbol;
LDSymbol* m_pEXIDXStart;
LDSymbol* m_pEXIDXEnd;
// variable name : ELF
LDSection* m_pEXIDX; // .ARM.exidx
LDSection* m_pEXTAB; // .ARM.extab
LDSection* m_pAttributes; // .ARM.attributes
// LDSection* m_pPreemptMap; // .ARM.preemptmap
// LDSection* m_pDebugOverlay; // .ARM.debug_overlay
// LDSection* m_pOverlayTable; // .ARM.overlay_table
};
} // namespace of mcld
#endif