llvm/test/CodeGen/AArch64/wineh-try-catch-realign.ll

   1 ; RUN: llc -o - %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s
   2
   3 ; Make sure we have a base pointer.
   4 ; CHECK-LABEL: "?a@@YAXXZ":
   5 ; CHECK: and     sp, x9, #0xffffffffffffffc0
   6 ; CHECK: mov     x19, sp
   7
   8 ; Make sure the funclet prologue/epilogue are correct: specifically,
   9 ; it shouldn't access the parent's frame via sp, and the prologue and
  10 ; epilogue should be symmetrical.
  11 ; CHECK-LABEL: "?catch$2@?0??a@@YAXXZ@4HA":
  12 ; CHECK:      str     x19, [sp, #-32]!
  13 ; CHECK-NEXT: .seh_save_reg_x x19, 32
  14 ; CHECK-NEXT: str     x28, [sp, #8]
  15 ; CHECK-NEXT: .seh_save_reg x28, 8
  16 ; CHECK-NEXT: stp     x29, x30, [sp, #16]
  17 ; CHECK-NEXT: .seh_save_fplr 16
  18 ; CHECK-NEXT: .seh_endprologue
  19 ; CHECK-NEXT: add     x0, x19, #0
  20 ; CHECK-NEXT: mov     w1, wzr
  21 ; CHECK-NEXT: bl      "?bb@@YAXPEAHH@Z"
  22 ; CHECK-NEXT: adrp    x0, .LBB0_1
  23 ; CHECK-NEXT: add     x0, x0, .LBB0_1
  24 ; CHECK-NEXT: .seh_startepilogue
  25 ; CHECK-NEXT: ldp     x29, x30, [sp, #16]
  26 ; CHECK-NEXT: .seh_save_fplr 16
  27 ; CHECK-NEXT: ldr     x28, [sp, #8]
  28 ; CHECK-NEXT: .seh_save_reg x28, 8
  29 ; CHECK-NEXT: ldr     x19, [sp], #32
  30 ; CHECK-NEXT: .seh_save_reg_x x19, 32
  31 ; CHECK-NEXT: .seh_endepilogue
  32 ; CHECK-NEXT: ret
  33
  34
  35 target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
  36 target triple = "aarch64-unknown-windows-msvc19.11.0"
  37
  38 define dso_local void @"?a@@YAXXZ"() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
  39 entry:
  40   %a = alloca [100 x i32], align 64
  41   %0 = bitcast [100 x i32]* %a to i8*
  42   call void @llvm.memset.p0i8.i64(i8* nonnull align 64 %0, i8 0, i64 400, i1 false)
  43   %1 = getelementptr inbounds [100 x i32], [100 x i32]* %a, i64 0, i64 0
  44   store i32 305419896, i32* %1, align 64
  45   invoke void @"?bb@@YAXPEAHH@Z"(i32* nonnull %1, i32 1)
  46           to label %try.cont unwind label %catch.dispatch
  47
  48 catch.dispatch:                                   ; preds = %entry
  49   %2 = catchswitch within none [label %catch] unwind to caller
  50
  51 catch:                                            ; preds = %catch.dispatch
  52   %3 = catchpad within %2 [i8* null, i32 64, i8* null]
  53   call void @"?bb@@YAXPEAHH@Z"(i32* nonnull %1, i32 0) [ "funclet"(token %3) ]
  54   catchret from %3 to label %try.cont
  55
  56 try.cont:                                         ; preds = %entry, %catch
  57   call void @"?cc@@YAXXZ"()
  58   ret void
  59 }
  60
  61 declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1)
  62
  63 declare dso_local void @"?bb@@YAXPEAHH@Z"(i32*, i32)
  64
  65 declare dso_local i32 @__CxxFrameHandler3(...)
  66
  67 declare dso_local void @"?cc@@YAXXZ"()
  68