#include <gimple-range.h>

Inheritance diagram for gimple_ranger:

Collaboration diagram for gimple_ranger:

Public Member Functions
	gimple_ranger (bool use_imm_uses=true)

	~gimple_ranger ()

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

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

virtual bool	range_on_edge (vrange &r, edge e, tree name) override

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

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

void	export_global_ranges ()

gori_compute &	gori ()

virtual void	dump (FILE *f) override

void	debug ()

void	dump_bb (FILE *f, basic_block bb)

bool	fold_stmt (gimple_stmt_iterator gsi, tree()(tree))

void	register_inferred_ranges (gimple *s)

void	register_transitive_inferred_ranges (basic_block bb)

range_query &	const_query ()

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

virtual tree	value_on_edge (edge, tree expr)

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

virtual tree	value_on_entry (basic_block, tree expr)

virtual tree	value_on_exit (basic_block, 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

Data Fields
auto_edge_flag	non_executable_edge_flag

Protected Member Functions
bool	fold_range_internal (vrange &r, gimple *s, tree name)

void	prefill_name (vrange &r, tree name)

void	prefill_stmt_dependencies (tree ssa)

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
ranger_cache	m_cache

range_tracer	tracer

basic_block	current_bb

vec< tree >	m_stmt_list

relation_oracle *	m_oracle

Friends
class	path_range_query

Detailed Description

Header file for the GIMPLE range interface.
   Copyright (C) 2019-2024 Free Software Foundation, Inc.
   Contributed by Andrew MacLeod <amacleod@redhat.com>
   and Aldy Hernandez <aldyh@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/>.

Constructor & Destructor Documentation

◆ gimple_ranger()

gimple_ranger::gimple_ranger ( bool use_imm_uses = true )

Code for GIMPLE range related routines.
   Copyright (C) 2019-2024 Free Software Foundation, Inc.
   Contributed by Andrew MacLeod <amacleod@redhat.com>
   and Aldy Hernandez <aldyh@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/>.

References cfun, dump_file, range_tracer::enable_trace(), FOR_ALL_BB_FN, FOR_EACH_EDGE, gcc_checking_assert, ggc_alloc(), m_cache, range_query::m_oracle, m_stmt_list, non_executable_edge_flag, num_ssa_names, range_query::oracle(), RANGER_DEBUG_TRACE, basic_block_def::succs, and tracer.

◆ ~gimple_ranger()

gimple_ranger::~gimple_ranger ( )

References m_stmt_list.

Member Function Documentation

◆ const_query()

range_query & gimple_ranger::const_query ( )

References ranger_cache::const_query(), and m_cache.

Referenced by execute_ranger_vrp().

◆ debug()

void gimple_ranger::debug ( )

References dump(), and ggc_alloc().

◆ dump()

void gimple_ranger::dump ( FILE * f )

overridevirtual

Reimplemented from range_query.

References cfun, ranger_cache::dump(), dump_bb(), FOR_EACH_BB_FN, and m_cache.

Referenced by debug(), dump_ranger(), and execute_ranger_vrp().

◆ dump_bb()

void gimple_ranger::dump_bb	(	FILE *	f,
		basic_block	bb )

◆ export_global_ranges()

void gimple_ranger::export_global_ranges ( )

References dump_file, ranger_cache::get_global_range(), ggc_alloc(), gimple_range_ssa_p(), m_cache, num_ssa_names, print_generic_expr(), print_header(), r, set_range_info(), ssa_name, SSA_NAME_IN_FREE_LIST, TDF_SLIM, and TREE_TYPE.

◆ fold_range_internal()

bool gimple_ranger::fold_range_internal	(	vrange &	r,
		gimple *	s,
		tree	name )

protected

References fold_using_range::fold_stmt(), gori(), and r.

Referenced by prefill_stmt_dependencies(), and range_of_stmt().

◆ fold_stmt()

bool gimple_ranger::fold_stmt	(	gimple_stmt_iterator *	gsi,
		tree(*)(tree)	valueize )

References current_bb, fold_stmt(), ggc_alloc(), gimple_bb(), gsi_stmt(), and NULL.

Referenced by rvrp_folder::fold_stmt(), and fold_stmt().

◆ 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

◆ gori()

gori_compute & gimple_ranger::gori ( )

inline

References m_cache, and ranger_cache::m_gori.

Referenced by hybrid_jt_simplifier::compute_exit_dependencies(), path_range_query::compute_exit_dependencies(), path_range_query::compute_outgoing_relations(), path_range_query::compute_ranges_in_block(), dump_bb(), evaluate_control_stmt_using_entry_checks(), fold_range_internal(), remove_unreachable::handle_early(), path_range_query::range_of_stmt(), register_transitive_inferred_ranges(), remove_unreachable::remove_and_update_globals(), and dom_opt_dom_walker::set_global_ranges_from_unreachable_edges().

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

◆ prefill_name()

void gimple_ranger::prefill_name	(	vrange &	r,
		tree	name )

inlineprotected

References ranger_cache::get_global_range(), ggc_alloc(), gimple_range_ssa_p(), m_cache, m_stmt_list, r, SSA_NAME_DEF_STMT, and gimple_range_op_handler::supported_p().

Referenced by prefill_stmt_dependencies().

◆ prefill_stmt_dependencies()

void gimple_ranger::prefill_stmt_dependencies ( tree ssa )

protected

◆ 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 gimple_ranger::range_of_expr	(	vrange &	r,
		tree	name,
		gimple *	stmt = NULL )

overridevirtual

◆ range_of_stmt()

bool gimple_ranger::range_of_stmt	(	vrange &	r,
		gimple *	s,
		tree	name = NULL )

overridevirtual

◆ range_on_edge()

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

overridevirtual

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 from range_query.

References dump_file, gcc_checking_assert, range_query::get_tree_range(), ggc_alloc(), gimple_range_ssa_p(), range_tracer::header(), m_cache, ranger_cache::m_exit, infer_range_manager::maybe_adjust_range(), non_executable_edge_flag, NULL, print_generic_expr(), r, range_compatible_p(), ranger_cache::range_on_edge(), range_on_exit(), TDF_SLIM, tracer, range_tracer::trailer(), and TREE_TYPE.