Changeset View
Changeset View
Standalone View
Standalone View
clang/test/CodeGen/aarch64-sign-return-address.c
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -msign-return-address=none %s | FileCheck %s --check-prefix=CHECK --check-prefix=NONE | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -msign-return-address=none %s | FileCheck %s --check-prefix=CHECK --check-prefix=NONE | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.2-a -S -emit-llvm -o - -msign-return-address=all %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL --check-prefix=A-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -msign-return-address=all %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -msign-return-address=all %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL --check-prefix=A-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -msign-return-address=non-leaf %s | FileCheck %s --check-prefix=CHECK --check-prefix=PART | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -msign-return-address=non-leaf %s | FileCheck %s --check-prefix=CHECK --check-prefix=PARTIAL --check-prefix=A-KEY | |||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -msign-return-address=all %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL --check-prefix=A-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -mbranch-protection=none %s | FileCheck %s --check-prefix=CHECK --check-prefix=NONE | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.4-a -S -emit-llvm -o - -msign-return-address=all %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL --check-prefix=A-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -mbranch-protection=pac-ret+leaf %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -mbranch-protection=pac-ret+b-key %s | FileCheck %s --check-prefix=CHECK --check-prefix=PARTIAL --check-prefix=B-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -mbranch-protection=pac-ret+b-key %s | FileCheck %s --check-prefix=CHECK --check-prefix=B-KEY | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -mbranch-protection=pac-ret+b-key+leaf %s | FileCheck %s --check-prefix=CHECK --check-prefix=ALL --check-prefix=B-KEY | // RUN: %clang -target aarch64-arm-none-eabi -S -emit-llvm -o - -mbranch-protection=bti %s | FileCheck %s --check-prefix=CHECK --check-prefix=BTE | ||||
| // RUN: %clang -target aarch64-arm-none-eabi -march=armv8.3-a -S -emit-llvm -o - -mbranch-protection=bti %s | FileCheck %s --check-prefix=CHECK --check-prefix=BTE | |||||
| // REQUIRES: aarch64-registered-target | // REQUIRES: aarch64-registered-target | ||||
| // CHECK: @foo() #[[ATTR:[0-9]*]] | // Check there are no branch protection function attributes | ||||
| // | |||||
| // NONE-NOT: "sign-return-address"={{.*}} | |||||
| // PARTIAL: "sign-return-address"="non-leaf" | // CHECK-LABEL: @foo() #[[#ATTR:]] | ||||
| // ALL: "sign-return-address"="all" | // CHECK-NOT: attributes #[[#ATTR]] = { {{.*}} "sign-return-address" | ||||
| // CHECK-NOT: attributes #[[#ATTR]] = { {{.*}} "sign-return-address-key" | |||||
| // BTE: "branch-target-enforcement" | // CHECK-NOT: attributes #[[#ATTR]] = { {{.*}} "branch-target-enforcement" | ||||
| // A-KEY: "sign-return-address-key"="a_key" | // Check module attributes | ||||
| // B-KEY: "sign-return-address-key"="b_key" | // NONE: !{i32 1, !"branch-target-enforcement", i32 0} | ||||
| // ALL: !{i32 1, !"branch-target-enforcement", i32 0} | |||||
| // PART: !{i32 1, !"branch-target-enforcement", i32 0} | |||||
| // BTE: !{i32 1, !"branch-target-enforcement", i32 1} | |||||
| // B-KEY: !{i32 1, !"branch-target-enforcement", i32 0} | |||||
| // NONE: !{i32 1, !"sign-return-address", i32 0} | |||||
| // ALL: !{i32 1, !"sign-return-address", i32 1} | |||||
| // PART: !{i32 1, !"sign-return-address", i32 1} | |||||
| // BTE: !{i32 1, !"sign-return-address", i32 0} | |||||
| // B-KEY: !{i32 1, !"sign-return-address", i32 1} | |||||
| // NONE: !{i32 1, !"sign-return-address-all", i32 0} | |||||
| // ALL: !{i32 1, !"sign-return-address-all", i32 1} | |||||
| // PART: !{i32 1, !"sign-return-address-all", i32 0} | |||||
| // BTE: !{i32 1, !"sign-return-address-all", i32 0} | |||||
| // B-KEY: !{i32 1, !"sign-return-address-all", i32 0} | |||||
| // NONE: !{i32 1, !"sign-return-address-with-bkey", i32 0} | |||||
| // ALL: !{i32 1, !"sign-return-address-with-bkey", i32 0} | |||||
| // PART: !{i32 1, !"sign-return-address-with-bkey", i32 0} | |||||
| // BTE: !{i32 1, !"sign-return-address-with-bkey", i32 0} | |||||
| // B-KEY: !{i32 1, !"sign-return-address-with-bkey", i32 1} | |||||
| void foo() {} | void foo() {} | ||||