2006-04-13 20:15:24 +02:00
|
|
|
; PR672
|
2012-01-16 09:56:09 +01:00
|
|
|
; RUN: %lli %s
|
2010-12-02 21:20:32 +01:00
|
|
|
; XFAIL: arm
|
2005-12-03 08:14:47 +01:00
|
|
|
|
2008-03-10 08:21:50 +01:00
|
|
|
define i32 @main() {
|
|
|
|
%f = bitcast i32 (i32, i32*, i32)* @check_tail to i32* ; <i32*> [#uses=1]
|
|
|
|
%res = tail call fastcc i32 @check_tail( i32 10, i32* %f, i32 10 ) ; <i32> [#uses=1]
|
|
|
|
ret i32 %res
|
2005-12-03 08:14:47 +01:00
|
|
|
}
|
|
|
|
|
2008-03-10 08:21:50 +01:00
|
|
|
define fastcc i32 @check_tail(i32 %x, i32* %f, i32 %g) {
|
|
|
|
%tmp1 = icmp sgt i32 %x, 0 ; <i1> [#uses=1]
|
|
|
|
br i1 %tmp1, label %if-then, label %if-else
|
|
|
|
if-then: ; preds = %0
|
|
|
|
%fun_ptr = bitcast i32* %f to i32 (i32, i32*, i32)* ; <i32 (i32, i32*, i32)*> [#uses=1]
|
|
|
|
%arg1 = add i32 %x, -1 ; <i32> [#uses=1]
|
|
|
|
%res = tail call fastcc i32 %fun_ptr( i32 %arg1, i32* %f, i32 %g ) ; <i32> [#uses=1]
|
|
|
|
ret i32 %res
|
|
|
|
if-else: ; preds = %0
|
|
|
|
ret i32 %x
|
2005-12-03 08:14:47 +01:00
|
|
|
}
|
2008-03-10 08:21:50 +01:00
|
|
|
|