1 ; RUN: llvm-as < %s | opt -predsimplify -verify
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
11 cond_true20: ; preds = %cond_true
14 cond_next: ; preds = %cond_true20, %cond_true
15 %tmp84 = setgt int %tmp3, 1999 ; <bool> [#uses=0]
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