| Reid Spencer | a551c04 | 2007-04-15 09:21:47 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -sccp | llvm-dis | grep {ret i32 1} |
| Chris Lattner | 9e8141f | 2004-12-10 20:10:23 +0000 | [diff] [blame] | 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 | } | ||||