| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -sccp | llvm-dis | grep {ret i32 1} |
| 2 | |||||
| 3 | ; This function definitely returns 1, even if we don't know the direction | ||||
| 4 | ; of the branch. | ||||
| 5 | |||||
| 6 | int %foo() { | ||||
| 7 | br bool undef, label %T, label %T | ||||
| 8 | T: | ||||
| 9 | %X = add int 0, 1 | ||||
| 10 | ret int %X | ||||
| 11 | } | ||||