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