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