llvm-project/llvm/test/CodeGen/AArch64/stack-guard-vaarg.ll
Fangrui Song e018cbf720 [IR] Make stack protector symbol dso_local according to -f[no-]direct-access-external-data
There are two motivations.

`-fno-pic -fstack-protector -mstack-protector-guard=global` created
`__stack_chk_guard` is referenced directly on all ELF OSes except FreeBSD.
This patch allows referencing the symbol indirectly with
-fno-direct-access-external-data.

Some Linux kernel folks want
`-fno-pic -fstack-protector -mstack-protector-guard-reg=gs -mstack-protector-guard-symbol=__stack_chk_guard`
created `__stack_chk_guard` to be referenced directly, avoiding
R_X86_64_REX_GOTPCRELX (even if the relocation may be optimized out by the linker).
https://github.com/llvm/llvm-project/issues/60116
Why they need this isn't so clear to me.

---

Add module flag "direct-access-external-data" and set the dso_local property of
the stack protector symbol. The module flag can benefit other LLVMCodeGen
synthesized symbols that are not represented in LLVM IR.

Nowadays, with `-fno-pic` being uncommon, ideally we should set
"direct-access-external-data" when it is true. However, doing so would require
~90 clang/test tests to be updated, which are too much.

As a compromise, we set "direct-access-external-data" only when it's different
from the implied default value.

Reviewed By: nickdesaulniers

Differential Revision: https://reviews.llvm.org/D150841
2023-05-23 09:49:57 -07:00

42 lines
1.4 KiB
LLVM

; RUN: llc --frame-pointer=all -mtriple=aarch64-- < %s | FileCheck %s
; PR25610: -fstack-protector places the canary in the wrong place on arm64 with
; va_args
%struct.__va_list = type { ptr, ptr, ptr, i32, i32 }
; CHECK-LABEL: test
; CHECK: ldr [[GUARD:x[0-9]+]]{{.*}}:lo12:__stack_chk_guard]
; Make sure the canary is placed relative to the frame pointer, not
; the stack pointer.
; CHECK: stur [[GUARD]], [x29, #-8]
define void @test(ptr %i, ...) #0 {
entry:
%buf = alloca [10 x i8], align 1
%ap = alloca %struct.__va_list, align 8
%tmp = alloca %struct.__va_list, align 8
call void @llvm.lifetime.start(i64 10, ptr %buf)
call void @llvm.lifetime.start(i64 32, ptr %ap)
call void @llvm.va_start(ptr %ap)
call void @llvm.memcpy.p0.p0.i64(ptr %tmp, ptr %ap, i64 32, i32 8, i1 false)
call void @baz(ptr %i, ptr nonnull %tmp)
call void @bar(ptr %buf)
call void @llvm.va_end(ptr %ap)
call void @llvm.lifetime.end(i64 32, ptr %ap)
call void @llvm.lifetime.end(i64 10, ptr %buf)
ret void
}
declare void @llvm.lifetime.start(i64, ptr nocapture)
declare void @llvm.va_start(ptr)
declare void @baz(ptr, ptr)
declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture readonly, i64, i32, i1)
declare void @bar(ptr)
declare void @llvm.va_end(ptr)
declare void @llvm.lifetime.end(i64, ptr nocapture)
attributes #0 = { noinline nounwind optnone ssp }
!llvm.module.flags = !{!0}
!0 = !{i32 7, !"direct-access-external-data", i32 1}