[llvm-commits] [llvm] r62529 - in /llvm/trunk: lib/Transforms/Scalar/JumpThreading.cpp test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll

[Chris Lattner]

Author: lattner
Date: Mon Jan 19 15:20:34 2009
New Revision: 62529

URL: http://llvm.org/viewvc/llvm-project?rev=62529&view=rev
Log:
Fix PR3353, infinitely jump threading an infinite loop make from switches.

Added:
    llvm/trunk/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll
Modified:
    llvm/trunk/lib/Transforms/Scalar/JumpThreading.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/JumpThreading.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/JumpThreading.cpp?rev=62529&r1=62528&r2=62529&view=diff

==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/JumpThreading.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/JumpThreading.cpp Mon Jan 19 15:20:34 2009
@@ -419,6 +419,11 @@
 /// switches out of repeated 'if' conditions.
 bool JumpThreading::ProcessSwitchOnDuplicateCond(BasicBlock *PredBB,
                                                  BasicBlock *DestBB) {
+  // Can't thread edge to self.
+  if (PredBB == DestBB)
+    return false;
+  
+  
   SwitchInst *PredSI = cast<SwitchInst>(PredBB->getTerminator());
   SwitchInst *DestSI = cast<SwitchInst>(DestBB->getTerminator());
 

Added: llvm/trunk/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll?rev=62529&view=auto

==============================================================================
--- llvm/trunk/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll (added)
+++ llvm/trunk/test/Transforms/JumpThreading/2009-01-19-InfSwitchLoop.ll Mon Jan 19 15:20:34 2009
@@ -0,0 +1,21 @@
+; RUN: llvm-as < %s | opt -jump-threading | llvm-dis
+; PR3353
+
+define i32 @test(i8 %X) {
+entry:
+	%Y = add i8 %X, 1
+	%Z = add i8 %Y, 1
+	br label %bb33.i
+
+bb33.i:		; preds = %bb33.i, %bb32.i
+	switch i8 %Y, label %bb32.i [
+		i8 39, label %bb35.split.i
+		i8 13, label %bb33.i
+	]
+
+bb35.split.i:
+	ret i32 5
+bb32.i:
+	ret i32 1
+}
+