mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-06 19:51:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add op[12]_range for UNORDERED_LT entries in range-op.

Browse Source 
gcc/ChangeLog:

	* range-op-float.cc (foperator_unordered_lt::op1_range): New.
	(foperator_unordered_lt::op2_range): New.
This commit is contained in:
Aldy Hernandez 2022-10-19 17:06:41 +02:00
parent ecaa9ca6a8
commit 2e158eae2a
1 changed files with 64 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
gcc/range-op-float.cc
View File

@ -1280,6 +1280,8 @@ foperator_abs::op1_range (frange &r, tree type,
class foperator_unordered_lt : public range_operator_float
{
using range_operator_float::fold_range;
using range_operator_float::op1_range;
using range_operator_float::op2_range;
public:
bool fold_range (irange &r, tree type,
const frange &op1, const frange &op2,
@ -1302,8 +1304,70 @@ public:
return true;
}
}
bool op1_range (frange &r, tree type,
const irange &lhs,
const frange &op2,
relation_trio trio) const final override;
bool op2_range (frange &r, tree type,
const irange &lhs,
const frange &op1,
relation_trio trio) const final override;
} fop_unordered_lt;
bool
foperator_unordered_lt::op1_range (frange &r, tree type,
const irange &lhs,
const frange &op2,
relation_trio) const
{
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
build_lt (r, type, op2);
break;
case BRS_FALSE:
// A false UNORDERED_LT means both operands are !NAN, so it's
// impossible for op2 to be a NAN.
if (op2.known_isnan ())
r.set_undefined ();
else if (build_ge (r, type, op2))
r.clear_nan ();
break;
default:
break;
}
return true;
}
bool
foperator_unordered_lt::op2_range (frange &r, tree type,
const irange &lhs,
const frange &op1,
relation_trio) const
{
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
build_gt (r, type, op1);
break;
case BRS_FALSE:
// A false UNORDERED_LT means both operands are !NAN, so it's
// impossible for op1 to be a NAN.
if (op1.known_isnan ())
r.set_undefined ();
else if (build_le (r, type, op1))
r.clear_nan ();
break;
default:
break;
}
return true;
}
class foperator_unordered_le : public range_operator_float
{
using range_operator_float::fold_range;