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