1 /* { dg-do compile } */
2 /* { dg-require-effective-target arm_fp_dp_ok } */
3 /* { dg-skip-if "need fp instructions" { *-*-* } { "-mfloat-abi=soft" } { "" } } */
4 /* { dg-options "-O2" } */
5 /* { dg-add-options arm_fp_dp } */
6
7 extern void bar (double);
8
9 void
10 foo (double *p, double a, int n)
11 {
12 do
13 bar (*p++ + a);
14 while (n--);
15 }
16
17 /* { dg-final { scan-assembler "vldmia.64" } } */