blob: 91f97d76c9edb03b8121a154c28d69e68175dbde [file] [log] [blame]
Bill Wendling91686d62014-01-16 06:29:36 +00001//===- llvm/unittest/Linker/LinkModulesTest.cpp - IRBuilder tests ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Rafael Espindola5cb9c822014-11-17 20:51:01 +000010#include "llvm/AsmParser/Parser.h"
Bill Wendling91686d62014-01-16 06:29:36 +000011#include "llvm/IR/BasicBlock.h"
12#include "llvm/IR/DataLayout.h"
13#include "llvm/IR/Function.h"
Chandler Carruth442f7842014-03-04 10:07:28 +000014#include "llvm/IR/IRBuilder.h"
Bill Wendling91686d62014-01-16 06:29:36 +000015#include "llvm/IR/Module.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000016#include "llvm/Linker/Linker.h"
Rafael Espindola5cb9c822014-11-17 20:51:01 +000017#include "llvm/Support/SourceMgr.h"
Bill Wendling91686d62014-01-16 06:29:36 +000018#include "gtest/gtest.h"
19
20using namespace llvm;
21
22namespace {
23
24class LinkModuleTest : public testing::Test {
25protected:
26 virtual void SetUp() {
Bill Wendling91686d62014-01-16 06:29:36 +000027 M.reset(new Module("MyModule", Ctx));
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +000028 FunctionType *FTy = FunctionType::get(
29 Type::getInt8PtrTy(Ctx), Type::getInt32Ty(Ctx), false /*=isVarArg*/);
Bill Wendling91686d62014-01-16 06:29:36 +000030 F = Function::Create(FTy, Function::ExternalLinkage, "ba_func", M.get());
31 F->setCallingConv(CallingConv::C);
32
33 EntryBB = BasicBlock::Create(Ctx, "entry", F);
34 SwitchCase1BB = BasicBlock::Create(Ctx, "switch.case.1", F);
35 SwitchCase2BB = BasicBlock::Create(Ctx, "switch.case.2", F);
36 ExitBB = BasicBlock::Create(Ctx, "exit", F);
37
38 ArrayType *AT = ArrayType::get(Type::getInt8PtrTy(Ctx), 3);
39
40 GV = new GlobalVariable(*M.get(), AT, false /*=isConstant*/,
Craig Topper66f09ad2014-06-08 22:29:17 +000041 GlobalValue::InternalLinkage, nullptr,"switch.bas");
Bill Wendling91686d62014-01-16 06:29:36 +000042
43 // Global Initializer
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +000044 std::vector<Constant *> Init;
Bill Wendling91686d62014-01-16 06:29:36 +000045 Constant *SwitchCase1BA = BlockAddress::get(SwitchCase1BB);
46 Init.push_back(SwitchCase1BA);
47
48 Constant *SwitchCase2BA = BlockAddress::get(SwitchCase2BB);
49 Init.push_back(SwitchCase2BA);
50
51 ConstantInt *One = ConstantInt::get(Type::getInt32Ty(Ctx), 1);
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +000052 Constant *OnePtr = ConstantExpr::getCast(Instruction::IntToPtr, One,
53 Type::getInt8PtrTy(Ctx));
Bill Wendling91686d62014-01-16 06:29:36 +000054 Init.push_back(OnePtr);
55
56 GV->setInitializer(ConstantArray::get(AT, Init));
57 }
58
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +000059 virtual void TearDown() { M.reset(); }
Bill Wendling91686d62014-01-16 06:29:36 +000060
NAKAMURA Takumib49b99b2014-04-29 15:52:27 +000061 LLVMContext Ctx;
Ahmed Charles56440fd2014-03-06 05:51:42 +000062 std::unique_ptr<Module> M;
Bill Wendling91686d62014-01-16 06:29:36 +000063 Function *F;
64 GlobalVariable *GV;
65 BasicBlock *EntryBB;
66 BasicBlock *SwitchCase1BB;
67 BasicBlock *SwitchCase2BB;
68 BasicBlock *ExitBB;
69};
70
71TEST_F(LinkModuleTest, BlockAddress) {
Bill Wendling91686d62014-01-16 06:29:36 +000072 IRBuilder<> Builder(EntryBB);
73
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +000074 std::vector<Value *> GEPIndices;
Bill Wendling91686d62014-01-16 06:29:36 +000075 GEPIndices.push_back(ConstantInt::get(Type::getInt32Ty(Ctx), 0));
76 GEPIndices.push_back(F->arg_begin());
77
78 Value *GEP = Builder.CreateGEP(GV, GEPIndices, "switch.gep");
79 Value *Load = Builder.CreateLoad(GEP, "switch.load");
80
81 Builder.CreateRet(Load);
82
83 Builder.SetInsertPoint(SwitchCase1BB);
84 Builder.CreateBr(ExitBB);
85
86 Builder.SetInsertPoint(SwitchCase2BB);
87 Builder.CreateBr(ExitBB);
88
89 Builder.SetInsertPoint(ExitBB);
90 Builder.CreateRet(ConstantPointerNull::get(Type::getInt8PtrTy(Ctx)));
91
NAKAMURA Takumib49b99b2014-04-29 15:52:27 +000092 Module *LinkedModule = new Module("MyModuleLinked", Ctx);
Rafael Espindola9f8eff32014-10-28 00:24:16 +000093 Linker::LinkModules(LinkedModule, M.get());
Bill Wendling91686d62014-01-16 06:29:36 +000094
95 // Delete the original module.
96 M.reset();
97
98 // Check that the global "@switch.bas" is well-formed.
99 const GlobalVariable *LinkedGV = LinkedModule->getNamedGlobal("switch.bas");
100 const Constant *Init = LinkedGV->getInitializer();
101
102 // @switch.bas = internal global [3 x i8*]
103 // [i8* blockaddress(@ba_func, %switch.case.1),
104 // i8* blockaddress(@ba_func, %switch.case.2),
105 // i8* inttoptr (i32 1 to i8*)]
106
107 ArrayType *AT = ArrayType::get(Type::getInt8PtrTy(Ctx), 3);
108 EXPECT_EQ(AT, Init->getType());
109
110 Value *Elem = Init->getOperand(0);
111 ASSERT_TRUE(isa<BlockAddress>(Elem));
112 EXPECT_EQ(cast<BlockAddress>(Elem)->getFunction(),
113 LinkedModule->getFunction("ba_func"));
114 EXPECT_EQ(cast<BlockAddress>(Elem)->getBasicBlock()->getParent(),
115 LinkedModule->getFunction("ba_func"));
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +0000116
Bill Wendling91686d62014-01-16 06:29:36 +0000117 Elem = Init->getOperand(1);
118 ASSERT_TRUE(isa<BlockAddress>(Elem));
119 EXPECT_EQ(cast<BlockAddress>(Elem)->getFunction(),
120 LinkedModule->getFunction("ba_func"));
121 EXPECT_EQ(cast<BlockAddress>(Elem)->getBasicBlock()->getParent(),
122 LinkedModule->getFunction("ba_func"));
123
124 delete LinkedModule;
125}
126
Rafael Espindola9f8eff32014-10-28 00:24:16 +0000127static Module *getInternal(LLVMContext &Ctx) {
Bill Wendling91686d62014-01-16 06:29:36 +0000128 Module *InternalM = new Module("InternalModule", Ctx);
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +0000129 FunctionType *FTy = FunctionType::get(
130 Type::getVoidTy(Ctx), Type::getInt8PtrTy(Ctx), false /*=isVarArgs*/);
Bill Wendling91686d62014-01-16 06:29:36 +0000131
Rafael Espindola9f8eff32014-10-28 00:24:16 +0000132 Function *F =
133 Function::Create(FTy, Function::InternalLinkage, "bar", InternalM);
Bill Wendling91686d62014-01-16 06:29:36 +0000134 F->setCallingConv(CallingConv::C);
135
136 BasicBlock *BB = BasicBlock::Create(Ctx, "", F);
137 IRBuilder<> Builder(BB);
138 Builder.CreateRetVoid();
139
140 StructType *STy = StructType::create(Ctx, PointerType::get(FTy, 0));
141
142 GlobalVariable *GV =
NAKAMURA Takumi0f250ed2014-04-29 15:52:46 +0000143 new GlobalVariable(*InternalM, STy, false /*=isConstant*/,
Craig Topper66f09ad2014-06-08 22:29:17 +0000144 GlobalValue::InternalLinkage, nullptr, "g");
Bill Wendling91686d62014-01-16 06:29:36 +0000145
146 GV->setInitializer(ConstantStruct::get(STy, F));
Rafael Espindola9f8eff32014-10-28 00:24:16 +0000147 return InternalM;
148}
Bill Wendling91686d62014-01-16 06:29:36 +0000149
Rafael Espindola9f8eff32014-10-28 00:24:16 +0000150TEST_F(LinkModuleTest, EmptyModule) {
151 std::unique_ptr<Module> InternalM(getInternal(Ctx));
152 std::unique_ptr<Module> EmptyM(new Module("EmptyModule1", Ctx));
153 Linker::LinkModules(EmptyM.get(), InternalM.get());
154}
Bill Wendling91686d62014-01-16 06:29:36 +0000155
Rafael Espindola9f8eff32014-10-28 00:24:16 +0000156TEST_F(LinkModuleTest, EmptyModule2) {
157 std::unique_ptr<Module> InternalM(getInternal(Ctx));
158 std::unique_ptr<Module> EmptyM(new Module("EmptyModule1", Ctx));
159 Linker::LinkModules(InternalM.get(), EmptyM.get());
Bill Wendling91686d62014-01-16 06:29:36 +0000160}
161
Rafael Espindola5cb9c822014-11-17 20:51:01 +0000162TEST_F(LinkModuleTest, TypeMerge) {
163 LLVMContext C;
164 SMDiagnostic Err;
165
166 const char *M1Str = "%t = type {i32}\n"
167 "@t1 = weak global %t zeroinitializer\n";
168 std::unique_ptr<Module> M1 = parseAssemblyString(M1Str, Err, C);
169
170 const char *M2Str = "%t = type {i32}\n"
171 "@t2 = weak global %t zeroinitializer\n";
172 std::unique_ptr<Module> M2 = parseAssemblyString(M2Str, Err, C);
173
174 Linker::LinkModules(M1.get(), M2.get(), [](const llvm::DiagnosticInfo &){});
175
176 EXPECT_EQ(M1->getNamedGlobal("t1")->getType(),
177 M1->getNamedGlobal("t2")->getType());
178}
179
Bill Wendling91686d62014-01-16 06:29:36 +0000180} // end anonymous namespace