2017-04-25 01:21:38 +02:00
|
|
|
//===- RecordStreamer.h - Record asm defined and used symbols ---*- C++ -*-===//
|
2014-07-03 20:59:23 +02:00
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2014-07-03 20:59:23 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-13 18:26:38 +02:00
|
|
|
#ifndef LLVM_LIB_OBJECT_RECORDSTREAMER_H
|
|
|
|
#define LLVM_LIB_OBJECT_RECORDSTREAMER_H
|
2014-07-03 20:59:23 +02:00
|
|
|
|
2017-04-25 01:21:38 +02:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
|
|
|
#include "llvm/ADT/StringMap.h"
|
|
|
|
#include "llvm/MC/MCDirectives.h"
|
2014-07-03 20:59:23 +02:00
|
|
|
#include "llvm/MC/MCStreamer.h"
|
2017-04-25 01:21:38 +02:00
|
|
|
#include "llvm/MC/MCSymbol.h"
|
|
|
|
#include "llvm/Support/SMLoc.h"
|
|
|
|
#include <vector>
|
2014-07-03 20:59:23 +02:00
|
|
|
|
|
|
|
namespace llvm {
|
2017-04-25 01:21:38 +02:00
|
|
|
|
2018-03-20 01:38:33 +01:00
|
|
|
class GlobalValue;
|
|
|
|
class Module;
|
|
|
|
|
2014-07-03 20:59:23 +02:00
|
|
|
class RecordStreamer : public MCStreamer {
|
|
|
|
public:
|
2016-09-15 19:54:22 +02:00
|
|
|
enum State { NeverSeen, Global, Defined, DefinedGlobal, DefinedWeak, Used,
|
|
|
|
UndefinedWeak};
|
2014-07-03 20:59:23 +02:00
|
|
|
|
|
|
|
private:
|
2018-03-20 01:38:33 +01:00
|
|
|
const Module &M;
|
2014-07-03 20:59:23 +02:00
|
|
|
StringMap<State> Symbols;
|
Perform symbol binding for .symver versioned symbols
Summary:
In a .symver assembler directive like:
.symver name, name2@@nodename
"name2@@nodename" should get the same symbol binding as "name".
While the ELF object writer is updating the symbol binding for .symver
aliases before emitting the object file, not doing so when the module
inline assembly is handled by the RecordStreamer is causing the wrong
behavior in *LTO mode.
E.g. when "name" is global, "name2@@nodename" must also be marked as
global. Otherwise, the symbol is skipped when iterating over the LTO
InputFile symbols (InputFile::Symbol::shouldSkip). So, for example,
when performing any *LTO via the gold-plugin, the versioned symbol
definition is not recorded by the plugin and passed back to the
linker. If the object was in an archive, and there were no other symbols
needed from that object, the object would not be included in the final
link and references to the versioned symbol are undefined.
The llvm-lto2 tests added will give an error about an unused symbol
resolution without the fix.
Reviewers: rafael, pcc
Reviewed By: pcc
Subscribers: mehdi_amini, llvm-commits
Differential Revision: https://reviews.llvm.org/D30485
llvm-svn: 297332
2017-03-09 01:19:49 +01:00
|
|
|
// Map of aliases created by .symver directives, saved so we can update
|
|
|
|
// their symbol binding after parsing complete. This maps from each
|
|
|
|
// aliasee to its list of aliases.
|
2018-03-20 01:38:33 +01:00
|
|
|
DenseMap<const MCSymbol *, std::vector<StringRef>> SymverAliasMap;
|
|
|
|
|
|
|
|
/// Get the state recorded for the given symbol.
|
|
|
|
State getSymbolState(const MCSymbol *Sym);
|
2017-04-25 01:21:38 +02:00
|
|
|
|
2014-07-03 20:59:23 +02:00
|
|
|
void markDefined(const MCSymbol &Symbol);
|
2016-06-22 22:48:15 +02:00
|
|
|
void markGlobal(const MCSymbol &Symbol, MCSymbolAttr Attribute);
|
2014-07-03 20:59:23 +02:00
|
|
|
void markUsed(const MCSymbol &Symbol);
|
|
|
|
void visitUsedSymbol(const MCSymbol &Sym) override;
|
|
|
|
|
|
|
|
public:
|
2018-03-20 01:38:33 +01:00
|
|
|
RecordStreamer(MCContext &Context, const Module &M);
|
2017-04-25 01:21:38 +02:00
|
|
|
|
2019-02-04 13:51:26 +01:00
|
|
|
void EmitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI) override;
|
2017-02-10 16:13:12 +01:00
|
|
|
void EmitLabel(MCSymbol *Symbol, SMLoc Loc = SMLoc()) override;
|
2014-07-03 20:59:23 +02:00
|
|
|
void EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) override;
|
|
|
|
bool EmitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute) override;
|
2015-05-21 21:20:38 +02:00
|
|
|
void EmitZerofill(MCSection *Section, MCSymbol *Symbol, uint64_t Size,
|
2018-07-02 19:29:43 +02:00
|
|
|
unsigned ByteAlignment, SMLoc Loc = SMLoc()) override;
|
2014-07-03 20:59:23 +02:00
|
|
|
void EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
|
|
|
|
unsigned ByteAlignment) override;
|
2019-01-24 22:41:03 +01:00
|
|
|
|
|
|
|
// Ignore COFF-specific directives; we do not need any information from them,
|
|
|
|
// but the default implementation of these methods crashes, so we override
|
|
|
|
// them with versions that do nothing.
|
|
|
|
void BeginCOFFSymbolDef(const MCSymbol *Symbol) override {}
|
|
|
|
void EmitCOFFSymbolStorageClass(int StorageClass) override {}
|
|
|
|
void EmitCOFFSymbolType(int Type) override {}
|
|
|
|
void EndCOFFSymbolDef() override {}
|
|
|
|
|
Perform symbol binding for .symver versioned symbols
Summary:
In a .symver assembler directive like:
.symver name, name2@@nodename
"name2@@nodename" should get the same symbol binding as "name".
While the ELF object writer is updating the symbol binding for .symver
aliases before emitting the object file, not doing so when the module
inline assembly is handled by the RecordStreamer is causing the wrong
behavior in *LTO mode.
E.g. when "name" is global, "name2@@nodename" must also be marked as
global. Otherwise, the symbol is skipped when iterating over the LTO
InputFile symbols (InputFile::Symbol::shouldSkip). So, for example,
when performing any *LTO via the gold-plugin, the versioned symbol
definition is not recorded by the plugin and passed back to the
linker. If the object was in an archive, and there were no other symbols
needed from that object, the object would not be included in the final
link and references to the versioned symbol are undefined.
The llvm-lto2 tests added will give an error about an unused symbol
resolution without the fix.
Reviewers: rafael, pcc
Reviewed By: pcc
Subscribers: mehdi_amini, llvm-commits
Differential Revision: https://reviews.llvm.org/D30485
llvm-svn: 297332
2017-03-09 01:19:49 +01:00
|
|
|
/// Record .symver aliases for later processing.
|
2018-03-09 19:42:25 +01:00
|
|
|
void emitELFSymverDirective(StringRef AliasName,
|
Perform symbol binding for .symver versioned symbols
Summary:
In a .symver assembler directive like:
.symver name, name2@@nodename
"name2@@nodename" should get the same symbol binding as "name".
While the ELF object writer is updating the symbol binding for .symver
aliases before emitting the object file, not doing so when the module
inline assembly is handled by the RecordStreamer is causing the wrong
behavior in *LTO mode.
E.g. when "name" is global, "name2@@nodename" must also be marked as
global. Otherwise, the symbol is skipped when iterating over the LTO
InputFile symbols (InputFile::Symbol::shouldSkip). So, for example,
when performing any *LTO via the gold-plugin, the versioned symbol
definition is not recorded by the plugin and passed back to the
linker. If the object was in an archive, and there were no other symbols
needed from that object, the object would not be included in the final
link and references to the versioned symbol are undefined.
The llvm-lto2 tests added will give an error about an unused symbol
resolution without the fix.
Reviewers: rafael, pcc
Reviewed By: pcc
Subscribers: mehdi_amini, llvm-commits
Differential Revision: https://reviews.llvm.org/D30485
llvm-svn: 297332
2017-03-09 01:19:49 +01:00
|
|
|
const MCSymbol *Aliasee) override;
|
2018-04-20 03:36:48 +02:00
|
|
|
|
2018-03-20 01:38:33 +01:00
|
|
|
// Emit ELF .symver aliases and ensure they have the same binding as the
|
|
|
|
// defined symbol they alias with.
|
|
|
|
void flushSymverDirectives();
|
2018-04-20 03:36:48 +02:00
|
|
|
|
|
|
|
// Symbols iterators
|
|
|
|
using const_iterator = StringMap<State>::const_iterator;
|
|
|
|
const_iterator begin();
|
|
|
|
const_iterator end();
|
|
|
|
|
|
|
|
// SymverAliasMap iterators
|
|
|
|
using const_symver_iterator = decltype(SymverAliasMap)::const_iterator;
|
|
|
|
iterator_range<const_symver_iterator> symverAliases();
|
2014-07-03 20:59:23 +02:00
|
|
|
};
|
2017-04-25 01:21:38 +02:00
|
|
|
|
|
|
|
} // end namespace llvm
|
|
|
|
|
|
|
|
#endif // LLVM_LIB_OBJECT_RECORDSTREAMER_H
|