test/CodeGen/X86/sibcall.ll

   1 ; RUN: llc < %s -mtriple=i686-linux   -mattr=+sse2 -asm-verbose=false | FileCheck %s -check-prefix=32
   2 ; RUN: llc < %s -mtriple=x86_64-linux -mattr=+sse2 -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: calll *
  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 *4(%esp)
  61
  62 ; 64: t5:
  63 ; 64-NOT: call
  64 ; 64: jmpq *%rdi
  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: calll {{_?}}t6
  73 ; 32: jmp {{_?}}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: calll {{_?}}bar3
 110
 111 ; 64: t8:
 112 ; 64: callq {{_?}}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: calll *
 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 }
 130
 131 define void @t10() nounwind ssp {
 132 entry:
 133 ; 32: t10:
 134 ; 32: calll
 135
 136 ; 64: t10:
 137 ; 64: callq
 138   %0 = tail call i32 @foo4() noreturn nounwind
 139   unreachable
 140 }
 141
 142 declare i32 @foo4()
 143
 144 define i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp {
 145 ; In 32-bit mode, it's emitting a bunch of dead loads that are not being
 146 ; eliminated currently.
 147
 148 ; 32: t11:
 149 ; 32-NOT: subl ${{[0-9]+}}, %esp
 150 ; 32: jne
 151 ; 32-NOT: movl
 152 ; 32-NOT: addl ${{[0-9]+}}, %esp
 153 ; 32: jmp {{_?}}foo5
 154
 155 ; 64: t11:
 156 ; 64-NOT: subq ${{[0-9]+}}, %esp
 157 ; 64-NOT: addq ${{[0-9]+}}, %esp
 158 ; 64: jmp {{_?}}foo5
 159 entry:
 160   %0 = icmp eq i32 %x, 0
 161   br i1 %0, label %bb6, label %bb
 162
 163 bb:
 164   %1 = tail call i32 @foo5(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind
 165   ret i32 %1
 166
 167 bb6:
 168   ret i32 0
 169 }
 170
 171 declare i32 @foo5(i32, i32, i32, i32, i32)
 172
 173 %struct.t = type { i32, i32, i32, i32, i32 }
 174
 175 define i32 @t12(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind ssp {
 176 ; 32: t12:
 177 ; 32-NOT: subl ${{[0-9]+}}, %esp
 178 ; 32-NOT: addl ${{[0-9]+}}, %esp
 179 ; 32: jmp {{_?}}foo6
 180
 181 ; 64: t12:
 182 ; 64-NOT: subq ${{[0-9]+}}, %esp
 183 ; 64-NOT: addq ${{[0-9]+}}, %esp
 184 ; 64: jmp {{_?}}foo6
 185 entry:
 186   %0 = icmp eq i32 %x, 0
 187   br i1 %0, label %bb2, label %bb
 188
 189 bb:
 190   %1 = tail call i32 @foo6(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind
 191   ret i32 %1
 192
 193 bb2:
 194   ret i32 0
 195 }
 196
 197 declare i32 @foo6(i32, i32, %struct.t* byval align 4)
 198
 199 ; rdar://r7717598
 200 %struct.ns = type { i32, i32 }
 201 %struct.cp = type { float, float }
 202
 203 define %struct.ns* @t13(%struct.cp* %yy) nounwind ssp {
 204 ; 32: t13:
 205 ; 32-NOT: jmp
 206 ; 32: calll
 207 ; 32: ret
 208
 209 ; 64: t13:
 210 ; 64-NOT: jmp
 211 ; 64: callq
 212 ; 64: ret
 213 entry:
 214   %0 = tail call fastcc %struct.ns* @foo7(%struct.cp* byval align 4 %yy, i8 signext 0) nounwind
 215   ret %struct.ns* %0
 216 }
 217
 218 ; rdar://6195379
 219 ; llvm can't do sibcall for this in 32-bit mode (yet).
 220 declare fastcc %struct.ns* @foo7(%struct.cp* byval align 4, i8 signext) nounwind ssp
 221
 222 %struct.__block_descriptor = type { i64, i64 }
 223 %struct.__block_descriptor_withcopydispose = type { i64, i64, i8*, i8* }
 224 %struct.__block_literal_1 = type { i8*, i32, i32, i8*, %struct.__block_descriptor* }
 225 %struct.__block_literal_2 = type { i8*, i32, i32, i8*, %struct.__block_descriptor_withcopydispose*, void ()* }
 226
 227 define void @t14(%struct.__block_literal_2* nocapture %.block_descriptor) nounwind ssp {
 228 entry:
 229 ; 64: t14:
 230 ; 64: movq 32(%rdi)
 231 ; 64-NOT: movq 16(%rdi)
 232 ; 64: jmpq *16(%rdi)
 233   %0 = getelementptr inbounds %struct.__block_literal_2* %.block_descriptor, i64 0, i32 5 ; <void ()**> [#uses=1]
 234   %1 = load void ()** %0, align 8                 ; <void ()*> [#uses=2]
 235   %2 = bitcast void ()* %1 to %struct.__block_literal_1* ; <%struct.__block_literal_1*> [#uses=1]
 236   %3 = getelementptr inbounds %struct.__block_literal_1* %2, i64 0, i32 3 ; <i8**> [#uses=1]
 237   %4 = load i8** %3, align 8                      ; <i8*> [#uses=1]
 238   %5 = bitcast i8* %4 to void (i8*)*              ; <void (i8*)*> [#uses=1]
 239   %6 = bitcast void ()* %1 to i8*                 ; <i8*> [#uses=1]
 240   tail call void %5(i8* %6) nounwind
 241   ret void
 242 }
 243
 244 ; rdar://7726868
 245 %struct.foo = type { [4 x i32] }
 246
 247 define void @t15(%struct.foo* noalias sret %agg.result) nounwind  {
 248 ; 32: t15:
 249 ; 32: calll {{_?}}f
 250 ; 32: ret $4
 251
 252 ; 64: t15:
 253 ; 64: callq {{_?}}f
 254 ; 64: ret
 255   tail call fastcc void @f(%struct.foo* noalias sret %agg.result) nounwind
 256   ret void
 257 }
 258
 259 declare void @f(%struct.foo* noalias sret) nounwind
 260
 261 define void @t16() nounwind ssp {
 262 entry:
 263 ; 32: t16:
 264 ; 32: calll {{_?}}bar4
 265 ; 32: fstp
 266
 267 ; 64: t16:
 268 ; 64: jmp {{_?}}bar4
 269   %0 = tail call double @bar4() nounwind
 270   ret void
 271 }
 272
 273 declare double @bar4()
 274
 275 ; rdar://6283267
 276 define void @t17() nounwind ssp {
 277 entry:
 278 ; 32: t17:
 279 ; 32: jmp {{_?}}bar5
 280
 281 ; 64: t17:
 282 ; 64: xorb %al, %al
 283 ; 64: jmp {{_?}}bar5
 284   tail call void (...)* @bar5() nounwind
 285   ret void
 286 }
 287
 288 declare void @bar5(...)
 289
 290 ; rdar://7774847
 291 define void @t18() nounwind ssp {
 292 entry:
 293 ; 32: t18:
 294 ; 32: calll {{_?}}bar6
 295 ; 32: fstp %st(0)
 296
 297 ; 64: t18:
 298 ; 64: xorb %al, %al
 299 ; 64: jmp {{_?}}bar6
 300   %0 = tail call double (...)* @bar6() nounwind
 301   ret void
 302 }
 303
 304 declare double @bar6(...)
 305
 306 define void @t19() alignstack(32) nounwind {
 307 entry:
 308 ; CHECK: t19:
 309 ; CHECK: andl $-32
 310 ; CHECK: calll {{_?}}foo
 311   tail call void @foo() nounwind
 312   ret void
 313 }
 314
 315 declare void @foo()
 316
 317 ; If caller / callee calling convention mismatch then check if the return
 318 ; values are returned in the same registers.
 319 ; rdar://7874780
 320
 321 define double @t20(double %x) nounwind {
 322 entry:
 323 ; 32: t20:
 324 ; 32: calll {{_?}}foo20
 325 ; 32: fldl (%esp)
 326
 327 ; 64: t20:
 328 ; 64: jmp {{_?}}foo20
 329   %0 = tail call fastcc double @foo20(double %x) nounwind
 330   ret double %0
 331 }
 332
 333 declare fastcc double @foo20(double) nounwind