1  /* { dg-do run } */
       2  /* { dg-options "-O2 -mavx512f" } */
       3  /* { dg-require-effective-target avx512f } */
       4  
       5  #define AVX512F
       6  
       7  #include "avx512f-helper.h"
       8  
       9  #define SIZE (AVX512F_LEN / 32)
      10  #include "avx512f-mask-type.h"
      11  
      12  static void
      13  CALC (int *s1, int *s2, int *r)
      14  {
      15    int i;
      16  
      17    for (i = 0; i < SIZE; i++)
      18      r[i] = (~s1[i]) & s2[i];
      19  }
      20  
      21  void
      22  TEST (void)
      23  {
      24    UNION_TYPE (AVX512F_LEN, i_d) s1, s2, res1, res2, res3, res4;
      25    MASK_TYPE mask = MASK_VALUE;
      26    int res_ref[SIZE];
      27    int i, sign = 1;
      28  
      29    for (i = 0; i < SIZE; i++)
      30      {
      31        s1.a[i] = i * sign;
      32        s2.a[i] = (i + 20) * sign;
      33        sign = -sign;
      34        res3.a[i] = DEFAULT_VALUE;
      35      }
      36  
      37  #if AVX512F_LEN == 512
      38    res1.x = INTRINSIC (_andnot_si512) (s1.x, s2.x);
      39    res2.x = INTRINSIC (_andnot_epi32) (s1.x, s2.x);
      40  #endif
      41    res3.x = INTRINSIC (_mask_andnot_epi32) (res3.x, mask, s1.x, s2.x);
      42    res4.x = INTRINSIC (_maskz_andnot_epi32) (mask, s1.x, s2.x);
      43  
      44    CALC (s1.a, s2.a, res_ref);
      45  
      46  #if AVX512F_LEN == 512
      47    if (UNION_CHECK (AVX512F_LEN, i_d) (res1, res_ref))
      48        abort ();
      49  
      50    if (UNION_CHECK (AVX512F_LEN, i_d) (res2, res_ref))
      51        abort ();
      52  #endif
      53  
      54    MASK_MERGE (i_d) (res_ref, mask, SIZE);
      55    if (UNION_CHECK (AVX512F_LEN, i_d) (res3, res_ref))
      56      abort ();
      57  
      58    MASK_ZERO (i_d) (res_ref, mask, SIZE);
      59    if (UNION_CHECK (AVX512F_LEN, i_d) (res4, res_ref))
      60      abort ();
      61  }