llvm/test/CodeGen/SystemZ/frame-22.ll

   1 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   2 ;
   3 ; Test the packed stack layout.
   4
   5 ; Test spill/restore of an FPR and a GPR.
   6 define void @f1() #0 {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: stmg %r12, %r15, 128(%r15)
   9 ; CHECK-NEXT: .cfi_offset %r12, -32
  10 ; CHECK-NEXT: .cfi_offset %r15, -8
  11 ; CHECK-NEXT: std %f8, 120(%r15)          # 8-byte Folded Spill
  12 ; CHECK-NEXT: .cfi_offset %f8, -40
  13 ; CHECK-NEXT: #APP
  14 ; CHECK-NEXT: #NO_APP
  15 ; CHECK-NEXT: ld %f8, 120(%r15)          # 8-byte Folded Reload
  16 ; CHECK-NEXT: lmg %r12, %r15, 128(%r15)
  17 ; CHECK-NEXT: br %r14
  18   call void asm sideeffect "", "~{f8},~{r12}"() nounwind
  19   ret void
  20 }
  21
  22 ; Test spill/restore with anyregcc, including an FP argument register.
  23 define anyregcc void @f2() #0 {
  24 ; CHECK-LABEL: f2:
  25 ; CHECK: stmg %r3, %r15, 56(%r15)
  26 ; CHECK-NEXT: .cfi_offset %r3, -104
  27 ; CHECK-NEXT: .cfi_offset %r15, -8
  28 ; CHECK-NEXT: std %f0, 48(%r15)          # 8-byte Folded Spill
  29 ; CHECK-NEXT: std %f1, 40(%r15)          # 8-byte Folded Spill
  30 ; CHECK-NEXT: .cfi_offset %f0, -112
  31 ; CHECK-NEXT: .cfi_offset %f1, -120
  32 ; CHECK-NEXT: #APP
  33 ; CHECK-NEXT: #NO_APP
  34 ; CHECK-NEXT: ld %f0, 48(%r15)          # 8-byte Folded Reload
  35 ; CHECK-NEXT: ld %f1, 40(%r15)          # 8-byte Folded Reload
  36 ; CHECK-NEXT: lmg %r3, %r15, 56(%r15)
  37 ; CHECK-NEXT: br %r14
  38   call void asm sideeffect "", "~{f0},~{f1},~{r3}"() nounwind
  39   ret void
  40 }
  41
  42 ; Test spill/restore in local area with incoming stack arguments.
  43 define i64 @f3(i64 %a, i64 %b, i64 %c, i64 %d, i64 %e, i64 %f,
  44                double %A, double %B, double %C, double %D, double %E) #0 {
  45 ; CHECK-LABEL: f3:
  46 ; CHECK: std %f8, 152(%r15)          # 8-byte Folded Spill
  47 ; CHECK-NEXT: .cfi_offset %f8, -8
  48 ; CHECK-NEXT: ld %f0, 168(%r15)
  49 ; CHECK-NEXT: cgdbr %r2, 5, %f0
  50 ; CHECK-NEXT: ag %r2, 160(%r15)
  51 ; CHECK-NEXT: #APP
  52 ; CHECK-NEXT: #NO_APP
  53 ; CHECK-NEXT: ld %f8, 152(%r15)          # 8-byte Folded Reload
  54 ; CHECK-NEXT: br %r14
  55   call void asm sideeffect "", "~{f8}"() nounwind
  56   %Ei = fptosi double %E to i64
  57   %S = add i64 %f, %Ei
  58   ret i64 %S
  59 }
  60
  61 ; Test spill/restore in local area with outgoing stack arguments.
  62 define i64 @f4() #0 {
  63 ; CHECK-LABEL: f4:
  64 ; CHECK: stmg    %r6, %r15, 80(%r15)
  65 ; CHECK-NEXT: .cfi_offset %r6, -80
  66 ; CHECK-NEXT: .cfi_offset %r14, -16
  67 ; CHECK-NEXT: .cfi_offset %r15, -8
  68 ; CHECK-NEXT: aghi    %r15, -104
  69 ; CHECK-NEXT: .cfi_def_cfa_offset 264
  70 ; CHECK-NEXT: std     %f8, 176(%r15)          # 8-byte Folded Spill
  71 ; CHECK-NEXT: .cfi_offset %f8, -88
  72 ; CHECK-NEXT: #APP
  73 ; CHECK-NEXT: #NO_APP
  74 ; CHECK-NEXT: llihh   %r0, 16404
  75 ; CHECK-NEXT: stg     %r0, 168(%r15)
  76 ; CHECK: mvghi   160(%r15), 6
  77 ; CHECK-NEXT: brasl   %r14, f3@PLT
  78 ; CHECK-NEXT: ld      %f8, 176(%r15)          # 8-byte Folded Reload
  79 ; CHECK-NEXT: lmg     %r6, %r15, 184(%r15)
  80 ; CHECK-NEXT: br      %r14
  81   call void asm sideeffect "", "~{f8}"() nounwind
  82   %C = call i64 @f3 (i64 1, i64 2, i64 3, i64 4, i64 5, i64 6,
  83                      double 1.0, double 2.0, double 3.0, double 4.0, double 5.0)
  84   ret i64 %C
  85 }
  86
  87 attributes #0 = { "packed-stack"="true" }