#include <gimple-range.h>

Inheritance diagram for assume_query:

Collaboration diagram for assume_query:

Public Member Functions
	assume_query ()

bool	assume_range_p (vrange &r, tree name)

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

void	dump (FILE *f)

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)

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

Protected Member Functions
void	calculate_stmt (gimple *s, vrange &lhs_range, fur_source &src)

void	calculate_op (tree op, gimple *s, vrange &lhs, fur_source &src)

void	calculate_phi (gphi *phi, vrange &lhs_range, fur_source &src)

void	check_taken_edge (edge e, fur_source &src)

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
ssa_lazy_cache	global

gori_compute	m_gori

relation_oracle *	m_oracle

Constructor & Destructor Documentation

◆ assume_query()

assume_query::assume_query ( )

References calculate_stmt(), cfun, EXIT_BLOCK_PTR_FOR_FN, ggc_alloc(), gimple_get_lhs(), gimple_range_ssa_p(), gimple_return_retval(), global, gsi_end_p(), gsi_last_nondebug_bb(), gsi_stmt(), wi::one(), ssa_lazy_cache::set_range(), single_pred(), single_pred_p(), SSA_NAME_DEF_STMT, irange::supports_p(), TREE_TYPE, and TYPE_PRECISION.

Member Function Documentation

◆ assume_range_p()

bool assume_query::assume_range_p	(	vrange &	r,
		tree	name )

References ssa_lazy_cache::get_range(), global, and r.

Referenced by dump().

◆ calculate_op()

void assume_query::calculate_op	(	tree	op,
		gimple *	s,
		vrange &	lhs,
		fur_source &	src )

protected

References calculate_stmt(), gori_compute::compute_operand_range(), ggc_alloc(), gimple_get_lhs(), global, m_gori, ssa_lazy_cache::merge_range(), SSA_NAME_DEF_STMT, and TREE_TYPE.

Referenced by calculate_stmt().

◆ calculate_phi()

void assume_query::calculate_phi	(	gphi *	phi,
		vrange &	lhs_range,
		fur_source &	src )

protected

References calculate_stmt(), check_taken_edge(), ssa_lazy_cache::get_range(), range_query::get_tree_range(), ggc_alloc(), gimple_get_lhs(), gimple_phi_arg_def(), gimple_phi_arg_edge(), gimple_phi_num_args(), gimple_range_ssa_p(), global, NULL, range_cast(), ssa_lazy_cache::set_range(), SSA_NAME_DEF_STMT, and TREE_TYPE.

Referenced by calculate_stmt().

◆ calculate_stmt()

void assume_query::calculate_stmt	(	gimple *	s,
		vrange &	lhs_range,
		fur_source &	src )

protected

References calculate_op(), calculate_phi(), check_taken_edge(), ggc_alloc(), gimple_bb(), gimple_range_ssa_p(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), single_pred_edge(), and single_pred_p().

Referenced by assume_query(), calculate_op(), calculate_phi(), and check_taken_edge().

◆ check_taken_edge()

void assume_query::check_taken_edge	(	edge	e,
		fur_source &	src )

protected

References calculate_stmt(), gcond_edge_range(), ggc_alloc(), and gimple_outgoing_range_stmt_p().

Referenced by calculate_phi(), and calculate_stmt().

◆ dump()

void assume_query::dump ( FILE * f )

virtual

Reimplemented from range_query.

References assume_range_p(), fputc(), ggc_alloc(), gimple_range_ssa_p(), i, num_ssa_names, print_generic_expr(), ssa_name, Value_Range::supports_type_p(), TDF_SLIM, and TREE_TYPE.

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

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

virtual

Implements range_query.

References ssa_lazy_cache::get_range(), range_query::get_tree_range(), gimple_range_ssa_p(), global, r, and TREE_TYPE.

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