1; RUN: llc -o - %s -mtriple=aarch64-windows -verify-machineinstrs | FileCheck %s
2
3; Make sure we don't have a base pointer.
4; CHECK-LABEL: "?a@@YAXXZ":
5; CHECK-NOT: x19
6
7; Check that we compute the address relative to fp.
8; CHECK-LABEL: "?catch$2@?0??a@@YAXXZ@4HA":
9; CHECK:             stp     x29, x30, [sp, #-16]!   ; 16-byte Folded Spill
10; CHECK-NEXT:        sub     x0, x29, #16            ; =16
11; CHECK-NEXT:        mov     x1, xzr
12; CHECK-NEXT:        bl      "?bb@@YAXPEAHH@Z"
13; CHECK-NEXT:        adrp    x0, .LBB0_1
14; CHECK-NEXT:        add     x0, x0, .LBB0_1
15; CHECK-NEXT:        ldp     x29, x30, [sp], #16     ; 16-byte Folded Reload
16; CHECK-NEXT:        ret
17
18target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
19target triple = "aarch64-unknown-windows-msvc19.11.0"
20
21define dso_local void @"?a@@YAXXZ"(i64 %p1) personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
22entry:
23  %a = alloca i32, align 16
24  %0 = bitcast i32* %a to i8*
25  store i32 305419896, i32* %a, align 16
26  invoke void @"?bb@@YAXPEAHH@Z"(i32* nonnull %a, i32* null)
27          to label %try.cont unwind label %catch.dispatch
28
29catch.dispatch:                                   ; preds = %entry
30  %1 = catchswitch within none [label %catch] unwind to caller
31
32catch:                                            ; preds = %catch.dispatch
33  %2 = catchpad within %1 [i8* null, i32 64, i8* null]
34  call void @"?bb@@YAXPEAHH@Z"(i32* nonnull %a, i32* null) [ "funclet"(token %2) ]
35  catchret from %2 to label %try.cont
36
37try.cont:                                         ; preds = %entry, %catch
38  call void @"?cc@@YAXXZ"()
39  ret void
40}
41
42declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1)
43
44declare dso_local void @"?bb@@YAXPEAHH@Z"(i32*, i32*)
45
46declare dso_local i32 @__CxxFrameHandler3(...)
47
48declare dso_local void @"?cc@@YAXXZ"()
49
50