11ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# Test cases where MVC is used for spill slots that end up being out of range. 21ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# RUN: python %s | llc -mtriple=s390x-linux-gnu | FileCheck %s 31ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 41ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# There are 8 usable call-saved GPRs, two of which are needed for the base 51ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# registers. The first 160 bytes of the frame are needed for the ABI 61ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# call frame, and a further 8 bytes are needed for the emergency spill slot. 71ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# That means we will have at least one out-of-range slot if: 81ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# 91ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# count == (4096 - 168) / 8 + 6 + 1 == 498 101ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# 111ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# Add in some extra room and check both %r15+4096 (the first out-of-range slot) 121ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# and %r15+4104. 131ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# 141ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: f1: 151ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: lay [[REG:%r[0-5]]], 4096(%r15) 161ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: mvc 0(8,[[REG]]), {{[0-9]+}}({{%r[0-9]+}}) 171ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: brasl %r14, foo@PLT 181ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: lay [[REG:%r[0-5]]], 4096(%r15) 191ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: mvc {{[0-9]+}}(8,{{%r[0-9]+}}), 8([[REG]]) 201ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford# CHECK: br %r14 211ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordcount = 500 221ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 231ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint 'declare void @foo()' 241ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint '' 251ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint 'define void @f1(i64 *%base0, i64 *%base1) {' 261ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 271ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordfor i in range(count): 281ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford print ' %%ptr%d = getelementptr i64 *%%base%d, i64 %d' % (i, i % 2, i / 2) 291ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford print ' %%val%d = load i64 *%%ptr%d' % (i, i) 301ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford print '' 311ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 321ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint ' call void @foo()' 331ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint '' 341ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 351ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordfor i in range(count): 361ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford print ' store i64 %%val%d, i64 *%%ptr%d' % (i, i) 371ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandiford 381ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint '' 391ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint ' ret void' 401ce4894a3f1ce6e63c1b109c24235d81dea2908fRichard Sandifordprint '}' 41