1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-thread2-details -fdump-tree-thread3-details -fdump-tree-thread4-details" } */
3 /* { dg-final { scan-tree-dump "FSM" "thread2" } } */
4 /* { dg-final { scan-tree-dump "FSM" "thread3" } } */
5 /* { dg-final { scan-tree-dump "FSM" "thread4" { xfail *-*-* } } } */
6
7 typedef struct bitmap_head_def *bitmap;
8 typedef const struct bitmap_head_def *const_bitmap;
9 typedef struct VEC_int_base
10 {
11 }
12 VEC_int_base;
13 typedef struct VEC_int_heap
14 {
15 VEC_int_base base;
16 }
17 VEC_int_heap;
18 typedef unsigned long BITMAP_WORD;
19 typedef struct bitmap_element_def
20 {
21 struct bitmap_element_def *next;
22 unsigned int indx;
23 }
24 bitmap_element;
25 typedef struct bitmap_head_def
26 {
27 }
28 bitmap_head;
29 typedef struct
30 {
31 bitmap_element *elt1;
32 bitmap_element *elt2;
33 BITMAP_WORD bits;
34 }
35 bitmap_iterator;
36 static __inline__ void
bmp_iter_and_compl_init(bitmap_iterator * bi,const_bitmap map1,const_bitmap map2,unsigned start_bit,unsigned * bit_no)37 bmp_iter_and_compl_init (bitmap_iterator * bi, const_bitmap map1,
38 const_bitmap map2, unsigned start_bit,
39 unsigned *bit_no)
40 {
41 }
42
43 static __inline__ void
bmp_iter_next(bitmap_iterator * bi,unsigned * bit_no)44 bmp_iter_next (bitmap_iterator * bi, unsigned *bit_no)
45 {
46 }
47
48 static __inline__ unsigned char
bmp_iter_and_compl(bitmap_iterator * bi,unsigned * bit_no)49 bmp_iter_and_compl (bitmap_iterator * bi, unsigned *bit_no)
50 {
51 if (bi->bits)
52 {
53 while (bi->elt2 && bi->elt2->indx < bi->elt1->indx)
54 bi->elt2 = bi->elt2->next;
55 }
56 }
57
58 extern int VEC_int_base_length (VEC_int_base *);
59 bitmap
compute_idf(bitmap def_blocks,bitmap_head * dfs)60 compute_idf (bitmap def_blocks, bitmap_head * dfs)
61 {
62 bitmap_iterator bi;
63 unsigned bb_index, i;
64 VEC_int_heap *work_stack;
65 bitmap phi_insertion_points;
66 while ((VEC_int_base_length (((work_stack) ? &(work_stack)->base : 0))) > 0)
67 {
68 for (bmp_iter_and_compl_init
69 (&(bi), (&dfs[bb_index]), (phi_insertion_points), (0), &(i));
70 bmp_iter_and_compl (&(bi), &(i)); bmp_iter_next (&(bi), &(i)))
71 {
72 }
73 }
74 }
75