| /* Data and Control Flow Analysis for Trees. |
| Copyright (C) 2001-2021 Free Software Foundation, Inc. |
| Contributed by Diego Novillo <dnovillo@redhat.com> |
| |
| This file is part of GCC. |
| |
| GCC is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 3, or (at your option) |
| any later version. |
| |
| GCC is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GCC; see the file COPYING3. If not see |
| <http://www.gnu.org/licenses/>. */ |
| |
| #ifndef _TREE_CFG_H |
| #define _TREE_CFG_H |
| |
| /* Location to track pending stmt for edge insertion. */ |
| #define PENDING_STMT(e) ((e)->insns.g) |
| |
| /* Garbage collection and PCH support for edge_def. */ |
| extern void gt_ggc_mx (edge_def *e); |
| extern void gt_pch_nx (edge_def *e); |
| extern void gt_pch_nx (edge_def *e, gt_pointer_operator, void *); |
| |
| extern void init_empty_tree_cfg_for_function (struct function *); |
| extern void init_empty_tree_cfg (void); |
| extern void start_recording_case_labels (void); |
| extern void end_recording_case_labels (void); |
| extern basic_block label_to_block (struct function *, tree); |
| extern void cleanup_dead_labels (void); |
| extern bool group_case_labels_stmt (gswitch *); |
| extern bool group_case_labels (void); |
| extern void replace_uses_by (tree, tree); |
| extern basic_block single_noncomplex_succ (basic_block bb); |
| extern void notice_special_calls (gcall *); |
| extern void clear_special_calls (void); |
| extern edge find_taken_edge (basic_block, tree); |
| extern void gimple_debug_bb (basic_block); |
| extern basic_block gimple_debug_bb_n (int); |
| extern void gimple_debug_cfg (int); |
| extern void gimple_dump_cfg (FILE *, dump_flags_t); |
| extern void dump_cfg_stats (FILE *); |
| extern void debug_cfg_stats (void); |
| extern bool computed_goto_p (gimple *); |
| extern bool stmt_can_make_abnormal_goto (gimple *); |
| extern basic_block get_abnormal_succ_dispatcher (basic_block); |
| extern bool is_ctrl_stmt (gimple *); |
| extern bool is_ctrl_altering_stmt (gimple *); |
| extern bool simple_goto_p (gimple *); |
| extern bool stmt_ends_bb_p (gimple *); |
| extern bool gimple_seq_unreachable_p (gimple_seq); |
| extern bool assert_unreachable_fallthru_edge_p (edge); |
| extern void delete_tree_cfg_annotations (function *); |
| extern gphi *get_virtual_phi (basic_block); |
| extern gimple *first_stmt (basic_block); |
| extern gimple *last_stmt (basic_block); |
| extern gimple *last_and_only_stmt (basic_block); |
| extern void verify_gimple_in_seq (gimple_seq); |
| extern void verify_gimple_in_cfg (struct function *, bool); |
| extern tree gimple_block_label (basic_block); |
| extern void add_phi_args_after_copy_bb (basic_block); |
| extern void add_phi_args_after_copy (basic_block *, unsigned, edge); |
| extern basic_block split_edge_bb_loc (edge); |
| extern bool gimple_duplicate_sese_region (edge, edge, basic_block *, unsigned, |
| basic_block *, bool); |
| extern bool gimple_duplicate_sese_tail (edge, edge, basic_block *, unsigned, |
| basic_block *); |
| extern void gather_blocks_in_sese_region (basic_block entry, basic_block exit, |
| vec<basic_block> *bbs_p); |
| extern void verify_sese (basic_block, basic_block, vec<basic_block> *); |
| extern bool gather_ssa_name_hash_map_from (tree const &, tree const &, void *); |
| extern void fold_loop_internal_call (gimple *, tree); |
| extern basic_block move_sese_region_to_fn (struct function *, basic_block, |
| basic_block, tree); |
| extern void dump_function_to_file (tree, FILE *, dump_flags_t); |
| extern void debug_function (tree, dump_flags_t); |
| extern void print_loops_bb (FILE *, basic_block, int, int); |
| extern void print_loops (FILE *, int); |
| extern void debug (class loop &ref); |
| extern void debug (class loop *ptr); |
| extern void debug_verbose (class loop &ref); |
| extern void debug_verbose (class loop *ptr); |
| extern void debug_loops (int); |
| extern void debug_loop (class loop *, int); |
| extern void debug_loop_num (unsigned, int); |
| extern void remove_edge_and_dominated_blocks (edge); |
| extern bool gimple_purge_dead_eh_edges (basic_block); |
| extern bool gimple_purge_all_dead_eh_edges (const_bitmap); |
| extern bool gimple_purge_dead_abnormal_call_edges (basic_block); |
| extern bool gimple_purge_all_dead_abnormal_call_edges (const_bitmap); |
| extern tree gimplify_build3 (gimple_stmt_iterator *, enum tree_code, |
| tree, tree, tree, tree); |
| extern tree gimplify_build2 (gimple_stmt_iterator *, enum tree_code, |
| tree, tree, tree); |
| extern tree gimplify_build1 (gimple_stmt_iterator *, enum tree_code, |
| tree, tree); |
| extern void extract_true_false_edges_from_block (basic_block, edge *, edge *); |
| extern tree find_case_label_for_value (const gswitch *switch_stmt, tree val); |
| extern edge find_taken_edge_switch_expr (const gswitch *switch_stmt, tree val); |
| extern unsigned int execute_fixup_cfg (void); |
| extern unsigned int split_critical_edges (bool for_edge_insertion_p = false); |
| extern basic_block insert_cond_bb (basic_block, gimple *, gimple *, |
| profile_probability); |
| extern bool gimple_find_sub_bbs (gimple_seq, gimple_stmt_iterator *); |
| extern bool extract_true_false_controlled_edges (basic_block, basic_block, |
| edge *, edge *); |
| extern void generate_range_test (basic_block bb, tree index, tree low, |
| tree high, tree *lhs, tree *rhs); |
| extern basic_block gimple_switch_label_bb (function *, gswitch *, unsigned); |
| extern basic_block gimple_switch_default_bb (function *, gswitch *); |
| extern edge gimple_switch_edge (function *, gswitch *, unsigned); |
| extern edge gimple_switch_default_edge (function *, gswitch *); |
| |
| /* Return true if the LHS of a call should be removed. */ |
| |
| inline bool |
| should_remove_lhs_p (tree lhs) |
| { |
| return (lhs |
| && TREE_CODE (TYPE_SIZE_UNIT (TREE_TYPE (lhs))) == INTEGER_CST |
| && !TREE_ADDRESSABLE (TREE_TYPE (lhs))); |
| } |
| |
| |
| inline unsigned int |
| split_edges_for_insertion () |
| { |
| return split_critical_edges (/*for_edge_insertion_p=*/true); |
| } |
| |
| #endif /* _TREE_CFG_H */ |