blob: b761e4e220ef7462fc57ceb757596d65d6747c18 [file] [log] [blame]
Nick Lewycky1f715782009-09-27 21:39:46 +00001//===- Cloning.cpp - Unit tests for the Cloner ----------------------------===//
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
Alon Mishne07d949f2014-03-12 14:42:51 +000010#include "llvm/Transforms/Utils/Cloning.h"
11#include "llvm/ADT/ArrayRef.h"
Chandler Carruth130cec22012-12-04 10:23:08 +000012#include "llvm/ADT/STLExtras.h"
Quentin Colombet4156c982014-04-22 02:17:11 +000013#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000014#include "llvm/IR/Argument.h"
15#include "llvm/IR/Constant.h"
Alon Mishne07d949f2014-03-12 14:42:51 +000016#include "llvm/IR/DIBuilder.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000017#include "llvm/IR/DebugInfo.h"
Joey Gouly81259292013-04-10 10:37:38 +000018#include "llvm/IR/Function.h"
Joey Gouly81259292013-04-10 10:37:38 +000019#include "llvm/IR/IRBuilder.h"
Alon Mishne07d949f2014-03-12 14:42:51 +000020#include "llvm/IR/InstIterator.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000021#include "llvm/IR/Instructions.h"
Alon Mishne07d949f2014-03-12 14:42:51 +000022#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/LLVMContext.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000024#include "llvm/IR/Module.h"
Duncan P. N. Exon Smith4bd905e2015-03-30 21:35:14 +000025#include "llvm/IR/Verifier.h"
Chandler Carruth130cec22012-12-04 10:23:08 +000026#include "gtest/gtest.h"
Nick Lewycky1f715782009-09-27 21:39:46 +000027
28using namespace llvm;
29
David Blaikiea379b1812011-12-20 02:50:00 +000030namespace {
Chandler Carruth35e67062012-06-20 08:39:27 +000031
Nick Lewycky84189ab2010-03-13 19:58:26 +000032class CloneInstruction : public ::testing::Test {
33protected:
Alexander Kornienkof817c1c2015-04-11 02:11:45 +000034 void SetUp() override { V = nullptr; }
Nick Lewycky84189ab2010-03-13 19:58:26 +000035
36 template <typename T>
37 T *clone(T *V1) {
38 Value *V2 = V1->clone();
Quentin Colombet4156c982014-04-22 02:17:11 +000039 Orig.insert(V1);
40 Clones.insert(V2);
Nick Lewycky84189ab2010-03-13 19:58:26 +000041 return cast<T>(V2);
42 }
43
Quentin Colombet4156c982014-04-22 02:17:11 +000044 void eraseClones() {
45 DeleteContainerPointers(Clones);
46 }
Nick Lewycky84189ab2010-03-13 19:58:26 +000047
Alexander Kornienkof817c1c2015-04-11 02:11:45 +000048 void TearDown() override {
Nick Lewycky84189ab2010-03-13 19:58:26 +000049 eraseClones();
Quentin Colombet4156c982014-04-22 02:17:11 +000050 DeleteContainerPointers(Orig);
51 delete V;
Nick Lewycky84189ab2010-03-13 19:58:26 +000052 }
53
Quentin Colombet4156c982014-04-22 02:17:11 +000054 SmallPtrSet<Value *, 4> Orig; // Erase on exit
55 SmallPtrSet<Value *, 4> Clones; // Erase in eraseClones
Nick Lewycky84189ab2010-03-13 19:58:26 +000056
Nick Lewycky1f715782009-09-27 21:39:46 +000057 LLVMContext context;
Quentin Colombet4156c982014-04-22 02:17:11 +000058 Value *V;
Nick Lewycky84189ab2010-03-13 19:58:26 +000059};
60
61TEST_F(CloneInstruction, OverflowBits) {
Quentin Colombet4156c982014-04-22 02:17:11 +000062 V = new Argument(Type::getInt32Ty(context));
Nick Lewycky1f715782009-09-27 21:39:46 +000063
Quentin Colombet4156c982014-04-22 02:17:11 +000064 BinaryOperator *Add = BinaryOperator::Create(Instruction::Add, V, V);
65 BinaryOperator *Sub = BinaryOperator::Create(Instruction::Sub, V, V);
66 BinaryOperator *Mul = BinaryOperator::Create(Instruction::Mul, V, V);
Nick Lewycky1f715782009-09-27 21:39:46 +000067
Nick Lewycky84189ab2010-03-13 19:58:26 +000068 BinaryOperator *AddClone = this->clone(Add);
69 BinaryOperator *SubClone = this->clone(Sub);
70 BinaryOperator *MulClone = this->clone(Mul);
71
72 EXPECT_FALSE(AddClone->hasNoUnsignedWrap());
73 EXPECT_FALSE(AddClone->hasNoSignedWrap());
74 EXPECT_FALSE(SubClone->hasNoUnsignedWrap());
75 EXPECT_FALSE(SubClone->hasNoSignedWrap());
76 EXPECT_FALSE(MulClone->hasNoUnsignedWrap());
77 EXPECT_FALSE(MulClone->hasNoSignedWrap());
78
79 eraseClones();
Nick Lewycky1f715782009-09-27 21:39:46 +000080
81 Add->setHasNoUnsignedWrap();
82 Sub->setHasNoUnsignedWrap();
83 Mul->setHasNoUnsignedWrap();
84
Nick Lewycky84189ab2010-03-13 19:58:26 +000085 AddClone = this->clone(Add);
86 SubClone = this->clone(Sub);
87 MulClone = this->clone(Mul);
88
89 EXPECT_TRUE(AddClone->hasNoUnsignedWrap());
90 EXPECT_FALSE(AddClone->hasNoSignedWrap());
91 EXPECT_TRUE(SubClone->hasNoUnsignedWrap());
92 EXPECT_FALSE(SubClone->hasNoSignedWrap());
93 EXPECT_TRUE(MulClone->hasNoUnsignedWrap());
94 EXPECT_FALSE(MulClone->hasNoSignedWrap());
95
96 eraseClones();
Nick Lewycky1f715782009-09-27 21:39:46 +000097
98 Add->setHasNoSignedWrap();
99 Sub->setHasNoSignedWrap();
100 Mul->setHasNoSignedWrap();
101
Nick Lewycky84189ab2010-03-13 19:58:26 +0000102 AddClone = this->clone(Add);
103 SubClone = this->clone(Sub);
104 MulClone = this->clone(Mul);
105
106 EXPECT_TRUE(AddClone->hasNoUnsignedWrap());
107 EXPECT_TRUE(AddClone->hasNoSignedWrap());
108 EXPECT_TRUE(SubClone->hasNoUnsignedWrap());
109 EXPECT_TRUE(SubClone->hasNoSignedWrap());
110 EXPECT_TRUE(MulClone->hasNoUnsignedWrap());
111 EXPECT_TRUE(MulClone->hasNoSignedWrap());
112
113 eraseClones();
Nick Lewycky1f715782009-09-27 21:39:46 +0000114
115 Add->setHasNoUnsignedWrap(false);
116 Sub->setHasNoUnsignedWrap(false);
117 Mul->setHasNoUnsignedWrap(false);
118
Nick Lewycky84189ab2010-03-13 19:58:26 +0000119 AddClone = this->clone(Add);
120 SubClone = this->clone(Sub);
121 MulClone = this->clone(Mul);
122
123 EXPECT_FALSE(AddClone->hasNoUnsignedWrap());
124 EXPECT_TRUE(AddClone->hasNoSignedWrap());
125 EXPECT_FALSE(SubClone->hasNoUnsignedWrap());
126 EXPECT_TRUE(SubClone->hasNoSignedWrap());
127 EXPECT_FALSE(MulClone->hasNoUnsignedWrap());
128 EXPECT_TRUE(MulClone->hasNoSignedWrap());
Nick Lewycky1f715782009-09-27 21:39:46 +0000129}
130
Nick Lewycky84189ab2010-03-13 19:58:26 +0000131TEST_F(CloneInstruction, Inbounds) {
Quentin Colombet4156c982014-04-22 02:17:11 +0000132 V = new Argument(Type::getInt32PtrTy(context));
Nick Lewycky84189ab2010-03-13 19:58:26 +0000133
Nick Lewycky1f715782009-09-27 21:39:46 +0000134 Constant *Z = Constant::getNullValue(Type::getInt32Ty(context));
135 std::vector<Value *> ops;
136 ops.push_back(Z);
David Blaikieb3a39062015-03-14 21:40:10 +0000137 GetElementPtrInst *GEP =
138 GetElementPtrInst::Create(Type::getInt32Ty(context), V, ops);
Nick Lewycky84189ab2010-03-13 19:58:26 +0000139 EXPECT_FALSE(this->clone(GEP)->isInBounds());
Nick Lewycky1f715782009-09-27 21:39:46 +0000140
141 GEP->setIsInBounds();
Nick Lewycky84189ab2010-03-13 19:58:26 +0000142 EXPECT_TRUE(this->clone(GEP)->isInBounds());
Nick Lewycky1f715782009-09-27 21:39:46 +0000143}
144
Nick Lewycky84189ab2010-03-13 19:58:26 +0000145TEST_F(CloneInstruction, Exact) {
Quentin Colombet4156c982014-04-22 02:17:11 +0000146 V = new Argument(Type::getInt32Ty(context));
Nick Lewycky1f715782009-09-27 21:39:46 +0000147
Quentin Colombet4156c982014-04-22 02:17:11 +0000148 BinaryOperator *SDiv = BinaryOperator::Create(Instruction::SDiv, V, V);
Nick Lewycky84189ab2010-03-13 19:58:26 +0000149 EXPECT_FALSE(this->clone(SDiv)->isExact());
Nick Lewycky1f715782009-09-27 21:39:46 +0000150
151 SDiv->setIsExact(true);
Nick Lewycky84189ab2010-03-13 19:58:26 +0000152 EXPECT_TRUE(this->clone(SDiv)->isExact());
Nick Lewycky1f715782009-09-27 21:39:46 +0000153}
Chandler Carruth35e67062012-06-20 08:39:27 +0000154
Joey Gouly81259292013-04-10 10:37:38 +0000155TEST_F(CloneInstruction, Attributes) {
156 Type *ArgTy1[] = { Type::getInt32PtrTy(context) };
157 FunctionType *FT1 = FunctionType::get(Type::getVoidTy(context), ArgTy1, false);
158
159 Function *F1 = Function::Create(FT1, Function::ExternalLinkage);
160 BasicBlock *BB = BasicBlock::Create(context, "", F1);
161 IRBuilder<> Builder(BB);
162 Builder.CreateRetVoid();
163
164 Function *F2 = Function::Create(FT1, Function::ExternalLinkage);
165
166 Attribute::AttrKind AK[] = { Attribute::NoCapture };
167 AttributeSet AS = AttributeSet::get(context, 0, AK);
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000168 Argument *A = &*F1->arg_begin();
Joey Gouly81259292013-04-10 10:37:38 +0000169 A->addAttr(AS);
170
171 SmallVector<ReturnInst*, 4> Returns;
172 ValueToValueMapTy VMap;
173 VMap[A] = UndefValue::get(A->getType());
174
175 CloneFunctionInto(F2, F1, VMap, false, Returns);
176 EXPECT_FALSE(F2->arg_begin()->hasNoCaptureAttr());
Joey Gouly51f6fb92013-04-10 23:21:26 +0000177
178 delete F1;
179 delete F2;
Joey Gouly81259292013-04-10 10:37:38 +0000180}
181
Reid Kleckner23798a92014-03-26 22:26:35 +0000182TEST_F(CloneInstruction, CallingConvention) {
183 Type *ArgTy1[] = { Type::getInt32PtrTy(context) };
184 FunctionType *FT1 = FunctionType::get(Type::getVoidTy(context), ArgTy1, false);
185
186 Function *F1 = Function::Create(FT1, Function::ExternalLinkage);
187 F1->setCallingConv(CallingConv::Cold);
188 BasicBlock *BB = BasicBlock::Create(context, "", F1);
189 IRBuilder<> Builder(BB);
190 Builder.CreateRetVoid();
191
192 Function *F2 = Function::Create(FT1, Function::ExternalLinkage);
193
194 SmallVector<ReturnInst*, 4> Returns;
195 ValueToValueMapTy VMap;
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000196 VMap[&*F1->arg_begin()] = &*F2->arg_begin();
Reid Kleckner23798a92014-03-26 22:26:35 +0000197
198 CloneFunctionInto(F2, F1, VMap, false, Returns);
199 EXPECT_EQ(CallingConv::Cold, F2->getCallingConv());
200
201 delete F1;
202 delete F2;
203}
204
Alon Mishne07d949f2014-03-12 14:42:51 +0000205class CloneFunc : public ::testing::Test {
206protected:
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000207 void SetUp() override {
Alon Mishne07d949f2014-03-12 14:42:51 +0000208 SetupModule();
209 CreateOldFunc();
210 CreateNewFunc();
211 SetupFinder();
212 }
213
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000214 void TearDown() override { delete Finder; }
Alon Mishne07d949f2014-03-12 14:42:51 +0000215
216 void SetupModule() {
217 M = new Module("", C);
218 }
219
220 void CreateOldFunc() {
221 FunctionType* FuncType = FunctionType::get(Type::getVoidTy(C), false);
222 OldFunc = Function::Create(FuncType, GlobalValue::PrivateLinkage, "f", M);
223 CreateOldFunctionBodyAndDI();
224 }
225
226 void CreateOldFunctionBodyAndDI() {
227 DIBuilder DBuilder(*M);
228 IRBuilder<> IBuilder(C);
229
230 // Function DI
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000231 auto *File = DBuilder.createFile("filename.c", "/file/dir/");
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000232 DITypeRefArray ParamTypes = DBuilder.getOrCreateTypeArray(None);
233 DISubroutineType *FuncType =
Eric Christopherbdafb3c2015-10-15 06:56:10 +0000234 DBuilder.createSubroutineType(ParamTypes);
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000235 auto *CU =
236 DBuilder.createCompileUnit(dwarf::DW_LANG_C99, "filename.c",
237 "/file/dir", "CloneFunc", false, "", 0);
Alon Mishne07d949f2014-03-12 14:42:51 +0000238
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000239 auto *Subprogram = DBuilder.createFunction(
Peter Collingbourned4bff302015-11-05 22:03:56 +0000240 CU, "f", "f", File, 4, FuncType, true, true, 3, 0, false);
241 OldFunc->setSubprogram(Subprogram);
Alon Mishne07d949f2014-03-12 14:42:51 +0000242
243 // Function body
244 BasicBlock* Entry = BasicBlock::Create(C, "", OldFunc);
245 IBuilder.SetInsertPoint(Entry);
246 DebugLoc Loc = DebugLoc::get(3, 2, Subprogram);
247 IBuilder.SetCurrentDebugLocation(Loc);
248 AllocaInst* Alloca = IBuilder.CreateAlloca(IntegerType::getInt32Ty(C));
249 IBuilder.SetCurrentDebugLocation(DebugLoc::get(4, 2, Subprogram));
250 Value* AllocaContent = IBuilder.getInt32(1);
251 Instruction* Store = IBuilder.CreateStore(AllocaContent, Alloca);
252 IBuilder.SetCurrentDebugLocation(DebugLoc::get(5, 2, Subprogram));
253 Instruction* Terminator = IBuilder.CreateRetVoid();
254
255 // Create a local variable around the alloca
Duncan P. N. Exon Smith9928a902015-04-20 18:52:06 +0000256 auto *IntType =
257 DBuilder.createBasicType("int", 32, 0, dwarf::DW_ATE_signed);
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000258 auto *E = DBuilder.createExpression();
Duncan P. N. Exon Smith1e40dc42015-07-31 17:55:53 +0000259 auto *Variable =
260 DBuilder.createAutoVariable(Subprogram, "x", File, 5, IntType, true);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000261 auto *DL = DILocation::get(Subprogram->getContext(), 5, 0, Subprogram);
Duncan P. N. Exon Smithcd1aecf2015-04-15 21:18:07 +0000262 DBuilder.insertDeclare(Alloca, Variable, E, DL, Store);
263 DBuilder.insertDbgValueIntrinsic(AllocaContent, 0, Variable, E, DL,
264 Terminator);
Alon Mishne07d949f2014-03-12 14:42:51 +0000265 // Finalize the debug info
266 DBuilder.finalize();
267
268
269 // Create another, empty, compile unit
270 DIBuilder DBuilder2(*M);
271 DBuilder2.createCompileUnit(dwarf::DW_LANG_C99,
272 "extra.c", "/file/dir", "CloneFunc", false, "", 0);
273 DBuilder2.finalize();
274 }
275
276 void CreateNewFunc() {
277 ValueToValueMapTy VMap;
Craig Topper66f09ad2014-06-08 22:29:17 +0000278 NewFunc = CloneFunction(OldFunc, VMap, true, nullptr);
Alon Mishne07d949f2014-03-12 14:42:51 +0000279 M->getFunctionList().push_back(NewFunc);
280 }
281
282 void SetupFinder() {
283 Finder = new DebugInfoFinder();
284 Finder->processModule(*M);
285 }
286
287 LLVMContext C;
288 Function* OldFunc;
289 Function* NewFunc;
290 Module* M;
291 DebugInfoFinder* Finder;
292};
293
294// Test that a new, distinct function was created.
295TEST_F(CloneFunc, NewFunctionCreated) {
296 EXPECT_NE(OldFunc, NewFunc);
297}
298
299// Test that a new subprogram entry was added and is pointing to the new
300// function, while the original subprogram still points to the old one.
301TEST_F(CloneFunc, Subprogram) {
Duncan P. N. Exon Smith4bd905e2015-03-30 21:35:14 +0000302 EXPECT_FALSE(verifyModule(*M));
303
Alon Mishne07d949f2014-03-12 14:42:51 +0000304 unsigned SubprogramCount = Finder->subprogram_count();
Justin Bognerf404b932014-03-12 17:00:52 +0000305 EXPECT_EQ(2U, SubprogramCount);
Alon Mishne07d949f2014-03-12 14:42:51 +0000306
Alon Mishnead312152014-03-18 09:41:07 +0000307 auto Iter = Finder->subprograms().begin();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000308 auto *Sub1 = cast<DISubprogram>(*Iter);
Alon Mishne07d949f2014-03-12 14:42:51 +0000309 Iter++;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000310 auto *Sub2 = cast<DISubprogram>(*Iter);
Alon Mishne07d949f2014-03-12 14:42:51 +0000311
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000312 EXPECT_TRUE(
Peter Collingbourned4bff302015-11-05 22:03:56 +0000313 (Sub1 == OldFunc->getSubprogram() && Sub2 == NewFunc->getSubprogram()) ||
314 (Sub1 == NewFunc->getSubprogram() && Sub2 == OldFunc->getSubprogram()));
Alon Mishne07d949f2014-03-12 14:42:51 +0000315}
316
317// Test that the new subprogram entry was not added to the CU which doesn't
318// contain the old subprogram entry.
319TEST_F(CloneFunc, SubprogramInRightCU) {
Duncan P. N. Exon Smith4bd905e2015-03-30 21:35:14 +0000320 EXPECT_FALSE(verifyModule(*M));
321
Justin Bognerf404b932014-03-12 17:00:52 +0000322 EXPECT_EQ(2U, Finder->compile_unit_count());
Alon Mishne07d949f2014-03-12 14:42:51 +0000323
Alon Mishnead312152014-03-18 09:41:07 +0000324 auto Iter = Finder->compile_units().begin();
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000325 auto *CU1 = cast<DICompileUnit>(*Iter);
Alon Mishne07d949f2014-03-12 14:42:51 +0000326 Iter++;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000327 auto *CU2 = cast<DICompileUnit>(*Iter);
Duncan P. N. Exon Smith35ef22c2015-04-15 23:19:27 +0000328 EXPECT_TRUE(CU1->getSubprograms().size() == 0 ||
329 CU2->getSubprograms().size() == 0);
Alon Mishne07d949f2014-03-12 14:42:51 +0000330}
331
332// Test that instructions in the old function still belong to it in the
333// metadata, while instruction in the new function belong to the new one.
334TEST_F(CloneFunc, InstructionOwnership) {
Duncan P. N. Exon Smith4bd905e2015-03-30 21:35:14 +0000335 EXPECT_FALSE(verifyModule(*M));
336
Alon Mishne07d949f2014-03-12 14:42:51 +0000337 inst_iterator OldIter = inst_begin(OldFunc);
338 inst_iterator OldEnd = inst_end(OldFunc);
339 inst_iterator NewIter = inst_begin(NewFunc);
340 inst_iterator NewEnd = inst_end(NewFunc);
341 while (OldIter != OldEnd && NewIter != NewEnd) {
342 Instruction& OldI = *OldIter;
343 Instruction& NewI = *NewIter;
344 EXPECT_NE(&OldI, &NewI);
345
346 EXPECT_EQ(OldI.hasMetadata(), NewI.hasMetadata());
347 if (OldI.hasMetadata()) {
348 const DebugLoc& OldDL = OldI.getDebugLoc();
349 const DebugLoc& NewDL = NewI.getDebugLoc();
350
351 // Verify that the debug location data is the same
352 EXPECT_EQ(OldDL.getLine(), NewDL.getLine());
353 EXPECT_EQ(OldDL.getCol(), NewDL.getCol());
Duncan P. N. Exon Smith4fff3ec2015-03-30 21:05:29 +0000354
Alon Mishne07d949f2014-03-12 14:42:51 +0000355 // But that they belong to different functions
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000356 auto *OldSubprogram = cast<DISubprogram>(OldDL.getScope());
357 auto *NewSubprogram = cast<DISubprogram>(NewDL.getScope());
Peter Collingbourned4bff302015-11-05 22:03:56 +0000358 EXPECT_EQ(OldFunc->getSubprogram(), OldSubprogram);
359 EXPECT_EQ(NewFunc->getSubprogram(), NewSubprogram);
Alon Mishne07d949f2014-03-12 14:42:51 +0000360 }
361
362 ++OldIter;
363 ++NewIter;
364 }
365 EXPECT_EQ(OldEnd, OldIter);
366 EXPECT_EQ(NewEnd, NewIter);
367}
368
369// Test that the arguments for debug intrinsics in the new function were
370// properly cloned
371TEST_F(CloneFunc, DebugIntrinsics) {
Duncan P. N. Exon Smith4bd905e2015-03-30 21:35:14 +0000372 EXPECT_FALSE(verifyModule(*M));
373
Alon Mishne07d949f2014-03-12 14:42:51 +0000374 inst_iterator OldIter = inst_begin(OldFunc);
375 inst_iterator OldEnd = inst_end(OldFunc);
376 inst_iterator NewIter = inst_begin(NewFunc);
377 inst_iterator NewEnd = inst_end(NewFunc);
378 while (OldIter != OldEnd && NewIter != NewEnd) {
379 Instruction& OldI = *OldIter;
380 Instruction& NewI = *NewIter;
381 if (DbgDeclareInst* OldIntrin = dyn_cast<DbgDeclareInst>(&OldI)) {
382 DbgDeclareInst* NewIntrin = dyn_cast<DbgDeclareInst>(&NewI);
383 EXPECT_TRUE(NewIntrin);
384
385 // Old address must belong to the old function
386 EXPECT_EQ(OldFunc, cast<AllocaInst>(OldIntrin->getAddress())->
387 getParent()->getParent());
388 // New address must belong to the new function
389 EXPECT_EQ(NewFunc, cast<AllocaInst>(NewIntrin->getAddress())->
390 getParent()->getParent());
391
392 // Old variable must belong to the old function
Peter Collingbourned4bff302015-11-05 22:03:56 +0000393 EXPECT_EQ(OldFunc->getSubprogram(),
394 cast<DISubprogram>(OldIntrin->getVariable()->getScope()));
Alon Mishne07d949f2014-03-12 14:42:51 +0000395 // New variable must belong to the New function
Peter Collingbourned4bff302015-11-05 22:03:56 +0000396 EXPECT_EQ(NewFunc->getSubprogram(),
397 cast<DISubprogram>(NewIntrin->getVariable()->getScope()));
Alon Mishne07d949f2014-03-12 14:42:51 +0000398 } else if (DbgValueInst* OldIntrin = dyn_cast<DbgValueInst>(&OldI)) {
399 DbgValueInst* NewIntrin = dyn_cast<DbgValueInst>(&NewI);
400 EXPECT_TRUE(NewIntrin);
401
402 // Old variable must belong to the old function
Peter Collingbourned4bff302015-11-05 22:03:56 +0000403 EXPECT_EQ(OldFunc->getSubprogram(),
404 cast<DISubprogram>(OldIntrin->getVariable()->getScope()));
Alon Mishne07d949f2014-03-12 14:42:51 +0000405 // New variable must belong to the New function
Peter Collingbourned4bff302015-11-05 22:03:56 +0000406 EXPECT_EQ(NewFunc->getSubprogram(),
407 cast<DISubprogram>(NewIntrin->getVariable()->getScope()));
Alon Mishne07d949f2014-03-12 14:42:51 +0000408 }
409
410 ++OldIter;
411 ++NewIter;
412 }
413}
414
David Majnemercda86882015-06-30 22:14:01 +0000415class CloneModule : public ::testing::Test {
416protected:
417 void SetUp() override {
418 SetupModule();
419 CreateOldModule();
420 CreateNewModule();
421 }
422
423 void SetupModule() { OldM = new Module("", C); }
424
425 void CreateOldModule() {
Keno Fischer7c7c3e32016-02-13 02:04:29 +0000426 DIBuilder DBuilder(*OldM);
David Majnemercda86882015-06-30 22:14:01 +0000427 IRBuilder<> IBuilder(C);
428
429 auto *FuncType = FunctionType::get(Type::getVoidTy(C), false);
430 auto *PersFn = Function::Create(FuncType, GlobalValue::ExternalLinkage,
431 "persfn", OldM);
432 auto *F =
433 Function::Create(FuncType, GlobalValue::PrivateLinkage, "f", OldM);
434 F->setPersonalityFn(PersFn);
Keno Fischer7c7c3e32016-02-13 02:04:29 +0000435
436 // Create debug info
437 auto *File = DBuilder.createFile("filename.c", "/file/dir/");
438 DITypeRefArray ParamTypes = DBuilder.getOrCreateTypeArray(None);
439 DISubroutineType *DFuncType = DBuilder.createSubroutineType(ParamTypes);
440 auto *CU =
441 DBuilder.createCompileUnit(dwarf::DW_LANG_C99, "filename.c",
442 "/file/dir", "CloneModule", false, "", 0);
443 // Function DI
444 auto *Subprogram = DBuilder.createFunction(CU, "f", "f", File, 4, DFuncType,
445 true, true, 3, 0, false);
446 F->setSubprogram(Subprogram);
447
David Majnemercda86882015-06-30 22:14:01 +0000448 auto *Entry = BasicBlock::Create(C, "", F);
449 IBuilder.SetInsertPoint(Entry);
450 IBuilder.CreateRetVoid();
Keno Fischer7c7c3e32016-02-13 02:04:29 +0000451
452 // Finalize the debug info
453 DBuilder.finalize();
David Majnemercda86882015-06-30 22:14:01 +0000454 }
455
Rafael Espindolacab951d2015-12-08 23:57:17 +0000456 void CreateNewModule() { NewM = llvm::CloneModule(OldM).release(); }
David Majnemercda86882015-06-30 22:14:01 +0000457
458 LLVMContext C;
459 Module *OldM;
460 Module *NewM;
461};
462
463TEST_F(CloneModule, Verify) {
464 EXPECT_FALSE(verifyModule(*NewM));
465}
466
Keno Fischer7c7c3e32016-02-13 02:04:29 +0000467TEST_F(CloneModule, Subprogram) {
468 Function *NewF = NewM->getFunction("f");
469 DISubprogram *SP = NewF->getSubprogram();
470 EXPECT_TRUE(SP != nullptr);
471 EXPECT_EQ(SP->getName(), "f");
472 EXPECT_EQ(SP->getFile()->getFilename(), "filename.c");
473 EXPECT_EQ(SP->getLine(), (unsigned)4);
474}
Chandler Carruth35e67062012-06-20 08:39:27 +0000475}