test/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll

   1 ; RUN: llvm-as < %s | opt -predsimplify -disable-output
   2
   3 define void @safe_strcpy(i32 %size1) {
   4 entry:
   5         %tmp = icmp eq i32 %size1, 0            ; <i1> [#uses=1]
   6         br i1 %tmp, label %return, label %strlen.exit
   7 strlen.exit:            ; preds = %entry
   8         %tmp.upgrd.1 = trunc i64 0 to i32               ; <i32> [#uses=2]
   9         %tmp6 = icmp ult i32 %tmp.upgrd.1, %size1               ; <i1> [#uses=1]
  10         br i1 %tmp6, label %cond_true7, label %cond_false19
  11 cond_true7:             ; preds = %strlen.exit
  12         %tmp9 = icmp eq i32 %tmp.upgrd.1, 0             ; <i1> [#uses=1]
  13         br i1 %tmp9, label %cond_next15, label %cond_true10
  14 cond_true10:            ; preds = %cond_true7
  15         ret void
  16 cond_next15:            ; preds = %cond_true7
  17         ret void
  18 cond_false19:           ; preds = %strlen.exit
  19         ret void
  20 return:         ; preds = %entry
  21         ret void
  22 }
  23