clang/test/CodeGen/aarch64-branch-protection-attr.c

   1 // REQUIRES: aarch64-registered-target
   2 // RUN: %clang_cc1 -triple aarch64 -emit-llvm  -target-cpu generic -target-feature +v8.5a %s -o - \
   3 // RUN:                               | FileCheck %s --check-prefix=CHECK
   4
   5 __attribute__ ((target("branch-protection=none")))
   6 void none() {}
   7 // CHECK: define{{.*}} void @none() #[[#NONE:]]
   8
   9   __attribute__ ((target("branch-protection=standard")))
  10 void std() {}
  11 // CHECK: define{{.*}} void @std() #[[#STD:]]
  12
  13 __attribute__ ((target("branch-protection=bti")))
  14 void btionly() {}
  15 // CHECK: define{{.*}} void @btionly() #[[#BTI:]]
  16
  17 __attribute__ ((target("branch-protection=pac-ret")))
  18 void paconly() {}
  19 // CHECK: define{{.*}} void @paconly() #[[#PAC:]]
  20
  21 __attribute__ ((target("branch-protection=pac-ret+bti")))
  22 void pacbti0() {}
  23 // CHECK: define{{.*}} void @pacbti0() #[[#PACBTI:]]
  24
  25 __attribute__ ((target("branch-protection=bti+pac-ret")))
  26 void pacbti1() {}
  27 // CHECK: define{{.*}} void @pacbti1() #[[#PACBTI]]
  28
  29 __attribute__ ((target("branch-protection=pac-ret+leaf")))
  30 void leaf() {}
  31 // CHECK: define{{.*}} void @leaf() #[[#PACLEAF:]]
  32
  33 __attribute__ ((target("branch-protection=pac-ret+b-key")))
  34 void bkey() {}
  35 // CHECK: define{{.*}} void @bkey() #[[#PACBKEY:]]
  36
  37 __attribute__ ((target("branch-protection=pac-ret+b-key+leaf")))
  38 void bkeyleaf0() {}
  39 // CHECK: define{{.*}} void @bkeyleaf0()  #[[#PACBKEYLEAF:]]
  40
  41 __attribute__ ((target("branch-protection=pac-ret+leaf+b-key")))
  42 void bkeyleaf1() {}
  43 // CHECK: define{{.*}} void @bkeyleaf1()  #[[#PACBKEYLEAF]]
  44
  45 __attribute__ ((target("branch-protection=pac-ret+leaf+bti")))
  46 void btileaf() {}
  47 // CHECK: define{{.*}} void @btileaf() #[[#BTIPACLEAF:]]
  48
  49 // CHECK-DAG: attributes #[[#NONE]] = { {{.*}} "branch-target-enforcement"="false" {{.*}} "sign-return-address"="none"
  50
  51 // CHECK-DAG: attributes #[[#STD]] = { {{.*}} "branch-target-enforcement"="true" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  52
  53 // CHECK-DAG: attributes #[[#BTI]] = { {{.*}} "branch-target-enforcement"="true" {{.*}} "sign-return-address"="none"
  54
  55 // CHECK-DAG: attributes #[[#PAC]] = { {{.*}} "branch-target-enforcement"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  56
  57 // CHECK-DAG: attributes #[[#PACLEAF]] = { {{.*}} "branch-target-enforcement"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="a_key"
  58
  59 // CHECK-DAG: attributes #[[#PACBKEY]] = { {{.*}}"branch-target-enforcement"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="b_key"
  60
  61 // CHECK-DAG: attributes #[[#PACBKEYLEAF]] = { {{.*}} "branch-target-enforcement"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="b_key"
  62
  63 // CHECK-DAG: attributes #[[#BTIPACLEAF]] = { {{.*}}"branch-target-enforcement"="true" {{.*}} "sign-return-address"="all" "sign-return-address-key"="a_key"