aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
AgeCommit message (Expand)AuthorFilesLines
2023-04-18Add GTY support for vrange.Aldy Hernandez1-0/+85
2023-04-18Declare dconstm0 to go along with dconst0 and friends.Aldy Hernandez1-4/+3
2023-04-18Return true from operator== for two identical ranges containing NAN.Aldy Hernandez1-10/+0
2023-04-18Add inchash support for vrange.Aldy Hernandez1-0/+52
2023-03-28range-op-float: Only flush_denormals_to_zero for +-*/ [PR109154]Jakub Jelinek1-2/+0
2023-03-23ranger: Ranger meets aspellJakub Jelinek1-2/+2
2023-03-22frange: Implement nan_state class [PR109008]Aldy Hernandez1-3/+15
2023-02-03irange: Compare nonzero bits in irange with widest_int [PR108639]Aldy Hernandez1-2/+9
2023-01-02Update copyright years.Jakub Jelinek1-1/+1
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