test/Transforms/SimplifyCFG/2005-08-03-PHIFactorCrash.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -disable-output
   2 ; END.
   3
   4         %arraytype.1.Char = type { int, [0 x sbyte] }
   5         %arraytype.4.Signed = type { int, [0 x int] }
   6         %functiontype.23 = type %structtype.Task* (%structtype.Task*, %structtype.Packet*, %structtype.FailedRun*)
   7         %functiontype.27 = type %structtype.object* ()
   8         %functiontype.28 = type bool (%structtype.object*, %structtype.object_vtable*)
   9         %functiontype.39 = type int (%structtype.listiter*)
  10         %opaquetype.RuntimeTypeInfo = type sbyte* (sbyte*)
  11         %structtype.AssertionError_vtable = type { %structtype.FailedRun_vtable }
  12         %structtype.DeviceTask = type { %structtype.Task }
  13         %structtype.FailedRun = type { %structtype.object }
  14         %structtype.FailedRun_vtable = type { %structtype.object_vtable }
  15         %structtype.Packet = type { %structtype.object, %structtype.list.1*, int, int, int, %structtype.Packet* }
  16         %structtype.Task = type { %structtype.TaskState, %structtype.FailedRun*, int, %structtype.Packet*, %structtype.Task*, int }
  17         %structtype.TaskState = type { %structtype.object, bool, bool, bool }
  18         %structtype.list.1 = type { %arraytype.4.Signed* }
  19         %structtype.listiter = type { %structtype.list.1*, int }
  20         %structtype.object = type { %structtype.object_vtable* }
  21         %structtype.object_vtable = type { %structtype.object_vtable*, %opaquetype.RuntimeTypeInfo*, %arraytype.1.Char*, %functiontype.27* }
  22 %structinstance.59 = external global %structtype.AssertionError_vtable          ; <%structtype.AssertionError_vtable*> [#uses=0]
  23
  24 implementation   ; Functions:
  25
  26 declare fastcc bool %ll_isinstance__objectPtr_object_vtablePtr()
  27
  28 declare fastcc void %ll_listnext__listiterPtr()
  29
  30 fastcc void %WorkTask.fn() {
  31 block0:
  32         br label %block1
  33
  34 block1:         ; preds = %block0
  35         %v2542 = call fastcc bool %ll_isinstance__objectPtr_object_vtablePtr( )         ; <bool> [#uses=1]
  36         br bool %v2542, label %block4, label %block2
  37
  38 block2:         ; preds = %block1
  39         br label %block3
  40
  41 block3:         ; preds = %block2
  42         unwind
  43
  44 block4:         ; preds = %block1
  45         br label %block5
  46
  47 block5:         ; preds = %block4
  48         %v2565 = seteq %structtype.Packet* null, null           ; <bool> [#uses=1]
  49         br bool %v2565, label %block15, label %block6
  50
  51 block6:         ; preds = %block5
  52         %self_2575 = phi %structtype.DeviceTask* [ null, %block5 ]              ; <%structtype.DeviceTask*> [#uses=1]
  53         br bool false, label %block14, label %block7
  54
  55 block7:         ; preds = %block14, %block6
  56         %self_2635 = phi %structtype.DeviceTask* [ %self_2575, %block6 ], [ null, %block14 ]            ; <%structtype.DeviceTask*> [#uses=1]
  57         %tmp.124 = getelementptr %structtype.Packet* null, int 0, uint 2                ; <int*> [#uses=0]
  58         br label %block8
  59
  60 block8:         ; preds = %block10, %block7
  61         %self_2672 = phi %structtype.DeviceTask* [ %self_2635, %block7 ], [ null, %block10 ]            ; <%structtype.DeviceTask*> [#uses=0]
  62         invoke fastcc void %ll_listnext__listiterPtr( )
  63                         to label %block9 unwind label %block8_exception_handling
  64
  65 block8_exception_handling:              ; preds = %block8
  66         br bool false, label %block8_exception_found_branchto_block12, label %block8_not_exception_structinstance.10
  67
  68 block8_not_exception_structinstance.10:         ; preds = %block8_exception_handling
  69         unwind
  70
  71 block8_exception_found_branchto_block12:                ; preds = %block8_exception_handling
  72         br label %block12
  73
  74 block9:         ; preds = %block8
  75         br bool false, label %block11, label %block10
  76
  77 block10:                ; preds = %block11, %block9
  78         br label %block8
  79
  80 block11:                ; preds = %block9
  81         br label %block10
  82
  83 block12:                ; preds = %block8_exception_found_branchto_block12
  84         br label %block13
  85
  86 block13:                ; preds = %block15, %block12
  87         ret void
  88
  89 block14:                ; preds = %block6
  90         br label %block7
  91
  92 block15:                ; preds = %block5
  93         %v2586 = phi %structtype.DeviceTask* [ null, %block5 ]          ; <%structtype.DeviceTask*> [#uses=0]
  94         br label %block13
  95 }