1  /* { dg-do assemble { target { int128 && avx512vl } } } */
       2  /* { dg-options "-O2 -mavx512vl" } */
       3  
       4  typedef __int128 V __attribute__((vector_size (16)));
       5  
       6  void
       7  foo (V *x, V *y, V *z)
       8  {
       9    register V a __asm ("xmm31") = *z;
      10    __asm ("" : "+v" (a));
      11    x[0] = y[0] & a;
      12    x[1] = y[1] | a;
      13    x[2] = y[2] ^ a;
      14  }