1e517273eSChandler Carruth //===- llvm/unittest/Bitcode/BitReaderTest.cpp - Tests for BitReader ------===//
2e517273eSChandler Carruth //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e517273eSChandler Carruth //
7e517273eSChandler Carruth //===----------------------------------------------------------------------===//
8e517273eSChandler Carruth
9456baad2SRafael Espindola #include "llvm/ADT/STLExtras.h"
10ad17679aSTeresa Johnson #include "llvm/ADT/SmallString.h"
11d9903888SChandler Carruth #include "llvm/AsmParser/Parser.h"
12ad17679aSTeresa Johnson #include "llvm/Bitcode/BitcodeReader.h"
13ad17679aSTeresa Johnson #include "llvm/Bitcode/BitcodeWriter.h"
14*07f33512SKevin P. Neal #include "llvm/IR/InstrTypes.h"
159fb823bbSChandler Carruth #include "llvm/IR/LLVMContext.h"
169fb823bbSChandler Carruth #include "llvm/IR/Module.h"
175ad5f15cSChandler Carruth #include "llvm/IR/Verifier.h"
187a2990cfSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h"
197f00d0a1SPeter Collingbourne #include "llvm/Support/Error.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
parseAssembly(LLVMContext & Context,const char * Assembly)2803b42e41SMehdi Amini std::unique_ptr<Module> parseAssembly(LLVMContext &Context,
2903b42e41SMehdi Amini const char *Assembly) {
307a2990cfSDuncan P. N. Exon Smith SMDiagnostic Error;
3103b42e41SMehdi Amini std::unique_ptr<Module> M = parseAssemblyString(Assembly, Error, Context);
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
writeModuleToBuffer(std::unique_ptr<Module> Mod,SmallVectorImpl<char> & Buffer)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);
476a86e25dSRafael Espindola WriteBitcodeToFile(*Mod, OS);
48e517273eSChandler Carruth }
49e517273eSChandler Carruth
getLazyModuleFromAssembly(LLVMContext & Context,SmallString<1024> & Mem,const char * Assembly)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) {
5303b42e41SMehdi Amini writeModuleToBuffer(parseAssembly(Context, Assembly), Mem);
54d9445c49SPeter Collingbourne Expected<std::unique_ptr<Module>> ModuleOrErr =
55e2dcf7c3SPeter Collingbourne getLazyBitcodeModule(MemoryBufferRef(Mem.str(), "test"), Context);
56d9445c49SPeter Collingbourne if (!ModuleOrErr)
57d9445c49SPeter Collingbourne report_fatal_error("Could not parse bitcode module");
58dcd1dca2SRafael Espindola return std::move(ModuleOrErr.get());
59e517273eSChandler Carruth }
60e517273eSChandler Carruth
615d8dfd39SDerek Schuff // Tests that lazy evaluation can parse functions out of order.
TEST(BitReaderTest,MaterializeFunctionsOutOfOrder)625d8dfd39SDerek Schuff TEST(BitReaderTest, MaterializeFunctionsOutOfOrder) {
635d8dfd39SDerek Schuff SmallString<1024> Mem;
645d8dfd39SDerek Schuff LLVMContext Context;
655d8dfd39SDerek Schuff std::unique_ptr<Module> M = getLazyModuleFromAssembly(
665d8dfd39SDerek Schuff Context, Mem, "define void @f() {\n"
675d8dfd39SDerek Schuff " unreachable\n"
685d8dfd39SDerek Schuff "}\n"
695d8dfd39SDerek Schuff "define void @g() {\n"
705d8dfd39SDerek Schuff " unreachable\n"
715d8dfd39SDerek Schuff "}\n"
725d8dfd39SDerek Schuff "define void @h() {\n"
735d8dfd39SDerek Schuff " unreachable\n"
745d8dfd39SDerek Schuff "}\n"
755d8dfd39SDerek Schuff "define void @j() {\n"
765d8dfd39SDerek Schuff " unreachable\n"
775d8dfd39SDerek Schuff "}\n");
785d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
795d8dfd39SDerek Schuff
805d8dfd39SDerek Schuff Function *F = M->getFunction("f");
815d8dfd39SDerek Schuff Function *G = M->getFunction("g");
825d8dfd39SDerek Schuff Function *H = M->getFunction("h");
835d8dfd39SDerek Schuff Function *J = M->getFunction("j");
845d8dfd39SDerek Schuff
855d8dfd39SDerek Schuff // Initially all functions are not materialized (no basic blocks).
865d8dfd39SDerek Schuff EXPECT_TRUE(F->empty());
875d8dfd39SDerek Schuff EXPECT_TRUE(G->empty());
885d8dfd39SDerek Schuff EXPECT_TRUE(H->empty());
895d8dfd39SDerek Schuff EXPECT_TRUE(J->empty());
905d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
915d8dfd39SDerek Schuff
925d8dfd39SDerek Schuff // Materialize h.
937f00d0a1SPeter Collingbourne ASSERT_FALSE(H->materialize());
945d8dfd39SDerek Schuff EXPECT_TRUE(F->empty());
955d8dfd39SDerek Schuff EXPECT_TRUE(G->empty());
965d8dfd39SDerek Schuff EXPECT_FALSE(H->empty());
975d8dfd39SDerek Schuff EXPECT_TRUE(J->empty());
985d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
995d8dfd39SDerek Schuff
1005d8dfd39SDerek Schuff // Materialize g.
1017f00d0a1SPeter Collingbourne ASSERT_FALSE(G->materialize());
1025d8dfd39SDerek Schuff EXPECT_TRUE(F->empty());
1035d8dfd39SDerek Schuff EXPECT_FALSE(G->empty());
1045d8dfd39SDerek Schuff EXPECT_FALSE(H->empty());
1055d8dfd39SDerek Schuff EXPECT_TRUE(J->empty());
1065d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
1075d8dfd39SDerek Schuff
1085d8dfd39SDerek Schuff // Materialize j.
1097f00d0a1SPeter Collingbourne ASSERT_FALSE(J->materialize());
1105d8dfd39SDerek Schuff EXPECT_TRUE(F->empty());
1115d8dfd39SDerek Schuff EXPECT_FALSE(G->empty());
1125d8dfd39SDerek Schuff EXPECT_FALSE(H->empty());
1135d8dfd39SDerek Schuff EXPECT_FALSE(J->empty());
1145d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
1155d8dfd39SDerek Schuff
1165d8dfd39SDerek Schuff // Materialize f.
1177f00d0a1SPeter Collingbourne ASSERT_FALSE(F->materialize());
1185d8dfd39SDerek Schuff EXPECT_FALSE(F->empty());
1195d8dfd39SDerek Schuff EXPECT_FALSE(G->empty());
1205d8dfd39SDerek Schuff EXPECT_FALSE(H->empty());
1215d8dfd39SDerek Schuff EXPECT_FALSE(J->empty());
1225d8dfd39SDerek Schuff EXPECT_FALSE(verifyModule(*M, &dbgs()));
1235d8dfd39SDerek Schuff }
1245d8dfd39SDerek Schuff
TEST(BitReaderTest,MaterializeFunctionsStrictFP)125*07f33512SKevin P. Neal TEST(BitReaderTest, MaterializeFunctionsStrictFP) {
126*07f33512SKevin P. Neal SmallString<1024> Mem;
127*07f33512SKevin P. Neal
128*07f33512SKevin P. Neal LLVMContext Context;
129*07f33512SKevin P. Neal std::unique_ptr<Module> M = getLazyModuleFromAssembly(
130*07f33512SKevin P. Neal Context, Mem, "define double @foo(double %a) {\n"
131*07f33512SKevin P. Neal " %result = call double @bar(double %a) strictfp\n"
132*07f33512SKevin P. Neal " ret double %result\n"
133*07f33512SKevin P. Neal "}\n"
134*07f33512SKevin P. Neal "declare double @bar(double)\n");
135*07f33512SKevin P. Neal Function *Foo = M->getFunction("foo");
136*07f33512SKevin P. Neal ASSERT_FALSE(Foo->materialize());
137*07f33512SKevin P. Neal EXPECT_FALSE(Foo->empty());
138*07f33512SKevin P. Neal
139*07f33512SKevin P. Neal for (auto &BB : *Foo) {
140*07f33512SKevin P. Neal auto It = BB.begin();
141*07f33512SKevin P. Neal while (It != BB.end()) {
142*07f33512SKevin P. Neal Instruction &I = *It;
143*07f33512SKevin P. Neal ++It;
144*07f33512SKevin P. Neal
145*07f33512SKevin P. Neal if (auto *Call = dyn_cast<CallBase>(&I)) {
146*07f33512SKevin P. Neal EXPECT_FALSE(Call->isStrictFP());
147*07f33512SKevin P. Neal EXPECT_TRUE(Call->isNoBuiltin());
148*07f33512SKevin P. Neal }
149*07f33512SKevin P. Neal }
150*07f33512SKevin P. Neal }
151*07f33512SKevin P. Neal
152*07f33512SKevin P. Neal EXPECT_FALSE(verifyModule(*M, &dbgs()));
153*07f33512SKevin P. Neal }
154*07f33512SKevin P. Neal
TEST(BitReaderTest,MaterializeConstrainedFPStrictFP)155*07f33512SKevin P. Neal TEST(BitReaderTest, MaterializeConstrainedFPStrictFP) {
156*07f33512SKevin P. Neal SmallString<1024> Mem;
157*07f33512SKevin P. Neal
158*07f33512SKevin P. Neal LLVMContext Context;
159*07f33512SKevin P. Neal std::unique_ptr<Module> M = getLazyModuleFromAssembly(
160*07f33512SKevin P. Neal Context, Mem,
161*07f33512SKevin P. Neal "define double @foo(double %a) {\n"
162*07f33512SKevin P. Neal " %result = call double @llvm.experimental.constrained.sqrt.f64(double "
163*07f33512SKevin P. Neal "%a, metadata !\"round.tonearest\", metadata !\"fpexcept.strict\") "
164*07f33512SKevin P. Neal "strictfp\n"
165*07f33512SKevin P. Neal " ret double %result\n"
166*07f33512SKevin P. Neal "}\n"
167*07f33512SKevin P. Neal "declare double @llvm.experimental.constrained.sqrt.f64(double, "
168*07f33512SKevin P. Neal "metadata, metadata)\n");
169*07f33512SKevin P. Neal Function *Foo = M->getFunction("foo");
170*07f33512SKevin P. Neal ASSERT_FALSE(Foo->materialize());
171*07f33512SKevin P. Neal EXPECT_FALSE(Foo->empty());
172*07f33512SKevin P. Neal
173*07f33512SKevin P. Neal for (auto &BB : *Foo) {
174*07f33512SKevin P. Neal auto It = BB.begin();
175*07f33512SKevin P. Neal while (It != BB.end()) {
176*07f33512SKevin P. Neal Instruction &I = *It;
177*07f33512SKevin P. Neal ++It;
178*07f33512SKevin P. Neal
179*07f33512SKevin P. Neal if (auto *Call = dyn_cast<CallBase>(&I)) {
180*07f33512SKevin P. Neal EXPECT_TRUE(Call->isStrictFP());
181*07f33512SKevin P. Neal EXPECT_FALSE(Call->isNoBuiltin());
182*07f33512SKevin P. Neal }
183*07f33512SKevin P. Neal }
184*07f33512SKevin P. Neal }
185*07f33512SKevin P. Neal
186*07f33512SKevin P. Neal EXPECT_FALSE(verifyModule(*M, &dbgs()));
187*07f33512SKevin P. Neal }
188*07f33512SKevin P. Neal
TEST(BitReaderTest,MaterializeFunctionsForBlockAddr)1897a2990cfSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677
1907a2990cfSDuncan P. N. Exon Smith SmallString<1024> Mem;
1917a2990cfSDuncan P. N. Exon Smith
1927a2990cfSDuncan P. N. Exon Smith LLVMContext Context;
1937a2990cfSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly(
1947a2990cfSDuncan P. N. Exon Smith Context, Mem, "@table = constant i8* blockaddress(@func, %bb)\n"
1957a2990cfSDuncan P. N. Exon Smith "define void @func() {\n"
1967a2990cfSDuncan P. N. Exon Smith " unreachable\n"
1977a2990cfSDuncan P. N. Exon Smith "bb:\n"
1987a2990cfSDuncan P. N. Exon Smith " unreachable\n"
1997a2990cfSDuncan P. N. Exon Smith "}\n");
2007a2990cfSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs()));
201028eb5a3SPeter Collingbourne EXPECT_FALSE(M->getFunction("func")->empty());
202908d809bSDuncan P. N. Exon Smith }
203908d809bSDuncan P. N. Exon Smith
TEST(BitReaderTest,MaterializeFunctionsForBlockAddrInFunctionBefore)204908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionBefore) {
205908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem;
206908d809bSDuncan P. N. Exon Smith
207908d809bSDuncan P. N. Exon Smith LLVMContext Context;
208908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly(
209908d809bSDuncan P. N. Exon Smith Context, Mem, "define i8* @before() {\n"
210908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n"
211908d809bSDuncan P. N. Exon Smith "}\n"
212908d809bSDuncan P. N. Exon Smith "define void @other() {\n"
213908d809bSDuncan P. N. Exon Smith " unreachable\n"
214908d809bSDuncan P. N. Exon Smith "}\n"
215908d809bSDuncan P. N. Exon Smith "define void @func() {\n"
216908d809bSDuncan P. N. Exon Smith " unreachable\n"
217908d809bSDuncan P. N. Exon Smith "bb:\n"
218908d809bSDuncan P. N. Exon Smith " unreachable\n"
219908d809bSDuncan P. N. Exon Smith "}\n");
220908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("before")->empty());
221908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty());
222908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs()));
223908d809bSDuncan P. N. Exon Smith
224908d809bSDuncan P. N. Exon Smith // Materialize @before, pulling in @func.
2255a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("before")->materialize());
226908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty());
227908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty());
228908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs()));
229908d809bSDuncan P. N. Exon Smith }
230908d809bSDuncan P. N. Exon Smith
TEST(BitReaderTest,MaterializeFunctionsForBlockAddrInFunctionAfter)231908d809bSDuncan P. N. Exon Smith TEST(BitReaderTest, MaterializeFunctionsForBlockAddrInFunctionAfter) {
232908d809bSDuncan P. N. Exon Smith SmallString<1024> Mem;
233908d809bSDuncan P. N. Exon Smith
234908d809bSDuncan P. N. Exon Smith LLVMContext Context;
235908d809bSDuncan P. N. Exon Smith std::unique_ptr<Module> M = getLazyModuleFromAssembly(
236908d809bSDuncan P. N. Exon Smith Context, Mem, "define void @func() {\n"
237908d809bSDuncan P. N. Exon Smith " unreachable\n"
238908d809bSDuncan P. N. Exon Smith "bb:\n"
239908d809bSDuncan P. N. Exon Smith " unreachable\n"
240908d809bSDuncan P. N. Exon Smith "}\n"
241908d809bSDuncan P. N. Exon Smith "define void @other() {\n"
242908d809bSDuncan P. N. Exon Smith " unreachable\n"
243908d809bSDuncan P. N. Exon Smith "}\n"
244908d809bSDuncan P. N. Exon Smith "define i8* @after() {\n"
245908d809bSDuncan P. N. Exon Smith " ret i8* blockaddress(@func, %bb)\n"
246908d809bSDuncan P. N. Exon Smith "}\n");
247908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("after")->empty());
248908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("func")->empty());
249908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs()));
250908d809bSDuncan P. N. Exon Smith
251908d809bSDuncan P. N. Exon Smith // Materialize @after, pulling in @func.
2525a52e6dcSRafael Espindola EXPECT_FALSE(M->getFunction("after")->materialize());
253908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(M->getFunction("func")->empty());
254908d809bSDuncan P. N. Exon Smith EXPECT_TRUE(M->getFunction("other")->empty());
255908d809bSDuncan P. N. Exon Smith EXPECT_FALSE(verifyModule(*M, &dbgs()));
256e517273eSChandler Carruth }
2577a2990cfSDuncan P. N. Exon Smith
2587a2990cfSDuncan P. N. Exon Smith } // end namespace
259