2011-02-20 08:38:20 +00:00
|
|
|
//===- Local.cpp - Unit tests for Local -----------------------------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "gtest/gtest.h"
|
|
|
|
#include "llvm/BasicBlock.h"
|
|
|
|
#include "llvm/Instructions.h"
|
|
|
|
#include "llvm/LLVMContext.h"
|
|
|
|
#include "llvm/Support/IRBuilder.h"
|
|
|
|
#include "llvm/Transforms/Utils/Local.h"
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
TEST(Local, RecursivelyDeleteDeadPHINodes) {
|
|
|
|
LLVMContext &C(getGlobalContext());
|
|
|
|
|
|
|
|
IRBuilder<> builder(C);
|
|
|
|
|
|
|
|
// Make blocks
|
|
|
|
BasicBlock *bb0 = BasicBlock::Create(C);
|
|
|
|
BasicBlock *bb1 = BasicBlock::Create(C);
|
|
|
|
|
|
|
|
builder.SetInsertPoint(bb0);
|
|
|
|
PHINode *phi = builder.CreatePHI(Type::getInt32Ty(C));
|
2011-03-30 11:19:20 +00:00
|
|
|
phi->reserveOperandSpace(2);
|
2011-02-20 08:38:20 +00:00
|
|
|
BranchInst *br0 = builder.CreateCondBr(builder.getTrue(), bb0, bb1);
|
|
|
|
|
|
|
|
builder.SetInsertPoint(bb1);
|
|
|
|
BranchInst *br1 = builder.CreateBr(bb0);
|
|
|
|
|
|
|
|
phi->addIncoming(phi, bb0);
|
|
|
|
phi->addIncoming(phi, bb1);
|
|
|
|
|
|
|
|
// The PHI will be removed
|
|
|
|
EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
|
|
|
|
|
|
|
|
// Make sure the blocks only contain the branches
|
|
|
|
EXPECT_EQ(&bb0->front(), br0);
|
|
|
|
EXPECT_EQ(&bb1->front(), br1);
|
|
|
|
|
2011-02-20 18:05:56 +00:00
|
|
|
builder.SetInsertPoint(bb0);
|
|
|
|
phi = builder.CreatePHI(Type::getInt32Ty(C));
|
|
|
|
|
|
|
|
EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
|
|
|
|
|
2011-02-21 16:27:36 +00:00
|
|
|
builder.SetInsertPoint(bb0);
|
|
|
|
phi = builder.CreatePHI(Type::getInt32Ty(C));
|
|
|
|
builder.CreateAdd(phi, phi);
|
|
|
|
|
|
|
|
EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
|
|
|
|
|
2011-02-20 08:38:20 +00:00
|
|
|
bb0->dropAllReferences();
|
|
|
|
bb1->dropAllReferences();
|
|
|
|
delete bb0;
|
|
|
|
delete bb1;
|
|
|
|
}
|