111
|
1 /* { dg-do compile } */
|
|
2
|
|
3 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
|
|
4
|
|
5
|
|
6 typedef const struct bitmap_head_def *const_bitmap;
|
|
7 typedef unsigned long BITMAP_WORD;
|
|
8 typedef struct bitmap_element_def {
|
|
9 struct bitmap_element_def *next;
|
|
10 BITMAP_WORD bits[((128 + (8 * 8 * 1u) - 1) / (8 * 8 * 1u))];
|
|
11 } bitmap_element;
|
|
12 typedef struct bitmap_head_def {
|
|
13 bitmap_element *first;
|
|
14 } bitmap_head;
|
|
15 unsigned char
|
|
16 bitmap_single_bit_set_p (const_bitmap a)
|
|
17 {
|
|
18 unsigned long count = 0;
|
|
19 const bitmap_element *elt;
|
|
20 unsigned ix;
|
|
21 if ((!(a)->first))
|
|
22 return 0;
|
|
23 elt = a->first;
|
|
24 if (elt->next != ((void *)0))
|
|
25 return 0;
|
|
26 for (ix = 0; ix != ((128 + (8 * 8 * 1u) - 1) / (8 * 8 * 1u)); ix++)
|
|
27 {
|
|
28 count += __builtin_popcountl (elt->bits[ix]);
|
|
29 if (count > 1)
|
|
30 return 0;
|
|
31 }
|
|
32 return count == 1;
|
|
33 }
|
|
34
|
|
35 /* Verify that VRP simplified an "if" statement. */
|
|
36 /* { dg-final { scan-tree-dump "Folded into: if.*" "vrp1"} } */
|
|
37
|
|
38
|