[Ada] Adapt body of formal sets and maps for SPARK
[official-gcc.git] / gcc / cfgrtl.h
blob7deaa4fdf74468423e177cf30d173d2c0e93244b
1 /* Define control flow data structures for the CFG.
2 Copyright (C) 2014-2022 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
20 #ifndef GCC_CFGRTL_H
21 #define GCC_CFGRTL_H
23 extern void delete_insn (rtx_insn *);
24 extern bool delete_insn_and_edges (rtx_insn *);
25 extern void delete_insn_chain (rtx, rtx_insn *, bool);
26 extern basic_block create_basic_block_structure (rtx_insn *, rtx_insn *,
27 rtx_note *, basic_block);
28 extern void compute_bb_for_insn (void);
29 extern unsigned int free_bb_for_insn (void);
30 extern rtx_insn *entry_of_function (void);
31 extern void update_bb_for_insn (basic_block);
32 extern bool contains_no_active_insn_p (const_basic_block);
33 extern bool forwarder_block_p (const_basic_block);
34 extern bool can_fallthru (basic_block, basic_block);
35 extern rtx_note *bb_note (basic_block);
36 extern rtx_code_label *block_label (basic_block);
37 extern edge try_redirect_by_replacing_jump (edge, basic_block, bool);
38 extern void emit_barrier_after_bb (basic_block bb);
39 extern basic_block force_nonfallthru_and_redirect (edge, basic_block, rtx);
40 extern void insert_insn_on_edge (rtx, edge);
41 extern void commit_one_edge_insertion (edge e);
42 extern void commit_edge_insertions (void);
43 extern void print_rtl_with_bb (FILE *, const rtx_insn *, dump_flags_t);
44 extern void update_br_prob_note (basic_block);
45 extern rtx_insn *get_last_bb_insn (basic_block);
46 extern void fixup_partitions (void);
47 extern bool purge_dead_edges (basic_block);
48 extern bool purge_all_dead_edges (void);
49 extern bool fixup_abnormal_edges (void);
50 extern void update_cfg_for_uncondjump (rtx_insn *);
51 extern rtx_insn *unlink_insn_chain (rtx_insn *, rtx_insn *);
52 extern void relink_block_chain (bool);
53 extern rtx_insn *duplicate_insn_chain (rtx_insn *, rtx_insn *,
54 class loop *, class copy_bb_data *);
55 extern void cfg_layout_initialize (int);
56 extern void cfg_layout_finalize (void);
57 extern void break_superblocks (void);
58 extern void init_rtl_bb_info (basic_block);
59 extern void find_bbs_reachable_by_hot_paths (hash_set <basic_block> *);
61 #endif /* GCC_CFGRTL_H */