| ; 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 |
| } |