1 /* { dg-do assemble { target { avx512vl && { ! ia32 } } } } */
2 /* { dg-options "-O2 -mavx512vl" } */
3 
4 #include <x86intrin.h>
5 
6 void
foo(__m128i x,__m128i * y)7 foo (__m128i x, __m128i *y)
8 {
9   register __m128i a __asm ("xmm16");
10   a = x;
11   asm volatile ("" : "+v" (a));
12   a = _mm_move_epi64 (a);
13   asm volatile ("" : "+v" (a));
14   a = _mm_move_epi64 (*y);
15   asm volatile ("" : "+v" (a));
16 }
17