1  // { dg-do compile }
       2  // { dg-options "-mavx512vbmi -O1 -ftree-loop-vectorize" }
       3  
       4  void
       5  foo (_Float16 *r, short int *a)
       6  {
       7    int i;
       8  
       9    for (i = 0; i < 32; ++i)
      10      r[i] = !!a[i];
      11  }