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