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