| Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep {ret i32 1} |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | ; This function definitely returns 1, even if we don't know the direction |
| 4 | ; of the branch. |
| 5 | |
| Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 6 | define i32 @foo() { |
| 7 | br i1 undef, label %T, label %T |
| 8 | T: ; preds = %0, %0 |
| 9 | %X = add i32 0, 1 ; <i32> [#uses=1] |
| 10 | ret i32 %X |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | } |
| Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 12 | |