PR c++/67273
[official-gcc.git] / gcc / testsuite / gcc.target / arm / vrintmf64.c
blobd1b3db9649ca743dd488f8b0705a75c9472ba395
1 /* { dg-do compile } */
2 /* { dg-require-effective-target arm_v8_vfp_ok } */
3 /* { dg-options "-O2" } */
4 /* { dg-add-options arm_v8_vfp } */
6 double
7 foo (double x)
9 return __builtin_floor (x);
12 /* { dg-final { scan-assembler-times "vrintm.f64\td\[0-9\]+" 1 } } */