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
foo1(void)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 }
14