aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
AgeCommit message (Expand)AuthorFilesLines
2023-11-03Remove simple ranges from trailing zero bitmasks.Andrew MacLeod1-0/+30
2023-10-25Faster irange union for appending ranges.Andrew MacLeod1-1/+44
2023-10-15wide-int: Fix estimation of buffer sizes for wide_int printing [PR111800]Jakub Jelinek1-5/+4
2023-10-12wide-int: Allow up to 16320 bits wide_int and change widest_int precision to ...Jakub Jelinek1-5/+12
2023-08-31Add overflow API for plus minus mult on rangeJiufu Guo1-0/+12
2023-08-21[frange] Return false if nothing changed in union_nans().Aldy Hernandez1-5/+31
2023-08-18[irange] Return FALSE if updated bitmask is unchanged [PR110753]Aldy Hernandez1-0/+18
2023-07-17Normalize irange_bitmask before union/intersect.Aldy Hernandez1-3/+0
2023-07-07A singleton irange has all known bits.Aldy Hernandez1-1/+18
2023-07-07The caller to irange::intersect (wide_int, wide_int) must normalize the range.Aldy Hernandez1-2/+5
2023-07-07Implement value/mask tracking for irange.Aldy Hernandez1-91/+157
2023-06-29Tidy up the range normalization code.Aldy Hernandez1-51/+48
2023-06-27Implement ipa_vr hashing.Aldy Hernandez1-15/+0
2023-05-25Disallow setting of NANs in frange setter unless setting trees.Aldy Hernandez1-8/+1
2023-05-25Hash known NANs correctly for franges.Aldy Hernandez1-7/+7
2023-05-23Remove buggy special case in irange::invert [PR109934].Aldy Hernandez1-8/+0
2023-05-17Provide support for copying unsupported ranges.Aldy Hernandez1-1/+4
2023-05-15Add auto-resizing capability to irange's [PR109695]Aldy Hernandez1-0/+14
2023-05-15Only return changed=true in union_nonzero when appropriate.Aldy Hernandez1-2/+3
2023-05-03Allow varying ranges of unknown types in irange::verify_range [PR109711]Aldy Hernandez1-0/+7
2023-05-01Cleanup irange::set.Aldy Hernandez1-126/+49
2023-05-01Convert internal representation of irange to wide_ints.Aldy Hernandez1-149/+118
2023-05-01Replace vrp_val* with wide_ints.Aldy Hernandez1-31/+6
2023-05-01Conversion to irange wide_int API.Aldy Hernandez1-190/+282
2023-05-01Merge irange::union/intersect into irange_union/intersect.Aldy Hernandez1-4/+7
2023-05-01Remove irange::tree_{lower,upper}_bound.Aldy Hernandez1-18/+18
2023-05-01Remove irange::{min,max,kind}.Aldy Hernandez1-49/+0
2023-04-27Normalize addresses in IPA before calling range_op_handler [PR109639]Aldy Hernandez1-0/+3
2023-04-26Remove legacy range support.Aldy Hernandez1-1151/+37
2023-04-26Remove range_has_numeric_bounds_p.Aldy Hernandez1-9/+3
2023-04-26Fix swapping of ranges.Aldy Hernandez1-47/+0
2023-04-26Convert users of legacy API to get_legacy_range() function.Aldy Hernandez1-26/+63
2023-04-26Remove irange::constant_p.Aldy Hernandez1-14/+0
2023-04-26Remove symbolics from irange.Aldy Hernandez1-135/+4
2023-04-26Remove irange::may_contain_p.Aldy Hernandez1-8/+0
2023-04-25Remove default constructor to nan_state.Aldy Hernandez1-2/+1
2023-04-23Handle NANs in frange::operator== [PR109593]Aldy Hernandez1-0/+10
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