forked from OSchip/llvm-project
parent
d683bdd0f8
commit
0ca5d9cb12
llvm/test/Regression/Transforms/SimplifyCFG
|
@ -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
|
||||
}
|
Loading…
Reference in New Issue