Inheritance diagram for copy_folder:

[legend]

Collaboration diagram for copy_folder:

[legend]

Public Member Functions
tree	value_of_expr (tree name, gimple *) final override

virtual tree	value_on_edge (edge, tree expr) override

virtual tree	value_of_stmt (gimple *, tree name=NULL) override

virtual bool	range_of_expr (vrange &r, tree expr, gimple *=NULL)

virtual bool	fold_stmt (gimple_stmt_iterator *)

bool	substitute_and_fold (basic_block=NULL)

bool	replace_uses_in (gimple *)

bool	replace_phi_args_in (gphi *)

virtual void	pre_fold_bb (basic_block)

virtual void	post_fold_bb (basic_block)

virtual void	pre_fold_stmt (gimple *)

virtual void	post_new_stmt (gimple *)

bool	propagate_into_phi_args (basic_block)

virtual tree	value_on_entry (basic_block, tree expr)

virtual tree	value_on_exit (basic_block, tree expr)

virtual bool	range_on_edge (vrange &r, edge, tree expr)

virtual bool	range_of_stmt (vrange &r, gimple *, tree name=NULL)

virtual bool	range_on_entry (vrange &r, basic_block bb, tree expr)

virtual bool	range_on_exit (vrange &r, basic_block bb, tree expr)

class relation_oracle &	relation () const

void	create_relation_oracle (bool do_trans_p=true)

void	destroy_relation_oracle ()

class infer_range_oracle &	infer_oracle () const

void	create_infer_oracle (range_query *q=NULL, bool do_search=true)

void	destroy_infer_oracle ()

class gimple_outgoing_range &	gori () const

class gori_map *	gori_ssa () const

void	create_gori (int not_executable_flag=0, int sw_max_edges=INT_MAX)

void	destroy_gori ()

virtual void	dump (FILE *)

Data Fields
bool	fold_all_stmts

Protected Member Functions
bool	get_tree_range (vrange &v, tree expr, gimple *stmt, basic_block bbentry=NULL, basic_block bbexit=NULL)

bool	invoke_range_of_expr (vrange &v, tree expr, gimple *stmt, basic_block bbentry, basic_block bbexit)

bool	get_arith_expr_range (vrange &r, tree expr, gimple *stmt)

void	share_query (range_query &q)

Protected Attributes
relation_oracle *	m_relation

infer_range_oracle *	m_infer

gimple_outgoing_range *	m_gori

gori_map *	m_map

bool	m_shared_copy_p

Member Function Documentation

◆ create_gori()

void range_query::create_gori	(	int	not_executable_flag = 0,
		int	sw_max_edges = INT_MAX )

inherited

References default_gori, gcc_checking_assert, m_gori, m_map, and NULL.

Referenced by ranger_cache::ranger_cache().

◆ create_infer_oracle()

void range_query::create_infer_oracle	(	range_query *	q = NULL,
		bool	do_search = true )

inherited

References default_infer_oracle, gcc_checking_assert, m_infer, and range_query().

Referenced by ranger_cache::ranger_cache().

◆ create_relation_oracle()

void range_query::create_relation_oracle ( bool do_trans_p = true )

inherited

References CDI_DOMINATORS, default_relation_oracle, dom_info_available_p(), gcc_checking_assert, global_ranges, and m_relation.

Referenced by execute_fast_vrp(), and ranger_cache::ranger_cache().

◆ destroy_gori()

void range_query::destroy_gori ( )

inherited

References default_gori, m_gori, m_map, and NULL.

Referenced by ~range_query().

◆ destroy_infer_oracle()

void range_query::destroy_infer_oracle ( )

inherited

References default_infer_oracle, and m_infer.

Referenced by ~range_query(), and ranger_cache::~ranger_cache().

◆ destroy_relation_oracle()

void range_query::destroy_relation_oracle ( )

inherited

References default_relation_oracle, and m_relation.

Referenced by execute_fast_vrp(), ~range_query(), and ranger_cache::~ranger_cache().

◆ dump()

void range_query::dump ( FILE * )

virtualinherited

Reimplemented in gimple_ranger, path_range_query, ranger_cache, and ssa_cache.

◆ fold_stmt()

virtual bool substitute_and_fold_engine::fold_stmt ( gimple_stmt_iterator * )

inlinevirtualinherited

Reimplemented in ccp_folder, fvrp_folder, and rvrp_folder.

◆ get_arith_expr_range()

bool range_query::get_arith_expr_range	(	vrange &	r,
		tree	expr,
		gimple *	stmt )

protectedinherited

References r.

◆ get_tree_range()

bool range_query::get_tree_range	(	vrange &	v,
		tree	expr,
		gimple *	stmt,
		basic_block	bbentry = NULL,
		basic_block	bbexit = NULL )

protectedinherited

References as_a(), BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), range_op_handler::fold_range(), get_nonzero_bits(), gimple_range_global(), gimple_range_ssa_p(), invoke_range_of_expr(), POLY_INT_CST_P, r, real_isnan(), real_isneg(), REAL_VALUE_TYPE, frange::set(), frange::set_nan(), value_range::set_varying(), value_range::supports_type_p(), TREE_CODE, TREE_OPERAND, TREE_OVERFLOW_P, TREE_REAL_CST_PTR, tree_single_nonzero_warnv_p(), TREE_TYPE, TYPE_P, TYPE_PRECISION, UNARY_CLASS_P, and wi::zero().

Referenced by dom_ranger::range_of_expr(), gimple_ranger::range_of_expr(), global_range_query::range_of_expr(), ranger_cache::range_of_expr(), ssa_cache::range_of_expr(), dom_ranger::range_of_stmt(), gimple_ranger::range_of_stmt(), dom_ranger::range_on_edge(), gimple_ranger::range_on_edge(), ranger_cache::range_on_edge(), gimple_ranger::range_on_entry(), and gimple_ranger::range_on_exit().

◆ gori()

class gimple_outgoing_range & range_query::gori ( ) const

inlineinherited

References m_gori.

Referenced by ranger_cache::block_range(), path_range_query::compute_ranges_in_block(), gimple_ranger::dump_bb(), ranger_cache::edge_range(), ranger_cache::entry_range(), ranger_cache::fill_block_cache(), gori_on_edge(), ranger_cache::range_from_dom(), and ranger_cache::register_inferred_value().

◆ gori_ssa()

class gori_map * range_query::gori_ssa ( ) const

inlineinherited

References m_map.

Referenced by path_range_query::compute_exit_dependencies(), path_range_query::compute_ranges_in_block(), ranger_cache::dump_bb(), ranger_cache::get_global_range(), gimple_ranger::range_of_stmt(), ranger_cache::ranger_cache(), ranger_cache::register_inferred_value(), gimple_ranger::register_transitive_inferred_ranges(), and ranger_cache::set_global_range().

◆ infer_oracle()

class infer_range_oracle & range_query::infer_oracle ( ) const

inlineinherited

References m_infer.

Referenced by path_range_query::adjust_for_non_null_uses(), ranger_cache::apply_inferred_ranges(), ranger_cache::edge_range(), ranger_cache::fill_block_cache(), path_range_query::range_defined_in_block(), ranger_cache::range_from_dom(), gimple_ranger::range_on_edge(), and gimple_ranger::register_transitive_inferred_ranges().

◆ invoke_range_of_expr()

bool range_query::invoke_range_of_expr	(	vrange &	v,
		tree	expr,
		gimple *	stmt,
		basic_block	bbentry,
		basic_block	bbexit )

protectedinherited

References gcc_checking_assert, r, range_of_expr(), range_on_entry(), and range_on_exit().

Referenced by get_tree_range().

◆ post_fold_bb()

virtual void substitute_and_fold_engine::post_fold_bb ( basic_block )

inlinevirtualinherited

Reimplemented in fvrp_folder, and rvrp_folder.

◆ post_new_stmt()

virtual void substitute_and_fold_engine::post_new_stmt ( gimple * )

inlinevirtualinherited

◆ pre_fold_bb()

virtual void substitute_and_fold_engine::pre_fold_bb ( basic_block )

inlinevirtualinherited

Reimplemented in fvrp_folder, and rvrp_folder.

◆ pre_fold_stmt()

virtual void substitute_and_fold_engine::pre_fold_stmt ( gimple * )

inlinevirtualinherited

Reimplemented in fvrp_folder, and rvrp_folder.

◆ propagate_into_phi_args()

bool substitute_and_fold_engine::propagate_into_phi_args ( basic_block bb )

inherited

References FOR_EACH_EDGE, gsi_end_p(), gsi_next(), gsi_start_phis(), is_gimple_min_invariant(), may_propagate_copy(), PHI_ARG_DEF_PTR_FROM_EDGE, propagate_value(), basic_block_def::succs, TREE_CODE, USE_FROM_PTR, value_on_edge(), and virtual_operand_p().

◆ range_of_expr()

bool substitute_and_fold_engine::range_of_expr	(	vrange &	r,
		tree	expr,
		gimple *	= NULL )

virtualinherited

Implements range_query.

◆ range_of_stmt()

bool range_query::range_of_stmt	(	vrange &	r,
		gimple *	stmt,
		tree	name = NULL )

virtualinherited

Reimplemented in dom_ranger, gimple_ranger, and path_range_query.

References gcc_checking_assert, gimple_get_lhs(), r, and range_of_expr().

Referenced by value_of_stmt().

◆ range_on_edge()

bool range_query::range_on_edge	(	vrange &	r,
		edge	,
		tree	expr )

virtualinherited

Support routines for value queries.
   Copyright (C) 2020-2025 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com> and
   Andrew MacLeod <amacleod@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/>.

Reimplemented in dom_ranger, gimple_ranger, and ranger_cache.

References r, and range_of_expr().

Referenced by value_on_edge().

◆ range_on_entry()

bool range_query::range_on_entry	(	vrange &	r,
		basic_block	bb,
		tree	expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_of_expr().

Referenced by invoke_range_of_expr(), and value_on_entry().

◆ range_on_exit()

bool range_query::range_on_exit	(	vrange &	r,
		basic_block	bb,
		tree	expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_of_expr().

Referenced by invoke_range_of_expr(), and value_on_exit().

◆ relation()

class relation_oracle & range_query::relation ( ) const

inlineinherited

References m_relation.

Referenced by check_for_binary_op_overflow().

◆ replace_phi_args_in()

bool substitute_and_fold_engine::replace_phi_args_in ( gphi * phi )

inherited

Replace propagated values into all the arguments for PHI using the
values from PROP_VALUE.

References dump_file, dump_flags, gcc_checking_assert, gimple_phi_arg_def(), gimple_phi_arg_edge(), gimple_phi_num_args(), i, may_propagate_copy(), PHI_ARG_DEF_PTR, print_gimple_stmt(), prop_stats, propagate_value(), SSA_NAME_OCCURS_IN_ABNORMAL_PHI, TDF_DETAILS, TDF_SLIM, TREE_CODE, value_on_edge(), and virtual_operand_p().

◆ replace_uses_in()

bool substitute_and_fold_engine::replace_uses_in ( gimple * stmt )

inherited

Replace USE references in statement STMT with the values stored in
PROP_VALUE. Return true if at least one reference was replaced.

References FOR_EACH_SSA_USE_OPERAND, may_propagate_copy(), may_propagate_copy_into_asm(), NULL_TREE, prop_stats, propagate_value(), SSA_OP_USE, TREE_CODE, USE_FROM_PTR, and value_of_expr().

◆ share_query()

void range_query::share_query ( range_query & q )

protectedinherited

References m_gori, m_infer, m_map, m_relation, m_shared_copy_p, and range_query().

Referenced by gimple_ranger::gimple_ranger(), path_range_query::path_range_query(), and path_range_query::path_range_query().

◆ substitute_and_fold()

bool substitute_and_fold_engine::substitute_and_fold ( basic_block block = NULL )

inherited

Perform final substitution and folding of propagated values.
Process the whole function if BLOCK is null, otherwise only
process the blocks that BLOCK dominates.  In the latter case,
it is the caller's responsibility to ensure that dominator
information is available and up-to-date.

PROP_VALUE[I] contains the single value that should be substituted
at every use of SSA name N_I.  If PROP_VALUE is NULL, no values are
substituted.

If FOLD_FN is non-NULL the function will be invoked on all statements
before propagating values for pass specific simplification.

DO_DCE is true if trivially dead stmts can be removed.

If DO_DCE is true, the statements within a BB are walked from
last to first element.  Otherwise we scan from first to last element.

Return TRUE when something changed.

References bitmap_empty_p(), calculate_dominance_info(), CDI_DOMINATORS, cfun, substitute_and_fold_dom_walker::dceworklist, dom_info_state(), dump_file, dump_flags, ENTRY_BLOCK_PTR_FOR_FN, fixup_noreturn_call(), gcc_assert, gimple_purge_all_dead_abnormal_call_edges(), gimple_purge_all_dead_eh_edges(), substitute_and_fold_dom_walker::need_ab_cleanup, substitute_and_fold_dom_walker::need_eh_cleanup, print_gimple_stmt(), prop_stats, simple_dce_from_worklist(), substitute_and_fold_dom_walker::something_changed, statistics_counter_event(), substitute_and_fold_dom_walker::stmts_to_fixup, TDF_DETAILS, and dom_walker::walk().

Referenced by ccp_finalize(), execute_fast_vrp(), execute_ranger_vrp(), and fini_copy_prop().

◆ value_of_expr()

tree copy_folder::value_of_expr	(	tree	name,
		gimple *	)

finaloverridevirtual


Callback for substitute_and_fold to get at the final copy-of values.

Implements substitute_and_fold_engine.

References copy_of, n_copy_of, NULL_TREE, and SSA_NAME_VERSION.

◆ value_of_stmt()

tree substitute_and_fold_engine::value_of_stmt	(	gimple *	stmt,
		tree	name = NULL )

overridevirtualinherited

Reimplemented from range_query.

Reimplemented in fvrp_folder, and rvrp_folder.

References gcc_checking_assert, gimple_get_lhs(), NULL_TREE, and value_of_expr().

◆ value_on_edge()

tree substitute_and_fold_engine::value_on_edge	(	edge	,
		tree	expr )

overridevirtualinherited

Reimplemented from range_query.

Reimplemented in fvrp_folder, and rvrp_folder.

References value_of_expr().

Referenced by propagate_into_phi_args(), and replace_phi_args_in().

◆ value_on_entry()

tree range_query::value_on_entry	(	basic_block	bb,
		tree	expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_on_entry(), value_range::supports_type_p(), and TREE_TYPE.

◆ value_on_exit()

tree range_query::value_on_exit	(	basic_block	bb,
		tree	expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_on_exit(), value_range::supports_type_p(), and TREE_TYPE.

Field Documentation

◆ fold_all_stmts

bool substitute_and_fold_engine::fold_all_stmts

inherited

Referenced by substitute_and_fold_engine().

◆ m_gori

gimple_outgoing_range* range_query::m_gori

protectedinherited

Referenced by create_gori(), destroy_gori(), gori(), range_query(), and share_query().

◆ m_infer

infer_range_oracle* range_query::m_infer

protectedinherited

Referenced by create_infer_oracle(), destroy_infer_oracle(), infer_oracle(), range_query(), and share_query().

◆ m_map

gori_map* range_query::m_map

protectedinherited

Referenced by create_gori(), destroy_gori(), gori_ssa(), range_query(), and share_query().

◆ m_relation

relation_oracle* range_query::m_relation

protectedinherited

Referenced by create_relation_oracle(), destroy_relation_oracle(), ranger_cache::dump_bb(), ranger_cache::fill_block_cache(), path_range_query::get_path_oracle(), path_range_query::maybe_register_phi_relation(), path_range_query::path_range_query(), path_range_query::path_range_query(), range_query(), relation(), share_query(), and path_range_query::~path_range_query().

◆ m_shared_copy_p

bool range_query::m_shared_copy_p

protectedinherited

Referenced by range_query(), share_query(), and ~range_query().

The documentation for this class was generated from the following file:

tree-ssa-copy.cc

Public Member Functions

Data Fields

Protected Member Functions

Protected Attributes

Member Function Documentation

◆ create_gori()

◆ create_infer_oracle()

◆ create_relation_oracle()

◆ destroy_gori()

◆ destroy_infer_oracle()

◆ destroy_relation_oracle()

◆ dump()

◆ fold_stmt()

◆ get_arith_expr_range()

◆ get_tree_range()

◆ gori()

◆ gori_ssa()

◆ infer_oracle()

◆ invoke_range_of_expr()

◆ post_fold_bb()

◆ post_new_stmt()

◆ pre_fold_bb()

◆ pre_fold_stmt()

◆ propagate_into_phi_args()

◆ range_of_expr()

◆ range_of_stmt()

◆ range_on_edge()

◆ range_on_entry()

◆ range_on_exit()

◆ relation()

◆ replace_phi_args_in()

◆ replace_uses_in()

◆ share_query()

◆ substitute_and_fold()

◆ value_of_expr()

◆ value_of_stmt()

◆ value_on_edge()

◆ value_on_entry()

◆ value_on_exit()

Field Documentation

◆ fold_all_stmts

◆ m_gori

◆ m_infer

◆ m_map

◆ m_relation

◆ m_shared_copy_p