#include <tree-ssa-propagate.h>

Inheritance diagram for substitute_and_fold_engine:

Collaboration diagram for substitute_and_fold_engine:

Public Member Functions
	substitute_and_fold_engine (bool fold_all_stmts=false)

virtual tree	value_of_expr (tree expr, gimple *=NULL)=0

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	~substitute_and_fold_engine (void)

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)

relation_kind	query_relation (gimple *s, tree ssa1, tree ssa2, bool get_range=true)

relation_kind	query_relation (edge e, tree ssa1, tree ssa2, bool get_range=true)

relation_oracle *	oracle () const

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)

Protected Attributes
relation_oracle *	m_oracle

Constructor & Destructor Documentation

◆ substitute_and_fold_engine()

substitute_and_fold_engine::substitute_and_fold_engine ( bool fold_all_stmts = false )

inline

◆ ~substitute_and_fold_engine()

virtual substitute_and_fold_engine::~substitute_and_fold_engine ( void )

inlinevirtual

Member Function Documentation

◆ dump()

void range_query::dump ( FILE * )

virtualinherited

Reimplemented in path_range_query, assume_query, ranger_cache, gimple_ranger, and ssa_cache.

◆ fold_stmt()

virtual bool substitute_and_fold_engine::fold_stmt ( gimple_stmt_iterator * )

inlinevirtual

Reimplemented in ccp_folder, rvrp_folder, and fvrp_folder.

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ get_arith_expr_range()

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

protectedinherited

◆ 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 BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), expr, range_op_handler::fold_range(), ggc_alloc(), gimple_range_global(), gimple_range_ssa_p(), range_query::invoke_range_of_expr(), r, real_isnan(), real_isneg(), REAL_VALUE_TYPE, frange::set(), frange::set_nan(), Value_Range::supports_type_p(), TREE_CODE, TREE_OPERAND, TREE_OVERFLOW_P, TREE_REAL_CST_PTR, tree_single_nonzero_warnv_p(), TREE_TYPE, type(), TYPE_P, and UNARY_CLASS_P.

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

◆ 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, ggc_alloc(), r, range_query::range_of_expr(), range_query::range_on_entry(), and range_query::range_on_exit().

Referenced by range_query::get_tree_range().

◆ oracle()

relation_oracle * range_query::oracle ( ) const

inlineinherited

References range_query::m_oracle.

Referenced by path_range_query::compute_ranges(), fur_depend::fur_depend(), gimple_ranger::gimple_ranger(), jt_fur_source::jt_fur_source(), path_range_query::path_range_query(), path_range_query::path_range_query(), and fold_using_range::relation_fold_and_or().

◆ post_fold_bb()

virtual void substitute_and_fold_engine::post_fold_bb ( basic_block )

inlinevirtual

Reimplemented in rvrp_folder, and fvrp_folder.

Referenced by substitute_and_fold_dom_walker::after_dom_children().

◆ post_new_stmt()

virtual void substitute_and_fold_engine::post_new_stmt ( gimple * )

inlinevirtual

Referenced by substitute_and_fold_dom_walker::foreach_new_stmt_in_bb().

◆ pre_fold_bb()

virtual void substitute_and_fold_engine::pre_fold_bb ( basic_block )

inlinevirtual

Reimplemented in rvrp_folder, and fvrp_folder.

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ pre_fold_stmt()

virtual void substitute_and_fold_engine::pre_fold_stmt ( gimple * )

inlinevirtual

Reimplemented in fvrp_folder, and rvrp_folder.

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ propagate_into_phi_args()

bool substitute_and_fold_engine::propagate_into_phi_args ( basic_block bb )

References FOR_EACH_EDGE, ggc_alloc(), 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().

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ query_relation() [1/2]

relation_kind range_query::query_relation	(	edge	e,
		tree	ssa1,
		tree	ssa2,
		bool	get_range = true )

inherited

References get_range(), ggc_alloc(), range_query::m_oracle, relation_oracle::query_relation(), range_query::range_on_edge(), single_pred_p(), TREE_CODE, TREE_TYPE, and VREL_VARYING.

◆ query_relation() [2/2]

relation_kind range_query::query_relation	(	gimple *	s,
		tree	ssa1,
		tree	ssa2,
		bool	get_range = true )

inherited

References get_range(), ggc_alloc(), gimple_bb(), range_query::m_oracle, relation_oracle::query_relation(), range_query::range_of_expr(), TREE_CODE, TREE_TYPE, and VREL_VARYING.

Referenced by fur_stmt::query_relation(), and fold_using_range::range_of_phi().

◆ range_of_expr()

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

virtual

Implements range_query.

◆ range_of_stmt()

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

virtualinherited

Reimplemented in path_range_query, gimple_ranger, and dom_ranger.

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

Referenced by simplify_using_ranges::fold_cond(), and range_query::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-2024 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 ranger_cache, dom_ranger, and gimple_ranger.

References r, and range_query::range_of_expr().

Referenced by fur_edge::get_operand(), fur_source::get_phi_operand(), fur_edge::get_phi_operand(), phi_analyzer::process_phi(), range_query::query_relation(), and range_query::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_query::range_of_expr().

Referenced by range_query::invoke_range_of_expr(), and range_query::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_query::range_of_expr().

Referenced by range_query::invoke_range_of_expr(), and range_query::value_on_exit().

◆ replace_phi_args_in()

bool substitute_and_fold_engine::replace_phi_args_in ( gphi * phi )

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

References dump_file, dump_flags, gcc_checking_assert, ggc_alloc(), gimple_phi_arg_def(), gimple_phi_arg_edge(), gimple_phi_num_args(), i, may_propagate_copy(), prop_stats_d::num_const_prop, prop_stats_d::num_copy_prop, 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().

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ replace_uses_in()

bool substitute_and_fold_engine::replace_uses_in ( gimple * stmt )

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, ggc_alloc(), may_propagate_copy(), may_propagate_copy_into_asm(), NULL_TREE, prop_stats_d::num_const_prop, prop_stats_d::num_copy_prop, prop_stats, propagate_value(), SSA_OP_USE, TREE_CODE, USE_FROM_PTR, and value_of_expr().

Referenced by substitute_and_fold_dom_walker::before_dom_children().

◆ substitute_and_fold()

bool substitute_and_fold_engine::substitute_and_fold ( basic_block block = NULL )

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, dom_info_state(), dump_file, dump_flags, ENTRY_BLOCK_PTR_FOR_FN, fixup_noreturn_call(), gcc_assert, ggc_alloc(), gimple_purge_all_dead_abnormal_call_edges(), gimple_purge_all_dead_eh_edges(), prop_stats_d::num_const_prop, prop_stats_d::num_copy_prop, prop_stats_d::num_stmts_folded, print_gimple_stmt(), prop_stats, simple_dce_from_worklist(), statistics_counter_event(), and TDF_DETAILS.