gcc/testsuite/gcc.target/i386/bmi2-sarx64-1.c

   1 /* { dg-do run { target { bmi2 && { ! ia32 } } } } */
   2 /* { dg-options "-mbmi2 -O2 -dp" } */
   3
   4 #include "bmi2-check.h"
   5
   6 __attribute__((noinline))
   7 long long
   8 calc_sarx_u64 (long long a, int l)
   9 {
  10   long long volatile res = a;
  11   int i;
  12   for (i = 0; i < l; ++i)
  13     res >>= 1;
  14
  15   return res;
  16 }
  17
  18 static void
  19 bmi2_test ()
  20 {
  21   unsigned i;
  22   long long src = 0xfce7ace0ce7ace0;
  23   long long res, res_ref;
  24
  25   for (i = 0; i < 5; ++i) {
  26     src = src * (i + 1);
  27
  28     res_ref = calc_sarx_u64 (src, i + 1);
  29     res = src >> (i + 1);
  30
  31     if (res != res_ref)
  32       abort();
  33   }
  34 }