1/* Data and Control Flow Analysis for Trees.
2   Copyright (C) 2001-2015 Free Software Foundation, Inc.
3   Contributed by Diego Novillo <dnovillo@redhat.com>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 3, or (at your option)
10any later version.
11
12GCC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3.  If not see
19<http://www.gnu.org/licenses/>.  */
20
21#ifndef _TREE_CFG_H
22#define _TREE_CFG_H
23
24/* Location to track pending stmt for edge insertion.  */
25#define PENDING_STMT(e)	((e)->insns.g)
26
27/* Garbage collection and PCH support for edge_def.  */
28extern void gt_ggc_mx (edge_def *e);
29extern void gt_pch_nx (edge_def *e);
30extern void gt_pch_nx (edge_def *e, gt_pointer_operator, void *);
31
32extern void init_empty_tree_cfg_for_function (struct function *);
33extern void init_empty_tree_cfg (void);
34extern void fold_cond_expr_cond (void);
35extern void start_recording_case_labels (void);
36extern void end_recording_case_labels (void);
37extern basic_block label_to_block_fn (struct function *, tree);
38#define label_to_block(t) (label_to_block_fn (cfun, t))
39extern void cleanup_dead_labels (void);
40extern void group_case_labels_stmt (gswitch *);
41extern void group_case_labels (void);
42extern void replace_uses_by (tree, tree);
43extern basic_block single_noncomplex_succ (basic_block bb);
44extern void notice_special_calls (gcall *);
45extern void clear_special_calls (void);
46extern edge find_taken_edge (basic_block, tree);
47extern void gimple_debug_bb (basic_block);
48extern basic_block gimple_debug_bb_n (int);
49extern void gimple_debug_cfg (int);
50extern void gimple_dump_cfg (FILE *, int);
51extern void dump_cfg_stats (FILE *);
52extern void debug_cfg_stats (void);
53extern bool computed_goto_p (gimple);
54extern bool stmt_can_make_abnormal_goto (gimple);
55extern basic_block get_abnormal_succ_dispatcher (basic_block);
56extern bool is_ctrl_stmt (gimple);
57extern bool is_ctrl_altering_stmt (gimple);
58extern bool simple_goto_p (gimple);
59extern bool stmt_ends_bb_p (gimple);
60extern bool assert_unreachable_fallthru_edge_p (edge);
61extern void delete_tree_cfg_annotations (void);
62extern gimple first_stmt (basic_block);
63extern gimple last_stmt (basic_block);
64extern gimple last_and_only_stmt (basic_block);
65extern void verify_gimple_in_seq (gimple_seq);
66extern void verify_gimple_in_cfg (struct function *, bool);
67extern tree gimple_block_label (basic_block);
68extern void add_phi_args_after_copy_bb (basic_block);
69extern void add_phi_args_after_copy (basic_block *, unsigned, edge);
70extern basic_block split_edge_bb_loc (edge);
71extern bool gimple_duplicate_sese_region (edge, edge, basic_block *, unsigned,
72					basic_block *, bool);
73extern bool gimple_duplicate_sese_tail (edge, edge, basic_block *, unsigned,
74				      basic_block *);
75extern void gather_blocks_in_sese_region (basic_block entry, basic_block exit,
76					  vec<basic_block> *bbs_p);
77extern void verify_sese (basic_block, basic_block, vec<basic_block> *);
78extern basic_block move_sese_region_to_fn (struct function *, basic_block,
79				           basic_block, tree);
80extern void dump_function_to_file (tree, FILE *, int);
81extern void debug_function (tree, int) ;
82extern void print_loops_bb (FILE *, basic_block, int, int);
83extern void print_loops (FILE *, int);
84extern void debug (struct loop &ref);
85extern void debug (struct loop *ptr);
86extern void debug_verbose (struct loop &ref);
87extern void debug_verbose (struct loop *ptr);
88extern void debug_loops (int);
89extern void debug_loop (struct loop *, int);
90extern void debug_loop_num (unsigned, int);
91extern void remove_edge_and_dominated_blocks (edge);
92extern bool gimple_purge_dead_eh_edges (basic_block);
93extern bool gimple_purge_all_dead_eh_edges (const_bitmap);
94extern bool gimple_purge_dead_abnormal_call_edges (basic_block);
95extern bool gimple_purge_all_dead_abnormal_call_edges (const_bitmap);
96extern tree gimplify_build3 (gimple_stmt_iterator *, enum tree_code,
97			     tree, tree, tree, tree);
98extern tree gimplify_build2 (gimple_stmt_iterator *, enum tree_code,
99			     tree, tree, tree);
100extern tree gimplify_build1 (gimple_stmt_iterator *, enum tree_code,
101			     tree, tree);
102extern void extract_true_false_edges_from_block (basic_block, edge *, edge *);
103extern unsigned int execute_fixup_cfg (void);
104extern unsigned int split_critical_edges (void);
105extern basic_block insert_cond_bb (basic_block, gimple, gimple);
106
107#endif /* _TREE_CFG_H  */
108