1  /* { dg-do run } */
       2  /* { dg-require-effective-target avx512vl } */
       3  /* { dg-require-effective-target avx512bw } */
       4  /* { dg-require-effective-target avx512dq } */
       5  /* { dg-options "-O2 -mavx512vl -mavx512bw -mavx512dq" } */
       6  
       7  #define AVX512VL
       8  #define AVX512BW
       9  #define AVX512DQ
      10  #define CHECK "avx512-check.h"
      11  #define TEST test_512
      12  
      13  #include "avx2-pr88547-2.c"
      14  
      15  static void
      16  test_256 (void)
      17  {
      18    return test_512 ();
      19  }
      20  
      21  static void
      22  test_128 (void)
      23  {
      24  }