1; RUN: llc -mtriple=thumbv8.1m.main -mattr=+8msecext %s -o - | FileCheck %s
2
3define hidden i32 @f(i32 %0, i32 (i32)* nocapture %1) local_unnamed_addr #0 {
4  %3 = call i32 %1(i32 %0) #2
5  %4 = icmp eq i32 %3, 1
6  br i1 %4, label %6, label %5
7
85:                                                ; preds = %2
9  call void bitcast (void (...)* @g to void ()*)() #3
10  unreachable
11
126:                                                ; preds = %2
13  ret i32 1
14}
15; CHECK-NOT: clrm eq
16; CHECK: clrm {r1, r2, r3, r12, apsr}
17; CHECK: bl g
18
19declare dso_local void @g(...) local_unnamed_addr #1
20
21attributes #0 = { nounwind "cmse_nonsecure_entry" }
22attributes #1 = { noreturn }
23attributes #2 = { nounwind "cmse_nonsecure_call" }
24attributes #3 = { noreturn nounwind }
25