test/CodeGen/AArch64/stack-id-stackslot-scavenging.mir

   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).
   9 name:            test_no_stackslot_scavenging
  10 # CHECK: name: test_no_stackslot_scavenging
  11 # CHECK: STRXui $x0, $sp, 2
  12 tracksRegLiveness: true
  13 frameInfo:
  14   maxAlignment:  16
  15 stack:
  16   - { id: 0, stack-id: noalloc, size: 8, alignment: 8 }
  17 body:             |
  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 ---