SparcMCExpr.cpp revision 263763 
1//===-- SparcMCExpr.cpp - Sparc 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 Sparc architecture (e.g. "%hi", "%lo", ...).
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "sparcmcexpr"
16#include "SparcMCExpr.h"
17#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCAssembler.h"
19#include "llvm/MC/MCELF.h"
20#include "llvm/MC/MCSymbol.h"
21#include "llvm/Object/ELF.h"
22
23
24using namespace llvm;
25
26const SparcMCExpr*
27SparcMCExpr::Create(VariantKind Kind, const MCExpr *Expr,
28                      MCContext &Ctx) {
29    return new (Ctx) SparcMCExpr(Kind, Expr);
30}
31
32
33
34void SparcMCExpr::PrintImpl(raw_ostream &OS) const
35{
36
37  bool closeParen = printVariantKind(OS, Kind);
38
39  const MCExpr *Expr = getSubExpr();
40  Expr->print(OS);
41
42  if (closeParen)
43    OS << ')';
44}
45
46bool SparcMCExpr::printVariantKind(raw_ostream &OS, VariantKind Kind)
47{
48  bool closeParen = true;
49  switch (Kind) {
50  case VK_Sparc_None:     closeParen = false; break;
51  case VK_Sparc_LO:       OS << "%lo(";  break;
52  case VK_Sparc_HI:       OS << "%hi(";  break;
53  case VK_Sparc_H44:      OS << "%h44("; break;
54  case VK_Sparc_M44:      OS << "%m44("; break;
55  case VK_Sparc_L44:      OS << "%l44("; break;
56  case VK_Sparc_HH:       OS << "%hh(";  break;
57  case VK_Sparc_HM:       OS << "%hm(";  break;
58    // FIXME: use %pc22/%pc10, if system assembler supports them.
59  case VK_Sparc_PC22:     OS << "%hi("; break;
60  case VK_Sparc_PC10:     OS << "%lo("; break;
61    // FIXME: use %got22/%got10, if system assembler supports them.
62  case VK_Sparc_GOT22:    OS << "%hi("; break;
63  case VK_Sparc_GOT10:    OS << "%lo("; break;
64  case VK_Sparc_WPLT30:   closeParen = false; break;
65  case VK_Sparc_R_DISP32: OS << "%r_disp32("; break;
66  case VK_Sparc_TLS_GD_HI22:   OS << "%tgd_hi22(";   break;
67  case VK_Sparc_TLS_GD_LO10:   OS << "%tgd_lo10(";   break;
68  case VK_Sparc_TLS_GD_ADD:    OS << "%tgd_add(";    break;
69  case VK_Sparc_TLS_GD_CALL:   OS << "%tgd_call(";   break;
70  case VK_Sparc_TLS_LDM_HI22:  OS << "%tldm_hi22(";  break;
71  case VK_Sparc_TLS_LDM_LO10:  OS << "%tldm_lo10(";  break;
72  case VK_Sparc_TLS_LDM_ADD:   OS << "%tldm_add(";   break;
73  case VK_Sparc_TLS_LDM_CALL:  OS << "%tldm_call(";  break;
74  case VK_Sparc_TLS_LDO_HIX22: OS << "%tldo_hix22("; break;
75  case VK_Sparc_TLS_LDO_LOX10: OS << "%tldo_lox10("; break;
76  case VK_Sparc_TLS_LDO_ADD:   OS << "%tldo_add(";   break;
77  case VK_Sparc_TLS_IE_HI22:   OS << "%tie_hi22(";   break;
78  case VK_Sparc_TLS_IE_LO10:   OS << "%tie_lo10(";   break;
79  case VK_Sparc_TLS_IE_LD:     OS << "%tie_ld(";     break;
80  case VK_Sparc_TLS_IE_LDX:    OS << "%tie_ldx(";    break;
81  case VK_Sparc_TLS_IE_ADD:    OS << "%tie_add(";    break;
82  case VK_Sparc_TLS_LE_HIX22:  OS << "%tle_hix22(";  break;
83  case VK_Sparc_TLS_LE_LOX10:  OS << "%tle_lox10(";  break;
84  }
85  return closeParen;
86}
87
88SparcMCExpr::VariantKind SparcMCExpr::parseVariantKind(StringRef name)
89{
90  return StringSwitch<SparcMCExpr::VariantKind>(name)
91    .Case("lo",  VK_Sparc_LO)
92    .Case("hi",  VK_Sparc_HI)
93    .Case("h44", VK_Sparc_H44)
94    .Case("m44", VK_Sparc_M44)
95    .Case("l44", VK_Sparc_L44)
96    .Case("hh",  VK_Sparc_HH)
97    .Case("hm",  VK_Sparc_HM)
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("r_disp32",   VK_Sparc_R_DISP32)
103    .Case("tgd_hi22",   VK_Sparc_TLS_GD_HI22)
104    .Case("tgd_lo10",   VK_Sparc_TLS_GD_LO10)
105    .Case("tgd_add",    VK_Sparc_TLS_GD_ADD)
106    .Case("tgd_call",   VK_Sparc_TLS_GD_CALL)
107    .Case("tldm_hi22",  VK_Sparc_TLS_LDM_HI22)
108    .Case("tldm_lo10",  VK_Sparc_TLS_LDM_LO10)
109    .Case("tldm_add",   VK_Sparc_TLS_LDM_ADD)
110    .Case("tldm_call",  VK_Sparc_TLS_LDM_CALL)
111    .Case("tldo_hix22", VK_Sparc_TLS_LDO_HIX22)
112    .Case("tldo_lox10", VK_Sparc_TLS_LDO_LOX10)
113    .Case("tldo_add",   VK_Sparc_TLS_LDO_ADD)
114    .Case("tie_hi22",   VK_Sparc_TLS_IE_HI22)
115    .Case("tie_lo10",   VK_Sparc_TLS_IE_LO10)
116    .Case("tie_ld",     VK_Sparc_TLS_IE_LD)
117    .Case("tie_ldx",    VK_Sparc_TLS_IE_LDX)
118    .Case("tie_add",    VK_Sparc_TLS_IE_ADD)
119    .Case("tle_hix22",  VK_Sparc_TLS_LE_HIX22)
120    .Case("tle_lox10",  VK_Sparc_TLS_LE_LOX10)
121    .Default(VK_Sparc_None);
122}
123
124Sparc::Fixups SparcMCExpr::getFixupKind(SparcMCExpr::VariantKind Kind) {
125  switch (Kind) {
126  default:           assert(0 && "Unhandled SparcMCExpr::VariantKind");
127  case VK_Sparc_LO:       return Sparc::fixup_sparc_lo10;
128  case VK_Sparc_HI:       return Sparc::fixup_sparc_hi22;
129  case VK_Sparc_H44:      return Sparc::fixup_sparc_h44;
130  case VK_Sparc_M44:      return Sparc::fixup_sparc_m44;
131  case VK_Sparc_L44:      return Sparc::fixup_sparc_l44;
132  case VK_Sparc_HH:       return Sparc::fixup_sparc_hh;
133  case VK_Sparc_HM:       return Sparc::fixup_sparc_hm;
134  case VK_Sparc_PC22:     return Sparc::fixup_sparc_pc22;
135  case VK_Sparc_PC10:     return Sparc::fixup_sparc_pc10;
136  case VK_Sparc_GOT22:    return Sparc::fixup_sparc_got22;
137  case VK_Sparc_GOT10:    return Sparc::fixup_sparc_got10;
138  case VK_Sparc_WPLT30:   return Sparc::fixup_sparc_wplt30;
139  case VK_Sparc_TLS_GD_HI22:   return Sparc::fixup_sparc_tls_gd_hi22;
140  case VK_Sparc_TLS_GD_LO10:   return Sparc::fixup_sparc_tls_gd_lo10;
141  case VK_Sparc_TLS_GD_ADD:    return Sparc::fixup_sparc_tls_gd_add;
142  case VK_Sparc_TLS_GD_CALL:   return Sparc::fixup_sparc_tls_gd_call;
143  case VK_Sparc_TLS_LDM_HI22:  return Sparc::fixup_sparc_tls_ldm_hi22;
144  case VK_Sparc_TLS_LDM_LO10:  return Sparc::fixup_sparc_tls_ldm_lo10;
145  case VK_Sparc_TLS_LDM_ADD:   return Sparc::fixup_sparc_tls_ldm_add;
146  case VK_Sparc_TLS_LDM_CALL:  return Sparc::fixup_sparc_tls_ldm_call;
147  case VK_Sparc_TLS_LDO_HIX22: return Sparc::fixup_sparc_tls_ldo_hix22;
148  case VK_Sparc_TLS_LDO_LOX10: return Sparc::fixup_sparc_tls_ldo_lox10;
149  case VK_Sparc_TLS_LDO_ADD:   return Sparc::fixup_sparc_tls_ldo_add;
150  case VK_Sparc_TLS_IE_HI22:   return Sparc::fixup_sparc_tls_ie_hi22;
151  case VK_Sparc_TLS_IE_LO10:   return Sparc::fixup_sparc_tls_ie_lo10;
152  case VK_Sparc_TLS_IE_LD:     return Sparc::fixup_sparc_tls_ie_ld;
153  case VK_Sparc_TLS_IE_LDX:    return Sparc::fixup_sparc_tls_ie_ldx;
154  case VK_Sparc_TLS_IE_ADD:    return Sparc::fixup_sparc_tls_ie_add;
155  case VK_Sparc_TLS_LE_HIX22:  return Sparc::fixup_sparc_tls_le_hix22;
156  case VK_Sparc_TLS_LE_LOX10:  return Sparc::fixup_sparc_tls_le_lox10;
157  }
158}
159
160bool
161SparcMCExpr::EvaluateAsRelocatableImpl(MCValue &Res,
162                                       const MCAsmLayout *Layout) const {
163  if (!Layout)
164    return false;
165  return getSubExpr()->EvaluateAsRelocatable(Res, *Layout);
166}
167
168static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
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);
179    fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm);
180    fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm);
181    break;
182  }
183
184  case MCExpr::SymbolRef: {
185    const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
186    MCSymbolData &SD = Asm.getOrCreateSymbolData(SymRef.getSymbol());
187    MCELF::SetType(SD, ELF::STT_TLS);
188    break;
189  }
190
191  case MCExpr::Unary:
192    fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
193    break;
194  }
195
196}
197
198void SparcMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
199  switch(getKind()) {
200  default: return;
201  case VK_Sparc_TLS_GD_HI22:
202  case VK_Sparc_TLS_GD_LO10:
203  case VK_Sparc_TLS_GD_ADD:
204  case VK_Sparc_TLS_GD_CALL:
205  case VK_Sparc_TLS_LDM_HI22:
206  case VK_Sparc_TLS_LDM_LO10:
207  case VK_Sparc_TLS_LDM_ADD:
208  case VK_Sparc_TLS_LDM_CALL:
209  case VK_Sparc_TLS_LDO_HIX22:
210  case VK_Sparc_TLS_LDO_LOX10:
211  case VK_Sparc_TLS_LDO_ADD:
212  case VK_Sparc_TLS_IE_HI22:
213  case VK_Sparc_TLS_IE_LO10:
214  case VK_Sparc_TLS_IE_LD:
215  case VK_Sparc_TLS_IE_LDX:
216  case VK_Sparc_TLS_IE_ADD:
217  case VK_Sparc_TLS_LE_HIX22:
218  case VK_Sparc_TLS_LE_LOX10: break;
219  }
220  fixELFSymbolsInTLSFixupsImpl(getSubExpr(), Asm);
221}
222
223// FIXME: This basically copies MCObjectStreamer::AddValueSymbols. Perhaps
224// that method should be made public?
225// FIXME: really do above: now that at least three other backends are using it.
226static void AddValueSymbolsImpl(const MCExpr *Value, MCAssembler *Asm) {
227  switch (Value->getKind()) {
228  case MCExpr::Target:
229    llvm_unreachable("Can't handle nested target expr!");
230    break;
231
232  case MCExpr::Constant:
233    break;
234
235  case MCExpr::Binary: {
236    const MCBinaryExpr *BE = cast<MCBinaryExpr>(Value);
237    AddValueSymbolsImpl(BE->getLHS(), Asm);
238    AddValueSymbolsImpl(BE->getRHS(), Asm);
239    break;
240  }
241
242  case MCExpr::SymbolRef:
243    Asm->getOrCreateSymbolData(cast<MCSymbolRefExpr>(Value)->getSymbol());
244    break;
245
246  case MCExpr::Unary:
247    AddValueSymbolsImpl(cast<MCUnaryExpr>(Value)->getSubExpr(), Asm);
248    break;
249  }
250}
251
252void SparcMCExpr::AddValueSymbols(MCAssembler *Asm) const {
253  AddValueSymbolsImpl(getSubExpr(), Asm);
254}
255