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-vpsrlvq-2.c"
9 
10 #undef AVX512F_LEN
11 #undef AVX512F_LEN_HALF
12 
13 #define AVX512F_LEN 128
14 #define AVX512F_LEN_HALF 128
15 #include "avx512f-vpsrlvq-2.c"
16