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