1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -mtriple=aarch64-windows -mattr=+bti -o - %s | FileCheck %s
declare i32 @__CxxFrameHandler3(...)
declare void @may_throw()
; Purpose: For WinEH funclets, entry is call-like: accept `bti c` / `hint #34` or a PAC prologue.
define dso_local void @wineh_funclet() #0 personality ptr @__CxxFrameHandler3 {
; CHECK-LABEL: wineh_funclet:
; CHECK: .Lfunc_begin0:
; CHECK-NEXT: .seh_proc wineh_funclet
; CHECK-NEXT: .seh_handler __CxxFrameHandler3, @unwind, @except
; CHECK-NEXT: // %bb.0: // %entry
; CHECK-NEXT: bti c
; CHECK-NEXT: .seh_nop
; CHECK-NEXT: stp x29, x30, [sp, #-32]! // 16-byte Folded Spill
; CHECK-NEXT: .seh_save_fplr_x 32
; CHECK-NEXT: mov x29, sp
; CHECK-NEXT: .seh_set_fp
; CHECK-NEXT: .seh_endprologue
; CHECK-NEXT: mov x0, #-2 // =0xfffffffffffffffe
; CHECK-NEXT: stur x0, [x29, #16]
; CHECK-NEXT: .Ltmp0:
; CHECK-NEXT: bl may_throw
; CHECK-NEXT: .Ltmp1:
; CHECK-NEXT: .LBB0_1: // Block address taken
; CHECK-NEXT: // %try.cont
; CHECK-NEXT: $ehgcr_0_1:
; CHECK-NEXT: bti j
; CHECK-NEXT: .seh_startepilogue
; CHECK-NEXT: ldp x29, x30, [sp], #32 // 16-byte Folded Reload
; CHECK-NEXT: .seh_save_fplr_x 32
; CHECK-NEXT: .seh_endepilogue
; CHECK-NEXT: ret
; CHECK-NEXT: .seh_endfunclet
; CHECK-NEXT: .seh_handlerdata
; CHECK-NEXT: .word $cppxdata$wineh_funclet@IMGREL
; CHECK-NEXT: .text
; CHECK-NEXT: .seh_endproc
; CHECK-NEXT: .def "?catch$2@?0?wineh_funclet@4HA";
; CHECK-NEXT: .scl 3;
; CHECK-NEXT: .type 32;
; CHECK-NEXT: .endef
; CHECK-NEXT: .p2align 2
; CHECK-NEXT: "?catch$2@?0?wineh_funclet@4HA":
; CHECK-NEXT: .seh_proc "?catch$2@?0?wineh_funclet@4HA"
; CHECK-NEXT: .seh_handler __CxxFrameHandler3, @unwind, @except
; CHECK-NEXT: .LBB0_2: // %catch
; CHECK-NEXT: bti c
; CHECK-NEXT: .seh_nop
; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill
; CHECK-NEXT: .seh_save_fplr_x 16
; CHECK-NEXT: .seh_endprologue
; CHECK-NEXT: bl may_throw
; CHECK-NEXT: adrp x0, .LBB0_1
; CHECK-NEXT: add x0, x0, .LBB0_1
; CHECK-NEXT: .seh_startepilogue
; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload
; CHECK-NEXT: .seh_save_fplr_x 16
; CHECK-NEXT: .seh_endepilogue
; CHECK-NEXT: ret
entry:
invoke void @may_throw()
to label %try.cont unwind label %catch.dispatch
catch.dispatch:
%cs = catchswitch within none [label %catch] unwind to caller
catch:
%cp = catchpad within %cs [ptr null, i32 0, ptr null]
call void @may_throw() ["funclet"(token %cp)]
catchret from %cp to label %try.cont
try.cont:
ret void
}
attributes #0 = { noinline "branch-target-enforcement"="true" }
|
