SparcMCExpr.cpp revision dce4a407a24b04eebc6a376f8e62b41aaa7b071f
1//===-- SparcMCExpr.cpp - Sparc specific MC expression classes --------===// 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// This file contains the implementation of the assembly expression modifiers 11// accepted by the Sparc architecture (e.g. "%hi", "%lo", ...). 12// 13//===----------------------------------------------------------------------===// 14 15#include "SparcMCExpr.h" 16#include "llvm/MC/MCAssembler.h" 17#include "llvm/MC/MCContext.h" 18#include "llvm/MC/MCELF.h" 19#include "llvm/MC/MCSymbol.h" 20#include "llvm/Object/ELF.h" 21 22 23using namespace llvm; 24 25#define DEBUG_TYPE "sparcmcexpr" 26 27const SparcMCExpr* 28SparcMCExpr::Create(VariantKind Kind, const MCExpr *Expr, 29 MCContext &Ctx) { 30 return new (Ctx) SparcMCExpr(Kind, Expr); 31} 32 33 34 35void SparcMCExpr::PrintImpl(raw_ostream &OS) const 36{ 37 38 bool closeParen = printVariantKind(OS, Kind); 39 40 const MCExpr *Expr = getSubExpr(); 41 Expr->print(OS); 42 43 if (closeParen) 44 OS << ')'; 45} 46 47bool SparcMCExpr::printVariantKind(raw_ostream &OS, VariantKind Kind) 48{ 49 bool closeParen = true; 50 switch (Kind) { 51 case VK_Sparc_None: closeParen = false; break; 52 case VK_Sparc_LO: OS << "%lo("; break; 53 case VK_Sparc_HI: OS << "%hi("; break; 54 case VK_Sparc_H44: OS << "%h44("; break; 55 case VK_Sparc_M44: OS << "%m44("; break; 56 case VK_Sparc_L44: OS << "%l44("; break; 57 case VK_Sparc_HH: OS << "%hh("; break; 58 case VK_Sparc_HM: OS << "%hm("; break; 59 // FIXME: use %pc22/%pc10, if system assembler supports them. 60 case VK_Sparc_PC22: OS << "%hi("; break; 61 case VK_Sparc_PC10: OS << "%lo("; break; 62 // FIXME: use %got22/%got10, if system assembler supports them. 63 case VK_Sparc_GOT22: OS << "%hi("; break; 64 case VK_Sparc_GOT10: OS << "%lo("; break; 65 case VK_Sparc_WPLT30: closeParen = false; break; 66 case VK_Sparc_R_DISP32: OS << "%r_disp32("; break; 67 case VK_Sparc_TLS_GD_HI22: OS << "%tgd_hi22("; break; 68 case VK_Sparc_TLS_GD_LO10: OS << "%tgd_lo10("; break; 69 case VK_Sparc_TLS_GD_ADD: OS << "%tgd_add("; break; 70 case VK_Sparc_TLS_GD_CALL: OS << "%tgd_call("; break; 71 case VK_Sparc_TLS_LDM_HI22: OS << "%tldm_hi22("; break; 72 case VK_Sparc_TLS_LDM_LO10: OS << "%tldm_lo10("; break; 73 case VK_Sparc_TLS_LDM_ADD: OS << "%tldm_add("; break; 74 case VK_Sparc_TLS_LDM_CALL: OS << "%tldm_call("; break; 75 case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; break; 76 case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; break; 77 case VK_Sparc_TLS_LDO_ADD: OS << "%tldo_add("; break; 78 case VK_Sparc_TLS_IE_HI22: OS << "%tie_hi22("; break; 79 case VK_Sparc_TLS_IE_LO10: OS << "%tie_lo10("; break; 80 case VK_Sparc_TLS_IE_LD: OS << "%tie_ld("; break; 81 case VK_Sparc_TLS_IE_LDX: OS << "%tie_ldx("; break; 82 case VK_Sparc_TLS_IE_ADD: OS << "%tie_add("; break; 83 case VK_Sparc_TLS_LE_HIX22: OS << "%tle_hix22("; break; 84 case VK_Sparc_TLS_LE_LOX10: OS << "%tle_lox10("; break; 85 } 86 return closeParen; 87} 88 89SparcMCExpr::VariantKind SparcMCExpr::parseVariantKind(StringRef name) 90{ 91 return StringSwitch<SparcMCExpr::VariantKind>(name) 92 .Case("lo", VK_Sparc_LO) 93 .Case("hi", VK_Sparc_HI) 94 .Case("h44", VK_Sparc_H44) 95 .Case("m44", VK_Sparc_M44) 96 .Case("l44", VK_Sparc_L44) 97 .Case("hh", VK_Sparc_HH) 98 .Case("hm", VK_Sparc_HM) 99 .Case("pc22", VK_Sparc_PC22) 100 .Case("pc10", VK_Sparc_PC10) 101 .Case("got22", VK_Sparc_GOT22) 102 .Case("got10", VK_Sparc_GOT10) 103 .Case("r_disp32", VK_Sparc_R_DISP32) 104 .Case("tgd_hi22", VK_Sparc_TLS_GD_HI22) 105 .Case("tgd_lo10", VK_Sparc_TLS_GD_LO10) 106 .Case("tgd_add", VK_Sparc_TLS_GD_ADD) 107 .Case("tgd_call", VK_Sparc_TLS_GD_CALL) 108 .Case("tldm_hi22", VK_Sparc_TLS_LDM_HI22) 109 .Case("tldm_lo10", VK_Sparc_TLS_LDM_LO10) 110 .Case("tldm_add", VK_Sparc_TLS_LDM_ADD) 111 .Case("tldm_call", VK_Sparc_TLS_LDM_CALL) 112 .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22) 113 .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10) 114 .Case("tldo_add", VK_Sparc_TLS_LDO_ADD) 115 .Case("tie_hi22", VK_Sparc_TLS_IE_HI22) 116 .Case("tie_lo10", VK_Sparc_TLS_IE_LO10) 117 .Case("tie_ld", VK_Sparc_TLS_IE_LD) 118 .Case("tie_ldx", VK_Sparc_TLS_IE_LDX) 119 .Case("tie_add", VK_Sparc_TLS_IE_ADD) 120 .Case("tle_hix22", VK_Sparc_TLS_LE_HIX22) 121 .Case("tle_lox10", VK_Sparc_TLS_LE_LOX10) 122 .Default(VK_Sparc_None); 123} 124 125Sparc::Fixups SparcMCExpr::getFixupKind(SparcMCExpr::VariantKind Kind) { 126 switch (Kind) { 127 default: assert(0 && "Unhandled SparcMCExpr::VariantKind"); 128 case VK_Sparc_LO: return Sparc::fixup_sparc_lo10; 129 case VK_Sparc_HI: return Sparc::fixup_sparc_hi22; 130 case VK_Sparc_H44: return Sparc::fixup_sparc_h44; 131 case VK_Sparc_M44: return Sparc::fixup_sparc_m44; 132 case VK_Sparc_L44: return Sparc::fixup_sparc_l44; 133 case VK_Sparc_HH: return Sparc::fixup_sparc_hh; 134 case VK_Sparc_HM: return Sparc::fixup_sparc_hm; 135 case VK_Sparc_PC22: return Sparc::fixup_sparc_pc22; 136 case VK_Sparc_PC10: return Sparc::fixup_sparc_pc10; 137 case VK_Sparc_GOT22: return Sparc::fixup_sparc_got22; 138 case VK_Sparc_GOT10: return Sparc::fixup_sparc_got10; 139 case VK_Sparc_WPLT30: return Sparc::fixup_sparc_wplt30; 140 case VK_Sparc_TLS_GD_HI22: return Sparc::fixup_sparc_tls_gd_hi22; 141 case VK_Sparc_TLS_GD_LO10: return Sparc::fixup_sparc_tls_gd_lo10; 142 case VK_Sparc_TLS_GD_ADD: return Sparc::fixup_sparc_tls_gd_add; 143 case VK_Sparc_TLS_GD_CALL: return Sparc::fixup_sparc_tls_gd_call; 144 case VK_Sparc_TLS_LDM_HI22: return Sparc::fixup_sparc_tls_ldm_hi22; 145 case VK_Sparc_TLS_LDM_LO10: return Sparc::fixup_sparc_tls_ldm_lo10; 146 case VK_Sparc_TLS_LDM_ADD: return Sparc::fixup_sparc_tls_ldm_add; 147 case VK_Sparc_TLS_LDM_CALL: return Sparc::fixup_sparc_tls_ldm_call; 148 case VK_Sparc_TLS_LDO_HIX22: return Sparc::fixup_sparc_tls_ldo_hix22; 149 case VK_Sparc_TLS_LDO_LOX10: return Sparc::fixup_sparc_tls_ldo_lox10; 150 case VK_Sparc_TLS_LDO_ADD: return Sparc::fixup_sparc_tls_ldo_add; 151 case VK_Sparc_TLS_IE_HI22: return Sparc::fixup_sparc_tls_ie_hi22; 152 case VK_Sparc_TLS_IE_LO10: return Sparc::fixup_sparc_tls_ie_lo10; 153 case VK_Sparc_TLS_IE_LD: return Sparc::fixup_sparc_tls_ie_ld; 154 case VK_Sparc_TLS_IE_LDX: return Sparc::fixup_sparc_tls_ie_ldx; 155 case VK_Sparc_TLS_IE_ADD: return Sparc::fixup_sparc_tls_ie_add; 156 case VK_Sparc_TLS_LE_HIX22: return Sparc::fixup_sparc_tls_le_hix22; 157 case VK_Sparc_TLS_LE_LOX10: return Sparc::fixup_sparc_tls_le_lox10; 158 } 159} 160 161bool 162SparcMCExpr::EvaluateAsRelocatableImpl(MCValue &Res, 163 const MCAsmLayout *Layout) const { 164 return getSubExpr()->EvaluateAsRelocatable(Res, Layout); 165} 166 167static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) { 168 switch (Expr->getKind()) { 169 case MCExpr::Target: 170 llvm_unreachable("Can't handle nested target expr!"); 171 break; 172 173 case MCExpr::Constant: 174 break; 175 176 case MCExpr::Binary: { 177 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr); 178 fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm); 179 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); 180 break; 181 } 182 183 case MCExpr::SymbolRef: { 184 const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr); 185 MCSymbolData &SD = Asm.getOrCreateSymbolData(SymRef.getSymbol()); 186 MCELF::SetType(SD, ELF::STT_TLS); 187 break; 188 } 189 190 case MCExpr::Unary: 191 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm); 192 break; 193 } 194 195} 196 197void SparcMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const { 198 switch(getKind()) { 199 default: return; 200 case VK_Sparc_TLS_GD_HI22: 201 case VK_Sparc_TLS_GD_LO10: 202 case VK_Sparc_TLS_GD_ADD: 203 case VK_Sparc_TLS_GD_CALL: 204 case VK_Sparc_TLS_LDM_HI22: 205 case VK_Sparc_TLS_LDM_LO10: 206 case VK_Sparc_TLS_LDM_ADD: 207 case VK_Sparc_TLS_LDM_CALL: 208 case VK_Sparc_TLS_LDO_HIX22: 209 case VK_Sparc_TLS_LDO_LOX10: 210 case VK_Sparc_TLS_LDO_ADD: 211 case VK_Sparc_TLS_IE_HI22: 212 case VK_Sparc_TLS_IE_LO10: 213 case VK_Sparc_TLS_IE_LD: 214 case VK_Sparc_TLS_IE_LDX: 215 case VK_Sparc_TLS_IE_ADD: 216 case VK_Sparc_TLS_LE_HIX22: 217 case VK_Sparc_TLS_LE_LOX10: break; 218 } 219 fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm); 220} 221 222// FIXME: This basically copies MCObjectStreamer::AddValueSymbols. Perhaps 223// that method should be made public? 224// FIXME: really do above: now that at least three other backends are using it. 225static void AddValueSymbolsImpl(const MCExpr *Value, MCAssembler *Asm) { 226 switch (Value->getKind()) { 227 case MCExpr::Target: 228 llvm_unreachable("Can't handle nested target expr!"); 229 break; 230 231 case MCExpr::Constant: 232 break; 233 234 case MCExpr::Binary: { 235 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Value); 236 AddValueSymbolsImpl(BE->getLHS(), Asm); 237 AddValueSymbolsImpl(BE->getRHS(), Asm); 238 break; 239 } 240 241 case MCExpr::SymbolRef: 242 Asm->getOrCreateSymbolData(cast<MCSymbolRefExpr>(Value)->getSymbol()); 243 break; 244 245 case MCExpr::Unary: 246 AddValueSymbolsImpl(cast<MCUnaryExpr>(Value)->getSubExpr(), Asm); 247 break; 248 } 249} 250 251void SparcMCExpr::AddValueSymbols(MCAssembler *Asm) const { 252 AddValueSymbolsImpl(getSubExpr(), Asm); 253} 254