/* { dg-do run } */
/* { dg-require-effective-target avx2 } */
/* { dg-options "-O2 -mavx2" } */

#include "avx2-check.h"

void static
avx2_test (void)
{
  int i;
  union256i_q u, s1, s2;
  int source1[8] = { 34545, 95567, 23443, 5675, 2323, 67, 2345, 45667 };
  int source2[8] = { 674, 57897, 93459, 45624, 54674, 1237, 67436, 79608 };
  int d[8];
  int e[8];

  s1.x = _mm256_loadu_si256 ((__m256i *) source1);
  s2.x = _mm256_loadu_si256 ((__m256i *) source2);
  u.x = _mm256_andnot_si256 (s1.x, s2.x);

  _mm256_storeu_si256 ((__m256i *) d, u.x);

  for (i = 0; i < 8; i++)
    e[i] = (~source1[i]) & source2[i];

  if (checkVi (d, e, 8))
    abort ();
}
