10b57cec5SDimitry Andric //===-- HexagonMCExpr.cpp - Hexagon specific MC expression classes
20b57cec5SDimitry Andric //----------===//
30b57cec5SDimitry Andric //
40b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
50b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
60b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
70b57cec5SDimitry Andric //
80b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
90b57cec5SDimitry Andric
100b57cec5SDimitry Andric #include "HexagonMCExpr.h"
110b57cec5SDimitry Andric #include "llvm/BinaryFormat/ELF.h"
120b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
130b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h"
140b57cec5SDimitry Andric #include "llvm/MC/MCSymbolELF.h"
150b57cec5SDimitry Andric #include "llvm/MC/MCValue.h"
1681ad6265SDimitry Andric #include "llvm/Support/Casting.h"
170b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
180b57cec5SDimitry Andric
190b57cec5SDimitry Andric using namespace llvm;
200b57cec5SDimitry Andric
210b57cec5SDimitry Andric #define DEBUG_TYPE "hexagon-mcexpr"
220b57cec5SDimitry Andric
create(MCExpr const * Expr,MCContext & Ctx)230b57cec5SDimitry Andric HexagonMCExpr *HexagonMCExpr::create(MCExpr const *Expr, MCContext &Ctx) {
240b57cec5SDimitry Andric return new (Ctx) HexagonMCExpr(Expr);
250b57cec5SDimitry Andric }
260b57cec5SDimitry Andric
evaluateAsRelocatableImpl(MCValue & Res,const MCAssembler * Asm,MCFixup const * Fixup) const270b57cec5SDimitry Andric bool HexagonMCExpr::evaluateAsRelocatableImpl(MCValue &Res,
28*0fca6ea1SDimitry Andric const MCAssembler *Asm,
290b57cec5SDimitry Andric MCFixup const *Fixup) const {
30*0fca6ea1SDimitry Andric return Expr->evaluateAsRelocatable(Res, Asm, Fixup);
310b57cec5SDimitry Andric }
320b57cec5SDimitry Andric
visitUsedExpr(MCStreamer & Streamer) const330b57cec5SDimitry Andric void HexagonMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
340b57cec5SDimitry Andric Streamer.visitUsedExpr(*Expr);
350b57cec5SDimitry Andric }
360b57cec5SDimitry Andric
findAssociatedFragment() const370b57cec5SDimitry Andric MCFragment *llvm::HexagonMCExpr::findAssociatedFragment() const {
380b57cec5SDimitry Andric return Expr->findAssociatedFragment();
390b57cec5SDimitry Andric }
400b57cec5SDimitry Andric
fixELFSymbolsInTLSFixupsImpl(const MCExpr * Expr,MCAssembler & Asm)410b57cec5SDimitry Andric static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
420b57cec5SDimitry Andric switch (Expr->getKind()) {
430b57cec5SDimitry Andric case MCExpr::Target:
440b57cec5SDimitry Andric llvm_unreachable("Cannot handle nested target MCExpr");
450b57cec5SDimitry Andric break;
460b57cec5SDimitry Andric case MCExpr::Constant:
470b57cec5SDimitry Andric break;
480b57cec5SDimitry Andric
490b57cec5SDimitry Andric case MCExpr::Binary: {
500b57cec5SDimitry Andric const MCBinaryExpr *be = cast<MCBinaryExpr>(Expr);
510b57cec5SDimitry Andric fixELFSymbolsInTLSFixupsImpl(be->getLHS(), Asm);
520b57cec5SDimitry Andric fixELFSymbolsInTLSFixupsImpl(be->getRHS(), Asm);
530b57cec5SDimitry Andric break;
540b57cec5SDimitry Andric }
550b57cec5SDimitry Andric case MCExpr::SymbolRef: {
560b57cec5SDimitry Andric const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(Expr);
570b57cec5SDimitry Andric switch (symRef.getKind()) {
580b57cec5SDimitry Andric default:
590b57cec5SDimitry Andric return;
600b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_GD_GOT:
610b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_LD_GOT:
620b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_GD_PLT:
630b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_LD_PLT:
640b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_IE:
650b57cec5SDimitry Andric case MCSymbolRefExpr::VK_Hexagon_IE_GOT:
660b57cec5SDimitry Andric case MCSymbolRefExpr::VK_TPREL:
670b57cec5SDimitry Andric break;
680b57cec5SDimitry Andric }
690b57cec5SDimitry Andric cast<MCSymbolELF>(symRef.getSymbol()).setType(ELF::STT_TLS);
700b57cec5SDimitry Andric break;
710b57cec5SDimitry Andric }
720b57cec5SDimitry Andric case MCExpr::Unary:
730b57cec5SDimitry Andric fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
740b57cec5SDimitry Andric break;
750b57cec5SDimitry Andric }
760b57cec5SDimitry Andric }
770b57cec5SDimitry Andric
fixELFSymbolsInTLSFixups(MCAssembler & Asm) const780b57cec5SDimitry Andric void HexagonMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
790b57cec5SDimitry Andric auto expr = getExpr();
800b57cec5SDimitry Andric fixELFSymbolsInTLSFixupsImpl(expr, Asm);
810b57cec5SDimitry Andric }
820b57cec5SDimitry Andric
getExpr() const830b57cec5SDimitry Andric MCExpr const *HexagonMCExpr::getExpr() const { return Expr; }
840b57cec5SDimitry Andric
setMustExtend(bool Val)850b57cec5SDimitry Andric void HexagonMCExpr::setMustExtend(bool Val) {
860b57cec5SDimitry Andric assert((!Val || !MustNotExtend) && "Extension contradiction");
870b57cec5SDimitry Andric MustExtend = Val;
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric
mustExtend() const900b57cec5SDimitry Andric bool HexagonMCExpr::mustExtend() const { return MustExtend; }
setMustNotExtend(bool Val)910b57cec5SDimitry Andric void HexagonMCExpr::setMustNotExtend(bool Val) {
920b57cec5SDimitry Andric assert((!Val || !MustExtend) && "Extension contradiction");
930b57cec5SDimitry Andric MustNotExtend = Val;
940b57cec5SDimitry Andric }
mustNotExtend() const950b57cec5SDimitry Andric bool HexagonMCExpr::mustNotExtend() const { return MustNotExtend; }
960b57cec5SDimitry Andric
s27_2_reloc() const970b57cec5SDimitry Andric bool HexagonMCExpr::s27_2_reloc() const { return S27_2_reloc; }
setS27_2_reloc(bool Val)980b57cec5SDimitry Andric void HexagonMCExpr::setS27_2_reloc(bool Val) {
990b57cec5SDimitry Andric S27_2_reloc = Val;
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric
HexagonMCExpr(MCExpr const * Expr)1020b57cec5SDimitry Andric HexagonMCExpr::HexagonMCExpr(MCExpr const *Expr)
1030b57cec5SDimitry Andric : Expr(Expr), MustNotExtend(false), MustExtend(false), S27_2_reloc(false),
1040b57cec5SDimitry Andric SignMismatch(false) {}
1050b57cec5SDimitry Andric
printImpl(raw_ostream & OS,const MCAsmInfo * MAI) const1060b57cec5SDimitry Andric void HexagonMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
1070b57cec5SDimitry Andric Expr->print(OS, MAI);
1080b57cec5SDimitry Andric }
1090b57cec5SDimitry Andric
setSignMismatch(bool Val)1100b57cec5SDimitry Andric void HexagonMCExpr::setSignMismatch(bool Val) {
1110b57cec5SDimitry Andric SignMismatch = Val;
1120b57cec5SDimitry Andric }
1130b57cec5SDimitry Andric
signMismatch() const1140b57cec5SDimitry Andric bool HexagonMCExpr::signMismatch() const {
1150b57cec5SDimitry Andric return SignMismatch;
1160b57cec5SDimitry Andric }
117