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