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" 13b4c1c28cSDerek Schuff #include "llvm/Bitcode/BitstreamReader.h" 14e517273eSChandler Carruth #include "llvm/Bitcode/BitstreamWriter.h" 15e517273eSChandler Carruth #include "llvm/Bitcode/ReaderWriter.h" 169fb823bbSChandler Carruth #include "llvm/IR/Constants.h" 179fb823bbSChandler Carruth #include "llvm/IR/Instructions.h" 189fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h" 199fb823bbSChandler Carruth #include "llvm/IR/Module.h" 205ad5f15cSChandler Carruth #include "llvm/IR/Verifier.h" 217a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h" 22*7f00d0a1SPeter Collingbourne #include "llvm/Support/Error.h" 23e517273eSChandler Carruth #include "llvm/Support/MemoryBuffer.h" 247a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/SourceMgr.h" 25e517273eSChandler Carruth #include "gtest/gtest.h" 26e517273eSChandler Carruth 277a2990cfSDuncan P. N. Exon Smith using namespace llvm; 287a2990cfSDuncan P. N. Exon Smith 29e517273eSChandler Carruth namespace { 30e517273eSChandler Carruth 3103b42e41SMehdi Amini std::unique_ptr<Module> parseAssembly(LLVMContext &Context, 3203b42e41SMehdi Amini const char *Assembly) { 337a2990cfSDuncan P. N. Exon Smith SMDiagnostic Error; 3403b42e41SMehdi Amini std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context); 35e517273eSChandler Carruth 367a2990cfSDuncan P. N. Exon Smith std::string ErrMsg; 377a2990cfSDuncan P. N. Exon Smith raw_string_ostream OS(ErrMsg); 387a2990cfSDuncan P. N. Exon Smith Error.print("", OS); 39e517273eSChandler Carruth 407a2990cfSDuncan P. N. Exon Smith // A failure here means that the test itself is buggy. 4111c07d7eSRafael Espindola if (!M) 427a2990cfSDuncan P. N. Exon Smith report_fatal_error(OS.str().c_str()); 43e517273eSChandler Carruth 447a2990cfSDuncan P. N. Exon Smith return M; 45e517273eSChandler Carruth } 46e517273eSChandler Carruth 477a2990cfSDuncan P. N. Exon Smith static void writeModuleToBuffer(std::unique_ptr<Module> Mod, 487a2990cfSDuncan P. N. Exon Smith SmallVectorImpl<char> &Buffer) { 495fa5ecf8SDaniel Dunbar raw_svector_ostream OS(Buffer); 50508baf79SNAKAMURA Takumi WriteBitcodeToFile(Mod.get(), OS); 51e517273eSChandler Carruth } 52e517273eSChandler Carruth 537a2990cfSDuncan P. N. Exon Smith static std::unique_ptr<Module> getLazyModuleFromAssembly(LLVMContext &Context, 547a2990cfSDuncan P. N. Exon Smith SmallString<1024> &Mem, 557a2990cfSDuncan P. N. Exon Smith const char *Assembly) { 5603b42e41SMehdi Amini writeModuleToBuffer(parseAssembly(Context, Assembly), Mem); 57dcd1dca2SRafael Espindola ErrorOr<std::unique_ptr<Module>> ModuleOrErr = 58e2dcf7c3SPeter Collingbourne getLazyBitcodeModule(MemoryBufferRef(Mem.str(), "test"), Context); 59dcd1dca2SRafael Espindola return std::move(ModuleOrErr.get()); 60e517273eSChandler Carruth } 61e517273eSChandler Carruth 625d8dfd39SDerek Schuff // Tests that lazy evaluation can parse functions out of order. 635d8dfd39SDerek Schuff TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) { 645d8dfd39SDerek Schuff SmallString<1024> Mem; 655d8dfd39SDerek Schuff LLVMContext Context; 665d8dfd39SDerek Schuff std::unique_ptr<Module> M = getLazyModuleFromAssembly( 675d8dfd39SDerek Schuff Context, Mem, "define void @f() {\n" 685d8dfd39SDerek Schuff " unreachable\n" 695d8dfd39SDerek Schuff "}\n" 705d8dfd39SDerek Schuff "define void @g() {\n" 715d8dfd39SDerek Schuff " unreachable\n" 725d8dfd39SDerek Schuff "}\n" 735d8dfd39SDerek Schuff "define void @h() {\n" 745d8dfd39SDerek Schuff " unreachable\n" 755d8dfd39SDerek Schuff "}\n" 765d8dfd39SDerek Schuff "define void @j() {\n" 775d8dfd39SDerek Schuff " unreachable\n" 785d8dfd39SDerek Schuff "}\n"); 795d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 805d8dfd39SDerek Schuff 815d8dfd39SDerek Schuff Function *F = M->getFunction("f"); 825d8dfd39SDerek Schuff Function *G = M->getFunction("g"); 835d8dfd39SDerek Schuff Function *H = M->getFunction("h"); 845d8dfd39SDerek Schuff Function *J = M->getFunction("j"); 855d8dfd39SDerek Schuff 865d8dfd39SDerek Schuff // Initially all functions are not materialized (no basic blocks). 875d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 885d8dfd39SDerek Schuff EXPECT_TRUE(G->empty()); 895d8dfd39SDerek Schuff EXPECT_TRUE(H->empty()); 905d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 915d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 925d8dfd39SDerek Schuff 935d8dfd39SDerek Schuff // Materialize h. 94*7f00d0a1SPeter Collingbourne ASSERT_FALSE(H->materialize()); 955d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 965d8dfd39SDerek Schuff EXPECT_TRUE(G->empty()); 975d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 985d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 995d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 1005d8dfd39SDerek Schuff 1015d8dfd39SDerek Schuff // Materialize g. 102*7f00d0a1SPeter Collingbourne ASSERT_FALSE(G->materialize()); 1035d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 1045d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 1055d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 1065d8dfd39SDerek Schuff EXPECT_TRUE(J->empty()); 1075d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 1085d8dfd39SDerek Schuff 1095d8dfd39SDerek Schuff // Materialize j. 110*7f00d0a1SPeter Collingbourne ASSERT_FALSE(J->materialize()); 1115d8dfd39SDerek Schuff EXPECT_TRUE(F->empty()); 1125d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 1135d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 1145d8dfd39SDerek Schuff EXPECT_FALSE(J->empty()); 1155d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 1165d8dfd39SDerek Schuff 1175d8dfd39SDerek Schuff // Materialize f. 118*7f00d0a1SPeter Collingbourne ASSERT_FALSE(F->materialize()); 1195d8dfd39SDerek Schuff EXPECT_FALSE(F->empty()); 1205d8dfd39SDerek Schuff EXPECT_FALSE(G->empty()); 1215d8dfd39SDerek Schuff EXPECT_FALSE(H->empty()); 1225d8dfd39SDerek Schuff EXPECT_FALSE(J->empty()); 1235d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs())); 1245d8dfd39SDerek Schuff } 1255d8dfd39SDerek Schuff 1267a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677 1277a2990cfSDuncan P. N. Exon Smith SmallString<1024> Mem; 1287a2990cfSDuncan P. N. Exon Smith 1297a2990cfSDuncan P. N. Exon Smith LLVMContext Context; 1307a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 1317a2990cfSDuncan P. N. Exon Smith Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n" 1327a2990cfSDuncan P. N. Exon Smith "define void @func() {\n" 1337a2990cfSDuncan P. N. Exon Smith " unreachable\n" 1347a2990cfSDuncan P. N. Exon Smith "bb:\n" 1357a2990cfSDuncan P. N. Exon Smith " unreachable\n" 1367a2990cfSDuncan P. N. Exon Smith "}\n"); 1377a2990cfSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 138028eb5a3SPeter Collingbourne EXPECT_FALSE(M->getFunction("func")->empty()); 139908d809bSDuncan P. N. Exon Smith } 140908d809bSDuncan P. N. Exon Smith 141908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) { 142908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 143908d809bSDuncan P. N. Exon Smith 144908d809bSDuncan P. N. Exon Smith LLVMContext Context; 145908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 146908d809bSDuncan P. N. Exon Smith Context, Mem, "define i8* @before() {\n" 147908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 148908d809bSDuncan P. N. Exon Smith "}\n" 149908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 150908d809bSDuncan P. N. Exon Smith " unreachable\n" 151908d809bSDuncan P. N. Exon Smith "}\n" 152908d809bSDuncan P. N. Exon Smith "define void @func() {\n" 153908d809bSDuncan P. N. Exon Smith " unreachable\n" 154908d809bSDuncan P. N. Exon Smith "bb:\n" 155908d809bSDuncan P. N. Exon Smith " unreachable\n" 156908d809bSDuncan P. N. Exon Smith "}\n"); 157908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("before")->empty()); 158908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 159908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 160908d809bSDuncan P. N. Exon Smith 161908d809bSDuncan P. N. Exon Smith // Materialize @before, pulling in @func. 1625a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("before")->materialize()); 163908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 164908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 165908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 166908d809bSDuncan P. N. Exon Smith } 167908d809bSDuncan P. N. Exon Smith 168908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) { 169908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 170908d809bSDuncan P. N. Exon Smith 171908d809bSDuncan P. N. Exon Smith LLVMContext Context; 172908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 173908d809bSDuncan P. N. Exon Smith Context, Mem, "define void @func() {\n" 174908d809bSDuncan P. N. Exon Smith " unreachable\n" 175908d809bSDuncan P. N. Exon Smith "bb:\n" 176908d809bSDuncan P. N. Exon Smith " unreachable\n" 177908d809bSDuncan P. N. Exon Smith "}\n" 178908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 179908d809bSDuncan P. N. Exon Smith " unreachable\n" 180908d809bSDuncan P. N. Exon Smith "}\n" 181908d809bSDuncan P. N. Exon Smith "define i8* @after() {\n" 182908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 183908d809bSDuncan P. N. Exon Smith "}\n"); 184908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("after")->empty()); 185908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 186908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 187908d809bSDuncan P. N. Exon Smith 188908d809bSDuncan P. N. Exon Smith // Materialize @after, pulling in @func. 1895a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("after")->materialize()); 190908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 191908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 192908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 193e517273eSChandler Carruth } 1947a2990cfSDuncan P. N. Exon Smith 1957a2990cfSDuncan P. N. Exon Smith } // end namespace 196