test/CodeGen/X86/tailcallfp2.ll

   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 }