xref: /llvm-project/llvm/test/CodeGen/ARM/ha-alignstack-call.ll (revision 22df0886a1575439d0bf595f2b3a31c5255e9de6) 
1; RUN: llc --mtriple=armv7-eabihf %s -o - | FileCheck %s --enable-var-scope
2
3%struct.S0 = type { [4 x float] }
4%struct.S1 = type { [2 x float] }
5%struct.S2 = type { [4 x float] }
6%struct.D0 = type { [2 x double] }
7%struct.D1 = type { [2 x double] }
8%struct.D2 = type { [4 x double] }
9
10; pass in regs
11declare dso_local float @f0_0(double, double, double, double, double, double, %struct.S0) local_unnamed_addr #0
12define dso_local float @f0_0_call() local_unnamed_addr #0 {
13entry:
14  %call = tail call float @f0_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, %struct.S0 { [4 x float] [float 0x3FE3333340000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
15  ret float %call
16}
17; CHECK-LABEL: f0_0_call:
18; CHECK:       vldr s12, .L[[L:.*]]
19; CHECK:       b    f0_0
20; CHECK:      .L[[L]]:
21; CHECK-NEXT: .long 0x3f19999a
22
23; pass in memory, no split
24declare dso_local float @f0_1(double, double, double, double, double, double, float, %struct.S0) local_unnamed_addr #0
25define dso_local float @f0_1_call() local_unnamed_addr #0 {
26entry:
27  %call = tail call float @f0_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, float 0x3FE3333340000000, %struct.S0 { [4 x float] [float 0x3FE6666660000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
28  ret float %call
29}
30; CHECK-LABEL: f0_1_call:
31; CHECK:       movw r1, #13107
32; CHECK:       mov  r0, #0
33; CHECK:       movt r1, #16179
34; CHECK-DAG:   str  r1, [sp]
35; CHECK-DAG:   str  r0, [sp, #4]
36; CHECK-DAG:   str  r0, [sp, #8]
37; CHECK-DAG:   str  r0, [sp, #12]
38; CHECK:       bl   f0_1
39
40; pass memory, alignment 4
41declare dso_local float @f0_2(double, double, double, double, double, double, double, double, float, %struct.S0) local_unnamed_addr #0
42define dso_local float @f0_2_call() local_unnamed_addr #0 {
43entry:
44  %call = tail call float @f0_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.S0 { [4 x float] [float 0x3FECCCCCC0000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
45  ret float %call
46}
47; CHECK-LABEL: f0_2_call:
48; CHECK:       movw r1, #26214
49; CHECK:       movw r2, #52429
50; CHECK:       mov  r0, #0
51; CHECK:       movt r1, #16230
52; CHECK:       movt r2, #16204
53; CHECK-DAG:   str  r2, [sp]
54; CHECK-DAG:   str  r1, [sp, #4]
55; CHECK-DAG:   str  r0, [sp, #8]
56; CHECK-DAG:   str  r0, [sp, #12]
57; CHECK-DAG:   str  r0, [sp, #16]
58; CHECK:       bl       f0_2
59
60; pass in regs
61declare dso_local float @f1_0(double, double, double, double, double, double, double, %struct.S1 alignstack(8)) local_unnamed_addr #0
62define dso_local float @f1_0_call() local_unnamed_addr #0 {
63entry:
64  %call = tail call float @f1_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, %struct.S1 alignstack(8) { [2 x float] [float 0x3FE6666660000000, float 0.000000e+00] }) #0
65  ret float %call
66}
67; CHECK-LABEL: f1_0_call:
68; CHECK-DAG:   vldr s14, .L[[L0:.*]]
69; CHECK-DAG:   vldr s15, .L[[L1:.*]]
70; CHECK:       b    f1_0
71; CHECK:       .L[[L0]]:
72; CHECK-NEXT:  .long 0x3f333333
73; CHECK:       .L[[L1:.*]]:
74; CHECK-NEXT:  .long 0x00000000
75
76; pass in memory, no split
77declare dso_local float @f1_1(double, double, double, double, double, double, double, float, %struct.S1 alignstack(8)) local_unnamed_addr #0
78define dso_local float @f1_1_call() local_unnamed_addr #0 {
79entry:
80  %call = tail call float @f1_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, float 0x3FE6666660000000, %struct.S1 alignstack(8) { [2 x float] [float 0x3FE99999A0000000, float 0.000000e+00] }) #0
81  ret float %call
82}
83; CHECK-LABEL: f1_1_call:
84; CHECK:       movw r0, #52429
85; CHECK:       mov  r1, #0
86; CHECK:       movt r0, #16204
87; CHECK-DAG:   strd r0, r1, [sp]
88; CHECK:       bl   f1_1
89
90; pass in memory, alignment 8
91declare dso_local float @f1_2(double, double, double, double, double, double, double, double, float, %struct.S1 alignstack(8)) local_unnamed_addr #0
92define dso_local float @f1_2_call() local_unnamed_addr #0 {
93entry:
94  %call = tail call float @f1_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.S1 alignstack(8) { [2 x float] [float 0x3FECCCCCC0000000, float 0.000000e+00] }) #0
95  ret float %call
96}
97; CHECK-LABEL: f1_2_call:
98; CHECK-DAG:   movw  r0, #26214
99; CHECK-DAG:   mov   r1, #0
100; CHECK:       movt  r0, #16230
101; CHECK:       strd  r0, r1, [sp, #8]
102; CHECK:       movw  r0, #52429
103; CHECK:       movt  r0, #16204
104; CHECK-DAG:   str   r0, [sp]
105; CHECK:       bl    f1_2
106
107
108; pass in registers
109declare dso_local float @f2_0(double, double, double, double, double, double, %struct.S2 alignstack(8)) local_unnamed_addr #0
110define dso_local float @f2_0_call() local_unnamed_addr #0 {
111entry:
112  %call = tail call float @f2_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, %struct.S2 alignstack(8) { [4 x float] [float 0x3FE3333340000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
113  ret float %call
114}
115; CHECK-LABEL: f2_0_call:
116; CHECK-DAG:   vldr     s12, .L[[L0:.*]]
117; CHECK-DAG:   vldr     s13, .L[[L1:.*]]
118; CHECK-DAG:   vmov.f32 s14, s13
119; CHECK-DAG:   vmov.f32 s15, s13
120; CHECK:       b        f2_0
121; CHECK:       .L[[L0]]:
122; CHECK-NEXT:  .long 0x3f19999a
123; CHECK:       .L[[L1]]:
124; CHECK-NEXT:  .long 0x00000000
125
126; pass in memory, no split
127declare dso_local float @f2_1(double, double, double, double, double, double, float, %struct.S2 alignstack(8)) local_unnamed_addr #0
128define dso_local float @f2_1_call() local_unnamed_addr #0 {
129entry:
130  %call = tail call float @f2_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, float 0x3FE3333340000000, %struct.S2 alignstack(8) { [4 x float] [float 0x3FE6666660000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
131  ret float %call
132}
133; CHECK-LABEL: f2_1_call:
134; CHECK:       movw  r1, #13107
135; CHECK:       mov   r0, #0
136; CHECK:       movt  r1, #16179
137; CHECK:       str   r1, [sp]
138; CHECK:       str   r0, [sp, #4]
139; CHECK:       vldr  s12, .L[[L:.*]]
140; CHECK:       str   r0, [sp, #8]
141; CHECK:       str   r0, [sp, #12]
142; CHECK:       bl    f2_1
143; CHECK:       .L[[L]]:
144; CHECK-NEXT:  .long    0x3f19999a
145
146; pass in memory, alignment 8
147declare dso_local float @f2_2(double, double, double, double, double, double, double, double, float, %struct.S2 alignstack(8)) local_unnamed_addr #0
148define dso_local float @f2_2_call() local_unnamed_addr #0 {
149entry:
150  %call = tail call float @f2_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.S2 alignstack(8) { [4 x float] [float 0x3FECCCCCC0000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00] }) #0
151  ret float %call
152}
153; CHECK-LABEL: f2_2_call:
154; CHECK:       mov  r0, #0
155; CHECK:       movw r1, #26214
156; CHECK:       str  r0, [sp, #12]
157; CHECK:       str  r0, [sp, #16]
158; CHECK:       movt r1, #16230
159; CHECK:       str  r0, [sp, #20]
160; CHECK:       movw r0, #52429
161; CHECK:       movt r0, #16204
162; CHECK:       str  r1, [sp, #8]
163; CHECK:       str  r0, [sp]
164; CHECK:       bl   f2_2
165
166; pass in registers
167declare dso_local double @g0_0(double, double, double, double, double, double, %struct.D0) local_unnamed_addr #0
168define dso_local double @g0_0_call() local_unnamed_addr #0 {
169entry:
170  %call = tail call double @g0_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, %struct.D0 { [2 x double] [double 6.000000e-01, double 0.000000e+00] }) #0
171  ret double %call
172}
173; CHECK-LABEL: g0_0_call:
174; CHECK:       vldr    d6, .L[[L:.*]]
175; CHECK:       b    g0_0
176; CHECK:       .L[[L]]
177; CHECK-NEXT:  long 858993459
178; CHECK-NEXT:  long 1071854387
179
180; pass in memory, no split
181declare dso_local double @g0_1(double, double, double, double, double, double, double, %struct.D0) local_unnamed_addr #0
182define dso_local double @g0_1_call() local_unnamed_addr #0 {
183entry:
184  %call = tail call double @g0_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, %struct.D0 { [2 x double] [double 0x3FE6666666666666, double 0.000000e+00] }) #0
185  ret double %call
186}
187; CHECK-LABEL: g0_1_call:
188; CHECK:       movw  r0, #26214
189; CHECK:       movw  r1, #26214
190; CHECK:       mov   r2, #0
191; CHECK:       movt  r0, #16358
192; CHECK:       movt  r1, #26214
193; CHECK:       str   r1, [sp]
194; CHECK:       stmib sp, {r0, r2}
195; CHECK:       str   r2, [sp, #12]
196; CHECK:       bl    g0_1
197
198; pass in memory, alignment 8
199declare dso_local double @g0_2(double, double, double, double, double, double, double, double, float, %struct.D0) local_unnamed_addr #0
200define dso_local double @g0_2_call() local_unnamed_addr #0 {
201entry:
202  %call = tail call double @g0_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.D0 { [2 x double] [double 9.000000e-01, double 0.000000e+00] }) #0
203  ret double %call
204}
205; CHECK-LABEL: g0_2_call:
206; CHECK:       movw r0, #52428
207; CHECK:       movt r0, #16364
208; CHECK:       movw r1, #52429
209; CHECK:       str  r0, [sp, #12]
210; CHECK:       movw r0, #52429
211; CHECK:       mov  r2, #0
212; CHECK:       movt r1, #52428
213; CHECK:       movt r0, #16204
214; CHECK:       str  r1, [sp, #8]
215; CHECK:       str  r2, [sp, #16]
216; CHECK:       str  r2, [sp, #20]
217; CHECK:       str  r0, [sp]
218; CHECK:       bl   g0_2
219
220; pass in registers
221declare dso_local double @g1_0(double, double, double, double, double, double, %struct.D1 alignstack(8)) local_unnamed_addr #0
222define dso_local double @g1_0_call() local_unnamed_addr #0 {
223entry:
224  %call = tail call double @g1_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, %struct.D1 alignstack(8) { [2 x double] [double 6.000000e-01, double 0.000000e+00] }) #0
225  ret double %call
226}
227; CHECK-LABEL: g1_0_call:
228; CHECK-DAG:   vmov.i32 d7, #0x0
229; CHECK-DAG:   vldr     d6, .L[[L:.*]]
230; CHECK:       b        g1_0
231; CHECK:      .L[[L]]:
232; CHECK-NEXT: .long    858993459
233; CHECK-NEXT: .long    107185438
234
235; pass in memory, no split
236declare dso_local double @g1_1(double, double, double, double, double, double, double, %struct.D1 alignstack(8)) local_unnamed_addr #0
237define dso_local double @g1_1_call() local_unnamed_addr #0 {
238entry:
239  %call = tail call double @g1_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, %struct.D1 alignstack(8) { [2 x double] [double 0x3FE6666666666666, double 0.000000e+00] }) #0
240  ret double %call
241}
242; CHECK-LABEL: g1_1_call:
243; CHECK:       movw  r0, #26214
244; CHECK:       movw  r1, #26214
245; CHECK:       mov   r2, #0
246; CHECK:       movt  r0, #16358
247; CHECK:       movt  r1, #26214
248; CHECK:       str   r1, [sp]
249; CHECK:       stmib sp, {r0, r2}
250; CHECK:       str   r2, [sp, #12]
251; CHECK:       bl    g1_1
252
253; pass in memory, alignment 8
254declare dso_local double @g1_2(double, double, double, double, double, double, double, double, float, %struct.D1 alignstack(8)) local_unnamed_addr #0
255define dso_local double @g1_2_call() local_unnamed_addr #0 {
256entry:
257  %call = tail call double @g1_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.D1 alignstack(8) { [2 x double] [double 9.000000e-01, double 0.000000e+00] }) #0
258  ret double %call
259}
260; CHECK-LABEL: g1_2_call:
261; CHECK:       movw r0, #52428
262; CHECK:       movt r0, #16364
263; CHECK:       movw r1, #52429
264; CHECK:       str  r0, [sp, #12]
265; CHECK:       movw r0, #52429
266; CHECK:       mov  r2, #0
267; CHECK:       movt r1, #52428
268; CHECK:       movt r0, #16204
269; CHECK:       str  r1, [sp, #8]
270; CHECK:       str  r2, [sp, #16]
271; CHECK:       str  r2, [sp, #20]
272; CHECK:       str  r0, [sp]
273; CHECK:       bl   g1_2
274
275; pass in registers
276declare dso_local double @g2_0(double, double, double, double, %struct.D2 alignstack(8)) local_unnamed_addr #0
277define dso_local double @g2_0_call() local_unnamed_addr #0 {
278entry:
279  %call = tail call double @g2_0(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, %struct.D2 alignstack(8) { [4 x double] [double 4.000000e-01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00] }) #0
280  ret double %call
281}
282; CHECK-LABEL: g2_0_call:
283; CHECK-DAG:   vldr     d4, .L[[L:.*]]
284; CHECK-DAG:   vmov.i32 d5, #0x0
285; CHECK-DAG:   vmov.i32 d6, #0x0
286; CHECK-DAG:   vmov.i32 d7, #0x0
287; CHECK:       b        g2_0
288; CHECK:       .L[[L]]:
289; CHECK-NEXT:  .long    2576980378
290; CHECK-NEXT:  .long    1071225241
291
292; pass in memory, no split
293; [sp] [sp + 4] =  0x00000000 0x3fe00000 = .5
294; [sp + 8] [sp + 12] = 0 0 = .0
295; ...
296declare dso_local double @g2_1(double, double, double, double, double, %struct.D2 alignstack(8)) local_unnamed_addr #0
297define dso_local double @g2_1_call() local_unnamed_addr #0 {
298entry:
299  %call = tail call double @g2_1(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, %struct.D2 alignstack(8) { [4 x double] [double 5.000000e-01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00] }) #0
300  ret double %call
301}
302; CHECK-LABEL: g2_1_call:
303; CHECK:       vmov.f64 d16, #5.000000e-01
304; CHECK:       mov    r0, #0
305; CHECK:       str    r0, [sp, #8]
306; CHECK:       str    r0, [sp, #12]
307; CHECK:       str    r0, [sp, #16]
308; CHECK:       vmov.i32 d0, #0x0
309; CHECK:       str    r0, [sp, #20]
310; CHECK:       str    r0, [sp, #24]
311; CHECK:       str    r0, [sp, #28]
312; CHECK:       vstr   d16, [sp]
313; CHECK:       bl    g2_1
314
315; pass in memory, alignment 8
316declare dso_local double @g2_2(double, double, double, double, double, double, double, double, float, %struct.D2 alignstack(8)) local_unnamed_addr #0
317define dso_local double @g2_2call() local_unnamed_addr #0 {
318entry:
319  %call = tail call double @g2_2(double 0.000000e+00, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01, double 6.000000e-01, double 0x3FE6666666666666, float 0x3FE99999A0000000, %struct.D2 alignstack(8) { [4 x double] [double 9.000000e-01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00] }) #0
320  ret double %call
321}
322; CHECK-LABEL: g2_2call:
323; CHECK:       movw r0, #52428
324; CHECK:       movt r0, #16364
325; CHECK:       movw r1, #52429
326; CHECK:       str  r0, [sp, #12]
327; CHECK:       movw r0, #52429
328; CHECK:       mov  r2, #0
329; CHECK:       movt r1, #52428
330; CHECK:       movt r0, #16204
331; CHECK:       str  r1, [sp, #8]
332; CHECK:       str  r2, [sp, #16]
333; CHECK:       str  r2, [sp, #20]
334; CHECK:       str  r2, [sp, #24]
335; CHECK:       str  r2, [sp, #28]
336; CHECK:       str  r2, [sp, #32]
337; CHECK:       str  r2, [sp, #36]
338; CHECK:       str  r0, [sp]
339; CHECK:       bl   g2_2
340
341attributes #0 = { nounwind "target-cpu"="generic" "target-features"="+armv7-a,+d32,+dsp,+fp64,+neon,+strict-align,+vfp2,+vfp2sp,+vfp3,+vfp3d16,+vfp3d16sp,+vfp3sp,-thumb-mode" }
342