maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[NewGVN] Replace predicate info leftovers. 

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 9ac6c03989
commit 331058fcc4
2 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/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
llvm/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
}