1/* { dg-do compile } */
2/* { dg-options "-mavx512bw -mavx512vl -O2" } */
3/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+(?:\n|\[ \\t\]+#)"  1 } } */
4/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */
5/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}\{z\}(?:\n|\[ \\t\]+#)" 1 } } */
6/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%ymm\[0-9\]+(?:\n|\[ \\t\]+#)"  1 } } */
7/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%ymm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */
8/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%ymm\[0-9\]+\{%k\[1-7\]\}\{z\}(?:\n|\[ \\t\]+#)" 1 } } */
9/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]+(?:\n|\[ \\t\]+#)"  1 } } */
10/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */
11/* { dg-final { scan-assembler-times "vpsrlvw\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]+\{%k\[1-7\]\}\{z\}(?:\n|\[ \\t\]+#)" 1 } } */
12
13#include <immintrin.h>
14
15volatile __m512i z;
16volatile __m256i y;
17volatile __m128i x;
18volatile __mmask32 m1;
19volatile __mmask16 m2;
20volatile __mmask8 m3;
21
22void extern
23avx512bw_test (void)
24{
25  z = _mm512_srlv_epi16 (z, z);
26  z = _mm512_mask_srlv_epi16 (z, m1, z, z);
27  z = _mm512_maskz_srlv_epi16 (m1, z, z);
28  y = _mm256_srlv_epi16 (y, y);
29  y = _mm256_mask_srlv_epi16 (y, m2, y, y);
30  y = _mm256_maskz_srlv_epi16 (m2, y, y);
31  x = _mm_srlv_epi16 (x, x);
32  x = _mm_mask_srlv_epi16 (x, m3, x, x);
33  x = _mm_maskz_srlv_epi16 (m3, x, x);
34}
35