X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fcfghooks.h;h=9fd81acb0d3f3021f7e2b163b198bcde830ba909;hb=7f51118e86f602364cec060667f574a299b1303c;hp=a05a0154c92601edd40bdb75c18159589fc6a702;hpb=c50ae675d1e02325c13da64e4841cb8774b2bb54;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/cfghooks.h b/gcc/cfghooks.h index a05a0154c92..9fd81acb0d3 100644 --- a/gcc/cfghooks.h +++ b/gcc/cfghooks.h @@ -1,12 +1,13 @@ /* Hooks for cfg representation specific functions. - Copyright (C) 2003, 2004 Free Software Foundation, Inc. + Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008 + Free Software Foundation, Inc. Contributed by Sebastian Pop 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 2, or (at your option) +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, @@ -15,9 +16,8 @@ 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 COPYING. If not, write to -the Free Software Foundation, 59 Temple Place - Suite 330, -Boston, MA 02111-1307, USA. */ +along with GCC; see the file COPYING3. If not see +. */ #ifndef GCC_CFGHOOKS_H #define GCC_CFGHOOKS_H @@ -29,7 +29,7 @@ struct cfg_hooks /* Debugging. */ int (*verify_flow_info) (void); - void (*dump_bb) (basic_block, FILE *, int); + void (*dump_bb) (basic_block, FILE *, int, int); /* Basic CFG manipulation. */ @@ -43,10 +43,14 @@ struct cfg_hooks edge (*redirect_edge_and_branch) (edge e, basic_block b); /* Same as the above but allows redirecting of fallthru edges. In that case - newly created forwarder basic block is returned. It aborts when called - on abnormal edge. */ + newly created forwarder basic block is returned. The edge must + not be abnormal. */ basic_block (*redirect_edge_and_branch_force) (edge, basic_block); + /* Returns true if it is possible to remove the edge by redirecting it + to the destination of the other edge going from its source. */ + bool (*can_remove_branch_p) (const_edge); + /* Remove statements corresponding to a given basic block. */ void (*delete_basic_block) (basic_block); @@ -68,10 +72,10 @@ struct cfg_hooks /* Return true if the one of outgoing edges is already predicted by PREDICTOR. */ - bool (*predicted_by_p) (basic_block bb, enum br_predictor predictor); + bool (*predicted_by_p) (const_basic_block bb, enum br_predictor predictor); /* Return true when block A can be duplicated. */ - bool (*can_duplicate_block_p) (basic_block a); + bool (*can_duplicate_block_p) (const_basic_block a); /* Duplicate block A. */ basic_block (*duplicate_block) (basic_block a); @@ -81,16 +85,19 @@ struct cfg_hooks basic_block (*split_edge) (edge); void (*make_forwarder_block) (edge); - /* Tries to make the edge fallthru. */ + /* Try to make the edge fallthru. */ void (*tidy_fallthru_edge) (edge); + /* Make the edge non-fallthru. */ + basic_block (*force_nonfallthru) (edge); + /* Say whether a block ends with a call, possibly followed by some other code that must stay with the call. */ bool (*block_ends_with_call_p) (basic_block); /* Say whether a block ends with a conditional branch. Switches and unconditional branches do not qualify. */ - bool (*block_ends_with_condjump_p) (basic_block); + bool (*block_ends_with_condjump_p) (const_basic_block); /* Add fake edges to the function exit for any non constant and non noreturn calls, volatile inline assembly in the bitmap of blocks specified by @@ -111,27 +118,24 @@ struct cfg_hooks /* A hook for duplicating loop in CFG, currently this is used in loop versioning. */ - bool (*cfg_hook_duplicate_loop_to_header_edge) (struct loop *loop, edge e, - struct loops *loops, - unsigned int ndupl, - sbitmap wont_exit, - edge orig, edge *to_remove, - unsigned int *n_to_remove, - int flags); - - /* Add conition to new basic block and update CFG used in loop + bool (*cfg_hook_duplicate_loop_to_header_edge) (struct loop *, edge, + unsigned, sbitmap, + edge, VEC (edge, heap) **, + int); + + /* Add condition to new basic block and update CFG used in loop versioning. */ void (*lv_add_condition_to_bb) (basic_block, basic_block, basic_block, - void *); + void *); /* Update the PHI nodes in case of loop versioning. */ void (*lv_adjust_loop_header_phi) (basic_block, basic_block, basic_block, edge); - + /* Given a condition BB extract the true/false taken/not taken edges (depending if we are on tree's or RTL). */ void (*extract_cond_bb_edges) (basic_block, edge *, edge *); - + /* Add PHI arguments queued in PENDINT_STMT list on edge E to edge E->dest (only in tree-ssa loop versioning. */ void (*flush_pending_stmts) (edge); @@ -141,6 +145,9 @@ extern void verify_flow_info (void); extern void dump_bb (basic_block, FILE *, int); extern edge redirect_edge_and_branch (edge, basic_block); extern basic_block redirect_edge_and_branch_force (edge, basic_block); +extern bool can_remove_branch_p (const_edge); +extern void remove_branch (edge); +extern void remove_edge (edge); extern edge split_block (basic_block, void *); extern edge split_block_after_labels (basic_block); extern bool move_block_after (basic_block, basic_block); @@ -152,23 +159,23 @@ extern bool can_merge_blocks_p (basic_block, basic_block); extern void merge_blocks (basic_block, basic_block); extern edge make_forwarder_block (basic_block, bool (*)(edge), void (*) (basic_block)); +extern basic_block force_nonfallthru (edge); extern void tidy_fallthru_edge (edge); extern void tidy_fallthru_edges (void); extern void predict_edge (edge e, enum br_predictor predictor, int probability); -extern bool predicted_by_p (basic_block bb, enum br_predictor predictor); -extern bool can_duplicate_block_p (basic_block); -extern basic_block duplicate_block (basic_block, edge); +extern bool predicted_by_p (const_basic_block bb, enum br_predictor predictor); +extern bool can_duplicate_block_p (const_basic_block); +extern basic_block duplicate_block (basic_block, edge, basic_block); extern bool block_ends_with_call_p (basic_block bb); -extern bool block_ends_with_condjump_p (basic_block bb); +extern bool block_ends_with_condjump_p (const_basic_block bb); extern int flow_call_edges_add (sbitmap); extern void execute_on_growing_pred (edge); extern void execute_on_shrinking_pred (edge); extern bool cfg_hook_duplicate_loop_to_header_edge (struct loop *loop, edge, - struct loops *loops, unsigned int ndupl, sbitmap wont_exit, - edge orig, edge *to_remove, - unsigned int *n_to_remove, + edge orig, + VEC (edge, heap) **to_remove, int flags); extern void lv_flush_pending_stmts (edge); @@ -179,14 +186,16 @@ extern void lv_add_condition_to_bb (basic_block, basic_block, basic_block, void *); /* Hooks containers. */ -extern struct cfg_hooks tree_cfg_hooks; +extern struct cfg_hooks gimple_cfg_hooks; extern struct cfg_hooks rtl_cfg_hooks; extern struct cfg_hooks cfg_layout_rtl_cfg_hooks; /* Declarations. */ -extern int ir_type (void); +extern enum ir_type current_ir_type (void); extern void rtl_register_cfg_hooks (void); extern void cfg_layout_rtl_register_cfg_hooks (void); -extern void tree_register_cfg_hooks (void); +extern void gimple_register_cfg_hooks (void); +extern struct cfg_hooks get_cfg_hooks (void); +extern void set_cfg_hooks (struct cfg_hooks); #endif /* GCC_CFGHOOKS_H */