| ;; This file contains the new semantic of the branch-target-enforcement, sign-return-address. |
| ;; Used for test mixing a mixed link case and also verify the import too in llc. |
| |
| ; RUN: llc -mattr=+pauth -mattr=+bti %s -o - | FileCheck %s |
| |
| target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" |
| target triple = "aarch64-unknown-linux-gnu" |
| |
| define dso_local void @bar() #0 { |
| entry: |
| ret void |
| } |
| ; CHECK-LABEL: bar: |
| ; CHECK-NOT: hint |
| ; CHECK-NOT: bti |
| ; CHECK: ret |
| |
| define dso_local void @baz() #1 { |
| entry: |
| ret void |
| } |
| |
| ; CHECK-LABEL: baz: |
| ; CHECK: bti c |
| ; CHECK: ret |
| |
| attributes #0 = { noinline nounwind optnone uwtable } |
| attributes #1 = { noinline nounwind optnone uwtable "branch-target-enforcement" } |
| |
| !llvm.module.flags = !{!0, !1, !2, !3} |
| |
| !0 = !{i32 8, !"branch-target-enforcement", i32 2} |
| !1 = !{i32 8, !"sign-return-address", i32 2} |
| !2 = !{i32 8, !"sign-return-address-all", i32 2} |
| !3 = !{i32 8, !"sign-return-address-with-bkey", i32 2} |