1; RUN: llc -verify-machineinstrs < %s | FileCheck %s
2
3; The purpose of this test is to construct a scenario where an odd number
4; of callee-saved GPRs as well as an odd number of callee-saved FPRs are
5; used. This caused the frame pointer to be aligned to a multiple of 8
6; on non-Darwin platforms, rather than a multiple of 16 as usual.
7
8target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
9target triple = "aarch64-unknown-linux-gnu"
10
11@a = global i64 0, align 4
12
13
14define i64 @b() {
15entry:
16  %call = tail call i64 @d()
17  %0 = alloca i8, i64 ptrtoint (i64 ()* @d to i64), align 16
18  %1 = ptrtoint i8* %0 to i64
19  store i64 %1, i64* @a, align 4
20  %call1 = call i64 @e()
21  %conv = sitofp i64 %call1 to float
22  %2 = load i64, i64* @a, align 4
23  %call2 = call i64 @f(i64 %2)
24  %conv3 = fptosi float %conv to i64
25  ret i64 %conv3
26}
27
28; CHECK-LABEL: b:
29; CHECK:       str     d8, [sp, #-32]!
30; CHECK-NEXT:  stp     x29, x30, [sp, #8]
31; CHECK-NEXT:  str     x19, [sp, #24]
32; CHECK-NEXT:  add     x29, sp, #8
33
34; CHECK:       sub     sp, x29, #8
35; CHECK-NEXT:  ldr     x19, [sp, #24]
36; CHECK-NEXT:  ldp     x29, x30, [sp, #8]
37; CHECK-NEXT:  ldr     d8, [sp], #32
38; CHECK-NEXT:  ret
39
40declare i64 @d()
41declare i64 @e()
42declare i64 @f(i64)
43