1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -mavx512f" } */ 3 /* { dg-final { scan-assembler-times "vpsrad\[ \\t\]+\[^\n\]*%zmm\[0-9\]\[^\{\]" 3 } } */ 4 /* { dg-final { scan-assembler-times "vpsrad\[ \\t\]+\[^\n\]*%zmm\[0-9\]\{%k\[1-7\]\}\[^\{\]" 1 } } */ 5 /* { dg-final { scan-assembler-times "vpsrad\[ \\t\]+\[^\n\]*%zmm\[0-9\]\{%k\[1-7\]\}\{z\}" 1 } } */ 6 7 #include <immintrin.h> 8 9 volatile __m512i x; 10 volatile __m128i y; 11 volatile __mmask16 m; 12 13 void extern avx512f_test(void)14avx512f_test (void) 15 { 16 x = _mm512_sra_epi32 (x, y); 17 x = _mm512_mask_sra_epi32 (x, m, x, y); 18 x = _mm512_maskz_sra_epi32 (m, x, y); 19 } 20