Inheritance diagram for operator_lshift:

[legend]

Collaboration diagram for operator_lshift:

[legend]

Public Member Functions
virtual bool	op1_range (irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel=TRIO_VARYING) const final override

virtual bool	fold_range (irange &r, tree type, const irange &op1, const irange &op2, relation_trio rel=TRIO_VARYING) const final override

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 final override

virtual bool	wi_op_overflows (wide_int &res, tree type, const wide_int &, const wide_int &) const final override

void	update_bitmask (irange &r, const irange &lh, const irange &rh) const final override

bool	operand_check_p (tree t1, tree t2, tree) const final override

void	wi_cross_product (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

virtual bool	op2_range (irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const

virtual bool	op2_range (prange &r, tree type, const irange &lhs, const prange &op1, relation_trio=TRIO_VARYING) const

virtual bool	op2_range (irange &r, tree type, const prange &lhs, const prange &op1, relation_trio=TRIO_VARYING) const

virtual bool	op2_range (frange &r, tree type, const frange &lhs, const frange &op1, relation_trio=TRIO_VARYING) const

virtual bool	op2_range (frange &r, tree type, const irange &lhs, const frange &op1, relation_trio=TRIO_VARYING) const

virtual relation_kind	lhs_op1_relation (const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op1_relation (const prange &lhs, const prange &op1, const prange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op1_relation (const prange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op1_relation (const irange &lhs, const prange &op1, const prange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op1_relation (const frange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op1_relation (const irange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op2_relation (const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op2_relation (const frange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	lhs_op2_relation (const irange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const

virtual relation_kind	op1_op2_relation (const irange &lhs, const irange &op1, const irange &op2) const

virtual relation_kind	op1_op2_relation (const irange &lhs, const prange &op1, const prange &op2) const

virtual relation_kind	op1_op2_relation (const irange &lhs, const frange &op1, const frange &op2) const

virtual relation_kind	op1_op2_relation (const frange &lhs, const frange &op1, const frange &op2) const

virtual bool	overflow_free_p (const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const

Protected Member Functions
virtual bool	op1_op2_relation_effect (irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const

virtual bool	op1_op2_relation_effect (prange &lhs_range, tree type, const prange &op1_range, const prange &op2_range, relation_kind rel) const

virtual bool	op1_op2_relation_effect (prange &lhs_range, tree type, const prange &op1_range, const irange &op2_range, relation_kind rel) const

virtual bool	op1_op2_relation_effect (irange &lhs_range, tree type, const prange &op1_range, const prange &op2_range, relation_kind rel) const

virtual bool	op1_op2_relation_effect (prange &lhs_range, tree type, const irange &op1_range, const prange &op2_range, relation_kind rel) const

virtual bool	op1_op2_relation_effect (irange &lhs_range, tree type, const prange &op1_range, const irange &op2_range, relation_kind rel) const

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

void	wi_fold_in_parts_equiv (irange &r, tree type, const wide_int &lb, const wide_int &ub, unsigned limit) const

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

Private Member Functions
virtual bool	fold_range (frange &r, tree type, const frange &lh, const frange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (irange &r, tree type, const frange &lh, const irange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (irange &r, tree type, const frange &lh, const frange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (frange &r, tree type, const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (prange &r, tree type, const prange &lh, const prange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (prange &r, tree type, const prange &lh, const irange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (irange &r, tree type, const prange &lh, const prange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (prange &r, tree type, const irange &lh, const prange &rh, relation_trio=TRIO_VARYING) const

virtual bool	fold_range (irange &r, tree type, const prange &lh, const irange &rh, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (prange &r, tree type, const prange &lhs, const prange &op2, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (prange &r, tree type, const irange &lhs, const prange &op2, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (prange &r, tree type, const prange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (irange &r, tree type, const prange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (frange &r, tree type, const frange &lhs, const frange &op2, relation_trio=TRIO_VARYING) const

virtual bool	op1_range (frange &r, tree type, const irange &lhs, const frange &op2, relation_trio=TRIO_VARYING) const

virtual void	update_bitmask (irange &, const prange &, const prange &) const

Member Function Documentation

◆ fold_range() [1/10]

bool range_operator::fold_range	(	frange &	r,
		tree	type,
		const frange &	op1,
		const frange &	op2,
		relation_trio	trio = TRIO_VARYING ) const

privatevirtual

Floating point range operators.
   Copyright (C) 2022-2025 Free Software Foundation, Inc.
   Contributed by 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/>.

Reimplemented from range_operator.

◆ fold_range() [2/10]

bool range_operator::fold_range	(	frange &	r,
		tree	type,
		const irange &	lh,
		const irange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [3/10]

bool range_operator::fold_range	(	irange &	r,
		tree	type,
		const frange &	lh,
		const frange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [4/10]

bool range_operator::fold_range	(	irange &	r,
		tree	type,
		const frange &	lh,
		const irange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [5/10]

bool operator_lshift::fold_range	(	irange &	r,
		tree	type,
		const irange &	op1,
		const irange &	op2,
		relation_trio	rel = TRIO_VARYING ) const

finaloverridevirtual

Reimplemented from range_operator.

References b, range_operator::fold_range(), get_shift_range(), irange::lower_bound(), mult, op_mult, r, wi::set_bit_in_zero(), shift, irange::singleton_p(), generic_wide_int< storage >::to_uhwi(), TYPE_PRECISION, and vrange::undefined_p().

◆ fold_range() [6/10]

bool range_operator::fold_range	(	irange &	r,
		tree	type,
		const prange &	lh,
		const irange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [7/10]

bool range_operator::fold_range	(	irange &	r,
		tree	type,
		const prange &	lh,
		const prange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [8/10]

bool range_operator::fold_range	(	prange &	r,
		tree	type,
		const irange &	lh,
		const prange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [9/10]

bool range_operator::fold_range	(	prange &	r,
		tree	type,
		const prange &	lh,
		const irange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ fold_range() [10/10]

bool range_operator::fold_range	(	prange &	r,
		tree	type,
		const prange &	lh,
		const prange &	rh,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Code for range operators.
   Copyright (C) 2017-2025 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/>.

Reimplemented from range_operator.

◆ lhs_op1_relation() [1/6]

relation_kind range_operator::lhs_op1_relation	(	const frange &	lhs,
		const frange &	op1,
		const frange &	op2,
		relation_kind	= VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

References VREL_VARYING.

◆ lhs_op1_relation() [2/6]

relation_kind range_operator::lhs_op1_relation	(	const irange &	lhs,
		const frange &	op1,
		const frange &	op2,
		relation_kind	= VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

◆ lhs_op1_relation() [3/6]

relation_kind range_operator::lhs_op1_relation	(	const irange &	lhs,
		const irange &	op1,
		const irange &	op2,
		relation_kind	rel = VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

References VREL_VARYING.

◆ lhs_op1_relation() [4/6]

relation_kind range_operator::lhs_op1_relation	(	const irange &	lhs,
		const prange &	op1,
		const prange &	op2,
		relation_kind	rel = VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

References VREL_VARYING.

◆ lhs_op1_relation() [5/6]

relation_kind range_operator::lhs_op1_relation	(	const prange &	lhs,
		const irange &	op1,
		const irange &	op2,
		relation_kind	rel = VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

References VREL_VARYING.

◆ lhs_op1_relation() [6/6]

relation_kind range_operator::lhs_op1_relation	(	const prange &	lhs,
		const prange &	op1,
		const prange &	op2,
		relation_kind	rel = VREL_VARYING ) const

virtualinherited

Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, and operator_rshift.

References VREL_VARYING.

◆ lhs_op2_relation() [1/3]

relation_kind range_operator::lhs_op2_relation	(	const frange &	lhs,
		const frange &	op1,
		const frange &	op2,
		relation_kind	= VREL_VARYING ) const

virtualinherited

Reimplemented in operator_plus.

References VREL_VARYING.

◆ lhs_op2_relation() [2/3]

relation_kind range_operator::lhs_op2_relation	(	const irange &	lhs,
		const frange &	op1,
		const frange &	op2,
		relation_kind	= VREL_VARYING ) const

virtualinherited

Reimplemented in operator_plus.

◆ lhs_op2_relation() [3/3]

relation_kind range_operator::lhs_op2_relation	(	const irange &	lhs,
		const irange &	op1,
		const irange &	op2,
		relation_kind	rel = VREL_VARYING ) const

virtualinherited

Reimplemented in operator_plus.

References VREL_VARYING.

◆ op1_op2_relation() [1/4]

relation_kind range_operator::op1_op2_relation	(	const frange &	lhs,
		const frange &	op1,
		const frange &	op2 ) const

virtualinherited

Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.

References VREL_VARYING.

◆ op1_op2_relation() [2/4]

relation_kind range_operator::op1_op2_relation	(	const irange &	lhs,
		const frange &	op1,
		const frange &	op2 ) const

virtualinherited

Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.

◆ op1_op2_relation() [3/4]

relation_kind range_operator::op1_op2_relation	(	const irange &	lhs,
		const irange &	op1,
		const irange &	op2 ) const

virtualinherited

Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.

References VREL_VARYING.

◆ op1_op2_relation() [4/4]

relation_kind range_operator::op1_op2_relation	(	const irange &	lhs,
		const prange &	op1,
		const prange &	op2 ) const

virtualinherited

Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.

◆ op1_op2_relation_effect() [1/6]

bool range_operator::op1_op2_relation_effect	(	irange &	lhs_range,
		tree	type,
		const irange &	op1_range,
		const irange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

References op1_range(), and op2_range().

Referenced by fold_range().

◆ op1_op2_relation_effect() [2/6]

bool range_operator::op1_op2_relation_effect	(	irange &	lhs_range,
		tree	type,
		const prange &	op1_range,
		const irange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

◆ op1_op2_relation_effect() [3/6]

bool range_operator::op1_op2_relation_effect	(	irange &	lhs_range,
		tree	type,
		const prange &	op1_range,
		const prange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

◆ op1_op2_relation_effect() [4/6]

bool range_operator::op1_op2_relation_effect	(	prange &	lhs_range,
		tree	type,
		const irange &	op1_range,
		const prange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

◆ op1_op2_relation_effect() [5/6]

bool range_operator::op1_op2_relation_effect	(	prange &	lhs_range,
		tree	type,
		const prange &	op1_range,
		const irange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

◆ op1_op2_relation_effect() [6/6]

bool range_operator::op1_op2_relation_effect	(	prange &	lhs_range,
		tree	type,
		const prange &	op1_range,
		const prange &	op2_range,
		relation_kind	rel ) const

protectedvirtualinherited

Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.

◆ op1_range() [1/7]

bool range_operator::op1_range	(	frange &	r,
		tree	type,
		const frange &	lhs,
		const frange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op1_range() [2/7]

bool range_operator::op1_range	(	frange &	r,
		tree	type,
		const irange &	lhs,
		const frange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op1_range() [3/7]

bool operator_lshift::op1_range	(	irange &	r,
		tree	type,
		const irange &	lhs,
		const irange &	op2,
		relation_trio	rel = TRIO_VARYING ) const

finaloverridevirtual

Reimplemented from range_operator.

References wi::bit_or(), contains_zero_p(), wi::ge_p(), irange::lower_bound(), wi::lt_p(), wi::mask(), op_rshift, r, range_cast(), wi::set_bit(), shift, SIGNED, irange::singleton_p(), irange::type(), TYPE_PRECISION, TYPE_SIGN, wi::uhwi(), irange::union_(), UNSIGNED, unsigned_type_for(), and irange::upper_bound().

◆ op1_range() [4/7]

bool range_operator::op1_range	(	irange &	r,
		tree	type,
		const prange &	lhs,
		const irange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op1_range() [5/7]

bool range_operator::op1_range	(	prange &	r,
		tree	type,
		const irange &	lhs,
		const prange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op1_range() [6/7]

bool range_operator::op1_range	(	prange &	r,
		tree	type,
		const prange &	lhs,
		const irange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op1_range() [7/7]

bool range_operator::op1_range	(	prange &	r,
		tree	type,
		const prange &	lhs,
		const prange &	op2,
		relation_trio	= TRIO_VARYING ) const

privatevirtual

Reimplemented from range_operator.

◆ op2_range() [1/5]

bool range_operator::op2_range	(	frange &	r,
		tree	type,
		const frange &	lhs,
		const frange &	op1,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

◆ op2_range() [2/5]

bool range_operator::op2_range	(	frange &	r,
		tree	type,
		const irange &	lhs,
		const frange &	op1,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

◆ op2_range() [3/5]

bool range_operator::op2_range	(	irange &	r,
		tree	type,
		const irange &	lhs,
		const irange &	op1,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

◆ op2_range() [4/5]

bool range_operator::op2_range	(	irange &	r,
		tree	type,
		const prange &	lhs,
		const prange &	op1,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

◆ op2_range() [5/5]

bool range_operator::op2_range	(	prange &	r,
		tree	type,
		const irange &	lhs,
		const prange &	op1,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

◆ operand_check_p()

bool operator_lshift::operand_check_p	(	tree	t1,
		tree	t2,
		tree	) const

inlinefinaloverridevirtual

Reimplemented from range_operator.

References range_compatible_p().

◆ overflow_free_p()

bool range_operator::overflow_free_p	(	const irange &	lh,
		const irange &	rh,
		relation_trio	= TRIO_VARYING ) const

virtualinherited

Reimplemented in operator_minus, operator_mult, and operator_plus.

◆ rv_fold()

void range_operator::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

protectedvirtualinherited

Reimplemented in foperator_div, operator_minus, operator_mult, and operator_plus.

References dconstinf, dconstninf, r, and REAL_VALUE_TYPE.

Referenced by fold_range().

◆ update_bitmask() [1/2]

void range_operator::update_bitmask	(	irange &	,
		const prange &	,
		const prange &	) const

privatevirtual

Reimplemented from range_operator.

◆ update_bitmask() [2/2]

void operator_lshift::update_bitmask	(	irange &	r,
		const irange &	lh,
		const irange &	rh ) const

inlinefinaloverridevirtual

Reimplemented from range_operator.

References r, and update_known_bitmask().

◆ wi_cross_product()

void cross_product_operator::wi_cross_product	(	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

inherited

References wi::eq_p(), wi::gt_p(), wi::max(), wi::min(), r, TYPE_SIGN, value_range_with_overflow(), and wi_op_overflows().

Referenced by operator_div::wi_fold(), operator_lshift::wi_fold(), operator_mult::wi_fold(), and operator_rshift::wi_fold().

◆ wi_fold()

void operator_lshift::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

finaloverridevirtual

Reimplemented from range_operator.

References wi::eq_p(), wi::lts_p(), wi::ltu_p(), r, wi::set_bit_in_zero(), SIGNED, generic_wide_int< storage >::to_shwi(), TYPE_PRECISION, TYPE_SIGN, UNSIGNED, and cross_product_operator::wi_cross_product().

◆ wi_fold_in_parts()

void range_operator::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

protectedinherited

References r, wi::sub(), TYPE_SIGN, wi_fold(), and wi_fold_in_parts().

Referenced by fold_range(), and wi_fold_in_parts().

◆ wi_fold_in_parts_equiv()

void range_operator::wi_fold_in_parts_equiv	(	irange &	r,
		tree	type,
		const wide_int &	lb,
		const wide_int &	ub,
		unsigned	limit ) const

protectedinherited

References r, wi::sub(), TYPE_SIGN, and wi_fold().

Referenced by fold_range().

◆ wi_op_overflows()

bool operator_lshift::wi_op_overflows	(	wide_int &	res,
		tree	type,
		const wide_int &	w0,
		const wide_int &	w1 ) const

finaloverridevirtual

Implements cross_product_operator.

References wi::lshift(), wi::neg_p(), wi::rshift(), and TYPE_SIGN.

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

range-op.cc

Public Member Functions

Protected Member Functions

Private Member Functions

Member Function Documentation

◆ fold_range() [1/10]

◆ fold_range() [2/10]

◆ fold_range() [3/10]

◆ fold_range() [4/10]

◆ fold_range() [5/10]

◆ fold_range() [6/10]

◆ fold_range() [7/10]

◆ fold_range() [8/10]

◆ fold_range() [9/10]

◆ fold_range() [10/10]

◆ lhs_op1_relation() [1/6]

◆ lhs_op1_relation() [2/6]

◆ lhs_op1_relation() [3/6]

◆ lhs_op1_relation() [4/6]

◆ lhs_op1_relation() [5/6]

◆ lhs_op1_relation() [6/6]

◆ lhs_op2_relation() [1/3]

◆ lhs_op2_relation() [2/3]

◆ lhs_op2_relation() [3/3]

◆ op1_op2_relation() [1/4]

◆ op1_op2_relation() [2/4]

◆ op1_op2_relation() [3/4]

◆ op1_op2_relation() [4/4]

◆ op1_op2_relation_effect() [1/6]

◆ op1_op2_relation_effect() [2/6]

◆ op1_op2_relation_effect() [3/6]

◆ op1_op2_relation_effect() [4/6]

◆ op1_op2_relation_effect() [5/6]

◆ op1_op2_relation_effect() [6/6]

◆ op1_range() [1/7]

◆ op1_range() [2/7]

◆ op1_range() [3/7]

◆ op1_range() [4/7]

◆ op1_range() [5/7]

◆ op1_range() [6/7]

◆ op1_range() [7/7]

◆ op2_range() [1/5]

◆ op2_range() [2/5]

◆ op2_range() [3/5]

◆ op2_range() [4/5]

◆ op2_range() [5/5]

◆ operand_check_p()

◆ overflow_free_p()

◆ rv_fold()

◆ update_bitmask() [1/2]

◆ update_bitmask() [2/2]

◆ wi_cross_product()

◆ wi_fold()

◆ wi_fold_in_parts()

◆ wi_fold_in_parts_equiv()

◆ wi_op_overflows()