#include "config.h"#include "system.h"#include "coretypes.h"#include "backend.h"#include "rtl.h"#include "df.h"#include "memmodel.h"#include "emit-rtl.h"#include "cfganal.h"#include "tree-pass.h"#include "cfgloop.h"
Variables | |
| struct bitmap_obstack | reg_obstack |
| bitmap_obstack | df_bitmap_obstack |
| class df_d * | df |
| static struct df_problem | user_problem |
| static struct dataflow | user_dflow |
Function Documentation
◆ debug_df_chain()
| DEBUG_FUNCTION void debug_df_chain | ( | struct df_link * | link | ) |
References df_chain_dump(), fputc(), and ggc_alloc().
◆ debug_df_defno()
| DEBUG_FUNCTION void debug_df_defno | ( | unsigned int | defno | ) |
References DF_DEFS_GET, df_ref_debug(), and ggc_alloc().
◆ debug_df_insn()
| DEBUG_FUNCTION void debug_df_insn | ( | rtx_insn * | insn | ) |
Functions for debugging from GDB.
References debug_rtx(), df_insn_debug(), ggc_alloc(), and df_insn_info::insn.
◆ debug_df_ref()
| DEBUG_FUNCTION void debug_df_ref | ( | df_ref | ref | ) |
References df_ref_debug(), and ggc_alloc().
◆ debug_df_reg()
| DEBUG_FUNCTION void debug_df_reg | ( | rtx | reg | ) |
References df_regno_debug(), ggc_alloc(), and REGNO.
◆ debug_df_regno()
| DEBUG_FUNCTION void debug_df_regno | ( | unsigned int | regno | ) |
References df_regno_debug(), and ggc_alloc().
◆ debug_df_useno()
| DEBUG_FUNCTION void debug_df_useno | ( | unsigned int | defno | ) |
References df_ref_debug(), DF_USES_GET, and ggc_alloc().
◆ debug_regset()
|
extern |
Print a human-readable representation of R on the standard error stream. This function is designed to be used from within the debugger.
References dump_regset(), ggc_alloc(), and r.
◆ df_add_problem()
| void df_add_problem | ( | const struct df_problem * | problem | ) |
Add PROBLEM (and any dependent problems) to the DF instance.
References df_problem::dependent_problem, df, df_add_problem(), ggc_alloc(), i, df_problem::id, df_d::num_problems_defined, dataflow::problem, df_d::problems_by_index, and df_d::problems_in_order.
Referenced by df_add_problem(), df_chain_add_problem(), df_live_add_problem(), df_lr_add_problem(), df_md_add_problem(), df_mir_add_problem(), df_note_add_problem(), df_rd_add_problem(), df_scan_add_problem(), and df_word_lr_add_problem().
◆ df_analyze()
Analyze dataflow info.
References df_d::analyze_subset, BITMAP_ALLOC, bitmap_and_into(), bitmap_bit_p, BITMAP_FREE, bitmap_set_bit, df_d::blocks_to_analyze, cfun, df, df_analyze_1(), df_bitmap_obstack, df_prune_to_subcfg(), free(), gcc_assert, ggc_alloc(), i, inverted_rev_post_order_compute(), n_basic_blocks_for_fn, df_d::n_blocks, NULL, post_order_compute(), df_d::postorder, and df_d::postorder_inverted.
Referenced by cse_main(), do_reload(), execute_compare_elim_after_reload(), execute_rtl_cprop(), execute_rtl_hoist(), execute_rtl_pre(), execute_rtl_store_motion(), find_and_remove_re(), find_moveable_pseudos(), fwprop_init(), gcse_after_reload_main(), if_convert(), init_dce(), initialize_uninitialized_regs(), ira(), ira_build(), move_loop_invariants(), one_cprop_pass(), peephole2_optimize(), regrename_optimize(), reorder_loops(), reorg_loops(), rest_of_handle_combine(), rest_of_handle_dse(), rest_of_handle_stack_adjustments(), thread_prologue_and_epilogue_insns(), try_optimize_cfg(), and try_shrink_wrapping_separate().
◆ df_analyze_1()
Analyze dataflow info.
References df_d::analyze_subset, BITMAP_FREE, df_d::blocks_to_analyze, df_d::changeable_flags, df, df_analyze_problem(), df_compute_regs_ever_live(), DF_FORWARD, df_process_deferred_rescans(), df_verify(), DF_VERIFY_SCHEDULED, dump_file, ggc_alloc(), i, df_d::n_blocks, NULL, df_d::num_problems_defined, df_d::postorder, df_d::postorder_inverted, and df_d::problems_in_order.
Referenced by df_analyze(), and df_analyze_loop().
◆ df_analyze_loop()
Analyze dataflow info for the basic blocks contained in LOOP.
References BITMAP_ALLOC, BITMAP_FREE, bitmap_set_bit, df, df_analyze_1(), df_bitmap_obstack, df_set_blocks(), free(), gcc_assert, ggc_alloc(), i, loop_inverted_rev_post_order_compute(), loop_rev_post_order_compute(), df_d::n_blocks, loop::num_nodes, df_d::postorder, and df_d::postorder_inverted.
Referenced by find_defs(), and iv_analysis_loop_init().
◆ df_analyze_problem()
| void df_analyze_problem | ( | struct dataflow * | dflow, |
| bitmap | blocks_to_consider, | ||
| int * | postorder, | ||
| int | n_blocks ) |
Execute dataflow analysis on a single dataflow problem. BLOCKS_TO_CONSIDER are the blocks whose solution can either be examined or will be computed. For calls from DF_ANALYZE, this is the set of blocks that has been passed to DF_SET_BLOCKS.
References ggc_alloc(), timevar_pop(), and timevar_push().
Referenced by df_analyze_1(), and fast_dce().
◆ df_bb_delete()
| void df_bb_delete | ( | int | bb_index | ) |
Free all of the per basic block dataflow from all of the problems. This is typically called before a basic block is deleted and the problem will be reanalyzed.
References BASIC_BLOCK_FOR_FN, cfun, df, df_clear_bb_dirty(), df_clear_bb_info(), df_get_bb_info(), df_mark_solutions_dirty(), ggc_alloc(), i, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by cfg_layout_merge_blocks(), rtl_delete_block(), and rtl_merge_blocks().
◆ df_bb_regno_first_def_find()
| df_ref df_bb_regno_first_def_find | ( | basic_block | bb, |
| unsigned int | regno ) |
Return first def of REGNO within BB.
References DF_REF_REGNO, FOR_BB_INSNS, FOR_EACH_INSN_DEF, INSN_P, and NULL.
◆ df_bb_regno_last_def_find()
| df_ref df_bb_regno_last_def_find | ( | basic_block | bb, |
| unsigned int | regno ) |
Return last def of REGNO within BB.
References DF_REF_REGNO, FOR_BB_INSNS_REVERSE, FOR_EACH_INSN_DEF, INSN_P, and NULL.
◆ df_bb_replace()
| void df_bb_replace | ( | int | old_index, |
| basic_block | new_block ) |
Shove NEW_BLOCK in at OLD_INDEX. Called from ifcvt to hack a block. There is no excuse for people to do this kind of thing.
References BASIC_BLOCK_FOR_FN, cfun, df, df_clear_bb_dirty(), df_get_bb_info(), df_grow_bb_info(), df_set_bb_dirty(), df_set_bb_info(), dump_file, gcc_assert, ggc_alloc(), basic_block_def::index, NULL, df_d::num_problems_defined, df_d::problems_in_order, and SET_BASIC_BLOCK_FOR_FN.
Referenced by find_if_case_1().
◆ df_clear_bb_dirty()
|
static |
Clear the dirty bits. This is called from places that delete blocks.
References bitmap_clear_bit(), df, ggc_alloc(), basic_block_def::index, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by df_bb_delete(), and df_bb_replace().
◆ df_clear_bb_info()
Clear basic block info.
References gcc_assert, and ggc_alloc().
Referenced by df_bb_delete(), and df_set_blocks().
◆ df_clear_flags()
| int df_clear_flags | ( | int | changeable_flags | ) |
Clear the MASK flags in the DFLOW problem. The old flags are returned. If a flag is not allowed to be changed this will fail if checking is enabled.
References df_d::changeable_flags, df, and ggc_alloc().
Referenced by df_insn_rescan_all(), df_lr_finalize(), df_process_deferred_rescans(), fast_dce(), if_convert(), ira(), run_fast_df_dce(), and run_word_dce().
◆ df_compact_blocks()
Called from the rtl_compact_blocks to reorganize the problems basic block info.
References bitmap_bit_p, bitmap_clear(), bitmap_copy(), bitmap_set_bit, df_d::blocks_to_analyze, cfun, df, df_bitmap_obstack, df_grow_bb_info(), df_lr, df_set_bb_info(), ENTRY_BLOCK, EXIT_BLOCK, FOR_EACH_BB_FN, free(), gcc_assert, ggc_alloc(), i, basic_block_def::index, last_basic_block_for_fn, n_basic_blocks_for_fn, NULL, NUM_FIXED_BLOCKS, df_d::num_problems_defined, df_d::problems_in_order, and SET_BASIC_BLOCK_FOR_FN.
Referenced by compact_blocks().
◆ df_dump()
Dump dataflow info.
References cfun, df_dump_bottom(), df_dump_start(), df_dump_top(), df_print_bb_index(), FOR_ALL_BB_FN, and ggc_alloc().
Referenced by df_dump_region(), init_dce(), and initialize_uninitialized_regs().
◆ df_dump_bb_problem_data()
|
static |
Dump the top or bottom of the block information for BB.
References df, ggc_alloc(), i, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by df_dump_bottom(), and df_dump_top().
◆ df_dump_bottom()
| void df_dump_bottom | ( | basic_block | bb, |
| FILE * | file ) |
Dump the bottom of the block information for BB.
References df_dump_bb_problem_data().
Referenced by df_dump(), print_rtl_with_bb(), and rtl_dump_bb().
◆ df_dump_insn_bottom()
Dump information about INSN after dumping INSN itself.
References df_dump_insn_problem_data().
Referenced by print_rtl_with_bb(), and rtl_dump_bb().
◆ df_dump_insn_problem_data()
Dump information about INSN just before or after dumping INSN itself.
References df, ggc_alloc(), i, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by df_dump_insn_bottom(), and df_dump_insn_top().
◆ df_dump_insn_top()
Dump information about INSN before dumping INSN itself.
References df_dump_insn_problem_data().
Referenced by print_rtl_with_bb(), and rtl_dump_bb().
◆ df_dump_region()
Dump dataflow info for df->blocks_to_analyze.
References BASIC_BLOCK_FOR_FN, df_d::blocks_to_analyze, cfun, df, df_dump(), df_dump_start(), dump_bb(), EXECUTE_IF_SET_IN_BITMAP, ggc_alloc(), and TDF_DETAILS.
Referenced by find_defs(), and iv_analysis_loop_init().
◆ df_dump_start()
Dump the introductory information for each problem defined.
References df_d::blocks_to_analyze, current_function_name(), df, DF_DEFS_TABLE_SIZE, DF_USES_TABLE_SIZE, ggc_alloc(), i, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by df_dump(), df_dump_region(), and print_rtl_with_bb().
◆ df_dump_top()
| void df_dump_top | ( | basic_block | bb, |
| FILE * | file ) |
Dump the top of the block information for BB.
References df_dump_bb_problem_data().
Referenced by df_dump(), print_rtl_with_bb(), and rtl_dump_bb().
◆ df_find_def()
Finds the reference corresponding to the definition of REG in INSN. DF is the dataflow object.
References DF_REF_REGNO, FOR_EACH_INSN_DEF, gcc_assert, GET_CODE, ggc_alloc(), NULL, REG_P, REGNO, and SUBREG_REG.
Referenced by biv_p(), df_reg_defined(), find_invariant_insn(), and iv_analyze_result().
◆ df_find_single_def_src()
If REG has a single definition, return its known value, otherwise return null.
References DF_REF_CONDITIONAL, DF_REF_FLAGS, DF_REF_INSN, DF_REF_IS_ARTIFICIAL, DF_REF_NEXT_REG, DF_REF_PARTIAL, DF_REG_DEF_CHAIN, find_reg_equal_equiv_note(), function_invariant_p(), ggc_alloc(), NULL, NULL_RTX, REG_P, REGNO, rtx_equal_p(), SET_DEST, SET_SRC, single_set(), and XEXP.
Referenced by record_store(), and replace_single_def_regs().
◆ df_find_use()
Finds the reference corresponding to the use of REG in INSN. DF is the dataflow object.
References df_d::changeable_flags, df, DF_EQ_NOTES, DF_INSN_INFO_GET, DF_REF_REGNO, FOR_EACH_INSN_INFO_EQ_USE, FOR_EACH_INSN_INFO_USE, gcc_assert, GET_CODE, ggc_alloc(), NULL, REG_P, REGNO, and SUBREG_REG.
Referenced by df_reg_used(), hash_invariant_expr_1(), invariant_expr_equal_p(), iv_analyze(), and iv_get_reaching_def().
◆ df_finish_pass()
Remove all of the problems that are not permanent. Scanning, LR and (at -O2 or higher) LIVE are permanent, the rest are removable. Also clear all of the changeable_flags.
References df_d::analyze_subset, BITMAP_FREE, df_d::blocks_to_analyze, df_d::changeable_flags, df, DF_LAST_PROBLEM_PLUS1, df_live, df_live_verify_transfer_functions(), df_lr_verify_transfer_functions(), df_mark_solutions_dirty(), df_maybe_reorganize_def_refs(), df_maybe_reorganize_use_refs(), DF_NO_INSN_RESCAN, df_process_deferred_rescans(), DF_REF_ORDER_NO_TABLE, df_remove_problem(), DF_VERIFY_SCHEDULED, ggc_alloc(), i, NULL, and df_d::problems_by_index.
Referenced by do_reload(), execute_todo(), and iv_analysis_done().
◆ df_get_bb_dirty()
| bool df_get_bb_dirty | ( | basic_block | bb | ) |
Return true if BB needs it's transfer functions recomputed.
References bitmap_bit_p, df_live, df_lr, basic_block_def::index, and dataflow::out_of_date_transfer_functions.
Referenced by find_if_header(), if_convert(), and try_head_merge_bb().
◆ df_get_bb_info()
Allocation for dataflow support routines.
Copyright (C) 1999-2024 Free Software Foundation, Inc.
Originally contributed by Michael P. Hayes
(m.hayes@elec.canterbury.ac.nz, mhayes@redhat.com)
Major rewrite contributed by Danny Berlin (dberlin@dberlin.org)
and Kenneth Zadeck (zadeck@naturalbridge.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/>. Get basic block info.
References ggc_alloc(), and NULL.
Referenced by df_bb_delete(), df_bb_replace(), and df_set_blocks().
◆ df_get_n_blocks()
| int df_get_n_blocks | ( | enum df_flow_dir | dir | ) |
Return the number of basic blocks from the last call to df_analyze.
References df, DF_FORWARD, DF_NONE, gcc_assert, df_d::n_blocks, df_d::postorder, and df_d::postorder_inverted.
Referenced by calculate_global_remat_bb_data(), dse_step4(), fast_dce(), and lra_create_live_ranges_1().
◆ df_get_postorder()
| int * df_get_postorder | ( | enum df_flow_dir | dir | ) |
Return a pointer to the array of basic blocks in the reverse postorder. Depending on the direction of the dataflow problem, it returns either the usual reverse postorder array or the reverse postorder of inverted traversal.
References df, DF_FORWARD, DF_NONE, gcc_assert, df_d::postorder, and df_d::postorder_inverted.
Referenced by calculate_global_remat_bb_data(), dse_step4(), fast_dce(), and lra_create_live_ranges_1().
◆ df_grow_bb_info()
Grow the bb_info array.
References cfun, ggc_alloc(), and last_basic_block_for_fn.
Referenced by df_bb_refs_record(), df_bb_replace(), df_compact_blocks(), df_insn_delete(), df_insn_rescan(), df_live_alloc(), df_lr_alloc(), df_md_alloc(), df_mir_alloc(), df_notes_rescan(), df_rd_alloc(), df_scan_alloc(), df_word_lr_alloc(), and move_insn_for_shrink_wrap().
◆ df_insn_debug()
| DEBUG_FUNCTION void df_insn_debug | ( | rtx_insn * | insn, |
| bool | follow_chain, | ||
| FILE * | file ) |
References df_insn_uid_debug(), ggc_alloc(), and INSN_UID().
Referenced by debug_df_insn(), and df_scan_start_block().
◆ df_insn_debug_regno()
| DEBUG_FUNCTION void df_insn_debug_regno | ( | rtx_insn * | insn, |
| FILE * | file ) |
◆ df_insn_uid_debug()
References DF_INSN_UID_DEFS, DF_INSN_UID_EQ_USES, DF_INSN_UID_LUID, DF_INSN_UID_MWS, DF_INSN_UID_USES, df_mws_dump(), df_refs_chain_dump(), and ggc_alloc().
Referenced by df_insn_debug().
◆ df_mark_solutions_dirty()
Mark the solutions as being out of date.
References df, df_d::num_problems_defined, df_d::problems_in_order, and dataflow::solutions_dirty.
Referenced by connect_dest(), connect_src(), df_bb_delete(), df_finish_pass(), df_set_bb_dirty(), df_set_blocks(), disconnect_dest(), disconnect_src(), and force_nonfallthru_and_redirect().
◆ df_mws_dump()
|
static |
References DF_MWS_NEXT, DF_MWS_REG_DEF_P, and ggc_alloc().
Referenced by df_insn_uid_debug().
◆ df_print_regset()
| void df_print_regset | ( | FILE * | file, |
| const_bitmap | r ) |
Write information about registers and basic blocks into FILE. This is part of making a debugging dump.
References EXECUTE_IF_SET_IN_BITMAP, ggc_alloc(), i, NULL, r, and reg_names.
Referenced by dce_process_block(), df_entry_block_bitmap_verify(), df_exit_block_bitmap_verify(), df_live_bottom_dump(), df_live_top_dump(), df_lr_bottom_dump(), df_lr_top_dump(), df_md_bottom_dump(), df_md_top_dump(), df_mir_bottom_dump(), df_mir_top_dump(), df_note_bb_compute(), df_scan_start_dump(), df_set_dead_notes_for_mw(), and replace_read().
◆ df_print_word_regset()
| void df_print_word_regset | ( | FILE * | file, |
| const_bitmap | r ) |
Write information about registers and basic blocks into FILE. The bitmap is in the form used by df_byte_lr. This is part of making a debugging dump.
References bitmap_bit_p, ggc_alloc(), i, max_reg_num(), NULL, and r.
Referenced by df_word_lr_bottom_dump(), df_word_lr_top_dump(), and word_dce_process_block().
◆ df_prune_to_subcfg()
Remove the entries not in BLOCKS from the LIST of length LEN, preserving the order of the remaining entries. Returns the length of the resulting list.
References bitmap_bit_p, ggc_alloc(), and last.
Referenced by df_analyze().
◆ df_ref_debug()
| DEBUG_FUNCTION void df_ref_debug | ( | df_ref | ref, |
| FILE * | file ) |
References df_chain_dump(), DF_REF_BBNO, DF_REF_CHAIN, DF_REF_FLAGS, DF_REF_ID, DF_REF_INSN_UID, DF_REF_IS_ARTIFICIAL, DF_REF_LOC, DF_REF_REG_DEF_P, DF_REF_REGNO, DF_REF_TYPE, and ggc_alloc().
Referenced by debug_df_defno(), debug_df_ref(), debug_df_useno(), df_create_unused_note(), df_install_ref_incremental(), and df_note_bb_compute().
◆ df_ref_dump()
References DF_REF_FLAGS, DF_REF_ID, DF_REF_IN_NOTE, DF_REF_REG_DEF_P, DF_REF_REGNO, and ggc_alloc().
Referenced by df_refs_chain_dump(), and df_regs_chain_dump().
◆ df_refs_chain_dump()
References df_chain_dump(), DF_REF_CHAIN, df_ref_dump(), DF_REF_NEXT_LOC, and ggc_alloc().
Referenced by df_insn_debug_regno(), df_insn_uid_debug(), and df_scan_start_block().
◆ df_reg_defined()
Return true if REG is defined in INSN, zero otherwise.
References df_find_def(), and NULL.
◆ df_reg_used()
Return true if REG is referenced in INSN, zero otherwise.
References df_find_use(), and NULL.
◆ df_regno_debug()
| DEBUG_FUNCTION void df_regno_debug | ( | unsigned int | regno, |
| FILE * | file ) |
References DF_REG_DEF_CHAIN, DF_REG_EQ_USE_CHAIN, DF_REG_USE_CHAIN, df_regs_chain_dump(), and ggc_alloc().
Referenced by debug_df_reg(), and debug_df_regno().
◆ df_regs_chain_dump()
Dump either a ref-def or reg-use chain.
References df_ref_dump(), DF_REF_NEXT_REG, and ggc_alloc().
Referenced by df_regno_debug().
◆ df_remove_problem()
Delete a DFLOW problem (and any problems that depend on this problem).
References df_problem::dependent_problem, df, df_remove_problem(), gcc_assert, ggc_alloc(), i, df_problem::id, NULL, df_d::num_problems_defined, dataflow::problem, df_d::problems_by_index, df_d::problems_in_order, and df_problem::remove_problem_fun.
Referenced by df_finish_pass(), df_remove_problem(), doloop_optimize_loops(), if_convert(), initialize_uninitialized_regs(), ira(), iv_analysis_loop_init(), move_invariants(), move_loop_invariants(), and rest_of_handle_ud_dce().
◆ df_set_bb_dirty()
| void df_set_bb_dirty | ( | basic_block | bb | ) |
Mark BB as needing it's transfer functions as being out of date.
References bitmap_set_bit, df, df_mark_solutions_dirty(), basic_block_def::flags, ggc_alloc(), basic_block_def::index, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by cfg_layout_redirect_edge_and_branch(), df_bb_refs_record(), df_bb_replace(), df_insn_change_bb(), df_insn_delete(), df_insn_rescan(), df_install_ref_incremental(), df_ref_change_reg_with_loc_1(), df_scan_blocks(), df_update_entry_block_defs(), df_update_exit_block_uses(), emit_insn_after_1(), find_cond_trap(), find_if_case_1(), find_if_case_2(), merge_blocks_move_predecessor_nojumps(), merge_if_block(), move_insn_for_shrink_wrap(), purge_dead_edges(), reorder_insns(), rtl_redirect_edge_and_branch(), rtl_redirect_edge_and_branch_force(), rtl_split_block(), rtl_split_edge(), try_crossjump_to_edge(), and try_head_merge_bb().
◆ df_set_bb_info()
Set basic block info.
References gcc_assert, and ggc_alloc().
Referenced by df_bb_replace(), and df_compact_blocks().
◆ df_set_blocks()
Set the blocks that are to be considered for analysis. If this is not called or is called with null, the entire function in analyzed.
References df_d::analyze_subset, BASIC_BLOCK_FOR_FN, BITMAP_ALLOC, bitmap_and_compl(), bitmap_clear(), bitmap_copy(), BITMAP_FREE, bitmap_initialize(), bitmap_print(), bitmap_set_bit, df_d::blocks_to_analyze, cfun, df, df_bitmap_obstack, df_clear_bb_info(), df_get_bb_info(), df_mark_solutions_dirty(), df_maybe_reorganize_def_refs(), df_maybe_reorganize_use_refs(), DF_REF_ORDER_NO_TABLE, dump_file, EXECUTE_IF_SET_IN_BITMAP, FOR_ALL_BB_FN, ggc_alloc(), basic_block_def::index, initialized, NULL, df_d::num_problems_defined, and df_d::problems_in_order.
Referenced by df_analyze_loop().
◆ df_set_flags()
| int df_set_flags | ( | int | changeable_flags | ) |
Set the MASK flags in the DFLOW problem. The old flags are returned. If a flag is not allowed to be changed this will fail if checking is enabled.
References df_d::changeable_flags, df, and ggc_alloc().
Referenced by cse_main(), decompose_multiword_subregs(), df_insn_rescan_all(), df_lr_finalize(), df_process_deferred_rescans(), do_reload(), execute_compare_elim_after_reload(), execute_rtl_cprop(), fast_dce(), find_and_remove_re(), find_defs(), if_convert(), init_dce(), iv_analysis_loop_init(), lra(), move_loop_invariants(), peephole2_optimize(), regrename_optimize(), rest_of_handle_combine(), rest_of_handle_dse(), run_fast_df_dce(), and run_word_dce().
◆ df_simple_dataflow()
| void df_simple_dataflow | ( | enum df_flow_dir | dir, |
| df_init_function | init_fun, | ||
| df_confluence_function_0 | con_fun_0, | ||
| df_confluence_function_n | con_fun_n, | ||
| df_transfer_function | trans_fun, | ||
| bitmap | blocks, | ||
| int * | postorder, | ||
| int | n_blocks ) |
Interface for calling iterative dataflow with user defined confluence and transfer functions. All that is necessary is to supply DIR, a direction, CONF_FUN_0, a confluence function for blocks with no logical preds (or NULL), CONF_FUN_N, the normal confluence function, TRANS_FUN, the basic block transfer function, and BLOCKS, the set of blocks to examine, POSTORDER the blocks in postorder, and N_BLOCKS, the number of blocks in POSTORDER.
References df_problem::con_fun_0, df_problem::con_fun_n, df_worklist_dataflow(), df_problem::dir, ggc_alloc(), df_problem::init_fun, dataflow::problem, df_problem::trans_fun, user_dflow, and user_problem.
Referenced by calculate_global_remat_bb_data(), dse_step4(), and lra_create_live_ranges_1().
◆ df_verify()
Verify that there is a place for everything and everything is in its place. This is too expensive to run after every pass in the mainline. However this is an excellent debugging tool if the dataflow information is not being updated properly. You can just sprinkle calls in until you find the place that is changing an underlying structure without calling the proper updating routine.
References df_d::changeable_flags, df, df_live, df_live_verify_transfer_functions(), df_lr_verify_transfer_functions(), df_scan_verify(), and ggc_alloc().
Referenced by df_analyze_1().
◆ df_worklist_dataflow()
| void df_worklist_dataflow | ( | struct dataflow * | dataflow, |
| bitmap | blocks_to_consider, | ||
| int * | blocks_in_postorder, | ||
| int | n_blocks ) |
Worklist-based dataflow solver. It uses sbitmap as a worklist, with "n"-th bit representing the n-th block in the reverse-postorder order. The solver is a double-queue algorithm similar to the "double stack" solver from Cooper, Harvey and Kennedy, "Iterative data-flow analysis, Revisited". The only significant difference is that the worklist in this implementation is always sorted in RPO of the CFG visiting direction.
References BITMAP_ALLOC, bitmap_clear(), bitmap_set_bit, cfun, df_bitmap_obstack, DF_NONE, df_worklist_dataflow_doublequeue(), df_problem::dir, EXECUTE_IF_SET_IN_BITMAP, free(), gcc_assert, ggc_alloc(), i, df_problem::init_fun, last_basic_block_for_fn, and dataflow::problem.
Referenced by df_lr_finalize(), and df_simple_dataflow().
◆ df_worklist_dataflow_doublequeue()
|
static |
Main dataflow solver loop. DATAFLOW is problem we are solving, PENDING is worklist of basic blocks we need to visit. BLOCK_IN_POSTORDER is array of size N_BLOCKS specifying postorder in BBs and BBINDEX_TO_POSTORDER is array mapping back BB->index to postorder position. PENDING will be freed. The worklists are bitmaps indexed by postorder positions. The function implements standard algorithm for dataflow solving with two worklists (we are processing WORKLIST and storing new BBs to visit in PENDING). As an optimization we maintain ages when BB was changed (stored in last_change_age) and when it was last visited (stored in last_visit_age). This avoids need to re-do confluence function for edges to basic blocks whose source did not change since destination was visited last time.
References BITMAP_ALLOC, bitmap_clear_first_set_bit(), bitmap_empty_p(), BITMAP_FREE, cfun, changed, df_bitmap_obstack, DF_FORWARD, df_worklist_propagate_backward(), df_worklist_propagate_forward(), df_problem::dir, dump_file, ggc_alloc(), n_basic_blocks_for_fn, n_edges_for_fn, dataflow::problem, vNULL, and worklist.
Referenced by df_worklist_dataflow().
◆ df_worklist_propagate_backward()
|
static |
Helper function for df_worklist_dataflow. Propagate the dataflow backward.
References BASIC_BLOCK_FOR_FN, bitmap_bit_p, bitmap_set_bit, cfun, changed, df_problem::con_fun_0, df_problem::con_fun_n, EDGE_COUNT, FOR_EACH_EDGE, ggc_alloc(), basic_block_def::preds, dataflow::problem, basic_block_def::succs, df_problem::trans_fun, and worklist.
Referenced by df_worklist_dataflow_doublequeue().
◆ df_worklist_propagate_forward()
|
static |
Helper function for df_worklist_dataflow. Propagate the dataflow forward. Given a BB_INDEX, do the dataflow propagation and set bits on for successors in PENDING for earlier and WORKLIST for later in bbindex_to_postorder if the out set of the dataflow has changed. AGE specify time when BB was visited last time. AGE of 0 means we are visiting for first time and need to compute transfer function to initialize datastructures. Otherwise we re-do transfer function only if something change while computing confluence functions. We need to compute confluence only of basic block that are younger then last visit of the BB. Return true if BB info has changed. This is always the case in the first visit.
References BASIC_BLOCK_FOR_FN, bitmap_bit_p, bitmap_set_bit, cfun, changed, df_problem::con_fun_0, df_problem::con_fun_n, EDGE_COUNT, FOR_EACH_EDGE, ggc_alloc(), basic_block_def::preds, dataflow::problem, basic_block_def::succs, df_problem::trans_fun, and worklist.
Referenced by df_worklist_dataflow_doublequeue().
◆ dump_regset()
Write information about registers and basic blocks into FILE. This is part of making a debugging dump.
References EXECUTE_IF_SET_IN_REG_SET, ggc_alloc(), i, NULL, r, and reg_names.
Referenced by debug_regset(), and dump_candidates_and_remat_bb_data().
◆ loop_inverted_rev_post_order_compute()
Compute the reverse top sort order of the inverted sub-CFG specified by LOOP. Returns the number of blocks which is always loop->num_nodes.
References bitmap_set_bit, EDGE_COUNT, ei_edge(), ei_next(), ei_one_before_end_p(), ei_start, flow_bb_inside_loop_p(), free(), ggc_alloc(), loop::header, basic_block_def::index, loop::num_nodes, basic_block_def::preds, and visited.
Referenced by df_analyze_loop().
◆ loop_rev_post_order_compute()
Compute the reverse top sort order of the sub-CFG specified by LOOP. Returns the number of blocks which is always loop->num_nodes.
References bitmap_set_bit, EDGE_COUNT, ei_edge(), ei_next(), ei_one_before_end_p(), ei_start, flow_bb_inside_loop_p(), free(), ggc_alloc(), basic_block_def::index, loop_preheader_edge(), loop::num_nodes, basic_block_def::succs, and visited.
Referenced by df_analyze_loop().
◆ make_pass_df_finish()
| rtl_opt_pass * make_pass_df_finish | ( | gcc::context * | ctxt | ) |
References ggc_alloc().
◆ make_pass_df_initialize_no_opt()
| rtl_opt_pass * make_pass_df_initialize_no_opt | ( | gcc::context * | ctxt | ) |
References ggc_alloc().
◆ make_pass_df_initialize_opt()
| rtl_opt_pass * make_pass_df_initialize_opt | ( | gcc::context * | ctxt | ) |
References ggc_alloc().
◆ rest_of_handle_df_finish()
Free all the dataflow info and the DF structure. This should be called from the df_finish macro which also NULLs the parm.
References bitmap_obstack_release(), df, df_bitmap_obstack, free(), gcc_assert, ggc_alloc(), df_d::hard_regs_live_count, i, NULL, df_d::num_problems_defined, df_d::postorder, df_d::postorder_inverted, and df_d::problems_in_order.
◆ rest_of_handle_df_initialize()
Set up the dataflow instance for the entire back end.
References bitmap_obstack_initialize(), df_d::changeable_flags, crtl, df, df_bitmap_obstack, df_compute_regs_ever_live(), df_hard_reg_init(), df_live_add_problem(), df_lr_add_problem(), df_scan_add_problem(), df_scan_alloc(), df_scan_blocks(), gcc_assert, ggc_alloc(), df_d::hard_regs_live_count, and NULL.
Variable Documentation
◆ df
This is used for debugging and for the dumpers to find the latest instance so that the df info can be added to the dumps. This should not be used by regular code.
Referenced by compact_blocks(), create_task_copyfn(), decompose_multiword_subregs(), df_add_problem(), df_add_refs_to_table(), df_analyze(), df_analyze_1(), df_analyze_loop(), df_bb_delete(), df_bb_refs_collect(), df_bb_refs_record(), df_bb_replace(), df_chain_bb_dump(), df_chain_create_bb(), df_chain_create_bb_process_use(), df_chain_insn_bottom_dump(), df_chain_insn_top_dump(), df_clear_bb_dirty(), df_clear_flags(), df_compact_blocks(), df_compute_regs_ever_live(), df_count_refs(), df_dump_bb_problem_data(), df_dump_insn_problem_data(), df_dump_region(), df_dump_start(), df_entry_block_bitmap_verify(), df_exit_block_bitmap_verify(), df_find_use(), df_finish_pass(), df_get_call_refs(), df_get_n_blocks(), df_get_postorder(), df_grow_insn_info(), df_grow_reg_info(), df_hard_reg_used_count(), df_hard_reg_used_p(), df_insn_change_bb(), df_insn_delete(), df_insn_info_delete(), df_insn_rescan(), df_insn_rescan_all(), df_insn_rescan_debug_internal(), df_install_ref(), df_install_ref_incremental(), df_install_refs(), df_live_verify_transfer_functions(), df_lr_confluence_0(), df_lr_confluence_n(), df_lr_finalize(), df_lr_local_compute(), df_lr_verify_transfer_functions(), df_mark_solutions_dirty(), df_maybe_reorganize_def_refs(), df_maybe_reorganize_use_refs(), df_md_bb_local_compute(), df_md_bb_local_compute_process_def(), df_md_simulate_one_insn(), df_notes_rescan(), df_process_deferred_rescans(), df_rd_bb_local_compute(), df_rd_bb_local_compute_process_def(), df_rd_dump_defs_set(), df_rd_local_compute(), df_rd_simulate_one_insn(), df_rd_start_dump(), df_rd_transfer_function(), df_ref_change_reg_with_loc(), df_ref_create_structure(), df_ref_record(), df_refs_add_to_chains(), df_reg_chain_unlink(), df_remove_problem(), df_reorganize_refs_by_insn(), df_reorganize_refs_by_reg(), df_reorganize_refs_by_reg_by_insn(), df_reorganize_refs_by_reg_by_reg(), df_scan_alloc(), df_scan_blocks(), df_scan_free(), df_scan_free_internal(), df_scan_start_dump(), df_scan_verify(), df_set_bb_dirty(), df_set_blocks(), df_set_flags(), df_set_regs_ever_live(), df_simulate_fixup_sets(), df_update_entry_block_defs(), df_update_exit_block_uses(), df_verify(), df_word_lr_local_compute(), dump_reg_info(), fast_dce(), find_invariants_to_move(), glibc_linux_libm_function_max_error(), ira(), latch_dominating_def(), print_rtl_with_bb(), reginfo_init(), remove_edge_and_dominated_blocks(), remove_reg_equal_equiv_notes_for_regno(), rest_of_handle_df_finish(), rest_of_handle_df_initialize(), and rtl_dump_bb().
◆ df_bitmap_obstack
| bitmap_obstack df_bitmap_obstack |
An obstack for bitmap not related to specific dataflow problems. This obstack should e.g. be used for bitmaps with a short life time such as temporary bitmaps.
Referenced by df_analyze(), df_analyze_loop(), df_chain_add_problem(), df_compact_blocks(), df_entry_block_bitmap_verify(), df_exit_block_bitmap_verify(), df_insn_rescan_all(), df_live_add_problem(), df_lr_add_problem(), df_mir_add_problem(), df_note_compute(), df_process_deferred_rescans(), df_rd_confluence_n(), df_rd_dump_defs_set(), df_rd_local_compute(), df_rd_transfer_function(), df_scan_verify(), df_set_blocks(), df_update_entry_block_defs(), df_update_exit_block_uses(), df_word_lr_add_problem(), df_worklist_dataflow(), df_worklist_dataflow_doublequeue(), regstat_compute_calls_crossed(), regstat_compute_ri(), rest_of_handle_df_finish(), and rest_of_handle_df_initialize().
◆ reg_obstack
| struct bitmap_obstack reg_obstack |
The obstack on which regsets are allocated.
Referenced by assign_by_spills(), assign_spill_hard_regs(), bb_valid_for_noce_process_p(), bbs_ok_for_cmove_arith(), calculate_bb_reg_pressure(), calculate_equiv_gains(), calculate_gen_cands(), calculate_loop_reg_pressure(), can_move_insns_across(), combine_stack_adjustments(), combine_stack_adjustments_for_block(), create_remat_bb_data(), dead_or_predicable(), do_remat(), dse_step0(), dse_step1(), cgraph_node::expand(), find_exits(), initialize_lra_reg_info_element(), initiate_live_solver(), lra(), lra_assign(), lra_coalesce(), lra_constraints(), lra_eliminate(), lra_inheritance(), lra_live_ranges_init(), lra_remat(), lra_split_hard_reg_for(), lra_undo_inheritance(), peephole2_optimize(), remove_scratches(), replace_read(), run_rtl_passes(), simplify_using_initial_values(), spill_pseudos(), spill_pseudos(), undo_optional_reloads(), and update_bad_spill_attribute().
◆ user_dflow
Referenced by df_simple_dataflow().
◆ user_problem
|
static |
Referenced by df_simple_dataflow().
