xref: /llvm-project/llvm/test/CodeGen/AArch64/wineh-try-catch-realign.ll (revision 5ddce70ef0e5a641d7fea95e31fc5e2439cb98cb)
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
35target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128"
36target triple = "aarch64-unknown-windows-msvc19.11.0"
37
38define dso_local void @"?a@@YAXXZ"() personality ptr @__CxxFrameHandler3 {
39entry:
40  %a = alloca [100 x i32], align 64
41  call void @llvm.memset.p0.i64(ptr nonnull align 64 %a, i8 0, i64 400, i1 false)
42  store i32 305419896, ptr %a, align 64
43  invoke void @"?bb@@YAXPEAHH@Z"(ptr nonnull %a, i32 1)
44          to label %try.cont unwind label %catch.dispatch
45
46catch.dispatch:                                   ; preds = %entry
47  %0 = catchswitch within none [label %catch] unwind to caller
48
49catch:                                            ; preds = %catch.dispatch
50  %1 = catchpad within %0 [ptr null, i32 64, ptr null]
51  call void @"?bb@@YAXPEAHH@Z"(ptr nonnull %a, i32 0) [ "funclet"(token %1) ]
52  catchret from %1 to label %try.cont
53
54try.cont:                                         ; preds = %entry, %catch
55  call void @"?cc@@YAXXZ"()
56  ret void
57}
58
59declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1)
60
61declare dso_local void @"?bb@@YAXPEAHH@Z"(ptr, i32)
62
63declare dso_local i32 @__CxxFrameHandler3(...)
64
65declare dso_local void @"?cc@@YAXXZ"()
66
67