test/Transforms/SimplifyCFG/2005-12-03-IncorrectPHIFold.ll

   1 ; Make sure this doesn't turn into an infinite loop
   2
   3 ; RUN: opt < %s -simplifycfg -constprop -simplifycfg |\
   4 ; RUN:   llvm-dis | grep bb86
   5 ; END.
   6
   7 %struct.anon = type { i32, i32, i32, i32, [1024 x i8] }
   8 @_zero_ = external global %struct.anon*         ; <%struct.anon**> [#uses=2]
   9 @_one_ = external global %struct.anon*          ; <%struct.anon**> [#uses=4]
  10 @str = internal constant [4 x i8] c"%d\0A\00"           ; <[4 x i8]*> [#uses=0]
  11
  12 declare i32 @bc_compare(%struct.anon*, %struct.anon*)
  13
  14 declare void @free_num(%struct.anon**)
  15
  16 declare %struct.anon* @copy_num(%struct.anon*)
  17
  18 declare void @init_num(%struct.anon**)
  19
  20 declare %struct.anon* @new_num(i32, i32)
  21
  22 declare void @int2num(%struct.anon**, i32)
  23
  24 declare void @bc_multiply(%struct.anon*, %struct.anon*, %struct.anon**, i32)
  25
  26 declare void @bc_raise(%struct.anon*, %struct.anon*, %struct.anon**, i32)
  27
  28 declare i32 @bc_divide(%struct.anon*, %struct.anon*, %struct.anon**, i32)
  29
  30 declare void @bc_add(%struct.anon*, %struct.anon*, %struct.anon**)
  31
  32 declare i32 @_do_compare(%struct.anon*, %struct.anon*, i32, i32)
  33
  34 declare i32 @printf(i8*, ...)
  35
  36 define i32 @bc_sqrt(%struct.anon** %num, i32 %scale) {
  37 entry:
  38         %guess = alloca %struct.anon*           ; <%struct.anon**> [#uses=7]
  39         %guess1 = alloca %struct.anon*          ; <%struct.anon**> [#uses=7]
  40         %point5 = alloca %struct.anon*          ; <%struct.anon**> [#uses=3]
  41         %tmp = load %struct.anon** %num         ; <%struct.anon*> [#uses=1]
  42         %tmp1 = load %struct.anon** @_zero_             ; <%struct.anon*> [#uses=1]
  43         %tmp.upgrd.1 = call i32 @bc_compare( %struct.anon* %tmp, %struct.anon* %tmp1 )          ; <i32> [#uses=2]
  44         %tmp.upgrd.2 = icmp slt i32 %tmp.upgrd.1, 0             ; <i1> [#uses=1]
  45         br i1 %tmp.upgrd.2, label %cond_true, label %cond_false
  46 cond_true:              ; preds = %entry
  47         ret i32 0
  48 cond_false:             ; preds = %entry
  49         %tmp5 = icmp eq i32 %tmp.upgrd.1, 0             ; <i1> [#uses=1]
  50         br i1 %tmp5, label %cond_true6, label %cond_next13
  51 cond_true6:             ; preds = %cond_false
  52         call void @free_num( %struct.anon** %num )
  53         %tmp8 = load %struct.anon** @_zero_             ; <%struct.anon*> [#uses=1]
  54         %tmp9 = call %struct.anon* @copy_num( %struct.anon* %tmp8 )             ; <%struct.anon*> [#uses=1]
  55         store %struct.anon* %tmp9, %struct.anon** %num
  56         ret i32 1
  57 cond_next13:            ; preds = %cond_false
  58         %tmp15 = load %struct.anon** %num               ; <%struct.anon*> [#uses=1]
  59         %tmp16 = load %struct.anon** @_one_             ; <%struct.anon*> [#uses=1]
  60         %tmp17 = call i32 @bc_compare( %struct.anon* %tmp15, %struct.anon* %tmp16 )             ; <i32> [#uses=2]
  61         %tmp19 = icmp eq i32 %tmp17, 0          ; <i1> [#uses=1]
  62         br i1 %tmp19, label %cond_true20, label %cond_next27
  63 cond_true20:            ; preds = %cond_next13
  64         call void @free_num( %struct.anon** %num )
  65         %tmp22 = load %struct.anon** @_one_             ; <%struct.anon*> [#uses=1]
  66         %tmp23 = call %struct.anon* @copy_num( %struct.anon* %tmp22 )           ; <%struct.anon*> [#uses=1]
  67         store %struct.anon* %tmp23, %struct.anon** %num
  68         ret i32 1
  69 cond_next27:            ; preds = %cond_next13
  70         %tmp29 = load %struct.anon** %num               ; <%struct.anon*> [#uses=1]
  71         %tmp30 = getelementptr %struct.anon* %tmp29, i32 0, i32 2               ; <i32*> [#uses=1]
  72         %tmp31 = load i32* %tmp30               ; <i32> [#uses=2]
  73         %tmp33 = icmp sge i32 %tmp31, %scale            ; <i1> [#uses=1]
  74         %max = select i1 %tmp33, i32 %tmp31, i32 %scale         ; <i32> [#uses=4]
  75         %tmp35 = add i32 %max, 2                ; <i32> [#uses=0]
  76         call void @init_num( %struct.anon** %guess )
  77         call void @init_num( %struct.anon** %guess1 )
  78         %tmp36 = call %struct.anon* @new_num( i32 1, i32 1 )            ; <%struct.anon*> [#uses=2]
  79         store %struct.anon* %tmp36, %struct.anon** %point5
  80         %tmp.upgrd.3 = getelementptr %struct.anon* %tmp36, i32 0, i32 4, i32 1          ; <i8*> [#uses=1]
  81         store i8 5, i8* %tmp.upgrd.3
  82         %tmp39 = icmp slt i32 %tmp17, 0         ; <i1> [#uses=1]
  83         br i1 %tmp39, label %cond_true40, label %cond_false43
  84 cond_true40:            ; preds = %cond_next27
  85         %tmp41 = load %struct.anon** @_one_             ; <%struct.anon*> [#uses=1]
  86         %tmp42 = call %struct.anon* @copy_num( %struct.anon* %tmp41 )           ; <%struct.anon*> [#uses=1]
  87         store %struct.anon* %tmp42, %struct.anon** %guess
  88         br label %bb80.outer
  89 cond_false43:           ; preds = %cond_next27
  90         call void @int2num( %struct.anon** %guess, i32 10 )
  91         %tmp45 = load %struct.anon** %num               ; <%struct.anon*> [#uses=1]
  92         %tmp46 = getelementptr %struct.anon* %tmp45, i32 0, i32 1               ; <i32*> [#uses=1]
  93         %tmp47 = load i32* %tmp46               ; <i32> [#uses=1]
  94         call void @int2num( %struct.anon** %guess1, i32 %tmp47 )
  95         %tmp48 = load %struct.anon** %guess1            ; <%struct.anon*> [#uses=1]
  96         %tmp49 = load %struct.anon** %point5            ; <%struct.anon*> [#uses=1]
  97         call void @bc_multiply( %struct.anon* %tmp48, %struct.anon* %tmp49, %struct.anon** %guess1, i32 %max )
  98         %tmp51 = load %struct.anon** %guess1            ; <%struct.anon*> [#uses=1]
  99         %tmp52 = getelementptr %struct.anon* %tmp51, i32 0, i32 2               ; <i32*> [#uses=1]
 100         store i32 0, i32* %tmp52
 101         %tmp53 = load %struct.anon** %guess             ; <%struct.anon*> [#uses=1]
 102         %tmp54 = load %struct.anon** %guess1            ; <%struct.anon*> [#uses=1]
 103         call void @bc_raise( %struct.anon* %tmp53, %struct.anon* %tmp54, %struct.anon** %guess, i32 %max )
 104         br label %bb80.outer
 105 bb80.outer:             ; preds = %cond_true83, %cond_false43, %cond_true40
 106         %done.1.ph = phi i32 [ 1, %cond_true83 ], [ 0, %cond_true40 ], [ 0, %cond_false43 ]             ; <i32> [#uses=1]
 107         br label %bb80
 108 bb80:           ; preds = %cond_true83, %bb80.outer
 109         %tmp82 = icmp eq i32 %done.1.ph, 0              ; <i1> [#uses=1]
 110         br i1 %tmp82, label %cond_true83, label %bb86
 111 cond_true83:            ; preds = %bb80
 112         %tmp71 = call i32 @_do_compare( %struct.anon* null, %struct.anon* null, i32 0, i32 1 )          ; <i32> [#uses=1]
 113         %tmp76 = icmp eq i32 %tmp71, 0          ; <i1> [#uses=1]
 114         br i1 %tmp76, label %bb80.outer, label %bb80
 115 bb86:           ; preds = %bb80
 116         call void @free_num( %struct.anon** %num )
 117         %tmp88 = load %struct.anon** %guess             ; <%struct.anon*> [#uses=1]
 118         %tmp89 = load %struct.anon** @_one_             ; <%struct.anon*> [#uses=1]
 119         %tmp92 = call i32 @bc_divide( %struct.anon* %tmp88, %struct.anon* %tmp89, %struct.anon** %num, i32 %max )               ; <i32> [#uses=0]
 120         call void @free_num( %struct.anon** %guess )
 121         call void @free_num( %struct.anon** %guess1 )
 122         call void @free_num( %struct.anon** %point5 )
 123         ret i32 1
 124 }