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