66 lines · c
1// RUN: %clang_cc1 -triple aarch64-linux-gnu -mbranch-target-enforce -emit-llvm %s -o - | FileCheck --check-prefixes=BTI,ELF %s2// RUN: %clang_cc1 -triple arm64-apple-ios -mbranch-target-enforce -emit-llvm %s -o - | FileCheck --check-prefixes=BTI %s3// RUN: %clang_cc1 -triple aarch64-linux-gnu -emit-llvm %s -o - | FileCheck --check-prefixes=NOBTI,ELF %s4// RUN: %clang_cc1 -triple arm64-apple-ios -emit-llvm %s -o - | FileCheck --check-prefixes=NOBTI %s5// RUN: %clang_cc1 -triple aarch64-linux-gnu -fvisibility=hidden -emit-llvm %s -o - | FileCheck --check-prefixes=HIDDEN,ELF %s6// RUN: %clang_cc1 -triple arm64-apple-ios -fvisibility=hidden -emit-llvm %s -o - | FileCheck --check-prefixes=HIDDEN %s7 8// Check that the resolver functions generated by Clang have the correct attributes.9// In these test cases, branch-target-enforcement is used as an example of10// target-specific attribute that has to be set on every function by default.11 12// FIXME: `cpu_specific`/`cpu_dispatch` and `target` attributes cannot be13// tested on AArch64.14 15__attribute__((target_clones("crc", "default")))16int global_target_clones(void) { return 0; }17 18__attribute__((target_version("crc"))) int global_target_version(void) { return 0; }19__attribute__((target_version("default"))) int global_target_version(void) { return 0; }20 21__attribute__((target_clones("crc", "default")))22static int static_target_clones(void) { return 0; }23 24__attribute__((target_version("crc"))) static int static_target_version(void) { return 0; }25__attribute__((target_version("default"))) static int static_target_version(void) { return 0; }26 27// Force emission of static_* functions.28void *get_ptr1(void) { return static_target_clones; }29void *get_ptr2(void) { return static_target_version; }30 31#ifdef __ELF__32// Make sure target-specific attributes can be overriden as needed for33// non-autogenerated resolver functions.34// Note that since there is only a single definition of ifunc_resolver, it35// is not itself a multi-versioned function, even though it has target(...)36// attribute.37int ifunc_func(void) { return 0; }38__attribute__((target("branch-protection=bti"))) void *ifunc_resolver(void) { return ifunc_func; }39__attribute__((ifunc("ifunc_resolver"))) int ifunc(void);40#endif41 42// ELF: define{{.*}} ptr @ifunc_resolver() #[[ATTR_IFUNC_RESOLVER:[0-9]+]]43 44// BTI: define weak_odr ptr @global_target_clones.resolver() #[[ATTR_RESOLVER:[0-9]+]]45// BTI: define weak_odr ptr @global_target_version.resolver() #[[ATTR_RESOLVER]]46// BTI: define internal ptr @static_target_clones.resolver() #[[ATTR_RESOLVER]]47// BTI: define internal ptr @static_target_version.resolver() #[[ATTR_RESOLVER]]48 49// In NOBTI case, only "no_sanitizer_instrumentation" attributes are added to the resolver50 51// NOBTI: define weak_odr ptr @global_target_clones.resolver() [[ATTR_RESOLVER:(#[0-9]+)?]]{{( comdat)?}}52// NOBTI: define weak_odr ptr @global_target_version.resolver() [[ATTR_RESOLVER]]{{( comdat)?}}53// NOBTI: define internal ptr @static_target_clones.resolver() [[ATTR_RESOLVER]]54// NOBTI: define internal ptr @static_target_version.resolver() [[ATTR_RESOLVER]]55 56// HIDDEN: define weak_odr hidden ptr @global_target_clones.resolver() [[ATTR_RESOLVER:(#[0-9]+)?]]{{( comdat)?}}57// HIDDEN: define weak_odr hidden ptr @global_target_version.resolver() [[ATTR_RESOLVER]]{{( comdat)?}}58// HIDDEN: define internal ptr @static_target_clones.resolver() [[ATTR_RESOLVER]] 59// HIDDEN: define internal ptr @static_target_version.resolver() [[ATTR_RESOLVER]] 60 61// ELF: attributes #[[ATTR_IFUNC_RESOLVER]] = { {{.*}}"branch-target-enforcement"{{.*}} }62 63// BTI: attributes #[[ATTR_RESOLVER]] = { {{.*}}"branch-target-enforcement"{{.*}} }64//65// NOBTI: attributes [[ATTR_RESOLVER]] = { disable_sanitizer_instrumentation }66