LLVM 17.0.0git
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"
16#include "llvm/MC/MCAssembler.h"
17#include "llvm/MC/MCContext.h"
19#include "llvm/MC/MCSymbolELF.h"
21
22using namespace llvm;
23
24#define DEBUG_TYPE "sparcmcexpr"
25
26const SparcMCExpr*
28 MCContext &Ctx) {
29 return new (Ctx) SparcMCExpr(Kind, Expr);
30}
31
32void SparcMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
33
34 bool closeParen = printVariantKind(OS, Kind);
35
36 const MCExpr *Expr = getSubExpr();
37 Expr->print(OS, MAI);
38
39 if (closeParen)
40 OS << ')';
41}
42
44{
45 switch (Kind) {
46 case VK_Sparc_None: return false;
47 case VK_Sparc_LO: OS << "%lo("; return true;
48 case VK_Sparc_HI: OS << "%hi("; return true;
49 case VK_Sparc_H44: OS << "%h44("; return true;
50 case VK_Sparc_M44: OS << "%m44("; return true;
51 case VK_Sparc_L44: OS << "%l44("; return true;
52 case VK_Sparc_HH: OS << "%hh("; return true;
53 case VK_Sparc_HM: OS << "%hm("; return true;
54 case VK_Sparc_LM: OS << "%lm("; return true;
55 // FIXME: use %pc22/%pc10, if system assembler supports them.
56 case VK_Sparc_PC22: OS << "%hi("; return true;
57 case VK_Sparc_PC10: OS << "%lo("; return true;
58 // FIXME: use %got22/%got10, if system assembler supports them.
59 case VK_Sparc_GOT22: OS << "%hi("; return true;
60 case VK_Sparc_GOT10: OS << "%lo("; return true;
61 case VK_Sparc_GOT13: return false;
62 case VK_Sparc_13: return false;
63 case VK_Sparc_WDISP30: return false;
64 case VK_Sparc_WPLT30: return false;
65 case VK_Sparc_R_DISP32: OS << "%r_disp32("; return true;
66 case VK_Sparc_TLS_GD_HI22: OS << "%tgd_hi22("; return true;
67 case VK_Sparc_TLS_GD_LO10: OS << "%tgd_lo10("; return true;
68 case VK_Sparc_TLS_GD_ADD: OS << "%tgd_add("; return true;
69 case VK_Sparc_TLS_GD_CALL: OS << "%tgd_call("; return true;
70 case VK_Sparc_TLS_LDM_HI22: OS << "%tldm_hi22("; return true;
71 case VK_Sparc_TLS_LDM_LO10: OS << "%tldm_lo10("; return true;
72 case VK_Sparc_TLS_LDM_ADD: OS << "%tldm_add("; return true;
73 case VK_Sparc_TLS_LDM_CALL: OS << "%tldm_call("; return true;
74 case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; return true;
75 case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; return true;
76 case VK_Sparc_TLS_LDO_ADD: OS << "%tldo_add("; return true;
77 case VK_Sparc_TLS_IE_HI22: OS << "%tie_hi22("; return true;
78 case VK_Sparc_TLS_IE_LO10: OS << "%tie_lo10("; return true;
79 case VK_Sparc_TLS_IE_LD: OS << "%tie_ld("; return true;
80 case VK_Sparc_TLS_IE_LDX: OS << "%tie_ldx("; return true;
81 case VK_Sparc_TLS_IE_ADD: OS << "%tie_add("; return true;
82 case VK_Sparc_TLS_LE_HIX22: OS << "%tle_hix22("; return true;
83 case VK_Sparc_TLS_LE_LOX10: OS << "%tle_lox10("; return true;
84 case VK_Sparc_HIX22: OS << "%hix("; return true;
85 case VK_Sparc_LOX10: OS << "%lox("; return true;
86 case VK_Sparc_GOTDATA_HIX22: OS << "%gdop_hix22("; return true;
87 case VK_Sparc_GOTDATA_LOX10: OS << "%gdop_lox10("; return true;
88 case VK_Sparc_GOTDATA_OP: OS << "%gdop("; return true;
89 }
90 llvm_unreachable("Unhandled SparcMCExpr::VariantKind");
91}
92
94{
96 .Case("lo", VK_Sparc_LO)
97 .Case("hi", VK_Sparc_HI)
98 .Case("h44", VK_Sparc_H44)
99 .Case("m44", VK_Sparc_M44)
100 .Case("l44", VK_Sparc_L44)
101 .Case("hh", VK_Sparc_HH)
102 .Case("hm", VK_Sparc_HM)
103 .Case("lm", VK_Sparc_LM)
104 .Case("pc22", VK_Sparc_PC22)
105 .Case("pc10", VK_Sparc_PC10)
106 .Case("got22", VK_Sparc_GOT22)
107 .Case("got10", VK_Sparc_GOT10)
108 .Case("got13", VK_Sparc_GOT13)
109 .Case("r_disp32", VK_Sparc_R_DISP32)
110 .Case("tgd_hi22", VK_Sparc_TLS_GD_HI22)
111 .Case("tgd_lo10", VK_Sparc_TLS_GD_LO10)
112 .Case("tgd_add", VK_Sparc_TLS_GD_ADD)
113 .Case("tgd_call", VK_Sparc_TLS_GD_CALL)
114 .Case("tldm_hi22", VK_Sparc_TLS_LDM_HI22)
115 .Case("tldm_lo10", VK_Sparc_TLS_LDM_LO10)
116 .Case("tldm_add", VK_Sparc_TLS_LDM_ADD)
117 .Case("tldm_call", VK_Sparc_TLS_LDM_CALL)
118 .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22)
119 .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10)
120 .Case("tldo_add", VK_Sparc_TLS_LDO_ADD)
121 .Case("tie_hi22", VK_Sparc_TLS_IE_HI22)
122 .Case("tie_lo10", VK_Sparc_TLS_IE_LO10)
123 .Case("tie_ld", VK_Sparc_TLS_IE_LD)
124 .Case("tie_ldx", VK_Sparc_TLS_IE_LDX)
125 .Case("tie_add", VK_Sparc_TLS_IE_ADD)
126 .Case("tle_hix22", VK_Sparc_TLS_LE_HIX22)
127 .Case("tle_lox10", VK_Sparc_TLS_LE_LOX10)
128 .Case("hix", VK_Sparc_HIX22)
129 .Case("lox", VK_Sparc_LOX10)
130 .Case("gdop_hix22", VK_Sparc_GOTDATA_HIX22)
131 .Case("gdop_lox10", VK_Sparc_GOTDATA_LOX10)
132 .Case("gdop", VK_Sparc_GOTDATA_OP)
134}
135
137 switch (Kind) {
138 default: llvm_unreachable("Unhandled SparcMCExpr::VariantKind");
178 }
179}
180
181bool
183 const MCAsmLayout *Layout,
184 const MCFixup *Fixup) const {
185 return getSubExpr()->evaluateAsRelocatable(Res, Layout, Fixup);
186}
187
188static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
189 switch (Expr->getKind()) {
190 case MCExpr::Target:
191 llvm_unreachable("Can't handle nested target expr!");
192 break;
193
194 case MCExpr::Constant:
195 break;
196
197 case MCExpr::Binary: {
198 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr);
201 break;
202 }
203
204 case MCExpr::SymbolRef: {
205 const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
206 cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS);
207 break;
208 }
209
210 case MCExpr::Unary:
211 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
212 break;
213 }
214
215}
216
218 switch(getKind()) {
219 default: return;
222 // The corresponding relocations reference __tls_get_addr, as they call it,
223 // but this is only implicit; we must explicitly add it to our symbol table
224 // to bind it for these uses.
225 MCSymbol *Symbol = Asm.getContext().getOrCreateSymbol("__tls_get_addr");
226 Asm.registerSymbol(*Symbol);
227 auto ELFSymbol = cast<MCSymbolELF>(Symbol);
228 if (!ELFSymbol->isBindingSet())
229 ELFSymbol->setBinding(ELF::STB_GLOBAL);
230 [[fallthrough]];
231 }
247 case VK_Sparc_TLS_LE_LOX10: break;
248 }
250}
251
253 Streamer.visitUsedExpr(*getSubExpr());
254}
static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm)
PowerPC TLS Dynamic Call Fixup
static const char * name
Definition: SMEABIPass.cpp:49
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:28
Binary assembler expressions.
Definition: MCExpr.h:481
const MCExpr * getLHS() const
Get the left-hand side expression of the binary operator.
Definition: MCExpr.h:628
const MCExpr * getRHS() const
Get the right-hand side expression of the binary operator.
Definition: MCExpr.h:631
Context object for machine code objects.
Definition: MCContext.h:76
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:35
@ Unary
Unary expressions.
Definition: MCExpr.h:41
@ Constant
Constant expressions.
Definition: MCExpr.h:39
@ SymbolRef
References to labels and assigned expressions.
Definition: MCExpr.h:40
@ Target
Target specific expression.
Definition: MCExpr.h:42
@ Binary
Binary expressions.
Definition: MCExpr.h:38
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:749
void print(raw_ostream &OS, const MCAsmInfo *MAI, bool InParens=false) const
Definition: MCExpr.cpp:41
ExprKind getKind() const
Definition: MCExpr.h:81
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:71
Streaming machine code generation interface.
Definition: MCStreamer.h:212
void visitUsedExpr(const MCExpr &Expr)
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:192
const MCSymbol & getSymbol() const
Definition: MCExpr.h:399
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
This represents an "assembler immediate".
Definition: MCValue.h:36
const MCExpr * getSubExpr() const
getSubExpr - Get the child of this expression.
Definition: SparcMCExpr.h:90
static const SparcMCExpr * create(VariantKind Kind, const MCExpr *Expr, MCContext &Ctx)
Definition: SparcMCExpr.cpp:27
Sparc::Fixups getFixupKind() const
getFixupKind - Get the fixup kind of this expression.
Definition: SparcMCExpr.h:93
void visitUsedExpr(MCStreamer &Streamer) const override
static VariantKind parseVariantKind(StringRef name)
Definition: SparcMCExpr.cpp:93
bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, const MCFixup *Fixup) const override
static bool printVariantKind(raw_ostream &OS, VariantKind Kind)
Definition: SparcMCExpr.cpp:43
void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override
VariantKind getKind() const
getOpcode - Get the kind of this expression.
Definition: SparcMCExpr.h:87
void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override
Definition: SparcMCExpr.cpp:32
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
A switch()-like statement whose cases are string literals.
Definition: StringSwitch.h:44
StringSwitch & Case(StringLiteral S, T Value)
Definition: StringSwitch.h:69
R Default(T Value)
Definition: StringSwitch.h:182
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ STB_GLOBAL
Definition: ELF.h:1237
@ STT_TLS
Definition: ELF.h:1254
@ fixup_sparc_lo10
fixup_sparc_lo10 - 10-bit fixup corresponding to lo(foo)
@ fixup_sparc_lm
fixup_sparc_lm - 22-bit fixup corresponding to lm(foo)
@ fixup_sparc_lox10
13-bit fixup corresponding to lox(foo)
@ fixup_sparc_hi22
fixup_sparc_hi22 - 22-bit fixup corresponding to hi(foo) for sethi
@ fixup_sparc_tls_ldo_lox10
@ fixup_sparc_tls_le_hix22
@ fixup_sparc_m44
fixup_sparc_m44 - 10-bit fixup corresponding to m44(foo)
@ fixup_sparc_gotdata_hix22
22-bit fixup corresponding to gdop_hix22(foo)
@ fixup_sparc_hh
fixup_sparc_hh - 22-bit fixup corresponding to hh(foo)
@ fixup_sparc_got10
fixup_sparc_got10 - 10-bit fixup corresponding to got10(foo)
@ fixup_sparc_tls_le_lox10
@ fixup_sparc_got13
fixup_sparc_got13 - 13-bit fixup corresponding to got13(foo)
@ fixup_sparc_tls_ldo_hix22
@ fixup_sparc_gotdata_op
32-bit fixup corresponding to gdop(foo)
@ fixup_sparc_tls_gd_hi22
fixups for Thread Local Storage
@ fixup_sparc_13
fixup_sparc_13 - 13-bit fixup
@ fixup_sparc_hix22
22-bit fixup corresponding to hix(foo)
@ fixup_sparc_got22
fixup_sparc_got22 - 22-bit fixup corresponding to got22(foo)
@ fixup_sparc_h44
fixup_sparc_h44 - 22-bit fixup corresponding to h44(foo)
@ fixup_sparc_tls_ldm_lo10
@ fixup_sparc_tls_ldm_call
@ fixup_sparc_pc22
fixup_sparc_pc22 - 22-bit fixup corresponding to pc22(foo)
@ fixup_sparc_tls_ldm_hi22
@ fixup_sparc_l44
fixup_sparc_l44 - 12-bit fixup corresponding to l44(foo)
@ fixup_sparc_gotdata_lox10
13-bit fixup corresponding to gdop_lox10(foo)
@ fixup_sparc_pc10
fixup_sparc_pc10 - 10-bit fixup corresponding to pc10(foo)
@ fixup_sparc_hm
fixup_sparc_hm - 10-bit fixup corresponding to hm(foo)
@ fixup_sparc_wplt30
fixup_sparc_wplt30
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18