gcc/testsuite/gcc.target/arm/vrintmf64.c

   1 /* { dg-do compile } */
   2 /* { dg-require-effective-target arm_v8_vfp_ok } */
   3 /* { dg-options "-O2" } */
   4 /* { dg-add-options arm_v8_vfp } */
   5
   6 double
   7 foo (double x)
   8 {
   9   return __builtin_floor (x);
  10 }
  11
  12 /* { dg-final { scan-assembler-times "vrintm.f64\td\[0-9\]+" 1 } } */