diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2011-12-08 22:36:35 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2011-12-08 22:36:35 +0000 |
commit | c9b98ad7a7c3f2c098657a077a995912dce033e3 (patch) | |
tree | 2a40bea26e4574002ea98ba07eb26f2bf3aaa219 | |
parent | e955726a0e306127317a4392aa70823c2a10420e (diff) | |
download | llvm-c9b98ad7a7c3f2c098657a077a995912dce033e3.tar.gz llvm-c9b98ad7a7c3f2c098657a077a995912dce033e3.tar.bz2 llvm-c9b98ad7a7c3f2c098657a077a995912dce033e3.tar.xz |
Fix infinite loop in DSE when deleting a free in a reachable loop that's also
trivially infinite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146197 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Transforms/Scalar/DeadStoreElimination.cpp | 2 | ||||
-rw-r--r-- | test/Transforms/DeadStoreElimination/free.ll | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/DeadStoreElimination.cpp b/lib/Transforms/Scalar/DeadStoreElimination.cpp index b9b1cc86c2..8729019705 100644 --- a/lib/Transforms/Scalar/DeadStoreElimination.cpp +++ b/lib/Transforms/Scalar/DeadStoreElimination.cpp @@ -624,6 +624,7 @@ static void FindUnconditionalPreds(SmallVectorImpl<BasicBlock *> &Blocks, BasicBlock *BB, DominatorTree *DT) { for (pred_iterator I = pred_begin(BB), E = pred_end(BB); I != E; ++I) { BasicBlock *Pred = *I; + if (Pred == BB) continue; TerminatorInst *PredTI = Pred->getTerminator(); if (PredTI->getNumSuccessors() != 1) continue; @@ -853,4 +854,3 @@ void DSE::RemoveAccessedObjects(const AliasAnalysis::Location &LoadedLoc, I != E; ++I) DeadStackObjects.erase(*I); } - diff --git a/test/Transforms/DeadStoreElimination/free.ll b/test/Transforms/DeadStoreElimination/free.ll index 168bd95e53..a5fbdc7638 100644 --- a/test/Transforms/DeadStoreElimination/free.ll +++ b/test/Transforms/DeadStoreElimination/free.ll @@ -58,3 +58,13 @@ skipinit1: tail call void @free(i8* %alloc1) nounwind ret void } + +; CHECK: @test5 +define void @test5() { + br label %bb + +bb: + tail call void @free(i8* undef) nounwind + br label %bb +} + |