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

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