xref: /aosp_15_r20/external/llvm/test/CodeGen/ARM/byval-align.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: llc -mtriple=thumbv7-apple-ios8.0 %s -o - | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; This checks that alignments greater than 4 are respected by APCS
4*9880d681SAndroid Build Coastguard Worker; targets. Mostly here to make sure *some* correct code is created after some
5*9880d681SAndroid Build Coastguard Worker; simplifying refactoring; at the time of writing there were no actual APCS
6*9880d681SAndroid Build Coastguard Worker; users of byval alignments > 4, so no real calls for ABI stability.
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker; "byval align 16" can't fit in any regs with an i8* taking up r0.
9*9880d681SAndroid Build Coastguard Workerdefine i32 @test_align16(i8*, [4 x i32]* byval align 16 %b) {
10*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test_align16:
11*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: sub sp
12*9880d681SAndroid Build Coastguard Worker; CHECK: push {r4, r7, lr}
13*9880d681SAndroid Build Coastguard Worker; CHECK: add r7, sp, #4
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Worker; CHECK: ldr r0, [r7, #8]
16*9880d681SAndroid Build Coastguard Worker
17*9880d681SAndroid Build Coastguard Worker  call void @bar()
18*9880d681SAndroid Build Coastguard Worker  %valptr = getelementptr [4 x i32], [4 x i32]* %b, i32 0, i32 0
19*9880d681SAndroid Build Coastguard Worker  %val = load i32, i32* %valptr
20*9880d681SAndroid Build Coastguard Worker  ret i32 %val
21*9880d681SAndroid Build Coastguard Worker}
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Worker; byval align 8 can, but we used to incorrectly set r7 here (miscalculating the
24*9880d681SAndroid Build Coastguard Worker; space taken up by arg regs).
25*9880d681SAndroid Build Coastguard Workerdefine i32 @test_align8(i8*, [4 x i32]* byval align 8 %b) {
26*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test_align8:
27*9880d681SAndroid Build Coastguard Worker; CHECK: sub sp, #8
28*9880d681SAndroid Build Coastguard Worker; CHECK: push {r4, r7, lr}
29*9880d681SAndroid Build Coastguard Worker; CHECK: add r7, sp, #4
30*9880d681SAndroid Build Coastguard Worker
31*9880d681SAndroid Build Coastguard Worker; CHECK: strd r2, r3, [r7, #8]
32*9880d681SAndroid Build Coastguard Worker
33*9880d681SAndroid Build Coastguard Worker; CHECK: ldr r0, [r7, #8]
34*9880d681SAndroid Build Coastguard Worker
35*9880d681SAndroid Build Coastguard Worker  call void @bar()
36*9880d681SAndroid Build Coastguard Worker  %valptr = getelementptr [4 x i32], [4 x i32]* %b, i32 0, i32 0
37*9880d681SAndroid Build Coastguard Worker  %val = load i32, i32* %valptr
38*9880d681SAndroid Build Coastguard Worker  ret i32 %val
39*9880d681SAndroid Build Coastguard Worker}
40*9880d681SAndroid Build Coastguard Worker
41*9880d681SAndroid Build Coastguard Worker; "byval align 32" can't fit in regs no matter what: it would be misaligned
42*9880d681SAndroid Build Coastguard Worker; unless the incoming stack was deliberately misaligned.
43*9880d681SAndroid Build Coastguard Workerdefine i32 @test_align32(i8*, [4 x i32]* byval align 32 %b) {
44*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test_align32:
45*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: sub sp
46*9880d681SAndroid Build Coastguard Worker; CHECK: push {r4, r7, lr}
47*9880d681SAndroid Build Coastguard Worker; CHECK: add r7, sp, #4
48*9880d681SAndroid Build Coastguard Worker
49*9880d681SAndroid Build Coastguard Worker; CHECK: ldr r0, [r7, #8]
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Worker  call void @bar()
52*9880d681SAndroid Build Coastguard Worker  %valptr = getelementptr [4 x i32], [4 x i32]* %b, i32 0, i32 0
53*9880d681SAndroid Build Coastguard Worker  %val = load i32, i32* %valptr
54*9880d681SAndroid Build Coastguard Worker  ret i32 %val
55*9880d681SAndroid Build Coastguard Worker}
56*9880d681SAndroid Build Coastguard Worker
57*9880d681SAndroid Build Coastguard Worker; When passing an object "byval align N", the stack must be at least N-aligned.
58*9880d681SAndroid Build Coastguard Workerdefine void @test_call_align16() {
59*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: test_call_align16:
60*9880d681SAndroid Build Coastguard Worker; CHECK: push {r4, r7, lr}
61*9880d681SAndroid Build Coastguard Worker; CHECK: add r7, sp, #4
62*9880d681SAndroid Build Coastguard Worker
63*9880d681SAndroid Build Coastguard Worker; CHECK: mov [[TMP:r[0-9]+]], sp
64*9880d681SAndroid Build Coastguard Worker; CHECK: bfc [[TMP]], #0, #4
65*9880d681SAndroid Build Coastguard Worker; CHECK: mov sp, [[TMP]]
66*9880d681SAndroid Build Coastguard Worker
67*9880d681SAndroid Build Coastguard Worker; While we're here, make sure the caller also puts it at sp
68*9880d681SAndroid Build Coastguard Worker  ; CHECK: mov r[[BASE:[0-9]+]], sp
69*9880d681SAndroid Build Coastguard Worker  ; CHECK: vst1.32 {d{{[0-9]+}}, d{{[0-9]+}}}, [r[[BASE]]]
70*9880d681SAndroid Build Coastguard Worker  call i32 @test_align16(i8* null, [4 x i32]* byval align 16 @var)
71*9880d681SAndroid Build Coastguard Worker  ret void
72*9880d681SAndroid Build Coastguard Worker}
73*9880d681SAndroid Build Coastguard Worker
74*9880d681SAndroid Build Coastguard Worker@var = global [4 x i32] zeroinitializer
75*9880d681SAndroid Build Coastguard Workerdeclare void @bar()
76