1 /* { dg-do compile } */
2 /* { dg-options "-O -ftree-loop-vectorize -mavx512vbmi" } */
3 
4 int uf;
5 
6 int
l7(int wk,int sv)7 l7 (int wk, int sv)
8 {
9   while (sv < 1)
10     {
11       int me;
12 
13       for (me = 0; me < 64; ++me)
14 	wk += !!((unsigned char) sv) && (!!uf == !!me);
15 
16       ++sv;
17     }
18 
19   return wk;
20 }
21