Testcase that used to crash simplifycfg

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

diff --git a/test/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll b/test/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll
new file mode 100644 (file)
index 0000000..e844c08
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll
@@ -0,0 +1,94 @@
+; RUN: llvm-as < %s | opt -simplifycfg -disable-output
+
+       %arraytype.1.Char = type { int, [0 x sbyte] }
+       %arraytype.4.Signed = type { int, [0 x int] }
+       %functiontype.23 = type %structtype.Task* (%structtype.Task*, %structtype.Packet*, %structtype.FailedRun*)
+       %functiontype.27 = type %structtype.object* ()
+       %functiontype.28 = type bool (%structtype.object*, %structtype.object_vtable*)
+       %functiontype.39 = type int (%structtype.listiter*)
+       %opaquetype.RuntimeTypeInfo = type sbyte* (sbyte*)
+       %structtype.AssertionError_vtable = type { %structtype.FailedRun_vtable }
+       %structtype.DeviceTask = type { %structtype.Task }
+       %structtype.FailedRun = type { %structtype.object }
+       %structtype.FailedRun_vtable = type { %structtype.object_vtable }
+       %structtype.Packet = type { %structtype.object, %structtype.list.1*, int, int, int, %structtype.Packet* }
+       %structtype.Task = type { %structtype.TaskState, %structtype.FailedRun*, int, %structtype.Packet*, %structtype.Task*, int }
+       %structtype.TaskState = type { %structtype.object, bool, bool, bool }
+       %structtype.list.1 = type { %arraytype.4.Signed* }
+       %structtype.listiter = type { %structtype.list.1*, int }
+       %structtype.object = type { %structtype.object_vtable* }
+       %structtype.object_vtable = type { %structtype.object_vtable*, %opaquetype.RuntimeTypeInfo*, %arraytype.1.Char*, %functiontype.27* }
+%structinstance.59 = external global %structtype.AssertionError_vtable         ; <%structtype.AssertionError_vtable*> [#uses=0]
+
+implementation   ; Functions:
+
+declare fastcc bool %ll_isinstance__objectPtr_object_vtablePtr()
+
+declare fastcc void %ll_listnext__listiterPtr()
+
+fastcc void %WorkTask.fn() {
+block0:
+       br label %block1
+
+block1:                ; preds = %block0
+       %v2542 = call fastcc bool %ll_isinstance__objectPtr_object_vtablePtr( )         ; <bool> [#uses=1]
+       br bool %v2542, label %block4, label %block2
+
+block2:                ; preds = %block1
+       br label %block3
+
+block3:                ; preds = %block2
+       unwind
+
+block4:                ; preds = %block1
+       br label %block5
+
+block5:                ; preds = %block4
+       %v2565 = seteq %structtype.Packet* null, null           ; <bool> [#uses=1]
+       br bool %v2565, label %block15, label %block6
+
+block6:                ; preds = %block5
+       %self_2575 = phi %structtype.DeviceTask* [ null, %block5 ]              ; <%structtype.DeviceTask*> [#uses=1]
+       br bool false, label %block14, label %block7
+
+block7:                ; preds = %block14, %block6
+       %self_2635 = phi %structtype.DeviceTask* [ %self_2575, %block6 ], [ null, %block14 ]            ; <%structtype.DeviceTask*> [#uses=1]
+       %tmp.124 = getelementptr %structtype.Packet* null, int 0, uint 2                ; <int*> [#uses=0]
+       br label %block8
+
+block8:                ; preds = %block10, %block7
+       %self_2672 = phi %structtype.DeviceTask* [ %self_2635, %block7 ], [ null, %block10 ]            ; <%structtype.DeviceTask*> [#uses=0]
+       invoke fastcc void %ll_listnext__listiterPtr( )
+                       to label %block9 unwind label %block8_exception_handling
+
+block8_exception_handling:             ; preds = %block8
+       br bool false, label %block8_exception_found_branchto_block12, label %block8_not_exception_structinstance.10
+
+block8_not_exception_structinstance.10:                ; preds = %block8_exception_handling
+       unwind
+
+block8_exception_found_branchto_block12:               ; preds = %block8_exception_handling
+       br label %block12
+
+block9:                ; preds = %block8
+       br bool false, label %block11, label %block10
+
+block10:               ; preds = %block11, %block9
+       br label %block8
+
+block11:               ; preds = %block9
+       br label %block10
+
+block12:               ; preds = %block8_exception_found_branchto_block12
+       br label %block13
+
+block13:               ; preds = %block15, %block12
+       ret void
+
+block14:               ; preds = %block6
+       br label %block7
+
+block15:               ; preds = %block5
+       %v2586 = phi %structtype.DeviceTask* [ null, %block5 ]          ; <%structtype.DeviceTask*> [#uses=0]
+       br label %block13
+}