xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/Hexagon/MCTargetDesc/HexagonMCExpr.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
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 
230b57cec5SDimitry Andric HexagonMCExpr *HexagonMCExpr::create(MCExpr const *Expr, MCContext &Ctx) {
240b57cec5SDimitry Andric   return new (Ctx) HexagonMCExpr(Expr);
250b57cec5SDimitry Andric }
260b57cec5SDimitry Andric 
270b57cec5SDimitry 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 
330b57cec5SDimitry Andric void HexagonMCExpr::visitUsedExpr(MCStreamer &Streamer) const {
340b57cec5SDimitry Andric   Streamer.visitUsedExpr(*Expr);
350b57cec5SDimitry Andric }
360b57cec5SDimitry Andric 
370b57cec5SDimitry Andric MCFragment *llvm::HexagonMCExpr::findAssociatedFragment() const {
380b57cec5SDimitry Andric   return Expr->findAssociatedFragment();
390b57cec5SDimitry Andric }
400b57cec5SDimitry Andric 
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 
780b57cec5SDimitry Andric void HexagonMCExpr::fixELFSymbolsInTLSFixups(MCAssembler &Asm) const {
790b57cec5SDimitry Andric   auto expr = getExpr();
800b57cec5SDimitry Andric   fixELFSymbolsInTLSFixupsImpl(expr, Asm);
810b57cec5SDimitry Andric }
820b57cec5SDimitry Andric 
830b57cec5SDimitry Andric MCExpr const *HexagonMCExpr::getExpr() const { return Expr; }
840b57cec5SDimitry Andric 
850b57cec5SDimitry Andric void HexagonMCExpr::setMustExtend(bool Val) {
860b57cec5SDimitry Andric   assert((!Val || !MustNotExtend) && "Extension contradiction");
870b57cec5SDimitry Andric   MustExtend = Val;
880b57cec5SDimitry Andric }
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric bool HexagonMCExpr::mustExtend() const { return MustExtend; }
910b57cec5SDimitry Andric void HexagonMCExpr::setMustNotExtend(bool Val) {
920b57cec5SDimitry Andric   assert((!Val || !MustExtend) && "Extension contradiction");
930b57cec5SDimitry Andric   MustNotExtend = Val;
940b57cec5SDimitry Andric }
950b57cec5SDimitry Andric bool HexagonMCExpr::mustNotExtend() const { return MustNotExtend; }
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric bool HexagonMCExpr::s27_2_reloc() const { return S27_2_reloc; }
980b57cec5SDimitry Andric void HexagonMCExpr::setS27_2_reloc(bool Val) {
990b57cec5SDimitry Andric   S27_2_reloc = Val;
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric 
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 
1060b57cec5SDimitry Andric void HexagonMCExpr::printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const {
1070b57cec5SDimitry Andric   Expr->print(OS, MAI);
1080b57cec5SDimitry Andric }
1090b57cec5SDimitry Andric 
1100b57cec5SDimitry Andric void HexagonMCExpr::setSignMismatch(bool Val) {
1110b57cec5SDimitry Andric   SignMismatch = Val;
1120b57cec5SDimitry Andric }
1130b57cec5SDimitry Andric 
1140b57cec5SDimitry Andric bool HexagonMCExpr::signMismatch() const {
1150b57cec5SDimitry Andric   return SignMismatch;
1160b57cec5SDimitry Andric }
117