#include <value-range.h>
◆ Value_Range() [1/5]
Value_Range::Value_Range |
( |
| ) |
|
|
inline |
◆ Value_Range() [2/5]
Value_Range::Value_Range |
( |
const vrange & | r | ) |
|
|
inline |
◆ Value_Range() [3/5]
Value_Range::Value_Range |
( |
tree | type | ) |
|
|
inline |
◆ Value_Range() [4/5]
◆ Value_Range() [5/5]
◆ ~Value_Range()
Value_Range::~Value_Range |
( |
| ) |
|
|
inline |
◆ accept()
◆ contains_p()
bool Value_Range::contains_p |
( |
tree | cst | ) |
const |
|
inline |
◆ dump()
void Value_Range::dump |
( |
FILE * | out | ) |
const |
References vrange::dump(), and m_vrange.
Referenced by gimple_infer_range::check_assume_func(), assume_query::dump(), ipa_vr::dump(), gimple_ranger::dump_bb(), ranger_cache::fill_block_cache(), ipa_record_return_value_range(), ipcp_update_vr(), ipcp_vr_lattice::print(), ranger_cache::propagate_cache(), fold_using_range::range_of_call(), fold_using_range::range_of_cond_expr(), fold_using_range::range_of_phi(), dom_ranger::range_of_stmt(), and gimple_ranger::register_inferred_ranges().
◆ get_bitmask()
◆ init() [1/2]
void Value_Range::init |
( |
const vrange & | r | ) |
|
|
inlineprivate |
References as_a(), Value_Range::buffer_type::floats, Value_Range::buffer_type::ints, is_a< frange >(), is_a< irange >(), is_a< prange >(), m_buffer, m_vrange, Value_Range::buffer_type::pointers, r, and Value_Range::buffer_type::unsupported.
◆ init() [2/2]
void Value_Range::init |
( |
tree | type | ) |
|
|
inlineprivate |
References Value_Range::buffer_type::floats, gcc_checking_assert, Value_Range::buffer_type::ints, m_buffer, m_vrange, Value_Range::buffer_type::pointers, frange::supports_p(), irange::supports_p(), prange::supports_p(), TYPE_P, and Value_Range::buffer_type::unsupported.
Referenced by operator=(), set_type(), Value_Range(), Value_Range(), Value_Range(), and Value_Range().
◆ intersect()
References vrange::intersect(), m_vrange, and r.
Referenced by assume_query::calculate_phi(), fold_using_range::condexpr_adjust(), ranger_cache::fill_block_cache(), gori_compute::logical_combine(), ssa_cache::merge_range(), gimple_ranger::prefill_stmt_dependencies(), propagate_vr_across_jump_function(), fold_using_range::range_of_call(), remove_unreachable::remove_and_update_globals(), and set_range_info().
◆ lbound()
tree Value_Range::lbound |
( |
| ) |
const |
|
inline |
◆ nonzero_p()
bool Value_Range::nonzero_p |
( |
| ) |
const |
|
inline |
◆ operator const vrange &()
Value_Range::operator const vrange & |
( |
| ) |
const |
|
inline |
◆ operator vrange &()
Value_Range::operator vrange & |
( |
| ) |
|
|
inline |
◆ operator!=()
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ operator==()
◆ set_nonzero()
void Value_Range::set_nonzero |
( |
tree | type | ) |
|
|
inline |
◆ set_type()
void Value_Range::set_type |
( |
tree | type | ) |
|
|
inline |
◆ set_undefined()
void Value_Range::set_undefined |
( |
| ) |
|
|
inline |
◆ set_varying()
void Value_Range::set_varying |
( |
tree | type | ) |
|
|
inline |
References m_vrange, and vrange::set_varying().
Referenced by gimple_range_op_handler::calc_op1(), gimple_range_op_handler::calc_op2(), gori_compute::compute_operand_range(), evaluate_conditions_for_known_args(), execute_ranger_vrp(), range_query::get_tree_range(), ipa_compute_jump_functions_for_edge(), ipa_value_range_from_jfunc(), ipa_vr_operation_and_type_effects(), ipcp_store_vr_results(), op1_range(), op2_range(), propagate_vr_across_jump_function(), range_cast(), range_cast(), ranger_cache::range_from_dom(), fold_using_range::range_of_range_op(), fur_source::register_outgoing_edges(), remove_unreachable::remove_and_update_globals(), set_range_info(), and ipcp_vr_lattice::set_to_bottom().
◆ set_zero()
void Value_Range::set_zero |
( |
tree | type | ) |
|
|
inline |
◆ singleton_p()
◆ supports_type_p()
References frange::supports_p(), irange::supports_p(), and prange::supports_p().
Referenced by path_range_query::add_to_exit_dependencies(), gimple_infer_range::check_assume_func(), hybrid_jt_simplifier::compute_exit_dependencies(), assume_query::dump(), evaluate_conditions_for_known_args(), execute_ranger_vrp(), range_query::get_tree_range(), gimple_range_ssa_p(), gimple_range_type(), ipa_value_range_from_jfunc(), loop_static_stmt_p(), gimple_range_op_handler::maybe_builtin_call(), op1_range(), range_query::value_of_expr(), range_query::value_of_stmt(), range_query::value_on_edge(), range_query::value_on_entry(), and range_query::value_on_exit().
◆ type()
tree Value_Range::type |
( |
| ) |
|
|
inline |
◆ ubound()
tree Value_Range::ubound |
( |
| ) |
const |
|
inline |
◆ undefined_p()
bool Value_Range::undefined_p |
( |
| ) |
const |
|
inline |
References m_vrange, and vrange::undefined_p().
Referenced by assume_query::calculate_phi(), evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), ipa_compute_jump_functions_for_edge(), ipa_value_range_from_jfunc(), ipcp_get_parm_bits(), ipcp_update_vr(), propagate_bits_across_jump_function(), propagate_vr_across_jump_function(), fold_using_range::range_of_phi(), record_nonwrapping_iv(), set_range_info(), and ipcp_vr_lattice::top_p().
◆ union_()
◆ update_bitmask()
◆ varying_p()
bool Value_Range::varying_p |
( |
| ) |
const |
|
inline |
References m_vrange, and vrange::varying_p().
Referenced by ipcp_vr_lattice::bottom_p(), assume_query::calculate_op(), gimple_infer_range::check_assume_func(), gimple_ranger::dump_bb(), evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), execute_ranger_vrp(), gimple_infer_range::gimple_infer_range(), ipa_compute_jump_functions_for_edge(), ipcp_get_parm_bits(), ipcp_update_vr(), propagate_bits_across_jump_function(), ranger_cache::propagate_cache(), propagate_vr_across_jump_function(), fold_using_range::range_of_phi(), record_nonwrapping_iv(), gimple_ranger::register_inferred_ranges(), and ipcp_vr_lattice::set_to_bottom().
◆ zero_p()
bool Value_Range::zero_p |
( |
| ) |
const |
|
inline |
◆ m_buffer
◆ m_vrange
Referenced by accept(), contains_p(), dump(), get_bitmask(), init(), init(), intersect(), lbound(), nonzero_p(), operator!=(), operator=(), operator==(), set_nonzero(), set_type(), set_undefined(), set_varying(), set_zero(), singleton_p(), type(), ubound(), undefined_p(), union_(), update_bitmask(), Value_Range(), Value_Range(), varying_p(), zero_p(), and ~Value_Range().
The documentation for this class was generated from the following files: