1/* { dg-options "-mavx512vl -O2" } */ 2/* { dg-final { scan-assembler-times "vpmuludq\[ \\t\]+\[^\{\n\]*%ymm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */ 3/* { dg-final { scan-assembler-times "vpmuludq\[ \\t\]+\[^\{\n\]*%ymm\[0-9\]+\{%k\[1-7\]\}{z}(?:\n|\[ \\t\]+#)" 1 } } */ 4/* { dg-final { scan-assembler-times "vpmuludq\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */ 5/* { dg-final { scan-assembler-times "vpmuludq\[ \\t\]+\[^\{\n\]*%xmm\[0-9\]+\{%k\[1-7\]\}{z}(?:\n|\[ \\t\]+#)" 1 } } */ 6 7#include <immintrin.h> 8 9volatile __m256i x; 10volatile __m128i y; 11volatile __mmask8 m; 12 13void extern 14avx512vl_test (void) 15{ 16 x = _mm256_mask_mul_epu32 (x, m, x, x); 17 x = _mm256_maskz_mul_epu32 (m, x, x); 18 y = _mm_mask_mul_epu32 (y, m, y, y); 19 y = _mm_maskz_mul_epu32 (m, y, y); 20} 21