test/Transforms/PredicateSimplifier/predsimplify.reg1.ll

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