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 
10456baad2SRafael Espindola #include "llvm/ADT/STLExtras.h"
11ad17679aSTeresa Johnson #include "llvm/ADT/SmallString.h"
12d9903888SChandler Carruth #include "llvm/AsmParser/Parser.h"
13ad17679aSTeresa Johnson #include "llvm/Bitcode/BitcodeReader.h"
14ad17679aSTeresa Johnson #include "llvm/Bitcode/BitcodeWriter.h"
15b4c1c28cSDerek Schuff #include "llvm/Bitcode/BitstreamReader.h"
16e517273eSChandler Carruth #include "llvm/Bitcode/BitstreamWriter.h"
179fb823bbSChandler Carruth #include "llvm/IR/Constants.h"
189fb823bbSChandler Carruth #include "llvm/IR/Instructions.h"
199fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h"
209fb823bbSChandler Carruth #include "llvm/IR/Module.h"
215ad5f15cSChandler Carruth #include "llvm/IR/Verifier.h"
227a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h"
237f00d0a1SPeter Collingbourne #include "llvm/Support/Error.h"
24e517273eSChandler Carruth #include "llvm/Support/MemoryBuffer.h"
257a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/SourceMgr.h"
26e517273eSChandler Carruth #include "gtest/gtest.h"
27e517273eSChandler Carruth 
287a2990cfSDuncan P. N. Exon Smith using namespace llvm;
297a2990cfSDuncan P. N. Exon Smith 
30e517273eSChandler Carruth namespace {
31e517273eSChandler Carruth 
3203b42e41SMehdi Amini std::unique_ptr<Module> parseAssembly(LLVMContext &Context,
3303b42e41SMehdi Amini                                       const char *Assembly) {
347a2990cfSDuncan P. N. Exon Smith   SMDiagnostic Error;
3503b42e41SMehdi Amini   std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context);
36e517273eSChandler Carruth 
377a2990cfSDuncan P. N. Exon Smith   std::string ErrMsg;
387a2990cfSDuncan P. N. Exon Smith   raw_string_ostream OS(ErrMsg);
397a2990cfSDuncan P. N. Exon Smith   Error.print("", OS);
40e517273eSChandler Carruth 
417a2990cfSDuncan P. N. Exon Smith   // A failure here means that the test itself is buggy.
4211c07d7eSRafael Espindola   if (!M)
437a2990cfSDuncan P. N. Exon Smith     report_fatal_error(OS.str().c_str());
44e517273eSChandler Carruth 
457a2990cfSDuncan P. N. Exon Smith   return M;
46e517273eSChandler Carruth }
47e517273eSChandler Carruth 
487a2990cfSDuncan P. N. Exon Smith static void writeModuleToBuffer(std::unique_ptr<Module> Mod,
497a2990cfSDuncan P. N. Exon Smith                                 SmallVectorImpl<char> &Buffer) {
505fa5ecf8SDaniel Dunbar   raw_svector_ostream OS(Buffer);
51508baf79SNAKAMURA Takumi   WriteBitcodeToFile(Mod.get(), OS);
52e517273eSChandler Carruth }
53e517273eSChandler Carruth 
547a2990cfSDuncan P. N. Exon Smith static std::unique_ptr<Module> getLazyModuleFromAssembly(LLVMContext &Context,
557a2990cfSDuncan P. N. Exon Smith                                                          SmallString<1024> &Mem,
567a2990cfSDuncan P. N. Exon Smith                                                          const char *Assembly) {
5703b42e41SMehdi Amini   writeModuleToBuffer(parseAssembly(Context, Assembly), Mem);
58*d9445c49SPeter Collingbourne   Expected<std::unique_ptr<Module>> ModuleOrErr =
59e2dcf7c3SPeter Collingbourne       getLazyBitcodeModule(MemoryBufferRef(Mem.str(), "test"), Context);
60*d9445c49SPeter Collingbourne   if (!ModuleOrErr)
61*d9445c49SPeter Collingbourne     report_fatal_error("Could not parse bitcode module");
62dcd1dca2SRafael Espindola   return std::move(ModuleOrErr.get());
63e517273eSChandler Carruth }
64e517273eSChandler Carruth 
655d8dfd39SDerek Schuff // Tests that lazy evaluation can parse functions out of order.
665d8dfd39SDerek Schuff TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) {
675d8dfd39SDerek Schuff   SmallString<1024> Mem;
685d8dfd39SDerek Schuff   LLVMContext Context;
695d8dfd39SDerek Schuff   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
705d8dfd39SDerek Schuff       Context, Mem, "define void @f() {\n"
715d8dfd39SDerek Schuff                     "  unreachable\n"
725d8dfd39SDerek Schuff                     "}\n"
735d8dfd39SDerek Schuff                     "define void @g() {\n"
745d8dfd39SDerek Schuff                     "  unreachable\n"
755d8dfd39SDerek Schuff                     "}\n"
765d8dfd39SDerek Schuff                     "define void @h() {\n"
775d8dfd39SDerek Schuff                     "  unreachable\n"
785d8dfd39SDerek Schuff                     "}\n"
795d8dfd39SDerek Schuff                     "define void @j() {\n"
805d8dfd39SDerek Schuff                     "  unreachable\n"
815d8dfd39SDerek Schuff                     "}\n");
825d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
835d8dfd39SDerek Schuff 
845d8dfd39SDerek Schuff   Function *F = M->getFunction("f");
855d8dfd39SDerek Schuff   Function *G = M->getFunction("g");
865d8dfd39SDerek Schuff   Function *H = M->getFunction("h");
875d8dfd39SDerek Schuff   Function *J = M->getFunction("j");
885d8dfd39SDerek Schuff 
895d8dfd39SDerek Schuff   // Initially all functions are not materialized (no basic blocks).
905d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
915d8dfd39SDerek Schuff   EXPECT_TRUE(G->empty());
925d8dfd39SDerek Schuff   EXPECT_TRUE(H->empty());
935d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
945d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
955d8dfd39SDerek Schuff 
965d8dfd39SDerek Schuff   // Materialize h.
977f00d0a1SPeter Collingbourne   ASSERT_FALSE(H->materialize());
985d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
995d8dfd39SDerek Schuff   EXPECT_TRUE(G->empty());
1005d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1015d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
1025d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1035d8dfd39SDerek Schuff 
1045d8dfd39SDerek Schuff   // Materialize g.
1057f00d0a1SPeter Collingbourne   ASSERT_FALSE(G->materialize());
1065d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1075d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1085d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1095d8dfd39SDerek Schuff   EXPECT_TRUE(J->empty());
1105d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1115d8dfd39SDerek Schuff 
1125d8dfd39SDerek Schuff   // Materialize j.
1137f00d0a1SPeter Collingbourne   ASSERT_FALSE(J->materialize());
1145d8dfd39SDerek Schuff   EXPECT_TRUE(F->empty());
1155d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1165d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1175d8dfd39SDerek Schuff   EXPECT_FALSE(J->empty());
1185d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1195d8dfd39SDerek Schuff 
1205d8dfd39SDerek Schuff   // Materialize f.
1217f00d0a1SPeter Collingbourne   ASSERT_FALSE(F->materialize());
1225d8dfd39SDerek Schuff   EXPECT_FALSE(F->empty());
1235d8dfd39SDerek Schuff   EXPECT_FALSE(G->empty());
1245d8dfd39SDerek Schuff   EXPECT_FALSE(H->empty());
1255d8dfd39SDerek Schuff   EXPECT_FALSE(J->empty());
1265d8dfd39SDerek Schuff   EXPECT_FALSE(verifyModule(*M, &dbgs()));
1275d8dfd39SDerek Schuff }
1285d8dfd39SDerek Schuff 
1297a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677
1307a2990cfSDuncan P. N. Exon Smith   SmallString<1024> Mem;
1317a2990cfSDuncan P. N. Exon Smith 
1327a2990cfSDuncan P. N. Exon Smith   LLVMContext Context;
1337a2990cfSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
1347a2990cfSDuncan P. N. Exon Smith       Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
1357a2990cfSDuncan P. N. Exon Smith                     "define void @func() {\n"
1367a2990cfSDuncan P. N. Exon Smith                     "  unreachable\n"
1377a2990cfSDuncan P. N. Exon Smith                     "bb:\n"
1387a2990cfSDuncan P. N. Exon Smith                     "  unreachable\n"
1397a2990cfSDuncan P. N. Exon Smith                     "}\n");
1407a2990cfSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
141028eb5a3SPeter Collingbourne   EXPECT_FALSE(M->getFunction("func")->empty());
142908d809bSDuncan P. N. Exon Smith }
143908d809bSDuncan P. N. Exon Smith 
144908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) {
145908d809bSDuncan P. N. Exon Smith   SmallString<1024> Mem;
146908d809bSDuncan P. N. Exon Smith 
147908d809bSDuncan P. N. Exon Smith   LLVMContext Context;
148908d809bSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
149908d809bSDuncan P. N. Exon Smith       Context, Mem, "define i8* @before() {\n"
150908d809bSDuncan P. N. Exon Smith                     "  ret i8* blockaddress(@func, %bb)\n"
151908d809bSDuncan P. N. Exon Smith                     "}\n"
152908d809bSDuncan P. N. Exon Smith                     "define void @other() {\n"
153908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
154908d809bSDuncan P. N. Exon Smith                     "}\n"
155908d809bSDuncan P. N. Exon Smith                     "define void @func() {\n"
156908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
157908d809bSDuncan P. N. Exon Smith                     "bb:\n"
158908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
159908d809bSDuncan P. N. Exon Smith                     "}\n");
160908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("before")->empty());
161908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("func")->empty());
162908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
163908d809bSDuncan P. N. Exon Smith 
164908d809bSDuncan P. N. Exon Smith   // Materialize @before, pulling in @func.
1655a52e6dcSRafael Espindola   EXPECT_FALSE(M->getFunction("before")->materialize());
166908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
167908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("other")->empty());
168908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
169908d809bSDuncan P. N. Exon Smith }
170908d809bSDuncan P. N. Exon Smith 
171908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) {
172908d809bSDuncan P. N. Exon Smith   SmallString<1024> Mem;
173908d809bSDuncan P. N. Exon Smith 
174908d809bSDuncan P. N. Exon Smith   LLVMContext Context;
175908d809bSDuncan P. N. Exon Smith   std::unique_ptr<Module> M = getLazyModuleFromAssembly(
176908d809bSDuncan P. N. Exon Smith       Context, Mem, "define void @func() {\n"
177908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
178908d809bSDuncan P. N. Exon Smith                     "bb:\n"
179908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
180908d809bSDuncan P. N. Exon Smith                     "}\n"
181908d809bSDuncan P. N. Exon Smith                     "define void @other() {\n"
182908d809bSDuncan P. N. Exon Smith                     "  unreachable\n"
183908d809bSDuncan P. N. Exon Smith                     "}\n"
184908d809bSDuncan P. N. Exon Smith                     "define i8* @after() {\n"
185908d809bSDuncan P. N. Exon Smith                     "  ret i8* blockaddress(@func, %bb)\n"
186908d809bSDuncan P. N. Exon Smith                     "}\n");
187908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("after")->empty());
188908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("func")->empty());
189908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
190908d809bSDuncan P. N. Exon Smith 
191908d809bSDuncan P. N. Exon Smith   // Materialize @after, pulling in @func.
1925a52e6dcSRafael Espindola   EXPECT_FALSE(M->getFunction("after")->materialize());
193908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(M->getFunction("func")->empty());
194908d809bSDuncan P. N. Exon Smith   EXPECT_TRUE(M->getFunction("other")->empty());
195908d809bSDuncan P. N. Exon Smith   EXPECT_FALSE(verifyModule(*M, &dbgs()));
196e517273eSChandler Carruth }
1977a2990cfSDuncan P. N. Exon Smith 
1987a2990cfSDuncan P. N. Exon Smith } // end namespace
199