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