gcc/testsuite/gcc.target/arm/vrintmf32.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 float
   7 foo (float x)
   8 {
   9   return __builtin_floorf (x);
  10 }
  11
  12 /* { dg-final { scan-assembler-times "vrintm.f32\ts\[0-9\]+" 1 } } */