1 //=--- AArch64MCExpr.h - AArch64 specific MC expression classes ---*- C++ -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file describes AArch64-specific MCExprs, used for modifiers like
11 // ":lo12:" or ":gottprel_g1:".
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H
16 #define LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H
18 #include "llvm/MC/MCExpr.h"
19 #include "llvm/Support/ErrorHandling.h"
23 class AArch64MCExpr : public MCTargetExpr {
28 // Symbol locations specifying (roughly speaking) what calculation should be
29 // performed to construct the final address for the relocated
30 // symbol. E.g. direct, via the GOT, ...
39 VK_SymLocBits = 0x00f,
41 // Variants specifying which part of the final address calculation is
42 // used. E.g. the low 12 bits for an ADD/LDR, the middle 16 bits for a
51 VK_AddressFragBits = 0x0f0,
53 // Whether the final relocation is a checked one (where a linker should
54 // perform a range-check on the final address) or not. Note that this field
55 // is unfortunately sometimes omitted from the assembly syntax. E.g. :lo12:
56 // on its own is a non-checked relocation. We side with ELF on being
57 // explicit about this!
60 // Convenience definitions for referring to specific textual representations
61 // of relocation specifiers. Note that this means the "_NC" is sometimes
62 // omitted in line with assembly syntax here (VK_LO12 rather than VK_LO12_NC
63 // since a user would write ":lo12:").
65 VK_ABS_PAGE = VK_ABS | VK_PAGE,
66 VK_ABS_PAGE_NC = VK_ABS | VK_PAGE | VK_NC,
67 VK_ABS_G3 = VK_ABS | VK_G3,
68 VK_ABS_G2 = VK_ABS | VK_G2,
69 VK_ABS_G2_S = VK_SABS | VK_G2,
70 VK_ABS_G2_NC = VK_ABS | VK_G2 | VK_NC,
71 VK_ABS_G1 = VK_ABS | VK_G1,
72 VK_ABS_G1_S = VK_SABS | VK_G1,
73 VK_ABS_G1_NC = VK_ABS | VK_G1 | VK_NC,
74 VK_ABS_G0 = VK_ABS | VK_G0,
75 VK_ABS_G0_S = VK_SABS | VK_G0,
76 VK_ABS_G0_NC = VK_ABS | VK_G0 | VK_NC,
77 VK_LO12 = VK_ABS | VK_PAGEOFF | VK_NC,
78 VK_GOT_LO12 = VK_GOT | VK_PAGEOFF | VK_NC,
79 VK_GOT_PAGE = VK_GOT | VK_PAGE,
80 VK_DTPREL_G2 = VK_DTPREL | VK_G2,
81 VK_DTPREL_G1 = VK_DTPREL | VK_G1,
82 VK_DTPREL_G1_NC = VK_DTPREL | VK_G1 | VK_NC,
83 VK_DTPREL_G0 = VK_DTPREL | VK_G0,
84 VK_DTPREL_G0_NC = VK_DTPREL | VK_G0 | VK_NC,
85 VK_DTPREL_HI12 = VK_DTPREL | VK_HI12,
86 VK_DTPREL_LO12 = VK_DTPREL | VK_PAGEOFF,
87 VK_DTPREL_LO12_NC = VK_DTPREL | VK_PAGEOFF | VK_NC,
88 VK_GOTTPREL_PAGE = VK_GOTTPREL | VK_PAGE,
89 VK_GOTTPREL_LO12_NC = VK_GOTTPREL | VK_PAGEOFF | VK_NC,
90 VK_GOTTPREL_G1 = VK_GOTTPREL | VK_G1,
91 VK_GOTTPREL_G0_NC = VK_GOTTPREL | VK_G0 | VK_NC,
92 VK_TPREL_G2 = VK_TPREL | VK_G2,
93 VK_TPREL_G1 = VK_TPREL | VK_G1,
94 VK_TPREL_G1_NC = VK_TPREL | VK_G1 | VK_NC,
95 VK_TPREL_G0 = VK_TPREL | VK_G0,
96 VK_TPREL_G0_NC = VK_TPREL | VK_G0 | VK_NC,
97 VK_TPREL_HI12 = VK_TPREL | VK_HI12,
98 VK_TPREL_LO12 = VK_TPREL | VK_PAGEOFF,
99 VK_TPREL_LO12_NC = VK_TPREL | VK_PAGEOFF | VK_NC,
100 VK_TLSDESC_LO12 = VK_TLSDESC | VK_PAGEOFF,
101 VK_TLSDESC_PAGE = VK_TLSDESC | VK_PAGE,
102 VK_SECREL_LO12 = VK_SECREL | VK_PAGEOFF,
103 VK_SECREL_HI12 = VK_SECREL | VK_HI12,
110 const VariantKind Kind;
112 explicit AArch64MCExpr(const MCExpr *Expr, VariantKind Kind)
113 : Expr(Expr), Kind(Kind) {}
116 /// @name Construction
119 static const AArch64MCExpr *create(const MCExpr *Expr, VariantKind Kind,
126 /// Get the kind of this expression.
127 VariantKind getKind() const { return Kind; }
129 /// Get the expression this modifier applies to.
130 const MCExpr *getSubExpr() const { return Expr; }
133 /// @name VariantKind information extractors.
136 static VariantKind getSymbolLoc(VariantKind Kind) {
137 return static_cast<VariantKind>(Kind & VK_SymLocBits);
140 static VariantKind getAddressFrag(VariantKind Kind) {
141 return static_cast<VariantKind>(Kind & VK_AddressFragBits);
144 static bool isNotChecked(VariantKind Kind) { return Kind & VK_NC; }
148 /// Convert the variant kind into an ELF-appropriate modifier
149 /// (e.g. ":got:", ":lo12:").
150 StringRef getVariantKindName() const;
152 void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override;
154 void visitUsedExpr(MCStreamer &Streamer) const override;
156 MCFragment *findAssociatedFragment() const override;
158 bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout,
159 const MCFixup *Fixup) const override;
161 void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override;
163 static bool classof(const MCExpr *E) {
164 return E->getKind() == MCExpr::Target;
167 static bool classof(const AArch64MCExpr *) { return true; }
169 } // end namespace llvm