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"
18 #include "llvm/MC/MCObjectStreamer.h"
19 #include "llvm/MC/MCSymbolELF.h"
20
21 using namespace llvm;
22
23 #define DEBUG_TYPE "sparcmcexpr"
24
25 const SparcMCExpr*
create(VariantKind Kind,const MCExpr * Expr,MCContext & Ctx)26 SparcMCExpr::create(VariantKind Kind, const MCExpr *Expr,
27 MCContext &Ctx) {
28 return new (Ctx) SparcMCExpr(Kind, Expr);
29 }
30
printImpl(raw_ostream & OS,const MCAsmInfo * MAI) const31 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
printVariantKind(raw_ostream & OS,VariantKind Kind)42 bool SparcMCExpr::printVariantKind(raw_ostream &OS, VariantKind Kind)
43 {
44 switch (Kind) {
45 case VK_Sparc_None: return false;
46 case VK_Sparc_LO: OS << "%lo("; return true;
47 case VK_Sparc_HI: OS << "%hi("; return true;
48 case VK_Sparc_H44: OS << "%h44("; return true;
49 case VK_Sparc_M44: OS << "%m44("; return true;
50 case VK_Sparc_L44: OS << "%l44("; return true;
51 case VK_Sparc_HH: OS << "%hh("; return true;
52 case VK_Sparc_HM: OS << "%hm("; return true;
53 case VK_Sparc_LM: OS << "%lm("; return true;
54 // FIXME: use %pc22/%pc10, if system assembler supports them.
55 case VK_Sparc_PC22: OS << "%hi("; return true;
56 case VK_Sparc_PC10: OS << "%lo("; return true;
57 // FIXME: use %got22/%got10, if system assembler supports them.
58 case VK_Sparc_GOT22: OS << "%hi("; return true;
59 case VK_Sparc_GOT10: OS << "%lo("; return true;
60 case VK_Sparc_GOT13: return false;
61 case VK_Sparc_13: return false;
62 case VK_Sparc_WDISP30: return false;
63 case VK_Sparc_WPLT30: return false;
64 case VK_Sparc_R_DISP32: OS << "%r_disp32("; return true;
65 case VK_Sparc_TLS_GD_HI22: OS << "%tgd_hi22("; return true;
66 case VK_Sparc_TLS_GD_LO10: OS << "%tgd_lo10("; return true;
67 case VK_Sparc_TLS_GD_ADD: OS << "%tgd_add("; return true;
68 case VK_Sparc_TLS_GD_CALL: OS << "%tgd_call("; return true;
69 case VK_Sparc_TLS_LDM_HI22: OS << "%tldm_hi22("; return true;
70 case VK_Sparc_TLS_LDM_LO10: OS << "%tldm_lo10("; return true;
71 case VK_Sparc_TLS_LDM_ADD: OS << "%tldm_add("; return true;
72 case VK_Sparc_TLS_LDM_CALL: OS << "%tldm_call("; return true;
73 case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; return true;
74 case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; return true;
75 case VK_Sparc_TLS_LDO_ADD: OS << "%tldo_add("; return true;
76 case VK_Sparc_TLS_IE_HI22: OS << "%tie_hi22("; return true;
77 case VK_Sparc_TLS_IE_LO10: OS << "%tie_lo10("; return true;
78 case VK_Sparc_TLS_IE_LD: OS << "%tie_ld("; return true;
79 case VK_Sparc_TLS_IE_LDX: OS << "%tie_ldx("; return true;
80 case VK_Sparc_TLS_IE_ADD: OS << "%tie_add("; return true;
81 case VK_Sparc_TLS_LE_HIX22: OS << "%tle_hix22("; return true;
82 case VK_Sparc_TLS_LE_LOX10: OS << "%tle_lox10("; return true;
83 }
84 llvm_unreachable("Unhandled SparcMCExpr::VariantKind");
85 }
86
parseVariantKind(StringRef name)87 SparcMCExpr::VariantKind SparcMCExpr::parseVariantKind(StringRef name)
88 {
89 return StringSwitch<SparcMCExpr::VariantKind>(name)
90 .Case("lo", VK_Sparc_LO)
91 .Case("hi", VK_Sparc_HI)
92 .Case("h44", VK_Sparc_H44)
93 .Case("m44", VK_Sparc_M44)
94 .Case("l44", VK_Sparc_L44)
95 .Case("hh", VK_Sparc_HH)
96 .Case("hm", VK_Sparc_HM)
97 .Case("lm", VK_Sparc_LM)
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("got13", VK_Sparc_GOT13)
103 .Case("r_disp32", VK_Sparc_R_DISP32)
104 .Case("tgd_hi22", VK_Sparc_TLS_GD_HI22)
105 .Case("tgd_lo10", VK_Sparc_TLS_GD_LO10)
106 .Case("tgd_add", VK_Sparc_TLS_GD_ADD)
107 .Case("tgd_call", VK_Sparc_TLS_GD_CALL)
108 .Case("tldm_hi22", VK_Sparc_TLS_LDM_HI22)
109 .Case("tldm_lo10", VK_Sparc_TLS_LDM_LO10)
110 .Case("tldm_add", VK_Sparc_TLS_LDM_ADD)
111 .Case("tldm_call", VK_Sparc_TLS_LDM_CALL)
112 .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22)
113 .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10)
114 .Case("tldo_add", VK_Sparc_TLS_LDO_ADD)
115 .Case("tie_hi22", VK_Sparc_TLS_IE_HI22)
116 .Case("tie_lo10", VK_Sparc_TLS_IE_LO10)
117 .Case("tie_ld", VK_Sparc_TLS_IE_LD)
118 .Case("tie_ldx", VK_Sparc_TLS_IE_LDX)
119 .Case("tie_add", VK_Sparc_TLS_IE_ADD)
120 .Case("tle_hix22", VK_Sparc_TLS_LE_HIX22)
121 .Case("tle_lox10", VK_Sparc_TLS_LE_LOX10)
122 .Default(VK_Sparc_None);
123 }
124
getFixupKind(SparcMCExpr::VariantKind Kind)125 Sparc::Fixups SparcMCExpr::getFixupKind(SparcMCExpr::VariantKind Kind) {
126 switch (Kind) {
127 default: llvm_unreachable("Unhandled SparcMCExpr::VariantKind");
128 case VK_Sparc_LO: return Sparc::fixup_sparc_lo10;
129 case VK_Sparc_HI: return Sparc::fixup_sparc_hi22;
130 case VK_Sparc_H44: return Sparc::fixup_sparc_h44;
131 case VK_Sparc_M44: return Sparc::fixup_sparc_m44;
132 case VK_Sparc_L44: return Sparc::fixup_sparc_l44;
133 case VK_Sparc_HH: return Sparc::fixup_sparc_hh;
134 case VK_Sparc_HM: return Sparc::fixup_sparc_hm;
135 case VK_Sparc_LM: return Sparc::fixup_sparc_lm;
136 case VK_Sparc_PC22: return Sparc::fixup_sparc_pc22;
137 case VK_Sparc_PC10: return Sparc::fixup_sparc_pc10;
138 case VK_Sparc_GOT22: return Sparc::fixup_sparc_got22;
139 case VK_Sparc_GOT10: return Sparc::fixup_sparc_got10;
140 case VK_Sparc_GOT13: return Sparc::fixup_sparc_got13;
141 case VK_Sparc_13: return Sparc::fixup_sparc_13;
142 case VK_Sparc_WPLT30: return Sparc::fixup_sparc_wplt30;
143 case VK_Sparc_WDISP30: return Sparc::fixup_sparc_call30;
144 case VK_Sparc_TLS_GD_HI22: return Sparc::fixup_sparc_tls_gd_hi22;
145 case VK_Sparc_TLS_GD_LO10: return Sparc::fixup_sparc_tls_gd_lo10;
146 case VK_Sparc_TLS_GD_ADD: return Sparc::fixup_sparc_tls_gd_add;
147 case VK_Sparc_TLS_GD_CALL: return Sparc::fixup_sparc_tls_gd_call;
148 case VK_Sparc_TLS_LDM_HI22: return Sparc::fixup_sparc_tls_ldm_hi22;
149 case VK_Sparc_TLS_LDM_LO10: return Sparc::fixup_sparc_tls_ldm_lo10;
150 case VK_Sparc_TLS_LDM_ADD: return Sparc::fixup_sparc_tls_ldm_add;
151 case VK_Sparc_TLS_LDM_CALL: return Sparc::fixup_sparc_tls_ldm_call;
152 case VK_Sparc_TLS_LDO_HIX22: return Sparc::fixup_sparc_tls_ldo_hix22;
153 case VK_Sparc_TLS_LDO_LOX10: return Sparc::fixup_sparc_tls_ldo_lox10;
154 case VK_Sparc_TLS_LDO_ADD: return Sparc::fixup_sparc_tls_ldo_add;
155 case VK_Sparc_TLS_IE_HI22: return Sparc::fixup_sparc_tls_ie_hi22;
156 case VK_Sparc_TLS_IE_LO10: return Sparc::fixup_sparc_tls_ie_lo10;
157 case VK_Sparc_TLS_IE_LD: return Sparc::fixup_sparc_tls_ie_ld;
158 case VK_Sparc_TLS_IE_LDX: return Sparc::fixup_sparc_tls_ie_ldx;
159 case VK_Sparc_TLS_IE_ADD: return Sparc::fixup_sparc_tls_ie_add;
160 case VK_Sparc_TLS_LE_HIX22: return Sparc::fixup_sparc_tls_le_hix22;
161 case VK_Sparc_TLS_LE_LOX10: return Sparc::fixup_sparc_tls_le_lox10;
162 }
163 }
164
165 bool
evaluateAsRelocatableImpl(MCValue & Res,const MCAsmLayout * Layout,const MCFixup * Fixup) const166 SparcMCExpr::evaluateAsRelocatableImpl(MCValue &Res,
167 const MCAsmLayout *Layout,
168 const MCFixup *Fixup) const {
169 return getSubExpr()->evaluateAsRelocatable(Res, Layout, Fixup);
170 }
171
fixELFSymbolsInTLSFixupsImpl(const MCExpr * Expr,MCAssembler & Asm)172 static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
173 switch (Expr->getKind()) {
174 case MCExpr::Target:
175 llvm_unreachable("Can't handle nested target expr!");
176 break;
177
178 case MCExpr::Constant:
179 break;
180
181 case MCExpr::Binary: {
182 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr);
183 fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm);
184 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm);
185 break;
186 }
187
188 case MCExpr::SymbolRef: {
189 const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
190 cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS);
191 break;
192 }
193
194 case MCExpr::Unary:
195 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
196 break;
197 }
198
199 }
200
fixELFSymbolsInTLSFixups(MCAssembler & Asm) const201 void SparcMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
202 switch(getKind()) {
203 default: return;
204 case VK_Sparc_TLS_GD_CALL:
205 case VK_Sparc_TLS_LDM_CALL: {
206 // The corresponding relocations reference __tls_get_addr, as they call it,
207 // but this is only implicit; we must explicitly add it to our symbol table
208 // to bind it for these uses.
209 MCSymbol *Symbol = Asm.getContext().getOrCreateSymbol("__tls_get_addr");
210 Asm.registerSymbol(*Symbol);
211 auto ELFSymbol = cast<MCSymbolELF>(Symbol);
212 if (!ELFSymbol->isBindingSet())
213 ELFSymbol->setBinding(ELF::STB_GLOBAL);
214 LLVM_FALLTHROUGH;
215 }
216 case VK_Sparc_TLS_GD_HI22:
217 case VK_Sparc_TLS_GD_LO10:
218 case VK_Sparc_TLS_GD_ADD:
219 case VK_Sparc_TLS_LDM_HI22:
220 case VK_Sparc_TLS_LDM_LO10:
221 case VK_Sparc_TLS_LDM_ADD:
222 case VK_Sparc_TLS_LDO_HIX22:
223 case VK_Sparc_TLS_LDO_LOX10:
224 case VK_Sparc_TLS_LDO_ADD:
225 case VK_Sparc_TLS_IE_HI22:
226 case VK_Sparc_TLS_IE_LO10:
227 case VK_Sparc_TLS_IE_LD:
228 case VK_Sparc_TLS_IE_LDX:
229 case VK_Sparc_TLS_IE_ADD:
230 case VK_Sparc_TLS_LE_HIX22:
231 case VK_Sparc_TLS_LE_LOX10: break;
232 }
233 fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm);
234 }
235
visitUsedExpr(MCStreamer & Streamer) const236 void SparcMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
237 Streamer.visitUsedExpr(*getSubExpr());
238 }
239