1; RUN: llc -mtriple=thumbv8m.main -mcpu=cortex-m33 --float-abi=hard %s -o - | \
2; RUN:   FileCheck %s
3
4@g = hidden local_unnamed_addr global float (...)* null, align 4
5@a = hidden local_unnamed_addr global float 0.000000e+00, align 4
6
7define hidden void @f() local_unnamed_addr #0 {
8entry:
9  %0 = load float ()*, float ()** bitcast (float (...)** @g to float ()**), align 4
10  %call = tail call nnan ninf nsz float %0() #1
11  store float %call, float* @a, align 4
12  ret void
13}
14
15; CHECK: blxns r{{[0-9]+}}
16; CHECK: vmov  r[[T:[0-9]+]], s0
17; CHECK: vlldm sp
18; CHECK: vmov  s0, r[[T]]
19
20attributes #0 = { nounwind }
21attributes #1 = { nounwind "cmse_nonsecure_call" }
22