1e517273eSChandler Carruth //===- llvm/unittest/Bitcode/BitReaderTest.cpp - Tests for BitReader ------===//
2e517273eSChandler Carruth //
3e517273eSChandler Carruth //                     The LLVM Compiler Infrastructure
4e517273eSChandler Carruth //
5e517273eSChandler Carruth // This file is distributed under the University of Illinois Open Source
6e517273eSChandler Carruth // License. See LICENSE.TXT for details.
7e517273eSChandler Carruth //
8e517273eSChandler Carruth //===----------------------------------------------------------------------===//
9e517273eSChandler Carruth 
105fa5ecf8SDaniel Dunbar #include "llvm/ADT/SmallString.h"
11456baad2SRafael Espindola #include "llvm/ADT/STLExtras.h"
12d9903888SChandler Carruth #include "llvm/AsmParser/Parser.h"
13e517273eSChandler Carruth #include "llvm/Bitcode/BitstreamWriter.h"
14e517273eSChandler Carruth #include "llvm/Bitcode/ReaderWriter.h"
159fb823bbSChandler Carruth #include "llvm/IR/Constants.h"
169fb823bbSChandler Carruth #include "llvm/IR/Instructions.h"
179fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h"
189fb823bbSChandler Carruth #include "llvm/IR/Module.h"
195ad5f15cSChandler Carruth #include "llvm/IR/Verifier.h"
20456baad2SRafael Espindola #include "llvm/Support/DataStream.h"
217a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h"
22e517273eSChandler Carruth #include "llvm/Support/MemoryBuffer.h"
237a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/SourceMgr.h"
24e517273eSChandler Carruth #include "gtest/gtest.h"
25e517273eSChandler Carruth 
267a2990cfSDuncan P. N. Exon Smith using namespace llvm;
277a2990cfSDuncan P. N. Exon Smith 
28e517273eSChandler Carruth namespace {
29e517273eSChandler Carruth 
307a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> parseAssembly(const char *Assembly) {
317a2990cfSDuncan P. N. Exon Smith   SMDiagnostic Error;
3211c07d7eSRafael Espindola   std::unique_ptr<Module> M =
3311c07d7eSRafael Espindola       parseAssemblyString(Assembly, Error, getGlobalContext());
34e517273eSChandler Carruth 
357a2990cfSDuncan P. N. Exon Smith   std::string ErrMsg;
367a2990cfSDuncan P. N. Exon Smith   raw_string_ostream OS(ErrMsg);
377a2990cfSDuncan P. N. Exon Smith   Error.print("", OS);
38e517273eSChandler Carruth 
397a2990cfSDuncan P. N. Exon Smith   // A failure here means that the test itself is buggy.
4011c07d7eSRafael Espindola   if (!M)
417a2990cfSDuncan P. N. Exon Smith     report_fatal_error(OS.str().c_str());
42e517273eSChandler Carruth 
437a2990cfSDuncan P. N. Exon Smith   return M;
44e517273eSChandler Carruth }
45e517273eSChandler Carruth 
467a2990cfSDuncan P. N. Exon Smith static void writeModuleToBuffer(std::unique_ptr<Module> Mod,
477a2990cfSDuncan P. N. Exon Smith                                 SmallVectorImpl<char> &Buffer) {
485fa5ecf8SDaniel Dunbar   raw_svector_ostream OS(Buffer);
49508baf79SNAKAMURA Takumi   WriteBitcodeToFile(Mod.get(), OS);
50e517273eSChandler Carruth }
51e517273eSChandler Carruth 
527a2990cfSDuncan P. N. Exon Smith static std::unique_ptr<Module> getLazyModuleFromAssembly(LLVMContext &Context,
537a2990cfSDuncan P. N. Exon Smith                                                          SmallString<1024> &Mem,
547a2990cfSDuncan P. N. Exon Smith                                                          const char *Assembly) {
557a2990cfSDuncan P. N. Exon Smith   writeModuleToBuffer(parseAssembly(Assembly), Mem);
563560ff2cSRafael Espindola   std::unique_ptr<MemoryBuffer> Buffer =
573560ff2cSRafael Espindola       MemoryBuffer::getMemBuffer(Mem.str(), "test", false);
58dcd1dca2SRafael Espindola   ErrorOr<std::unique_ptr<Module>> ModuleOrErr =
5968812157SRafael Espindola       getLazyBitcodeModule(std::move(Buffer), Context);
60dcd1dca2SRafael Espindola   return std::move(ModuleOrErr.get());
61e517273eSChandler Carruth }
62e517273eSChandler Carruth 
63456baad2SRafael Espindola class BufferDataStreamer : public DataStreamer {
64456baad2SRafael Espindola   std::unique_ptr<MemoryBuffer> Buffer;
65456baad2SRafael Espindola   unsigned Pos = 0;
66456baad2SRafael Espindola   size_t GetBytes(unsigned char *Out, size_t Len) override {
67456baad2SRafael Espindola     StringRef Buf = Buffer->getBuffer();
68456baad2SRafael Espindola     size_t Left = Buf.size() - Pos;
69456baad2SRafael Espindola     Len = std::min(Left, Len);
70456baad2SRafael Espindola     memcpy(Out, Buffer->getBuffer().substr(Pos).data(), Len);
71456baad2SRafael Espindola     Pos += Len;
72456baad2SRafael Espindola     return Len;
73456baad2SRafael Espindola   }
74456baad2SRafael Espindola 
75456baad2SRafael Espindola public:
76456baad2SRafael Espindola   BufferDataStreamer(std::unique_ptr<MemoryBuffer> Buffer)
77456baad2SRafael Espindola       : Buffer(std::move(Buffer)) {}
78456baad2SRafael Espindola };
79456baad2SRafael Espindola 
80456baad2SRafael Espindola static std::unique_ptr<Module>
81456baad2SRafael Espindola getStreamedModuleFromAssembly(LLVMContext &Context, SmallString<1024> &Mem,
82456baad2SRafael Espindola                               const char *Assembly) {
83456baad2SRafael Espindola   writeModuleToBuffer(parseAssembly(Assembly), Mem);
84456baad2SRafael Espindola   std::unique_ptr<MemoryBuffer> Buffer =
85456baad2SRafael Espindola       MemoryBuffer::getMemBuffer(Mem.str(), "test", false);
86*f229a034SRafael Espindola   auto Streamer = llvm::make_unique<BufferDataStreamer>(std::move(Buffer));
87456baad2SRafael Espindola   ErrorOr<std::unique_ptr<Module>> ModuleOrErr =
88456baad2SRafael Espindola       getStreamedBitcodeModule("test", std::move(Streamer), Context);
89456baad2SRafael Espindola   return std::move(ModuleOrErr.get());
90456baad2SRafael Espindola }
91456baad2SRafael Espindola 
92456baad2SRafael Espindola TEST(BitReaderTest, MateralizeForwardRefWithStream) {
93456baad2SRafael Espindola   SmallString<1024> Mem;
94456baad2SRafael Espindola 
95456baad2SRafael Espindola   LLVMContext Context;
96456baad2SRafael Espindola   std::unique_ptr<Module> M = getStreamedModuleFromAssembly(
97456baad2SRafael Espindola       Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
98456baad2SRafael Espindola                     "define void @func() {\n"
99456baad2SRafael Espindola                     "  unreachable\n"
100456baad2SRafael Espindola                     "bb:\n"
101456baad2SRafael Espindola                     "  unreachable\n"
102456baad2SRafael Espindola                     "}\n");
103456baad2SRafael Espindola   EXPECT_FALSE(M->getFunction("func")->empty());
104456baad2SRafael Espindola }
105456baad2SRafael Espindola 
1067480e4dbSPetar Jovanovic TEST(BitReaderTest, DematerializeFunctionPreservesLinkageType) {
1077480e4dbSPetar Jovanovic   SmallString<1024> Mem;
1087480e4dbSPetar Jovanovic 
1097480e4dbSPetar Jovanovic   LLVMContext Context;
1107480e4dbSPetar Jovanovic   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
1117480e4dbSPetar Jovanovic       Context, Mem, "define internal i32 @func() {\n"
1127480e4dbSPetar Jovanovic                       "ret i32 0\n"
1137480e4dbSPetar Jovanovic                     "}\n");
1147480e4dbSPetar Jovanovic 
1157480e4dbSPetar Jovanovic   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1167480e4dbSPetar Jovanovic 
1175a52e6dcSRafael Espindola   M->getFunction("func")->materialize();
1187480e4dbSPetar Jovanovic   EXPECT_FALSE(M->getFunction("func")->empty());
1197480e4dbSPetar Jovanovic   EXPECT_TRUE(M->getFunction("func")->getLinkage() ==
1207480e4dbSPetar Jovanovic               GlobalValue::InternalLinkage);
1217480e4dbSPetar Jovanovic 
1227480e4dbSPetar Jovanovic   // Check that the linkage type is preserved after dematerialization.
12397cb5657SEric Christopher   M->getFunction("func")->dematerialize();
1247480e4dbSPetar Jovanovic   EXPECT_TRUE(M->getFunction("func")->empty());
1257480e4dbSPetar Jovanovic   EXPECT_TRUE(M->getFunction("func")->getLinkage() ==
1267480e4dbSPetar Jovanovic               GlobalValue::InternalLinkage);
1277480e4dbSPetar Jovanovic   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1287480e4dbSPetar Jovanovic }
1297480e4dbSPetar Jovanovic 
1305d8dfd39SDerek Schuff // Tests that lazy evaluation can parse functions out of order.
1315d8dfd39SDerek Schuff TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) {
1325d8dfd39SDerek Schuff   SmallString<1024> Mem;
1335d8dfd39SDerek Schuff   LLVMContext Context;
1345d8dfd39SDerek Schuff   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
1355d8dfd39SDerek Schuff       Context, Mem, "define void @f() {\n"
1365d8dfd39SDerek Schuff                     "  unreachable\n"
1375d8dfd39SDerek Schuff                     "}\n"
1385d8dfd39SDerek Schuff                     "define void @g() {\n"
1395d8dfd39SDerek Schuff                     "  unreachable\n"
1405d8dfd39SDerek Schuff                     "}\n"
1415d8dfd39SDerek Schuff                     "define void @h() {\n"
1425d8dfd39SDerek Schuff                     "  unreachable\n"
1435d8dfd39SDerek Schuff                     "}\n"
1445d8dfd39SDerek Schuff                     "define void @j() {\n"
1455d8dfd39SDerek Schuff                     "  unreachable\n"
1465d8dfd39SDerek Schuff                     "}\n");
1475d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1485d8dfd39SDerek Schuff 
1495d8dfd39SDerek Schuff   Function *F = M->getFunction("f");
1505d8dfd39SDerek Schuff   Function *G = M->getFunction("g");
1515d8dfd39SDerek Schuff   Function *H = M->getFunction("h");
1525d8dfd39SDerek Schuff   Function *J = M->getFunction("j");
1535d8dfd39SDerek Schuff 
1545d8dfd39SDerek Schuff   // Initially all functions are not materialized (no basic blocks).
1555d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1565d8dfd39SDerek Schuff   EXPECT_TRUE(G->empty());
1575d8dfd39SDerek Schuff   EXPECT_TRUE(H->empty());
1585d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
1595d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1605d8dfd39SDerek Schuff 
1615d8dfd39SDerek Schuff   // Materialize h.
1625d8dfd39SDerek Schuff   H->materialize();
1635d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1645d8dfd39SDerek Schuff   EXPECT_TRUE(G->empty());
1655d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1665d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
1675d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1685d8dfd39SDerek Schuff 
1695d8dfd39SDerek Schuff   // Materialize g.
1705d8dfd39SDerek Schuff   G->materialize();
1715d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1725d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1735d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1745d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
1755d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1765d8dfd39SDerek Schuff 
1775d8dfd39SDerek Schuff   // Materialize j.
1785d8dfd39SDerek Schuff   J->materialize();
1795d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1805d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1815d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1825d8dfd39SDerek Schuff   EXPECT_FALSE(J->empty());
1835d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1845d8dfd39SDerek Schuff 
1855d8dfd39SDerek Schuff   // Materialize f.
1865d8dfd39SDerek Schuff   F->materialize();
1875d8dfd39SDerek Schuff   EXPECT_FALSE(F->empty());
1885d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1895d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1905d8dfd39SDerek Schuff   EXPECT_FALSE(J->empty());
1915d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1925d8dfd39SDerek Schuff }
1935d8dfd39SDerek Schuff 
1947a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677
1957a2990cfSDuncan P. N. Exon Smith   SmallString<1024> Mem;
1967a2990cfSDuncan P. N. Exon Smith 
1977a2990cfSDuncan P. N. Exon Smith   LLVMContext Context;
1987a2990cfSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
1997a2990cfSDuncan P. N. Exon Smith       Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
2007a2990cfSDuncan P. N. Exon Smith                     "define void @func() {\n"
2017a2990cfSDuncan P. N. Exon Smith                     "  unreachable\n"
2027a2990cfSDuncan P. N. Exon Smith                     "bb:\n"
2037a2990cfSDuncan P. N. Exon Smith                     "  unreachable\n"
2047a2990cfSDuncan P. N. Exon Smith                     "}\n");
2057a2990cfSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
206908d809bSDuncan P. N. Exon Smith 
207908d809bSDuncan P. N. Exon Smith   // Try (and fail) to dematerialize @func.
20897cb5657SEric Christopher   M->getFunction("func")->dematerialize();
209908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
210908d809bSDuncan P. N. Exon Smith }
211908d809bSDuncan P. N. Exon Smith 
212908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) {
213908d809bSDuncan P. N. Exon Smith   SmallString<1024> Mem;
214908d809bSDuncan P. N. Exon Smith 
215908d809bSDuncan P. N. Exon Smith   LLVMContext Context;
216908d809bSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
217908d809bSDuncan P. N. Exon Smith       Context, Mem, "define i8* @before() {\n"
218908d809bSDuncan P. N. Exon Smith                     "  ret i8* blockaddress(@func, %bb)\n"
219908d809bSDuncan P. N. Exon Smith                     "}\n"
220908d809bSDuncan P. N. Exon Smith                     "define void @other() {\n"
221908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
222908d809bSDuncan P. N. Exon Smith                     "}\n"
223908d809bSDuncan P. N. Exon Smith                     "define void @func() {\n"
224908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
225908d809bSDuncan P. N. Exon Smith                     "bb:\n"
226908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
227908d809bSDuncan P. N. Exon Smith                     "}\n");
228908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("before")->empty());
229908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("func")->empty());
230908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
231908d809bSDuncan P. N. Exon Smith 
232908d809bSDuncan P. N. Exon Smith   // Materialize @before, pulling in @func.
2335a52e6dcSRafael Espindola   EXPECT_FALSE(M->getFunction("before")->materialize());
234908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
235908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("other")->empty());
236908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
237908d809bSDuncan P. N. Exon Smith 
238908d809bSDuncan P. N. Exon Smith   // Try (and fail) to dematerialize @func.
23997cb5657SEric Christopher   M->getFunction("func")->dematerialize();
240908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
241908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
242908d809bSDuncan P. N. Exon Smith }
243908d809bSDuncan P. N. Exon Smith 
244908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) {
245908d809bSDuncan P. N. Exon Smith   SmallString<1024> Mem;
246908d809bSDuncan P. N. Exon Smith 
247908d809bSDuncan P. N. Exon Smith   LLVMContext Context;
248908d809bSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
249908d809bSDuncan P. N. Exon Smith       Context, Mem, "define void @func() {\n"
250908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
251908d809bSDuncan P. N. Exon Smith                     "bb:\n"
252908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
253908d809bSDuncan P. N. Exon Smith                     "}\n"
254908d809bSDuncan P. N. Exon Smith                     "define void @other() {\n"
255908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
256908d809bSDuncan P. N. Exon Smith                     "}\n"
257908d809bSDuncan P. N. Exon Smith                     "define i8* @after() {\n"
258908d809bSDuncan P. N. Exon Smith                     "  ret i8* blockaddress(@func, %bb)\n"
259908d809bSDuncan P. N. Exon Smith                     "}\n");
260908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("after")->empty());
261908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("func")->empty());
262908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
263908d809bSDuncan P. N. Exon Smith 
264908d809bSDuncan P. N. Exon Smith   // Materialize @after, pulling in @func.
2655a52e6dcSRafael Espindola   EXPECT_FALSE(M->getFunction("after")->materialize());
266908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
267908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("other")->empty());
268908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
269908d809bSDuncan P. N. Exon Smith 
270908d809bSDuncan P. N. Exon Smith   // Try (and fail) to dematerialize @func.
27197cb5657SEric Christopher   M->getFunction("func")->dematerialize();
272908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
273908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
274e517273eSChandler Carruth }
2757a2990cfSDuncan P. N. Exon Smith 
2767a2990cfSDuncan P. N. Exon Smith } // end namespace
277