1*e23250ecSAhmed Bougacha // RUN: %clang_cc1 %s -triple arm64e-apple-ios13 -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck %s
2*e23250ecSAhmed Bougacha // RUN: %clang_cc1 %s -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck %s
3*e23250ecSAhmed Bougacha // RUN: %clang_cc1 -xc++ %s -triple arm64e-apple-ios13 -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck %s --check-prefixes=CHECK,CXX
4*e23250ecSAhmed Bougacha // RUN: %clang_cc1 -xc++ %s -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -disable-llvm-passes -emit-llvm -o- | FileCheck %s --check-prefixes=CHECK,CXX
5*e23250ecSAhmed Bougacha
6*e23250ecSAhmed Bougacha #ifdef __cplusplus
7*e23250ecSAhmed Bougacha extern "C" {
8*e23250ecSAhmed Bougacha #endif
9*e23250ecSAhmed Bougacha
10*e23250ecSAhmed Bougacha void f(void);
11*e23250ecSAhmed Bougacha
12*e23250ecSAhmed Bougacha #ifdef __cplusplus
13*e23250ecSAhmed Bougacha
14*e23250ecSAhmed Bougacha // CXX: define {{(dso_local )?}}internal void @__cxx_global_var_init()
15*e23250ecSAhmed Bougacha // CXX: store ptr getelementptr inbounds (i32, ptr ptrauth (ptr @f, i32 0), i64 2), ptr @_ZL2fp, align 8
16*e23250ecSAhmed Bougacha
17*e23250ecSAhmed Bougacha // This is rejected in C mode as adding a non-zero constant to a signed pointer
18*e23250ecSAhmed Bougacha // is unrepresentable in relocations. In C++ mode, this can be done dynamically
19*e23250ecSAhmed Bougacha // by the global constructor.
20*e23250ecSAhmed Bougacha __attribute__((used))
21*e23250ecSAhmed Bougacha void (*const fp)(void) = (void (*)(void))((int *)&f + 2);
22*e23250ecSAhmed Bougacha
23*e23250ecSAhmed Bougacha #endif
24*e23250ecSAhmed Bougacha
25*e23250ecSAhmed Bougacha // CHECK: define {{(dso_local )?}}void @t1()
t1()26*e23250ecSAhmed Bougacha void t1() {
27*e23250ecSAhmed Bougacha // CHECK: [[PF:%.*]] = alloca ptr
28*e23250ecSAhmed Bougacha // CHECK: store ptr getelementptr inbounds (i32, ptr ptrauth (ptr @f, i32 0), i64 2), ptr [[PF]]
29*e23250ecSAhmed Bougacha
30*e23250ecSAhmed Bougacha void (*pf)(void) = (void (*)(void))((int *)&f + 2);
31*e23250ecSAhmed Bougacha (void)pf;
32*e23250ecSAhmed Bougacha }
33*e23250ecSAhmed Bougacha
34*e23250ecSAhmed Bougacha #ifdef __cplusplus
35*e23250ecSAhmed Bougacha }
36*e23250ecSAhmed Bougacha #endif
37