blob: 954860219d194bc190bc910f59341dd55ceec6fb [file] [log] [blame]
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +00001; RUN: llc < %s -mtriple=armv7-none-linux-gnueabi | FileCheck %s
2; Test that we correctly use registers and align elements when using va_arg
3
4%struct_t = type { double, double, double }
5@static_val = constant %struct_t { double 1.0, double 2.0, double 3.0 }
6
7declare void @llvm.va_start(i8*) nounwind
8declare void @llvm.va_end(i8*) nounwind
9
Stephen Linf799e3f2013-07-13 20:38:47 +000010; CHECK-LABEL: test_byval_8_bytes_alignment:
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000011define void @test_byval_8_bytes_alignment(i32 %i, ...) {
12entry:
Tim Northover8cda34f2015-03-11 18:54:22 +000013; CHECK: sub sp, sp, #12
14; CHECK: sub sp, sp, #4
Nirav Dave54e22f32017-03-14 00:34:14 +000015; CHECK: add r0, sp, #4
Nirav Daveda8f2212017-05-16 19:43:56 +000016; CHECK: stmib sp, {r1, r2, r3}
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000017 %g = alloca i8*
18 %g1 = bitcast i8** %g to i8*
19 call void @llvm.va_start(i8* %g1)
20
21; CHECK: add [[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
Eli Friedman75631c92017-04-07 22:01:23 +000022; CHECK: bic [[REG]], [[REG]], #7
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000023 %0 = va_arg i8** %g, double
24 call void @llvm.va_end(i8* %g1)
Stepan Dyatkovskiye58df622013-04-04 16:11:18 +000025
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000026 ret void
27}
28
Stephen Lind24ab202013-07-14 06:24:09 +000029; CHECK-LABEL: main:
Quentin Colombet663150f2013-06-20 22:51:44 +000030; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
31; CHECK: movt [[BASE]], :upper16:static_val
32; ldm is not formed when the coalescer failed to coalesce everything.
Andrew Trick84852572013-07-25 18:35:14 +000033; CHECK: ldrd r2, [[TMP:r[0-9]+]], {{\[}}[[BASE]]{{\]}}
Quentin Colombet663150f2013-06-20 22:51:44 +000034; CHECK: movw r0, #555
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000035define i32 @main() {
36entry:
David Blaikie23af6482015-04-16 23:24:18 +000037 call void (i32, ...) @test_byval_8_bytes_alignment(i32 555, %struct_t* byval @static_val)
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000038 ret i32 0
39}
40
41declare void @f(double);
42
Stephen Linf799e3f2013-07-13 20:38:47 +000043; CHECK-LABEL: test_byval_8_bytes_alignment_fixed_arg:
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000044; CHECK-NOT: str r1
45; CHECK: str r3, [sp, #12]
46; CHECK: str r2, [sp, #8]
47; CHECK-NOT: str r1
48define void @test_byval_8_bytes_alignment_fixed_arg(i32 %n1, %struct_t* byval %val) nounwind {
49entry:
David Blaikie79e6c742015-02-27 19:29:02 +000050 %a = getelementptr inbounds %struct_t, %struct_t* %val, i32 0, i32 0
David Blaikiea79ac142015-02-27 21:17:42 +000051 %0 = load double, double* %a
David Blaikie23af6482015-04-16 23:24:18 +000052 call void (double) @f(double %0)
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000053 ret void
54}
55
Stephen Lind24ab202013-07-14 06:24:09 +000056; CHECK-LABEL: main_fixed_arg:
Quentin Colombet663150f2013-06-20 22:51:44 +000057; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
58; CHECK: movt [[BASE]], :upper16:static_val
59; ldm is not formed when the coalescer failed to coalesce everything.
Andrew Trick84852572013-07-25 18:35:14 +000060; CHECK: ldrd r2, [[TMP:r[0-9]+]], {{\[}}[[BASE]]{{\]}}
Quentin Colombet663150f2013-06-20 22:51:44 +000061; CHECK: movw r0, #555
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000062define i32 @main_fixed_arg() {
63entry:
David Blaikie23af6482015-04-16 23:24:18 +000064 call void (i32, %struct_t*) @test_byval_8_bytes_alignment_fixed_arg(i32 555, %struct_t* byval @static_val)
Stepan Dyatkovskiye59a9202012-10-16 07:16:47 +000065 ret i32 0
66}