1 ; RUN: llc -mtriple=thumbv8.1m.main -mattr=+8msecext %s -o - | FileCheck %s
3 define hidden i32 @f(i32 %0, ptr nocapture %1) local_unnamed_addr #0 {
4 %3 = call i32 %1(i32 %0) #2
6 br i1 %4, label %6, label %5
16 ; CHECK: clrm {r1, r2, r3, r12, apsr}
19 declare dso_local void @g(...) local_unnamed_addr #1
21 attributes #0 = { nounwind "cmse_nonsecure_entry" }
22 attributes #1 = { noreturn }
23 attributes #2 = { nounwind "cmse_nonsecure_call" }
24 attributes #3 = { noreturn nounwind }