1# Test cases where we spill from one frame index to another, both of which
2# are out of range of MVC, and both of which need emergency spill slots.
3# RUN: python %s | llc -mtriple=s390x-linux-gnu | FileCheck %s
4
5# CHECK: f1:
6# CHECK: %fallthru
7# CHECK-DAG: stg [[REG1:%r[0-9]+]], 8168(%r15)
8# CHECK-DAG: stg [[REG2:%r[0-9]+]], 8176(%r15)
9# CHECK-DAG: lay [[REG3:%r[0-9]+]], 8192(%r15)
10# CHECK-DAG: lay [[REG4:%r[0-9]+]], 4096(%r15)
11# CHECK: mvc 0(8,[[REG3]]), 4088([[REG4]])
12# CHECK-DAG: lg [[REG1]], 8168(%r15)
13# CHECK-DAG: lg [[REG2]], 8176(%r15)
14# CHECK: %skip
15# CHECK: br %r14
16
17# Arrange for %foo's spill slot to be at 8184(%r15) and the alloca area to be at
18# 8192(%r15).  The two emergency spill slots live below that, so this requires
19# the first 8168 bytes to be used for the call.  160 of these bytes are
20# allocated for the ABI frame.  There are also 5 argument registers, one of
21# which is used as a base pointer.
22
23from __future__ import print_function
24
25args = int((8168 - 160) / 8 + (5 - 1))
26
27print('declare i64 *@foo(i64 *%s)' % (', i64' * args))
28print('declare void @bar(i64 *)')
29print('')
30print('define i64 @f1(i64 %foo) {')
31print('entry:')
32
33# Make the allocation big, so that it goes at the top of the frame.
34print('  %array = alloca [1000 x i64]')
35print('  %area = getelementptr [1000 x i64], [1000 x i64] *%array, i64 0, i64 0')
36print('  %%base = call i64 *@foo(i64 *%%area%s)' % (', i64 0' * args))
37print('')
38
39# Make sure all GPRs are used.  One is needed for the stack pointer and
40# another for %base, so we need 14 live values.
41count = 14
42for i in range(count):
43    print('  %%ptr%d = getelementptr i64, i64 *%%base, i64 %d' % (i, i / 2))
44    print('  %%val%d = load volatile i64 , i64 *%%ptr%d' % (i, i))
45    print('')
46
47# Encourage the register allocator to give preference to these %vals
48# by using them several times.
49for j in range(4):
50    for i in range(count):
51        print('  store volatile i64 %%val%d, i64 *%%ptr%d' % (i, i))
52    print('')
53
54# Copy the incoming argument, which we expect to be spilled, to the frame
55# index for the alloca area.  Also throw in a volatile store, so that this
56# block cannot be reordered with the surrounding code.
57print('  %cond = icmp eq i64 %val0, %val1')
58print('  br i1 %cond, label %skip, label %fallthru')
59print('')
60print('fallthru:')
61print('  store i64 %foo, i64 *%area')
62print('  store volatile i64 %val0, i64 *%ptr0')
63print('  br label %skip')
64print('')
65print('skip:')
66
67# Use each %val a few more times to emphasise the point, and to make sure
68# that they are live across the store of %foo.
69for j in range(4):
70    for i in range(count):
71        print('  store volatile i64 %%val%d, i64 *%%ptr%d' % (i, i))
72    print('')
73
74print('  call void @bar(i64 *%area)')
75print('  ret i64 0')
76print('}')
77