1; RUN: llc < %s -mtriple=arm64-none-eabi | FileCheck %s 2 3; Over-aligned HFA argument placed on register - one element per register 4define double @test_hfa_align_arg_reg([2 x double] alignstack(16) %h.coerce) local_unnamed_addr #0 { 5entry: 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 15define double @test_hfa_align_call_reg() local_unnamed_addr #0 { 16entry: 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 26define 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 { 27entry: 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} 34