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 foo(float x,float y)7foo (float x, float y) 8 { 9 return !__builtin_isunordered (x, y) ? x : y; 10 } 11 12 /* { dg-final { scan-assembler-times "vselvs.f32\ts\[0-9\]+" 1 } } */ 13