xref: /llvm-project/llvm/test/CodeGen/ARM/2012-10-04-AAPCS-byval-align8.ll (revision bed1c7f061aa12417aa081e334afdba45767b938)
1; 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(ptr) nounwind
8declare void @llvm.va_end(ptr) nounwind
9
10; CHECK-LABEL: test_byval_8_bytes_alignment:
11define void @test_byval_8_bytes_alignment(i32 %i, ...) {
12entry:
13; CHECK: sub       sp, sp, #16
14; CHECK: add       r0, sp, #4
15; CHECK: stmib     sp, {r1, r2, r3}
16  %g = alloca ptr
17  call void @llvm.va_start(ptr %g)
18
19; CHECK: add	[[REG:(r[0-9]+)|(lr)]], {{(r[0-9]+)|(lr)}}, #7
20; CHECK: bic	[[REG]], [[REG]], #7
21  %0 = va_arg ptr %g, double
22  call void @llvm.va_end(ptr %g)
23
24  ret void
25}
26
27; CHECK-LABEL: main:
28; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
29; CHECK: movt [[BASE]], :upper16:static_val
30; ldm is not formed when the coalescer failed to coalesce everything.
31; CHECK: ldrd    r2, [[TMP:r[0-9]+]], [[[BASE]]]
32; CHECK: movw r0, #555
33define i32 @main() {
34entry:
35  call void (i32, ...) @test_byval_8_bytes_alignment(i32 555, ptr byval(%struct_t) @static_val)
36  ret i32 0
37}
38
39declare void @f(double);
40
41; CHECK-LABEL:     test_byval_8_bytes_alignment_fixed_arg:
42; CHECK-NOT:   str     r1
43; CHECK-DAG:   str     r3, [sp, #12]
44; CHECK-DAG:   str     r2, [sp, #8]
45; CHECK-NOT:   str     r1
46define void @test_byval_8_bytes_alignment_fixed_arg(i32 %n1, ptr byval(%struct_t) %val) nounwind {
47entry:
48  %0 = load double, ptr %val
49  call void (double) @f(double %0)
50  ret void
51}
52
53; CHECK-LABEL: main_fixed_arg:
54; CHECK: movw [[BASE:r[0-9]+]], :lower16:static_val
55; CHECK: movt [[BASE]], :upper16:static_val
56; ldm is not formed when the coalescer failed to coalesce everything.
57; CHECK: ldrd     r2, [[TMP:r[0-9]+]], [[[BASE]]]
58; CHECK: movw r0, #555
59define i32 @main_fixed_arg() {
60entry:
61  call void (i32, ptr) @test_byval_8_bytes_alignment_fixed_arg(i32 555, ptr byval(%struct_t) @static_val)
62  ret i32 0
63}
64