1 //===-- RecordStreamer.cpp - Record asm defined and used symbols ----------===//
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
7 //===----------------------------------------------------------------------===//
9 #include "RecordStreamer.h"
10 #include "llvm/IR/Mangler.h"
11 #include "llvm/IR/Module.h"
12 #include "llvm/MC/MCContext.h"
13 #include "llvm/MC/MCSymbol.h"
17 void RecordStreamer::markDefined(const MCSymbol
&Symbol
) {
18 State
&S
= Symbols
[Symbol
.getName()];
36 void RecordStreamer::markGlobal(const MCSymbol
&Symbol
,
37 MCSymbolAttr Attribute
) {
38 State
&S
= Symbols
[Symbol
.getName()];
42 S
= (Attribute
== MCSA_Weak
) ? DefinedWeak
: DefinedGlobal
;
48 S
= (Attribute
== MCSA_Weak
) ? UndefinedWeak
: Global
;
56 void RecordStreamer::markUsed(const MCSymbol
&Symbol
) {
57 State
&S
= Symbols
[Symbol
.getName()];
73 void RecordStreamer::visitUsedSymbol(const MCSymbol
&Sym
) { markUsed(Sym
); }
75 RecordStreamer::RecordStreamer(MCContext
&Context
, const Module
&M
)
76 : MCStreamer(Context
), M(M
) {}
78 RecordStreamer::const_iterator
RecordStreamer::begin() {
79 return Symbols
.begin();
82 RecordStreamer::const_iterator
RecordStreamer::end() { return Symbols
.end(); }
84 void RecordStreamer::emitInstruction(const MCInst
&Inst
,
85 const MCSubtargetInfo
&STI
) {
86 MCStreamer::emitInstruction(Inst
, STI
);
89 void RecordStreamer::emitLabel(MCSymbol
*Symbol
, SMLoc Loc
) {
90 MCStreamer::emitLabel(Symbol
);
94 void RecordStreamer::emitAssignment(MCSymbol
*Symbol
, const MCExpr
*Value
) {
96 MCStreamer::emitAssignment(Symbol
, Value
);
99 bool RecordStreamer::emitSymbolAttribute(MCSymbol
*Symbol
,
100 MCSymbolAttr Attribute
) {
101 if (Attribute
== MCSA_Global
|| Attribute
== MCSA_Weak
)
102 markGlobal(*Symbol
, Attribute
);
103 if (Attribute
== MCSA_LazyReference
)
108 void RecordStreamer::emitZerofill(MCSection
*Section
, MCSymbol
*Symbol
,
109 uint64_t Size
, Align ByteAlignment
,
111 markDefined(*Symbol
);
114 void RecordStreamer::emitCommonSymbol(MCSymbol
*Symbol
, uint64_t Size
,
115 Align ByteAlignment
) {
116 markDefined(*Symbol
);
119 RecordStreamer::State
RecordStreamer::getSymbolState(const MCSymbol
*Sym
) {
120 auto SI
= Symbols
.find(Sym
->getName());
121 if (SI
== Symbols
.end())
126 void RecordStreamer::emitELFSymverDirective(const MCSymbol
*OriginalSym
,
128 bool KeepOriginalSym
) {
129 SymverAliasMap
[OriginalSym
].push_back(Name
);
132 iterator_range
<RecordStreamer::const_symver_iterator
>
133 RecordStreamer::symverAliases() {
134 return {SymverAliasMap
.begin(), SymverAliasMap
.end()};
137 void RecordStreamer::flushSymverDirectives() {
138 // Mapping from mangled name to GV.
139 StringMap
<const GlobalValue
*> MangledNameMap
;
140 // The name in the assembler will be mangled, but the name in the IR
141 // might not, so we first compute a mapping from mangled name to GV.
143 SmallString
<64> MangledName
;
144 for (const GlobalValue
&GV
: M
.global_values()) {
148 MangledName
.reserve(GV
.getName().size() + 1);
149 Mang
.getNameWithPrefix(MangledName
, &GV
, /*CannotUsePrivateLabel=*/false);
150 MangledNameMap
[MangledName
] = &GV
;
153 // Walk all the recorded .symver aliases, and set up the binding
155 for (auto &Symver
: SymverAliasMap
) {
156 const MCSymbol
*Aliasee
= Symver
.first
;
157 MCSymbolAttr Attr
= MCSA_Invalid
;
158 bool IsDefined
= false;
160 // First check if the aliasee binding was recorded in the asm.
161 RecordStreamer::State state
= getSymbolState(Aliasee
);
163 case RecordStreamer::Global
:
164 case RecordStreamer::DefinedGlobal
:
167 case RecordStreamer::UndefinedWeak
:
168 case RecordStreamer::DefinedWeak
:
176 case RecordStreamer::Defined
:
177 case RecordStreamer::DefinedGlobal
:
178 case RecordStreamer::DefinedWeak
:
181 case RecordStreamer::NeverSeen
:
182 case RecordStreamer::Global
:
183 case RecordStreamer::Used
:
184 case RecordStreamer::UndefinedWeak
:
188 if (Attr
== MCSA_Invalid
|| !IsDefined
) {
189 const GlobalValue
*GV
= M
.getNamedValue(Aliasee
->getName());
191 auto MI
= MangledNameMap
.find(Aliasee
->getName());
192 if (MI
!= MangledNameMap
.end())
196 // If we don't have a symbol attribute from assembly, then check if
197 // the aliasee was defined in the IR.
198 if (Attr
== MCSA_Invalid
) {
199 if (GV
->hasExternalLinkage())
201 else if (GV
->hasLocalLinkage())
203 else if (GV
->isWeakForLinker())
206 IsDefined
= IsDefined
|| !GV
->isDeclarationForLinker();
210 // Set the detected binding on each alias with this aliasee.
211 for (auto AliasName
: Symver
.second
) {
212 std::pair
<StringRef
, StringRef
> Split
= AliasName
.split("@@@");
213 SmallString
<128> NewName
;
214 if (!Split
.second
.empty() && !Split
.second
.startswith("@")) {
215 // Special processing for "@@@" according
216 // https://sourceware.org/binutils/docs/as/Symver.html
217 const char *Separator
= IsDefined
? "@@" : "@";
219 (Split
.first
+ Separator
+ Split
.second
).toStringRef(NewName
);
221 MCSymbol
*Alias
= getContext().getOrCreateSymbol(AliasName
);
222 // TODO: Handle "@@@". Depending on SymbolAttribute value it needs to be
223 // converted into @ or @@.
224 const MCExpr
*Value
= MCSymbolRefExpr::create(Aliasee
, getContext());
227 // Don't use EmitAssignment override as it always marks alias as defined.
228 MCStreamer::emitAssignment(Alias
, Value
);
229 if (Attr
!= MCSA_Invalid
)
230 emitSymbolAttribute(Alias
, Attr
);