yggdrasil/gcc
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

range-op-float: Use get_nan_state in float_widen_lhs_range

Browse Source 
On Wed, Mar 22, 2023 at 07:32:44AM +0100, Aldy Hernandez wrote:
>       * value-range.cc (frange::set): Add nan_state argument.
>       * value-range.h (class nan_state): New.
>       (frange::get_nan_state): New.

The following patch makes use of those changes in float_widen_lhs_range.

2023-03-28  Jakub Jelinek  <jakub@redhat.com>

	* range-op-float.cc (float_widen_lhs_range): Use pass get_nan_state
	as 4th argument to set to avoid clear_nan and union_ calls.
This commit is contained in:
Jakub Jelinek
2023-03-28 10:55:31 +02:00
parent 3c62ba93de
commit ccaee0d2c9
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gcc/range-op-float.cc
+1 -6
View File
@@ -2262,12 +2262,7 @@ float_widen_lhs_range (tree type, const frange &lhs)
or real_max_representable (type) as upper bound. */
bool save_flag_finite_math_only = flag_finite_math_only;
flag_finite_math_only = false;
ret.set (type, lb, ub);
if (lhs.kind () != VR_VARYING)
{
ret.clear_nan ();
ret.union_ (lhs);
}
ret.set (type, lb, ub, lhs.get_nan_state ());
flag_finite_math_only = save_flag_finite_math_only;
return ret;
}