2 /* { dg-options "-Os -msse" } */
4 typedef float __m128 __attribute__ ((vector_size (16)));
5 typedef int __m64 __attribute__ ((vector_size (8)));
7 int puts (const char *s);
8 void foo (__m128 *, __m64 *, int);
16 void foo (__m128 *dst, __m64 *src, int n)
22 xmm0 = __builtin_ia32_cvtpi2ps (xmm0, *src);