Reid Spencer | 9aafdcf | 2007-04-15 09:21:47 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -ipsccp | llvm-dis | \ |
| 2 | ; RUN: grep -v {ret i32 0} | grep -v {ret i32 undef} | not grep ret |
Chris Lattner | 9b07c66 | 2004-12-10 22:28:49 +0000 | [diff] [blame] | 3 | |
| 4 | implementation |
| 5 | |
| 6 | internal int %bar(int %A) { |
| 7 | %C = seteq int %A, 0 |
| 8 | br bool %C, label %T, label %F |
| 9 | T: |
| 10 | %B = call int %bar(int 0) |
| 11 | ret int 0 |
| 12 | F: ; unreachable |
| 13 | %C = call int %bar(int 1) |
| 14 | ret int %C |
| 15 | } |
| 16 | |
| 17 | int %foo() { |
| 18 | %X = call int %bar(int 0) |
| 19 | ret int %X |
| 20 | } |