tree-cfg.h 5.4 KB

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