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