procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Implement op[12]_range operators for PLUS_EXPR and MINUS_EXPR.

Browse source 
We can implement the op[12]_range entries for plus and minus in terms
of each other.  These are adapted from the integer versions.

gcc/ChangeLog:

	* range-op-float.cc (foperator_plus::op1_range): New.
	(foperator_plus::op2_range): New.
	(foperator_minus::op1_range): New.
	(foperator_minus::op2_range): New.
This commit is contained in:
Aldy Hernandez 2022-11-09 01:00:57 +01:00
parent 6373b1fdf7
commit 4287e8168f
1 changed files with 45 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
gcc/range-op-float.cc
View file

@ -1862,6 +1862,29 @@ foperator_unordered_equal::op1_range (frange &r, tree type,
class foperator_plus : public range_operator_float
{
using range_operator_float::op1_range;
using range_operator_float::op2_range;
public:
virtual bool op1_range (frange &r, tree type,
const frange &lhs,
const frange &op2,
relation_trio = TRIO_VARYING) const final override
{
if (lhs.undefined_p ())
return false;
range_op_handler minus (MINUS_EXPR, type);
if (!minus)
return false;
return minus.fold_range (r, type, lhs, op2);
}
virtual bool op2_range (frange &r, tree type,
const frange &lhs,
const frange &op1,
relation_trio = TRIO_VARYING) const final override
{
return op1_range (r, type, lhs, op1);
}
private:
void rv_fold (REAL_VALUE_TYPE &lb, REAL_VALUE_TYPE &ub, bool &maybe_nan,
tree type,
const REAL_VALUE_TYPE &lh_lb,
@ -1886,6 +1909,28 @@ class foperator_plus : public range_operator_float
class foperator_minus : public range_operator_float
{
using range_operator_float::op1_range;
using range_operator_float::op2_range;
public:
virtual bool op1_range (frange &r, tree type,
const frange &lhs,
const frange &op2,
relation_trio = TRIO_VARYING) const final override
{
if (lhs.undefined_p ())
return false;
return fop_plus.fold_range (r, type, lhs, op2);
}
virtual bool op2_range (frange &r, tree type,
const frange &lhs,
const frange &op1,
relation_trio = TRIO_VARYING) const final override
{
if (lhs.undefined_p ())
return false;
return fold_range (r, type, op1, lhs);
}
private:
void rv_fold (REAL_VALUE_TYPE &lb, REAL_VALUE_TYPE &ub, bool &maybe_nan,
tree type,
const REAL_VALUE_TYPE &lh_lb,