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