1*e23250ecSAhmed Bougacha // RUN: %clang_cc1 -triple arm64-apple-ios -fptrauth-calls -fptrauth-intrinsics -emit-llvm %s -o - | FileCheck -check-prefix=CHECK %s
2*e23250ecSAhmed Bougacha // RUN: %clang_cc1 -triple aarch64-linux-gnu -fptrauth-calls -fptrauth-intrinsics -emit-llvm %s -o - | FileCheck -check-prefix=CHECK %s
3*e23250ecSAhmed Bougacha
4*e23250ecSAhmed Bougacha void test_call();
5*e23250ecSAhmed Bougacha
6*e23250ecSAhmed Bougacha // CHECK: define {{(dso_local )?}}void @test_direct_call()
test_direct_call()7*e23250ecSAhmed Bougacha void test_direct_call() {
8*e23250ecSAhmed Bougacha // CHECK: call void @test_call(){{$}}
9*e23250ecSAhmed Bougacha test_call();
10*e23250ecSAhmed Bougacha }
11*e23250ecSAhmed Bougacha
12*e23250ecSAhmed Bougacha // CHECK: define {{(dso_local )?}}void @test_indirect_call(ptr noundef %[[FP:.*]])
test_indirect_call(void (* fp (void)))13*e23250ecSAhmed Bougacha void test_indirect_call(void (*fp(void))) {
14*e23250ecSAhmed Bougacha // CHECK: %[[FP_ADDR:.*]] = alloca ptr, align 8
15*e23250ecSAhmed Bougacha // CHECK: store ptr %[[FP]], ptr %[[FP_ADDR]], align 8
16*e23250ecSAhmed Bougacha // CHECK: %[[V0:.*]] = load ptr, ptr %[[FP_ADDR]], align 8
17*e23250ecSAhmed Bougacha // CHECK: %[[CALL:.*]] = call ptr %[[V0]]() [ "ptrauth"(i32 0, i64 0) ]
18*e23250ecSAhmed Bougacha fp();
19*e23250ecSAhmed Bougacha }
20*e23250ecSAhmed Bougacha
21*e23250ecSAhmed Bougacha void abort();
22*e23250ecSAhmed Bougacha // CHECK: define {{(dso_local )?}}void @test_direct_builtin_call()
test_direct_builtin_call()23*e23250ecSAhmed Bougacha void test_direct_builtin_call() {
24*e23250ecSAhmed Bougacha // CHECK: call void @abort() {{#[0-9]+$}}
25*e23250ecSAhmed Bougacha abort();
26*e23250ecSAhmed Bougacha }
27*e23250ecSAhmed Bougacha
28*e23250ecSAhmed Bougacha // CHECK-LABEL: define {{(dso_local )?}}void @test_memcpy_inline(
29*e23250ecSAhmed Bougacha // CHECK-NOT: call{{.*}}memcpy
30*e23250ecSAhmed Bougacha
31*e23250ecSAhmed Bougacha extern inline __attribute__((__always_inline__))
memcpy(void * d,const void * s,unsigned long)32*e23250ecSAhmed Bougacha void *memcpy(void *d, const void *s, unsigned long) {
33*e23250ecSAhmed Bougacha return 0;
34*e23250ecSAhmed Bougacha }
35*e23250ecSAhmed Bougacha
test_memcpy_inline(char * d,char * s)36*e23250ecSAhmed Bougacha void test_memcpy_inline(char *d, char *s) {
37*e23250ecSAhmed Bougacha memcpy(d, s, 4);
38*e23250ecSAhmed Bougacha }
39