1  /* { dg-do compile } */
       2  /* { dg-options "-O -ftree-loop-vectorize -mavx512vbmi" } */
       3  
       4  int uf;
       5  
       6  int
       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  }