1  /* { dg-do run { target { ! x32 } } } */
       2  /* { dg-options "-Ofast -mabi=ms -mavx512f" } */
       3  /* { dg-require-effective-target avx512f } */
       4  
       5  int a[56];
       6  int b;
       7  int main (int argc, char *argv[]) {
       8    int c;
       9    for (; b; b++) {
      10      c = b;
      11      if (b & 1)
      12        c = 2;
      13      a[b] = c;
      14    }
      15    return 0;
      16  }