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 12declare i32 @bc_compare(%struct.anon*, %struct.anon*) 13 14declare void @free_num(%struct.anon**) 15 16declare %struct.anon* @copy_num(%struct.anon*) 17 18declare void @init_num(%struct.anon**) 19 20declare %struct.anon* @new_num(i32, i32) 21 22declare void @int2num(%struct.anon**, i32) 23 24declare void @bc_multiply(%struct.anon*, %struct.anon*, %struct.anon**, i32) 25 26declare void @bc_raise(%struct.anon*, %struct.anon*, %struct.anon**, i32) 27 28declare i32 @bc_divide(%struct.anon*, %struct.anon*, %struct.anon**, i32) 29 30declare void @bc_add(%struct.anon*, %struct.anon*, %struct.anon**) 31 32declare i32 @_do_compare(%struct.anon*, %struct.anon*, i32, i32) 33 34declare i32 @printf(i8*, ...) 35 36define i32 @bc_sqrt(%struct.anon** %num, i32 %scale) { 37entry: 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 46cond_true: ; preds = %entry 47 ret i32 0 48cond_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 51cond_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 57cond_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 63cond_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 69cond_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 84cond_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 89cond_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 105bb80.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 108bb80: ; 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 111cond_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 115bb86: ; 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} 125