1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -msse2 -mno-mmx" } */
       3  /* { dg-final { scan-assembler "cvtdq2ps" } } */
       4  /* { dg-final { scan-assembler-not "cvtpi2ps" } } */
       5  /* { dg-final { scan-assembler-not "%mm" } } */
       6  
       7  #include <xmmintrin.h>
       8  
       9  __m128
      10  foo (__m128 i1, __m64 i2)
      11  {
      12    return _mm_cvtpi32_ps (i1, i2);
      13  }