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" 11e517273eSChandler Carruth #include "llvm/Bitcode/BitstreamWriter.h" 12e517273eSChandler Carruth #include "llvm/Bitcode/ReaderWriter.h" 137a2990cfSDuncan P. N. Exon Smith #include "llvm/AsmParser/Parser.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 auto M = make_unique<Module>("Module", getGlobalContext()); 30e517273eSChandler Carruth 317a2990cfSDuncan P. N. Exon Smith SMDiagnostic Error; 327a2990cfSDuncan P. N. Exon Smith bool Parsed = 337a2990cfSDuncan P. N. Exon Smith ParseAssemblyString(Assembly, M.get(), Error, M->getContext()) == M.get(); 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. 407a2990cfSDuncan P. N. Exon Smith if (!Parsed) 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); 565fa5ecf8SDaniel Dunbar MemoryBuffer *Buffer = MemoryBuffer::getMemBuffer(Mem.str(), "test", false); 577a2990cfSDuncan P. N. Exon Smith ErrorOr<Module *> ModuleOrErr = getLazyBitcodeModule(Buffer, Context); 587a2990cfSDuncan P. N. Exon Smith return std::unique_ptr<Module>(ModuleOrErr.get()); 59e517273eSChandler Carruth } 60e517273eSChandler Carruth 617a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677 627a2990cfSDuncan P. N. Exon Smith SmallString<1024> Mem; 637a2990cfSDuncan P. N. Exon Smith 647a2990cfSDuncan P. N. Exon Smith LLVMContext Context; 657a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 667a2990cfSDuncan P. N. Exon Smith Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n" 677a2990cfSDuncan P. N. Exon Smith "define void @func() {\n" 687a2990cfSDuncan P. N. Exon Smith " unreachable\n" 697a2990cfSDuncan P. N. Exon Smith "bb:\n" 707a2990cfSDuncan P. N. Exon Smith " unreachable\n" 717a2990cfSDuncan P. N. Exon Smith "}\n"); 727a2990cfSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 73*908d809bSDuncan P. N. Exon Smith 74*908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 75*908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 76*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 77*908d809bSDuncan P. N. Exon Smith } 78*908d809bSDuncan P. N. Exon Smith 79*908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) { 80*908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 81*908d809bSDuncan P. N. Exon Smith 82*908d809bSDuncan P. N. Exon Smith LLVMContext Context; 83*908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 84*908d809bSDuncan P. N. Exon Smith Context, Mem, "define i8* @before() {\n" 85*908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 86*908d809bSDuncan P. N. Exon Smith "}\n" 87*908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 88*908d809bSDuncan P. N. Exon Smith " unreachable\n" 89*908d809bSDuncan P. N. Exon Smith "}\n" 90*908d809bSDuncan P. N. Exon Smith "define void @func() {\n" 91*908d809bSDuncan P. N. Exon Smith " unreachable\n" 92*908d809bSDuncan P. N. Exon Smith "bb:\n" 93*908d809bSDuncan P. N. Exon Smith " unreachable\n" 94*908d809bSDuncan P. N. Exon Smith "}\n"); 95*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("before")->empty()); 96*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 97*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 98*908d809bSDuncan P. N. Exon Smith 99*908d809bSDuncan P. N. Exon Smith // Materialize @before, pulling in @func. 100*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("before")->Materialize()); 101*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 102*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 103*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 104*908d809bSDuncan P. N. Exon Smith 105*908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 106*908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 107*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 108*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 109*908d809bSDuncan P. N. Exon Smith } 110*908d809bSDuncan P. N. Exon Smith 111*908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) { 112*908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem; 113*908d809bSDuncan P. N. Exon Smith 114*908d809bSDuncan P. N. Exon Smith LLVMContext Context; 115*908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly( 116*908d809bSDuncan P. N. Exon Smith Context, Mem, "define void @func() {\n" 117*908d809bSDuncan P. N. Exon Smith " unreachable\n" 118*908d809bSDuncan P. N. Exon Smith "bb:\n" 119*908d809bSDuncan P. N. Exon Smith " unreachable\n" 120*908d809bSDuncan P. N. Exon Smith "}\n" 121*908d809bSDuncan P. N. Exon Smith "define void @other() {\n" 122*908d809bSDuncan P. N. Exon Smith " unreachable\n" 123*908d809bSDuncan P. N. Exon Smith "}\n" 124*908d809bSDuncan P. N. Exon Smith "define i8* @after() {\n" 125*908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n" 126*908d809bSDuncan P. N. Exon Smith "}\n"); 127*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("after")->empty()); 128*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty()); 129*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 130*908d809bSDuncan P. N. Exon Smith 131*908d809bSDuncan P. N. Exon Smith // Materialize @after, pulling in @func. 132*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("after")->Materialize()); 133*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 134*908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty()); 135*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 136*908d809bSDuncan P. N. Exon Smith 137*908d809bSDuncan P. N. Exon Smith // Try (and fail) to dematerialize @func. 138*908d809bSDuncan P. N. Exon Smith M->getFunction("func")->Dematerialize(); 139*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty()); 140*908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs())); 141e517273eSChandler Carruth } 1427a2990cfSDuncan P. N. Exon Smith 1437a2990cfSDuncan P. N. Exon Smith } // end namespace 144