Merge branch 'vendor/GCC50' - gcc 5.0 snapshot 1 FEB 2015
[dragonfly.git] / contrib / gcc-5.0 / gcc / cfganal.h
1 /* Control flow graph analysis header file.
2    Copyright (C) 2014-2015 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3.  If not see
18 <http://www.gnu.org/licenses/>.  */
19
20
21 #ifndef GCC_CFGANAL_H
22 #define GCC_CFGANAL_H
23
24 /* This structure maintains an edge list vector.  */
25 /* FIXME: Make this a vec<edge>.  */
26 struct edge_list
27 {
28   int num_edges;
29   edge *index_to_edge;
30 };
31
32
33 /* Class to compute and manage control dependences on an edge-list.  */
34 class control_dependences
35 {
36 public:
37   control_dependences (edge_list *);
38   ~control_dependences ();
39   bitmap get_edges_dependent_on (int);
40   edge get_edge (int);
41
42 private:
43   void set_control_dependence_map_bit (basic_block, int);
44   void clear_control_dependence_bitmap (basic_block);
45   void find_control_dependence (int);
46   vec<bitmap> control_dependence_map;
47   edge_list *m_el;
48 };
49
50 extern bool mark_dfs_back_edges (void);
51 extern void find_unreachable_blocks (void);
52 struct edge_list * create_edge_list (void);
53 void free_edge_list (struct edge_list *);
54 void print_edge_list (FILE *, struct edge_list *);
55 void verify_edge_list (FILE *, struct edge_list *);
56 edge find_edge (basic_block, basic_block);
57 int find_edge_index (struct edge_list *, basic_block, basic_block);
58 extern void remove_fake_edges (void);
59 extern void remove_fake_exit_edges (void);
60 extern void add_noreturn_fake_exit_edges (void);
61 extern void connect_infinite_loops_to_exit (void);
62 extern int post_order_compute (int *, bool, bool);
63 extern basic_block dfs_find_deadend (basic_block);
64 extern int inverted_post_order_compute (int *);
65 extern int pre_and_rev_post_order_compute_fn (struct function *,
66                                               int *, int *, bool);
67 extern int pre_and_rev_post_order_compute (int *, int *, bool);
68 extern int dfs_enumerate_from (basic_block, int,
69                                bool (*)(const_basic_block, const void *),
70                                basic_block *, int, const void *);
71 extern void compute_dominance_frontiers (struct bitmap_head *);
72 extern bitmap compute_idf (bitmap, struct bitmap_head *);
73 extern void bitmap_intersection_of_succs (sbitmap, sbitmap *, basic_block);
74 extern void bitmap_intersection_of_preds (sbitmap, sbitmap *, basic_block);
75 extern void bitmap_union_of_succs (sbitmap, sbitmap *, basic_block);
76 extern void bitmap_union_of_preds (sbitmap, sbitmap *, basic_block);
77 extern basic_block * single_pred_before_succ_order (void);
78
79 #endif /* GCC_CFGANAL_H */