test/CodeGen/X86/tailcall2.ll

   1 ; RUN: llc < %s -march=x86    -asm-verbose=false | FileCheck %s -check-prefix=32
   2 ; RUN: llc < %s -march=x86-64 -asm-verbose=false | FileCheck %s -check-prefix=64
   3
   4 define void @t1(i32 %x) nounwind ssp {
   5 entry:
   6 ; 32: t1:
   7 ; 32: jmp {{_?}}foo
   8
   9 ; 64: t1:
  10 ; 64: jmp {{_?}}foo
  11   tail call void @foo() nounwind
  12   ret void
  13 }
  14
  15 declare void @foo()
  16
  17 define void @t2() nounwind ssp {
  18 entry:
  19 ; 32: t2:
  20 ; 32: jmp {{_?}}foo2
  21
  22 ; 64: t2:
  23 ; 64: jmp {{_?}}foo2
  24   %0 = tail call i32 @foo2() nounwind
  25   ret void
  26 }
  27
  28 declare i32 @foo2()
  29
  30 define void @t3() nounwind ssp {
  31 entry:
  32 ; 32: t3:
  33 ; 32: jmp {{_?}}foo3
  34
  35 ; 64: t3:
  36 ; 64: jmp {{_?}}foo3
  37   %0 = tail call i32 @foo3() nounwind
  38   ret void
  39 }
  40
  41 declare i32 @foo3()
  42
  43 define void @t4(void (i32)* nocapture %x) nounwind ssp {
  44 entry:
  45 ; 32: t4:
  46 ; 32: call *
  47 ; FIXME: gcc can generate a tailcall for this. But it's tricky.
  48
  49 ; 64: t4:
  50 ; 64-NOT: call
  51 ; 64: jmpq *
  52   tail call void %x(i32 0) nounwind
  53   ret void
  54 }
  55
  56 define void @t5(void ()* nocapture %x) nounwind ssp {
  57 entry:
  58 ; 32: t5:
  59 ; 32-NOT: call
  60 ; 32: jmpl *
  61
  62 ; 64: t5:
  63 ; 64-NOT: call
  64 ; 64: jmpq *
  65   tail call void %x() nounwind
  66   ret void
  67 }
  68
  69 define i32 @t6(i32 %x) nounwind ssp {
  70 entry:
  71 ; 32: t6:
  72 ; 32: call {{_?}}t6
  73 ; 32: call {{_?}}bar
  74
  75 ; 64: t6:
  76 ; 64: jmp {{_?}}t6
  77 ; 64: jmp {{_?}}bar
  78   %0 = icmp slt i32 %x, 10
  79   br i1 %0, label %bb, label %bb1
  80
  81 bb:
  82   %1 = add nsw i32 %x, -1
  83   %2 = tail call i32 @t6(i32 %1) nounwind ssp
  84   ret i32 %2
  85
  86 bb1:
  87   %3 = tail call i32 @bar(i32 %x) nounwind
  88   ret i32 %3
  89 }
  90
  91 declare i32 @bar(i32)
  92
  93 define i32 @t7(i32 %a, i32 %b, i32 %c) nounwind ssp {
  94 entry:
  95 ; 32: t7:
  96 ; 32: jmp {{_?}}bar2
  97
  98 ; 64: t7:
  99 ; 64: jmp {{_?}}bar2
 100   %0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind
 101   ret i32 %0
 102 }
 103
 104 declare i32 @bar2(i32, i32, i32)
 105
 106 define signext i16 @t8() nounwind ssp {
 107 entry:
 108 ; 32: t8:
 109 ; 32: jmp {{_?}}bar3
 110
 111 ; 64: t8:
 112 ; 64: jmp {{_?}}bar3
 113   %0 = tail call signext i16 @bar3() nounwind      ; <i16> [#uses=1]
 114   ret i16 %0
 115 }
 116
 117 declare signext i16 @bar3()
 118
 119 define signext i16 @t9(i32 (i32)* nocapture %x) nounwind ssp {
 120 entry:
 121 ; 32: t9:
 122 ; 32: call *
 123
 124 ; 64: t9:
 125 ; 64: callq *
 126   %0 = bitcast i32 (i32)* %x to i16 (i32)*
 127   %1 = tail call signext i16 %0(i32 0) nounwind
 128   ret i16 %1
 129 }