range-op.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	range_operator
class	range_op_handler
class	range_op_table

Macros
#define	OP_WIDEN_MULT_SIGNED   ((unsigned) MAX_TREE_CODES)
#define	OP_WIDEN_MULT_UNSIGNED   ((unsigned) MAX_TREE_CODES + 1)
#define	OP_WIDEN_PLUS_SIGNED   ((unsigned) MAX_TREE_CODES + 2)
#define	OP_WIDEN_PLUS_UNSIGNED   ((unsigned) MAX_TREE_CODES + 3)
#define	RANGE_OP_TABLE_SIZE   ((unsigned) MAX_TREE_CODES + 4)

Enumerations
enum	range_op_dispatch_type {   DISPATCH_FOLD_RANGE , DISPATCH_OP1_RANGE , DISPATCH_OP2_RANGE , DISPATCH_LHS_OP1_RELATION ,   DISPATCH_LHS_OP2_RELATION , DISPATCH_OP1_OP2_RELATION }

Functions
bool	range_cast (vrange &r, tree type)
bool	range_cast (Value_Range &r, tree type)
void	wi_set_zero_nonzero_bits (tree type, const wide_int &, const wide_int &, wide_int &maybe_nonzero, wide_int &mustbe_nonzero)

Macro Definition Documentation

OP_WIDEN_MULT_SIGNED

#define OP_WIDEN_MULT_SIGNED   ((unsigned) MAX_TREE_CODES)

Referenced by range_op_table::initialize_integral_ops(), and gimple_range_op_handler::maybe_non_standard().

OP_WIDEN_MULT_UNSIGNED

#define OP_WIDEN_MULT_UNSIGNED   ((unsigned) MAX_TREE_CODES + 1)

Referenced by range_op_table::initialize_integral_ops(), and gimple_range_op_handler::maybe_non_standard().

OP_WIDEN_PLUS_SIGNED

#define OP_WIDEN_PLUS_SIGNED   ((unsigned) MAX_TREE_CODES + 2)

Referenced by range_op_table::initialize_integral_ops().

OP_WIDEN_PLUS_UNSIGNED

#define OP_WIDEN_PLUS_UNSIGNED   ((unsigned) MAX_TREE_CODES + 3)

Referenced by range_op_table::initialize_integral_ops().

RANGE_OP_TABLE_SIZE

#define RANGE_OP_TABLE_SIZE   ((unsigned) MAX_TREE_CODES + 4)

Referenced by range_op_table::operator[](), and range_op_table::set().

Enumeration Type Documentation

range_op_dispatch_type

enum range_op_dispatch_type

Header file for range operator class.
   Copyright (C) 2017-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/>.   

Enumerator
DISPATCH_FOLD_RANGE
DISPATCH_OP1_RANGE
DISPATCH_OP2_RANGE
DISPATCH_LHS_OP1_RELATION
DISPATCH_LHS_OP2_RELATION
DISPATCH_OP1_OP2_RELATION

Function Documentation

range_cast() [1/2]

bool range_cast ( Value_Range & r, tree type )

inline

References ggc_alloc(), and r.

range_cast() [2/2]

bool range_cast ( vrange & r, tree type )

inline

References gcc_checking_assert, ggc_alloc(), and r.

Referenced by adjust_imagpart_expr(), gimple_outgoing_range::calc_switch_ranges(), assume_query::calculate_phi(), compute_distributive_range(), evaluate_conditions_for_known_args(), ranger_cache::fill_block_cache(), find_case_label_range(), cfn_ffs::fold_range(), operator_cast::fold_range(), operator_cast::fold_range(), fold_using_range::fold_stmt(), insert_into_preds_of_block(), ipa_compute_jump_functions_for_edge(), operator_cast::op1_range(), operator_lshift::op1_range(), gori_compute::outgoing_edge_range_p(), fold_using_range::range_of_address(), fold_using_range::relation_fold_and_or(), and split_constant_offset_1().

wi_set_zero_nonzero_bits()

void wi_set_zero_nonzero_bits ( tree type, const wide_int & lb, const wide_int & ub, wide_int & maybe_nonzero, wide_int & mustbe_nonzero )

extern

References wi::bit_and_not(), wi::eq_p(), wi::floor_log2(), wi::ge_p(), wide_int_storage::get_precision(), ggc_alloc(), wi::lt_p(), wi::mask(), wi::minus_one(), TYPE_SIGN, and wi::zero().

Referenced by vr_set_zero_nonzero_bits(), operator_bitwise_xor::wi_fold(), operator_bitwise_and::wi_fold(), and operator_bitwise_or::wi_fold().