gcc/testsuite/gcc.target/i386/bmi-andn-1.c

   1 /* { dg-do run { target { bmi && { ! ia32 } } } } */
   2 /* { dg-options "-O2 -mbmi -fno-inline" } */
   3
   4 #include <x86intrin.h>
   5
   6 #include "bmi-check.h"
   7
   8 long long calc_andn_u64 (long long src1,
   9                          long long src2,
  10                          long long dummy)
  11 {
  12   return (~src1 + dummy) & (src2);
  13 }
  14
  15 static void
  16 bmi_test()
  17 {
  18   unsigned i;
  19
  20   long long src = 0xfacec0ffeefacec0;
  21   long long res, res_ref;
  22
  23   for (i=0; i<5; ++i) {
  24     src = i + src << i;
  25
  26     res_ref = calc_andn_u64 (src, src+i, 0);
  27     res = __andn_u64 (src, src+i);
  28
  29     if (res != res_ref)
  30       abort();
  31   }
  32 }