2011-02-20 16:38:20 +08: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.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2012-12-04 18:23:08 +08:00
|
|
|
#include "llvm/Transforms/Utils/Local.h"
|
2013-01-02 19:36:10 +08:00
|
|
|
#include "llvm/IR/BasicBlock.h"
|
|
|
|
#include "llvm/IR/IRBuilder.h"
|
|
|
|
#include "llvm/IR/Instructions.h"
|
|
|
|
#include "llvm/IR/LLVMContext.h"
|
2012-06-29 20:38:19 +08:00
|
|
|
#include "gtest/gtest.h"
|
|
|
|
|
2011-02-20 16:38:20 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
TEST(Local, RecursivelyDeleteDeadPHINodes) {
|
2016-04-15 05:59:01 +08:00
|
|
|
LLVMContext C;
|
2011-02-20 16:38:20 +08:00
|
|
|
|
|
|
|
IRBuilder<> builder(C);
|
|
|
|
|
|
|
|
// Make blocks
|
|
|
|
BasicBlock *bb0 = BasicBlock::Create(C);
|
|
|
|
BasicBlock *bb1 = BasicBlock::Create(C);
|
|
|
|
|
|
|
|
builder.SetInsertPoint(bb0);
|
2011-03-30 19:28:46 +08:00
|
|
|
PHINode *phi = builder.CreatePHI(Type::getInt32Ty(C), 2);
|
2011-02-20 16:38:20 +08: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-21 02:05:56 +08:00
|
|
|
builder.SetInsertPoint(bb0);
|
2011-03-30 19:28:46 +08:00
|
|
|
phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
|
2011-02-21 02:05:56 +08:00
|
|
|
|
|
|
|
EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
|
|
|
|
|
2011-02-22 00:27:36 +08:00
|
|
|
builder.SetInsertPoint(bb0);
|
2011-03-30 19:28:46 +08:00
|
|
|
phi = builder.CreatePHI(Type::getInt32Ty(C), 0);
|
2011-02-22 00:27:36 +08:00
|
|
|
builder.CreateAdd(phi, phi);
|
|
|
|
|
|
|
|
EXPECT_TRUE(RecursivelyDeleteDeadPHINode(phi));
|
|
|
|
|
2011-02-20 16:38:20 +08:00
|
|
|
bb0->dropAllReferences();
|
|
|
|
bb1->dropAllReferences();
|
|
|
|
delete bb0;
|
|
|
|
delete bb1;
|
|
|
|
}
|
[RemoveDuplicatePHINodes] Start over after removing a PHI.
This makes RemoveDuplicatePHINodes more effective and fixes an assertion
failure. Triggering the assertions requires a DenseSet reallocation
so this change only contains a constructive test.
I'll explain the issue with a small example. In the following function
there's a duplicate PHI, %4 and %5 are identical. When this is found
the DenseSet in RemoveDuplicatePHINodes contains %2, %3 and %4.
define void @F() {
br label %1
; <label>:1 ; preds = %1, %0
%2 = phi i32 [ 42, %0 ], [ %4, %1 ]
%3 = phi i32 [ 42, %0 ], [ %5, %1 ]
%4 = phi i32 [ 42, %0 ], [ 23, %1 ]
%5 = phi i32 [ 42, %0 ], [ 23, %1 ]
br label %1
}
after RemoveDuplicatePHINodes runs the function looks like this. %3 has
changed and is now identical to %2, but RemoveDuplicatePHINodes never
saw this.
define void @F() {
br label %1
; <label>:1 ; preds = %1, %0
%2 = phi i32 [ 42, %0 ], [ %4, %1 ]
%3 = phi i32 [ 42, %0 ], [ %4, %1 ]
%4 = phi i32 [ 42, %0 ], [ 23, %1 ]
br label %1
}
If the DenseSet does a reallocation now it will reinsert all
keys and stumble over %3 now having a different hash value than it had
when inserted into the map for the first time. This change clears the
set whenever a PHI is deleted and starts the progress from the
beginning, allowing %3 to be deleted and avoiding inconsistent DenseSet
state. This potentially has a negative performance impact because
it rescans all PHIs, but I don't think that this ever makes a difference
in practice.
llvm-svn: 246694
2015-09-03 03:52:23 +08:00
|
|
|
|
|
|
|
TEST(Local, RemoveDuplicatePHINodes) {
|
2016-04-15 05:59:01 +08:00
|
|
|
LLVMContext C;
|
[RemoveDuplicatePHINodes] Start over after removing a PHI.
This makes RemoveDuplicatePHINodes more effective and fixes an assertion
failure. Triggering the assertions requires a DenseSet reallocation
so this change only contains a constructive test.
I'll explain the issue with a small example. In the following function
there's a duplicate PHI, %4 and %5 are identical. When this is found
the DenseSet in RemoveDuplicatePHINodes contains %2, %3 and %4.
define void @F() {
br label %1
; <label>:1 ; preds = %1, %0
%2 = phi i32 [ 42, %0 ], [ %4, %1 ]
%3 = phi i32 [ 42, %0 ], [ %5, %1 ]
%4 = phi i32 [ 42, %0 ], [ 23, %1 ]
%5 = phi i32 [ 42, %0 ], [ 23, %1 ]
br label %1
}
after RemoveDuplicatePHINodes runs the function looks like this. %3 has
changed and is now identical to %2, but RemoveDuplicatePHINodes never
saw this.
define void @F() {
br label %1
; <label>:1 ; preds = %1, %0
%2 = phi i32 [ 42, %0 ], [ %4, %1 ]
%3 = phi i32 [ 42, %0 ], [ %4, %1 ]
%4 = phi i32 [ 42, %0 ], [ 23, %1 ]
br label %1
}
If the DenseSet does a reallocation now it will reinsert all
keys and stumble over %3 now having a different hash value than it had
when inserted into the map for the first time. This change clears the
set whenever a PHI is deleted and starts the progress from the
beginning, allowing %3 to be deleted and avoiding inconsistent DenseSet
state. This potentially has a negative performance impact because
it rescans all PHIs, but I don't think that this ever makes a difference
in practice.
llvm-svn: 246694
2015-09-03 03:52:23 +08:00
|
|
|
IRBuilder<> B(C);
|
|
|
|
|
|
|
|
std::unique_ptr<Function> F(
|
|
|
|
Function::Create(FunctionType::get(B.getVoidTy(), false),
|
|
|
|
GlobalValue::ExternalLinkage, "F"));
|
|
|
|
BasicBlock *Entry(BasicBlock::Create(C, "", F.get()));
|
|
|
|
BasicBlock *BB(BasicBlock::Create(C, "", F.get()));
|
|
|
|
BranchInst::Create(BB, Entry);
|
|
|
|
|
|
|
|
B.SetInsertPoint(BB);
|
|
|
|
|
|
|
|
AssertingVH<PHINode> P1 = B.CreatePHI(Type::getInt32Ty(C), 2);
|
|
|
|
P1->addIncoming(B.getInt32(42), Entry);
|
|
|
|
|
|
|
|
PHINode *P2 = B.CreatePHI(Type::getInt32Ty(C), 2);
|
|
|
|
P2->addIncoming(B.getInt32(42), Entry);
|
|
|
|
|
|
|
|
AssertingVH<PHINode> P3 = B.CreatePHI(Type::getInt32Ty(C), 2);
|
|
|
|
P3->addIncoming(B.getInt32(42), Entry);
|
|
|
|
P3->addIncoming(B.getInt32(23), BB);
|
|
|
|
|
|
|
|
PHINode *P4 = B.CreatePHI(Type::getInt32Ty(C), 2);
|
|
|
|
P4->addIncoming(B.getInt32(42), Entry);
|
|
|
|
P4->addIncoming(B.getInt32(23), BB);
|
|
|
|
|
|
|
|
P1->addIncoming(P3, BB);
|
|
|
|
P2->addIncoming(P4, BB);
|
|
|
|
BranchInst::Create(BB, BB);
|
|
|
|
|
|
|
|
// Verify that we can eliminate PHIs that become duplicates after chaning PHIs
|
|
|
|
// downstream.
|
|
|
|
EXPECT_TRUE(EliminateDuplicatePHINodes(BB));
|
|
|
|
EXPECT_EQ(3U, BB->size());
|
|
|
|
}
|