llvm/test/CodeGen/AArch64/framelayout-unaligned-fp.ll

   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
   8 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   9 target triple = "aarch64-unknown-linux-gnu"
  10
  11 @a = global i64 0, align 4
  12
  13
  14 define i64 @b() {
  15 entry:
  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
  40 declare i64 @d()
  41 declare i64 @e()
  42 declare i64 @f(i64)