1 /* { dg-do compile } */
2 /* { dg-options "-O2 -msse4" } */
3 
4 typedef long long __m128i __attribute__ ((__vector_size__ (16), __may_alias__));
5 typedef long long __v2di __attribute__ ((__vector_size__ (16)));
6 
_mm_set_epi64x(long long __q1,long long __q0)7 __m128i _mm_set_epi64x (long long __q1, long long __q0)
8 {
9   return __extension__ (__m128i)(__v2di){ __q0, __q1 };
10 }
11 
12 /* { dg-final { scan-assembler-not "movdqa" } } */
13