lib/Target/ARM64/MCTargetDesc/ARM64MCExpr.cpp

   1 //===-- ARM64MCExpr.cpp - ARM64 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 AArch64 architecture (e.g. ":lo12:", ":gottprel_g1:", ...).
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "ARM64MCExpr.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/MC/MCValue.h"
  21 #include "llvm/Object/ELF.h"
  22 #include "llvm/Support/ErrorHandling.h"
  23
  24 using namespace llvm;
  25
  26 #define DEBUG_TYPE "aarch64symbolrefexpr"
  27
  28 const ARM64MCExpr *ARM64MCExpr::Create(const MCExpr *Expr, VariantKind Kind,
  29                                        MCContext &Ctx) {
  30   return new (Ctx) ARM64MCExpr(Expr, Kind);
  31 }
  32
  33 StringRef ARM64MCExpr::getVariantKindName() const {
  34   switch (static_cast<uint32_t>(getKind())) {
  35   case VK_CALL:                return "";
  36   case VK_LO12:                return ":lo12:";
  37   case VK_ABS_G3:              return ":abs_g3:";
  38   case VK_ABS_G2:              return ":abs_g2:";
  39   case VK_ABS_G2_S:            return ":abs_g2_s:";
  40   case VK_ABS_G2_NC:           return ":abs_g2_nc:";
  41   case VK_ABS_G1:              return ":abs_g1:";
  42   case VK_ABS_G1_S:            return ":abs_g1_s:";
  43   case VK_ABS_G1_NC:           return ":abs_g1_nc:";
  44   case VK_ABS_G0:              return ":abs_g0:";
  45   case VK_ABS_G0_S:            return ":abs_g0_s:";
  46   case VK_ABS_G0_NC:           return ":abs_g0_nc:";
  47   case VK_DTPREL_G2:           return ":dtprel_g2:";
  48   case VK_DTPREL_G1:           return ":dtprel_g1:";
  49   case VK_DTPREL_G1_NC:        return ":dtprel_g1_nc:";
  50   case VK_DTPREL_G0:           return ":dtprel_g0:";
  51   case VK_DTPREL_G0_NC:        return ":dtprel_g0_nc:";
  52   case VK_DTPREL_HI12:         return ":dtprel_hi12:";
  53   case VK_DTPREL_LO12:         return ":dtprel_lo12:";
  54   case VK_DTPREL_LO12_NC:      return ":dtprel_lo12_nc:";
  55   case VK_TPREL_G2:            return ":tprel_g2:";
  56   case VK_TPREL_G1:            return ":tprel_g1:";
  57   case VK_TPREL_G1_NC:         return ":tprel_g1_nc:";
  58   case VK_TPREL_G0:            return ":tprel_g0:";
  59   case VK_TPREL_G0_NC:         return ":tprel_g0_nc:";
  60   case VK_TPREL_HI12:          return ":tprel_hi12:";
  61   case VK_TPREL_LO12:          return ":tprel_lo12:";
  62   case VK_TPREL_LO12_NC:       return ":tprel_lo12_nc:";
  63   case VK_TLSDESC_LO12:        return ":tlsdesc_lo12:";
  64   case VK_ABS_PAGE:            return "";
  65   case VK_GOT_PAGE:            return ":got:";
  66   case VK_GOT_LO12:            return ":got_lo12:";
  67   case VK_GOTTPREL_PAGE:       return ":gottprel:";
  68   case VK_GOTTPREL_LO12_NC:    return ":gottprel_lo12:";
  69   case VK_GOTTPREL_G1:         return ":gottprel_g1:";
  70   case VK_GOTTPREL_G0_NC:      return ":gottprel_g0_nc:";
  71   case VK_TLSDESC:             return "";
  72   case VK_TLSDESC_PAGE:        return ":tlsdesc:";
  73   default:
  74     llvm_unreachable("Invalid ELF symbol kind");
  75   }
  76 }
  77
  78 void ARM64MCExpr::PrintImpl(raw_ostream &OS) const {
  79   if (getKind() != VK_NONE)
  80     OS << getVariantKindName();
  81   OS << *Expr;
  82 }
  83
  84 // FIXME: This basically copies MCObjectStreamer::AddValueSymbols. Perhaps
  85 // that method should be made public?
  86 // FIXME: really do above: now that two backends are using it.
  87 static void AddValueSymbolsImpl(const MCExpr *Value, MCAssembler *Asm) {
  88   switch (Value->getKind()) {
  89   case MCExpr::Target:
  90     llvm_unreachable("Can't handle nested target expr!");
  91     break;
  92
  93   case MCExpr::Constant:
  94     break;
  95
  96   case MCExpr::Binary: {
  97     const MCBinaryExpr *BE = cast<MCBinaryExpr>(Value);
  98     AddValueSymbolsImpl(BE->getLHS(), Asm);
  99     AddValueSymbolsImpl(BE->getRHS(), Asm);
 100     break;
 101   }
 102
 103   case MCExpr::SymbolRef:
 104     Asm->getOrCreateSymbolData(cast<MCSymbolRefExpr>(Value)->getSymbol());
 105     break;
 106
 107   case MCExpr::Unary:
 108     AddValueSymbolsImpl(cast<MCUnaryExpr>(Value)->getSubExpr(), Asm);
 109     break;
 110   }
 111 }
 112
 113 void ARM64MCExpr::AddValueSymbols(MCAssembler *Asm) const {
 114   AddValueSymbolsImpl(getSubExpr(), Asm);
 115 }
 116
 117 const MCSection *ARM64MCExpr::FindAssociatedSection() const {
 118   llvm_unreachable("FIXME: what goes here?");
 119 }
 120
 121 bool ARM64MCExpr::EvaluateAsRelocatableImpl(MCValue &Res,
 122                                             const MCAsmLayout *Layout) const {
 123   if (!getSubExpr()->EvaluateAsRelocatable(Res, Layout))
 124     return false;
 125
 126   Res =
 127       MCValue::get(Res.getSymA(), Res.getSymB(), Res.getConstant(), getKind());
 128
 129   return true;
 130 }
 131
 132 static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
 133   switch (Expr->getKind()) {
 134   case MCExpr::Target:
 135     llvm_unreachable("Can't handle nested target expression");
 136     break;
 137   case MCExpr::Constant:
 138     break;
 139
 140   case MCExpr::Binary: {
 141     const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr);
 142     fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm);
 143     fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm);
 144     break;
 145   }
 146
 147   case MCExpr::SymbolRef: {
 148     // We're known to be under a TLS fixup, so any symbol should be
 149     // modified. There should be only one.
 150     const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
 151     MCSymbolData &SD = Asm.getOrCreateSymbolData(SymRef.getSymbol());
 152     MCELF::SetType(SD, ELF::STT_TLS);
 153     break;
 154   }
 155
 156   case MCExpr::Unary:
 157     fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
 158     break;
 159   }
 160 }
 161
 162 void ARM64MCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
 163   switch (getSymbolLoc(Kind)) {
 164   default:
 165     return;
 166   case VK_DTPREL:
 167   case VK_GOTTPREL:
 168   case VK_TPREL:
 169   case VK_TLSDESC:
 170     break;
 171   }
 172
 173   fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm);
 174 }