LLVM  10.0.0svn
SparcMCExpr.cpp
Go to the documentation of this file.
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"
19 #include "llvm/MC/MCSymbolELF.h"
20 
21 using namespace llvm;
22 
23 #define DEBUG_TYPE "sparcmcexpr"
24 
25 const SparcMCExpr*
27  MCContext &Ctx) {
28  return new (Ctx) SparcMCExpr(Kind, Expr);
29 }
30 
31 void SparcMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
32 
33  bool closeParen = printVariantKind(OS, Kind);
34 
35  const MCExpr *Expr = getSubExpr();
36  Expr->print(OS, MAI);
37 
38  if (closeParen)
39  OS << ')';
40 }
41 
43 {
44  bool closeParen = true;
45  switch (Kind) {
46  case VK_Sparc_None: closeParen = false; break;
47  case VK_Sparc_LO: OS << "%lo("; break;
48  case VK_Sparc_HI: OS << "%hi("; break;
49  case VK_Sparc_H44: OS << "%h44("; break;
50  case VK_Sparc_M44: OS << "%m44("; break;
51  case VK_Sparc_L44: OS << "%l44("; break;
52  case VK_Sparc_HH: OS << "%hh("; break;
53  case VK_Sparc_HM: OS << "%hm("; break;
54  // FIXME: use %pc22/%pc10, if system assembler supports them.
55  case VK_Sparc_PC22: OS << "%hi("; break;
56  case VK_Sparc_PC10: OS << "%lo("; break;
57  // FIXME: use %got22/%got10, if system assembler supports them.
58  case VK_Sparc_GOT22: OS << "%hi("; break;
59  case VK_Sparc_GOT10: OS << "%lo("; break;
60  case VK_Sparc_GOT13: closeParen = false; break;
61  case VK_Sparc_13: closeParen = false; break;
62  case VK_Sparc_WPLT30: closeParen = false; break;
63  case VK_Sparc_R_DISP32: OS << "%r_disp32("; break;
64  case VK_Sparc_TLS_GD_HI22: OS << "%tgd_hi22("; break;
65  case VK_Sparc_TLS_GD_LO10: OS << "%tgd_lo10("; break;
66  case VK_Sparc_TLS_GD_ADD: OS << "%tgd_add("; break;
67  case VK_Sparc_TLS_GD_CALL: OS << "%tgd_call("; break;
68  case VK_Sparc_TLS_LDM_HI22: OS << "%tldm_hi22("; break;
69  case VK_Sparc_TLS_LDM_LO10: OS << "%tldm_lo10("; break;
70  case VK_Sparc_TLS_LDM_ADD: OS << "%tldm_add("; break;
71  case VK_Sparc_TLS_LDM_CALL: OS << "%tldm_call("; break;
72  case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; break;
73  case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; break;
74  case VK_Sparc_TLS_LDO_ADD: OS << "%tldo_add("; break;
75  case VK_Sparc_TLS_IE_HI22: OS << "%tie_hi22("; break;
76  case VK_Sparc_TLS_IE_LO10: OS << "%tie_lo10("; break;
77  case VK_Sparc_TLS_IE_LD: OS << "%tie_ld("; break;
78  case VK_Sparc_TLS_IE_LDX: OS << "%tie_ldx("; break;
79  case VK_Sparc_TLS_IE_ADD: OS << "%tie_add("; break;
80  case VK_Sparc_TLS_LE_HIX22: OS << "%tle_hix22("; break;
81  case VK_Sparc_TLS_LE_LOX10: OS << "%tle_lox10("; break;
82  }
83  return closeParen;
84 }
85 
87 {
89  .Case("lo", VK_Sparc_LO)
90  .Case("hi", VK_Sparc_HI)
91  .Case("h44", VK_Sparc_H44)
92  .Case("m44", VK_Sparc_M44)
93  .Case("l44", VK_Sparc_L44)
94  .Case("hh", VK_Sparc_HH)
95  .Case("hm", VK_Sparc_HM)
96  .Case("pc22", VK_Sparc_PC22)
97  .Case("pc10", VK_Sparc_PC10)
98  .Case("got22", VK_Sparc_GOT22)
99  .Case("got10", VK_Sparc_GOT10)
100  .Case("got13", VK_Sparc_GOT13)
101  .Case("r_disp32", VK_Sparc_R_DISP32)
102  .Case("tgd_hi22", VK_Sparc_TLS_GD_HI22)
103  .Case("tgd_lo10", VK_Sparc_TLS_GD_LO10)
104  .Case("tgd_add", VK_Sparc_TLS_GD_ADD)
105  .Case("tgd_call", VK_Sparc_TLS_GD_CALL)
106  .Case("tldm_hi22", VK_Sparc_TLS_LDM_HI22)
107  .Case("tldm_lo10", VK_Sparc_TLS_LDM_LO10)
108  .Case("tldm_add", VK_Sparc_TLS_LDM_ADD)
109  .Case("tldm_call", VK_Sparc_TLS_LDM_CALL)
110  .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22)
111  .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10)
112  .Case("tldo_add", VK_Sparc_TLS_LDO_ADD)
113  .Case("tie_hi22", VK_Sparc_TLS_IE_HI22)
114  .Case("tie_lo10", VK_Sparc_TLS_IE_LO10)
115  .Case("tie_ld", VK_Sparc_TLS_IE_LD)
116  .Case("tie_ldx", VK_Sparc_TLS_IE_LDX)
117  .Case("tie_add", VK_Sparc_TLS_IE_ADD)
118  .Case("tle_hix22", VK_Sparc_TLS_LE_HIX22)
119  .Case("tle_lox10", VK_Sparc_TLS_LE_LOX10)
121 }
122 
124  switch (Kind) {
125  default: llvm_unreachable("Unhandled SparcMCExpr::VariantKind");
131  case VK_Sparc_HH: return Sparc::fixup_sparc_hh;
132  case VK_Sparc_HM: return Sparc::fixup_sparc_hm;
138  case VK_Sparc_13: return Sparc::fixup_sparc_13;
158  }
159 }
160 
161 bool
163  const MCAsmLayout *Layout,
164  const MCFixup *Fixup) const {
165  return getSubExpr()->evaluateAsRelocatable(Res, Layout, Fixup);
166 }
167 
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);
181  break;
182  }
183 
184  case MCExpr::SymbolRef: {
185  const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
186  cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS);
187  break;
188  }
189 
190  case MCExpr::Unary:
191  fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
192  break;
193  }
194 
195 }
196 
198  switch(getKind()) {
199  default: return;
201  case VK_Sparc_TLS_LDM_CALL: {
202  // The corresponding relocations reference __tls_get_addr, as they call it,
203  // but this is only implicit; we must explicitly add it to our symbol table
204  // to bind it for these uses.
205  MCSymbol *Symbol = Asm.getContext().getOrCreateSymbol("__tls_get_addr");
206  Asm.registerSymbol(*Symbol);
207  auto ELFSymbol = cast<MCSymbolELF>(Symbol);
208  if (!ELFSymbol->isBindingSet()) {
209  ELFSymbol->setBinding(ELF::STB_GLOBAL);
210  ELFSymbol->setExternal(true);
211  }
213  }
216  case VK_Sparc_TLS_GD_ADD:
225  case VK_Sparc_TLS_IE_LD:
226  case VK_Sparc_TLS_IE_LDX:
227  case VK_Sparc_TLS_IE_ADD:
229  case VK_Sparc_TLS_LE_LOX10: break;
230  }
232 }
233 
234 void SparcMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
235  Streamer.visitUsedExpr(*getSubExpr());
236 }
fixup_sparc_got22 - 22-bit fixup corresponding to got22(foo)
fixup_sparc_13 - 13-bit fixup
static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm)
This class represents lattice values for constants.
Definition: AllocatorList.h:23
This represents an "assembler immediate".
Definition: MCValue.h:39
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
static bool printVariantKind(raw_ostream &OS, VariantKind Kind)
Definition: SparcMCExpr.cpp:42
const MCExpr * getLHS() const
Get the left-hand side expression of the binary operator.
Definition: MCExpr.h:572
void registerSymbol(const MCSymbol &Symbol, bool *Created=nullptr)
fixup_sparc_m44 - 10-bit fixup corresponding to m44(foo)
StringSwitch & Case(StringLiteral S, T Value)
Definition: StringSwitch.h:67
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:77
MCContext & getContext() const
Definition: MCAssembler.h:284
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:28
fixup_sparc_got10 - 10-bit fixup corresponding to got10(foo)
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:35
LLVM_NODISCARD R Default(T Value)
Definition: StringSwitch.h:181
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:173
Context object for machine code objects.
Definition: MCContext.h:64
bool evaluateAsRelocatable(MCValue &Res, const MCAsmLayout *Layout, const MCFixup *Fixup) const
Try to evaluate the expression to a relocatable value, i.e.
Definition: MCExpr.cpp:672
const MCExpr * getRHS() const
Get the right-hand side expression of the binary operator.
Definition: MCExpr.h:575
fixup_sparc_hm - 10-bit fixup corresponding to hm(foo)
Sparc::Fixups getFixupKind() const
getFixupKind - Get the fixup kind of this expression.
Definition: SparcMCExpr.h:86
Unary expressions.
Definition: MCExpr.h:41
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
A switch()-like statement whose cases are string literals.
Definition: StringSwitch.h:42
Streaming machine code generation interface.
Definition: MCStreamer.h:188
void print(raw_ostream &OS, const MCAsmInfo *MAI, bool InParens=false) const
Definition: MCExpr.cpp:42
void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override
fixup_sparc_hh - 22-bit fixup corresponding to hh(foo)
static VariantKind parseVariantKind(StringRef name)
Definition: SparcMCExpr.cpp:86
fixup_sparc_l44 - 12-bit fixup corresponding to l44(foo)
const MCExpr * getSubExpr() const
getSubExpr - Get the child of this expression.
Definition: SparcMCExpr.h:83
Binary assembler expressions.
Definition: MCExpr.h:425
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
fixup_sparc_lo10 - 10-bit fixup corresponding to lo(foo)
fixup_sparc_got13 - 13-bit fixup corresponding to got13(foo)
void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override
Definition: SparcMCExpr.cpp:31
const MCSymbol & getSymbol() const
Definition: MCExpr.h:344
ExprKind getKind() const
Definition: MCExpr.h:72
void visitUsedExpr(const MCExpr &Expr)
Definition: MCStreamer.cpp:934
fixup_sparc_pc22 - 22-bit fixup corresponding to pc22(foo)
bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, const MCFixup *Fixup) const override
MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
Definition: MCContext.cpp:127
References to labels and assigned expressions.
Definition: MCExpr.h:40
void visitUsedExpr(MCStreamer &Streamer) const override
static const SparcMCExpr * create(VariantKind Kind, const MCExpr *Expr, MCContext &Ctx)
Definition: SparcMCExpr.cpp:26
VariantKind getKind() const
getOpcode - Get the kind of this expression.
Definition: SparcMCExpr.h:80
static const char * name
Constant expressions.
Definition: MCExpr.h:39
#define LLVM_FALLTHROUGH
LLVM_FALLTHROUGH - Mark fallthrough cases in switch statements.
Definition: Compiler.h:250
Binary expressions.
Definition: MCExpr.h:38
This class implements an extremely fast bulk output stream that can only output to a stream...
Definition: raw_ostream.h:45
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:48
Target specific expression.
Definition: MCExpr.h:42
fixups for Thread Local Storage
fixup_sparc_hi22 - 22-bit fixup corresponding to hi(foo) for sethi
fixup_sparc_h44 - 22-bit fixup corresponding to h44(foo)
fixup_sparc_pc10 - 10-bit fixup corresponding to pc10(foo)