#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)

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 (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

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

◆ 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, range_query::m_gori, range_query::m_map, and NULL.

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

◆ create_infer_oracle()

void range_query::create_infer_oracle ( bool do_search = TRUE )

inherited

References default_infer_oracle, gcc_checking_assert, and range_query::m_infer.

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 range_query::m_relation.

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

◆ destroy_gori()

void range_query::destroy_gori ( )

inherited

References default_gori, range_query::m_gori, range_query::m_map, and NULL.

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

◆ destroy_infer_oracle()

void range_query::destroy_infer_oracle ( )

inherited

References default_infer_oracle, and range_query::m_infer.

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

◆ destroy_relation_oracle()

void range_query::destroy_relation_oracle ( )

inherited

References default_relation_oracle, and range_query::m_relation.

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

◆ dump()

void range_query::dump ( FILE * )

virtualinherited

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

◆ fold_stmt()

virtual bool substitute_and_fold_engine::fold_stmt ( gimple_stmt_iterator * )

inlinevirtual

Reimplemented in ccp_folder, fvrp_folder, and rvrp_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 as_a(), BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), expr, range_op_handler::fold_range(), 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::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(), TYPE_P, and UNARY_CLASS_P.

Referenced by assume_query::calculate_phi(), assume_query::range_of_expr(), 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 range_query::m_gori.

Referenced by ranger_cache::block_range(), assume_query::calculate_op(), path_range_query::compute_ranges_in_block(), gimple_ranger::dump_bb(), ranger_cache::edge_range(), evaluate_control_stmt_using_entry_checks(), ranger_cache::fill_block_cache(), fur_source::gori(), 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 range_query::m_map.

Referenced by hybrid_jt_simplifier::compute_exit_dependencies(), path_range_query::compute_exit_dependencies(), path_range_query::compute_ranges_in_block(), ranger_cache::dump_bb(), ranger_cache::get_global_range(), fur_source::gori_ssa(), remove_unreachable::handle_early(), gimple_ranger::range_of_stmt(), ranger_cache::ranger_cache(), ranger_cache::register_inferred_value(), gimple_ranger::register_transitive_inferred_ranges(), remove_unreachable::remove_and_update_globals(), ranger_cache::set_global_range(), and dom_opt_dom_walker::set_global_ranges_from_unreachable_edges().

◆ infer_oracle()

class infer_range_oracle & range_query::infer_oracle ( ) const

inlineinherited

References range_query::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_query::range_of_expr(), range_query::range_on_entry(), and range_query::range_on_exit().

Referenced by range_query::get_tree_range().

◆ post_fold_bb()

virtual void substitute_and_fold_engine::post_fold_bb ( basic_block )

inlinevirtual

Reimplemented in fvrp_folder, and rvrp_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 fvrp_folder, and rvrp_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, 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().

◆ 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 dom_ranger, gimple_ranger, and path_range_query.

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 dom_ranger, gimple_ranger, and ranger_cache.

References r, and range_query::range_of_expr().

Referenced by fur_edge::get_operand(), fur_edge::get_phi_operand(), fur_source::get_phi_operand(), phi_analyzer::process_phi(), 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 remove_unreachable::handle_early(), range_query::invoke_range_of_expr(), remove_unreachable::remove_and_update_globals(), 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().

◆ relation()

class relation_oracle & range_query::relation ( ) const

inlineinherited

References range_query::m_relation.

Referenced by path_range_query::compute_ranges(), path_range_query::path_range_query(), path_range_query::path_range_query(), fur_stmt::query_relation(), jt_fur_source::query_relation(), fold_using_range::range_of_phi(), fur_depend::register_relation(), fur_depend::register_relation(), jt_fur_source::register_relation(), and jt_fur_source::register_relation().

◆ 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, 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, 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().

◆ share_query()

void range_query::share_query ( range_query & q )

protectedinherited

References range_query::m_gori, range_query::m_infer, range_query::m_map, range_query::m_relation, and range_query::m_shared_copy_p.

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 )

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, 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(), substitute_and_fold_dom_walker::something_changed, statistics_counter_event(), substitute_and_fold_dom_walker::stmts_to_fixup, TDF_DETAILS, and dom_walker::walk().