Home | History | Annotate | Line # | Download | only in MCTargetDesc 
      1 //===-- VEMCExpr.cpp - VE 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 VE architecture (e.g. "%hi", "%lo", ...).
     11 //
     12 //===----------------------------------------------------------------------===//
     13 
     14 #include "VEMCExpr.h"
     15 #include "llvm/MC/MCAssembler.h"
     16 #include "llvm/MC/MCContext.h"
     17 #include "llvm/MC/MCObjectStreamer.h"
     18 #include "llvm/MC/MCSymbolELF.h"
     19 #include "llvm/BinaryFormat/ELF.h"
     20 
     21 using namespace llvm;
     22 
     23 #define DEBUG_TYPE "vemcexpr"
     24 
     25 const VEMCExpr *VEMCExpr::create(VariantKind Kind, const MCExpr *Expr,
     26                                  MCContext &Ctx) {
     27   return new (Ctx) VEMCExpr(Kind, Expr);
     28 }
     29 
     30 void VEMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
     31 
     32   bool closeParen = printVariantKind(OS, Kind);
     33 
     34   const MCExpr *Expr = getSubExpr();
     35   Expr->print(OS, MAI);
     36 
     37   if (closeParen)
     38     OS << ')';
     39   printVariantKindSuffix(OS, Kind);
     40 }
     41 
     42 bool VEMCExpr::printVariantKind(raw_ostream &OS, VariantKind Kind) {
     43   switch (Kind) {
     44   case VK_VE_None:
     45   case VK_VE_REFLONG:
     46     return false;
     47 
     48   case VK_VE_HI32:
     49   case VK_VE_LO32:
     50   case VK_VE_PC_HI32:
     51   case VK_VE_PC_LO32:
     52   case VK_VE_GOT_HI32:
     53   case VK_VE_GOT_LO32:
     54   case VK_VE_GOTOFF_HI32:
     55   case VK_VE_GOTOFF_LO32:
     56   case VK_VE_PLT_HI32:
     57   case VK_VE_PLT_LO32:
     58   case VK_VE_TLS_GD_HI32:
     59   case VK_VE_TLS_GD_LO32:
     60   case VK_VE_TPOFF_HI32:
     61   case VK_VE_TPOFF_LO32:
     62     // Use suffix for these variant kinds
     63     return false;
     64   }
     65   return true;
     66 }
     67 
     68 void VEMCExpr::printVariantKindSuffix(raw_ostream &OS, VariantKind Kind) {
     69   switch (Kind) {
     70   case VK_VE_None:
     71   case VK_VE_REFLONG:
     72     break;
     73   case VK_VE_HI32:
     74     OS << "@hi";
     75     break;
     76   case VK_VE_LO32:
     77     OS << "@lo";
     78     break;
     79   case VK_VE_PC_HI32:
     80     OS << "@pc_hi";
     81     break;
     82   case VK_VE_PC_LO32:
     83     OS << "@pc_lo";
     84     break;
     85   case VK_VE_GOT_HI32:
     86     OS << "@got_hi";
     87     break;
     88   case VK_VE_GOT_LO32:
     89     OS << "@got_lo";
     90     break;
     91   case VK_VE_GOTOFF_HI32:
     92     OS << "@gotoff_hi";
     93     break;
     94   case VK_VE_GOTOFF_LO32:
     95     OS << "@gotoff_lo";
     96     break;
     97   case VK_VE_PLT_HI32:
     98     OS << "@plt_hi";
     99     break;
    100   case VK_VE_PLT_LO32:
    101     OS << "@plt_lo";
    102     break;
    103   case VK_VE_TLS_GD_HI32:
    104     OS << "@tls_gd_hi";
    105     break;
    106   case VK_VE_TLS_GD_LO32:
    107     OS << "@tls_gd_lo";
    108     break;
    109   case VK_VE_TPOFF_HI32:
    110     OS << "@tpoff_hi";
    111     break;
    112   case VK_VE_TPOFF_LO32:
    113     OS << "@tpoff_lo";
    114     break;
    115   }
    116 }
    117 
    118 VEMCExpr::VariantKind VEMCExpr::parseVariantKind(StringRef name) {
    119   return StringSwitch<VEMCExpr::VariantKind>(name)
    120       .Case("hi", VK_VE_HI32)
    121       .Case("lo", VK_VE_LO32)
    122       .Case("pc_hi", VK_VE_PC_HI32)
    123       .Case("pc_lo", VK_VE_PC_LO32)
    124       .Case("got_hi", VK_VE_GOT_HI32)
    125       .Case("got_lo", VK_VE_GOT_LO32)
    126       .Case("gotoff_hi", VK_VE_GOTOFF_HI32)
    127       .Case("gotoff_lo", VK_VE_GOTOFF_LO32)
    128       .Case("plt_hi", VK_VE_PLT_HI32)
    129       .Case("plt_lo", VK_VE_PLT_LO32)
    130       .Case("tls_gd_hi", VK_VE_TLS_GD_HI32)
    131       .Case("tls_gd_lo", VK_VE_TLS_GD_LO32)
    132       .Case("tpoff_hi", VK_VE_TPOFF_HI32)
    133       .Case("tpoff_lo", VK_VE_TPOFF_LO32)
    134       .Default(VK_VE_None);
    135 }
    136 
    137 VE::Fixups VEMCExpr::getFixupKind(VEMCExpr::VariantKind Kind) {
    138   switch (Kind) {
    139   default:
    140     llvm_unreachable("Unhandled VEMCExpr::VariantKind");
    141   case VK_VE_REFLONG:
    142     return VE::fixup_ve_reflong;
    143   case VK_VE_HI32:
    144     return VE::fixup_ve_hi32;
    145   case VK_VE_LO32:
    146     return VE::fixup_ve_lo32;
    147   case VK_VE_PC_HI32:
    148     return VE::fixup_ve_pc_hi32;
    149   case VK_VE_PC_LO32:
    150     return VE::fixup_ve_pc_lo32;
    151   case VK_VE_GOT_HI32:
    152     return VE::fixup_ve_got_hi32;
    153   case VK_VE_GOT_LO32:
    154     return VE::fixup_ve_got_lo32;
    155   case VK_VE_GOTOFF_HI32:
    156     return VE::fixup_ve_gotoff_hi32;
    157   case VK_VE_GOTOFF_LO32:
    158     return VE::fixup_ve_gotoff_lo32;
    159   case VK_VE_PLT_HI32:
    160     return VE::fixup_ve_plt_hi32;
    161   case VK_VE_PLT_LO32:
    162     return VE::fixup_ve_plt_lo32;
    163   case VK_VE_TLS_GD_HI32:
    164     return VE::fixup_ve_tls_gd_hi32;
    165   case VK_VE_TLS_GD_LO32:
    166     return VE::fixup_ve_tls_gd_lo32;
    167   case VK_VE_TPOFF_HI32:
    168     return VE::fixup_ve_tpoff_hi32;
    169   case VK_VE_TPOFF_LO32:
    170     return VE::fixup_ve_tpoff_lo32;
    171   }
    172 }
    173 
    174 bool VEMCExpr::evaluateAsRelocatableImpl(MCValue &Res,
    175                                          const MCAsmLayout *Layout,
    176                                          const MCFixup *Fixup) const {
    177   return getSubExpr()->evaluateAsRelocatable(Res, Layout, Fixup);
    178 }
    179 
    180 static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
    181   switch (Expr->getKind()) {
    182   case MCExpr::Target:
    183     llvm_unreachable("Can't handle nested target expr!");
    184     break;
    185 
    186   case MCExpr::Constant:
    187     break;
    188 
    189   case MCExpr::Binary: {
    190     const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr);
    191     fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm);
    192     fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm);
    193     break;
    194   }
    195 
    196   case MCExpr::SymbolRef: {
    197     // We're known to be under a TLS fixup, so any symbol should be
    198     // modified. There should be only one.
    199     const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
    200     cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS);
    201     break;
    202   }
    203 
    204   case MCExpr::Unary:
    205     fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
    206     break;
    207   }
    208 }
    209 
    210 void VEMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
    211   Streamer.visitUsedExpr(*getSubExpr());
    212 }
    213 
    214 void VEMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
    215   switch (getKind()) {
    216   default:
    217     return;
    218   case VK_VE_TLS_GD_HI32:
    219   case VK_VE_TLS_GD_LO32:
    220   case VK_VE_TPOFF_HI32:
    221   case VK_VE_TPOFF_LO32:
    222     break;
    223   }
    224   fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm);
    225 }
    226