1 ; RUN: llc < %s -march=x86 -tailcallopt | FileCheck %s 2 3 declare i32 @putchar(i32) 4 5 define 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 10 if-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 18 if-else: 19 ret i32 %x 20 } 21 22 23 define 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
