1 //===-- HexagonMCExpr.cpp - Hexagon specific MC expression classes
2 //----------===//
3 //
4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5 // See https://llvm.org/LICENSE.txt for license information.
6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //
8 //===----------------------------------------------------------------------===//
9
10 #include "HexagonMCExpr.h"
11 #include "llvm/BinaryFormat/ELF.h"
12 #include "llvm/MC/MCContext.h"
13 #include "llvm/MC/MCStreamer.h"
14 #include "llvm/MC/MCSymbolELF.h"
15 #include "llvm/MC/MCValue.h"
16 #include "llvm/Support/Casting.h"
17 #include "llvm/Support/raw_ostream.h"
18
19 using namespace llvm;
20
21 #define DEBUG_TYPE "hexagon-mcexpr"
22
create(MCExpr const * Expr,MCContext & Ctx)23 HexagonMCExpr *HexagonMCExpr::create(MCExpr const *Expr, MCContext &Ctx) {
24 return new (Ctx) HexagonMCExpr(Expr);
25 }
26
evaluateAsRelocatableImpl(MCValue & Res,const MCAssembler * Asm,MCFixup const * Fixup) const27 bool HexagonMCExpr::evaluateAsRelocatableImpl(MCValue &Res,
28 const MCAssembler *Asm,
29 MCFixup const *Fixup) const {
30 return Expr->evaluateAsRelocatable(Res, Asm, Fixup);
31 }
32
visitUsedExpr(MCStreamer & Streamer) const33 void HexagonMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
34 Streamer.visitUsedExpr(*Expr);
35 }
36
findAssociatedFragment() const37 MCFragment *llvm::HexagonMCExpr::findAssociatedFragment() const {
38 return Expr->findAssociatedFragment();
39 }
40
fixELFSymbolsInTLSFixupsImpl(const MCExpr * Expr,MCAssembler & Asm)41 static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
42 switch (Expr->getKind()) {
43 case MCExpr::Target:
44 llvm_unreachable("Cannot handle nested target MCExpr");
45 break;
46 case MCExpr::Constant:
47 break;
48
49 case MCExpr::Binary: {
50 const MCBinaryExpr *be = cast<MCBinaryExpr>(Expr);
51 fixELFSymbolsInTLSFixupsImpl(be->getLHS(), Asm);
52 fixELFSymbolsInTLSFixupsImpl(be->getRHS(), Asm);
53 break;
54 }
55 case MCExpr::SymbolRef: {
56 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(Expr);
57 switch (symRef.getKind()) {
58 default:
59 return;
60 case MCSymbolRefExpr::VK_Hexagon_GD_GOT:
61 case MCSymbolRefExpr::VK_Hexagon_LD_GOT:
62 case MCSymbolRefExpr::VK_Hexagon_GD_PLT:
63 case MCSymbolRefExpr::VK_Hexagon_LD_PLT:
64 case MCSymbolRefExpr::VK_Hexagon_IE:
65 case MCSymbolRefExpr::VK_Hexagon_IE_GOT:
66 case MCSymbolRefExpr::VK_TPREL:
67 break;
68 }
69 cast<MCSymbolELF>(symRef.getSymbol()).setType(ELF::STT_TLS);
70 break;
71 }
72 case MCExpr::Unary:
73 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
74 break;
75 }
76 }
77
fixELFSymbolsInTLSFixups(MCAssembler & Asm) const78 void HexagonMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
79 auto expr = getExpr();
80 fixELFSymbolsInTLSFixupsImpl(expr, Asm);
81 }
82
getExpr() const83 MCExpr const *HexagonMCExpr::getExpr() const { return Expr; }
84
setMustExtend(bool Val)85 void HexagonMCExpr::setMustExtend(bool Val) {
86 assert((!Val || !MustNotExtend) && "Extension contradiction");
87 MustExtend = Val;
88 }
89
mustExtend() const90 bool HexagonMCExpr::mustExtend() const { return MustExtend; }
setMustNotExtend(bool Val)91 void HexagonMCExpr::setMustNotExtend(bool Val) {
92 assert((!Val || !MustExtend) && "Extension contradiction");
93 MustNotExtend = Val;
94 }
mustNotExtend() const95 bool HexagonMCExpr::mustNotExtend() const { return MustNotExtend; }
96
s27_2_reloc() const97 bool HexagonMCExpr::s27_2_reloc() const { return S27_2_reloc; }
setS27_2_reloc(bool Val)98 void HexagonMCExpr::setS27_2_reloc(bool Val) {
99 S27_2_reloc = Val;
100 }
101
HexagonMCExpr(MCExpr const * Expr)102 HexagonMCExpr::HexagonMCExpr(MCExpr const *Expr)
103 : Expr(Expr), MustNotExtend(false), MustExtend(false), S27_2_reloc(false),
104 SignMismatch(false) {}
105
printImpl(raw_ostream & OS,const MCAsmInfo * MAI) const106 void HexagonMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
107 Expr->print(OS, MAI);
108 }
109
setSignMismatch(bool Val)110 void HexagonMCExpr::setSignMismatch(bool Val) {
111 SignMismatch = Val;
112 }
113
signMismatch() const114 bool HexagonMCExpr::signMismatch() const {
115 return SignMismatch;
116 }
117