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  
      11  #include "avx512f-pr88547-2.c"
      12  
      13  static void
      14  test_256 (void)
      15  {
      16    test_512 ();
      17  }
      18  
      19  static void
      20  test_128 (void)
      21  {
      22  }