xref: /llvm-project/llvm/test/CodeGen/SPARC/alloca-align.ll (revision 728490257ecc09ada707a0390303bd3c61027a53)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2; RUN: llc -mtriple=sparc < %s | FileCheck %s --check-prefixes=CHECK32
3; RUN: llc -mtriple=sparcv9 < %s | FileCheck %s --check-prefixes=CHECK64
4
5define void @variable_alloca_with_overalignment(i32 %num) nounwind {
6; CHECK32-LABEL: variable_alloca_with_overalignment:
7; CHECK32:       ! %bb.0:
8; CHECK32-NEXT:    save %sp, -96, %sp
9; CHECK32-NEXT:    add %sp, 80, %i1
10; CHECK32-NEXT:    and %i1, -64, %o0
11; CHECK32-NEXT:    add %o0, -96, %sp
12; CHECK32-NEXT:    add %i0, 7, %i0
13; CHECK32-NEXT:    and %i0, -8, %i0
14; CHECK32-NEXT:    sub %sp, %i0, %i0
15; CHECK32-NEXT:    add %i0, -8, %sp
16; CHECK32-NEXT:    call foo
17; CHECK32-NEXT:    add %i0, 88, %o1
18; CHECK32-NEXT:    ret
19; CHECK32-NEXT:    restore
20;
21; CHECK64-LABEL: variable_alloca_with_overalignment:
22; CHECK64:       ! %bb.0:
23; CHECK64-NEXT:    save %sp, -128, %sp
24; CHECK64-NEXT:    add %sp, 2159, %i1
25; CHECK64-NEXT:    and %i1, -64, %o0
26; CHECK64-NEXT:    add %o0, -2175, %sp
27; CHECK64-NEXT:    srl %i0, 0, %i0
28; CHECK64-NEXT:    add %i0, 15, %i0
29; CHECK64-NEXT:    sethi 4194303, %i1
30; CHECK64-NEXT:    or %i1, 1008, %i1
31; CHECK64-NEXT:    sethi 0, %i2
32; CHECK64-NEXT:    or %i2, 1, %i2
33; CHECK64-NEXT:    sllx %i2, 32, %i2
34; CHECK64-NEXT:    or %i2, %i1, %i1
35; CHECK64-NEXT:    and %i0, %i1, %i0
36; CHECK64-NEXT:    sub %sp, %i0, %i0
37; CHECK64-NEXT:    add %i0, 2175, %o1
38; CHECK64-NEXT:    mov %i0, %sp
39; CHECK64-NEXT:    call foo
40; CHECK64-NEXT:    add %sp, -48, %sp
41; CHECK64-NEXT:    add %sp, 48, %sp
42; CHECK64-NEXT:    ret
43; CHECK64-NEXT:    restore
44  %aligned = alloca i32, align 64
45  %var_size = alloca i8, i32 %num, align 4
46  call void @foo(ptr %aligned, ptr %var_size)
47  ret void
48}
49
50;; Same but with the alloca itself overaligned
51define void @variable_alloca_with_overalignment_2(i32 %num) nounwind {
52; CHECK32-LABEL: variable_alloca_with_overalignment_2:
53; CHECK32:       ! %bb.0:
54; CHECK32-NEXT:    save %sp, -96, %sp
55; CHECK32-NEXT:    add %i0, 7, %i0
56; CHECK32-NEXT:    and %i0, -8, %i0
57; CHECK32-NEXT:    sub %sp, %i0, %i0
58; CHECK32-NEXT:    add %i0, 88, %i0
59; CHECK32-NEXT:    and %i0, -64, %o1
60; CHECK32-NEXT:    add %o1, -96, %sp
61; CHECK32-NEXT:    call foo
62; CHECK32-NEXT:    mov %g0, %o0
63; CHECK32-NEXT:    ret
64; CHECK32-NEXT:    restore
65;
66; CHECK64-LABEL: variable_alloca_with_overalignment_2:
67; CHECK64:       ! %bb.0:
68; CHECK64-NEXT:    save %sp, -128, %sp
69; CHECK64-NEXT:    srl %i0, 0, %i0
70; CHECK64-NEXT:    add %i0, 15, %i0
71; CHECK64-NEXT:    sethi 4194303, %i1
72; CHECK64-NEXT:    or %i1, 1008, %i1
73; CHECK64-NEXT:    sethi 0, %i2
74; CHECK64-NEXT:    or %i2, 1, %i2
75; CHECK64-NEXT:    sllx %i2, 32, %i2
76; CHECK64-NEXT:    or %i2, %i1, %i1
77; CHECK64-NEXT:    and %i0, %i1, %i0
78; CHECK64-NEXT:    sub %sp, %i0, %i0
79; CHECK64-NEXT:    add %i0, 2175, %i0
80; CHECK64-NEXT:    and %i0, -64, %o1
81; CHECK64-NEXT:    add %o1, -2175, %sp
82; CHECK64-NEXT:    add %sp, -48, %sp
83; CHECK64-NEXT:    call foo
84; CHECK64-NEXT:    mov %g0, %o0
85; CHECK64-NEXT:    add %sp, 48, %sp
86; CHECK64-NEXT:    ret
87; CHECK64-NEXT:    restore
88  %var_size = alloca i8, i32 %num, align 64
89  call void @foo(ptr null, ptr %var_size)
90  ret void
91}
92
93declare void @foo(ptr, ptr);
94