test/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll

   1 ; RUN: opt < %s -predsimplify -S | grep br | grep return.i.bb8_crit_edge | grep false
   2 @str = external global [4 x i8]         ; <[4 x i8]*> [#uses=1]
   3
   4 declare i32 @sprintf(i8*, i8*, ...)
   5
   6 define i32 @main() {
   7 entry:
   8         br label %cond_true.outer
   9 cond_true.outer:                ; preds = %cond_true.i, %entry
  10         %i.0.0.ph = phi i32 [ 0, %entry ], [ %tmp5, %cond_true.i ]              ; <i32> [#uses=1]
  11         %j.0.0.ph = phi i32 [ 0, %entry ], [ %tmp312, %cond_true.i ]            ; <i32> [#uses=2]
  12         br label %cond_true
  13 cond_true:              ; preds = %return.i, %cond_true.outer
  14         %indvar.ui = phi i32 [ 0, %cond_true.outer ], [ %indvar.next, %return.i ]               ; <i32> [#uses=2]
  15         %indvar = bitcast i32 %indvar.ui to i32         ; <i32> [#uses=1]
  16         %i.0.0 = add i32 %indvar, %i.0.0.ph             ; <i32> [#uses=3]
  17         %savedstack = call i8* @llvm.stacksave( )               ; <i8*> [#uses=2]
  18         %tmp.i = icmp eq i32 %i.0.0, 0          ; <i1> [#uses=1]
  19         %tmp5 = add i32 %i.0.0, 1               ; <i32> [#uses=3]
  20         br i1 %tmp.i, label %return.i, label %cond_true.i
  21 cond_true.i:            ; preds = %cond_true
  22         %tmp.i.upgrd.1 = alloca [1000 x i8]             ; <[1000 x i8]*> [#uses=1]
  23         %tmp.sub.i = getelementptr [1000 x i8]* %tmp.i.upgrd.1, i32 0, i32 0            ; <i8*> [#uses=2]
  24         %tmp4.i = call i32 (i8*, i8*, ...)* @sprintf( i8* %tmp.sub.i, i8* getelementptr ([4 x i8]* @str, i32 0, i64 0), i32 %i.0.0 )            ; <i32> [#uses=0]
  25         %tmp.i.upgrd.2 = load i8* %tmp.sub.i            ; <i8> [#uses=1]
  26         %tmp7.i = sext i8 %tmp.i.upgrd.2 to i32         ; <i32> [#uses=1]
  27         call void @llvm.stackrestore( i8* %savedstack )
  28         %tmp312 = add i32 %tmp7.i, %j.0.0.ph            ; <i32> [#uses=2]
  29         %tmp19 = icmp sgt i32 %tmp5, 9999               ; <i1> [#uses=1]
  30         br i1 %tmp19, label %bb8, label %cond_true.outer
  31 return.i:               ; preds = %cond_true
  32         call void @llvm.stackrestore( i8* %savedstack )
  33         %tmp21 = icmp sgt i32 %tmp5, 9999               ; <i1> [#uses=1]
  34         %indvar.next = add i32 %indvar.ui, 1            ; <i32> [#uses=1]
  35         br i1 %tmp21, label %bb8, label %cond_true
  36 bb8:            ; preds = %return.i, %cond_true.i
  37         %j.0.1 = phi i32 [ %j.0.0.ph, %return.i ], [ %tmp312, %cond_true.i ]            ; <i32> [#uses=1]
  38         %tmp10 = call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @str, i32 0, i64 0), i32 %j.0.1 )           ; <i32> [#uses=0]
  39         ret i32 undef
  40 }
  41
  42 declare i32 @printf(i8*, ...)
  43
  44 declare i8* @llvm.stacksave()
  45
  46 declare void @llvm.stackrestore(i8*)