1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512f -mtune=intel" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  extern int a;
       7  
       8  __m512i
       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 } } */