|  | ; RUN: llc < %s -march=x86 -tailcallopt | FileCheck %s | 
|  |  | 
|  | declare i32 @putchar(i32) | 
|  |  | 
|  | define fastcc i32 @checktail(i32 %x, i32* %f, i32 %g) nounwind { | 
|  | ; CHECK: checktail: | 
|  | %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) | 
|  | ; CHECK: jmpl *%e{{.*}} | 
|  | %res = tail call fastcc i32 %fun_ptr( i32 %arg1, i32 * %f, i32 %g) | 
|  | ret i32 %res | 
|  |  | 
|  | if-else: | 
|  | ret i32  %x | 
|  | } | 
|  |  | 
|  |  | 
|  | define i32 @main() nounwind { | 
|  | %f   = bitcast i32 (i32, i32*, i32)* @checktail to i32* | 
|  | %res = tail call fastcc i32 @checktail( i32 10, i32* %f,i32 10) | 
|  | ret i32 %res | 
|  | } |