1  /* { dg-do run } */
       2  /* { dg-options "-O2 -mavx512bw -mavx512vl -mvpclmulqdq" } */
       3  /* { dg-require-effective-target avx512vl } */
       4  /* { dg-require-effective-target avx512bw } */
       5  /* { dg-require-effective-target vpclmulqdq } */
       6  
       7  #define AVX512VL
       8  #define AVX512F_LEN 256
       9  #define AVX512F_LEN_HALF 128
      10  #include "avx512f-vpclmulqdq-2.c"
      11  
      12  #undef AVX512F_LEN
      13  #undef AVX512F_LEN_HALF
      14  
      15  void
      16  test_128 () {}