1 /* { dg-do compile } */
2 /* { dg-options "-O2 -mavx512f" } */
3 
4 #include <x86intrin.h>
5 
6 extern int a;
7 
8 __m512i
f1(__m512i x)9 f1 (__m512i x)
10 {
11   return _mm512_srai_epi32 (x, a);
12 }
13 
14 /* { dg-final { scan-assembler-times "movd\[ \\t\]+\[^\n\]*%xmm" 1 } } */
15