1/* { dg-do run } */
2/* { dg-require-effective-target avx2 } */
3/* { dg-options "-O2 -mavx2" } */
4
5#include <string.h>
6#include "avx2-check.h"
7
8static void
9compute_psrlvd128 (int *s1, int *s2, int *r)
10{
11  int i, count;
12
13  for (i = 0; i < 4; ++i)
14    {
15      count = s2[i];
16      r[i] = ((unsigned) s1[i]) >> count;
17    }
18}
19
20
21void static
22avx2_test (void)
23{
24  union128i_d s1, s2, res;
25  int res_ref[4];
26  int i, j, sign;
27  int fail = 0;
28
29  for (i = 0; i < 10; i++)
30    {
31      for (j = 0; j < 4; j++)
32	{
33	  s1.a[j] = j * i * sign;
34	  s2.a[j] = (j + i) >> 2;
35	  sign = -sign;
36	}
37
38      res.x = _mm_srlv_epi32 (s1.x, s2.x);
39
40      compute_psrlvd128 (s1.a, s2.a, res_ref);
41
42      fail += check_union128i_d (res, res_ref);
43    }
44
45  if (fail != 0)
46    abort ();
47}
48