llvm/test/CodeGen/AArch64/funclet-match-add-sub-stack.ll

   1 ; RUN: llc -o - %s -mtriple=aarch64-windows | FileCheck %s
   2 ; Check that the stack bump around a funclet is computed correctly in both the
   3 ; prologue and epilogue in the case we have a MaxCallFrameSize > 0 and are doing alloca
   4 target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
   5 target triple = "aarch64-pc-windows-msvc19.25.28611"
   6
   7 ; // requires passing arguments on the stack
   8 ; void test2(ptr, int, int, int, int, int, int, int, int);
   9 ;
  10 ; // function with the funclet being checked
  11 ; void test1(size_t bytes)
  12 ; {
  13 ;   // alloca forces a separate callee save bump and stack bump
  14 ;   ptr data = _alloca(bytes);
  15 ;   try {
  16 ;     test2(data, 0, 1, 2, 3, 4, 5, 6, 7);
  17 ;   } catch (...) {
  18 ;     // the funclet being checked
  19 ;   }
  20 ; }
  21
  22 ; CHECK-LABEL: ?catch$2@?0??test1@@YAX_K@Z@4HA
  23 ; CHECK: sub sp, sp, #16
  24 ; CHECK: add sp, sp, #16
  25 ; Function Attrs: uwtable
  26 define dso_local void @"?test1@@YAX_K@Z"(i64 %0) #0 personality ptr @__CxxFrameHandler3 {
  27   %2 = alloca i64, align 8
  28   %3 = alloca ptr, align 8
  29   store i64 %0, ptr %2, align 8
  30   %4 = load i64, ptr %2, align 8
  31   %5 = alloca i8, i64 %4, align 16
  32   store ptr %5, ptr %3, align 8
  33   %6 = load ptr, ptr %3, align 8
  34   invoke void @"?test2@@YAXPEAXHHHHHHHH@Z"(ptr %6, i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7)
  35           to label %13 unwind label %7
  36
  37 7:                                                ; preds = %1
  38   %8 = catchswitch within none [label %9] unwind to caller
  39
  40 9:                                                ; preds = %7
  41   %10 = catchpad within %8 [ptr null, i32 64, ptr null]
  42   catchret from %10 to label %11
  43
  44 11:                                               ; preds = %9
  45   br label %12
  46
  47 12:                                               ; preds = %11, %13
  48   ret void
  49
  50 13:                                               ; preds = %1
  51   br label %12
  52 }
  53
  54 declare dso_local void @"?test2@@YAXPEAXHHHHHHHH@Z"(ptr, i32, i32, i32, i32, i32, i32, i32, i32) #1
  55
  56 declare dso_local i32 @__CxxFrameHandler3(...)
  57
  58 attributes #0 = { uwtable }
  59
  60 !llvm.module.flags = !{!0}
  61
  62 !0 = !{i32 1, !"wchar_size", i32 2}