#include <gimple-range.h>

Inheritance diagram for gimple_ranger:

Collaboration diagram for gimple_ranger:

[legend]

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

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)

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

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)

void	share_query (range_query &q)

Protected Attributes
ranger_cache	m_cache

range_tracer	tracer

basic_block	current_bb

vec< tree >	m_stmt_list

relation_oracle *	m_relation

infer_range_oracle *	m_infer

gimple_outgoing_range *	m_gori

gori_map *	m_map

bool	m_shared_copy_p

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, m_cache, m_stmt_list, non_executable_edge_flag, num_ssa_names, RANGER_DEBUG_TRACE, range_query::share_query(), 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().

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

◆ debug()

void gimple_ranger::debug ( )

References dump().

◆ destroy_gori()

void range_query::destroy_gori ( )

inherited

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

Referenced by 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 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(), gimple_range_ssa_p(), m_cache, num_ssa_names, r, set_range_info(), ssa_name, SSA_NAME_IN_FREE_LIST, 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(), and r.

Referenced by prefill_stmt_dependencies(), and range_of_stmt().

◆ fold_stmt()

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

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

Referenced by fold_stmt(), and rvrp_folder::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

References as_a(), BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), expr, range_op_handler::fold_range(), get_nonzero_bits(), gimple_range_global(), gimple_range_ssa_p(), range_query::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(), TYPE_P, TYPE_PRECISION, UNARY_CLASS_P, and wi::zero().

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

◆ gori()

class gimple_outgoing_range & range_query::gori ( ) const

inlineinherited

References range_query::m_gori.

Referenced by ranger_cache::block_range(), path_range_query::compute_ranges_in_block(), dump_bb(), ranger_cache::edge_range(), ranger_cache::entry_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(), range_of_stmt(), ranger_cache::ranger_cache(), ranger_cache::register_inferred_value(), 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(), range_on_edge(), and 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().

◆ prefill_name()

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

inlineprotected

References ranger_cache::get_global_range(), gimple_range_ssa_p(), is_a(), 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

◆ 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(), gimple_range_ssa_p(), range_tracer::header(), range_query::infer_oracle(), m_cache, infer_range_oracle::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.