1 //===- Local.cpp - Unit tests for Local -----------------------------------===//
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
10 #include "llvm/BasicBlock.h"
11 #include "llvm/IRBuilder.h"
12 #include "llvm/Instructions.h"
13 #include "llvm/LLVMContext.h"
14 #include "llvm/Transforms/Utils/Local.h"
15
16 #include "gtest/gtest.h"
17
18 using namespace llvm;
19
TEST(Local,RecursivelyDeleteDeadPHINodes)20 TEST(Local, RecursivelyDeleteDeadPHINodes) {
21 LLVMContext &C(getGlobalContext());
22
23 IRBuilder<> builder(C);
24
25 // Make blocks
26 BasicBlock *bb0 = BasicBlock::Create(C);
27 BasicBlock *bb1 = BasicBlock::Create(C);
28
29 builder.SetInsertPoint(bb0);
30 PHINode *phi = builder.CreatePHI(Type::getInt32Ty(C), 2);
31 BranchInst *br0 = builder.CreateCondBr(builder.getTrue(), bb0, bb1);
32
33 builder.SetInsertPoint(bb1);
34 BranchInst *br1 = builder.CreateBr(bb0);
35
36 phi->addIncoming(phi, bb0);
37 phi->addIncoming(phi, bb1);
38
39 // The PHI will be removed
40 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
41
42 // Make sure the blocks only contain the branches
43 EXPECT_EQ(&bb0->front(), br0);
44 EXPECT_EQ(&bb1->front(), br1);
45
46 builder.SetInsertPoint(bb0);
47 phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
48
49 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
50
51 builder.SetInsertPoint(bb0);
52 phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
53 builder.CreateAdd(phi, phi);
54
55 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
56
57 bb0->dropAllReferences();
58 bb1->dropAllReferences();
59 delete bb0;
60 delete bb1;
61 }
62