test/Transforms/PredicateSimplifier/predsimplify.reg1.ll

   1 ; RUN: llvm-as < %s | opt -predsimplify -verify
   2
   3 define void @dgefa() {
   4 entry:
   5         br label %cond_true96
   6 cond_true:              ; preds = %cond_true96
   7         %tmp19 = icmp eq i32 %tmp10, %k.0               ; <i1> [#uses=1]
   8         br i1 %tmp19, label %cond_next, label %cond_true20
   9 cond_true20:            ; preds = %cond_true
  10         br label %cond_next
  11 cond_next:              ; preds = %cond_true20, %cond_true
  12         %tmp84 = icmp sgt i32 %tmp3, 1999               ; <i1> [#uses=0]
  13         ret void
  14 cond_true96:            ; preds = %cond_true96, %entry
  15         %k.0 = phi i32 [ 0, %entry ], [ 0, %cond_true96 ]               ; <i32> [#uses=3]
  16         %tmp3 = add i32 %k.0, 1         ; <i32> [#uses=1]
  17         %tmp10 = add i32 0, %k.0                ; <i32> [#uses=1]
  18         br i1 false, label %cond_true96, label %cond_true
  19 }
  20