LLVM 20.0.0git
AArch64MCExpr.cpp
Go to the documentation of this file.
1//===-- AArch64MCExpr.cpp - AArch64 specific MC expression classes --------===//
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 contains the implementation of the assembly expression modifiers
10// accepted by the AArch64 architecture (e.g. ":lo12:", ":gottprel_g1:", ...).
11//
12//===----------------------------------------------------------------------===//
13
14#include "AArch64MCExpr.h"
16#include "llvm/MC/MCContext.h"
17#include "llvm/MC/MCStreamer.h"
18#include "llvm/MC/MCSymbolELF.h"
19#include "llvm/MC/MCValue.h"
22
23using namespace llvm;
24
25#define DEBUG_TYPE "aarch64symbolrefexpr"
26
28 MCContext &Ctx) {
29 return new (Ctx) AArch64MCExpr(Expr, Kind);
30}
31
33 switch (static_cast<uint32_t>(getKind())) {
34 case VK_CALL: return "";
35 case VK_LO12: return ":lo12:";
36 case VK_ABS_G3: return ":abs_g3:";
37 case VK_ABS_G2: return ":abs_g2:";
38 case VK_ABS_G2_S: return ":abs_g2_s:";
39 case VK_ABS_G2_NC: return ":abs_g2_nc:";
40 case VK_ABS_G1: return ":abs_g1:";
41 case VK_ABS_G1_S: return ":abs_g1_s:";
42 case VK_ABS_G1_NC: return ":abs_g1_nc:";
43 case VK_ABS_G0: return ":abs_g0:";
44 case VK_ABS_G0_S: return ":abs_g0_s:";
45 case VK_ABS_G0_NC: return ":abs_g0_nc:";
46 case VK_PREL_G3: return ":prel_g3:";
47 case VK_PREL_G2: return ":prel_g2:";
48 case VK_PREL_G2_NC: return ":prel_g2_nc:";
49 case VK_PREL_G1: return ":prel_g1:";
50 case VK_PREL_G1_NC: return ":prel_g1_nc:";
51 case VK_PREL_G0: return ":prel_g0:";
52 case VK_PREL_G0_NC: return ":prel_g0_nc:";
53 case VK_DTPREL_G2: return ":dtprel_g2:";
54 case VK_DTPREL_G1: return ":dtprel_g1:";
55 case VK_DTPREL_G1_NC: return ":dtprel_g1_nc:";
56 case VK_DTPREL_G0: return ":dtprel_g0:";
57 case VK_DTPREL_G0_NC: return ":dtprel_g0_nc:";
58 case VK_DTPREL_HI12: return ":dtprel_hi12:";
59 case VK_DTPREL_LO12: return ":dtprel_lo12:";
60 case VK_DTPREL_LO12_NC: return ":dtprel_lo12_nc:";
61 case VK_TPREL_G2: return ":tprel_g2:";
62 case VK_TPREL_G1: return ":tprel_g1:";
63 case VK_TPREL_G1_NC: return ":tprel_g1_nc:";
64 case VK_TPREL_G0: return ":tprel_g0:";
65 case VK_TPREL_G0_NC: return ":tprel_g0_nc:";
66 case VK_TPREL_HI12: return ":tprel_hi12:";
67 case VK_TPREL_LO12: return ":tprel_lo12:";
68 case VK_TPREL_LO12_NC: return ":tprel_lo12_nc:";
69 case VK_TLSDESC_LO12: return ":tlsdesc_lo12:";
70 case VK_ABS_PAGE: return "";
71 case VK_ABS_PAGE_NC: return ":pg_hi21_nc:";
72 case VK_GOT: return ":got:";
73 case VK_GOT_PAGE: return ":got:";
74 case VK_GOT_PAGE_LO15: return ":gotpage_lo15:";
75 case VK_GOT_LO12: return ":got_lo12:";
76 case VK_GOTTPREL: return ":gottprel:";
77 case VK_GOTTPREL_PAGE: return ":gottprel:";
78 case VK_GOTTPREL_LO12_NC: return ":gottprel_lo12:";
79 case VK_GOTTPREL_G1: return ":gottprel_g1:";
80 case VK_GOTTPREL_G0_NC: return ":gottprel_g0_nc:";
81 case VK_TLSDESC: return "";
82 case VK_TLSDESC_PAGE: return ":tlsdesc:";
83 case VK_SECREL_LO12: return ":secrel_lo12:";
84 case VK_SECREL_HI12: return ":secrel_hi12:";
85 default:
86 llvm_unreachable("Invalid ELF symbol kind");
87 }
88}
89
92 Expr->print(OS, MAI);
93}
94
96 Streamer.visitUsedExpr(*getSubExpr());
97}
98
100 llvm_unreachable("FIXME: what goes here?");
101}
102
104 const MCAssembler *Asm,
105 const MCFixup *Fixup) const {
106 if (!getSubExpr()->evaluateAsRelocatable(Res, Asm, Fixup))
107 return false;
108
109 Res =
110 MCValue::get(Res.getSymA(), Res.getSymB(), Res.getConstant(), getKind());
111
112 return true;
113}
114
115static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm) {
116 switch (Expr->getKind()) {
117 case MCExpr::Target:
118 llvm_unreachable("Can't handle nested target expression");
119 break;
120 case MCExpr::Constant:
121 break;
122
123 case MCExpr::Binary: {
124 const MCBinaryExpr *BE = cast<MCBinaryExpr>(Expr);
127 break;
128 }
129
130 case MCExpr::SymbolRef: {
131 // We're known to be under a TLS fixup, so any symbol should be
132 // modified. There should be only one.
133 const MCSymbolRefExpr &SymRef = *cast<MCSymbolRefExpr>(Expr);
134 cast<MCSymbolELF>(SymRef.getSymbol()).setType(ELF::STT_TLS);
135 break;
136 }
137
138 case MCExpr::Unary:
139 fixELFSymbolsInTLSFixupsImpl(cast<MCUnaryExpr>(Expr)->getSubExpr(), Asm);
140 break;
141 }
142}
143
145 switch (getSymbolLoc(Kind)) {
146 default:
147 return;
148 case VK_DTPREL:
149 case VK_GOTTPREL:
150 case VK_TPREL:
151 case VK_TLSDESC:
152 break;
153 }
154
156}
157
159 uint16_t Discriminator,
161 bool HasAddressDiversity,
162 MCContext &Ctx) {
163 return new (Ctx)
164 AArch64AuthMCExpr(Expr, Discriminator, Key, HasAddressDiversity);
165}
166
168 bool WrapSubExprInParens = !isa<MCSymbolRefExpr>(getSubExpr());
169 if (WrapSubExprInParens)
170 OS << '(';
171 getSubExpr()->print(OS, MAI);
172 if (WrapSubExprInParens)
173 OS << ')';
174
175 OS << "@AUTH(" << AArch64PACKeyIDToString(Key) << ',' << Discriminator;
177 OS << ",addr";
178 OS << ')';
179}
180
182 Streamer.visitUsedExpr(*getSubExpr());
183}
184
186 llvm_unreachable("FIXME: what goes here?");
187}
188
190 const MCAssembler *Asm,
191 const MCFixup *Fixup) const {
192 if (!getSubExpr()->evaluateAsRelocatable(Res, Asm, Fixup))
193 return false;
194
195 if (Res.getSymB())
196 report_fatal_error("Auth relocation can't reference two symbols");
197
198 Res = MCValue::get(Res.getSymA(), nullptr, Res.getConstant(), getKind());
199 return true;
200}
static void fixELFSymbolsInTLSFixupsImpl(const MCExpr *Expr, MCAssembler &Asm)
PowerPC TLS Dynamic Call Fixup
raw_pwrite_stream & OS
bool evaluateAsRelocatableImpl(MCValue &Res, const MCAssembler *Asm, const MCFixup *Fixup) const override
bool hasAddressDiversity() const
static const AArch64AuthMCExpr * create(const MCExpr *Expr, uint16_t Discriminator, AArch64PACKey::ID Key, bool HasAddressDiversity, MCContext &Ctx)
void visitUsedExpr(MCStreamer &Streamer) const override
void printImpl(raw_ostream &OS, const MCAsmInfo *MAI) const override
MCFragment * findAssociatedFragment() const override
static VariantKind getSymbolLoc(VariantKind Kind)
void fixELFSymbolsInTLSFixups(MCAssembler &Asm) const override
bool evaluateAsRelocatableImpl(MCValue &Res, const MCAssembler *Asm, const MCFixup *Fixup) const override
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 const AArch64MCExpr * create(const MCExpr *Expr, VariantKind Kind, MCContext &Ctx)
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
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
Binary assembler expressions.
Definition: MCExpr.h:488
const MCExpr * getLHS() const
Get the left-hand side expression of the binary operator.
Definition: MCExpr.h:635
const MCExpr * getRHS() const
Get the right-hand side expression of the binary operator.
Definition: MCExpr.h:638
Context object for machine code objects.
Definition: MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:34
@ Unary
Unary expressions.
Definition: MCExpr.h:40
@ Constant
Constant expressions.
Definition: MCExpr.h:38
@ SymbolRef
References to labels and assigned expressions.
Definition: MCExpr.h:39
@ Target
Target specific expression.
Definition: MCExpr.h:41
@ Binary
Binary expressions.
Definition: MCExpr.h:37
bool evaluateAsRelocatable(MCValue &Res, const MCAssembler *Asm, const MCFixup *Fixup) const
Try to evaluate the expression to a relocatable value, i.e.
Definition: MCExpr.cpp:788
void print(raw_ostream &OS, const MCAsmInfo *MAI, bool InParens=false) const
Definition: MCExpr.cpp:40
ExprKind getKind() const
Definition: MCExpr.h:78
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:213
void visitUsedExpr(const MCExpr &Expr)
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:188
const MCSymbol & getSymbol() const
Definition: MCExpr.h:406
This represents an "assembler immediate".
Definition: MCValue.h:36
int64_t getConstant() const
Definition: MCValue.h:43
static MCValue get(const MCSymbolRefExpr *SymA, const MCSymbolRefExpr *SymB=nullptr, int64_t Val=0, uint32_t RefKind=0)
Definition: MCValue.h:59
const MCSymbolRefExpr * getSymB() const
Definition: MCValue.h:45
const MCSymbolRefExpr * getSymA() const
Definition: MCValue.h:44
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
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ STT_TLS
Definition: ELF.h:1349
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
static StringRef AArch64PACKeyIDToString(AArch64PACKey::ID KeyID)
Return 2-letter identifier string for numeric key ID.