1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -march=skylake-avx512" } */
       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;
      11    asm volatile ("" : "+v" (xmm16));
      12    return (__m128t) xmm16;
      13  }
      14  
      15  /* { dg-final { scan-assembler-not "%zmm\[0-9\]+" } } */