e23250ecb7
The functions are currently always signed/authenticated with zero discriminator. Co-Authored-By: John McCall <rjmccall@apple.com>
39 lines
1.2 KiB
C
39 lines
1.2 KiB
C
// RUN: %clang_cc1 -triple arm64-apple-ios -fptrauth-calls -fptrauth-intrinsics -emit-llvm %s -o - | FileCheck -check-prefix=CHECK %s
|
|
// RUN: %clang_cc1 -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -emit-llvm %s -o - | FileCheck -check-prefix=CHECK %s
|
|
|
|
void test_call();
|
|
|
|
// CHECK: define {{(dso_local )?}}void @test_direct_call()
|
|
void test_direct_call() {
|
|
// CHECK: call void @test_call(){{$}}
|
|
test_call();
|
|
}
|
|
|
|
// CHECK: define {{(dso_local )?}}void @test_indirect_call(ptr noundef %[[FP:.*]])
|
|
void test_indirect_call(void (*fp(void))) {
|
|
// CHECK: %[[FP_ADDR:.*]] = alloca ptr, align 8
|
|
// CHECK: store ptr %[[FP]], ptr %[[FP_ADDR]], align 8
|
|
// CHECK: %[[V0:.*]] = load ptr, ptr %[[FP_ADDR]], align 8
|
|
// CHECK: %[[CALL:.*]] = call ptr %[[V0]]() [ "ptrauth"(i32 0, i64 0) ]
|
|
fp();
|
|
}
|
|
|
|
void abort();
|
|
// CHECK: define {{(dso_local )?}}void @test_direct_builtin_call()
|
|
void test_direct_builtin_call() {
|
|
// CHECK: call void @abort() {{#[0-9]+$}}
|
|
abort();
|
|
}
|
|
|
|
// CHECK-LABEL: define {{(dso_local )?}}void @test_memcpy_inline(
|
|
// CHECK-NOT: call{{.*}}memcpy
|
|
|
|
extern inline __attribute__((__always_inline__))
|
|
void *memcpy(void *d, const void *s, unsigned long) {
|
|
return 0;
|
|
}
|
|
|
|
void test_memcpy_inline(char *d, char *s) {
|
|
memcpy(d, s, 4);
|
|
}
|