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" 11d9903888SChandler Carruth #include "llvm/AsmParser/Parser.h" 12e517273eSChandler Carruth #include "llvm/Bitcode/BitstreamWriter.h" 13e517273eSChandler Carruth #include "llvm/Bitcode/ReaderWriter.h" 149fb823bbSChandler Carruth #include "llvm/IR/Constants.h" 159fb823bbSChandler Carruth #include "llvm/IR/Instructions.h" 169fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h" 179fb823bbSChandler Carruth #include "llvm/IR/Module.h" 185ad5f15cSChandler Carruth #include "llvm/IR/Verifier.h" 197a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h" 20e517273eSChandler Carruth #include "llvm/Support/MemoryBuffer.h" 217a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/SourceMgr.h" 22e517273eSChandler Carruth #include "gtest/gtest.h" 23e517273eSChandler Carruth 247a2990cfSDuncan P. N. Exon Smith using namespace llvm; 257a2990cfSDuncan P. N. Exon Smith 26e517273eSChandler Carruth namespace { 27e517273eSChandler Carruth 287a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> parseAssembly(const char *Assembly) { 297a2990cfSDuncan P. N. Exon Smith SMDiagnostic Error; 3011c07d7eSRafael Espindola std::unique_ptr<Module> M = 3111c07d7eSRafael Espindola parseAssemblyString(Assembly, Error, getGlobalContext()); 32e517273eSChandler Carruth 337a2990cfSDuncan P. N. Exon Smith std::string ErrMsg; 347a2990cfSDuncan P. N. Exon Smith raw_string_ostream OS(ErrMsg); 357a2990cfSDuncan P. N. Exon Smith Error.print("", OS); 36e517273eSChandler Carruth 377a2990cfSDuncan P. N. Exon Smith // A failure here means that the test itself is buggy. 3811c07d7eSRafael Espindola if (!M) 397a2990cfSDuncan P. N. Exon Smith report_fatal_error(OS.str().c_str()); 40e517273eSChandler Carruth 417a2990cfSDuncan P. N. Exon Smith return M; 42e517273eSChandler Carruth } 43e517273eSChandler Carruth 447a2990cfSDuncan P. N. Exon Smith static void writeModuleToBuffer(std::unique_ptr<Module> Mod, 457a2990cfSDuncan P. N. Exon Smith SmallVectorImpl<char> &Buffer) { 465fa5ecf8SDaniel Dunbar raw_svector_ostream OS(Buffer); 47508baf79SNAKAMURA Takumi WriteBitcodeToFile(Mod.get(), OS); 48e517273eSChandler Carruth } 49e517273eSChandler Carruth 507a2990cfSDuncan P. N. Exon Smith static std::unique_ptr<Module> getLazyModuleFromAssembly(LLVMContext &Context, 517a2990cfSDuncan P. N. Exon Smith SmallString<1024> &Mem, 527a2990cfSDuncan P. N. Exon Smith const char *Assembly) { 537a2990cfSDuncan P. N. Exon Smith writeModuleToBuffer(parseAssembly(Assembly), Mem); 543560ff2cSRafael Espindola std::unique_ptr<MemoryBuffer> Buffer = 553560ff2cSRafael Espindola MemoryBuffer::getMemBuffer(Mem.str(), "test", false); 5668812157SRafael Espindola ErrorOr<Module *> ModuleOrErr = 5768812157SRafael Espindola getLazyBitcodeModule(std::move(Buffer), Context); 587a2990cfSDuncan P. N. Exon Smith return std::unique_ptr<Module>(ModuleOrErr.get()); 59e517273eSChandler Carruth } 60e517273eSChandler Carruth 617480e4dbSPetar Jovanovic TEST(BitReaderTest, DematerializeFunctionPreservesLinkageType) { 627480e4dbSPetar Jovanovic SmallString<1024> Mem; 637480e4dbSPetar Jovanovic 647480e4dbSPetar Jovanovic LLVMContext Context; 657480e4dbSPetar Jovanovic std::unique_ptr<Module> M = getLazyModuleFromAssembly( 667480e4dbSPetar Jovanovic Context, Mem, "define internal i32 @func() {\n" 677480e4dbSPetar Jovanovic "ret i32 0\n" 687480e4dbSPetar Jovanovic "}\n"); 697480e4dbSPetar Jovanovic 707480e4dbSPetar Jovanovic EXPECT_FALSE(verifyModule(*M, &dbgs())); 717480e4dbSPetar Jovanovic 725a52e6dcSRafael Espindola M->getFunction("func")->materialize(); 737480e4dbSPetar Jovanovic EXPECT_FALSE(M->getFunction("func")->empty()); 747480e4dbSPetar Jovanovic EXPECT_TRUE(M->getFunction("func")->getLinkage() == 757480e4dbSPetar Jovanovic GlobalValue::InternalLinkage); 767480e4dbSPetar Jovanovic 777480e4dbSPetar Jovanovic // Check that the linkage type is preserved after dematerialization. 787480e4dbSPetar Jovanovic M->getFunction("func")->Dematerialize(); 797480e4dbSPetar Jovanovic EXPECT_TRUE(M->getFunction("func")->empty()); 807480e4dbSPetar Jovanovic EXPECT_TRUE(M->getFunction("func")->getLinkage() == 817480e4dbSPetar Jovanovic GlobalValue::InternalLinkage); 827480e4dbSPetar Jovanovic EXPECT_FALSE(verifyModule(*M, &dbgs())); 837480e4dbSPetar Jovanovic } 847480e4dbSPetar Jovanovic 85*5d8dfd39SDerek Schuff // Tests that lazy evaluation can parse functions out of order. 86*5d8dfd39SDerek Schuff TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) { 87*5d8dfd39SDerek Schuff SmallString<1024> Mem; 88*5d8dfd39SDerek Schuff LLVMContext Context; 89*5d8dfd39SDerek Schuff std::unique_ptr<Module> M = getLazyModuleFromAssembly( 90*5d8dfd39SDerek Schuff Context, Mem, "define void @f() {\n" 91*5d8dfd39SDerek Schuff " unreachable\n" 92*5d8dfd39SDerek Schuff "}\n" 93*5d8dfd39SDerek Schuff "define void @g() {\n" 94*5d8dfd39SDerek Schuff " unreachable\n" 95*5d8dfd39SDerek Schuff "}\n" 96*5d8dfd39SDerek Schuff "define void @h() {\n" 97*5d8dfd39SDerek Schuff " unreachable\n" 98*5d8dfd39SDerek Schuff "}\n" 99*5d8dfd39SDerek Schuff "define void @j() {\n" 100*5d8dfd39SDerek Schuff " unreachable\n" 101*5d8dfd39SDerek Schuff "}\n"); 102*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 103*5d8dfd39SDerek Schuff 104*5d8dfd39SDerek Schuff Function *F = M->getFunction("f"); 105*5d8dfd39SDerek Schuff Function *G = M->getFunction("g"); 106*5d8dfd39SDerek Schuff Function *H = M->getFunction("h"); 107*5d8dfd39SDerek Schuff Function *J = M->getFunction("j"); 108*5d8dfd39SDerek Schuff 109*5d8dfd39SDerek Schuff // Initially all functions are not materialized (no basic blocks). 110*5d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 111*5d8dfd39SDerek Schuff EXPECT_TRUE(G->empty()); 112*5d8dfd39SDerek Schuff EXPECT_TRUE(H->empty()); 113*5d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 114*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 115*5d8dfd39SDerek Schuff 116*5d8dfd39SDerek Schuff // Materialize h. 117*5d8dfd39SDerek Schuff H->materialize(); 118*5d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 119*5d8dfd39SDerek Schuff EXPECT_TRUE(G->empty()); 120*5d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 121*5d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 122*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 123*5d8dfd39SDerek Schuff 124*5d8dfd39SDerek Schuff // Materialize g. 125*5d8dfd39SDerek Schuff G->materialize(); 126*5d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 127*5d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 128*5d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 129*5d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 130*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 131*5d8dfd39SDerek Schuff 132*5d8dfd39SDerek Schuff // Materialize j. 133*5d8dfd39SDerek Schuff J->materialize(); 134*5d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 135*5d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 136*5d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 137*5d8dfd39SDerek Schuff EXPECT_FALSE(J->empty()); 138*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 139*5d8dfd39SDerek Schuff 140*5d8dfd39SDerek Schuff // Materialize f. 141*5d8dfd39SDerek Schuff F->materialize(); 142*5d8dfd39SDerek Schuff EXPECT_FALSE(F->empty()); 143*5d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 144*5d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 145*5d8dfd39SDerek Schuff EXPECT_FALSE(J->empty()); 146*5d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 147*5d8dfd39SDerek Schuff } 148*5d8dfd39SDerek Schuff 1497a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677 1507a2990cfSDuncan P. N. Exon Smith SmallString<1024> Mem; 1517a2990cfSDuncan P. N. Exon Smith 1527a2990cfSDuncan P. N. Exon Smith LLVMContext Context; 1537a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 1547a2990cfSDuncan P. N. Exon Smith Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n" 1557a2990cfSDuncan P. N. Exon Smith "define void @func() {\n" 1567a2990cfSDuncan P. N. Exon Smith " unreachable\n" 1577a2990cfSDuncan P. N. Exon Smith "bb:\n" 1587a2990cfSDuncan P. N. Exon Smith " unreachable\n" 1597a2990cfSDuncan P. N. Exon Smith "}\n"); 1607a2990cfSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 161908d809bSDuncan P. N. Exon Smith 162908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 163908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 164908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 165908d809bSDuncan P. N. Exon Smith } 166908d809bSDuncan P. N. Exon Smith 167908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) { 168908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 169908d809bSDuncan P. N. Exon Smith 170908d809bSDuncan P. N. Exon Smith LLVMContext Context; 171908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 172908d809bSDuncan P. N. Exon Smith Context, Mem, "define i8* @before() {\n" 173908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 174908d809bSDuncan P. N. Exon Smith "}\n" 175908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 176908d809bSDuncan P. N. Exon Smith " unreachable\n" 177908d809bSDuncan P. N. Exon Smith "}\n" 178908d809bSDuncan P. N. Exon Smith "define void @func() {\n" 179908d809bSDuncan P. N. Exon Smith " unreachable\n" 180908d809bSDuncan P. N. Exon Smith "bb:\n" 181908d809bSDuncan P. N. Exon Smith " unreachable\n" 182908d809bSDuncan P. N. Exon Smith "}\n"); 183908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("before")->empty()); 184908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 185908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 186908d809bSDuncan P. N. Exon Smith 187908d809bSDuncan P. N. Exon Smith // Materialize @before, pulling in @func. 1885a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("before")->materialize()); 189908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 190908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 191908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 192908d809bSDuncan P. N. Exon Smith 193908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 194908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 195908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 196908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 197908d809bSDuncan P. N. Exon Smith } 198908d809bSDuncan P. N. Exon Smith 199908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) { 200908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 201908d809bSDuncan P. N. Exon Smith 202908d809bSDuncan P. N. Exon Smith LLVMContext Context; 203908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 204908d809bSDuncan P. N. Exon Smith Context, Mem, "define void @func() {\n" 205908d809bSDuncan P. N. Exon Smith " unreachable\n" 206908d809bSDuncan P. N. Exon Smith "bb:\n" 207908d809bSDuncan P. N. Exon Smith " unreachable\n" 208908d809bSDuncan P. N. Exon Smith "}\n" 209908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 210908d809bSDuncan P. N. Exon Smith " unreachable\n" 211908d809bSDuncan P. N. Exon Smith "}\n" 212908d809bSDuncan P. N. Exon Smith "define i8* @after() {\n" 213908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 214908d809bSDuncan P. N. Exon Smith "}\n"); 215908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("after")->empty()); 216908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 217908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 218908d809bSDuncan P. N. Exon Smith 219908d809bSDuncan P. N. Exon Smith // Materialize @after, pulling in @func. 2205a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("after")->materialize()); 221908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 222908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 223908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 224908d809bSDuncan P. N. Exon Smith 225908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 226908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 227908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 228908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 229e517273eSChandler Carruth } 2307a2990cfSDuncan P. N. Exon Smith 2317a2990cfSDuncan P. N. Exon Smith } // end namespace 232