aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
AgeCommit message (Expand)AuthorFilesLines
2022-11-12[frange] Avoid testing signed zero test for -fno-signed-zeros.Aldy Hernandez1-4/+5
2022-11-10Do not specify NAN sign in frange::set_nonnegative.Aldy Hernandez1-5/+7
2022-11-09Clear NAN when reading back a global range if necessary.Aldy Hernandez1-0/+9
2022-11-08Provide normalized and denormal format version of real_isdenormal.Aldy Hernandez1-2/+3
2022-11-02Fix bug in frange::contains_p() for signed zeros.Aldy Hernandez1-1/+9
2022-11-01Intersect with nonzero bits can indicate change incorrectly.Andrew MacLeod1-0/+4
2022-10-28Change remaining flag_finite_math_only use in value-range.cc.Aldy Hernandez1-1/+1
2022-10-26Convert flag_finite_math_only uses in frange to HONOR_*.Aldy Hernandez1-3/+3
2022-10-24Check HONOR_NANS instead of flag_finite_math_only in frange:verify_range.Aldy Hernandez1-8/+25
2022-10-22Update selftest such that [-Inf, +Inf] is always VARYING for -ffinite-math-only.Aldy Hernandez1-2/+5
2022-10-20Do not set NAN flags for VARYING ranges when !HONOR_NANS.Aldy Hernandez1-3/+8
2022-10-19[PR tree-optimization/107312] Make range_true_and_false work with 1-bit signe...Aldy Hernandez1-0/+2
2022-10-17Do not test for -Inf when flag_finite_math_only.Aldy Hernandez1-4/+7
2022-10-14Implement distinction between HONOR_SIGNED_ZEROS and MODE_HAS_SIGNED_ZEROS.Aldy Hernandez1-1/+8
2022-10-14Check rvc_normal in real_isdenormal.Aldy Hernandez1-0/+5
2022-10-14Normalize ranges over the range for both bounds when -ffinite-math-only.Aldy Hernandez1-0/+4
2022-10-14Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS.Aldy Hernandez1-0/+8
2022-10-12Disable tree to bool conversion in frange::update_nan.Aldy Hernandez1-1/+1
2022-10-11[PR107195] Set range to zero when nonzero mask is 0.Aldy Hernandez1-0/+5
2022-10-07gcc: Fix comment typoJonathan Wakely1-1/+1
2022-10-07Convert nonzero mask back to tree.Aldy Hernandez1-19/+66
2022-10-07Fix comment typosJakub Jelinek1-1/+1
2022-10-06Setting explicit NANs sets UNDEFINED for -ffinite-math-only.Aldy Hernandez1-30/+29
2022-10-04Remove assert from set_nonzero_bits.Aldy Hernandez1-1/+0
2022-10-04Convert nonzero mask in irange to wide_int.Aldy Hernandez1-152/+118
2022-10-03Do not pessimize range in set_nonzero_bits.Aldy Hernandez1-0/+13
2022-10-03Avoid comparing ranges when sub-ranges is 0.Aldy Hernandez1-0/+3
2022-10-03Do not compare nonzero masks for varying.Aldy Hernandez1-4/+1
2022-09-27irange: keep better track of powers of 2.Aldy Hernandez1-0/+13
2022-09-26ranger: remove unused functionMartin Liska1-9/+0
2022-09-23frange: Make the setter taking trees a wrapper.Aldy Hernandez1-17/+14
2022-09-23frange: drop endpoints to min/max representable numbers for -ffinite-math-only.Aldy Hernandez1-25/+21
2022-09-21[PR106967] Set known NANs to undefined for flag_finite_math_only.Aldy Hernandez1-2/+7
2022-09-21Clear unused flags in frange for undefined ranges.Aldy Hernandez1-4/+4
2022-09-20frange::set_nonnegative should not contain -NAN.Aldy Hernandez1-0/+9
2022-09-20frange: flush denormals to zeroAldy Hernandez1-0/+23
2022-09-18[PR106831] Avoid propagating long doubles that may have multiple representati...Jakub Jelinek1-0/+15
2022-09-18Rewrite NAN and sign handling in frangeAldy Hernandez1-299/+322
2022-09-14Use frange::set_nan() from the generic frange::set().Aldy Hernandez1-13/+14
2022-09-14Provide cleaner set_nan(), clear_nan(), and update_nan() methods.Aldy Hernandez1-26/+26
2022-09-14Minor fixes to frange.Aldy Hernandez1-10/+5
2022-09-12frange::set_signbit: Avoid changing sign when already in the correct sign.Aldy Hernandez1-2/+6
2022-09-08Implement known/maybe fpclassify like API for frange.Aldy Hernandez1-53/+73
2022-09-05Do not ICE when updating a NAN to a non-NAN.Aldy Hernandez1-2/+10
2022-09-05Be even more conservative in intersection of NANs.Aldy Hernandez1-19/+16
2022-09-04Do not clobber signbit when unioning a NAN.Aldy Hernandez1-4/+21
2022-09-03[PR/middle-end 106819] NANs can never be a singletonAldy Hernandez1-5/+4
2022-09-01Convert ranger uses of real_inf to dconst[n]inf.Aldy Hernandez1-15/+8
2022-09-01Add signbit property to frange to better model signed zeros.Aldy Hernandez1-26/+174
2022-09-01Make frange selftests work on !HONOR_NANS systems.Aldy Hernandez1-9/+14
generated by cgit v1.1 at 2025-01-28 13:52:15 +0000