blob: 5164bdbb2a4efd7d59219d5b2caf0f03e8925d22 [file] [log] [blame]
Nick Lewyckyc8a15692011-02-20 08:38:20 +00001//===- 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
Chandler Carruth130cec22012-12-04 10:23:08 +000010#include "llvm/Transforms/Utils/Local.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000011#include "llvm/IR/BasicBlock.h"
12#include "llvm/IR/IRBuilder.h"
13#include "llvm/IR/Instructions.h"
14#include "llvm/IR/LLVMContext.h"
Chandler Carruthaafe0912012-06-29 12:38:19 +000015#include "gtest/gtest.h"
16
Nick Lewyckyc8a15692011-02-20 08:38:20 +000017using namespace llvm;
18
19TEST(Local, RecursivelyDeleteDeadPHINodes) {
Mehdi Amini03b42e42016-04-14 21:59:01 +000020 LLVMContext C;
Nick Lewyckyc8a15692011-02-20 08:38:20 +000021
22 IRBuilder<> builder(C);
23
24 // Make blocks
25 BasicBlock *bb0 = BasicBlock::Create(C);
26 BasicBlock *bb1 = BasicBlock::Create(C);
27
28 builder.SetInsertPoint(bb0);
Jay Foad52131342011-03-30 11:28:46 +000029 PHINode *phi = builder.CreatePHI(Type::getInt32Ty(C), 2);
Nick Lewyckyc8a15692011-02-20 08:38:20 +000030 BranchInst *br0 = builder.CreateCondBr(builder.getTrue(), bb0, bb1);
31
32 builder.SetInsertPoint(bb1);
33 BranchInst *br1 = builder.CreateBr(bb0);
34
35 phi->addIncoming(phi, bb0);
36 phi->addIncoming(phi, bb1);
37
38 // The PHI will be removed
39 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
40
41 // Make sure the blocks only contain the branches
42 EXPECT_EQ(&bb0->front(), br0);
43 EXPECT_EQ(&bb1->front(), br1);
44
Nick Lewycky183c24c2011-02-20 18:05:56 +000045 builder.SetInsertPoint(bb0);
Jay Foad52131342011-03-30 11:28:46 +000046 phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
Nick Lewycky183c24c2011-02-20 18:05:56 +000047
48 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
49
Duncan Sands6dcd49b2011-02-21 16:27:36 +000050 builder.SetInsertPoint(bb0);
Jay Foad52131342011-03-30 11:28:46 +000051 phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
Duncan Sands6dcd49b2011-02-21 16:27:36 +000052 builder.CreateAdd(phi, phi);
53
54 EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
55
Nick Lewyckyc8a15692011-02-20 08:38:20 +000056 bb0->dropAllReferences();
57 bb1->dropAllReferences();
58 delete bb0;
59 delete bb1;
60}
Benjamin Kramerf175e042015-09-02 19:52:23 +000061
62TEST(Local, RemoveDuplicatePHINodes) {
Mehdi Amini03b42e42016-04-14 21:59:01 +000063 LLVMContext C;
Benjamin Kramerf175e042015-09-02 19:52:23 +000064 IRBuilder<> B(C);
65
66 std::unique_ptr<Function> F(
67 Function::Create(FunctionType::get(B.getVoidTy(), false),
68 GlobalValue::ExternalLinkage, "F"));
69 BasicBlock *Entry(BasicBlock::Create(C, "", F.get()));
70 BasicBlock *BB(BasicBlock::Create(C, "", F.get()));
71 BranchInst::Create(BB, Entry);
72
73 B.SetInsertPoint(BB);
74
75 AssertingVH<PHINode> P1 = B.CreatePHI(Type::getInt32Ty(C), 2);
76 P1->addIncoming(B.getInt32(42), Entry);
77
78 PHINode *P2 = B.CreatePHI(Type::getInt32Ty(C), 2);
79 P2->addIncoming(B.getInt32(42), Entry);
80
81 AssertingVH<PHINode> P3 = B.CreatePHI(Type::getInt32Ty(C), 2);
82 P3->addIncoming(B.getInt32(42), Entry);
83 P3->addIncoming(B.getInt32(23), BB);
84
85 PHINode *P4 = B.CreatePHI(Type::getInt32Ty(C), 2);
86 P4->addIncoming(B.getInt32(42), Entry);
87 P4->addIncoming(B.getInt32(23), BB);
88
89 P1->addIncoming(P3, BB);
90 P2->addIncoming(P4, BB);
91 BranchInst::Create(BB, BB);
92
93 // Verify that we can eliminate PHIs that become duplicates after chaning PHIs
94 // downstream.
95 EXPECT_TRUE(EliminateDuplicatePHINodes(BB));
96 EXPECT_EQ(3U, BB->size());
97}