ssa_cache Class Reference

#include <gimple-range-cache.h>

Inheritance diagram for ssa_cache:

Collaboration diagram for ssa_cache:

Public Member Functions
	ssa_cache ()
	~ssa_cache ()
virtual bool	has_range (tree name) const
virtual bool	get_range (vrange &r, tree name) const
virtual bool	set_range (tree name, const vrange &r)
virtual bool	merge_range (tree name, const vrange &r)
virtual void	clear_range (tree name)
virtual void	clear ()
void	dump (FILE *f=stderr)
virtual bool	range_of_expr (vrange &r, tree expr, gimple *stmt=NULL)
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)
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 ()

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
vec< vrange_storage * >	m_tab
vrange_allocator *	m_range_allocator
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

ssa_cache()

ssa_cache::ssa_cache

(

)

References m_range_allocator, and m_tab.

~ssa_cache()

ssa_cache::~ssa_cache

(

)

References m_range_allocator, and m_tab.

Member Function Documentation

clear()

void ssa_cache::clear ( )

virtual

Reimplemented in ssa_lazy_cache.

References m_tab.

clear_range()

void ssa_cache::clear_range ( tree name )

virtual

Reimplemented in ssa_lazy_cache.

References m_tab, NULL, and SSA_NAME_VERSION.

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 ( 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 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 ssa_cache::dump ( FILE * f = stderr )

virtual

Reimplemented from range_query.

References get_range(), gimple_range_ssa_p(), num_ssa_names, print_generic_expr(), r, ssa_name, TDF_NONE, and TREE_TYPE.

Referenced by path_range_query::dump(), ranger_cache::dump(), dom_ranger::pre_bb(), and dom_ranger::~dom_ranger().

get_arith_expr_range()

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

protectedinherited

get_range()

bool ssa_cache::get_range ( vrange & r, tree name ) const

virtual

Reimplemented in ssa_lazy_cache.

References vrange_storage::get_vrange(), m_tab, r, SSA_NAME_VERSION, and TREE_TYPE.

Referenced by dump(), ranger_cache::get_global_range(), ssa_lazy_cache::get_range(), ranger_cache::range_of_def(), and range_of_expr().

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(), gimple_ranger::range_of_expr(), global_range_query::range_of_expr(), ranger_cache::range_of_expr(), 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(), 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().

has_range()

bool ssa_cache::has_range ( tree name ) const

virtual

Reimplemented in ssa_lazy_cache.

References m_tab, NULL, and SSA_NAME_VERSION.

Referenced by dom_ranger::range_of_stmt().

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

merge_range()

bool ssa_cache::merge_range ( tree name, const vrange & r )

virtual

Reimplemented in ssa_lazy_cache.

References vrange_allocator::clone(), vrange_storage::fits_p(), vrange_storage::get_vrange(), value_range::intersect(), m_range_allocator, m_tab, num_ssa_names, r, vrange_storage::set_vrange(), SSA_NAME_VERSION, and TREE_TYPE.

Referenced by ssa_lazy_cache::merge_range(), and dom_ranger::range_of_stmt().

range_of_expr()

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

virtual

Implements range_query.

References cfun, get_range(), range_query::get_tree_range(), gimple_range_global(), gimple_range_ssa_p(), and r.

Referenced by dom_ranger::range_in_bb(), dom_ranger::range_of_expr(), and dom_ranger::range_of_stmt().

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(), fur_depend::register_relation(), fur_depend::register_relation(), jt_fur_source::register_relation(), and jt_fur_source::register_relation().

set_range()

bool ssa_cache::set_range ( tree name, const vrange & r )

virtual

Reimplemented in ssa_lazy_cache.

References vrange_allocator::clone(), vrange_storage::fits_p(), m_range_allocator, m_tab, NULL, num_ssa_names, r, vrange_storage::set_vrange(), and SSA_NAME_VERSION.

Referenced by ranger_cache::get_global_range(), ranger_cache::set_global_range(), and ssa_lazy_cache::set_range().

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

value_of_expr()

tree range_query::value_of_expr ( tree expr, gimple * stmt = NULL )

virtualinherited

Reimplemented in ccp_folder, copy_folder, fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References NULL_TREE, r, range_query::range_of_expr(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_of_expr(), and rvrp_folder::value_of_expr().

value_of_stmt()

tree range_query::value_of_stmt ( gimple * stmt, tree name = NULL )

virtualinherited

Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References gcc_checking_assert, gimple_get_lhs(), NULL_TREE, r, range_query::range_of_stmt(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_of_stmt(), and rvrp_folder::value_of_stmt().

value_on_edge()

tree range_query::value_on_edge ( edge e, tree expr )

virtualinherited

Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.

References NULL_TREE, r, range_query::range_of_expr(), range_query::range_on_edge(), value_range::supports_type_p(), and TREE_TYPE.

Referenced by fvrp_folder::value_on_edge(), and rvrp_folder::value_on_edge().

value_on_entry()

tree range_query::value_on_entry ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_query::range_on_entry(), value_range::supports_type_p(), and TREE_TYPE.

value_on_exit()

tree range_query::value_on_exit ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_query::range_on_exit(), value_range::supports_type_p(), and TREE_TYPE.

Field Documentation

m_gori

gimple_outgoing_range* range_query::m_gori

protectedinherited

Referenced by range_query::create_gori(), range_query::destroy_gori(), range_query::gori(), range_query::range_query(), and range_query::share_query().

m_infer

infer_range_oracle* range_query::m_infer

protectedinherited

Referenced by range_query::create_infer_oracle(), range_query::destroy_infer_oracle(), range_query::infer_oracle(), range_query::range_query(), and range_query::share_query().

m_map

gori_map* range_query::m_map

protectedinherited

Referenced by range_query::create_gori(), range_query::destroy_gori(), range_query::gori_ssa(), range_query::range_query(), and range_query::share_query().

m_range_allocator

vrange_allocator* ssa_cache::m_range_allocator

protected

Referenced by merge_range(), ssa_lazy_cache::merge_range(), set_range(), ssa_lazy_cache::set_range(), ssa_cache(), and ~ssa_cache().

m_relation

relation_oracle* range_query::m_relation

protectedinherited

Referenced by range_query::create_relation_oracle(), range_query::destroy_relation_oracle(), ranger_cache::dump_bb(), ranger_cache::fill_block_cache(), path_range_query::get_path_oracle(), path_range_query::maybe_register_phi_relation(), path_range_query::path_range_query(), path_range_query::path_range_query(), range_query::range_query(), range_query::relation(), range_query::share_query(), and path_range_query::~path_range_query().

m_shared_copy_p

bool range_query::m_shared_copy_p

protectedinherited

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

m_tab

vec<vrange_storage *> ssa_cache::m_tab

protected

Referenced by clear(), clear_range(), get_range(), has_range(), merge_range(), ssa_lazy_cache::merge_range(), set_range(), ssa_lazy_cache::set_range(), ssa_cache(), and ~ssa_cache().

---

The documentation for this class was generated from the following files:

• gimple-range-cache.h
• gimple-range-cache.cc