1  /* { dg-do run } */
       2  /* { dg-options "-O2 -mavx512f -mprefer-vector-width=512" } */
       3  /* { dg-require-effective-target avx512f } */
       4  
       5  #ifndef CHECK
       6  #define CHECK "avx512f-helper.h"
       7  #endif
       8  
       9  #include CHECK
      10  
      11  #ifndef TEST
      12  #define TEST test_512
      13  #endif
      14  
      15  #include "avx512f-pr96551-1.c"
      16  
      17  void
      18  test_512 (void)
      19  {
      20    double exp[256];
      21    for (int i = 0; i != 256; i++)
      22      {
      23        a[i] = i * i + 3 * i + 13;
      24        exp[i] = a[i];
      25        b[i] = 0;
      26      }
      27  
      28    foo ();
      29  
      30    for (int i = 0; i != 256; i++)
      31      if (exp[i] != b[i])
      32        abort ();
      33  }