1; RUN: llc < %s -mtriple=armv7-linux-gnueabihf -o - | FileCheck %s
2; RUN: llc < %s -mtriple=thumbv7em-none-eabi -mcpu=cortex-m4 | FileCheck %s --check-prefix=CHECK-M4F
3
4target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
5
6define arm_aapcs_vfpcc void @test_1float({ float } %a) {
7  call arm_aapcs_vfpcc void @test_1float({ float } { float 1.0 })
8  ret void
9
10; CHECK-LABEL: test_1float:
11; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
12; CHECK: bl test_1float
13
14; CHECK-M4F-LABEL: test_1float:
15; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
16; CHECK-M4F: bl test_1float
17}
18
19define arm_aapcs_vfpcc void @test_2float({ float, float } %a) {
20  call arm_aapcs_vfpcc void @test_2float({ float, float } { float 1.0, float 2.0 })
21  ret void
22
23; CHECK-LABEL: test_2float:
24; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
25; CHECK-DAG: vmov.f32 s1, #2.{{0+}}e+00
26; CHECK: bl test_2float
27
28; CHECK-M4F-LABEL: test_2float:
29; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
30; CHECK-M4F-DAG: vmov.f32 s1, #2.{{0+}}e+00
31; CHECK-M4F: bl test_2float
32}
33
34define arm_aapcs_vfpcc void @test_3float({ float, float, float } %a) {
35  call arm_aapcs_vfpcc void @test_3float({ float, float, float } { float 1.0, float 2.0, float 3.0 })
36  ret void
37
38; CHECK-LABEL: test_3float:
39; CHECK-DAG: vmov.f32 s0, #1.{{0+}}e+00
40; CHECK-DAG: vmov.f32 s1, #2.{{0+}}e+00
41; CHECK-DAG: vmov.f32 s2, #3.{{0+}}e+00
42; CHECK: bl test_3float
43
44; CHECK-M4F-LABEL: test_3float:
45; CHECK-M4F-DAG: vmov.f32 s0, #1.{{0+}}e+00
46; CHECK-M4F-DAG: vmov.f32 s1, #2.{{0+}}e+00
47; CHECK-M4F-DAG: vmov.f32 s2, #3.{{0+}}e+00
48; CHECK-M4F: bl test_3float
49}
50
51define arm_aapcs_vfpcc void @test_1double({ double } %a) {
52; CHECK-LABEL: test_1double:
53; CHECK-DAG: vmov.f64 d0, #1.{{0+}}e+00
54; CHECK: bl test_1double
55
56; CHECK-M4F-LABEL: test_1double:
57; CHECK-M4F: vldr d0, [[CP_LABEL:.*]]
58; CHECK-M4F: bl test_1double
59; CHECK-M4F: [[CP_LABEL]]
60; CHECK-M4F-NEXT: .long 0
61; CHECK-M4F-NEXT: .long 1072693248
62
63  call arm_aapcs_vfpcc void @test_1double({ double } { double 1.0 })
64  ret void
65}
66
67; Final double argument might be put in s15 & [sp] if we're careless. It should
68; go all on the stack.
69define arm_aapcs_vfpcc void @test_1double_nosplit([4 x float], [4 x double], [3 x float], double %a) {
70; CHECK-LABEL: test_1double_nosplit:
71; CHECK-DAG: mov [[ONELO:r[0-9]+]], #0
72; CHECK-DAG: movw [[ONEHI:r[0-9]+]], #0
73; CHECK-DAG: movt [[ONEHI]], #16368
74; CHECK: strd [[ONELO]], [[ONEHI]], [sp]
75; CHECK: bl test_1double_nosplit
76
77; CHECK-M4F-LABEL: test_1double_nosplit:
78; CHECK-M4F: movs [[ONEHI:r[0-9]+]], #0
79; CHECK-M4F: movs [[ONELO:r[0-9]+]], #0
80; CHECK-M4F: movt [[ONEHI]], #16368
81; CHECK-M4F: strd [[ONELO]], [[ONEHI]], [sp]
82; CHECK-M4F: bl test_1double_nosplit
83  call arm_aapcs_vfpcc void @test_1double_nosplit([4 x float] undef, [4 x double] undef, [3 x float] undef, double 1.0)
84  ret void
85}
86
87; Final double argument might go at [sp, #4] if we're careless. Should go at
88; [sp, #8] to preserve alignment.
89define arm_aapcs_vfpcc void @test_1double_misaligned([4 x double], [4 x double], float, double) {
90  call arm_aapcs_vfpcc void @test_1double_misaligned([4 x double] undef, [4 x double] undef, float undef, double 1.0)
91
92; CHECK-LABEL: test_1double_misaligned:
93; CHECK-DAG: movw [[ONEHI:r[0-9]+]], #0
94; CHECK-DAG: mov [[ONELO:r[0-9]+]], #0
95; CHECK-DAG: movt [[ONEHI]], #16368
96; CHECK-DAG: strd [[ONELO]], [[ONEHI]], [sp, #8]
97
98; CHECK-M4F-LABEL: test_1double_misaligned:
99; CHECK-M4F: movs [[ONEHI:r[0-9]+]], #0
100; CHECK-M4F: movs [[ONELO:r[0-9]+]], #0
101; CHECK-M4F: movt [[ONEHI]], #16368
102; CHECK-M4F: strd [[ONELO]], [[ONEHI]], [sp, #8]
103; CHECK-M4F: bl test_1double_misaligned
104
105  ret void
106}
107