| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 5 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 6 | define i63 @"test"(i63 %X) |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 7 | begin |
| 8 | ret i63 %X |
| 9 | end |
| 10 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 11 | define i63 @"fib"(i63 %n) |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 12 | begin |
| 13 | %T = icmp ult i63 %n, 2 ; {i1}:0 |
| 14 | br i1 %T, label %BaseCase, label %RecurseCase |
| 15 | |
| 16 | RecurseCase: |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 17 | %result = call i63 @test(i63 %n) |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 18 | br label %BaseCase |
| 19 | |
| 20 | BaseCase: |
| 21 | %X = phi i63 [1, %0], [2, %RecurseCase] |
| 22 | ret i63 %X |
| 23 | end |
| 24 | |