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

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -predsimplify -disable-output
   2
   3 void %safe_strcpy(uint %size1) {
   4 entry:
   5         %tmp = seteq uint %size1, 0             ; <bool> [#uses=1]
   6         br bool %tmp, label %return, label %strlen.exit
   7
   8 strlen.exit:            ; preds = %entry
   9         %tmp = cast ulong 0 to uint             ; <uint> [#uses=2]
  10         %tmp6 = setlt uint %tmp, %size1         ; <bool> [#uses=1]
  11         br bool %tmp6, label %cond_true7, label %cond_false19
  12
  13 cond_true7:             ; preds = %strlen.exit
  14         %tmp9 = seteq uint %tmp, 0              ; <bool> [#uses=1]
  15         br bool %tmp9, label %cond_next15, label %cond_true10
  16
  17 cond_true10:            ; preds = %cond_true7
  18         ret void
  19
  20 cond_next15:            ; preds = %cond_true7
  21         ret void
  22
  23 cond_false19:           ; preds = %strlen.exit
  24         ret void
  25
  26 return:         ; preds = %entry
  27         ret void
  28 }