1  /* { dg-do assemble { target { avx512vl && { ! ia32 } } } } */
       2  /* { dg-options "-O2 -mavx512vl" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  void
       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  }