1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512f -mfpmath=sse" } */
       3  
       4  unsigned int f2ui (float x) { return x; }
       5  unsigned int d2ui (double x) { return x; }
       6  
       7  #ifdef __x86_64__
       8  unsigned long f2ul (float x) { return x; }
       9  unsigned long d2ul (double x) { return x; }
      10  #endif
      11    
      12  /* { dg-final { scan-assembler-times "vcvttss2usi" 1 { target ia32 } } } */
      13  /* { dg-final { scan-assembler-times "vcvttsd2usi" 1 { target ia32 } } } */
      14  /* { dg-final { scan-assembler-times "vcvttss2usi" 2 { target { ! ia32 } } } } */
      15  /* { dg-final { scan-assembler-times "vcvttsd2usi" 2 { target { ! ia32 } } } } */