1 //===-- ARMELFObjectWriter.cpp - ARM ELF Writer ---------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "MCTargetDesc/ARMFixupKinds.h" 10 #include "MCTargetDesc/ARMMCTargetDesc.h" 11 #include "llvm/BinaryFormat/ELF.h" 12 #include "llvm/MC/MCContext.h" 13 #include "llvm/MC/MCELFObjectWriter.h" 14 #include "llvm/MC/MCExpr.h" 15 #include "llvm/MC/MCFixup.h" 16 #include "llvm/MC/MCObjectFileInfo.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 void addTargetSectionFlags(MCContext &Ctx, MCSectionELF &Sec) override; 45 }; 46 47 } // end anonymous namespace 48 49 ARMELFObjectWriter::ARMELFObjectWriter(uint8_t OSABI) 50 : MCELFObjectTargetWriter(/*Is64Bit*/ false, OSABI, 51 ELF::EM_ARM, 52 /*HasRelocationAddend*/ false) {} 53 54 bool ARMELFObjectWriter::needsRelocateWithSymbol(const MCSymbol &Sym, 55 unsigned Type) const { 56 // FIXME: This is extremely conservative. This really needs to use a 57 // whitelist with a clear explanation for why each realocation needs to 58 // point to the symbol, not to the section. 59 switch (Type) { 60 default: 61 return true; 62 63 case ELF::R_ARM_PREL31: 64 case ELF::R_ARM_ABS32: 65 return false; 66 } 67 } 68 69 // Need to examine the Fixup when determining whether to 70 // emit the relocation as an explicit symbol or as a section relative 71 // offset 72 unsigned ARMELFObjectWriter::getRelocType(MCContext &Ctx, const MCValue &Target, 73 const MCFixup &Fixup, 74 bool IsPCRel) const { 75 return GetRelocTypeInner(Target, Fixup, IsPCRel, Ctx); 76 } 77 78 unsigned ARMELFObjectWriter::GetRelocTypeInner(const MCValue &Target, 79 const MCFixup &Fixup, 80 bool IsPCRel, 81 MCContext &Ctx) const { 82 MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant(); 83 84 if (IsPCRel) { 85 switch (Fixup.getTargetKind()) { 86 default: 87 Ctx.reportFatalError(Fixup.getLoc(), "unsupported relocation on symbol"); 88 return ELF::R_ARM_NONE; 89 case FK_Data_4: 90 switch (Modifier) { 91 default: 92 llvm_unreachable("Unsupported Modifier"); 93 case MCSymbolRefExpr::VK_None: 94 return ELF::R_ARM_REL32; 95 case MCSymbolRefExpr::VK_GOTTPOFF: 96 return ELF::R_ARM_TLS_IE32; 97 case MCSymbolRefExpr::VK_ARM_GOT_PREL: 98 return ELF::R_ARM_GOT_PREL; 99 case MCSymbolRefExpr::VK_ARM_PREL31: 100 return ELF::R_ARM_PREL31; 101 } 102 case ARM::fixup_arm_blx: 103 case ARM::fixup_arm_uncondbl: 104 switch (Modifier) { 105 case MCSymbolRefExpr::VK_PLT: 106 return ELF::R_ARM_CALL; 107 case MCSymbolRefExpr::VK_TLSCALL: 108 return ELF::R_ARM_TLS_CALL; 109 default: 110 return ELF::R_ARM_CALL; 111 } 112 case ARM::fixup_arm_condbl: 113 case ARM::fixup_arm_condbranch: 114 case ARM::fixup_arm_uncondbranch: 115 return ELF::R_ARM_JUMP24; 116 case ARM::fixup_t2_condbranch: 117 return ELF::R_ARM_THM_JUMP19; 118 case ARM::fixup_t2_uncondbranch: 119 return ELF::R_ARM_THM_JUMP24; 120 case ARM::fixup_arm_movt_hi16: 121 return ELF::R_ARM_MOVT_PREL; 122 case ARM::fixup_arm_movw_lo16: 123 return ELF::R_ARM_MOVW_PREL_NC; 124 case ARM::fixup_t2_movt_hi16: 125 return ELF::R_ARM_THM_MOVT_PREL; 126 case ARM::fixup_t2_movw_lo16: 127 return ELF::R_ARM_THM_MOVW_PREL_NC; 128 case ARM::fixup_arm_thumb_br: 129 return ELF::R_ARM_THM_JUMP11; 130 case ARM::fixup_arm_thumb_bcc: 131 return ELF::R_ARM_THM_JUMP8; 132 case ARM::fixup_arm_thumb_bl: 133 case ARM::fixup_arm_thumb_blx: 134 switch (Modifier) { 135 case MCSymbolRefExpr::VK_TLSCALL: 136 return ELF::R_ARM_THM_TLS_CALL; 137 default: 138 return ELF::R_ARM_THM_CALL; 139 } 140 case ARM::fixup_thumb_adr_pcrel_10: 141 case ARM::fixup_arm_thumb_cp: 142 return ELF::R_ARM_THM_PC8; 143 case ARM::fixup_t2_adr_pcrel_12: 144 return ELF::R_ARM_THM_ALU_PREL_11_0; 145 case ARM::fixup_t2_ldst_pcrel_12: 146 return ELF::R_ARM_THM_PC12; 147 case ARM::fixup_bf_target: 148 return ELF::R_ARM_THM_BF16; 149 case ARM::fixup_bfc_target: 150 return ELF::R_ARM_THM_BF12; 151 case ARM::fixup_bfl_target: 152 return ELF::R_ARM_THM_BF18; 153 } 154 } 155 switch (Fixup.getTargetKind()) { 156 default: 157 Ctx.reportFatalError(Fixup.getLoc(), "unsupported relocation on symbol"); 158 return ELF::R_ARM_NONE; 159 case FK_NONE: 160 return ELF::R_ARM_NONE; 161 case FK_Data_1: 162 switch (Modifier) { 163 default: 164 llvm_unreachable("unsupported Modifier"); 165 case MCSymbolRefExpr::VK_None: 166 return ELF::R_ARM_ABS8; 167 } 168 case FK_Data_2: 169 switch (Modifier) { 170 default: 171 llvm_unreachable("unsupported modifier"); 172 case MCSymbolRefExpr::VK_None: 173 return ELF::R_ARM_ABS16; 174 } 175 case FK_Data_4: 176 switch (Modifier) { 177 default: 178 llvm_unreachable("Unsupported Modifier"); 179 case MCSymbolRefExpr::VK_ARM_NONE: 180 return ELF::R_ARM_NONE; 181 case MCSymbolRefExpr::VK_GOT: 182 return ELF::R_ARM_GOT_BREL; 183 case MCSymbolRefExpr::VK_TLSGD: 184 return ELF::R_ARM_TLS_GD32; 185 case MCSymbolRefExpr::VK_TPOFF: 186 return ELF::R_ARM_TLS_LE32; 187 case MCSymbolRefExpr::VK_GOTTPOFF: 188 return ELF::R_ARM_TLS_IE32; 189 case MCSymbolRefExpr::VK_None: 190 return ELF::R_ARM_ABS32; 191 case MCSymbolRefExpr::VK_GOTOFF: 192 return ELF::R_ARM_GOTOFF32; 193 case MCSymbolRefExpr::VK_ARM_GOT_PREL: 194 return ELF::R_ARM_GOT_PREL; 195 case MCSymbolRefExpr::VK_ARM_TARGET1: 196 return ELF::R_ARM_TARGET1; 197 case MCSymbolRefExpr::VK_ARM_TARGET2: 198 return ELF::R_ARM_TARGET2; 199 case MCSymbolRefExpr::VK_ARM_PREL31: 200 return ELF::R_ARM_PREL31; 201 case MCSymbolRefExpr::VK_ARM_SBREL: 202 return ELF::R_ARM_SBREL32; 203 case MCSymbolRefExpr::VK_ARM_TLSLDO: 204 return ELF::R_ARM_TLS_LDO32; 205 case MCSymbolRefExpr::VK_TLSCALL: 206 return ELF::R_ARM_TLS_CALL; 207 case MCSymbolRefExpr::VK_TLSDESC: 208 return ELF::R_ARM_TLS_GOTDESC; 209 case MCSymbolRefExpr::VK_TLSLDM: 210 return ELF::R_ARM_TLS_LDM32; 211 case MCSymbolRefExpr::VK_ARM_TLSDESCSEQ: 212 return ELF::R_ARM_TLS_DESCSEQ; 213 } 214 case ARM::fixup_arm_condbranch: 215 case ARM::fixup_arm_uncondbranch: 216 return ELF::R_ARM_JUMP24; 217 case ARM::fixup_arm_movt_hi16: 218 switch (Modifier) { 219 default: 220 llvm_unreachable("Unsupported Modifier"); 221 case MCSymbolRefExpr::VK_None: 222 return ELF::R_ARM_MOVT_ABS; 223 case MCSymbolRefExpr::VK_ARM_SBREL: 224 return ELF::R_ARM_MOVT_BREL; 225 } 226 case ARM::fixup_arm_movw_lo16: 227 switch (Modifier) { 228 default: 229 llvm_unreachable("Unsupported Modifier"); 230 case MCSymbolRefExpr::VK_None: 231 return ELF::R_ARM_MOVW_ABS_NC; 232 case MCSymbolRefExpr::VK_ARM_SBREL: 233 return ELF::R_ARM_MOVW_BREL_NC; 234 } 235 case ARM::fixup_t2_movt_hi16: 236 switch (Modifier) { 237 default: 238 llvm_unreachable("Unsupported Modifier"); 239 case MCSymbolRefExpr::VK_None: 240 return ELF::R_ARM_THM_MOVT_ABS; 241 case MCSymbolRefExpr::VK_ARM_SBREL: 242 return ELF::R_ARM_THM_MOVT_BREL; 243 } 244 case ARM::fixup_t2_movw_lo16: 245 switch (Modifier) { 246 default: 247 llvm_unreachable("Unsupported Modifier"); 248 case MCSymbolRefExpr::VK_None: 249 return ELF::R_ARM_THM_MOVW_ABS_NC; 250 case MCSymbolRefExpr::VK_ARM_SBREL: 251 return ELF::R_ARM_THM_MOVW_BREL_NC; 252 } 253 } 254 } 255 256 void ARMELFObjectWriter::addTargetSectionFlags(MCContext &Ctx, 257 MCSectionELF &Sec) { 258 // The mix of execute-only and non-execute-only at link time is 259 // non-execute-only. To avoid the empty implicitly created .text 260 // section from making the whole .text section non-execute-only, we 261 // mark it execute-only if it is empty and there is at least one 262 // execute-only section in the object. 263 MCSectionELF *TextSection = 264 static_cast<MCSectionELF *>(Ctx.getObjectFileInfo()->getTextSection()); 265 if (Sec.getKind().isExecuteOnly() && !TextSection->hasInstructions()) { 266 for (auto &F : TextSection->getFragmentList()) 267 if (auto *DF = dyn_cast<MCDataFragment>(&F)) 268 if (!DF->getContents().empty()) 269 return; 270 TextSection->setFlags(TextSection->getFlags() | ELF::SHF_ARM_PURECODE); 271 } 272 } 273 274 std::unique_ptr<MCObjectTargetWriter> 275 llvm::createARMELFObjectWriter(uint8_t OSABI) { 276 return std::make_unique<ARMELFObjectWriter>(OSABI); 277 } 278