LLVM 17.0.0git
AArch64MCExpr.h
Go to the documentation of this file.
1//=--- AArch64MCExpr.h - AArch64 specific MC expression classes ---*- C++ -*-=//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file describes AArch64-specific MCExprs, used for modifiers like
10// ":lo12:" or ":gottprel_g1:".
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H
15#define LLVM_LIB_TARGET_AARCH64_MCTARGETDESC_AARCH64MCEXPR_H
16
17#include "llvm/MC/MCExpr.h"
19
20namespace llvm {
21
23public:
25 // Symbol locations specifying (roughly speaking) what calculation should be
26 // performed to construct the final address for the relocated
27 // symbol. E.g. direct, via the GOT, ...
28 VK_ABS = 0x001,
29 VK_SABS = 0x002,
30 VK_PREL = 0x003,
31 VK_GOT = 0x004,
32 VK_DTPREL = 0x005,
33 VK_GOTTPREL = 0x006,
34 VK_TPREL = 0x007,
35 VK_TLSDESC = 0x008,
36 VK_SECREL = 0x009,
38
39 // Variants specifying which part of the final address calculation is
40 // used. E.g. the low 12 bits for an ADD/LDR, the middle 16 bits for a
41 // MOVZ/MOVK.
42 VK_PAGE = 0x010,
43 VK_PAGEOFF = 0x020,
44 VK_HI12 = 0x030,
45 VK_G0 = 0x040,
46 VK_G1 = 0x050,
47 VK_G2 = 0x060,
48 VK_G3 = 0x070,
49 VK_LO15 = 0x080,
51
52 // Whether the final relocation is a checked one (where a linker should
53 // perform a range-check on the final address) or not. Note that this field
54 // is unfortunately sometimes omitted from the assembly syntax. E.g. :lo12:
55 // on its own is a non-checked relocation. We side with ELF on being
56 // explicit about this!
57 VK_NC = 0x100,
58
59 // Convenience definitions for referring to specific textual representations
60 // of relocation specifiers. Note that this means the "_NC" is sometimes
61 // omitted in line with assembly syntax here (VK_LO12 rather than VK_LO12_NC
62 // since a user would write ":lo12:").
111
112 VK_INVALID = 0xfff
113 };
114
115private:
116 const MCExpr *Expr;
117 const VariantKind Kind;
118
119 explicit AArch64MCExpr(const MCExpr *Expr, VariantKind Kind)
120 : Expr(Expr), Kind(Kind) {}
121
122public:
123 /// @name Construction
124 /// @{
125
126 static const AArch64MCExpr *create(const MCExpr *Expr, VariantKind Kind,
127 MCContext &Ctx);
128
129 /// @}
130 /// @name Accessors
131 /// @{
132
133 /// Get the kind of this expression.
134 VariantKind getKind() const { return Kind; }
135
136 /// Get the expression this modifier applies to.
137 const MCExpr *getSubExpr() const { return Expr; }
138
139 /// @}
140 /// @name VariantKind information extractors.
141 /// @{
142
144 return static_cast<VariantKind>(Kind & VK_SymLocBits);
145 }
146
148 return static_cast<VariantKind>(Kind & VK_AddressFragBits);
149 }
150
151 static bool isNotChecked(VariantKind Kind) { return Kind & VK_NC; }
152
153 /// @}
154
155 /// Convert the variant kind into an ELF-appropriate modifier
156 /// (e.g. ":got:", ":lo12:").
158
159 void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override;
160
161 void visitUsedExpr(MCStreamer &Streamer) const override;
162
163 MCFragment *findAssociatedFragment() const override;
164
165 bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout,
166 const MCFixup *Fixup) const override;
167
168 void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override;
169
170 static bool classof(const MCExpr *E) {
171 return E->getKind() == MCExpr::Target;
172 }
173
174 static bool classof(const AArch64MCExpr *) { return true; }
175};
176} // end namespace llvm
177
178#endif
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
PowerPC TLS Dynamic Call Fixup
static VariantKind getSymbolLoc(VariantKind Kind)
void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override
static bool classof(const AArch64MCExpr *)
MCFragment * findAssociatedFragment() const override
StringRef getVariantKindName() const
Convert the variant kind into an ELF-appropriate modifier (e.g.
void visitUsedExpr(MCStreamer &Streamer) const override
static bool isNotChecked(VariantKind Kind)
static VariantKind getAddressFrag(VariantKind Kind)
static const AArch64MCExpr * create(const MCExpr *Expr, VariantKind Kind, MCContext &Ctx)
static bool classof(const MCExpr *E)
const MCExpr * getSubExpr() const
Get the expression this modifier applies to.
VariantKind getKind() const
Get the kind of this expression.
void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override
bool evaluateAsRelocatableImpl(MCValue &Res, const MCAsmLayout *Layout, const MCFixup *Fixup) const override
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:28
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:35
@ Target
Target specific expression.
Definition: MCExpr.h:42
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:71
Streaming machine code generation interface.
Definition: MCStreamer.h:212
This is an extension point for target-specific MCExpr subclasses to implement.
Definition: MCExpr.h:645
This represents an "assembler immediate".
Definition: MCValue.h:36
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18