Changeset View
Changeset View
Standalone View
Standalone View
clang/test/CodeGen/aarch64-branch-protection-attr.c
| // REQUIRES: aarch64-registered-target | // REQUIRES: aarch64-registered-target | ||||
| // RUN: %clang_cc1 -triple aarch64-unknown-unknown-eabi -emit-llvm -target-cpu generic -target-feature +v8.5a %s -o - \ | // RUN: %clang_cc1 -triple aarch64-unknown-unknown-eabi -emit-llvm -target-cpu generic -target-feature +v8.5a %s -o - \ | ||||
| // RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=NO-OVERRIDE | // RUN: | FileCheck %s --check-prefix=CHECK | ||||
| // RUN: %clang_cc1 -triple aarch64-unknown-unknown-eabi -emit-llvm -target-cpu generic -target-feature +v8.5a %s -o - \ | |||||
| // RUN: -msign-return-address=non-leaf -msign-return-address-key=a_key -mbranch-target-enforce \ | |||||
| // RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=OVERRIDE | |||||
| void missing() {} | |||||
| // NO-OVERRIDE: define void @missing() #[[#NONE:]] | |||||
| // OVERRIDE: define void @missing() #[[#STD:]] | |||||
| __attribute__ ((target("branch-protection=none"))) | __attribute__ ((target("branch-protection=none"))) | ||||
| void none() {} | void none() {} | ||||
| // NO-OVERRIDE: define void @none() #[[#NONE]] | // CHECK: define void @none() #[[#NONE:]] | ||||
| // OVERRIDE: define void @none() #[[#NONE:]] | |||||
| __attribute__ ((target("branch-protection=standard"))) | __attribute__ ((target("branch-protection=standard"))) | ||||
| void std() {} | void std() {} | ||||
| // NO-OVERRIDE: define void @std() #[[#STD:]] | // CHECK: define void @std() #[[#STD:]] | ||||
| // OVERRIDE: define void @std() #[[#STD]] | |||||
| __attribute__ ((target("branch-protection=bti"))) | __attribute__ ((target("branch-protection=bti"))) | ||||
| void btionly() {} | void btionly() {} | ||||
| // NO-OVERRIDE: define void @btionly() #[[#BTI:]] | // CHECK: define void @btionly() #[[#BTI:]] | ||||
| // OVERRIDE: define void @btionly() #[[#BTI:]] | |||||
| __attribute__ ((target("branch-protection=pac-ret"))) | __attribute__ ((target("branch-protection=pac-ret"))) | ||||
| void paconly() {} | void paconly() {} | ||||
| // NO-OVERRIDE: define void @paconly() #[[#PAC:]] | // CHECK: define void @paconly() #[[#PAC:]] | ||||
| // OVERRIDE: define void @paconly() #[[#PAC:]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+bti"))) | __attribute__ ((target("branch-protection=pac-ret+bti"))) | ||||
| void pacbti0() {} | void pacbti0() {} | ||||
| // NO-OVERRIDE: define void @pacbti0() #[[#PACBTI:]] | // CHECK: define void @pacbti0() #[[#PACBTI:]] | ||||
| // OVERRIDE: define void @pacbti0() #[[#PACBTI:]] | |||||
| __attribute__ ((target("branch-protection=bti+pac-ret"))) | __attribute__ ((target("branch-protection=bti+pac-ret"))) | ||||
| void pacbti1() {} | void pacbti1() {} | ||||
| // NO-OVERRIDE: define void @pacbti1() #[[#PACBTI]] | // CHECK: define void @pacbti1() #[[#PACBTI]] | ||||
| // OVERRIDE: define void @pacbti1() #[[#PACBTI]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+leaf"))) | __attribute__ ((target("branch-protection=pac-ret+leaf"))) | ||||
| void leaf() {} | void leaf() {} | ||||
| // NO-OVERRIDE: define void @leaf() #[[#PACLEAF:]] | // CHECK: define void @leaf() #[[#PACLEAF:]] | ||||
| // OVERRIDE: define void @leaf() #[[#PACLEAF:]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+b-key"))) | __attribute__ ((target("branch-protection=pac-ret+b-key"))) | ||||
| void bkey() {} | void bkey() {} | ||||
| // NO-OVERRIDE: define void @bkey() #[[#PACBKEY:]] | // CHECK: define void @bkey() #[[#PACBKEY:]] | ||||
| // OVERRIDE: define void @bkey() #[[#PACBKEY:]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+b-key+leaf"))) | __attribute__ ((target("branch-protection=pac-ret+b-key+leaf"))) | ||||
| void bkeyleaf0() {} | void bkeyleaf0() {} | ||||
| // NO-OVERRIDE: define void @bkeyleaf0() #[[#PACBKEYLEAF:]] | // CHECK: define void @bkeyleaf0() #[[#PACBKEYLEAF:]] | ||||
| // OVERRIDE: define void @bkeyleaf0() #[[#PACBKEYLEAF:]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+leaf+b-key"))) | __attribute__ ((target("branch-protection=pac-ret+leaf+b-key"))) | ||||
| void bkeyleaf1() {} | void bkeyleaf1() {} | ||||
| // NO-OVERRIDE: define void @bkeyleaf1() #[[#PACBKEYLEAF]] | // CHECK: define void @bkeyleaf1() #[[#PACBKEYLEAF]] | ||||
| // OVERRIDE: define void @bkeyleaf1() #[[#PACBKEYLEAF]] | |||||
| __attribute__ ((target("branch-protection=pac-ret+leaf+bti"))) | __attribute__ ((target("branch-protection=pac-ret+leaf+bti"))) | ||||
| void btileaf() {} | void btileaf() {} | ||||
| // NO-OVERRIDE: define void @btileaf() #[[#BTIPACLEAF:]] | // CHECK: define void @btileaf() #[[#BTIPACLEAF:]] | ||||
| // OVERRIDE: define void @btileaf() #[[#BTIPACLEAF:]] | |||||
| // CHECK-DAG: attributes #[[#NONE]] | // CHECK-DAG: attributes #[[#NONE]] = { {{.*}} "branch-target-enforcement"="false" {{.*}} "sign-return-address"="none" | ||||
| // CHECK-DAG: attributes #[[#STD]] = { {{.*}} "branch-target-enforcement" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key" | // CHECK-DAG: attributes #[[#STD]] = { {{.*}} "branch-target-enforcement"="true" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key" | ||||
| // CHECK-DAG: attributes #[[#BTI]] = { {{.*}}"branch-target-enforcement" | // CHECK-DAG: attributes #[[#BTI]] = { {{.*}} "branch-target-enforcement"="true" {{.*}} "sign-return-address"="none" | ||||
| // CHECK-DAG: attributes #[[#PAC]] = { {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key" | // CHECK-DAG: attributes #[[#PAC]] = { {{.*}} "branch-target-enforcement"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key" | ||||
| // CHECK-DAG: attributes #[[#PACLEAF]] = { {{.*}} "sign-return-address"="all" "sign-return-address-key"="a_key" | // CHECK-DAG: attributes #[[#PACLEAF]] = { {{.*}} "branch-target-enforcement"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="a_key" | ||||
| // CHECK-DAG: attributes #[[#PACBKEY]] = { {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" | // CHECK-DAG: attributes #[[#PACBKEY]] = { {{.*}}"branch-target-enforcement"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" | ||||
| // CHECK-DAG: attributes #[[#PACBKEYLEAF]] = { {{.*}} "sign-return-address"="all" "sign-return-address-key"="b_key" | // CHECK-DAG: attributes #[[#PACBKEYLEAF]] = { {{.*}} "branch-target-enforcement"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="b_key" | ||||
| // CHECK-DAG: attributes #[[#BTIPACLEAF]] = { {{.*}}"branch-target-enforcement" {{.*}} "sign-return-address"="all" "sign-return-address-key"="a_key" | // CHECK-DAG: attributes #[[#BTIPACLEAF]] = { {{.*}}"branch-target-enforcement"="true" {{.*}} "sign-return-address"="all" "sign-return-address-key"="a_key" | ||||