1 ; RUN: llc -o - %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s
3 ; Make sure we have a base pointer.
4 ; CHECK-LABEL: "?a@@YAXXZ":
5 ; CHECK: and sp, x9, #0xffffffffffffffc0
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: stp x29, x30, [sp, #-32]!
13 ; CHECK-NEXT: str x28, [sp, #16]
14 ; CHECK-NEXT: str x19, [sp, #24]
15 ; CHECK-NEXT: add x0, x19, #64
16 ; CHECK-NEXT: mov w1, wzr
17 ; CHECK-NEXT: bl "?bb@@YAXPEAHH@Z"
18 ; CHECK-NEXT: adrp x0, .LBB0_1
19 ; CHECK-NEXT: add x0, x0, .LBB0_1
20 ; CHECK-NEXT: ldr x19, [sp, #24]
21 ; CHECK-NEXT: ldr x28, [sp, #16]
22 ; CHECK-NEXT: ldp x29, x30, [sp], #32
26 target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
27 target triple = "aarch64-unknown-windows-msvc19.11.0"
29 define dso_local void @"?a@@YAXXZ"() personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
31 %a = alloca [100 x i32], align 64
32 %0 = bitcast [100 x i32]* %a to i8*
33 call void @llvm.memset.p0i8.i64(i8* nonnull align 64 %0, i8 0, i64 400, i1 false)
34 %1 = getelementptr inbounds [100 x i32], [100 x i32]* %a, i64 0, i64 0
35 store i32 305419896, i32* %1, align 64
36 invoke void @"?bb@@YAXPEAHH@Z"(i32* nonnull %1, i32 1)
37 to label %try.cont unwind label %catch.dispatch
39 catch.dispatch: ; preds = %entry
40 %2 = catchswitch within none [label %catch] unwind to caller
42 catch: ; preds = %catch.dispatch
43 %3 = catchpad within %2 [i8* null, i32 64, i8* null]
44 call void @"?bb@@YAXPEAHH@Z"(i32* nonnull %1, i32 0) [ "funclet"(token %3) ]
45 catchret from %3 to label %try.cont
47 try.cont: ; preds = %entry, %catch
48 call void @"?cc@@YAXXZ"()
52 declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1)
54 declare dso_local void @"?bb@@YAXPEAHH@Z"(i32*, i32)
56 declare dso_local i32 @__CxxFrameHandler3(...)
58 declare dso_local void @"?cc@@YAXXZ"()