1# RUN: llc -mtriple=aarch64-none-linux-gnu -start-before=greedy -stop-after=prologepilog %s -o - | FileCheck %s
2...
3# Ensure that an object with a different stack-id is not allocated to a
4# callee-save slot using stack-slot scavenging. This test saves X28 which
5# creates a hole in the CSR stack region, but it should not be saved to.
6# Instead of saving to SP + 1 (which would be the hole in the region), it
7# should save to SP + 2 (since AArch64 codegen currently does not support
8# (and thus allocate) objects with a stack-id > 0).
9name:            test_no_stackslot_scavenging
10# CHECK: name: test_no_stackslot_scavenging
11# CHECK: STRXui $x0, $sp, 2
12tracksRegLiveness: true
13frameInfo:
14  maxAlignment:  16
15stack:
16  - { id: 0, stack-id: noalloc, size: 8, alignment: 8 }
17body:             |
18  bb.0.entry:
19    liveins: $x0
20    STRXui $x0, %stack.0, 0
21    ; Force preserve a CSR to create a hole in the CSR stack region.
22    $x28 = IMPLICIT_DEF
23    RET_ReallyLR
24---
25