1 ; RUN: llc -o - %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s
3 ; Check we don't have a base pointer.
4 ; CHECK-LABEL: "?a@@YAXXZ":
7 ; Make sure the prologue and epilogue are sane. Make sure the
8 ; frame index is relative to the FP, since there is no base pointer.
9 ; (Funclets aren't allowed to contain dynamic allocas.)
10 ; CHECK-LABEL: "?catch$2@?0??a@@YAXXZ@4HA":
11 ; CHECK: stp x29, x30, [sp, #-16]!
12 ; CHECK-NEXT: .seh_save_fplr_x 16
13 ; CHECK-NEXT: .seh_endprologue
14 ; CHECK-NEXT: ldur x0, [x29, #-8]
15 ; CHECK-NEXT: mov x1, x0
16 ; CHECK-NEXT: bl "?bb@@YAXPEAHH@Z"
17 ; CHECK-NEXT: adrp x0, .LBB0_1
18 ; CHECK-NEXT: add x0, x0, .LBB0_1
19 ; CHECK-NEXT: .seh_startepilogue
20 ; CHECK-NEXT: ldp x29, x30, [sp], #16
21 ; CHECK-NEXT: .seh_save_fplr_x 16
22 ; CHECK-NEXT: .seh_endepilogue
25 target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
26 target triple = "aarch64-unknown-windows-msvc19.11.0"
28 define dso_local void @"?a@@YAXXZ"(i64 %p1) personality ptr @__CxxFrameHandler3 {
30 %a = alloca i32, i64 %p1, align 16
31 call void @llvm.memset.p0.i64(ptr nonnull align 16 %a, i8 0, i64 400, i1 false)
32 store i32 305419896, ptr %a, align 16
33 invoke void @"?bb@@YAXPEAHH@Z"(ptr nonnull %a, ptr null)
34 to label %try.cont unwind label %catch.dispatch
36 catch.dispatch: ; preds = %entry
37 %0 = catchswitch within none [label %catch] unwind to caller
39 catch: ; preds = %catch.dispatch
40 %1 = catchpad within %0 [ptr null, i32 64, ptr null]
41 call void @"?bb@@YAXPEAHH@Z"(ptr nonnull %a, ptr %a) [ "funclet"(token %1) ]
42 catchret from %1 to label %try.cont
44 try.cont: ; preds = %entry, %catch
45 call void @"?cc@@YAXXZ"()
49 declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1)
51 declare dso_local void @"?bb@@YAXPEAHH@Z"(ptr, ptr)
53 declare dso_local i32 @__CxxFrameHandler3(...)
55 declare dso_local void @"?cc@@YAXXZ"()