276 unsigned limit)
const;
295 operator bool ()
const;
345 r.set_varying (
type);
367 r.set_varying (
type);
383#define OP_WIDEN_MULT_SIGNED ((unsigned) MAX_TREE_CODES)
384#define OP_WIDEN_MULT_UNSIGNED ((unsigned) MAX_TREE_CODES + 1)
385#define OP_WIDEN_PLUS_SIGNED ((unsigned) MAX_TREE_CODES + 2)
386#define OP_WIDEN_PLUS_UNSIGNED ((unsigned) MAX_TREE_CODES + 3)
387#define RANGE_OP_TABLE_SIZE ((unsigned) MAX_TREE_CODES + 4)
Definition value-range.h:527
Definition value-range.h:273
Definition value-range.h:384
Definition range-op.h:291
relation_kind lhs_op1_relation(const vrange &lhs, const vrange &op1, const vrange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:369
bool op2_range(vrange &r, tree type, const vrange &lhs, const vrange &op1, relation_trio=TRIO_VARYING) const
Definition range-op.cc:327
range_operator * m_operator
Definition range-op.h:330
bool operand_check_p(tree, tree, tree) const
Definition range-op.cc:488
unsigned dispatch_kind(const vrange &lhs, const vrange &op1, const vrange &op2) const
Definition range-op.cc:184
range_op_handler()
Definition range-op.cc:120
bool overflow_free_p(const vrange &lh, const vrange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:471
bool fold_range(vrange &r, tree type, const vrange &lh, const vrange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:217
relation_kind lhs_op2_relation(const vrange &lhs, const vrange &op1, const vrange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:409
range_operator * range_op() const
Definition range-op.cc:147
void discriminator_fail(const vrange &, const vrange &, const vrange &) const
Definition range-op.cc:192
relation_kind op1_op2_relation(const vrange &lhs, const vrange &op1, const vrange &op2) const
Definition range-op.cc:437
bool op1_range(vrange &r, tree type, const vrange &lhs, const vrange &op2, relation_trio=TRIO_VARYING) const
Definition range-op.cc:277
Definition range-op.h:392
void initialize_pointer_ops()
Definition range-op-ptr.cc:1527
range_operator * operator[](unsigned code)
Definition range-op.h:395
void set(unsigned code, range_operator &op)
Definition range-op.h:401
range_operator * m_range_tree[RANGE_OP_TABLE_SIZE]
Definition range-op.h:407
void initialize_float_ops()
Definition range-op-float.cc:2906
void initialize_integral_ops()
Definition range-op.cc:4510
range_op_table()
Definition range-op.cc:81
virtual bool overflow_free_p(const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:825
virtual bool op1_range(irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const
Definition range-op.cc:763
virtual bool op2_range(irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const
Definition range-op.cc:775
void wi_fold_in_parts_equiv(irange &r, tree type, const wide_int &lb, const wide_int &ub, unsigned limit) const
Definition range-op.cc:605
virtual bool fold_range(irange &r, tree type, const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
Definition range-op.cc:690
virtual void update_bitmask(irange &, const irange &, const irange &) const
Definition range-op.cc:834
virtual relation_kind lhs_op2_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:796
virtual relation_kind lhs_op1_relation(const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
Definition range-op.cc:787
virtual void wi_fold(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const
Definition range-op.cc:587
void wi_fold_in_parts(irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const
Definition range-op.cc:634
virtual relation_kind op1_op2_relation(const irange &lhs, const irange &op1, const irange &op2) const
Definition range-op.cc:805
virtual void rv_fold(frange &r, tree type, const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind) const
Definition range-op-float.cc:104
virtual bool operand_check_p(tree, tree, tree) const
Definition range-op.cc:842
virtual bool op1_op2_relation_effect(irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const
Definition range-op.cc:815
Definition value-relation.h:329
Definition value-range.h:759
void set_varying(tree type)
Definition value-range.h:780
Definition value-range.h:78
union tree_node * tree
Definition coretypes.h:97
poly_int< N, C > r
Definition poly-int.h:774
void wi_set_zero_nonzero_bits(tree type, const wide_int &, const wide_int &, wide_int &maybe_nonzero, wide_int &mustbe_nonzero)
Definition range-op.cc:3409
#define RANGE_OP_TABLE_SIZE
Definition range-op.h:387
bool range_cast(vrange &r, tree type)
Definition range-op.h:336
range_op_dispatch_type
Definition range-op.h:26
@ DISPATCH_OP1_OP2_RELATION
Definition range-op.h:32
@ DISPATCH_LHS_OP2_RELATION
Definition range-op.h:31
@ DISPATCH_OP1_RANGE
Definition range-op.h:28
@ DISPATCH_FOLD_RANGE
Definition range-op.h:27
@ DISPATCH_OP2_RANGE
Definition range-op.h:29
@ DISPATCH_LHS_OP1_RELATION
Definition range-op.h:30
#define REAL_VALUE_TYPE
Definition real.h:68
Definition gengtype.h:252
#define NULL
Definition system.h:50
#define bool
Definition system.h:893
#define gcc_checking_assert(EXPR)
Definition system.h:828
enum relation_kind_t relation_kind
@ VREL_VARYING
Definition value-relation.h:65
#define TRIO_VARYING
Definition value-relation.h:348