; RUN: llc -verify-machineinstrs < %s | FileCheck %s

; The purpose of this test is to construct a scenario where an odd number
; of callee-saved GPRs as well as an odd number of callee-saved FPRs are
; used. This caused the frame pointer to be aligned to a multiple of 8
; on non-Darwin platforms, rather than a multiple of 16 as usual.

target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-linux-gnu"

@a = global i64 0, align 4


define i64 @b() {
entry:
  %call = tail call i64 @d()
  %0 = alloca i8, i64 ptrtoint (i64 ()* @d to i64), align 16
  %1 = ptrtoint i8* %0 to i64
  store i64 %1, i64* @a, align 4
  %call1 = call i64 @e()
  %conv = sitofp i64 %call1 to float
  %2 = load i64, i64* @a, align 4
  %call2 = call i64 @f(i64 %2)
  %conv3 = fptosi float %conv to i64
  ret i64 %conv3
}

; CHECK-LABEL: b:
; CHECK:       str     d8, [sp, #-32]!
; CHECK-NEXT:  stp     x29, x30, [sp, #8]
; CHECK-NEXT:  str     x19, [sp, #24]
; CHECK-NEXT:  add     x29, sp, #8

; CHECK:       sub     sp, x29, #8
; CHECK-NEXT:  ldr     x19, [sp, #24]
; CHECK-NEXT:  ldp     x29, x30, [sp, #8]
; CHECK-NEXT:  ldr     d8, [sp], #32
; CHECK-NEXT:  ret

declare i64 @d()
declare i64 @e()
declare i64 @f(i64)