RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 03:23:01 +02:00
Code Issues Projects Releases Wiki Activity

[NewGVN] Replace predicate info leftovers.

Browse Source 
Fixes PR32945.

Differential Revision:  https://reviews.llvm.org/D33226

llvm-svn: 303141
This commit is contained in:
Davide Italiano 2017-05-16 05:23:23 +00:00
parent 96f4bdd6f9
commit 08da355c1b
2 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3291,6 +3291,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;

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
}