| Nick Lewycky | 05450ae | 2006-08-28 22:44:55 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | 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 | } |