aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
AgeCommit message (Expand)AuthorFilesLines
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
2022-08-30Improve union of ranges containing NAN.Aldy Hernandez1-10/+34
2022-08-30Force a [NAN, NAN] range when the definite NAN property is set.Aldy Hernandez1-19/+36
2022-08-30Add support for floating point endpoints to frange.Aldy Hernandez1-45/+417
2022-08-26Make all default vrange setters set VARYING.Aldy Hernandez1-4/+8
2022-08-15Check for undefined and varying first.Andrew MacLeod1-19/+16
2022-08-05Inline unsupported_range constructor.Aldy Hernandez1-6/+0
2022-08-02More frange::set cleanups.Aldy Hernandez1-19/+28
2022-08-01Cleanups to frange.Aldy Hernandez1-37/+65
2022-08-01const_tree conversion of vrange::supports_*Aldy Hernandez1-3/+3
2022-07-26Handle non constant ranges in irange pretty printer.Aldy Hernandez1-0/+8
2022-07-25frange class to represent floating point rangesAldy Hernandez1-4/+191
2022-07-15Convert vrange dumping facilities to pretty_printer.Aldy Hernandez1-99/+14
2022-07-15Implement visitor pattern for vrange.Aldy Hernandez1-0/+12
2022-07-13Clear nonzero mask when inverting ranges.Aldy Hernandez1-0/+8
2022-07-12Set nonzero bits from bitwise and operator in range-ops.Aldy Hernandez1-5/+1
2022-07-10Cleanups to irange::nonzero bit code.Aldy Hernandez1-37/+130
2022-07-09Set VR_VARYING in irange::irange_single_pair_union.Aldy Hernandez1-9/+7
2022-07-04Integrate nonzero bits with irange.Aldy Hernandez1-10/+167
2022-07-04Remove some deprecated irange methods.Aldy Hernandez1-1/+1
2022-06-03Flesh out unsupported_range.Aldy Hernandez1-84/+91
2022-06-03Implement vrange::supports_type_p.Aldy Hernandez1-0/+12
2022-06-01Implement generic range temporaries.Aldy Hernandez1-0/+38
2022-06-01Implement abstract vrange class.Aldy Hernandez1-5/+163
2022-05-13Return a bool result for union, and add performance improvements.Andrew MacLeod1-9/+84
2022-05-13Add a return value to intersect and speed it up.Andrew MacLeod1-18/+76
2022-04-29Remove various deprecated methods in class irange.Aldy Hernandez1-2/+2
2022-01-17Change references of .c files to .cc filesMartin Liska1-1/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-06ranger: Optimise irange_unionRichard Sandiford1-33/+13