1; RUN: llc < %s -march=x86 -tailcallopt | FileCheck %s
2
3declare i32 @putchar(i32)
4
5define fastcc i32 @checktail(i32 %x, i32* %f, i32 %g) nounwind {
6; CHECK-LABEL: checktail:
7        %tmp1 = icmp sgt i32 %x, 0
8        br i1 %tmp1, label %if-then, label %if-else
9
10if-then:
11        %fun_ptr = bitcast i32* %f to i32(i32, i32*, i32)*
12        %arg1    = add i32 %x, -1
13        call i32 @putchar(i32 90)
14; CHECK: jmpl *%e{{.*}}
15        %res = tail call fastcc i32 %fun_ptr( i32 %arg1, i32 * %f, i32 %g)
16        ret i32 %res
17
18if-else:
19        ret i32  %x
20}
21
22
23define i32 @main() nounwind {
24 %f   = bitcast i32 (i32, i32*, i32)* @checktail to i32*
25 %res = tail call fastcc i32 @checktail( i32 10, i32* %f,i32 10)
26 ret i32 %res
27}
28