Fix PR13967.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165187 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakub Staszak 2012-10-03 23:59:47 +00:00
parent 10181ae49c
commit 395c1502a7
2 changed files with 30 additions and 1 deletions

View File

@ -1262,7 +1262,10 @@ static bool needsLFTR(Loop *L, DominatorTree *DT) {
return true;
// Do LFTR if the exit condition's IV is *not* a simple counter.
Value *IncV = Phi->getIncomingValueForBlock(L->getLoopLatch());
int Idx = Phi->getBasicBlockIndex(L->getLoopLatch());
if (Idx < 0)
return true;
Value *IncV = Phi->getIncomingValue(Idx);
return Phi != getLoopPhiForCounter(IncV, L, DT);
}

View File

@ -87,3 +87,29 @@ entry:
main.f.exit: ; preds = %"3.i"
unreachable
}
; PR13967
define void @f() nounwind ssp {
bb:
br label %bb4
bb4:
%tmp = phi i64 [ %tmp5, %bb7 ], [ undef, %bb ]
%tmp5 = add nsw i64 %tmp, 1
%extract.t1 = trunc i64 %tmp5 to i32
br i1 false, label %bb6, label %bb7
bb6:
br label %bb7
bb7:
%.off0 = phi i32 [ undef, %bb6 ], [ %extract.t1, %bb4 ]
%tmp8 = icmp eq i32 %.off0, 0
br i1 %tmp8, label %bb9, label %bb4
bb9:
ret void
}