1 //===-- SparcMCExpr.cpp - Sparc specific MC expression classes --------===// 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 // This file contains the implementation of the assembly expression modifiers 10 // accepted by the Sparc architecture (e.g. "%hi", "%lo", ...). 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "SparcMCExpr.h" 15 #include "llvm/BinaryFormat/ELF.h" 16 #include "llvm/MC/MCAssembler.h" 17 #include "llvm/MC/MCContext.h" 18 #include "llvm/MC/MCObjectStreamer.h" 19 #include "llvm/MC/MCSymbolELF.h" 20 #include "llvm/Support/Casting.h" 21 22 using namespace llvm; 23 24 #define DEBUG_TYPE "sparcmcexpr" 25 26 const SparcMCExpr* 27 SparcMCExpr::create(VariantKind Kind, const MCExpr *Expr, 28 MCContext &Ctx) { 29 return new (Ctx) SparcMCExpr(Kind, Expr); 30 } 31 32 void SparcMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const { 33 34 bool closeParen = printVariantKind(OS, Kind); 35 36 const MCExpr *Expr = getSubExpr(); 37 Expr->print(OS, MAI); 38 39 if (closeParen) 40 OS << ')'; 41 } 42 43 bool SparcMCExpr::printVariantKind(raw_ostream &OS, VariantKind Kind) 44 { 45 switch (Kind) { 46 case VK_Sparc_None: return false; 47 case VK_Sparc_LO: OS << "%lo("; return true; 48 case VK_Sparc_HI: OS << "%hi("; return true; 49 case VK_Sparc_H44: OS << "%h44("; return true; 50 case VK_Sparc_M44: OS << "%m44("; return true; 51 case VK_Sparc_L44: OS << "%l44("; return true; 52 case VK_Sparc_HH: OS << "%hh("; return true; 53 case VK_Sparc_HM: OS << "%hm("; return true; 54 case VK_Sparc_LM: OS << "%lm("; return true; 55 // FIXME: use %pc22/%pc10, if system assembler supports them. 56 case VK_Sparc_PC22: OS << "%hi("; return true; 57 case VK_Sparc_PC10: OS << "%lo("; return true; 58 // FIXME: use %got22/%got10, if system assembler supports them. 59 case VK_Sparc_GOT22: OS << "%hi("; return true; 60 case VK_Sparc_GOT10: OS << "%lo("; return true; 61 case VK_Sparc_GOT13: return false; 62 case VK_Sparc_13: return false; 63 case VK_Sparc_WDISP30: return false; 64 case VK_Sparc_WPLT30: return false; 65 case VK_Sparc_R_DISP32: OS << "%r_disp32("; return true; 66 case VK_Sparc_TLS_GD_HI22: OS << "%tgd_hi22("; return true; 67 case VK_Sparc_TLS_GD_LO10: OS << "%tgd_lo10("; return true; 68 case VK_Sparc_TLS_GD_ADD: OS << "%tgd_add("; return true; 69 case VK_Sparc_TLS_GD_CALL: OS << "%tgd_call("; return true; 70 case VK_Sparc_TLS_LDM_HI22: OS << "%tldm_hi22("; return true; 71 case VK_Sparc_TLS_LDM_LO10: OS << "%tldm_lo10("; return true; 72 case VK_Sparc_TLS_LDM_ADD: OS << "%tldm_add("; return true; 73 case VK_Sparc_TLS_LDM_CALL: OS << "%tldm_call("; return true; 74 case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; return true; 75 case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; return true; 76 case VK_Sparc_TLS_LDO_ADD: OS << "%tldo_add("; return true; 77 case VK_Sparc_TLS_IE_HI22: OS << "%tie_hi22("; return true; 78 case VK_Sparc_TLS_IE_LO10: OS << "%tie_lo10("; return true; 79 case VK_Sparc_TLS_IE_LD: OS << "%tie_ld("; return true; 80 case VK_Sparc_TLS_IE_LDX: OS << "%tie_ldx("; return true; 81 case VK_Sparc_TLS_IE_ADD: OS << "%tie_add("; return true; 82 case VK_Sparc_TLS_LE_HIX22: OS << "%tle_hix22("; return true; 83 case VK_Sparc_TLS_LE_LOX10: OS << "%tle_lox10("; return true; 84 case VK_Sparc_HIX22: OS << "%hix("; return true; 85 case VK_Sparc_LOX10: OS << "%lox("; return true; 86 case VK_Sparc_GOTDATA_HIX22: OS << "%gdop_hix22("; return true; 87 case VK_Sparc_GOTDATA_LOX10: OS << "%gdop_lox10("; return true; 88 case VK_Sparc_GOTDATA_OP: OS << "%gdop("; return true; 89 } 90 llvm_unreachable("Unhandled SparcMCExpr::VariantKind"); 91 } 92 93 SparcMCExpr::VariantKind SparcMCExpr::parseVariantKind(StringRef name) 94 { 95 return StringSwitch<SparcMCExpr::VariantKind>(name) 96 .Case("lo", VK_Sparc_LO) 97 .Case("hi", VK_Sparc_HI) 98 .Case("h44", VK_Sparc_H44) 99 .Case("m44", VK_Sparc_M44) 100 .Case("l44", VK_Sparc_L44) 101 .Case("hh", VK_Sparc_HH) 102 .Case("uhi", VK_Sparc_HH) // Nonstandard GNU extension 103 .Case("hm", VK_Sparc_HM) 104 .Case("ulo", VK_Sparc_HM) // Nonstandard GNU extension 105 .Case("lm", VK_Sparc_LM) 106 .Case("pc22", VK_Sparc_PC22) 107 .Case("pc10", VK_Sparc_PC10) 108 .Case("got22", VK_Sparc_GOT22) 109 .Case("got10", VK_Sparc_GOT10) 110 .Case("got13", VK_Sparc_GOT13) 111 .Case("r_disp32", VK_Sparc_R_DISP32) 112 .Case("tgd_hi22", VK_Sparc_TLS_GD_HI22) 113 .Case("tgd_lo10", VK_Sparc_TLS_GD_LO10) 114 .Case("tgd_add", VK_Sparc_TLS_GD_ADD) 115 .Case("tgd_call", VK_Sparc_TLS_GD_CALL) 116 .Case("tldm_hi22", VK_Sparc_TLS_LDM_HI22) 117 .Case("tldm_lo10", VK_Sparc_TLS_LDM_LO10) 118 .Case("tldm_add", VK_Sparc_TLS_LDM_ADD) 119 .Case("tldm_call", VK_Sparc_TLS_LDM_CALL) 120 .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22) 121 .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10) 122 .Case("tldo_add", VK_Sparc_TLS_LDO_ADD) 123 .Case("tie_hi22", VK_Sparc_TLS_IE_HI22) 124 .Case("tie_lo10", VK_Sparc_TLS_IE_LO10) 125 .Case("tie_ld", VK_Sparc_TLS_IE_LD) 126 .Case("tie_ldx", VK_Sparc_TLS_IE_LDX) 127 .Case("tie_add", VK_Sparc_TLS_IE_ADD) 128 .Case("tle_hix22", VK_Sparc_TLS_LE_HIX22) 129 .Case("tle_lox10", VK_Sparc_TLS_LE_LOX10) 130 .Case("hix", VK_Sparc_HIX22) 131 .Case("lox", VK_Sparc_LOX10) 132 .Case("gdop_hix22", VK_Sparc_GOTDATA_HIX22) 133 .Case("gdop_lox10", VK_Sparc_GOTDATA_LOX10) 134 .Case("gdop", VK_Sparc_GOTDATA_OP) 135 .Default(VK_Sparc_None); 136 } 137 138 Sparc::Fixups SparcMCExpr::getFixupKind(SparcMCExpr::VariantKind Kind) { 139 switch (Kind) { 140 default: llvm_unreachable("Unhandled SparcMCExpr::VariantKind"); 141 case VK_Sparc_LO: return Sparc::fixup_sparc_lo10; 142 case VK_Sparc_HI: return Sparc::fixup_sparc_hi22; 143 case VK_Sparc_H44: return Sparc::fixup_sparc_h44; 144 case VK_Sparc_M44: return Sparc::fixup_sparc_m44; 145 case VK_Sparc_L44: return Sparc::fixup_sparc_l44; 146 case VK_Sparc_HH: return Sparc::fixup_sparc_hh; 147 case VK_Sparc_HM: return Sparc::fixup_sparc_hm; 148 case VK_Sparc_LM: return Sparc::fixup_sparc_lm; 149 case VK_Sparc_PC22: return Sparc::fixup_sparc_pc22; 150 case VK_Sparc_PC10: return Sparc::fixup_sparc_pc10; 151 case VK_Sparc_GOT22: return Sparc::fixup_sparc_got22; 152 case VK_Sparc_GOT10: return Sparc::fixup_sparc_got10; 153 case VK_Sparc_GOT13: return Sparc::fixup_sparc_got13; 154 case VK_Sparc_13: return Sparc::fixup_sparc_13; 155 case VK_Sparc_WPLT30: return Sparc::fixup_sparc_wplt30; 156 case VK_Sparc_WDISP30: return Sparc::fixup_sparc_call30; 157 case VK_Sparc_TLS_GD_HI22: return Sparc::fixup_sparc_tls_gd_hi22; 158 case VK_Sparc_TLS_GD_LO10: return Sparc::fixup_sparc_tls_gd_lo10; 159 case VK_Sparc_TLS_GD_ADD: return Sparc::fixup_sparc_tls_gd_add; 160 case VK_Sparc_TLS_GD_CALL: return Sparc::fixup_sparc_tls_gd_call; 161 case VK_Sparc_TLS_LDM_HI22: return Sparc::fixup_sparc_tls_ldm_hi22; 162 case VK_Sparc_TLS_LDM_LO10: return Sparc::fixup_sparc_tls_ldm_lo10; 163 case VK_Sparc_TLS_LDM_ADD: return Sparc::fixup_sparc_tls_ldm_add; 164 case VK_Sparc_TLS_LDM_CALL: return Sparc::fixup_sparc_tls_ldm_call; 165 case VK_Sparc_TLS_LDO_HIX22: return Sparc::fixup_sparc_tls_ldo_hix22; 166 case VK_Sparc_TLS_LDO_LOX10: return Sparc::fixup_sparc_tls_ldo_lox10; 167 case VK_Sparc_TLS_LDO_ADD: return Sparc::fixup_sparc_tls_ldo_add; 168 case VK_Sparc_TLS_IE_HI22: return Sparc::fixup_sparc_tls_ie_hi22; 169 case VK_Sparc_TLS_IE_LO10: return Sparc::fixup_sparc_tls_ie_lo10; 170 case VK_Sparc_TLS_IE_LD: return Sparc::fixup_sparc_tls_ie_ld; 171 case VK_Sparc_TLS_IE_LDX: return Sparc::fixup_sparc_tls_ie_ldx; 172 case VK_Sparc_TLS_IE_ADD: return Sparc::fixup_sparc_tls_ie_add; 173 case VK_Sparc_TLS_LE_HIX22: return Sparc::fixup_sparc_tls_le_hix22; 174 case VK_Sparc_TLS_LE_LOX10: return Sparc::fixup_sparc_tls_le_lox10; 175 case VK_Sparc_HIX22: return Sparc::fixup_sparc_hix22; 176 case VK_Sparc_LOX10: return Sparc::fixup_sparc_lox10; 177 case VK_Sparc_GOTDATA_HIX22: return Sparc::fixup_sparc_gotdata_hix22; 178 case VK_Sparc_GOTDATA_LOX10: return Sparc::fixup_sparc_gotdata_lox10; 179 case VK_Sparc_GOTDATA_OP: return Sparc::fixup_sparc_gotdata_op; 180 } 181 } 182 183 bool SparcMCExpr::evaluateAsRelocatableImpl(MCValue &Res, 184 const MCAssembler *Asm, 185 const MCFixup *Fixup) const { 186 return getSubExpr()->evaluateAsRelocatable(Res, Asm, Fixup); 187 } 188 189 static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) { 190 switch (Expr->getKind()) { 191 case MCExpr::Target: 192 llvm_unreachable("Can't handle nested target expr!"); 193 break; 194 195 case MCExpr::Constant: 196 break; 197 198 case MCExpr::Binary: { 199 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr); 200 fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm); 201 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); 202 break; 203 } 204 205 case MCExpr::SymbolRef: { 206 const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr); 207 cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS); 208 break; 209 } 210 211 case MCExpr::Unary: 212 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm); 213 break; 214 } 215 216 } 217 218 void SparcMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const { 219 switch(getKind()) { 220 default: return; 221 case VK_Sparc_TLS_GD_CALL: 222 case VK_Sparc_TLS_LDM_CALL: { 223 // The corresponding relocations reference __tls_get_addr, as they call it, 224 // but this is only implicit; we must explicitly add it to our symbol table 225 // to bind it for these uses. 226 MCSymbol *Symbol = Asm.getContext().getOrCreateSymbol("__tls_get_addr"); 227 Asm.registerSymbol(*Symbol); 228 auto ELFSymbol = cast<MCSymbolELF>(Symbol); 229 if (!ELFSymbol->isBindingSet()) 230 ELFSymbol->setBinding(ELF::STB_GLOBAL); 231 [[fallthrough]]; 232 } 233 case VK_Sparc_TLS_GD_HI22: 234 case VK_Sparc_TLS_GD_LO10: 235 case VK_Sparc_TLS_GD_ADD: 236 case VK_Sparc_TLS_LDM_HI22: 237 case VK_Sparc_TLS_LDM_LO10: 238 case VK_Sparc_TLS_LDM_ADD: 239 case VK_Sparc_TLS_LDO_HIX22: 240 case VK_Sparc_TLS_LDO_LOX10: 241 case VK_Sparc_TLS_LDO_ADD: 242 case VK_Sparc_TLS_IE_HI22: 243 case VK_Sparc_TLS_IE_LO10: 244 case VK_Sparc_TLS_IE_LD: 245 case VK_Sparc_TLS_IE_LDX: 246 case VK_Sparc_TLS_IE_ADD: 247 case VK_Sparc_TLS_LE_HIX22: 248 case VK_Sparc_TLS_LE_LOX10: break; 249 } 250 fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm); 251 } 252 253 void SparcMCExpr::visitUsedExpr(MCStreamer &Streamer) const { 254 Streamer.visitUsedExpr(*getSubExpr()); 255 } 256