RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[NewGVN] Replace predicate info leftovers.

Browse Source 
This time with an additional fix, i.e. we remove the dead
@llvm.ssa.copy instruction.

llvm-svn: 303385
This commit is contained in:
Davide Italiano 2017-05-18 21:43:23 +00:00
parent 7351729728
commit 6a49507382
2 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/Scalar/NewGVN.cpp
View File

@ -3301,6 +3301,10 @@ bool NewGVN::eliminateInstructions(Function &F) {
Value *DominatingLeader = EliminationStack.back();
auto *II = dyn_cast<IntrinsicInst>(DominatingLeader);
if (II && II->getIntrinsicID() == Intrinsic::ssa_copy)
DominatingLeader = II->getOperand(0);
// Don't replace our existing users with ourselves.
if (U->get() == DominatingLeader)
continue;
@ -3321,6 +3325,8 @@ bool NewGVN::eliminateInstructions(Function &F) {
// It's about to be alive again.
if (LeaderUseCount == 0 && isa<Instruction>(DominatingLeader))
ProbablyDead.erase(cast<Instruction>(DominatingLeader));
if (LeaderUseCount == 0 && II)
ProbablyDead.insert(II);
++LeaderUseCount;
AnythingReplaced = true;
}

24
test/Transforms/NewGVN/pr32945.ll Normal file
View File

@ -0,0 +1,24 @@
; RUN: opt -S -newgvn %s | FileCheck %s
; CHECK-NOT: call i32 @llvm.ssa.copy
@d = external global i32
@e = external global i32
define void @tinkywinky() {
br i1 true, label %lor.lhs.false, label %cond.true
lor.lhs.false:
%tmp = load i32, i32* @d, align 4
%patatino = load i32, i32* null, align 4
%or = or i32 %tmp, %patatino
store i32 %or, i32* @d, align 4
br label %cond.true
cond.true:
%tmp1 = load i32, i32* @e, align 4
%tmp2 = load i32, i32* @d, align 4
%cmp = icmp eq i32 %tmp1, %tmp2
br i1 %cmp, label %cond.true6, label %cond.false
cond.true6:
%cmp7 = icmp slt i32 %tmp1, 0
br i1 %cmp7, label %cond.false, label %cond.false
cond.false:
ret void
}