1/* { dg-do compile { target { ! { ia32 } } } } */
2/* { dg-options "-O2 -mtune=k8" } */
3
4typedef long long __v2di __attribute__ ((__vector_size__ (16)));
5typedef long long __m128i __attribute__ ((__vector_size__ (16)));
6
7static __inline __m128i __attribute__((__always_inline__))
8_mm_set_epi64x (long long __q1, long long __q0)
9{
10  return __extension__ (__m128i)(__v2di){ __q0, __q1 };
11}
12
13__m128i long2vector(long long __i)
14{
15  return _mm_set_epi64x (0, __i);
16}
17
18/* { dg-final { scan-assembler-not "movq2dq" } } */
19