1 /* Setting LOGICAL_OP_NON_SHORT_CIRCUIT to 0 leads to two conditional jumps
2 when evaluating an && condition. VRP is not able to optimize this. */
3 /* { dg-do compile { target { ! { logical_op_short_circuit || { m68k*-*-* mmix*-*-* mep*-*-* bfin*-*-* v850*-*-* picochip*-*-* moxie*-*-* cris*-*-* m32c*-*-* fr30*-*-* mcore*-*-* powerpc*-*-* xtensa*-*-* hppa*-*-* } } } } } */
4
5 /* { dg-options "-O2 -fdump-tree-vrp2-details -fdump-tree-cddce2-details" } */
6
7 struct bitmap_head_def;
8 typedef struct bitmap_head_def *bitmap;
9 typedef const struct bitmap_head_def *const_bitmap;
10
11
12 typedef unsigned long BITMAP_WORD;
13 typedef struct bitmap_element_def
14 {
15 struct bitmap_element_def *next;
16 unsigned int indx;
17 BITMAP_WORD bits[((128 + (8 * 8 * 1u) - 1) / (8 * 8 * 1u))];
18 } bitmap_element;
19
20
21
22
23
24
25 typedef struct bitmap_head_def
26 {
27 bitmap_element *first;
28
29 } bitmap_head;
30
31
32
33 static __inline__ unsigned char
bitmap_elt_ior(bitmap dst,bitmap_element * dst_elt,bitmap_element * dst_prev,const bitmap_element * a_elt,const bitmap_element * b_elt,unsigned char changed)34 bitmap_elt_ior (bitmap dst, bitmap_element * dst_elt,
35 bitmap_element * dst_prev, const bitmap_element * a_elt,
36 const bitmap_element * b_elt, unsigned char changed)
37 {
38
39 if (a_elt)
40 {
41
42 if (!changed && dst_elt)
43 {
44 changed = 1;
45 }
46 }
47 else
48 {
49 changed = 1;
50 }
51 return changed;
52 }
53
54 unsigned char
bitmap_ior_into(bitmap a,const_bitmap b)55 bitmap_ior_into (bitmap a, const_bitmap b)
56 {
57 bitmap_element *a_elt = a->first;
58 const bitmap_element *b_elt = b->first;
59 bitmap_element *a_prev = ((void *) 0);
60 unsigned char changed = 0;
61
62 while (b_elt)
63 {
64
65 if (!a_elt || a_elt->indx == b_elt->indx)
66 changed = bitmap_elt_ior (a, a_elt, a_prev, a_elt, b_elt, changed);
67 else if (a_elt->indx > b_elt->indx)
68 changed = 1;
69 b_elt = b_elt->next;
70
71
72 }
73
74 return changed;
75 }
76
77 /* Verify that VRP simplified an "if" statement. */
78 /* { dg-final { scan-tree-dump "Folded into: if.*" "vrp2"} } */
79 /* Verify that DCE after VRP2 eliminates a dead conversion
80 to a (Bool). */
81 /* { dg-final { scan-tree-dump "Deleting.*_Bool.*;" "cddce2"} } */
82 /* { dg-final { cleanup-tree-dump "vrp2" } } */
83 /* { dg-final { cleanup-tree-dump "cddce2" } } */
84
85