test/CodeGen/SystemZ/frame-21.ll

   1 ; Test the allocation of emergency spill slots.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; For frames of size less than 4096 - 2*160, no emercengy spill slot
   6 ; is required.  Check the maximum such case.
   7 define void @f1(i64 %x) {
   8 ; CHECK-LABEL: f1:
   9 ; CHECK: stg %r2, 160(%r15)
  10 ; CHECK: br %r14
  11   %y = alloca [471 x i64], align 8
  12   %ptr = getelementptr inbounds [471 x i64], [471 x i64]* %y, i64 0, i64 0
  13   store volatile i64 %x, i64* %ptr
  14   ret void
  15 }
  16
  17 ; If the frame size is at least 4096 - 2*160, we do need the emergency
  18 ; spill slots.  Check the minimum such case.
  19 define void @f2(i64 %x) {
  20 ; CHECK-LABEL: f2:
  21 ; CHECK: stg %r2, 176(%r15)
  22 ; CHECK: br %r14
  23   %y = alloca [472 x i64], align 8
  24   %ptr = getelementptr inbounds [472 x i64], [472 x i64]* %y, i64 0, i64 0
  25   store volatile i64 %x, i64* %ptr
  26   ret void
  27 }
  28
  29 ; However, if there are incoming stack arguments, those also need to be
  30 ; in reach, so the maximum frame size without emergency spill slots is
  31 ; 4096 - 2*160 - <size of incoming stack arguments>.  Check the maximum
  32 ; case where we still need no emergency spill slots ...
  33 define void @f3(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack) {
  34 ; CHECK-LABEL: f3:
  35 ; CHECK: stg %r2, 160(%r15)
  36 ; CHECK: br %r14
  37   %y = alloca [470 x i64], align 8
  38   %ptr = getelementptr inbounds [470 x i64], [470 x i64]* %y, i64 0, i64 0
  39   store volatile i64 %x, i64* %ptr
  40   ret void
  41 }
  42
  43 ; ... and the minimum case where we do.
  44 define void @f4(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack) {
  45 ; CHECK-LABEL: f4:
  46 ; CHECK: stg %r2, 176(%r15)
  47 ; CHECK: br %r14
  48   %y = alloca [471 x i64], align 8
  49   %ptr = getelementptr inbounds [471 x i64], [471 x i64]* %y, i64 0, i64 0
  50   store volatile i64 %x, i64* %ptr
  51   ret void
  52 }
  53
  54 ; Try again for the case of two stack arguments.
  55 ; Check the maximum case where we still need no emergency spill slots ...
  56 define void @f5(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack1, i64 %stack2) {
  57 ; CHECK-LABEL: f5:
  58 ; CHECK: stg %r2, 160(%r15)
  59 ; CHECK: br %r14
  60   %y = alloca [469 x i64], align 8
  61   %ptr = getelementptr inbounds [469 x i64], [469 x i64]* %y, i64 0, i64 0
  62   store volatile i64 %x, i64* %ptr
  63   ret void
  64 }
  65
  66 ; ... and the minimum case where we do.
  67 define void @f6(i64 %x, i64 %r3, i64 %r4, i64 %r5, i64 %r6, i64 %stack1, i64 %stack2) {
  68 ; CHECK-LABEL: f6:
  69 ; CHECK: stg %r2, 176(%r15)
  70 ; CHECK: br %r14
  71   %y = alloca [470 x i64], align 8
  72   %ptr = getelementptr inbounds [470 x i64], [470 x i64]* %y, i64 0, i64 0
  73   store volatile i64 %x, i64* %ptr
  74   ret void
  75 }
  76