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
  50 __attribute__ ((target("branch-protection=pac-ret+pc")))
  51 void pauthlr() {}
  52 // CHECK: define{{.*}} void @pauthlr()  #[[#PAUTHLR:]]
  53
  54 __attribute__ ((target("branch-protection=pac-ret+pc+b-key")))
  55 void pauthlr_bkey() {}
  56 // CHECK: define{{.*}} void @pauthlr_bkey()  #[[#PAUTHLR_BKEY:]]
  57
  58 __attribute__ ((target("branch-protection=pac-ret+pc+leaf")))
  59 void pauthlr_leaf() {}
  60 // CHECK: define{{.*}} void @pauthlr_leaf()  #[[#PAUTHLR_LEAF:]]
  61
  62 __attribute__ ((target("branch-protection=pac-ret+pc+bti")))
  63 void pauthlr_bti() {}
  64 // CHECK: define{{.*}} void @pauthlr_bti()  #[[#PAUTHLR_BTI:]]
  65
  66 __attribute__ ((target("branch-protection=gcs")))
  67 void gcs() {}
  68 // CHECK: define{{.*}} void @gcs() #[[#GCS:]]
  69
  70 // CHECK-DAG: attributes #[[#NONE]] = { {{.*}} "branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}} "sign-return-address"="none"
  71
  72 // CHECK-DAG: attributes #[[#STD]] = { {{.*}} "branch-target-enforcement"="true" "guarded-control-stack"="true" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  73
  74 // CHECK-DAG: attributes #[[#BTI]] = { {{.*}} "branch-target-enforcement"="true" "guarded-control-stack"="false" {{.*}} "sign-return-address"="none"
  75
  76 // CHECK-DAG: attributes #[[#PAC]] = { {{.*}} "branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  77
  78 // CHECK-DAG: attributes #[[#PACLEAF]] = { {{.*}} "branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="a_key"
  79
  80 // CHECK-DAG: attributes #[[#PACBKEY]] = { {{.*}}"branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}} "sign-return-address"="non-leaf" "sign-return-address-key"="b_key"
  81
  82 // CHECK-DAG: attributes #[[#PACBKEYLEAF]] = { {{.*}} "branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="b_key"
  83
  84 // CHECK-DAG: attributes #[[#BTIPACLEAF]] = { {{.*}}"branch-target-enforcement"="true" "guarded-control-stack"="false" {{.*}} "sign-return-address"="all" "sign-return-address-key"="a_key"
  85
  86
  87 // CHECK-DAG: attributes #[[#PAUTHLR]] = { {{.*}}"branch-protection-pauth-lr"="true" {{.*}}"branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}}"sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  88
  89 // CHECK-DAG: attributes #[[#PAUTHLR_BKEY]] = { {{.*}}"branch-protection-pauth-lr"="true" {{.*}}"branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}}"sign-return-address"="non-leaf" "sign-return-address-key"="b_key"
  90
  91 // CHECK-DAG: attributes #[[#PAUTHLR_LEAF]] = { {{.*}}"branch-protection-pauth-lr"="true" {{.*}}"branch-target-enforcement"="false" "guarded-control-stack"="false" {{.*}}"sign-return-address"="all" "sign-return-address-key"="a_key"
  92
  93 // CHECK-DAG: attributes #[[#PAUTHLR_BTI]] = { {{.*}}"branch-protection-pauth-lr"="true" {{.*}}"branch-target-enforcement"="true" "guarded-control-stack"="false" {{.*}}"sign-return-address"="non-leaf" "sign-return-address-key"="a_key"
  94
  95 // CHECK-DAG: attributes #[[#GCS]] = { {{.*}}"branch-target-enforcement"="false" "guarded-control-stack"="true" {{.*}} "sign-return-address"="none"