llvm/test/CodeGen/X86/musttail-inalloca.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc %s -o - | FileCheck %s
   3
   4 ; Previously, we would accidentally leave behind SP adjustments to setup a call
   5 ; frame for the musttail call target, and SP adjustments would end up
   6 ; unbalanced. Reported as https://crbug.com/1026882.
   7
   8 target datalayout = "e-m:x-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:32-n8:16:32-a:0:32-S32"
   9 target triple = "i386-pc-windows-msvc19.16.0"
  10
  11 ; 20 bytes of memory.
  12 %struct.Args = type { i32, i32, i32, i32, i32 }
  13
  14 declare dso_local x86_thiscallcc void @methodWithVtorDisp(ptr nocapture readonly, ptr inalloca(<{ %struct.Args }>))
  15
  16 ; Function Attrs: nounwind optsize
  17 define dso_local x86_thiscallcc void @methodWithVtorDisp_thunk(ptr %0, ptr inalloca(<{ %struct.Args }>) %1) #0 {
  18 ; CHECK-LABEL: methodWithVtorDisp_thunk:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    pushl %esi
  21 ; CHECK-NEXT:    movl %ecx, %esi
  22 ; CHECK-NEXT:    subl -4(%ecx), %esi
  23 ; CHECK-NEXT:    pushl {{[0-9]+}}(%esp)
  24 ; CHECK-NEXT:    pushl $_methodWithVtorDisp_thunk
  25 ; CHECK-NEXT:    calll ___cyg_profile_func_exit
  26 ; CHECK-NEXT:    addl $8, %esp
  27 ; CHECK-NEXT:    movl %esi, %ecx
  28 ; CHECK-NEXT:    popl %esi
  29 ; CHECK-NEXT:    jmp _methodWithVtorDisp # TAILCALL
  30   %3 = getelementptr inbounds i8, ptr %0, i32 -4
  31   %4 = load i32, ptr %3, align 4
  32   %5 = sub i32 0, %4
  33   %6 = getelementptr i8, ptr %0, i32 %5
  34   %7 = call ptr @llvm.returnaddress(i32 0)
  35   call void @__cyg_profile_func_exit(ptr @methodWithVtorDisp_thunk, ptr %7)
  36   musttail call x86_thiscallcc void @methodWithVtorDisp(ptr %6, ptr inalloca(<{ %struct.Args }>) nonnull %1)
  37   ret void
  38 }
  39
  40 declare void @__cyg_profile_func_exit(ptr, ptr)
  41
  42 ; Function Attrs: nofree nosync nounwind readnone willreturn
  43 declare ptr @llvm.returnaddress(i32 immarg) #1
  44
  45 attributes #0 = { nounwind optsize }
  46 attributes #1 = { nofree nosync nounwind readnone willreturn }