1782810b84
So far branch protection, sign return address, guarded control stack attributes are only emitted as module flags to indicate the functions need to be generated with those features. The problem is in case of an LTO build the module flags are merged with the `min` rule which means if one of the module is not build with sign return address then the features will be turned off for all functions. Due to the functions take the branch-protection and sign-return-address features from the module flags. The sign-return-address is function level option therefore it is expected functions from files that is compiled with -mbranch-protection=pac-ret to be protected. The inliner might inline functions with different set of flags as it doesn't consider the module flags. This patch adds the attributes to all functions and drops the checking of the module flags for the code generation. Module flag is still used for generating the ELF markers. Also drops the "true"/"false" values from the branch-protection-enforcement, branch-protection-pauth-lr, guarded-control-stack attributes as presence of the attribute means it is on absence means off and no other option. Releand with test fixes.
61 lines
1.2 KiB
LLVM
61 lines
1.2 KiB
LLVM
; RUN: llc < %s -mtriple=aarch64-windows -aarch64-min-jump-table-entries=4 | FileCheck %s
|
|
|
|
define dso_local i32 @func(i32 %in) "sign-return-address"="non-leaf" "sign-return-address-key"="a_key" "branch-target-enforcement" {
|
|
entry:
|
|
call void asm sideeffect "", "~{x19}"()
|
|
switch i32 %in, label %def [
|
|
i32 0, label %lbl1
|
|
i32 1, label %lbl2
|
|
i32 2, label %lbl3
|
|
i32 4, label %lbl4
|
|
]
|
|
|
|
def:
|
|
ret i32 0
|
|
|
|
lbl1:
|
|
call void asm sideeffect "", ""()
|
|
ret i32 1
|
|
|
|
lbl2:
|
|
ret i32 2
|
|
|
|
lbl3:
|
|
ret i32 4
|
|
|
|
lbl4:
|
|
ret i32 8
|
|
}
|
|
|
|
; CHECK-LABEL: func:
|
|
; CHECK-NEXT: .seh_proc func
|
|
; CHECK-NEXT: // %bb.0:
|
|
; CHECK-NEXT: hint #34
|
|
; CHECK-NEXT: .seh_nop
|
|
; CHECK-NEXT: str x19, [sp, #-16]!
|
|
; CHECK-NEXT: .seh_save_reg_x x19, 16
|
|
; CHECK-NEXT: .seh_endprologue
|
|
|
|
; CHECK: .LBB0_2:
|
|
; CHECK-NEXT: hint #36
|
|
; CHECK: mov w0, #1
|
|
|
|
; CHECK: .LBB0_3:
|
|
; CHECK-NEXT: hint #36
|
|
; CHECK-NEXT: mov w0, #4
|
|
|
|
; CHECK: .LBB0_4:
|
|
; CHECK-NEXT: hint #36
|
|
; CHECK-NEXT: mov w0, #2
|
|
|
|
; CHECK: .LBB0_5:
|
|
; CHECK-NEXT: hint #36
|
|
; CHECK-NEXT: mov w0, #8
|
|
|
|
; CHECK: .seh_startepilogue
|
|
; CHECK-NEXT: ldr x19, [sp], #16
|
|
; CHECK-NEXT: .seh_save_reg_x x19, 16
|
|
; CHECK-NEXT: .seh_endepilogue
|
|
; CHECK-NEXT: ret
|
|
; CHECK-NEXT: .seh_endfunclet
|