blob: 7c2a753bcc403e2ef544e765d328e8a238702fb9 [file] [edit]
;; 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}