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