1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -mno-avx -msse2" } */
       3  
       4  float
       5  check_f_pos (float x, float y)
       6  {
       7    return x * __builtin_copysignf (1.0f, y);
       8  }