test/CodeGen/X86/sibcall.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -verify-machineinstrs < %s -mtriple=i686-linux   -mcpu=core2 -mattr=+sse2 | FileCheck %s --check-prefix=X86
   3 ; RUN: llc -verify-machineinstrs < %s -mtriple=x86_64-linux -mcpu=core2 -mattr=+sse2 | FileCheck %s --check-prefix=X64
   4 ; RUN: llc -verify-machineinstrs < %s -mtriple=x86_64-linux-gnux32 -mcpu=core2 -mattr=+sse2  | FileCheck %s --check-prefix=X32
   5
   6 define void @t1(i32 %x) nounwind ssp {
   7 ; X86-LABEL: t1:
   8 ; X86:       # %bb.0:
   9 ; X86-NEXT:    jmp foo # TAILCALL
  10 ;
  11 ; X64-LABEL: t1:
  12 ; X64:       # %bb.0:
  13 ; X64-NEXT:    jmp foo # TAILCALL
  14 ;
  15 ; X32-LABEL: t1:
  16 ; X32:       # %bb.0:
  17 ; X32-NEXT:    jmp foo # TAILCALL
  18   tail call void @foo() nounwind
  19   ret void
  20 }
  21
  22 declare void @foo()
  23
  24 define void @t2() nounwind ssp {
  25 ; X86-LABEL: t2:
  26 ; X86:       # %bb.0:
  27 ; X86-NEXT:    jmp foo2 # TAILCALL
  28 ;
  29 ; X64-LABEL: t2:
  30 ; X64:       # %bb.0:
  31 ; X64-NEXT:    jmp foo2 # TAILCALL
  32 ;
  33 ; X32-LABEL: t2:
  34 ; X32:       # %bb.0:
  35 ; X32-NEXT:    jmp foo2 # TAILCALL
  36   %t0 = tail call i32 @foo2() nounwind
  37   ret void
  38 }
  39
  40 declare i32 @foo2()
  41
  42 define void @t3() nounwind ssp {
  43 ; X86-LABEL: t3:
  44 ; X86:       # %bb.0:
  45 ; X86-NEXT:    jmp foo3 # TAILCALL
  46 ;
  47 ; X64-LABEL: t3:
  48 ; X64:       # %bb.0:
  49 ; X64-NEXT:    jmp foo3 # TAILCALL
  50 ;
  51 ; X32-LABEL: t3:
  52 ; X32:       # %bb.0:
  53 ; X32-NEXT:    jmp foo3 # TAILCALL
  54   %t0 = tail call i32 @foo3() nounwind
  55   ret void
  56 }
  57
  58 declare i32 @foo3()
  59
  60 define void @t4(void (i32)* nocapture %x) nounwind ssp {
  61 ; X86-LABEL: t4:
  62 ; X86:       # %bb.0:
  63 ; X86-NEXT:    subl $12, %esp
  64 ; X86-NEXT:    movl $0, (%esp)
  65 ; X86-NEXT:    calll *{{[0-9]+}}(%esp)
  66 ; X86-NEXT:    addl $12, %esp
  67 ; X86-NEXT:    retl
  68 ;
  69 ; X64-LABEL: t4:
  70 ; X64:       # %bb.0:
  71 ; X64-NEXT:    movq %rdi, %rax
  72 ; X64-NEXT:    xorl %edi, %edi
  73 ; X64-NEXT:    jmpq *%rax # TAILCALL
  74 ;
  75 ; X32-LABEL: t4:
  76 ; X32:       # %bb.0:
  77 ; X32-NEXT:    movl %edi, %eax
  78 ; X32-NEXT:    xorl %edi, %edi
  79 ; X32-NEXT:    jmpq *%rax # TAILCALL
  80   tail call void %x(i32 0) nounwind
  81   ret void
  82 }
  83
  84 ; FIXME: This isn't needed since x32 psABI specifies that callers must
  85 ;        zero-extend pointers passed in registers.
  86
  87 define void @t5(void ()* nocapture %x) nounwind ssp {
  88 ; X86-LABEL: t5:
  89 ; X86:       # %bb.0:
  90 ; X86-NEXT:    jmpl *{{[0-9]+}}(%esp) # TAILCALL
  91 ;
  92 ; X64-LABEL: t5:
  93 ; X64:       # %bb.0:
  94 ; X64-NEXT:    jmpq *%rdi # TAILCALL
  95 ;
  96 ; X32-LABEL: t5:
  97 ; X32:       # %bb.0:
  98 ; X32-NEXT:    movl %edi, %eax
  99 ; X32-NEXT:    jmpq *%rax # TAILCALL
 100   tail call void %x() nounwind
 101   ret void
 102 }
 103
 104 ; Basically the same test as t5, except pass the function pointer on the stack
 105 ; for x86_64.
 106
 107 define void @t5_x64(i32, i32, i32, i32, i32, i32, void ()* nocapture %x) nounwind ssp {
 108 ; X86-LABEL: t5_x64:
 109 ; X86:       # %bb.0:
 110 ; X86-NEXT:    jmpl *{{[0-9]+}}(%esp) # TAILCALL
 111 ;
 112 ; X64-LABEL: t5_x64:
 113 ; X64:       # %bb.0:
 114 ; X64-NEXT:    jmpq *{{[0-9]+}}(%rsp) # TAILCALL
 115 ;
 116 ; X32-LABEL: t5_x64:
 117 ; X32:       # %bb.0:
 118 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 119 ; X32-NEXT:    jmpq *%rax # TAILCALL
 120   tail call void %x() nounwind
 121   ret void
 122 }
 123
 124
 125 define i32 @t6(i32 %x) nounwind ssp {
 126 ; X86-LABEL: t6:
 127 ; X86:       # %bb.0:
 128 ; X86-NEXT:    subl $12, %esp
 129 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 130 ; X86-NEXT:    cmpl $9, %eax
 131 ; X86-NEXT:    jg .LBB6_2
 132 ; X86-NEXT:  # %bb.1: # %bb
 133 ; X86-NEXT:    decl %eax
 134 ; X86-NEXT:    movl %eax, (%esp)
 135 ; X86-NEXT:    calll t6
 136 ; X86-NEXT:    addl $12, %esp
 137 ; X86-NEXT:    retl
 138 ; X86-NEXT:  .LBB6_2: # %bb1
 139 ; X86-NEXT:    addl $12, %esp
 140 ; X86-NEXT:    jmp bar # TAILCALL
 141 ;
 142 ; X64-LABEL: t6:
 143 ; X64:       # %bb.0:
 144 ; X64-NEXT:    cmpl $9, %edi
 145 ; X64-NEXT:    jg .LBB6_2
 146 ; X64-NEXT:  # %bb.1: # %bb
 147 ; X64-NEXT:    decl %edi
 148 ; X64-NEXT:    jmp t6 # TAILCALL
 149 ; X64-NEXT:  .LBB6_2: # %bb1
 150 ; X64-NEXT:    jmp bar # TAILCALL
 151 ;
 152 ; X32-LABEL: t6:
 153 ; X32:       # %bb.0:
 154 ; X32-NEXT:    cmpl $9, %edi
 155 ; X32-NEXT:    jg .LBB6_2
 156 ; X32-NEXT:  # %bb.1: # %bb
 157 ; X32-NEXT:    decl %edi
 158 ; X32-NEXT:    jmp t6 # TAILCALL
 159 ; X32-NEXT:  .LBB6_2: # %bb1
 160 ; X32-NEXT:    jmp bar # TAILCALL
 161   %t0 = icmp slt i32 %x, 10
 162   br i1 %t0, label %bb, label %bb1
 163
 164 bb:
 165   %t1 = add nsw i32 %x, -1
 166   %t2 = tail call i32 @t6(i32 %t1) nounwind ssp
 167   ret i32 %t2
 168
 169 bb1:
 170   %t3 = tail call i32 @bar(i32 %x) nounwind
 171   ret i32 %t3
 172 }
 173
 174 declare i32 @bar(i32)
 175
 176 define i32 @t7(i32 %a, i32 %b, i32 %c) nounwind ssp {
 177 ; X86-LABEL: t7:
 178 ; X86:       # %bb.0:
 179 ; X86-NEXT:    jmp bar2 # TAILCALL
 180 ;
 181 ; X64-LABEL: t7:
 182 ; X64:       # %bb.0:
 183 ; X64-NEXT:    jmp bar2 # TAILCALL
 184 ;
 185 ; X32-LABEL: t7:
 186 ; X32:       # %bb.0:
 187 ; X32-NEXT:    jmp bar2 # TAILCALL
 188   %t0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind
 189   ret i32 %t0
 190 }
 191
 192 declare i32 @bar2(i32, i32, i32)
 193
 194 define signext i16 @t8() nounwind ssp {
 195 ; X86-LABEL: t8:
 196 ; X86:       # %bb.0: # %entry
 197 ; X86-NEXT:    jmp bar3 # TAILCALL
 198 ;
 199 ; X64-LABEL: t8:
 200 ; X64:       # %bb.0: # %entry
 201 ; X64-NEXT:    jmp bar3 # TAILCALL
 202 ;
 203 ; X32-LABEL: t8:
 204 ; X32:       # %bb.0: # %entry
 205 ; X32-NEXT:    jmp bar3 # TAILCALL
 206 entry:
 207   %0 = tail call signext i16 @bar3() nounwind      ; <i16> [#uses=1]
 208   ret i16 %0
 209 }
 210
 211 declare signext i16 @bar3()
 212
 213 define signext i16 @t9(i32 (i32)* nocapture %x) nounwind ssp {
 214 ; X86-LABEL: t9:
 215 ; X86:       # %bb.0: # %entry
 216 ; X86-NEXT:    subl $12, %esp
 217 ; X86-NEXT:    movl $0, (%esp)
 218 ; X86-NEXT:    calll *{{[0-9]+}}(%esp)
 219 ; X86-NEXT:    addl $12, %esp
 220 ; X86-NEXT:    retl
 221 ;
 222 ; X64-LABEL: t9:
 223 ; X64:       # %bb.0: # %entry
 224 ; X64-NEXT:    movq %rdi, %rax
 225 ; X64-NEXT:    xorl %edi, %edi
 226 ; X64-NEXT:    jmpq *%rax # TAILCALL
 227 ;
 228 ; X32-LABEL: t9:
 229 ; X32:       # %bb.0: # %entry
 230 ; X32-NEXT:    movl %edi, %eax
 231 ; X32-NEXT:    xorl %edi, %edi
 232 ; X32-NEXT:    jmpq *%rax # TAILCALL
 233 entry:
 234   %0 = bitcast i32 (i32)* %x to i16 (i32)*
 235   %1 = tail call signext i16 %0(i32 0) nounwind
 236   ret i16 %1
 237 }
 238
 239 define void @t10() nounwind ssp {
 240 ; X86-LABEL: t10:
 241 ; X86:       # %bb.0: # %entry
 242 ; X86-NEXT:    subl $12, %esp
 243 ; X86-NEXT:    calll foo4
 244 ;
 245 ; X64-LABEL: t10:
 246 ; X64:       # %bb.0: # %entry
 247 ; X64-NEXT:    pushq %rax
 248 ; X64-NEXT:    callq foo4
 249 ;
 250 ; X32-LABEL: t10:
 251 ; X32:       # %bb.0: # %entry
 252 ; X32-NEXT:    pushq %rax
 253 ; X32-NEXT:    callq foo4
 254 entry:
 255   %0 = tail call i32 @foo4() noreturn nounwind
 256   unreachable
 257 }
 258
 259 declare i32 @foo4()
 260
 261 ; In 32-bit mode, it's emitting a bunch of dead loads that are not being
 262 ; eliminated currently.
 263
 264 define i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp {
 265 ; X86-LABEL: t11:
 266 ; X86:       # %bb.0: # %entry
 267 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 268 ; X86-NEXT:    testl %eax, %eax
 269 ; X86-NEXT:    je .LBB11_1
 270 ; X86-NEXT:  # %bb.2: # %bb
 271 ; X86-NEXT:    jmp foo5 # TAILCALL
 272 ; X86-NEXT:  .LBB11_1: # %bb6
 273 ; X86-NEXT:    xorl %eax, %eax
 274 ; X86-NEXT:    retl
 275 ;
 276 ; X64-LABEL: t11:
 277 ; X64:       # %bb.0: # %entry
 278 ; X64-NEXT:    testl %edi, %edi
 279 ; X64-NEXT:    je .LBB11_1
 280 ; X64-NEXT:  # %bb.2: # %bb
 281 ; X64-NEXT:    jmp foo5 # TAILCALL
 282 ; X64-NEXT:  .LBB11_1: # %bb6
 283 ; X64-NEXT:    xorl %eax, %eax
 284 ; X64-NEXT:    retq
 285 ;
 286 ; X32-LABEL: t11:
 287 ; X32:       # %bb.0: # %entry
 288 ; X32-NEXT:    testl %edi, %edi
 289 ; X32-NEXT:    je .LBB11_1
 290 ; X32-NEXT:  # %bb.2: # %bb
 291 ; X32-NEXT:    jmp foo5 # TAILCALL
 292 ; X32-NEXT:  .LBB11_1: # %bb6
 293 ; X32-NEXT:    xorl %eax, %eax
 294 ; X32-NEXT:    retq
 295 entry:
 296   %0 = icmp eq i32 %x, 0
 297   br i1 %0, label %bb6, label %bb
 298
 299 bb:
 300   %1 = tail call i32 @foo5(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind
 301   ret i32 %1
 302
 303 bb6:
 304   ret i32 0
 305 }
 306
 307 declare i32 @foo5(i32, i32, i32, i32, i32)
 308
 309 %struct.t = type { i32, i32, i32, i32, i32 }
 310
 311 define i32 @t12(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind ssp {
 312 ; X86-LABEL: t12:
 313 ; X86:       # %bb.0: # %entry
 314 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 315 ; X86-NEXT:    testl %eax, %eax
 316 ; X86-NEXT:    je .LBB12_1
 317 ; X86-NEXT:  # %bb.2: # %bb
 318 ; X86-NEXT:    jmp foo6 # TAILCALL
 319 ; X86-NEXT:  .LBB12_1: # %bb2
 320 ; X86-NEXT:    xorl %eax, %eax
 321 ; X86-NEXT:    retl
 322 ;
 323 ; X64-LABEL: t12:
 324 ; X64:       # %bb.0: # %entry
 325 ; X64-NEXT:    testl %edi, %edi
 326 ; X64-NEXT:    je .LBB12_1
 327 ; X64-NEXT:  # %bb.2: # %bb
 328 ; X64-NEXT:    jmp foo6 # TAILCALL
 329 ; X64-NEXT:  .LBB12_1: # %bb2
 330 ; X64-NEXT:    xorl %eax, %eax
 331 ; X64-NEXT:    retq
 332 ;
 333 ; X32-LABEL: t12:
 334 ; X32:       # %bb.0: # %entry
 335 ; X32-NEXT:    testl %edi, %edi
 336 ; X32-NEXT:    je .LBB12_1
 337 ; X32-NEXT:  # %bb.2: # %bb
 338 ; X32-NEXT:    jmp foo6 # TAILCALL
 339 ; X32-NEXT:  .LBB12_1: # %bb2
 340 ; X32-NEXT:    xorl %eax, %eax
 341 ; X32-NEXT:    retq
 342 entry:
 343   %0 = icmp eq i32 %x, 0
 344   br i1 %0, label %bb2, label %bb
 345
 346 bb:
 347   %1 = tail call i32 @foo6(i32 %x, i32 %y, %struct.t* byval align 4 %z) nounwind
 348   ret i32 %1
 349
 350 bb2:
 351   ret i32 0
 352 }
 353
 354 declare i32 @foo6(i32, i32, %struct.t* byval align 4)
 355
 356 ; rdar://r7717598
 357 %struct.ns = type { i32, i32 }
 358 %struct.cp = type { float, float, float, float, float }
 359
 360 define %struct.ns* @t13(%struct.cp* %yy) nounwind ssp {
 361 ; X86-LABEL: t13:
 362 ; X86:       # %bb.0: # %entry
 363 ; X86-NEXT:    subl $28, %esp
 364 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 365 ; X86-NEXT:    movl 16(%eax), %ecx
 366 ; X86-NEXT:    movl %ecx, {{[0-9]+}}(%esp)
 367 ; X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
 368 ; X86-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
 369 ; X86-NEXT:    movsd %xmm1, {{[0-9]+}}(%esp)
 370 ; X86-NEXT:    movsd %xmm0, (%esp)
 371 ; X86-NEXT:    xorl %ecx, %ecx
 372 ; X86-NEXT:    calll foo7
 373 ; X86-NEXT:    addl $28, %esp
 374 ; X86-NEXT:    retl
 375 ;
 376 ; X64-LABEL: t13:
 377 ; X64:       # %bb.0: # %entry
 378 ; X64-NEXT:    pushq %rax
 379 ; X64-NEXT:    subq $8, %rsp
 380 ; X64-NEXT:    movl 16(%rdi), %eax
 381 ; X64-NEXT:    movq (%rdi), %rcx
 382 ; X64-NEXT:    movq 8(%rdi), %rdx
 383 ; X64-NEXT:    xorl %edi, %edi
 384 ; X64-NEXT:    pushq %rax
 385 ; X64-NEXT:    pushq %rdx
 386 ; X64-NEXT:    pushq %rcx
 387 ; X64-NEXT:    callq foo7
 388 ; X64-NEXT:    addq $32, %rsp
 389 ; X64-NEXT:    popq %rcx
 390 ; X64-NEXT:    retq
 391 ;
 392 ; X32-LABEL: t13:
 393 ; X32:       # %bb.0: # %entry
 394 ; X32-NEXT:    pushq %rax
 395 ; X32-NEXT:    subl $8, %esp
 396 ; X32-NEXT:    movl 16(%edi), %eax
 397 ; X32-NEXT:    movq (%edi), %rcx
 398 ; X32-NEXT:    movq 8(%edi), %rdx
 399 ; X32-NEXT:    xorl %edi, %edi
 400 ; X32-NEXT:    pushq %rax
 401 ; X32-NEXT:    pushq %rdx
 402 ; X32-NEXT:    pushq %rcx
 403 ; X32-NEXT:    callq foo7
 404 ; X32-NEXT:    addl $32, %esp
 405 ; X32-NEXT:    popq %rcx
 406 ; X32-NEXT:    retq
 407 entry:
 408   %0 = tail call fastcc %struct.ns* @foo7(%struct.cp* byval align 4 %yy, i8 signext 0) nounwind
 409   ret %struct.ns* %0
 410 }
 411
 412 ; rdar://6195379
 413 ; llvm can't do sibcall for this in 32-bit mode (yet).
 414 declare fastcc %struct.ns* @foo7(%struct.cp* byval align 4, i8 signext) nounwind ssp
 415
 416 %struct.__block_descriptor = type { i64, i64 }
 417 %struct.__block_descriptor_withcopydispose = type { i64, i64, i8*, i8* }
 418 %struct.__block_literal_1 = type { i8*, i32, i32, i8*, %struct.__block_descriptor* }
 419 %struct.__block_literal_2 = type { i8*, i32, i32, i8*, %struct.__block_descriptor_withcopydispose*, void ()* }
 420
 421 define void @t14(%struct.__block_literal_2* nocapture %.block_descriptor) nounwind ssp {
 422 ; X86-LABEL: t14:
 423 ; X86:       # %bb.0: # %entry
 424 ; X86-NEXT:    subl $12, %esp
 425 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 426 ; X86-NEXT:    movl 20(%eax), %eax
 427 ; X86-NEXT:    movl %eax, (%esp)
 428 ; X86-NEXT:    calll *12(%eax)
 429 ; X86-NEXT:    addl $12, %esp
 430 ; X86-NEXT:    retl
 431 ;
 432 ; X64-LABEL: t14:
 433 ; X64:       # %bb.0: # %entry
 434 ; X64-NEXT:    movq 32(%rdi), %rdi
 435 ; X64-NEXT:    jmpq *16(%rdi) # TAILCALL
 436 ;
 437 ; X32-LABEL: t14:
 438 ; X32:       # %bb.0: # %entry
 439 ; X32-NEXT:    movl 20(%edi), %edi
 440 ; X32-NEXT:    movl 12(%edi), %eax
 441 ; X32-NEXT:    jmpq *%rax # TAILCALL
 442 entry:
 443   %0 = getelementptr inbounds %struct.__block_literal_2, %struct.__block_literal_2* %.block_descriptor, i64 0, i32 5 ; <void ()**> [#uses=1]
 444   %1 = load void ()*, void ()** %0, align 8                 ; <void ()*> [#uses=2]
 445   %2 = bitcast void ()* %1 to %struct.__block_literal_1* ; <%struct.__block_literal_1*> [#uses=1]
 446   %3 = getelementptr inbounds %struct.__block_literal_1, %struct.__block_literal_1* %2, i64 0, i32 3 ; <i8**> [#uses=1]
 447   %4 = load i8*, i8** %3, align 8                      ; <i8*> [#uses=1]
 448   %5 = bitcast i8* %4 to void (i8*)*              ; <void (i8*)*> [#uses=1]
 449   %6 = bitcast void ()* %1 to i8*                 ; <i8*> [#uses=1]
 450   tail call void %5(i8* %6) nounwind
 451   ret void
 452 }
 453
 454 ; rdar://7726868
 455 %struct.foo = type { [4 x i32] }
 456
 457 define void @t15(%struct.foo* noalias sret %agg.result) nounwind  {
 458 ; X86-LABEL: t15:
 459 ; X86:       # %bb.0:
 460 ; X86-NEXT:    pushl %esi
 461 ; X86-NEXT:    subl $8, %esp
 462 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 463 ; X86-NEXT:    movl %esi, %ecx
 464 ; X86-NEXT:    calll f
 465 ; X86-NEXT:    movl %esi, %eax
 466 ; X86-NEXT:    addl $8, %esp
 467 ; X86-NEXT:    popl %esi
 468 ; X86-NEXT:    retl $4
 469 ;
 470 ; X64-LABEL: t15:
 471 ; X64:       # %bb.0:
 472 ; X64-NEXT:    pushq %rbx
 473 ; X64-NEXT:    movq %rdi, %rbx
 474 ; X64-NEXT:    callq f
 475 ; X64-NEXT:    movq %rbx, %rax
 476 ; X64-NEXT:    popq %rbx
 477 ; X64-NEXT:    retq
 478 ;
 479 ; X32-LABEL: t15:
 480 ; X32:       # %bb.0:
 481 ; X32-NEXT:    pushq %rbx
 482 ; X32-NEXT:    movl %edi, %ebx
 483 ; X32-NEXT:    callq f
 484 ; X32-NEXT:    movl %ebx, %eax
 485 ; X32-NEXT:    popq %rbx
 486 ; X32-NEXT:    retq
 487   tail call fastcc void @f(%struct.foo* noalias sret %agg.result) nounwind
 488   ret void
 489 }
 490
 491 declare void @f(%struct.foo* noalias sret) nounwind
 492
 493 define void @t16() nounwind ssp {
 494 ; X86-LABEL: t16:
 495 ; X86:       # %bb.0: # %entry
 496 ; X86-NEXT:    subl $12, %esp
 497 ; X86-NEXT:    calll bar4
 498 ; X86-NEXT:    fstp %st(0)
 499 ; X86-NEXT:    addl $12, %esp
 500 ; X86-NEXT:    retl
 501 ;
 502 ; X64-LABEL: t16:
 503 ; X64:       # %bb.0: # %entry
 504 ; X64-NEXT:    jmp bar4 # TAILCALL
 505 ;
 506 ; X32-LABEL: t16:
 507 ; X32:       # %bb.0: # %entry
 508 ; X32-NEXT:    jmp bar4 # TAILCALL
 509 entry:
 510   %0 = tail call double @bar4() nounwind
 511   ret void
 512 }
 513
 514 declare double @bar4()
 515
 516 ; rdar://6283267
 517 define void @t17() nounwind ssp {
 518 ; X86-LABEL: t17:
 519 ; X86:       # %bb.0: # %entry
 520 ; X86-NEXT:    jmp bar5 # TAILCALL
 521 ;
 522 ; X64-LABEL: t17:
 523 ; X64:       # %bb.0: # %entry
 524 ; X64-NEXT:    xorl %eax, %eax
 525 ; X64-NEXT:    jmp bar5 # TAILCALL
 526 ;
 527 ; X32-LABEL: t17:
 528 ; X32:       # %bb.0: # %entry
 529 ; X32-NEXT:    xorl %eax, %eax
 530 ; X32-NEXT:    jmp bar5 # TAILCALL
 531 entry:
 532   tail call void (...) @bar5() nounwind
 533   ret void
 534 }
 535
 536 declare void @bar5(...)
 537
 538 ; rdar://7774847
 539 define void @t18() nounwind ssp {
 540 ; X86-LABEL: t18:
 541 ; X86:       # %bb.0: # %entry
 542 ; X86-NEXT:    subl $12, %esp
 543 ; X86-NEXT:    calll bar6
 544 ; X86-NEXT:    fstp %st(0)
 545 ; X86-NEXT:    addl $12, %esp
 546 ; X86-NEXT:    retl
 547 ;
 548 ; X64-LABEL: t18:
 549 ; X64:       # %bb.0: # %entry
 550 ; X64-NEXT:    xorl %eax, %eax
 551 ; X64-NEXT:    jmp bar6 # TAILCALL
 552 ;
 553 ; X32-LABEL: t18:
 554 ; X32:       # %bb.0: # %entry
 555 ; X32-NEXT:    xorl %eax, %eax
 556 ; X32-NEXT:    jmp bar6 # TAILCALL
 557 entry:
 558   %0 = tail call double (...) @bar6() nounwind
 559   ret void
 560 }
 561
 562 declare double @bar6(...)
 563
 564 define void @t19() alignstack(32) nounwind {
 565 ; X86-LABEL: t19:
 566 ; X86:       # %bb.0: # %entry
 567 ; X86-NEXT:    pushl %ebp
 568 ; X86-NEXT:    movl %esp, %ebp
 569 ; X86-NEXT:    andl $-32, %esp
 570 ; X86-NEXT:    subl $32, %esp
 571 ; X86-NEXT:    calll foo
 572 ; X86-NEXT:    movl %ebp, %esp
 573 ; X86-NEXT:    popl %ebp
 574 ; X86-NEXT:    retl
 575 ;
 576 ; X64-LABEL: t19:
 577 ; X64:       # %bb.0: # %entry
 578 ; X64-NEXT:    pushq %rbp
 579 ; X64-NEXT:    movq %rsp, %rbp
 580 ; X64-NEXT:    andq $-32, %rsp
 581 ; X64-NEXT:    subq $32, %rsp
 582 ; X64-NEXT:    callq foo
 583 ; X64-NEXT:    movq %rbp, %rsp
 584 ; X64-NEXT:    popq %rbp
 585 ; X64-NEXT:    retq
 586 ;
 587 ; X32-LABEL: t19:
 588 ; X32:       # %bb.0: # %entry
 589 ; X32-NEXT:    pushq %rbp
 590 ; X32-NEXT:    movl %esp, %ebp
 591 ; X32-NEXT:    andl $-32, %esp
 592 ; X32-NEXT:    subl $32, %esp
 593 ; X32-NEXT:    callq foo
 594 ; X32-NEXT:    movl %ebp, %esp
 595 ; X32-NEXT:    popq %rbp
 596 ; X32-NEXT:    retq
 597 entry:
 598   tail call void @foo() nounwind
 599   ret void
 600 }
 601
 602 ; If caller / callee calling convention mismatch then check if the return
 603 ; values are returned in the same registers.
 604 ; rdar://7874780
 605
 606 define double @t20(double %x) nounwind {
 607 ; X86-LABEL: t20:
 608 ; X86:       # %bb.0: # %entry
 609 ; X86-NEXT:    subl $12, %esp
 610 ; X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
 611 ; X86-NEXT:    calll foo20
 612 ; X86-NEXT:    movsd %xmm0, (%esp)
 613 ; X86-NEXT:    fldl (%esp)
 614 ; X86-NEXT:    addl $12, %esp
 615 ; X86-NEXT:    retl
 616 ;
 617 ; X64-LABEL: t20:
 618 ; X64:       # %bb.0: # %entry
 619 ; X64-NEXT:    jmp foo20 # TAILCALL
 620 ;
 621 ; X32-LABEL: t20:
 622 ; X32:       # %bb.0: # %entry
 623 ; X32-NEXT:    jmp foo20 # TAILCALL
 624 entry:
 625   %0 = tail call fastcc double @foo20(double %x) nounwind
 626   ret double %0
 627 }
 628
 629 declare fastcc double @foo20(double) nounwind
 630
 631 ; bug 28417
 632 define fastcc void @t21_sret_to_sret(%struct.foo* noalias sret %agg.result) nounwind  {
 633 ; X86-LABEL: t21_sret_to_sret:
 634 ; X86:       # %bb.0:
 635 ; X86-NEXT:    pushl %esi
 636 ; X86-NEXT:    subl $8, %esp
 637 ; X86-NEXT:    movl %ecx, %esi
 638 ; X86-NEXT:    calll t21_f_sret
 639 ; X86-NEXT:    movl %esi, %eax
 640 ; X86-NEXT:    addl $8, %esp
 641 ; X86-NEXT:    popl %esi
 642 ; X86-NEXT:    retl
 643 ;
 644 ; X64-LABEL: t21_sret_to_sret:
 645 ; X64:       # %bb.0:
 646 ; X64-NEXT:    pushq %rbx
 647 ; X64-NEXT:    movq %rdi, %rbx
 648 ; X64-NEXT:    callq t21_f_sret
 649 ; X64-NEXT:    movq %rbx, %rax
 650 ; X64-NEXT:    popq %rbx
 651 ; X64-NEXT:    retq
 652 ;
 653 ; X32-LABEL: t21_sret_to_sret:
 654 ; X32:       # %bb.0:
 655 ; X32-NEXT:    pushq %rbx
 656 ; X32-NEXT:    movl %edi, %ebx
 657 ; X32-NEXT:    callq t21_f_sret
 658 ; X32-NEXT:    movl %ebx, %eax
 659 ; X32-NEXT:    popq %rbx
 660 ; X32-NEXT:    retq
 661   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret %agg.result) nounwind
 662   ret void
 663 }
 664
 665 define fastcc void @t21_sret_to_non_sret(%struct.foo* noalias sret %agg.result) nounwind  {
 666 ; X86-LABEL: t21_sret_to_non_sret:
 667 ; X86:       # %bb.0:
 668 ; X86-NEXT:    pushl %esi
 669 ; X86-NEXT:    subl $8, %esp
 670 ; X86-NEXT:    movl %ecx, %esi
 671 ; X86-NEXT:    calll t21_f_non_sret
 672 ; X86-NEXT:    movl %esi, %eax
 673 ; X86-NEXT:    addl $8, %esp
 674 ; X86-NEXT:    popl %esi
 675 ; X86-NEXT:    retl
 676 ;
 677 ; X64-LABEL: t21_sret_to_non_sret:
 678 ; X64:       # %bb.0:
 679 ; X64-NEXT:    pushq %rbx
 680 ; X64-NEXT:    movq %rdi, %rbx
 681 ; X64-NEXT:    callq t21_f_non_sret
 682 ; X64-NEXT:    movq %rbx, %rax
 683 ; X64-NEXT:    popq %rbx
 684 ; X64-NEXT:    retq
 685 ;
 686 ; X32-LABEL: t21_sret_to_non_sret:
 687 ; X32:       # %bb.0:
 688 ; X32-NEXT:    pushq %rbx
 689 ; X32-NEXT:    movl %edi, %ebx
 690 ; X32-NEXT:    callq t21_f_non_sret
 691 ; X32-NEXT:    movl %ebx, %eax
 692 ; X32-NEXT:    popq %rbx
 693 ; X32-NEXT:    retq
 694   tail call fastcc void @t21_f_non_sret(%struct.foo* %agg.result) nounwind
 695   ret void
 696 }
 697
 698 define fastcc void @t21_non_sret_to_sret(%struct.foo* %agg.result) nounwind  {
 699 ; X86-LABEL: t21_non_sret_to_sret:
 700 ; X86:       # %bb.0:
 701 ; X86-NEXT:    subl $12, %esp
 702 ; X86-NEXT:    calll t21_f_sret
 703 ; X86-NEXT:    addl $12, %esp
 704 ; X86-NEXT:    retl
 705 ;
 706 ; X64-LABEL: t21_non_sret_to_sret:
 707 ; X64:       # %bb.0:
 708 ; X64-NEXT:    pushq %rax
 709 ; X64-NEXT:    callq t21_f_sret
 710 ; X64-NEXT:    popq %rax
 711 ; X64-NEXT:    retq
 712 ;
 713 ; X32-LABEL: t21_non_sret_to_sret:
 714 ; X32:       # %bb.0:
 715 ; X32-NEXT:    pushq %rax
 716 ; X32-NEXT:    callq t21_f_sret
 717 ; X32-NEXT:    popq %rax
 718 ; X32-NEXT:    retq
 719   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret %agg.result) nounwind
 720   ret void
 721 }
 722
 723 declare fastcc void @t21_f_sret(%struct.foo* noalias sret) nounwind
 724 declare fastcc void @t21_f_non_sret(%struct.foo*) nounwind
 725
 726 define ccc void @t22_non_sret_to_sret(%struct.foo* %agg.result) nounwind  {
 727 ; X86-LABEL: t22_non_sret_to_sret:
 728 ; X86:       # %bb.0:
 729 ; X86-NEXT:    subl $12, %esp
 730 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 731 ; X86-NEXT:    movl %eax, (%esp)
 732 ; X86-NEXT:    calll t22_f_sret
 733 ; X86-NEXT:    addl $8, %esp
 734 ; X86-NEXT:    retl
 735 ;
 736 ; X64-LABEL: t22_non_sret_to_sret:
 737 ; X64:       # %bb.0:
 738 ; X64-NEXT:    pushq %rax
 739 ; X64-NEXT:    callq t22_f_sret
 740 ; X64-NEXT:    popq %rax
 741 ; X64-NEXT:    retq
 742 ;
 743 ; X32-LABEL: t22_non_sret_to_sret:
 744 ; X32:       # %bb.0:
 745 ; X32-NEXT:    pushq %rax
 746 ; X32-NEXT:    callq t22_f_sret
 747 ; X32-NEXT:    popq %rax
 748 ; X32-NEXT:    retq
 749   tail call ccc void @t22_f_sret(%struct.foo* noalias sret %agg.result) nounwind
 750   ret void
 751 }
 752
 753 declare ccc void @t22_f_sret(%struct.foo* noalias sret) nounwind