1; PR672
2; RUN: %lli %s
3; XFAIL: mcjit-ia32
4
5define i32 @main() {
6	%f = bitcast i32 (i32, i32*, i32)* @check_tail to i32*		; <i32*> [#uses=1]
7	%res = tail call fastcc i32 @check_tail( i32 10, i32* %f, i32 10 )		; <i32> [#uses=1]
8	ret i32 %res
9}
10
11define fastcc i32 @check_tail(i32 %x, i32* %f, i32 %g) {
12	%tmp1 = icmp sgt i32 %x, 0		; <i1> [#uses=1]
13	br i1 %tmp1, label %if-then, label %if-else
14if-then:		; preds = %0
15	%fun_ptr = bitcast i32* %f to i32 (i32, i32*, i32)*		; <i32 (i32, i32*, i32)*> [#uses=1]
16	%arg1 = add i32 %x, -1		; <i32> [#uses=1]
17	%res = tail call fastcc i32 %fun_ptr( i32 %arg1, i32* %f, i32 %g )		; <i32> [#uses=1]
18	ret i32 %res
19if-else:		; preds = %0
20	ret i32 %x
21}
22
23