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-vextractf64x2-2.c" 10 11void 12test_128 () {} 13