2010-09-23 08:55:34 +02:00
|
|
|
; RUN: llc < %s -march=x86 -tailcallopt | FileCheck %s
|
2008-09-12 00:24:28 +02:00
|
|
|
|
|
|
|
declare i32 @putchar(i32)
|
|
|
|
|
2010-02-03 04:28:02 +01:00
|
|
|
define fastcc i32 @checktail(i32 %x, i32* %f, i32 %g) nounwind {
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: checktail:
|
2008-09-12 00:24:28 +02:00
|
|
|
%tmp1 = icmp sgt i32 %x, 0
|
|
|
|
br i1 %tmp1, label %if-then, label %if-else
|
|
|
|
|
|
|
|
if-then:
|
|
|
|
%fun_ptr = bitcast i32* %f to i32(i32, i32*, i32)*
|
|
|
|
%arg1 = add i32 %x, -1
|
|
|
|
call i32 @putchar(i32 90)
|
2010-09-23 08:55:34 +02:00
|
|
|
; CHECK: jmpl *%e{{.*}}
|
2008-09-12 00:24:28 +02:00
|
|
|
%res = tail call fastcc i32 %fun_ptr( i32 %arg1, i32 * %f, i32 %g)
|
|
|
|
ret i32 %res
|
|
|
|
|
|
|
|
if-else:
|
|
|
|
ret i32 %x
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-02-03 04:28:02 +01:00
|
|
|
define i32 @main() nounwind {
|
2008-09-12 00:24:28 +02:00
|
|
|
%f = bitcast i32 (i32, i32*, i32)* @checktail to i32*
|
|
|
|
%res = tail call fastcc i32 @checktail( i32 10, i32* %f,i32 10)
|
|
|
|
ret i32 %res
|
2010-02-03 04:28:02 +01:00
|
|
|
}
|