aboutsummaryrefslogtreecommitdiffstats
path: root/test/Integer/indirectcall_bt.ll
blob: 747b39d8d7d0804d498b86ec195e205f3babbad3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

implementation

declare i32 @"atoi"(i8 *)

define i63 @"fib"(i63 %n)
begin
  icmp ult i63 %n, 2       ; {i1}:0
  br i1 %0, label %BaseCase, label %RecurseCase

BaseCase:
  ret i63 1

RecurseCase:
  %n2 = sub i63 %n, 2
  %n1 = sub i63 %n, 1
  %f2 = call i63(i63) * @fib(i63 %n2)
  %f1 = call i63(i63) * @fib(i63 %n1)
  %result = add i63 %f2, %f1
  ret i63 %result
end

define i63 @"realmain"(i32 %argc, i8 ** %argv)
begin
  icmp eq i32 %argc, 2      ; {i1}:0
  br i1 %0, label %HasArg, label %Continue
HasArg:
  ; %n1 = atoi(argv[1])
  %n1 = add i32 1, 1
  br label %Continue

Continue:
  %n = phi i32 [%n1, %HasArg], [1, %0]
  %N = sext i32 %n to i63
  %F = call i63(i63) *@fib(i63 %N)
  ret i63 %F
end

define i63 @"trampoline"(i63 %n, i63(i63)* %fibfunc)
begin
  %F = call i63(i63) *%fibfunc(i63 %n)
  ret i63 %F
end

define i32 @"main"()
begin
  %Result = call i63 @trampoline(i63 10, i63(i63) *@fib)
  %Result2 = trunc i63 %Result to i32
  ret i32 %Result2
end