1  /* PR target/80381 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-mavx512f -O2" } */
       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  __m512i
      14  f2 (__m512i x, __m512i y, __mmask16 m, int a)
      15  {
      16    return _mm512_mask_srai_epi32 (y, m, x, a);
      17  }
      18  
      19  __m512i
      20  f3 (__m512i x)
      21  {
      22    return _mm512_srai_epi32 (x, 6);
      23  }
      24  
      25  __m512i
      26  f4 (__m512i x, __m512i y, __mmask16 m)
      27  {
      28    return _mm512_mask_srai_epi32 (y, m, x, 6);
      29  }