contrib/llvm/lib/Target/ARM/MCTargetDesc/ARMELFObjectWriter.cpp

   1 //===-- ARMELFObjectWriter.cpp - ARM ELF Writer ---------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #include "MCTargetDesc/ARMFixupKinds.h"
  11 #include "MCTargetDesc/ARMMCTargetDesc.h"
  12 #include "llvm/BinaryFormat/ELF.h"
  13 #include "llvm/MC/MCContext.h"
  14 #include "llvm/MC/MCELFObjectWriter.h"
  15 #include "llvm/MC/MCExpr.h"
  16 #include "llvm/MC/MCFixup.h"
  17 #include "llvm/MC/MCObjectWriter.h"
  18 #include "llvm/MC/MCValue.h"
  19 #include "llvm/Support/ErrorHandling.h"
  20 #include "llvm/Support/raw_ostream.h"
  21 #include <cstdint>
  22
  23 using namespace llvm;
  24
  25 namespace {
  26
  27   class ARMELFObjectWriter : public MCELFObjectTargetWriter {
  28     enum { DefaultEABIVersion = 0x05000000U };
  29
  30     unsigned GetRelocTypeInner(const MCValue &Target, const MCFixup &Fixup,
  31                                bool IsPCRel, MCContext &Ctx) const;
  32
  33   public:
  34     ARMELFObjectWriter(uint8_t OSABI);
  35
  36     ~ARMELFObjectWriter() override = default;
  37
  38     unsigned getRelocType(MCContext &Ctx, const MCValue &Target,
  39                           const MCFixup &Fixup, bool IsPCRel) const override;
  40
  41     bool needsRelocateWithSymbol(const MCSymbol &Sym,
  42                                  unsigned Type) const override;
  43   };
  44
  45 } // end anonymous namespace
  46
  47 ARMELFObjectWriter::ARMELFObjectWriter(uint8_t OSABI)
  48   : MCELFObjectTargetWriter(/*Is64Bit*/ false, OSABI,
  49                             ELF::EM_ARM,
  50                             /*HasRelocationAddend*/ false) {}
  51
  52 bool ARMELFObjectWriter::needsRelocateWithSymbol(const MCSymbol &Sym,
  53                                                  unsigned Type) const {
  54   // FIXME: This is extremely conservative. This really needs to use a
  55   // whitelist with a clear explanation for why each realocation needs to
  56   // point to the symbol, not to the section.
  57   switch (Type) {
  58   default:
  59     return true;
  60
  61   case ELF::R_ARM_PREL31:
  62   case ELF::R_ARM_ABS32:
  63     return false;
  64   }
  65 }
  66
  67 // Need to examine the Fixup when determining whether to
  68 // emit the relocation as an explicit symbol or as a section relative
  69 // offset
  70 unsigned ARMELFObjectWriter::getRelocType(MCContext &Ctx, const MCValue &Target,
  71                                           const MCFixup &Fixup,
  72                                           bool IsPCRel) const {
  73   return GetRelocTypeInner(Target, Fixup, IsPCRel, Ctx);
  74 }
  75
  76 unsigned ARMELFObjectWriter::GetRelocTypeInner(const MCValue &Target,
  77                                                const MCFixup &Fixup,
  78                                                bool IsPCRel,
  79                                                MCContext &Ctx) const {
  80   MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
  81
  82   if (IsPCRel) {
  83     switch ((unsigned)Fixup.getKind()) {
  84     default:
  85       Ctx.reportFatalError(Fixup.getLoc(), "unsupported relocation on symbol");
  86       return ELF::R_ARM_NONE;
  87     case FK_Data_4:
  88       switch (Modifier) {
  89       default:
  90         llvm_unreachable("Unsupported Modifier");
  91       case MCSymbolRefExpr::VK_None:
  92         return ELF::R_ARM_REL32;
  93       case MCSymbolRefExpr::VK_GOTTPOFF:
  94         return ELF::R_ARM_TLS_IE32;
  95       case MCSymbolRefExpr::VK_ARM_GOT_PREL:
  96         return ELF::R_ARM_GOT_PREL;
  97       case MCSymbolRefExpr::VK_ARM_PREL31:
  98         return ELF::R_ARM_PREL31;
  99       }
 100     case ARM::fixup_arm_blx:
 101     case ARM::fixup_arm_uncondbl:
 102       switch (Modifier) {
 103       case MCSymbolRefExpr::VK_PLT:
 104         return ELF::R_ARM_CALL;
 105       case MCSymbolRefExpr::VK_TLSCALL:
 106         return ELF::R_ARM_TLS_CALL;
 107       default:
 108         return ELF::R_ARM_CALL;
 109       }
 110     case ARM::fixup_arm_condbl:
 111     case ARM::fixup_arm_condbranch:
 112     case ARM::fixup_arm_uncondbranch:
 113       return ELF::R_ARM_JUMP24;
 114     case ARM::fixup_t2_condbranch:
 115       return ELF::R_ARM_THM_JUMP19;
 116     case ARM::fixup_t2_uncondbranch:
 117       return ELF::R_ARM_THM_JUMP24;
 118     case ARM::fixup_arm_movt_hi16:
 119       return ELF::R_ARM_MOVT_PREL;
 120     case ARM::fixup_arm_movw_lo16:
 121       return ELF::R_ARM_MOVW_PREL_NC;
 122     case ARM::fixup_t2_movt_hi16:
 123       return ELF::R_ARM_THM_MOVT_PREL;
 124     case ARM::fixup_t2_movw_lo16:
 125       return ELF::R_ARM_THM_MOVW_PREL_NC;
 126     case ARM::fixup_arm_thumb_br:
 127       return ELF::R_ARM_THM_JUMP11;
 128     case ARM::fixup_arm_thumb_bcc:
 129       return ELF::R_ARM_THM_JUMP8;
 130     case ARM::fixup_arm_thumb_bl:
 131     case ARM::fixup_arm_thumb_blx:
 132       switch (Modifier) {
 133       case MCSymbolRefExpr::VK_TLSCALL:
 134         return ELF::R_ARM_THM_TLS_CALL;
 135       default:
 136         return ELF::R_ARM_THM_CALL;
 137       }
 138     }
 139   }
 140   switch ((unsigned)Fixup.getKind()) {
 141   default:
 142     Ctx.reportFatalError(Fixup.getLoc(), "unsupported relocation on symbol");
 143     return ELF::R_ARM_NONE;
 144   case FK_Data_1:
 145     switch (Modifier) {
 146     default:
 147       llvm_unreachable("unsupported Modifier");
 148     case MCSymbolRefExpr::VK_None:
 149       return ELF::R_ARM_ABS8;
 150     }
 151   case FK_Data_2:
 152     switch (Modifier) {
 153     default:
 154       llvm_unreachable("unsupported modifier");
 155     case MCSymbolRefExpr::VK_None:
 156       return ELF::R_ARM_ABS16;
 157     }
 158   case FK_Data_4:
 159     switch (Modifier) {
 160     default:
 161       llvm_unreachable("Unsupported Modifier");
 162     case MCSymbolRefExpr::VK_ARM_NONE:
 163       return ELF::R_ARM_NONE;
 164     case MCSymbolRefExpr::VK_GOT:
 165       return ELF::R_ARM_GOT_BREL;
 166     case MCSymbolRefExpr::VK_TLSGD:
 167       return ELF::R_ARM_TLS_GD32;
 168     case MCSymbolRefExpr::VK_TPOFF:
 169       return ELF::R_ARM_TLS_LE32;
 170     case MCSymbolRefExpr::VK_GOTTPOFF:
 171       return ELF::R_ARM_TLS_IE32;
 172     case MCSymbolRefExpr::VK_None:
 173       return ELF::R_ARM_ABS32;
 174     case MCSymbolRefExpr::VK_GOTOFF:
 175       return ELF::R_ARM_GOTOFF32;
 176     case MCSymbolRefExpr::VK_ARM_GOT_PREL:
 177       return ELF::R_ARM_GOT_PREL;
 178     case MCSymbolRefExpr::VK_ARM_TARGET1:
 179       return ELF::R_ARM_TARGET1;
 180     case MCSymbolRefExpr::VK_ARM_TARGET2:
 181       return ELF::R_ARM_TARGET2;
 182     case MCSymbolRefExpr::VK_ARM_PREL31:
 183       return ELF::R_ARM_PREL31;
 184     case MCSymbolRefExpr::VK_ARM_SBREL:
 185       return ELF::R_ARM_SBREL32;
 186     case MCSymbolRefExpr::VK_ARM_TLSLDO:
 187       return ELF::R_ARM_TLS_LDO32;
 188     case MCSymbolRefExpr::VK_TLSCALL:
 189       return ELF::R_ARM_TLS_CALL;
 190     case MCSymbolRefExpr::VK_TLSDESC:
 191       return ELF::R_ARM_TLS_GOTDESC;
 192     case MCSymbolRefExpr::VK_TLSLDM:
 193       return ELF::R_ARM_TLS_LDM32;
 194     case MCSymbolRefExpr::VK_ARM_TLSDESCSEQ:
 195       return ELF::R_ARM_TLS_DESCSEQ;
 196     }
 197   case ARM::fixup_arm_condbranch:
 198   case ARM::fixup_arm_uncondbranch:
 199     return ELF::R_ARM_JUMP24;
 200   case ARM::fixup_arm_movt_hi16:
 201     switch (Modifier) {
 202     default:
 203       llvm_unreachable("Unsupported Modifier");
 204     case MCSymbolRefExpr::VK_None:
 205       return ELF::R_ARM_MOVT_ABS;
 206     case MCSymbolRefExpr::VK_ARM_SBREL:
 207       return ELF::R_ARM_MOVT_BREL;
 208     }
 209   case ARM::fixup_arm_movw_lo16:
 210     switch (Modifier) {
 211     default:
 212       llvm_unreachable("Unsupported Modifier");
 213     case MCSymbolRefExpr::VK_None:
 214       return ELF::R_ARM_MOVW_ABS_NC;
 215     case MCSymbolRefExpr::VK_ARM_SBREL:
 216       return ELF::R_ARM_MOVW_BREL_NC;
 217     }
 218   case ARM::fixup_t2_movt_hi16:
 219     switch (Modifier) {
 220     default:
 221       llvm_unreachable("Unsupported Modifier");
 222     case MCSymbolRefExpr::VK_None:
 223       return ELF::R_ARM_THM_MOVT_ABS;
 224     case MCSymbolRefExpr::VK_ARM_SBREL:
 225       return ELF::R_ARM_THM_MOVT_BREL;
 226     }
 227   case ARM::fixup_t2_movw_lo16:
 228     switch (Modifier) {
 229     default:
 230       llvm_unreachable("Unsupported Modifier");
 231     case MCSymbolRefExpr::VK_None:
 232       return ELF::R_ARM_THM_MOVW_ABS_NC;
 233     case MCSymbolRefExpr::VK_ARM_SBREL:
 234       return ELF::R_ARM_THM_MOVW_BREL_NC;
 235     }
 236   }
 237 }
 238
 239 std::unique_ptr<MCObjectTargetWriter>
 240 llvm::createARMELFObjectWriter(uint8_t OSABI) {
 241   return llvm::make_unique<ARMELFObjectWriter>(OSABI);
 242 }