1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -march=skylake-avx512 -mno-avx512vl" } */
       3  
       4  typedef __int128 __m128t __attribute__ ((__vector_size__ (16),
       5  					 __may_alias__));
       6  
       7  __m128t
       8  foo1 (void)
       9  {
      10    register __int128 xmm16 __asm ("xmm16") = (__int128) -1; /* { dg-error "register specified for 'xmm16'" } */
      11    asm volatile ("" : "+v" (xmm16));
      12    return (__m128t) xmm16;
      13  }