llvm/test/CodeGen/AArch64/arm64-abi-hfa-args.ll

   1 ; RUN: llc < %s -mtriple=arm64-none-eabi | FileCheck %s
   2
   3 ; Over-aligned HFA argument placed on register - one element per register
   4 define double @test_hfa_align_arg_reg([2 x double] alignstack(16) %h.coerce) local_unnamed_addr #0 {
   5 entry:
   6 ; CHECK-LABEL: test_hfa_align_arg_reg:
   7 ; CHECK-NOT: mov
   8 ; CHECK-NOT: ld
   9 ; CHECK: ret
  10   %h.coerce.fca.0.extract = extractvalue [2 x double] %h.coerce, 0
  11   ret double %h.coerce.fca.0.extract
  12 }
  13
  14 ; Call with over-aligned HFA argument placed on register - one element per register
  15 define double @test_hfa_align_call_reg() local_unnamed_addr #0 {
  16 entry:
  17 ; CHECK-LABEL: test_hfa_align_call_reg:
  18 ; CHECK-DAG: fmov  d0, #1.00000000
  19 ; CHECK-DAG: fmov  d1, #2.00000000
  20 ; CHECK:     bl    test_hfa_align_arg_reg
  21   %call = call double @test_hfa_align_arg_reg([2 x double] alignstack(16) [double 1.000000e+00, double 2.000000e+00])
  22   ret double %call
  23 }
  24
  25 ; Over-aligned HFA argument placed on stack - stack round up to alignment
  26 define double @test_hfa_align_arg_stack(double %d0, double %d1, double %d2, double %d3, double %d4, double %d5, double %d6, double %d7, float %f, [2 x double] alignstack(16) %h.coerce) local_unnamed_addr #0 {
  27 entry:
  28 ; CHECK-LABEL: test_hfa_align_arg_stack:
  29 ; CHECK:       ldr  d0, [sp, #16]
  30 ; CHECK-NEXT:  ret
  31   %h.coerce.fca.0.extract = extractvalue [2 x double] %h.coerce, 0
  32   ret double %h.coerce.fca.0.extract
  33 }