GCC Middle and Back End API Reference
|
#include <gimple-range.h>
Protected Member Functions | |
void | range_in_bb (vrange &r, basic_block bb, tree name) |
DISABLE_COPY_AND_ASSIGN (dom_ranger) | |
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 | |
bitmap_obstack | m_bitmaps |
ssa_cache | m_global |
vec< ssa_lazy_cache * > | m_freelist |
vec< ssa_lazy_cache * > | m_bb |
range_tracer | tracer |
relation_oracle * | m_relation |
infer_range_oracle * | m_infer |
gimple_outgoing_range * | m_gori |
gori_map * | m_map |
bool | m_shared_copy_p |
dom_ranger::dom_ranger | ( | ) |
References bitmap_obstack_initialize(), cfun, dump_file, last_basic_block_for_fn, m_bb, m_bitmaps, m_freelist, m_global, RANGER_DEBUG_TRACE, and tracer.
Referenced by DISABLE_COPY_AND_ASSIGN().
dom_ranger::~dom_ranger | ( | ) |
References bitmap_obstack_release(), dump_file, dump_flags, m_bb, m_bitmaps, m_freelist, m_global, and TDF_DETAILS.
|
inherited |
References default_gori, gcc_checking_assert, m_gori, m_map, and NULL.
Referenced by ranger_cache::ranger_cache().
|
inherited |
References default_infer_oracle, gcc_checking_assert, m_infer, and range_query().
Referenced by ranger_cache::ranger_cache().
References CDI_DOMINATORS, default_relation_oracle, dom_info_available_p(), gcc_checking_assert, global_ranges, and m_relation.
Referenced by execute_fast_vrp(), and ranger_cache::ranger_cache().
|
inherited |
References default_gori, m_gori, m_map, and NULL.
Referenced by ~range_query().
|
inherited |
References default_infer_oracle, and m_infer.
Referenced by ~range_query(), and ranger_cache::~ranger_cache().
|
inherited |
References default_relation_oracle, and m_relation.
Referenced by execute_fast_vrp(), ~range_query(), and ranger_cache::~ranger_cache().
|
protected |
References dom_ranger().
|
virtualinherited |
Reimplemented in gimple_ranger, path_range_query, ranger_cache, and ssa_cache.
References r.
|
protectedinherited |
References as_a(), BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), range_op_handler::fold_range(), get_nonzero_bits(), gimple_range_global(), gimple_range_ssa_p(), 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_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(), 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().
|
inlineinherited |
References m_gori.
Referenced by ranger_cache::block_range(), path_range_query::compute_ranges_in_block(), gimple_ranger::dump_bb(), ranger_cache::edge_range(), ranger_cache::entry_range(), ranger_cache::fill_block_cache(), gori_on_edge(), ranger_cache::range_from_dom(), and ranger_cache::register_inferred_value().
|
inlineinherited |
References m_map.
Referenced by path_range_query::compute_exit_dependencies(), path_range_query::compute_ranges_in_block(), ranger_cache::dump_bb(), ranger_cache::get_global_range(), gimple_ranger::range_of_stmt(), ranger_cache::ranger_cache(), ranger_cache::register_inferred_value(), gimple_ranger::register_transitive_inferred_ranges(), and ranger_cache::set_global_range().
|
inlineinherited |
References 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().
|
protectedinherited |
References gcc_checking_assert, r, range_of_expr(), range_on_entry(), and range_on_exit().
Referenced by get_tree_range().
void dom_ranger::post_bb | ( | basic_block | bb | ) |
References dump_file, dump_flags, basic_block_def::index, m_bb, m_freelist, NULL, and TDF_DETAILS.
void dom_ranger::pre_bb | ( | basic_block | bb | ) |
|
protected |
References ssa_lazy_cache::get_range(), ssa_lazy_cache::has_range(), basic_block_def::index, m_bb, m_global, r, and TREE_TYPE.
Referenced by range_of_expr(), and range_on_edge().
Implements range_query.
References dump_file, range_query::get_tree_range(), gimple_bb(), gimple_range_ssa_p(), m_global, print_generic_expr(), print_gimple_stmt(), r, range_in_bb(), TDF_SLIM, and tracer.
Reimplemented from range_query.
References dump_file, fold_using_range::fold_stmt(), range_query::get_tree_range(), gimple_get_lhs(), gimple_range_ssa_p(), m_global, NULL, print_gimple_stmt(), r, set_range_info(), TDF_SLIM, and tracer.
Support routines for value queries. Copyright (C) 2020-2025 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, fputc(), range_query::get_tree_range(), gimple_range_ssa_p(), gori_name_on_edge(), NULL, print_generic_expr(), r, range_in_bb(), TDF_SLIM, tracer, and TREE_TYPE.
|
virtualinherited |
Reimplemented in gimple_ranger.
References r, and range_of_expr().
Referenced by invoke_range_of_expr(), and value_on_entry().
|
virtualinherited |
Reimplemented in gimple_ranger.
References r, and range_of_expr().
Referenced by invoke_range_of_expr(), and value_on_exit().
|
inlineinherited |
References m_relation.
|
protectedinherited |
References m_gori, m_infer, m_map, m_relation, m_shared_copy_p, and range_query().
Referenced by gimple_ranger::gimple_ranger(), path_range_query::path_range_query(), and path_range_query::path_range_query().
Reimplemented in ccp_folder, copy_folder, fvrp_folder, rvrp_folder, and substitute_and_fold_engine.
References NULL_TREE, r, range_of_expr(), value_range::supports_type_p(), and TREE_TYPE.
Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.
References gcc_checking_assert, gimple_get_lhs(), NULL_TREE, r, range_of_stmt(), value_range::supports_type_p(), and TREE_TYPE.
Reimplemented in fvrp_folder, rvrp_folder, and substitute_and_fold_engine.
References NULL_TREE, r, range_of_expr(), range_on_edge(), value_range::supports_type_p(), and TREE_TYPE.
|
virtualinherited |
References gcc_checking_assert, NULL_TREE, r, range_on_entry(), value_range::supports_type_p(), and TREE_TYPE.
|
virtualinherited |
References gcc_checking_assert, NULL_TREE, r, range_on_exit(), value_range::supports_type_p(), and TREE_TYPE.
|
protected |
Referenced by dom_ranger(), post_bb(), pre_bb(), range_in_bb(), and ~dom_ranger().
|
protected |
Referenced by dom_ranger(), pre_bb(), and ~dom_ranger().
|
protected |
Referenced by dom_ranger(), post_bb(), pre_bb(), and ~dom_ranger().
|
protected |
Referenced by dom_ranger(), range_in_bb(), range_of_expr(), range_of_stmt(), and ~dom_ranger().
|
protectedinherited |
Referenced by create_gori(), destroy_gori(), gori(), range_query(), and share_query().
|
protectedinherited |
Referenced by create_infer_oracle(), destroy_infer_oracle(), infer_oracle(), range_query(), and share_query().
|
protectedinherited |
Referenced by create_gori(), destroy_gori(), gori_ssa(), range_query(), and share_query().
|
protectedinherited |
Referenced by create_relation_oracle(), 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(), relation(), share_query(), and path_range_query::~path_range_query().
|
protectedinherited |
Referenced by range_query(), share_query(), and ~range_query().
|
protected |
Referenced by dom_ranger(), range_of_expr(), range_of_stmt(), and range_on_edge().