blob: b9daac7d18f7b954b144078cad8b72e89f7a699f [file] [log] [blame]
; RUN: llc -mtriple thumbv6m-eabi %s -o - | FileCheck %s
; RUN: llc -mtriple thumbv8m.base-eabi %s -o - | FileCheck %s
; RUN: llc -mtriple thumbv7a-eabi %s -o - | FileCheck %s
; RUN: llc -mtriple thumbv7m-eabi %s -o - | FileCheck %s --check-prefix=CHECK-PACBTI
; Check we don't emit PACBTI-M instructions for architectures
; that do not support them.
define hidden i32 @f(i32 %x) #0 {
entry:
%x.addr = alloca i32, align 4
store i32 %x, ptr %x.addr, align 4
%0 = load i32, ptr %x.addr, align 4
%sub = sub nsw i32 1, %0
%call = call i32 @g(i32 %sub)
%add = add nsw i32 1, %call
ret i32 %add
}
; CHECK-LABEL: f:
; CHECK-NOT: bti
; CHECK-PACBTI-LABEL: f:
; CHECK-PACBTI: pacbti
declare dso_local i32 @g(i32)
attributes #0 = { noinline nounwind }
!llvm.module.flags = !{!0, !1, !2}
!0 = !{i32 8, !"branch-target-enforcement", i32 1}
!1 = !{i32 8, !"sign-return-address", i32 1}
!2 = !{i32 8, !"sign-return-address-all", i32 0}