1  /* { dg-do run } */
       2  /* { dg-options "-O2 -mavx512vl" } */
       3  /* { dg-require-effective-target avx512vl } */
       4  
       5  #define AVX512VL
       6  #define AVX512F_LEN 256
       7  #define AVX512F_LEN_HALF 128
       8  #include "avx512f-vextracti32x4-2.c"
       9  
      10  void
      11  test_128 () {}