test/Transforms/GlobalOpt/2009-06-01-RecursivePHI.ll

   1 ; RUN: opt < %s -globalopt
   2
   3         %struct.s_annealing_sched = type { i32, float, float, float, float }
   4         %struct.s_bb = type { i32, i32, i32, i32 }
   5         %struct.s_net = type { i8*, i32, i32*, float, float }
   6         %struct.s_placer_opts = type { i32, float, i32, i32, i8*, i32, i32 }
   7 @net = internal global %struct.s_net* null              ; <%struct.s_net**> [#uses=4]
   8
   9 define fastcc void @alloc_and_load_placement_structs(i32 %place_cost_type, i32 %num_regions, float %place_cost_exp, float*** nocapture %old_region_occ_x, float*** nocapture %old_region_occ_y) nounwind ssp {
  10 entry:
  11         br i1 undef, label %bb.i, label %my_malloc.exit
  12
  13 bb.i:           ; preds = %entry
  14         unreachable
  15
  16 my_malloc.exit:         ; preds = %entry
  17         br i1 undef, label %bb.i81, label %my_malloc.exit83
  18
  19 bb.i81:         ; preds = %my_malloc.exit
  20         unreachable
  21
  22 my_malloc.exit83:               ; preds = %my_malloc.exit
  23         br i1 undef, label %bb.i.i57, label %my_calloc.exit.i
  24
  25 bb.i.i57:               ; preds = %my_malloc.exit83
  26         unreachable
  27
  28 my_calloc.exit.i:               ; preds = %my_malloc.exit83
  29         br i1 undef, label %bb.i4.i, label %my_calloc.exit5.i
  30
  31 bb.i4.i:                ; preds = %my_calloc.exit.i
  32         unreachable
  33
  34 my_calloc.exit5.i:              ; preds = %my_calloc.exit.i
  35         %.pre.i58 = load %struct.s_net** @net, align 4          ; <%struct.s_net*> [#uses=1]
  36         br label %bb17.i78
  37
  38 bb1.i61:                ; preds = %bb4.preheader.i, %bb1.i61
  39         br i1 undef, label %bb1.i61, label %bb5.i62
  40
  41 bb5.i62:                ; preds = %bb1.i61
  42         br i1 undef, label %bb6.i64, label %bb15.preheader.i
  43
  44 bb15.preheader.i:               ; preds = %bb4.preheader.i, %bb5.i62
  45         br label %bb16.i77
  46
  47 bb6.i64:                ; preds = %bb5.i62
  48         br i1 undef, label %bb7.i65, label %bb8.i67
  49
  50 bb7.i65:                ; preds = %bb6.i64
  51         unreachable
  52
  53 bb8.i67:                ; preds = %bb6.i64
  54         br i1 undef, label %bb.i1.i68, label %my_malloc.exit.i70
  55
  56 bb.i1.i68:              ; preds = %bb8.i67
  57         unreachable
  58
  59 my_malloc.exit.i70:             ; preds = %bb8.i67
  60         %0 = load %struct.s_net** @net, align 4         ; <%struct.s_net*> [#uses=1]
  61         br i1 undef, label %bb9.i71, label %bb16.i77
  62
  63 bb9.i71:                ; preds = %bb9.i71, %my_malloc.exit.i70
  64         %1 = load %struct.s_net** @net, align 4         ; <%struct.s_net*> [#uses=1]
  65         br i1 undef, label %bb9.i71, label %bb16.i77
  66
  67 bb16.i77:               ; preds = %bb9.i71, %my_malloc.exit.i70, %bb15.preheader.i
  68         %.pre41.i.rle244 = phi %struct.s_net* [ %.pre41.i, %bb15.preheader.i ], [ %0, %my_malloc.exit.i70 ], [ %1, %bb9.i71 ]           ; <%struct.s_net*> [#uses=1]
  69         br label %bb17.i78
  70
  71 bb17.i78:               ; preds = %bb16.i77, %my_calloc.exit5.i
  72         %.pre41.i = phi %struct.s_net* [ %.pre41.i.rle244, %bb16.i77 ], [ %.pre.i58, %my_calloc.exit5.i ]               ; <%struct.s_net*> [#uses=1]
  73         br i1 undef, label %bb4.preheader.i, label %alloc_and_load_unique_pin_list.exit
  74
  75 bb4.preheader.i:                ; preds = %bb17.i78
  76         br i1 undef, label %bb1.i61, label %bb15.preheader.i
  77
  78 alloc_and_load_unique_pin_list.exit:            ; preds = %bb17.i78
  79         ret void
  80 }
  81
  82 define void @read_net(i8* %net_file) nounwind ssp {
  83 entry:
  84         br i1 undef, label %bb3.us.us.i, label %bb6.preheader
  85
  86 bb6.preheader:          ; preds = %entry
  87         br i1 undef, label %bb7, label %bb
  88
  89 bb3.us.us.i:            ; preds = %entry
  90         unreachable
  91
  92 bb:             ; preds = %bb6.preheader
  93         br i1 undef, label %bb.i34, label %bb1.i38
  94
  95 bb.i34:         ; preds = %bb
  96         unreachable
  97
  98 bb1.i38:                ; preds = %bb
  99         %0 = malloc %struct.s_net, i32 undef            ; <%struct.s_net*> [#uses=1]
 100         br i1 undef, label %bb.i1.i39, label %my_malloc.exit2.i
 101
 102 bb.i1.i39:              ; preds = %bb1.i38
 103         unreachable
 104
 105 my_malloc.exit2.i:              ; preds = %bb1.i38
 106         store %struct.s_net* %0, %struct.s_net** @net, align 4
 107         br i1 undef, label %bb.i7.i40, label %my_malloc.exit8.i
 108
 109 bb.i7.i40:              ; preds = %my_malloc.exit2.i
 110         unreachable
 111
 112 my_malloc.exit8.i:              ; preds = %my_malloc.exit2.i
 113         unreachable
 114
 115 bb7:            ; preds = %bb6.preheader
 116         unreachable
 117 }