[llvm-commits] CVS: llvm/test/Regression/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/SimplifyCFG:

2005-08-03-PHIFactorCrash.ll added (r1.1)
---
Log message:

Testcase  that used to crash simplifycfg


---
Diffs of the changes:  (+94 -0)

 2005-08-03-PHIFactorCrash.ll |   94 +++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 94 insertions(+)


Index: llvm/test/Regression/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll
diff -c /dev/null llvm/test/Regression/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll:1.1
*** /dev/null	Wed Aug  3 13:01:17 2005
--- llvm/test/Regression/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll	Wed Aug  3 13:01:07 2005
***************
*** 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
+ }