contrib/llvm/lib/Target/Sparc/MCTargetDesc/SparcMCExpr.cpp

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