2012-01-02 09:19:48 +00:00
|
|
|
//===- llvm/unittest/Bitcode/BitReaderTest.cpp - Tests for BitReader ------===//
|
2012-01-02 07:49:53 +00:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2012-02-29 20:30:56 +00:00
|
|
|
#include "llvm/ADT/SmallString.h"
|
2015-06-17 01:15:47 +00:00
|
|
|
#include "llvm/ADT/STLExtras.h"
|
2015-01-14 11:23:27 +00:00
|
|
|
#include "llvm/AsmParser/Parser.h"
|
2012-01-02 07:49:53 +00:00
|
|
|
#include "llvm/Bitcode/BitstreamWriter.h"
|
|
|
|
#include "llvm/Bitcode/ReaderWriter.h"
|
2013-01-02 11:36:10 +00:00
|
|
|
#include "llvm/IR/Constants.h"
|
|
|
|
#include "llvm/IR/Instructions.h"
|
|
|
|
#include "llvm/IR/LLVMContext.h"
|
|
|
|
#include "llvm/IR/Module.h"
|
2014-01-13 09:26:24 +00:00
|
|
|
#include "llvm/IR/Verifier.h"
|
2015-06-17 01:15:47 +00:00
|
|
|
#include "llvm/Support/DataStream.h"
|
2014-08-01 21:01:04 +00:00
|
|
|
#include "llvm/Support/Debug.h"
|
2012-01-02 07:49:53 +00:00
|
|
|
#include "llvm/Support/MemoryBuffer.h"
|
2014-08-01 21:01:04 +00:00
|
|
|
#include "llvm/Support/SourceMgr.h"
|
2012-01-02 07:49:53 +00:00
|
|
|
#include "gtest/gtest.h"
|
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
using namespace llvm;
|
2012-01-02 07:49:53 +00:00
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
namespace {
|
2012-01-02 07:49:53 +00:00
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
std::unique_ptr<Module> parseAssembly(const char *Assembly) {
|
|
|
|
SMDiagnostic Error;
|
2014-08-19 16:58:54 +00:00
|
|
|
std::unique_ptr<Module> M =
|
|
|
|
parseAssemblyString(Assembly, Error, getGlobalContext());
|
2012-01-02 07:49:53 +00:00
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
std::string ErrMsg;
|
|
|
|
raw_string_ostream OS(ErrMsg);
|
|
|
|
Error.print("", OS);
|
2012-01-02 07:49:53 +00:00
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
// A failure here means that the test itself is buggy.
|
2014-08-19 16:58:54 +00:00
|
|
|
if (!M)
|
2014-08-01 21:01:04 +00:00
|
|
|
report_fatal_error(OS.str().c_str());
|
2012-01-02 07:49:53 +00:00
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
return M;
|
2012-01-02 07:49:53 +00:00
|
|
|
}
|
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
static void writeModuleToBuffer(std::unique_ptr<Module> Mod,
|
|
|
|
SmallVectorImpl<char> &Buffer) {
|
2012-02-29 20:30:56 +00:00
|
|
|
raw_svector_ostream OS(Buffer);
|
2013-01-23 08:33:13 +00:00
|
|
|
WriteBitcodeToFile(Mod.get(), OS);
|
2012-01-02 07:49:53 +00:00
|
|
|
}
|
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
static std::unique_ptr<Module> getLazyModuleFromAssembly(LLVMContext &Context,
|
|
|
|
SmallString<1024> &Mem,
|
|
|
|
const char *Assembly) {
|
|
|
|
writeModuleToBuffer(parseAssembly(Assembly), Mem);
|
2014-08-27 20:03:13 +00:00
|
|
|
std::unique_ptr<MemoryBuffer> Buffer =
|
|
|
|
MemoryBuffer::getMemBuffer(Mem.str(), "test", false);
|
2015-06-16 22:27:55 +00:00
|
|
|
ErrorOr<std::unique_ptr<Module>> ModuleOrErr =
|
2014-09-03 17:31:46 +00:00
|
|
|
getLazyBitcodeModule(std::move(Buffer), Context);
|
2015-06-16 22:27:55 +00:00
|
|
|
return std::move(ModuleOrErr.get());
|
2012-01-02 07:49:53 +00:00
|
|
|
}
|
2012-01-02 09:19:48 +00:00
|
|
|
|
2015-06-17 01:15:47 +00:00
|
|
|
class BufferDataStreamer : public DataStreamer {
|
|
|
|
std::unique_ptr<MemoryBuffer> Buffer;
|
|
|
|
unsigned Pos = 0;
|
|
|
|
size_t GetBytes(unsigned char *Out, size_t Len) override {
|
|
|
|
StringRef Buf = Buffer->getBuffer();
|
|
|
|
size_t Left = Buf.size() - Pos;
|
|
|
|
Len = std::min(Left, Len);
|
|
|
|
memcpy(Out, Buffer->getBuffer().substr(Pos).data(), Len);
|
|
|
|
Pos += Len;
|
|
|
|
return Len;
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
BufferDataStreamer(std::unique_ptr<MemoryBuffer> Buffer)
|
|
|
|
: Buffer(std::move(Buffer)) {}
|
|
|
|
};
|
|
|
|
|
|
|
|
static std::unique_ptr<Module>
|
|
|
|
getStreamedModuleFromAssembly(LLVMContext &Context, SmallString<1024> &Mem,
|
|
|
|
const char *Assembly) {
|
|
|
|
writeModuleToBuffer(parseAssembly(Assembly), Mem);
|
|
|
|
std::unique_ptr<MemoryBuffer> Buffer =
|
|
|
|
MemoryBuffer::getMemBuffer(Mem.str(), "test", false);
|
2015-06-17 03:13:26 +00:00
|
|
|
auto Streamer = llvm::make_unique<BufferDataStreamer>(std::move(Buffer));
|
2015-06-17 01:15:47 +00:00
|
|
|
ErrorOr<std::unique_ptr<Module>> ModuleOrErr =
|
|
|
|
getStreamedBitcodeModule("test", std::move(Streamer), Context);
|
|
|
|
return std::move(ModuleOrErr.get());
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(BitReaderTest, MateralizeForwardRefWithStream) {
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getStreamedModuleFromAssembly(
|
|
|
|
Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
|
|
|
|
"define void @func() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"bb:\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n");
|
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
}
|
|
|
|
|
2014-09-23 12:54:19 +00:00
|
|
|
TEST(BitReaderTest, DematerializeFunctionPreservesLinkageType) {
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getLazyModuleFromAssembly(
|
|
|
|
Context, Mem, "define internal i32 @func() {\n"
|
|
|
|
"ret i32 0\n"
|
|
|
|
"}\n");
|
|
|
|
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
2014-10-24 22:50:48 +00:00
|
|
|
M->getFunction("func")->materialize();
|
2014-09-23 12:54:19 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("func")->getLinkage() ==
|
|
|
|
GlobalValue::InternalLinkage);
|
|
|
|
|
|
|
|
// Check that the linkage type is preserved after dematerialization.
|
2015-05-15 18:20:14 +00:00
|
|
|
M->getFunction("func")->dematerialize();
|
2014-09-23 12:54:19 +00:00
|
|
|
EXPECT_TRUE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("func")->getLinkage() ==
|
|
|
|
GlobalValue::InternalLinkage);
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
}
|
|
|
|
|
2015-05-06 16:52:35 +00:00
|
|
|
// Tests that lazy evaluation can parse functions out of order.
|
|
|
|
TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) {
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getLazyModuleFromAssembly(
|
|
|
|
Context, Mem, "define void @f() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @g() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @h() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @j() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n");
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
Function *F = M->getFunction("f");
|
|
|
|
Function *G = M->getFunction("g");
|
|
|
|
Function *H = M->getFunction("h");
|
|
|
|
Function *J = M->getFunction("j");
|
|
|
|
|
|
|
|
// Initially all functions are not materialized (no basic blocks).
|
|
|
|
EXPECT_TRUE(F->empty());
|
|
|
|
EXPECT_TRUE(G->empty());
|
|
|
|
EXPECT_TRUE(H->empty());
|
|
|
|
EXPECT_TRUE(J->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize h.
|
|
|
|
H->materialize();
|
|
|
|
EXPECT_TRUE(F->empty());
|
|
|
|
EXPECT_TRUE(G->empty());
|
|
|
|
EXPECT_FALSE(H->empty());
|
|
|
|
EXPECT_TRUE(J->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize g.
|
|
|
|
G->materialize();
|
|
|
|
EXPECT_TRUE(F->empty());
|
|
|
|
EXPECT_FALSE(G->empty());
|
|
|
|
EXPECT_FALSE(H->empty());
|
|
|
|
EXPECT_TRUE(J->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize j.
|
|
|
|
J->materialize();
|
|
|
|
EXPECT_TRUE(F->empty());
|
|
|
|
EXPECT_FALSE(G->empty());
|
|
|
|
EXPECT_FALSE(H->empty());
|
|
|
|
EXPECT_FALSE(J->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize f.
|
|
|
|
F->materialize();
|
|
|
|
EXPECT_FALSE(F->empty());
|
|
|
|
EXPECT_FALSE(G->empty());
|
|
|
|
EXPECT_FALSE(H->empty());
|
|
|
|
EXPECT_FALSE(J->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
}
|
|
|
|
|
2014-08-01 21:01:04 +00:00
|
|
|
TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getLazyModuleFromAssembly(
|
|
|
|
Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
|
|
|
|
"define void @func() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"bb:\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n");
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
2014-08-01 21:11:34 +00:00
|
|
|
|
|
|
|
// Try (and fail) to dematerialize @func.
|
2015-05-15 18:20:14 +00:00
|
|
|
M->getFunction("func")->dematerialize();
|
2014-08-01 21:11:34 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) {
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getLazyModuleFromAssembly(
|
|
|
|
Context, Mem, "define i8* @before() {\n"
|
|
|
|
" ret i8* blockaddress(@func, %bb)\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @other() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @func() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"bb:\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n");
|
|
|
|
EXPECT_TRUE(M->getFunction("before")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize @before, pulling in @func.
|
2014-10-24 22:50:48 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("before")->materialize());
|
2014-08-01 21:11:34 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("other")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Try (and fail) to dematerialize @func.
|
2015-05-15 18:20:14 +00:00
|
|
|
M->getFunction("func")->dematerialize();
|
2014-08-01 21:11:34 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) {
|
|
|
|
SmallString<1024> Mem;
|
|
|
|
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<Module> M = getLazyModuleFromAssembly(
|
|
|
|
Context, Mem, "define void @func() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"bb:\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define void @other() {\n"
|
|
|
|
" unreachable\n"
|
|
|
|
"}\n"
|
|
|
|
"define i8* @after() {\n"
|
|
|
|
" ret i8* blockaddress(@func, %bb)\n"
|
|
|
|
"}\n");
|
|
|
|
EXPECT_TRUE(M->getFunction("after")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Materialize @after, pulling in @func.
|
2014-10-24 22:50:48 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("after")->materialize());
|
2014-08-01 21:11:34 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_TRUE(M->getFunction("other")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
|
|
|
|
|
|
|
// Try (and fail) to dematerialize @func.
|
2015-05-15 18:20:14 +00:00
|
|
|
M->getFunction("func")->dematerialize();
|
2014-08-01 21:11:34 +00:00
|
|
|
EXPECT_FALSE(M->getFunction("func")->empty());
|
|
|
|
EXPECT_FALSE(verifyModule(*M, &dbgs()));
|
2012-01-02 07:49:53 +00:00
|
|
|
}
|
2014-08-01 21:01:04 +00:00
|
|
|
|
|
|
|
} // end namespace
|