1 //=--- AArch64MCExpr.h - AArch64 specific MC expression classes ---*- C++ -*-=// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file describes AArch64-specific MCExprs, used for modifiers like 11 // ":lo12:" or ":gottprel_g1:". 12 // 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H 16 #define LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H 17 18 #include "llvm/MC/MCExpr.h" 19 #include "llvm/Support/ErrorHandling.h" 20 21 namespace llvm { 22 23 class AArch64MCExpr : public MCTargetExpr { 24 public: 25 enum VariantKind { 26 VK_NONE = 0x000, 27 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, ... 31 VK_ABS = 0x001, 32 VK_SABS = 0x002, 33 VK_GOT = 0x003, 34 VK_DTPREL = 0x004, 35 VK_GOTTPREL = 0x005, 36 VK_TPREL = 0x006, 37 VK_TLSDESC = 0x007, 38 VK_SECREL = 0x008, 39 VK_SymLocBits = 0x00f, 40 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 43 // MOVZ/MOVK. 44 VK_PAGE = 0x010, 45 VK_PAGEOFF = 0x020, 46 VK_HI12 = 0x030, 47 VK_G0 = 0x040, 48 VK_G1 = 0x050, 49 VK_G2 = 0x060, 50 VK_G3 = 0x070, 51 VK_AddressFragBits = 0x0f0, 52 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! 58 VK_NC = 0x100, 59 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:"). 64 VK_CALL = VK_ABS, 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, 104 105 VK_INVALID = 0xfff 106 }; 107 108 private: 109 const MCExpr *Expr; 110 const VariantKind Kind; 111 AArch64MCExpr(const MCExpr * Expr,VariantKind Kind)112 explicit AArch64MCExpr(const MCExpr *Expr, VariantKind Kind) 113 : Expr(Expr), Kind(Kind) {} 114 115 public: 116 /// @name Construction 117 /// @{ 118 119 static const AArch64MCExpr *create(const MCExpr *Expr, VariantKind Kind, 120 MCContext &Ctx); 121 122 /// @} 123 /// @name Accessors 124 /// @{ 125 126 /// Get the kind of this expression. getKind()127 VariantKind getKind() const { return Kind; } 128 129 /// Get the expression this modifier applies to. getSubExpr()130 const MCExpr *getSubExpr() const { return Expr; } 131 132 /// @} 133 /// @name VariantKind information extractors. 134 /// @{ 135 getSymbolLoc(VariantKind Kind)136 static VariantKind getSymbolLoc(VariantKind Kind) { 137 return static_cast<VariantKind>(Kind & VK_SymLocBits); 138 } 139 getAddressFrag(VariantKind Kind)140 static VariantKind getAddressFrag(VariantKind Kind) { 141 return static_cast<VariantKind>(Kind & VK_AddressFragBits); 142 } 143 isNotChecked(VariantKind Kind)144 static bool isNotChecked(VariantKind Kind) { return Kind & VK_NC; } 145 146 /// @} 147 148 /// Convert the variant kind into an ELF-appropriate modifier 149 /// (e.g. ":got:", ":lo12:"). 150 StringRef getVariantKindName() const; 151 152 void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override; 153 154 void visitUsedExpr(MCStreamer &Streamer) const override; 155 156 MCFragment *findAssociatedFragment() const override; 157 158 bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, 159 const MCFixup *Fixup) const override; 160 161 void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override; 162 classof(const MCExpr * E)163 static bool classof(const MCExpr *E) { 164 return E->getKind() == MCExpr::Target; 165 } 166 classof(const AArch64MCExpr *)167 static bool classof(const AArch64MCExpr *) { return true; } 168 }; 169 } // end namespace llvm 170 171 #endif 172