
Ensure that symbols explicitly* assigned a section name are placed into a section with a compatible entry size. This is done by creating multiple sections with the same name** if incompatible symbols are explicitly given the name of an incompatible section, whilst: - Avoiding using uniqued sections where possible (for readability and to maximize compatibly with assemblers). - Creating as few SHF_MERGE sections as possible (for efficiency). Given that each symbol is assigned to a section in a single pass, we must decide which section each symbol is assigned to without seeing the properties of all symbols. A stable and easy to understand assignment is desirable. The following rules facilitate this: The "generic" section for a given section name will be mergeable if the name is a mergeable "default" section name (such as .debug_str), a mergeable "implicit" section name (such as .rodata.str2.2), or MC has already created a mergeable "generic" section for the given section name (e.g. in response to a section directive in inline assembly). Otherwise, the "generic" section for a given name is non-mergeable; and, non-mergeable symbols are assigned to the "generic" section, while mergeable symbols are assigned to uniqued sections. Terminology: "default" sections are those always created by MC initially, e.g. .text or .debug_str. "implicit" sections are those created normally by MC in response to the symbols that it encounters, i.e. in the absence of an explicit section name assignment on the symbol, e.g. a function foo might be placed into a .text.foo section. "generic" sections are those that are referred to when a unique section ID is not supplied, e.g. if there are multiple unique .bob sections then ".quad .bob" will reference the generic .bob section. Typically, the generic section is just the first section of a given name to be created. Default sections are always generic. * Typically, section names might be explicitly assigned in source code using a language extension e.g. a section attribute: _attribute_ ((section ("section-name"))) - https://clang.llvm.org/docs/AttributeReference.html ** I refer to such sections as unique/uniqued sections. In assembly the ", unique," assembly syntax is used to express such sections. Fixes https://bugs.llvm.org/show_bug.cgi?id=43457. See https://reviews.llvm.org/D68101 for previous discussions leading to this patch. Some minor fixes were required to LLVM's tests, for tests had been using the old behavior - which allowed for explicitly assigning globals with incompatible entry sizes to a section. This fix relies on the ",unique ," assembly feature. This feature is not available until bintuils version 2.35 (https://sourceware.org/bugzilla/show_bug.cgi?id=25380). If the integrated assembler is not being used then we avoid using this feature for compatibility and instead try to place mergeable symbols into non-mergeable sections or issue an error otherwise. Differential Revision: https://reviews.llvm.org/D72194
241 lines
8.6 KiB
C++
241 lines
8.6 KiB
C++
//===--- RTDyldObjectLinkingLayerTest.cpp - RTDyld linking layer tests ---===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "OrcTestCommon.h"
|
|
#include "llvm/ExecutionEngine/ExecutionEngine.h"
|
|
#include "llvm/ExecutionEngine/Orc/CompileUtils.h"
|
|
#include "llvm/ExecutionEngine/Orc/IRCompileLayer.h"
|
|
#include "llvm/ExecutionEngine/Orc/LambdaResolver.h"
|
|
#include "llvm/ExecutionEngine/Orc/Legacy.h"
|
|
#include "llvm/ExecutionEngine/Orc/NullResolver.h"
|
|
#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
|
|
#include "llvm/ExecutionEngine/SectionMemoryManager.h"
|
|
#include "llvm/IR/Constants.h"
|
|
#include "llvm/IR/LLVMContext.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
using namespace llvm;
|
|
using namespace llvm::orc;
|
|
|
|
namespace {
|
|
|
|
class RTDyldObjectLinkingLayerExecutionTest : public testing::Test,
|
|
public OrcExecutionTest {};
|
|
|
|
// Adds an object with a debug section to RuntimeDyld and then returns whether
|
|
// the debug section was passed to the memory manager.
|
|
static bool testSetProcessAllSections(std::unique_ptr<MemoryBuffer> Obj,
|
|
bool ProcessAllSections) {
|
|
class MemoryManagerWrapper : public SectionMemoryManager {
|
|
public:
|
|
MemoryManagerWrapper(bool &DebugSeen) : DebugSeen(DebugSeen) {}
|
|
uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
|
|
unsigned SectionID, StringRef SectionName,
|
|
bool IsReadOnly) override {
|
|
if (SectionName == ".debug_str")
|
|
DebugSeen = true;
|
|
return SectionMemoryManager::allocateDataSection(
|
|
Size, Alignment, SectionID, SectionName, IsReadOnly);
|
|
}
|
|
|
|
private:
|
|
bool &DebugSeen;
|
|
};
|
|
|
|
bool DebugSectionSeen = false;
|
|
|
|
ExecutionSession ES;
|
|
auto &JD = ES.createBareJITDylib("main");
|
|
auto Foo = ES.intern("foo");
|
|
|
|
RTDyldObjectLinkingLayer ObjLayer(ES, [&DebugSectionSeen]() {
|
|
return std::make_unique<MemoryManagerWrapper>(DebugSectionSeen);
|
|
});
|
|
|
|
auto OnResolveDoNothing = [](Expected<SymbolMap> R) {
|
|
cantFail(std::move(R));
|
|
};
|
|
|
|
ObjLayer.setProcessAllSections(ProcessAllSections);
|
|
cantFail(ObjLayer.add(JD, std::move(Obj), ES.allocateVModule()));
|
|
ES.lookup(LookupKind::Static, makeJITDylibSearchOrder(&JD),
|
|
SymbolLookupSet(Foo), SymbolState::Resolved, OnResolveDoNothing,
|
|
NoDependenciesToRegister);
|
|
|
|
return DebugSectionSeen;
|
|
}
|
|
|
|
TEST(RTDyldObjectLinkingLayerTest, TestSetProcessAllSections) {
|
|
LLVMContext Context;
|
|
auto M = std::make_unique<Module>("", Context);
|
|
M->setTargetTriple("x86_64-unknown-linux-gnu");
|
|
Constant *StrConstant = ConstantDataArray::getString(Context, "forty-two");
|
|
auto *GV =
|
|
new GlobalVariable(*M, StrConstant->getType(), true,
|
|
GlobalValue::ExternalLinkage, StrConstant, "foo");
|
|
GV->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
|
|
GV->setAlignment(Align(1));
|
|
|
|
GV->setSection(".debug_str");
|
|
|
|
// Initialize the native target in case this is the first unit test
|
|
// to try to build a TM.
|
|
OrcNativeTarget::initialize();
|
|
std::unique_ptr<TargetMachine> TM(EngineBuilder().selectTarget(
|
|
Triple(M->getTargetTriple()), "", "", SmallVector<std::string, 1>()));
|
|
if (!TM)
|
|
return;
|
|
|
|
auto Obj = cantFail(SimpleCompiler(*TM)(*M));
|
|
|
|
EXPECT_FALSE(testSetProcessAllSections(
|
|
MemoryBuffer::getMemBufferCopy(Obj->getBuffer()), false))
|
|
<< "Debug section seen despite ProcessAllSections being false";
|
|
EXPECT_TRUE(testSetProcessAllSections(std::move(Obj), true))
|
|
<< "Expected to see debug section when ProcessAllSections is true";
|
|
}
|
|
|
|
TEST(RTDyldObjectLinkingLayerTest, TestOverrideObjectFlags) {
|
|
|
|
OrcNativeTarget::initialize();
|
|
|
|
std::unique_ptr<TargetMachine> TM(
|
|
EngineBuilder().selectTarget(Triple("x86_64-unknown-linux-gnu"), "", "",
|
|
SmallVector<std::string, 1>()));
|
|
|
|
if (!TM)
|
|
return;
|
|
|
|
// Our compiler is going to modify symbol visibility settings without telling
|
|
// ORC. This will test our ability to override the flags later.
|
|
class FunkySimpleCompiler : public SimpleCompiler {
|
|
public:
|
|
FunkySimpleCompiler(TargetMachine &TM) : SimpleCompiler(TM) {}
|
|
|
|
Expected<CompileResult> operator()(Module &M) {
|
|
auto *Foo = M.getFunction("foo");
|
|
assert(Foo && "Expected function Foo not found");
|
|
Foo->setVisibility(GlobalValue::HiddenVisibility);
|
|
return SimpleCompiler::operator()(M);
|
|
}
|
|
};
|
|
|
|
// Create a module with two void() functions: foo and bar.
|
|
ThreadSafeContext TSCtx(std::make_unique<LLVMContext>());
|
|
ThreadSafeModule M;
|
|
{
|
|
ModuleBuilder MB(*TSCtx.getContext(), TM->getTargetTriple().str(), "dummy");
|
|
MB.getModule()->setDataLayout(TM->createDataLayout());
|
|
|
|
Function *FooImpl = MB.createFunctionDecl(
|
|
FunctionType::get(Type::getVoidTy(*TSCtx.getContext()), {}, false),
|
|
"foo");
|
|
BasicBlock *FooEntry =
|
|
BasicBlock::Create(*TSCtx.getContext(), "entry", FooImpl);
|
|
IRBuilder<> B1(FooEntry);
|
|
B1.CreateRetVoid();
|
|
|
|
Function *BarImpl = MB.createFunctionDecl(
|
|
FunctionType::get(Type::getVoidTy(*TSCtx.getContext()), {}, false),
|
|
"bar");
|
|
BasicBlock *BarEntry =
|
|
BasicBlock::Create(*TSCtx.getContext(), "entry", BarImpl);
|
|
IRBuilder<> B2(BarEntry);
|
|
B2.CreateRetVoid();
|
|
|
|
M = ThreadSafeModule(MB.takeModule(), std::move(TSCtx));
|
|
}
|
|
|
|
// Create a simple stack and set the override flags option.
|
|
ExecutionSession ES;
|
|
auto &JD = ES.createBareJITDylib("main");
|
|
auto Foo = ES.intern("foo");
|
|
RTDyldObjectLinkingLayer ObjLayer(
|
|
ES, []() { return std::make_unique<SectionMemoryManager>(); });
|
|
IRCompileLayer CompileLayer(ES, ObjLayer,
|
|
std::make_unique<FunkySimpleCompiler>(*TM));
|
|
|
|
ObjLayer.setOverrideObjectFlagsWithResponsibilityFlags(true);
|
|
|
|
cantFail(CompileLayer.add(JD, std::move(M), ES.allocateVModule()));
|
|
ES.lookup(
|
|
LookupKind::Static, makeJITDylibSearchOrder(&JD), SymbolLookupSet(Foo),
|
|
SymbolState::Resolved,
|
|
[](Expected<SymbolMap> R) { cantFail(std::move(R)); },
|
|
NoDependenciesToRegister);
|
|
}
|
|
|
|
TEST(RTDyldObjectLinkingLayerTest, TestAutoClaimResponsibilityForSymbols) {
|
|
|
|
OrcNativeTarget::initialize();
|
|
|
|
std::unique_ptr<TargetMachine> TM(
|
|
EngineBuilder().selectTarget(Triple("x86_64-unknown-linux-gnu"), "", "",
|
|
SmallVector<std::string, 1>()));
|
|
|
|
if (!TM)
|
|
return;
|
|
|
|
// Our compiler is going to add a new symbol without telling ORC.
|
|
// This will test our ability to auto-claim responsibility later.
|
|
class FunkySimpleCompiler : public SimpleCompiler {
|
|
public:
|
|
FunkySimpleCompiler(TargetMachine &TM) : SimpleCompiler(TM) {}
|
|
|
|
Expected<CompileResult> operator()(Module &M) {
|
|
Function *BarImpl = Function::Create(
|
|
FunctionType::get(Type::getVoidTy(M.getContext()), {}, false),
|
|
GlobalValue::ExternalLinkage, "bar", &M);
|
|
BasicBlock *BarEntry =
|
|
BasicBlock::Create(M.getContext(), "entry", BarImpl);
|
|
IRBuilder<> B(BarEntry);
|
|
B.CreateRetVoid();
|
|
|
|
return SimpleCompiler::operator()(M);
|
|
}
|
|
};
|
|
|
|
// Create a module with two void() functions: foo and bar.
|
|
ThreadSafeContext TSCtx(std::make_unique<LLVMContext>());
|
|
ThreadSafeModule M;
|
|
{
|
|
ModuleBuilder MB(*TSCtx.getContext(), TM->getTargetTriple().str(), "dummy");
|
|
MB.getModule()->setDataLayout(TM->createDataLayout());
|
|
|
|
Function *FooImpl = MB.createFunctionDecl(
|
|
FunctionType::get(Type::getVoidTy(*TSCtx.getContext()), {}, false),
|
|
"foo");
|
|
BasicBlock *FooEntry =
|
|
BasicBlock::Create(*TSCtx.getContext(), "entry", FooImpl);
|
|
IRBuilder<> B(FooEntry);
|
|
B.CreateRetVoid();
|
|
|
|
M = ThreadSafeModule(MB.takeModule(), std::move(TSCtx));
|
|
}
|
|
|
|
// Create a simple stack and set the override flags option.
|
|
ExecutionSession ES;
|
|
auto &JD = ES.createBareJITDylib("main");
|
|
auto Foo = ES.intern("foo");
|
|
RTDyldObjectLinkingLayer ObjLayer(
|
|
ES, []() { return std::make_unique<SectionMemoryManager>(); });
|
|
IRCompileLayer CompileLayer(ES, ObjLayer,
|
|
std::make_unique<FunkySimpleCompiler>(*TM));
|
|
|
|
ObjLayer.setAutoClaimResponsibilityForObjectSymbols(true);
|
|
|
|
cantFail(CompileLayer.add(JD, std::move(M), ES.allocateVModule()));
|
|
ES.lookup(
|
|
LookupKind::Static, makeJITDylibSearchOrder(&JD), SymbolLookupSet(Foo),
|
|
SymbolState::Resolved,
|
|
[](Expected<SymbolMap> R) { cantFail(std::move(R)); },
|
|
NoDependenciesToRegister);
|
|
}
|
|
|
|
} // end anonymous namespace
|