; 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, i32* %x.addr, align 4
  %0 = load i32, i32* %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}