|
150
|
1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
|
|
|
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
|
|
|
3 ; RUN: diff %t1.ll %t2.ll
|
|
|
4
|
|
252
|
5 declare i32 @atoi(ptr)
|
|
150
|
6
|
|
|
7 define i64 @fib(i64 %n) {
|
|
|
8 icmp ult i64 %n, 2 ; <i1>:1 [#uses=1]
|
|
|
9 br i1 %1, label %BaseCase, label %RecurseCase
|
|
|
10
|
|
|
11 BaseCase: ; preds = %0
|
|
|
12 ret i64 1
|
|
|
13
|
|
|
14 RecurseCase: ; preds = %0
|
|
|
15 %n2 = sub i64 %n, 2 ; <i64> [#uses=1]
|
|
|
16 %n1 = sub i64 %n, 1 ; <i64> [#uses=1]
|
|
|
17 %f2 = call i64 @fib( i64 %n2 ) ; <i64> [#uses=1]
|
|
|
18 %f1 = call i64 @fib( i64 %n1 ) ; <i64> [#uses=1]
|
|
|
19 %result = add i64 %f2, %f1 ; <i64> [#uses=1]
|
|
|
20 ret i64 %result
|
|
|
21 }
|
|
|
22
|
|
252
|
23 define i64 @realmain(i32 %argc, ptr %argv) {
|
|
150
|
24 ; <label>:0
|
|
|
25 icmp eq i32 %argc, 2 ; <i1>:1 [#uses=1]
|
|
|
26 br i1 %1, label %HasArg, label %Continue
|
|
|
27
|
|
|
28 HasArg: ; preds = %0
|
|
|
29 %n1 = add i32 1, 1 ; <i32> [#uses=1]
|
|
|
30 br label %Continue
|
|
|
31
|
|
|
32 Continue: ; preds = %HasArg, %0
|
|
|
33 %n = phi i32 [ %n1, %HasArg ], [ 1, %0 ] ; <i32> [#uses=1]
|
|
|
34 %N = sext i32 %n to i64 ; <i64> [#uses=1]
|
|
|
35 %F = call i64 @fib( i64 %N ) ; <i64> [#uses=1]
|
|
|
36 ret i64 %F
|
|
|
37 }
|
|
|
38
|
|
252
|
39 define i64 @trampoline(i64 %n, ptr %fibfunc) {
|
|
150
|
40 %F = call i64 %fibfunc( i64 %n ) ; <i64> [#uses=1]
|
|
|
41 ret i64 %F
|
|
|
42 }
|
|
|
43
|
|
|
44 define i32 @main() {
|
|
252
|
45 %Result = call i64 @trampoline( i64 10, ptr @fib ) ; <i64> [#uses=1]
|
|
150
|
46 %Result.upgrd.1 = trunc i64 %Result to i32 ; <i32> [#uses=1]
|
|
|
47 ret i32 %Result.upgrd.1
|
|
|
48 }
|
|
|
49
|
