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

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