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