/* { dg-do compile } */
/* { dg-options "-mavx512vl" } */

int __attribute__((__vector_size__(16))) v;

void
foo(void)
{
  0 <= (0 != v) >= 0;
}