1  /* { dg-do compile } */
       2  /* { dg-options "-O -ftracer" } */
       3  /* { dg-additional-options "-mavx512vl" { target x86_64-*-* i?86-*-* } } */
       4  
       5  typedef int __attribute__ ((__vector_size__ (32))) V;
       6  
       7  int a, b;
       8  V v;
       9  
      10  int
      11  foo (void)
      12  {
      13    b -= 4 - !a;
      14    V u = 0 != v == a;
      15    return u[0];
      16  }