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

   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
  10 declare i32 @bc_compare(ptr, ptr)
  11
  12 declare void @free_num(ptr)
  13
  14 declare ptr @copy_num(ptr)
  15
  16 declare void @init_num(ptr)
  17
  18 declare ptr @new_num(i32, i32)
  19
  20 declare void @int2num(ptr, i32)
  21
  22 declare void @bc_multiply(ptr, ptr, ptr, i32)
  23
  24 declare void @bc_raise(ptr, ptr, ptr, i32)
  25
  26 declare i32 @bc_divide(ptr, ptr, ptr, i32)
  27
  28 declare void @bc_add(ptr, ptr, ptr)
  29
  30 declare i32 @_do_compare(ptr, ptr, i32, i32)
  31
  32 declare i32 @printf(ptr, ...)
  33
  34 define i32 @bc_sqrt(ptr %num, i32 %scale) {
  35 entry:
  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
  44 cond_true:              ; preds = %entry
  45         ret i32 0
  46 cond_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
  49 cond_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
  55 cond_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
  61 cond_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
  67 cond_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
  82 cond_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
  87 cond_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
 103 bb80.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
 106 bb80:           ; 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
 109 cond_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
 114 bb86:           ; 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 }