test/ExecutionEngine/2005-12-02-TailCallBug.ll

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