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/ARMMCTargetDesc.h" 11 #include "MCTargetDesc/ARMFixupKinds.h" 12 #include "llvm/ADT/Statistic.h" 13 #include "llvm/ADT/StringSwitch.h" 14 #include "llvm/MC/MCELFObjectWriter.h" 15 #include "llvm/MC/MCExpr.h" 16 #include "llvm/MC/MCSectionELF.h" 17 #include "llvm/MC/MCValue.h" 18 #include "llvm/Support/Debug.h" 19 #include "llvm/Support/ErrorHandling.h" 20 #include "llvm/Support/raw_ostream.h" 21 22 using namespace llvm; 23 24 namespace { 25 class ARMELFObjectWriter : public MCELFObjectTargetWriter { 26 enum { DefaultEABIVersion = 0x05000000U }; 27 unsigned GetRelocTypeInner(const MCValue &Target, 28 const MCFixup &Fixup, 29 bool IsPCRel) const; 30 31 32 public: 33 ARMELFObjectWriter(uint8_t OSABI); 34 35 virtual ~ARMELFObjectWriter(); 36 37 unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup, 38 bool IsPCRel) const override; 39 40 bool needsRelocateWithSymbol(const MCSymbolData &SD, 41 unsigned Type) const override; 42 }; 43 } 44 45 ARMELFObjectWriter::ARMELFObjectWriter(uint8_t OSABI) 46 : MCELFObjectTargetWriter(/*Is64Bit*/ false, OSABI, 47 ELF::EM_ARM, 48 /*HasRelocationAddend*/ false) {} 49 50 ARMELFObjectWriter::~ARMELFObjectWriter() {} 51 52 bool ARMELFObjectWriter::needsRelocateWithSymbol(const MCSymbolData &SD, 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(const MCValue &Target, 71 const MCFixup &Fixup, 72 bool IsPCRel) const { 73 return GetRelocTypeInner(Target, Fixup, IsPCRel); 74 } 75 76 unsigned ARMELFObjectWriter::GetRelocTypeInner(const MCValue &Target, 77 const MCFixup &Fixup, 78 bool IsPCRel) const { 79 MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant(); 80 81 unsigned Type = 0; 82 if (IsPCRel) { 83 switch ((unsigned)Fixup.getKind()) { 84 default: llvm_unreachable("Unimplemented"); 85 case FK_Data_4: 86 switch (Modifier) { 87 default: llvm_unreachable("Unsupported Modifier"); 88 case MCSymbolRefExpr::VK_None: 89 Type = ELF::R_ARM_REL32; 90 break; 91 case MCSymbolRefExpr::VK_TLSGD: 92 llvm_unreachable("unimplemented"); 93 case MCSymbolRefExpr::VK_GOTTPOFF: 94 Type = ELF::R_ARM_TLS_IE32; 95 break; 96 case MCSymbolRefExpr::VK_GOTPCREL: 97 Type = ELF::R_ARM_GOT_PREL; 98 break; 99 } 100 break; 101 case ARM::fixup_arm_blx: 102 case ARM::fixup_arm_uncondbl: 103 switch (Modifier) { 104 case MCSymbolRefExpr::VK_PLT: 105 Type = ELF::R_ARM_CALL; 106 break; 107 case MCSymbolRefExpr::VK_ARM_TLSCALL: 108 Type = ELF::R_ARM_TLS_CALL; 109 break; 110 default: 111 Type = ELF::R_ARM_CALL; 112 break; 113 } 114 break; 115 case ARM::fixup_arm_condbl: 116 case ARM::fixup_arm_condbranch: 117 case ARM::fixup_arm_uncondbranch: 118 Type = ELF::R_ARM_JUMP24; 119 break; 120 case ARM::fixup_t2_condbranch: 121 case ARM::fixup_t2_uncondbranch: 122 Type = ELF::R_ARM_THM_JUMP24; 123 break; 124 case ARM::fixup_arm_movt_hi16: 125 Type = ELF::R_ARM_MOVT_PREL; 126 break; 127 case ARM::fixup_arm_movw_lo16: 128 Type = ELF::R_ARM_MOVW_PREL_NC; 129 break; 130 case ARM::fixup_t2_movt_hi16: 131 Type = ELF::R_ARM_THM_MOVT_PREL; 132 break; 133 case ARM::fixup_t2_movw_lo16: 134 Type = ELF::R_ARM_THM_MOVW_PREL_NC; 135 break; 136 case ARM::fixup_arm_thumb_bl: 137 case ARM::fixup_arm_thumb_blx: 138 switch (Modifier) { 139 case MCSymbolRefExpr::VK_ARM_TLSCALL: 140 Type = ELF::R_ARM_THM_TLS_CALL; 141 break; 142 default: 143 Type = ELF::R_ARM_THM_CALL; 144 break; 145 } 146 break; 147 } 148 } else { 149 switch ((unsigned)Fixup.getKind()) { 150 default: llvm_unreachable("invalid fixup kind!"); 151 case FK_Data_1: 152 switch (Modifier) { 153 default: llvm_unreachable("unsupported Modifier"); 154 case MCSymbolRefExpr::VK_None: 155 Type = ELF::R_ARM_ABS8; 156 break; 157 } 158 break; 159 case FK_Data_4: 160 switch (Modifier) { 161 default: llvm_unreachable("Unsupported Modifier"); 162 case MCSymbolRefExpr::VK_ARM_NONE: 163 Type = ELF::R_ARM_NONE; 164 break; 165 case MCSymbolRefExpr::VK_GOT: 166 Type = ELF::R_ARM_GOT_BREL; 167 break; 168 case MCSymbolRefExpr::VK_TLSGD: 169 Type = ELF::R_ARM_TLS_GD32; 170 break; 171 case MCSymbolRefExpr::VK_TPOFF: 172 Type = ELF::R_ARM_TLS_LE32; 173 break; 174 case MCSymbolRefExpr::VK_GOTTPOFF: 175 Type = ELF::R_ARM_TLS_IE32; 176 break; 177 case MCSymbolRefExpr::VK_None: 178 Type = ELF::R_ARM_ABS32; 179 break; 180 case MCSymbolRefExpr::VK_GOTOFF: 181 Type = ELF::R_ARM_GOTOFF32; 182 break; 183 case MCSymbolRefExpr::VK_GOTPCREL: 184 Type = ELF::R_ARM_GOT_PREL; 185 break; 186 case MCSymbolRefExpr::VK_ARM_TARGET1: 187 Type = ELF::R_ARM_TARGET1; 188 break; 189 case MCSymbolRefExpr::VK_ARM_TARGET2: 190 Type = ELF::R_ARM_TARGET2; 191 break; 192 case MCSymbolRefExpr::VK_ARM_PREL31: 193 Type = ELF::R_ARM_PREL31; 194 break; 195 case MCSymbolRefExpr::VK_ARM_TLSLDO: 196 Type = ELF::R_ARM_TLS_LDO32; 197 break; 198 case MCSymbolRefExpr::VK_ARM_TLSCALL: 199 Type = ELF::R_ARM_TLS_CALL; 200 break; 201 case MCSymbolRefExpr::VK_ARM_TLSDESC: 202 Type = ELF::R_ARM_TLS_GOTDESC; 203 break; 204 case MCSymbolRefExpr::VK_ARM_TLSDESCSEQ: 205 Type = ELF::R_ARM_TLS_DESCSEQ; 206 break; 207 } 208 break; 209 case ARM::fixup_arm_ldst_pcrel_12: 210 case ARM::fixup_arm_pcrel_10: 211 case ARM::fixup_arm_adr_pcrel_12: 212 case ARM::fixup_arm_thumb_bl: 213 case ARM::fixup_arm_thumb_cb: 214 case ARM::fixup_arm_thumb_cp: 215 case ARM::fixup_arm_thumb_br: 216 llvm_unreachable("Unimplemented"); 217 case ARM::fixup_arm_condbranch: 218 case ARM::fixup_arm_uncondbranch: 219 Type = ELF::R_ARM_JUMP24; 220 break; 221 case ARM::fixup_arm_movt_hi16: 222 Type = ELF::R_ARM_MOVT_ABS; 223 break; 224 case ARM::fixup_arm_movw_lo16: 225 Type = ELF::R_ARM_MOVW_ABS_NC; 226 break; 227 case ARM::fixup_t2_movt_hi16: 228 Type = ELF::R_ARM_THM_MOVT_ABS; 229 break; 230 case ARM::fixup_t2_movw_lo16: 231 Type = ELF::R_ARM_THM_MOVW_ABS_NC; 232 break; 233 } 234 } 235 236 return Type; 237 } 238 239 MCObjectWriter *llvm::createARMELFObjectWriter(raw_ostream &OS, 240 uint8_t OSABI, 241 bool IsLittleEndian) { 242 MCELFObjectTargetWriter *MOTW = new ARMELFObjectWriter(OSABI); 243 return createELFObjectWriter(MOTW, OS, IsLittleEndian); 244 } 245