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 foo(double x)7foo (double x) 8 { 9 return __builtin_round (x); 10 } 11 12 /* { dg-final { scan-assembler-times "vrinta.f64\td\[0-9\]+" 1 } } */ 13