1  /* { dg-do compile } */
       2  /* { dg-options "-O -mavx512vbmi" } */
       3  
       4  int a[1024];
       5  
       6  void
       7  foo (int i)
       8  {
       9    for (;; i++)
      10      if (a[i] != (i ^ (i * 3) ^ (i * 7)))
      11        return;
      12  }