llvm/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 dso_local 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 dso_local void @foo()
  23
  24 define dso_local 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 dso_local i32 @foo2()
  41
  42 define dso_local 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 dso_local i32 @foo3()
  59
  60 define dso_local 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:    movq %rdi, %rax
  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 define dso_local void @t5(void ()* nocapture %x) nounwind ssp {
  85 ; X86-LABEL: t5:
  86 ; X86:       # %bb.0:
  87 ; X86-NEXT:    jmpl *{{[0-9]+}}(%esp) # TAILCALL
  88 ;
  89 ; X64-LABEL: t5:
  90 ; X64:       # %bb.0:
  91 ; X64-NEXT:    jmpq *%rdi # TAILCALL
  92 ;
  93 ; X32-LABEL: t5:
  94 ; X32:       # %bb.0:
  95 ; X32-NEXT:    jmpq *%rdi # TAILCALL
  96   tail call void %x() nounwind
  97   ret void
  98 }
  99
 100 ; Basically the same test as t5, except pass the function pointer on the stack
 101 ; for x86_64.
 102
 103 define dso_local void @t5_x64(i32, i32, i32, i32, i32, i32, void ()* nocapture %x) nounwind ssp {
 104 ; X86-LABEL: t5_x64:
 105 ; X86:       # %bb.0:
 106 ; X86-NEXT:    jmpl *{{[0-9]+}}(%esp) # TAILCALL
 107 ;
 108 ; X64-LABEL: t5_x64:
 109 ; X64:       # %bb.0:
 110 ; X64-NEXT:    jmpq *{{[0-9]+}}(%rsp) # TAILCALL
 111 ;
 112 ; X32-LABEL: t5_x64:
 113 ; X32:       # %bb.0:
 114 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax
 115 ; X32-NEXT:    jmpq *%rax # TAILCALL
 116   tail call void %x() nounwind
 117   ret void
 118 }
 119
 120
 121 define dso_local i32 @t6(i32 %x) nounwind ssp {
 122 ; X86-LABEL: t6:
 123 ; X86:       # %bb.0:
 124 ; X86-NEXT:    subl $12, %esp
 125 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 126 ; X86-NEXT:    cmpl $9, %eax
 127 ; X86-NEXT:    jg .LBB6_2
 128 ; X86-NEXT:  # %bb.1: # %bb
 129 ; X86-NEXT:    decl %eax
 130 ; X86-NEXT:    movl %eax, (%esp)
 131 ; X86-NEXT:    calll t6
 132 ; X86-NEXT:    addl $12, %esp
 133 ; X86-NEXT:    retl
 134 ; X86-NEXT:  .LBB6_2: # %bb1
 135 ; X86-NEXT:    addl $12, %esp
 136 ; X86-NEXT:    jmp bar # TAILCALL
 137 ;
 138 ; X64-LABEL: t6:
 139 ; X64:       # %bb.0:
 140 ; X64-NEXT:    cmpl $9, %edi
 141 ; X64-NEXT:    jg .LBB6_2
 142 ; X64-NEXT:  # %bb.1: # %bb
 143 ; X64-NEXT:    decl %edi
 144 ; X64-NEXT:    jmp t6 # TAILCALL
 145 ; X64-NEXT:  .LBB6_2: # %bb1
 146 ; X64-NEXT:    jmp bar # TAILCALL
 147 ;
 148 ; X32-LABEL: t6:
 149 ; X32:       # %bb.0:
 150 ; X32-NEXT:    cmpl $9, %edi
 151 ; X32-NEXT:    jg .LBB6_2
 152 ; X32-NEXT:  # %bb.1: # %bb
 153 ; X32-NEXT:    decl %edi
 154 ; X32-NEXT:    jmp t6 # TAILCALL
 155 ; X32-NEXT:  .LBB6_2: # %bb1
 156 ; X32-NEXT:    jmp bar # TAILCALL
 157   %t0 = icmp slt i32 %x, 10
 158   br i1 %t0, label %bb, label %bb1
 159
 160 bb:
 161   %t1 = add nsw i32 %x, -1
 162   %t2 = tail call i32 @t6(i32 %t1) nounwind ssp
 163   ret i32 %t2
 164
 165 bb1:
 166   %t3 = tail call i32 @bar(i32 %x) nounwind
 167   ret i32 %t3
 168 }
 169
 170 declare dso_local i32 @bar(i32)
 171
 172 define dso_local i32 @t7(i32 %a, i32 %b, i32 %c) nounwind ssp {
 173 ; X86-LABEL: t7:
 174 ; X86:       # %bb.0:
 175 ; X86-NEXT:    jmp bar2 # TAILCALL
 176 ;
 177 ; X64-LABEL: t7:
 178 ; X64:       # %bb.0:
 179 ; X64-NEXT:    jmp bar2 # TAILCALL
 180 ;
 181 ; X32-LABEL: t7:
 182 ; X32:       # %bb.0:
 183 ; X32-NEXT:    jmp bar2 # TAILCALL
 184   %t0 = tail call i32 @bar2(i32 %a, i32 %b, i32 %c) nounwind
 185   ret i32 %t0
 186 }
 187
 188 declare dso_local i32 @bar2(i32, i32, i32)
 189
 190 define signext i16 @t8() nounwind ssp {
 191 ; X86-LABEL: t8:
 192 ; X86:       # %bb.0: # %entry
 193 ; X86-NEXT:    jmp bar3 # TAILCALL
 194 ;
 195 ; X64-LABEL: t8:
 196 ; X64:       # %bb.0: # %entry
 197 ; X64-NEXT:    jmp bar3 # TAILCALL
 198 ;
 199 ; X32-LABEL: t8:
 200 ; X32:       # %bb.0: # %entry
 201 ; X32-NEXT:    jmp bar3 # TAILCALL
 202 entry:
 203   %0 = tail call signext i16 @bar3() nounwind      ; <i16> [#uses=1]
 204   ret i16 %0
 205 }
 206
 207 declare dso_local signext i16 @bar3()
 208
 209 define signext i16 @t9(i32 (i32)* nocapture %x) nounwind ssp {
 210 ; X86-LABEL: t9:
 211 ; X86:       # %bb.0: # %entry
 212 ; X86-NEXT:    subl $12, %esp
 213 ; X86-NEXT:    movl $0, (%esp)
 214 ; X86-NEXT:    calll *{{[0-9]+}}(%esp)
 215 ; X86-NEXT:    addl $12, %esp
 216 ; X86-NEXT:    retl
 217 ;
 218 ; X64-LABEL: t9:
 219 ; X64:       # %bb.0: # %entry
 220 ; X64-NEXT:    movq %rdi, %rax
 221 ; X64-NEXT:    xorl %edi, %edi
 222 ; X64-NEXT:    jmpq *%rax # TAILCALL
 223 ;
 224 ; X32-LABEL: t9:
 225 ; X32:       # %bb.0: # %entry
 226 ; X32-NEXT:    movq %rdi, %rax
 227 ; X32-NEXT:    xorl %edi, %edi
 228 ; X32-NEXT:    jmpq *%rax # TAILCALL
 229 entry:
 230   %0 = bitcast i32 (i32)* %x to i16 (i32)*
 231   %1 = tail call signext i16 %0(i32 0) nounwind
 232   ret i16 %1
 233 }
 234
 235 define dso_local void @t10() nounwind ssp {
 236 ; X86-LABEL: t10:
 237 ; X86:       # %bb.0: # %entry
 238 ; X86-NEXT:    subl $12, %esp
 239 ; X86-NEXT:    calll foo4
 240 ;
 241 ; X64-LABEL: t10:
 242 ; X64:       # %bb.0: # %entry
 243 ; X64-NEXT:    pushq %rax
 244 ; X64-NEXT:    callq foo4
 245 ;
 246 ; X32-LABEL: t10:
 247 ; X32:       # %bb.0: # %entry
 248 ; X32-NEXT:    pushq %rax
 249 ; X32-NEXT:    callq foo4
 250 entry:
 251   %0 = tail call i32 @foo4() noreturn nounwind
 252   unreachable
 253 }
 254
 255 declare dso_local i32 @foo4()
 256
 257 ; In 32-bit mode, it's emitting a bunch of dead loads that are not being
 258 ; eliminated currently.
 259
 260 define dso_local i32 @t11(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind ssp {
 261 ; X86-LABEL: t11:
 262 ; X86:       # %bb.0: # %entry
 263 ; X86-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
 264 ; X86-NEXT:    je .LBB11_1
 265 ; X86-NEXT:  # %bb.2: # %bb
 266 ; X86-NEXT:    jmp foo5 # TAILCALL
 267 ; X86-NEXT:  .LBB11_1: # %bb6
 268 ; X86-NEXT:    xorl %eax, %eax
 269 ; X86-NEXT:    retl
 270 ;
 271 ; X64-LABEL: t11:
 272 ; X64:       # %bb.0: # %entry
 273 ; X64-NEXT:    testl %edi, %edi
 274 ; X64-NEXT:    je .LBB11_1
 275 ; X64-NEXT:  # %bb.2: # %bb
 276 ; X64-NEXT:    jmp foo5 # TAILCALL
 277 ; X64-NEXT:  .LBB11_1: # %bb6
 278 ; X64-NEXT:    xorl %eax, %eax
 279 ; X64-NEXT:    retq
 280 ;
 281 ; X32-LABEL: t11:
 282 ; X32:       # %bb.0: # %entry
 283 ; X32-NEXT:    testl %edi, %edi
 284 ; X32-NEXT:    je .LBB11_1
 285 ; X32-NEXT:  # %bb.2: # %bb
 286 ; X32-NEXT:    jmp foo5 # TAILCALL
 287 ; X32-NEXT:  .LBB11_1: # %bb6
 288 ; X32-NEXT:    xorl %eax, %eax
 289 ; X32-NEXT:    retq
 290 entry:
 291   %0 = icmp eq i32 %x, 0
 292   br i1 %0, label %bb6, label %bb
 293
 294 bb:
 295   %1 = tail call i32 @foo5(i32 %x, i32 %y, i32 %z.0, i32 %z.1, i32 %z.2) nounwind
 296   ret i32 %1
 297
 298 bb6:
 299   ret i32 0
 300 }
 301
 302 declare dso_local i32 @foo5(i32, i32, i32, i32, i32)
 303
 304 %struct.t = type { i32, i32, i32, i32, i32 }
 305
 306 define dso_local i32 @t12(i32 %x, i32 %y, %struct.t* byval(%struct.t) align 4 %z) nounwind ssp {
 307 ; X86-LABEL: t12:
 308 ; X86:       # %bb.0: # %entry
 309 ; X86-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
 310 ; X86-NEXT:    je .LBB12_1
 311 ; X86-NEXT:  # %bb.2: # %bb
 312 ; X86-NEXT:    jmp foo6 # TAILCALL
 313 ; X86-NEXT:  .LBB12_1: # %bb2
 314 ; X86-NEXT:    xorl %eax, %eax
 315 ; X86-NEXT:    retl
 316 ;
 317 ; X64-LABEL: t12:
 318 ; X64:       # %bb.0: # %entry
 319 ; X64-NEXT:    testl %edi, %edi
 320 ; X64-NEXT:    je .LBB12_1
 321 ; X64-NEXT:  # %bb.2: # %bb
 322 ; X64-NEXT:    jmp foo6 # TAILCALL
 323 ; X64-NEXT:  .LBB12_1: # %bb2
 324 ; X64-NEXT:    xorl %eax, %eax
 325 ; X64-NEXT:    retq
 326 ;
 327 ; X32-LABEL: t12:
 328 ; X32:       # %bb.0: # %entry
 329 ; X32-NEXT:    testl %edi, %edi
 330 ; X32-NEXT:    je .LBB12_1
 331 ; X32-NEXT:  # %bb.2: # %bb
 332 ; X32-NEXT:    jmp foo6 # TAILCALL
 333 ; X32-NEXT:  .LBB12_1: # %bb2
 334 ; X32-NEXT:    xorl %eax, %eax
 335 ; X32-NEXT:    retq
 336 entry:
 337   %0 = icmp eq i32 %x, 0
 338   br i1 %0, label %bb2, label %bb
 339
 340 bb:
 341   %1 = tail call i32 @foo6(i32 %x, i32 %y, %struct.t* byval(%struct.t) align 4 %z) nounwind
 342   ret i32 %1
 343
 344 bb2:
 345   ret i32 0
 346 }
 347
 348 declare dso_local i32 @foo6(i32, i32, %struct.t* byval(%struct.t) align 4)
 349
 350 ; rdar://r7717598
 351 %struct.ns = type { i32, i32 }
 352 %struct.cp = type { float, float, float, float, float }
 353
 354 define %struct.ns* @t13(%struct.cp* %yy) nounwind ssp {
 355 ; X86-LABEL: t13:
 356 ; X86:       # %bb.0: # %entry
 357 ; X86-NEXT:    subl $28, %esp
 358 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 359 ; X86-NEXT:    movl 16(%eax), %ecx
 360 ; X86-NEXT:    movl %ecx, {{[0-9]+}}(%esp)
 361 ; X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
 362 ; X86-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
 363 ; X86-NEXT:    movsd %xmm1, {{[0-9]+}}(%esp)
 364 ; X86-NEXT:    movsd %xmm0, (%esp)
 365 ; X86-NEXT:    xorl %ecx, %ecx
 366 ; X86-NEXT:    calll foo7
 367 ; X86-NEXT:    addl $28, %esp
 368 ; X86-NEXT:    retl
 369 ;
 370 ; X64-LABEL: t13:
 371 ; X64:       # %bb.0: # %entry
 372 ; X64-NEXT:    pushq %rax
 373 ; X64-NEXT:    subq $8, %rsp
 374 ; X64-NEXT:    movl 16(%rdi), %eax
 375 ; X64-NEXT:    movq (%rdi), %rcx
 376 ; X64-NEXT:    movq 8(%rdi), %rdx
 377 ; X64-NEXT:    xorl %edi, %edi
 378 ; X64-NEXT:    pushq %rax
 379 ; X64-NEXT:    pushq %rdx
 380 ; X64-NEXT:    pushq %rcx
 381 ; X64-NEXT:    callq foo7
 382 ; X64-NEXT:    addq $32, %rsp
 383 ; X64-NEXT:    popq %rcx
 384 ; X64-NEXT:    retq
 385 ;
 386 ; X32-LABEL: t13:
 387 ; X32:       # %bb.0: # %entry
 388 ; X32-NEXT:    pushq %rax
 389 ; X32-NEXT:    subl $8, %esp
 390 ; X32-NEXT:    movl 16(%edi), %eax
 391 ; X32-NEXT:    movq (%edi), %rcx
 392 ; X32-NEXT:    movq 8(%edi), %rdx
 393 ; X32-NEXT:    xorl %edi, %edi
 394 ; X32-NEXT:    pushq %rax
 395 ; X32-NEXT:    pushq %rdx
 396 ; X32-NEXT:    pushq %rcx
 397 ; X32-NEXT:    callq foo7
 398 ; X32-NEXT:    addl $32, %esp
 399 ; X32-NEXT:    movl %eax, %eax
 400 ; X32-NEXT:    popq %rcx
 401 ; X32-NEXT:    retq
 402 entry:
 403   %0 = tail call fastcc %struct.ns* @foo7(%struct.cp* byval(%struct.cp) align 4 %yy, i8 signext 0) nounwind
 404   ret %struct.ns* %0
 405 }
 406
 407 ; rdar://6195379
 408 ; llvm can't do sibcall for this in 32-bit mode (yet).
 409 declare dso_local fastcc %struct.ns* @foo7(%struct.cp* byval(%struct.cp) align 4, i8 signext) nounwind ssp
 410
 411 %struct.__block_descriptor = type { i64, i64 }
 412 %struct.__block_descriptor_withcopydispose = type { i64, i64, i8*, i8* }
 413 %struct.__block_literal_1 = type { i8*, i32, i32, i8*, %struct.__block_descriptor* }
 414 %struct.__block_literal_2 = type { i8*, i32, i32, i8*, %struct.__block_descriptor_withcopydispose*, void ()* }
 415
 416 define dso_local void @t14(%struct.__block_literal_2* nocapture %.block_descriptor) nounwind ssp {
 417 ; X86-LABEL: t14:
 418 ; X86:       # %bb.0: # %entry
 419 ; X86-NEXT:    subl $12, %esp
 420 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 421 ; X86-NEXT:    movl 20(%eax), %eax
 422 ; X86-NEXT:    movl %eax, (%esp)
 423 ; X86-NEXT:    calll *12(%eax)
 424 ; X86-NEXT:    addl $12, %esp
 425 ; X86-NEXT:    retl
 426 ;
 427 ; X64-LABEL: t14:
 428 ; X64:       # %bb.0: # %entry
 429 ; X64-NEXT:    movq 32(%rdi), %rdi
 430 ; X64-NEXT:    jmpq *16(%rdi) # TAILCALL
 431 ;
 432 ; X32-LABEL: t14:
 433 ; X32:       # %bb.0: # %entry
 434 ; X32-NEXT:    movl 20(%edi), %edi
 435 ; X32-NEXT:    movl 12(%edi), %eax
 436 ; X32-NEXT:    jmpq *%rax # TAILCALL
 437 entry:
 438   %0 = getelementptr inbounds %struct.__block_literal_2, %struct.__block_literal_2* %.block_descriptor, i64 0, i32 5 ; <void ()**> [#uses=1]
 439   %1 = load void ()*, void ()** %0, align 8                 ; <void ()*> [#uses=2]
 440   %2 = bitcast void ()* %1 to %struct.__block_literal_1* ; <%struct.__block_literal_1*> [#uses=1]
 441   %3 = getelementptr inbounds %struct.__block_literal_1, %struct.__block_literal_1* %2, i64 0, i32 3 ; <i8**> [#uses=1]
 442   %4 = load i8*, i8** %3, align 8                      ; <i8*> [#uses=1]
 443   %5 = bitcast i8* %4 to void (i8*)*              ; <void (i8*)*> [#uses=1]
 444   %6 = bitcast void ()* %1 to i8*                 ; <i8*> [#uses=1]
 445   tail call void %5(i8* %6) nounwind
 446   ret void
 447 }
 448
 449 ; rdar://7726868
 450 %struct.foo = type { [4 x i32] }
 451
 452 define dso_local void @t15(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind  {
 453 ; X86-LABEL: t15:
 454 ; X86:       # %bb.0:
 455 ; X86-NEXT:    pushl %esi
 456 ; X86-NEXT:    subl $8, %esp
 457 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 458 ; X86-NEXT:    movl %esi, %ecx
 459 ; X86-NEXT:    calll f
 460 ; X86-NEXT:    movl %esi, %eax
 461 ; X86-NEXT:    addl $8, %esp
 462 ; X86-NEXT:    popl %esi
 463 ; X86-NEXT:    retl $4
 464 ;
 465 ; X64-LABEL: t15:
 466 ; X64:       # %bb.0:
 467 ; X64-NEXT:    pushq %rbx
 468 ; X64-NEXT:    movq %rdi, %rbx
 469 ; X64-NEXT:    callq f
 470 ; X64-NEXT:    movq %rbx, %rax
 471 ; X64-NEXT:    popq %rbx
 472 ; X64-NEXT:    retq
 473 ;
 474 ; X32-LABEL: t15:
 475 ; X32:       # %bb.0:
 476 ; X32-NEXT:    pushq %rbx
 477 ; X32-NEXT:    movq %rdi, %rbx
 478 ; X32-NEXT:    callq f
 479 ; X32-NEXT:    movl %ebx, %eax
 480 ; X32-NEXT:    popq %rbx
 481 ; X32-NEXT:    retq
 482   tail call fastcc void @f(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind
 483   ret void
 484 }
 485
 486 declare dso_local void @f(%struct.foo* noalias sret(%struct.foo)) nounwind
 487
 488 define dso_local void @t16() nounwind ssp {
 489 ; X86-LABEL: t16:
 490 ; X86:       # %bb.0: # %entry
 491 ; X86-NEXT:    subl $12, %esp
 492 ; X86-NEXT:    calll bar4
 493 ; X86-NEXT:    fstp %st(0)
 494 ; X86-NEXT:    addl $12, %esp
 495 ; X86-NEXT:    retl
 496 ;
 497 ; X64-LABEL: t16:
 498 ; X64:       # %bb.0: # %entry
 499 ; X64-NEXT:    jmp bar4 # TAILCALL
 500 ;
 501 ; X32-LABEL: t16:
 502 ; X32:       # %bb.0: # %entry
 503 ; X32-NEXT:    jmp bar4 # TAILCALL
 504 entry:
 505   %0 = tail call double @bar4() nounwind
 506   ret void
 507 }
 508
 509 declare dso_local double @bar4()
 510
 511 ; rdar://6283267
 512 define dso_local void @t17() nounwind ssp {
 513 ; X86-LABEL: t17:
 514 ; X86:       # %bb.0: # %entry
 515 ; X86-NEXT:    jmp bar5 # TAILCALL
 516 ;
 517 ; X64-LABEL: t17:
 518 ; X64:       # %bb.0: # %entry
 519 ; X64-NEXT:    xorl %eax, %eax
 520 ; X64-NEXT:    jmp bar5 # TAILCALL
 521 ;
 522 ; X32-LABEL: t17:
 523 ; X32:       # %bb.0: # %entry
 524 ; X32-NEXT:    xorl %eax, %eax
 525 ; X32-NEXT:    jmp bar5 # TAILCALL
 526 entry:
 527   tail call void (...) @bar5() nounwind
 528   ret void
 529 }
 530
 531 declare dso_local void @bar5(...)
 532
 533 ; rdar://7774847
 534 define dso_local void @t18() nounwind ssp {
 535 ; X86-LABEL: t18:
 536 ; X86:       # %bb.0: # %entry
 537 ; X86-NEXT:    subl $12, %esp
 538 ; X86-NEXT:    calll bar6
 539 ; X86-NEXT:    fstp %st(0)
 540 ; X86-NEXT:    addl $12, %esp
 541 ; X86-NEXT:    retl
 542 ;
 543 ; X64-LABEL: t18:
 544 ; X64:       # %bb.0: # %entry
 545 ; X64-NEXT:    xorl %eax, %eax
 546 ; X64-NEXT:    jmp bar6 # TAILCALL
 547 ;
 548 ; X32-LABEL: t18:
 549 ; X32:       # %bb.0: # %entry
 550 ; X32-NEXT:    xorl %eax, %eax
 551 ; X32-NEXT:    jmp bar6 # TAILCALL
 552 entry:
 553   %0 = tail call double (...) @bar6() nounwind
 554   ret void
 555 }
 556
 557 declare dso_local double @bar6(...)
 558
 559 define dso_local void @t19() alignstack(32) nounwind {
 560 ; X86-LABEL: t19:
 561 ; X86:       # %bb.0: # %entry
 562 ; X86-NEXT:    pushl %ebp
 563 ; X86-NEXT:    movl %esp, %ebp
 564 ; X86-NEXT:    andl $-32, %esp
 565 ; X86-NEXT:    subl $32, %esp
 566 ; X86-NEXT:    calll foo
 567 ; X86-NEXT:    movl %ebp, %esp
 568 ; X86-NEXT:    popl %ebp
 569 ; X86-NEXT:    retl
 570 ;
 571 ; X64-LABEL: t19:
 572 ; X64:       # %bb.0: # %entry
 573 ; X64-NEXT:    pushq %rbp
 574 ; X64-NEXT:    movq %rsp, %rbp
 575 ; X64-NEXT:    andq $-32, %rsp
 576 ; X64-NEXT:    subq $32, %rsp
 577 ; X64-NEXT:    callq foo
 578 ; X64-NEXT:    movq %rbp, %rsp
 579 ; X64-NEXT:    popq %rbp
 580 ; X64-NEXT:    retq
 581 ;
 582 ; X32-LABEL: t19:
 583 ; X32:       # %bb.0: # %entry
 584 ; X32-NEXT:    pushq %rbp
 585 ; X32-NEXT:    movl %esp, %ebp
 586 ; X32-NEXT:    andl $-32, %esp
 587 ; X32-NEXT:    subl $32, %esp
 588 ; X32-NEXT:    callq foo
 589 ; X32-NEXT:    movl %ebp, %esp
 590 ; X32-NEXT:    popq %rbp
 591 ; X32-NEXT:    retq
 592 entry:
 593   tail call void @foo() nounwind
 594   ret void
 595 }
 596
 597 ; If caller / callee calling convention mismatch then check if the return
 598 ; values are returned in the same registers.
 599 ; rdar://7874780
 600
 601 define dso_local double @t20(double %x) nounwind {
 602 ; X86-LABEL: t20:
 603 ; X86:       # %bb.0: # %entry
 604 ; X86-NEXT:    subl $12, %esp
 605 ; X86-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
 606 ; X86-NEXT:    calll foo20
 607 ; X86-NEXT:    movsd %xmm0, (%esp)
 608 ; X86-NEXT:    fldl (%esp)
 609 ; X86-NEXT:    addl $12, %esp
 610 ; X86-NEXT:    retl
 611 ;
 612 ; X64-LABEL: t20:
 613 ; X64:       # %bb.0: # %entry
 614 ; X64-NEXT:    jmp foo20 # TAILCALL
 615 ;
 616 ; X32-LABEL: t20:
 617 ; X32:       # %bb.0: # %entry
 618 ; X32-NEXT:    jmp foo20 # TAILCALL
 619 entry:
 620   %0 = tail call fastcc double @foo20(double %x) nounwind
 621   ret double %0
 622 }
 623
 624 declare dso_local fastcc double @foo20(double) nounwind
 625
 626 ; bug 28417
 627 define fastcc void @t21_sret_to_sret(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind  {
 628 ; X86-LABEL: t21_sret_to_sret:
 629 ; X86:       # %bb.0:
 630 ; X86-NEXT:    pushl %esi
 631 ; X86-NEXT:    subl $8, %esp
 632 ; X86-NEXT:    movl %ecx, %esi
 633 ; X86-NEXT:    calll t21_f_sret
 634 ; X86-NEXT:    movl %esi, %eax
 635 ; X86-NEXT:    addl $8, %esp
 636 ; X86-NEXT:    popl %esi
 637 ; X86-NEXT:    retl
 638 ;
 639 ; X64-LABEL: t21_sret_to_sret:
 640 ; X64:       # %bb.0:
 641 ; X64-NEXT:    pushq %rbx
 642 ; X64-NEXT:    movq %rdi, %rbx
 643 ; X64-NEXT:    callq t21_f_sret
 644 ; X64-NEXT:    movq %rbx, %rax
 645 ; X64-NEXT:    popq %rbx
 646 ; X64-NEXT:    retq
 647 ;
 648 ; X32-LABEL: t21_sret_to_sret:
 649 ; X32:       # %bb.0:
 650 ; X32-NEXT:    pushq %rbx
 651 ; X32-NEXT:    movq %rdi, %rbx
 652 ; X32-NEXT:    callq t21_f_sret
 653 ; X32-NEXT:    movl %ebx, %eax
 654 ; X32-NEXT:    popq %rbx
 655 ; X32-NEXT:    retq
 656   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind
 657   ret void
 658 }
 659
 660 define fastcc void @t21_sret_to_sret_alloca(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind  {
 661 ; X86-LABEL: t21_sret_to_sret_alloca:
 662 ; X86:       # %bb.0:
 663 ; X86-NEXT:    pushl %esi
 664 ; X86-NEXT:    subl $24, %esp
 665 ; X86-NEXT:    movl %ecx, %esi
 666 ; X86-NEXT:    leal {{[0-9]+}}(%esp), %ecx
 667 ; X86-NEXT:    calll t21_f_sret
 668 ; X86-NEXT:    movl %esi, %eax
 669 ; X86-NEXT:    addl $24, %esp
 670 ; X86-NEXT:    popl %esi
 671 ; X86-NEXT:    retl
 672 ;
 673 ; X64-LABEL: t21_sret_to_sret_alloca:
 674 ; X64:       # %bb.0:
 675 ; X64-NEXT:    pushq %rbx
 676 ; X64-NEXT:    subq $16, %rsp
 677 ; X64-NEXT:    movq %rdi, %rbx
 678 ; X64-NEXT:    movq %rsp, %rdi
 679 ; X64-NEXT:    callq t21_f_sret
 680 ; X64-NEXT:    movq %rbx, %rax
 681 ; X64-NEXT:    addq $16, %rsp
 682 ; X64-NEXT:    popq %rbx
 683 ; X64-NEXT:    retq
 684 ;
 685 ; X32-LABEL: t21_sret_to_sret_alloca:
 686 ; X32:       # %bb.0:
 687 ; X32-NEXT:    pushq %rbx
 688 ; X32-NEXT:    subl $16, %esp
 689 ; X32-NEXT:    movq %rdi, %rbx
 690 ; X32-NEXT:    movl %esp, %edi
 691 ; X32-NEXT:    callq t21_f_sret
 692 ; X32-NEXT:    movl %ebx, %eax
 693 ; X32-NEXT:    addl $16, %esp
 694 ; X32-NEXT:    popq %rbx
 695 ; X32-NEXT:    retq
 696   %a = alloca %struct.foo, align 8
 697   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %a) nounwind
 698   ret void
 699 }
 700
 701 define fastcc void @t21_sret_to_sret_more_args(%struct.foo* noalias sret(%struct.foo) %agg.result, i32 %a, i32 %b) nounwind  {
 702 ; X86-LABEL: t21_sret_to_sret_more_args:
 703 ; X86:       # %bb.0:
 704 ; X86-NEXT:    pushl %esi
 705 ; X86-NEXT:    subl $8, %esp
 706 ; X86-NEXT:    movl %ecx, %esi
 707 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 708 ; X86-NEXT:    movl %eax, (%esp)
 709 ; X86-NEXT:    calll f_sret@PLT
 710 ; X86-NEXT:    movl %esi, %eax
 711 ; X86-NEXT:    addl $8, %esp
 712 ; X86-NEXT:    popl %esi
 713 ; X86-NEXT:    retl
 714 ;
 715 ; X64-LABEL: t21_sret_to_sret_more_args:
 716 ; X64:       # %bb.0:
 717 ; X64-NEXT:    pushq %rbx
 718 ; X64-NEXT:    movq %rdi, %rbx
 719 ; X64-NEXT:    callq f_sret@PLT
 720 ; X64-NEXT:    movq %rbx, %rax
 721 ; X64-NEXT:    popq %rbx
 722 ; X64-NEXT:    retq
 723 ;
 724 ; X32-LABEL: t21_sret_to_sret_more_args:
 725 ; X32:       # %bb.0:
 726 ; X32-NEXT:    pushq %rbx
 727 ; X32-NEXT:    movq %rdi, %rbx
 728 ; X32-NEXT:    callq f_sret@PLT
 729 ; X32-NEXT:    movl %ebx, %eax
 730 ; X32-NEXT:    popq %rbx
 731 ; X32-NEXT:    retq
 732   tail call fastcc void @f_sret(%struct.foo* noalias sret(%struct.foo) %agg.result, i32 %a, i32 %b) nounwind
 733   ret void
 734 }
 735
 736 define fastcc void @t21_sret_to_sret_second_arg_sret(%struct.foo* noalias %agg.result, %struct.foo* noalias sret(%struct.foo) %ret) nounwind  {
 737 ; X86-LABEL: t21_sret_to_sret_second_arg_sret:
 738 ; X86:       # %bb.0:
 739 ; X86-NEXT:    pushl %esi
 740 ; X86-NEXT:    subl $8, %esp
 741 ; X86-NEXT:    movl %edx, %esi
 742 ; X86-NEXT:    movl %edx, %ecx
 743 ; X86-NEXT:    calll t21_f_sret
 744 ; X86-NEXT:    movl %esi, %eax
 745 ; X86-NEXT:    addl $8, %esp
 746 ; X86-NEXT:    popl %esi
 747 ; X86-NEXT:    retl
 748 ;
 749 ; X64-LABEL: t21_sret_to_sret_second_arg_sret:
 750 ; X64:       # %bb.0:
 751 ; X64-NEXT:    pushq %rbx
 752 ; X64-NEXT:    movq %rsi, %rbx
 753 ; X64-NEXT:    movq %rsi, %rdi
 754 ; X64-NEXT:    callq t21_f_sret
 755 ; X64-NEXT:    movq %rbx, %rax
 756 ; X64-NEXT:    popq %rbx
 757 ; X64-NEXT:    retq
 758 ;
 759 ; X32-LABEL: t21_sret_to_sret_second_arg_sret:
 760 ; X32:       # %bb.0:
 761 ; X32-NEXT:    pushq %rbx
 762 ; X32-NEXT:    movq %rsi, %rbx
 763 ; X32-NEXT:    movq %rsi, %rdi
 764 ; X32-NEXT:    callq t21_f_sret
 765 ; X32-NEXT:    movl %ebx, %eax
 766 ; X32-NEXT:    popq %rbx
 767 ; X32-NEXT:    retq
 768   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %ret) nounwind
 769   ret void
 770 }
 771
 772 define fastcc void @t21_sret_to_sret_more_args2(%struct.foo* noalias sret(%struct.foo) %agg.result, i32 %a, i32 %b) nounwind  {
 773 ; X86-LABEL: t21_sret_to_sret_more_args2:
 774 ; X86:       # %bb.0:
 775 ; X86-NEXT:    pushl %esi
 776 ; X86-NEXT:    subl $8, %esp
 777 ; X86-NEXT:    movl %ecx, %esi
 778 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 779 ; X86-NEXT:    movl %edx, (%esp)
 780 ; X86-NEXT:    movl %eax, %edx
 781 ; X86-NEXT:    calll f_sret@PLT
 782 ; X86-NEXT:    movl %esi, %eax
 783 ; X86-NEXT:    addl $8, %esp
 784 ; X86-NEXT:    popl %esi
 785 ; X86-NEXT:    retl
 786 ;
 787 ; X64-LABEL: t21_sret_to_sret_more_args2:
 788 ; X64:       # %bb.0:
 789 ; X64-NEXT:    pushq %rbx
 790 ; X64-NEXT:    movl %esi, %eax
 791 ; X64-NEXT:    movq %rdi, %rbx
 792 ; X64-NEXT:    movl %edx, %esi
 793 ; X64-NEXT:    movl %eax, %edx
 794 ; X64-NEXT:    callq f_sret@PLT
 795 ; X64-NEXT:    movq %rbx, %rax
 796 ; X64-NEXT:    popq %rbx
 797 ; X64-NEXT:    retq
 798 ;
 799 ; X32-LABEL: t21_sret_to_sret_more_args2:
 800 ; X32:       # %bb.0:
 801 ; X32-NEXT:    pushq %rbx
 802 ; X32-NEXT:    movl %esi, %eax
 803 ; X32-NEXT:    movq %rdi, %rbx
 804 ; X32-NEXT:    movl %edx, %esi
 805 ; X32-NEXT:    movl %eax, %edx
 806 ; X32-NEXT:    callq f_sret@PLT
 807 ; X32-NEXT:    movl %ebx, %eax
 808 ; X32-NEXT:    popq %rbx
 809 ; X32-NEXT:    retq
 810   tail call fastcc void @f_sret(%struct.foo* noalias sret(%struct.foo) %agg.result, i32 %b, i32 %a) nounwind
 811   ret void
 812 }
 813
 814
 815 define fastcc void @t21_sret_to_sret_args_mismatch(%struct.foo* noalias sret(%struct.foo) %agg.result, %struct.foo* noalias %ret) nounwind  {
 816 ; X86-LABEL: t21_sret_to_sret_args_mismatch:
 817 ; X86:       # %bb.0:
 818 ; X86-NEXT:    pushl %esi
 819 ; X86-NEXT:    subl $8, %esp
 820 ; X86-NEXT:    movl %ecx, %esi
 821 ; X86-NEXT:    movl %edx, %ecx
 822 ; X86-NEXT:    calll t21_f_sret
 823 ; X86-NEXT:    movl %esi, %eax
 824 ; X86-NEXT:    addl $8, %esp
 825 ; X86-NEXT:    popl %esi
 826 ; X86-NEXT:    retl
 827 ;
 828 ; X64-LABEL: t21_sret_to_sret_args_mismatch:
 829 ; X64:       # %bb.0:
 830 ; X64-NEXT:    pushq %rbx
 831 ; X64-NEXT:    movq %rdi, %rbx
 832 ; X64-NEXT:    movq %rsi, %rdi
 833 ; X64-NEXT:    callq t21_f_sret
 834 ; X64-NEXT:    movq %rbx, %rax
 835 ; X64-NEXT:    popq %rbx
 836 ; X64-NEXT:    retq
 837 ;
 838 ; X32-LABEL: t21_sret_to_sret_args_mismatch:
 839 ; X32:       # %bb.0:
 840 ; X32-NEXT:    pushq %rbx
 841 ; X32-NEXT:    movq %rdi, %rbx
 842 ; X32-NEXT:    movq %rsi, %rdi
 843 ; X32-NEXT:    callq t21_f_sret
 844 ; X32-NEXT:    movl %ebx, %eax
 845 ; X32-NEXT:    popq %rbx
 846 ; X32-NEXT:    retq
 847   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %ret) nounwind
 848   ret void
 849 }
 850
 851 define fastcc void @t21_sret_to_sret_args_mismatch2(%struct.foo* noalias sret(%struct.foo) %agg.result, %struct.foo* noalias %ret) nounwind  {
 852 ; X86-LABEL: t21_sret_to_sret_args_mismatch2:
 853 ; X86:       # %bb.0:
 854 ; X86-NEXT:    pushl %esi
 855 ; X86-NEXT:    subl $8, %esp
 856 ; X86-NEXT:    movl %ecx, %esi
 857 ; X86-NEXT:    movl %edx, %ecx
 858 ; X86-NEXT:    calll t21_f_sret
 859 ; X86-NEXT:    movl %esi, %eax
 860 ; X86-NEXT:    addl $8, %esp
 861 ; X86-NEXT:    popl %esi
 862 ; X86-NEXT:    retl
 863 ;
 864 ; X64-LABEL: t21_sret_to_sret_args_mismatch2:
 865 ; X64:       # %bb.0:
 866 ; X64-NEXT:    pushq %rbx
 867 ; X64-NEXT:    movq %rdi, %rbx
 868 ; X64-NEXT:    movq %rsi, %rdi
 869 ; X64-NEXT:    callq t21_f_sret
 870 ; X64-NEXT:    movq %rbx, %rax
 871 ; X64-NEXT:    popq %rbx
 872 ; X64-NEXT:    retq
 873 ;
 874 ; X32-LABEL: t21_sret_to_sret_args_mismatch2:
 875 ; X32:       # %bb.0:
 876 ; X32-NEXT:    pushq %rbx
 877 ; X32-NEXT:    movq %rdi, %rbx
 878 ; X32-NEXT:    movq %rsi, %rdi
 879 ; X32-NEXT:    callq t21_f_sret
 880 ; X32-NEXT:    movl %ebx, %eax
 881 ; X32-NEXT:    popq %rbx
 882 ; X32-NEXT:    retq
 883   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %ret) nounwind
 884   ret void
 885 }
 886
 887 define fastcc void @t21_sret_to_sret_arg_mismatch(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind  {
 888 ; X86-LABEL: t21_sret_to_sret_arg_mismatch:
 889 ; X86:       # %bb.0:
 890 ; X86-NEXT:    pushl %esi
 891 ; X86-NEXT:    subl $8, %esp
 892 ; X86-NEXT:    movl %ecx, %esi
 893 ; X86-NEXT:    calll ret_struct@PLT
 894 ; X86-NEXT:    movl %eax, %ecx
 895 ; X86-NEXT:    calll t21_f_sret
 896 ; X86-NEXT:    movl %esi, %eax
 897 ; X86-NEXT:    addl $8, %esp
 898 ; X86-NEXT:    popl %esi
 899 ; X86-NEXT:    retl
 900 ;
 901 ; X64-LABEL: t21_sret_to_sret_arg_mismatch:
 902 ; X64:       # %bb.0:
 903 ; X64-NEXT:    pushq %rbx
 904 ; X64-NEXT:    movq %rdi, %rbx
 905 ; X64-NEXT:    callq ret_struct@PLT
 906 ; X64-NEXT:    movq %rax, %rdi
 907 ; X64-NEXT:    callq t21_f_sret
 908 ; X64-NEXT:    movq %rbx, %rax
 909 ; X64-NEXT:    popq %rbx
 910 ; X64-NEXT:    retq
 911 ;
 912 ; X32-LABEL: t21_sret_to_sret_arg_mismatch:
 913 ; X32:       # %bb.0:
 914 ; X32-NEXT:    pushq %rbx
 915 ; X32-NEXT:    movq %rdi, %rbx
 916 ; X32-NEXT:    callq ret_struct@PLT
 917 ; X32-NEXT:    movl %eax, %edi
 918 ; X32-NEXT:    callq t21_f_sret
 919 ; X32-NEXT:    movl %ebx, %eax
 920 ; X32-NEXT:    popq %rbx
 921 ; X32-NEXT:    retq
 922   %a = call fastcc %struct.foo* @ret_struct()
 923   tail call fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo) %a) nounwind
 924   ret void
 925 }
 926
 927 define fastcc void @t21_sret_to_sret_structs_mismatch(%struct.foo* noalias sret(%struct.foo) %agg.result, %struct.foo* noalias %a) nounwind  {
 928 ; X86-LABEL: t21_sret_to_sret_structs_mismatch:
 929 ; X86:       # %bb.0:
 930 ; X86-NEXT:    pushl %edi
 931 ; X86-NEXT:    pushl %esi
 932 ; X86-NEXT:    pushl %eax
 933 ; X86-NEXT:    movl %edx, %esi
 934 ; X86-NEXT:    movl %ecx, %edi
 935 ; X86-NEXT:    calll ret_struct@PLT
 936 ; X86-NEXT:    movl %esi, %ecx
 937 ; X86-NEXT:    movl %eax, %edx
 938 ; X86-NEXT:    calll t21_f_sret2
 939 ; X86-NEXT:    movl %edi, %eax
 940 ; X86-NEXT:    addl $4, %esp
 941 ; X86-NEXT:    popl %esi
 942 ; X86-NEXT:    popl %edi
 943 ; X86-NEXT:    retl
 944 ;
 945 ; X64-LABEL: t21_sret_to_sret_structs_mismatch:
 946 ; X64:       # %bb.0:
 947 ; X64-NEXT:    pushq %r14
 948 ; X64-NEXT:    pushq %rbx
 949 ; X64-NEXT:    pushq %rax
 950 ; X64-NEXT:    movq %rsi, %rbx
 951 ; X64-NEXT:    movq %rdi, %r14
 952 ; X64-NEXT:    callq ret_struct@PLT
 953 ; X64-NEXT:    movq %rbx, %rdi
 954 ; X64-NEXT:    movq %rax, %rsi
 955 ; X64-NEXT:    callq t21_f_sret2
 956 ; X64-NEXT:    movq %r14, %rax
 957 ; X64-NEXT:    addq $8, %rsp
 958 ; X64-NEXT:    popq %rbx
 959 ; X64-NEXT:    popq %r14
 960 ; X64-NEXT:    retq
 961 ;
 962 ; X32-LABEL: t21_sret_to_sret_structs_mismatch:
 963 ; X32:       # %bb.0:
 964 ; X32-NEXT:    pushq %r14
 965 ; X32-NEXT:    pushq %rbx
 966 ; X32-NEXT:    pushq %rax
 967 ; X32-NEXT:    movq %rsi, %rbx
 968 ; X32-NEXT:    movq %rdi, %r14
 969 ; X32-NEXT:    callq ret_struct@PLT
 970 ; X32-NEXT:    movl %eax, %esi
 971 ; X32-NEXT:    movq %rbx, %rdi
 972 ; X32-NEXT:    callq t21_f_sret2
 973 ; X32-NEXT:    movl %r14d, %eax
 974 ; X32-NEXT:    addl $8, %esp
 975 ; X32-NEXT:    popq %rbx
 976 ; X32-NEXT:    popq %r14
 977 ; X32-NEXT:    retq
 978   %b = call fastcc %struct.foo* @ret_struct()
 979   tail call fastcc void @t21_f_sret2(%struct.foo* noalias sret(%struct.foo) %a, %struct.foo* noalias %b) nounwind
 980   ret void
 981 }
 982
 983 declare ccc %struct.foo* @ret_struct() nounwind
 984
 985
 986 define fastcc void @t21_sret_to_non_sret(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind  {
 987 ; X86-LABEL: t21_sret_to_non_sret:
 988 ; X86:       # %bb.0:
 989 ; X86-NEXT:    pushl %esi
 990 ; X86-NEXT:    subl $8, %esp
 991 ; X86-NEXT:    movl %ecx, %esi
 992 ; X86-NEXT:    calll t21_f_non_sret
 993 ; X86-NEXT:    movl %esi, %eax
 994 ; X86-NEXT:    addl $8, %esp
 995 ; X86-NEXT:    popl %esi
 996 ; X86-NEXT:    retl
 997 ;
 998 ; X64-LABEL: t21_sret_to_non_sret:
 999 ; X64:       # %bb.0:
1000 ; X64-NEXT:    pushq %rbx
1001 ; X64-NEXT:    movq %rdi, %rbx
1002 ; X64-NEXT:    callq t21_f_non_sret
1003 ; X64-NEXT:    movq %rbx, %rax
1004 ; X64-NEXT:    popq %rbx
1005 ; X64-NEXT:    retq
1006 ;
1007 ; X32-LABEL: t21_sret_to_non_sret:
1008 ; X32:       # %bb.0:
1009 ; X32-NEXT:    pushq %rbx
1010 ; X32-NEXT:    movq %rdi, %rbx
1011 ; X32-NEXT:    callq t21_f_non_sret
1012 ; X32-NEXT:    movl %ebx, %eax
1013 ; X32-NEXT:    popq %rbx
1014 ; X32-NEXT:    retq
1015   tail call fastcc void @t21_f_non_sret(%struct.foo* %agg.result) nounwind
1016   ret void
1017 }
1018
1019
1020 define ccc void @t22_non_sret_to_sret(%struct.foo* %agg.result) nounwind  {
1021 ; X86-LABEL: t22_non_sret_to_sret:
1022 ; X86:       # %bb.0:
1023 ; X86-NEXT:    subl $12, %esp
1024 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
1025 ; X86-NEXT:    movl %eax, (%esp)
1026 ; X86-NEXT:    calll t22_f_sret@PLT
1027 ; X86-NEXT:    addl $8, %esp
1028 ; X86-NEXT:    retl
1029 ;
1030 ; X64-LABEL: t22_non_sret_to_sret:
1031 ; X64:       # %bb.0:
1032 ; X64-NEXT:    pushq %rax
1033 ; X64-NEXT:    callq t22_f_sret@PLT
1034 ; X64-NEXT:    popq %rax
1035 ; X64-NEXT:    retq
1036 ;
1037 ; X32-LABEL: t22_non_sret_to_sret:
1038 ; X32:       # %bb.0:
1039 ; X32-NEXT:    pushq %rax
1040 ; X32-NEXT:    callq t22_f_sret@PLT
1041 ; X32-NEXT:    popq %rax
1042 ; X32-NEXT:    retq
1043   tail call ccc void @t22_f_sret(%struct.foo* noalias sret(%struct.foo) %agg.result) nounwind
1044   ret void
1045 }
1046
1047 declare dso_local fastcc void @t21_f_sret(%struct.foo* noalias sret(%struct.foo)) nounwind
1048 declare dso_local fastcc void @t21_f_sret2(%struct.foo* noalias sret(%struct.foo), %struct.foo* noalias) nounwind
1049 declare dso_local fastcc void @t21_f_non_sret(%struct.foo*) nounwind
1050
1051 declare ccc void @t22_f_sret(%struct.foo* noalias sret(%struct.foo)) nounwind
1052
1053 declare ccc void @f_sret(%struct.foo* noalias sret(%struct.foo), i32, i32) nounwind