| //=--- AArch64MCExpr.h - AArch64 specific MC expression classes ---*- C++ -*-=// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file describes AArch64-specific MCExprs, used for modifiers like |
| // ":lo12:" or ":gottprel_g1:". |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H |
| #define LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H |
| |
| #include "llvm/MC/MCExpr.h" |
| #include "llvm/Support/ErrorHandling.h" |
| |
| namespace llvm { |
| |
| class AArch64MCExpr : public MCTargetExpr { |
| public: |
| enum VariantKind { |
| VK_NONE = 0x000, |
| |
| // Symbol locations specifying (roughly speaking) what calculation should be |
| // performed to construct the final address for the relocated |
| // symbol. E.g. direct, via the GOT, ... |
| VK_ABS = 0x001, |
| VK_SABS = 0x002, |
| VK_GOT = 0x003, |
| VK_DTPREL = 0x004, |
| VK_GOTTPREL = 0x005, |
| VK_TPREL = 0x006, |
| VK_TLSDESC = 0x007, |
| VK_SECREL = 0x008, |
| VK_SymLocBits = 0x00f, |
| |
| // Variants specifying which part of the final address calculation is |
| // used. E.g. the low 12 bits for an ADD/LDR, the middle 16 bits for a |
| // MOVZ/MOVK. |
| VK_PAGE = 0x010, |
| VK_PAGEOFF = 0x020, |
| VK_HI12 = 0x030, |
| VK_G0 = 0x040, |
| VK_G1 = 0x050, |
| VK_G2 = 0x060, |
| VK_G3 = 0x070, |
| VK_AddressFragBits = 0x0f0, |
| |
| // Whether the final relocation is a checked one (where a linker should |
| // perform a range-check on the final address) or not. Note that this field |
| // is unfortunately sometimes omitted from the assembly syntax. E.g. :lo12: |
| // on its own is a non-checked relocation. We side with ELF on being |
| // explicit about this! |
| VK_NC = 0x100, |
| |
| // Convenience definitions for referring to specific textual representations |
| // of relocation specifiers. Note that this means the "_NC" is sometimes |
| // omitted in line with assembly syntax here (VK_LO12 rather than VK_LO12_NC |
| // since a user would write ":lo12:"). |
| VK_CALL = VK_ABS, |
| VK_ABS_PAGE = VK_ABS | VK_PAGE, |
| VK_ABS_PAGE_NC = VK_ABS | VK_PAGE | VK_NC, |
| VK_ABS_G3 = VK_ABS | VK_G3, |
| VK_ABS_G2 = VK_ABS | VK_G2, |
| VK_ABS_G2_S = VK_SABS | VK_G2, |
| VK_ABS_G2_NC = VK_ABS | VK_G2 | VK_NC, |
| VK_ABS_G1 = VK_ABS | VK_G1, |
| VK_ABS_G1_S = VK_SABS | VK_G1, |
| VK_ABS_G1_NC = VK_ABS | VK_G1 | VK_NC, |
| VK_ABS_G0 = VK_ABS | VK_G0, |
| VK_ABS_G0_S = VK_SABS | VK_G0, |
| VK_ABS_G0_NC = VK_ABS | VK_G0 | VK_NC, |
| VK_LO12 = VK_ABS | VK_PAGEOFF | VK_NC, |
| VK_GOT_LO12 = VK_GOT | VK_PAGEOFF | VK_NC, |
| VK_GOT_PAGE = VK_GOT | VK_PAGE, |
| VK_DTPREL_G2 = VK_DTPREL | VK_G2, |
| VK_DTPREL_G1 = VK_DTPREL | VK_G1, |
| VK_DTPREL_G1_NC = VK_DTPREL | VK_G1 | VK_NC, |
| VK_DTPREL_G0 = VK_DTPREL | VK_G0, |
| VK_DTPREL_G0_NC = VK_DTPREL | VK_G0 | VK_NC, |
| VK_DTPREL_HI12 = VK_DTPREL | VK_HI12, |
| VK_DTPREL_LO12 = VK_DTPREL | VK_PAGEOFF, |
| VK_DTPREL_LO12_NC = VK_DTPREL | VK_PAGEOFF | VK_NC, |
| VK_GOTTPREL_PAGE = VK_GOTTPREL | VK_PAGE, |
| VK_GOTTPREL_LO12_NC = VK_GOTTPREL | VK_PAGEOFF | VK_NC, |
| VK_GOTTPREL_G1 = VK_GOTTPREL | VK_G1, |
| VK_GOTTPREL_G0_NC = VK_GOTTPREL | VK_G0 | VK_NC, |
| VK_TPREL_G2 = VK_TPREL | VK_G2, |
| VK_TPREL_G1 = VK_TPREL | VK_G1, |
| VK_TPREL_G1_NC = VK_TPREL | VK_G1 | VK_NC, |
| VK_TPREL_G0 = VK_TPREL | VK_G0, |
| VK_TPREL_G0_NC = VK_TPREL | VK_G0 | VK_NC, |
| VK_TPREL_HI12 = VK_TPREL | VK_HI12, |
| VK_TPREL_LO12 = VK_TPREL | VK_PAGEOFF, |
| VK_TPREL_LO12_NC = VK_TPREL | VK_PAGEOFF | VK_NC, |
| VK_TLSDESC_LO12 = VK_TLSDESC | VK_PAGEOFF, |
| VK_TLSDESC_PAGE = VK_TLSDESC | VK_PAGE, |
| VK_SECREL_LO12 = VK_SECREL | VK_PAGEOFF, |
| VK_SECREL_HI12 = VK_SECREL | VK_HI12, |
| |
| VK_INVALID = 0xfff |
| }; |
| |
| private: |
| const MCExpr *Expr; |
| const VariantKind Kind; |
| |
| explicit AArch64MCExpr(const MCExpr *Expr, VariantKind Kind) |
| : Expr(Expr), Kind(Kind) {} |
| |
| public: |
| /// @name Construction |
| /// @{ |
| |
| static const AArch64MCExpr *create(const MCExpr *Expr, VariantKind Kind, |
| MCContext &Ctx); |
| |
| /// @} |
| /// @name Accessors |
| /// @{ |
| |
| /// Get the kind of this expression. |
| VariantKind getKind() const { return Kind; } |
| |
| /// Get the expression this modifier applies to. |
| const MCExpr *getSubExpr() const { return Expr; } |
| |
| /// @} |
| /// @name VariantKind information extractors. |
| /// @{ |
| |
| static VariantKind getSymbolLoc(VariantKind Kind) { |
| return static_cast<VariantKind>(Kind & VK_SymLocBits); |
| } |
| |
| static VariantKind getAddressFrag(VariantKind Kind) { |
| return static_cast<VariantKind>(Kind & VK_AddressFragBits); |
| } |
| |
| static bool isNotChecked(VariantKind Kind) { return Kind & VK_NC; } |
| |
| /// @} |
| |
| /// Convert the variant kind into an ELF-appropriate modifier |
| /// (e.g. ":got:", ":lo12:"). |
| StringRef getVariantKindName() const; |
| |
| void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override; |
| |
| void visitUsedExpr(MCStreamer &Streamer) const override; |
| |
| MCFragment *findAssociatedFragment() const override; |
| |
| bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, |
| const MCFixup *Fixup) const override; |
| |
| void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override; |
| |
| static bool classof(const MCExpr *E) { |
| return E->getKind() == MCExpr::Target; |
| } |
| |
| static bool classof(const AArch64MCExpr *) { return true; } |
| }; |
| } // end namespace llvm |
| |
| #endif |