commit a10e89f372220a579faac02a1e4bdb0393b878a7
author Nick Lewycky <nicholas@mxc.ca> Mon Aug 17 17:00:57 2009 +0000
committer Nick Lewycky <nicholas@mxc.ca> Mon Aug 17 17:00:57 2009 +0000
tree a1903ee8a0684a66404ebceb9d32a33e611581ca
parent 8b818d7e98309125c6058c4ea72a7dc73b031db2

Don't crash on critical edge. Patch by Andre Tavares.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79252 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/Utils/SSI.cpp

diff --git a/lib/Transforms/Utils/SSI.cpp b/lib/Transforms/Utils/SSI.cpp
index 7736f08..7bb9495 100644
--- a/lib/Transforms/Utils/SSI.cpp
+++ b/lib/Transforms/Utils/SSI.cpp
@@ -95,7 +95,7 @@
           // Next Basic Block
           BasicBlock *BB_next = TI->getSuccessor(j);
           if (BB_next != BB &&
-              BB_next->getUniquePredecessor() != NULL &&
+              BB_next->getSinglePredecessor() != NULL &&
               dominateAny(BB_next, value[i])) {
             PHINode *PN = PHINode::Create(
                 value[i]->getType(), SSI_SIG, BB_next->begin());

test/Transforms/SSI/2009-08-17-CritEdge.ll

diff --git a/test/Transforms/SSI/2009-08-17-CritEdge.ll b/test/Transforms/SSI/2009-08-17-CritEdge.ll
new file mode 100644
index 0000000..e5d1183
--- /dev/null
+++ b/test/Transforms/SSI/2009-08-17-CritEdge.ll
@@ -0,0 +1,15 @@
+; RUN: llvm-as < %s | opt -abcd -disable-output
+
+define void @test(i32 %x) {
+entry:
+  br label %label1
+label1:
+  %A = phi i32 [ 0, %entry ], [ %A.1, %label2 ]
+  %B = icmp slt i32 %A, %x
+  br i1 %B, label %label2, label %label2
+label2:
+  %A.1 = add i32 %A, 1
+  br label %label1
+label3:  ; No predecessors!
+  ret void
+}