|
121
|
1 ; Test the allocation of emergency spill slots.
|
|
|
2 ;
|
|
|
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
4
|
|
|
5 ; For frames of size less than 4096 - 2*160, no emercengy spill slot
|
|
|
6 ; is required. Check the maximum such case.
|
|
|
7 define void @f1(i64 %x) {
|
|
|
8 ; CHECK-LABEL: f1:
|
|
|
9 ; CHECK: stg %r2, 160(%r15)
|
|
|
10 ; CHECK: br %r14
|
|
|
11 %y = alloca [471 x i64], align 8
|
|
|
12 %ptr = getelementptr inbounds [471 x i64], [471 x i64]* %y, i64 0, i64 0
|
|
|
13 store volatile i64 %x, i64* %ptr
|
|
|
14 ret void
|
|
|
15 }
|
|
|
16
|
|
|
17 ; If the frame size is at least 4096 - 2*160, we do need the emergency
|
|
|
18 ; spill slots. Check the minimum such case.
|
|
|
19 define void @f2(i64 %x) {
|
|
|
20 ; CHECK-LABEL: f2:
|
|
|
21 ; CHECK: stg %r2, 176(%r15)
|
|
|
22 ; CHECK: br %r14
|
|
|
23 %y = alloca [472 x i64], align 8
|
|
|
24 %ptr = getelementptr inbounds [472 x i64], [472 x i64]* %y, i64 0, i64 0
|
|
|
25 store volatile i64 %x, i64* %ptr
|
|
|
26 ret void
|
|
|
27 }
|
|
|
28
|
|
|
29 ; However, if there are incoming stack arguments, those also need to be
|
|
|
30 ; in reach, so the maximum frame size without emergency spill slots is
|
|
|
31 ; 4096 - 2*160 - <size of incoming stack arguments>. Check the maximum
|
|
|
32 ; case where we still need no emergency spill slots ...
|
|
|
33 define void @f3(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack) {
|
|
|
34 ; CHECK-LABEL: f3:
|
|
|
35 ; CHECK: stg %r2, 160(%r15)
|
|
|
36 ; CHECK: br %r14
|
|
|
37 %y = alloca [470 x i64], align 8
|
|
|
38 %ptr = getelementptr inbounds [470 x i64], [470 x i64]* %y, i64 0, i64 0
|
|
|
39 store volatile i64 %x, i64* %ptr
|
|
|
40 ret void
|
|
|
41 }
|
|
|
42
|
|
|
43 ; ... and the minimum case where we do.
|
|
|
44 define void @f4(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack) {
|
|
|
45 ; CHECK-LABEL: f4:
|
|
|
46 ; CHECK: stg %r2, 176(%r15)
|
|
|
47 ; CHECK: br %r14
|
|
|
48 %y = alloca [471 x i64], align 8
|
|
|
49 %ptr = getelementptr inbounds [471 x i64], [471 x i64]* %y, i64 0, i64 0
|
|
|
50 store volatile i64 %x, i64* %ptr
|
|
|
51 ret void
|
|
|
52 }
|
|
|
53
|
|
|
54 ; Try again for the case of two stack arguments.
|
|
|
55 ; Check the maximum case where we still need no emergency spill slots ...
|
|
|
56 define void @f5(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack1, i64 %stack2) {
|
|
|
57 ; CHECK-LABEL: f5:
|
|
|
58 ; CHECK: stg %r2, 160(%r15)
|
|
|
59 ; CHECK: br %r14
|
|
|
60 %y = alloca [469 x i64], align 8
|
|
|
61 %ptr = getelementptr inbounds [469 x i64], [469 x i64]* %y, i64 0, i64 0
|
|
|
62 store volatile i64 %x, i64* %ptr
|
|
|
63 ret void
|
|
|
64 }
|
|
|
65
|
|
|
66 ; ... and the minimum case where we do.
|
|
|
67 define void @f6(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack1, i64 %stack2) {
|
|
|
68 ; CHECK-LABEL: f6:
|
|
|
69 ; CHECK: stg %r2, 176(%r15)
|
|
|
70 ; CHECK: br %r14
|
|
|
71 %y = alloca [470 x i64], align 8
|
|
|
72 %ptr = getelementptr inbounds [470 x i64], [470 x i64]* %y, i64 0, i64 0
|
|
|
73 store volatile i64 %x, i64* %ptr
|
|
|
74 ret void
|
|
|
75 }
|
|
|
76
|
