2015-12-10 Vladimir Makarov <vmakarov@redhat.com>
[official-gcc.git] / gcc / testsuite / gcc.target / i386 / bmi2-shrx32-1.c
blob2d2ec155e6b6579fc9f3c04c06cd0c6afc6b2860
1 /* { dg-do run { target { bmi2 } } } */
2 /* { dg-options "-mbmi2 -O2 -dp" } */
4 #include "bmi2-check.h"
6 __attribute__((noinline))
7 unsigned
8 calc_shrx_u32 (unsigned a, int l)
10 unsigned volatile res = a;
11 int i;
12 for (i = 0; i < l; ++i)
13 res >>= 1;
15 return res;
18 static void
19 bmi2_test ()
21 unsigned i;
22 unsigned src = 0xce7ace0;
23 unsigned res, res_ref;
25 for (i = 0; i < 5; ++i) {
26 src = src * (i + 1);
28 res_ref = calc_shrx_u32 (src, i + 1);
29 res = src >> (i + 1);
31 if (res != res_ref)
32 abort();