Show patches with: Submitter = Aldy Hernandez       |    State = Action Required       |   194 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] Add range-op entry for floating point NEGATE_EXPR. [COMMITTED] Add range-op entry for floating point NEGATE_EXPR. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Add stubs for floating point range-op tests. [COMMITTED] Add stubs for floating point range-op tests. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Add method to query the sign of a NAN. [COMMITTED] Add method to query the sign of a NAN. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Disable tree to bool conversion in frange::update_nan. [COMMITTED] Disable tree to bool conversion in frange::update_nan. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Add an frange(type) constructor analogous to the irange version. [COMMITTED] Add an frange(type) constructor analogous to the irange version. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Add default relation_kind to floating point range-op entries. [COMMITTED] Add default relation_kind to floating point range-op entries. - - - --- 2022-10-12 Aldy Hernandez New
[COMMITTED] Implement ABS_EXPR operator for frange. [COMMITTED] Implement ABS_EXPR operator for frange. - - - --- 2022-10-11 Aldy Hernandez New
[COMMITTED] Implement op1_range operators for unordered comparisons. [COMMITTED] Implement op1_range operators for unordered comparisons. - - - --- 2022-10-11 Aldy Hernandez New
[COMMITTED] Share common ordered comparison code with UN*_EXPR. [COMMITTED] Share common ordered comparison code with UN*_EXPR. - - - --- 2022-10-11 Aldy Hernandez New
[COMMITTED] Move TRUE case first in range-op.cc. [COMMITTED] Move TRUE case first in range-op.cc. - - - --- 2022-10-11 Aldy Hernandez New
[COMMITTED,PR107195] Set range to zero when nonzero mask is 0. [COMMITTED,PR107195] Set range to zero when nonzero mask is 0. - - - --- 2022-10-11 Aldy Hernandez New
[COMMITTED] Make range-op-float entries public. [COMMITTED] Make range-op-float entries public. - - - --- 2022-10-10 Aldy Hernandez New
[COMMITTED] Add frange::maybe_isnan (bool sign). [COMMITTED] Add frange::maybe_isnan (bool sign). - - - --- 2022-10-10 Aldy Hernandez New
[COMMITTED] The true side of x != x should set NAN. [COMMITTED] The true side of x != x should set NAN. - - - --- 2022-10-10 Aldy Hernandez New
[COMMITTED] x UNORD x should set NAN on the TRUE side (and !NAN on the FALSE side). [COMMITTED] x UNORD x should set NAN on the TRUE side (and !NAN on the FALSE side). - - - --- 2022-10-10 Aldy Hernandez New
[COMMITTED] Return non-legacy ranges in range.h. [COMMITTED] Return non-legacy ranges in range.h. - - - --- 2022-10-10 Aldy Hernandez New
[COMMITTED,PR107170] Avoid copying incompatible types in legacy VRP. [COMMITTED,PR107170] Avoid copying incompatible types in legacy VRP. - - - --- 2022-10-06 Aldy Hernandez New
[COMMITTED] Setting explicit NANs sets UNDEFINED for -ffinite-math-only. [COMMITTED] Setting explicit NANs sets UNDEFINED for -ffinite-math-only. - - - --- 2022-10-06 Aldy Hernandez New
[COMMITTED] Do not check finite_operands_p twice in range-ops-float. [COMMITTED] Do not check finite_operands_p twice in range-ops-float. - - - --- 2022-10-06 Aldy Hernandez New
[COMMITTED] Do not double print INF and NAN in frange pretty printer. [COMMITTED] Do not double print INF and NAN in frange pretty printer. - - - --- 2022-10-06 Aldy Hernandez New
[COMMITTED] range-op: Keep nonzero mask up to date with truncating casts. [COMMITTED] range-op: Keep nonzero mask up to date with truncating casts. - - - --- 2022-10-05 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107052] range-ops: Take into account nonzero mask in popcount. [COMMITTED,PR,tree-optimization/107052] range-ops: Take into account nonzero mask in popcount. - - - --- 2022-10-05 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107052] range-ops: Pass nonzero masks through cast. [COMMITTED,PR,tree-optimization/107052] range-ops: Pass nonzero masks through cast. - - - --- 2022-10-05 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107052] range-ops: Pass nonzero masks through cast. [COMMITTED,PR,tree-optimization/107052] range-ops: Pass nonzero masks through cast. - - - --- 2022-10-05 Aldy Hernandez New
[COMMITTED] Remove assert from set_nonzero_bits. [COMMITTED] Remove assert from set_nonzero_bits. - - - --- 2022-10-04 Aldy Hernandez New
[COMMITTED] Convert nonzero mask in irange to wide_int. [COMMITTED] Convert nonzero mask in irange to wide_int. - - - --- 2022-10-04 Aldy Hernandez New
[COMMITTED,PR107130] range-ops: Separate out ffs and popcount optimizations. [COMMITTED,PR107130] range-ops: Separate out ffs and popcount optimizations. - - - --- 2022-10-04 Aldy Hernandez New
[COMMITTED] Do not pessimize range in set_nonzero_bits. [COMMITTED] Do not pessimize range in set_nonzero_bits. - - - --- 2022-10-03 Aldy Hernandez New
[COMMITTED] Avoid comparing ranges when sub-ranges is 0. [COMMITTED] Avoid comparing ranges when sub-ranges is 0. - - - --- 2022-10-03 Aldy Hernandez New
[COMMITTED] Do not compare nonzero masks for varying. [COMMITTED] Do not compare nonzero masks for varying. - - - --- 2022-10-03 Aldy Hernandez New
[COMMITTED] Do not compare incompatible ranges in ipa-prop. [COMMITTED] Do not compare incompatible ranges in ipa-prop. - - - --- 2022-10-03 Aldy Hernandez New
[COMMITTED] range-ops: Calculate the popcount of a singleton. [COMMITTED] range-ops: Calculate the popcount of a singleton. - - - --- 2022-09-27 Aldy Hernandez New
[COMMITTED] irange: keep better track of powers of 2. [COMMITTED] irange: keep better track of powers of 2. - - - --- 2022-09-27 Aldy Hernandez New
[COMMITTED] Add an irange setter for wide_ints. [COMMITTED] Add an irange setter for wide_ints. - - - --- 2022-09-27 Aldy Hernandez New
[COMMITTED] Optimize [0 = x & MASK] in range-ops. [COMMITTED] Optimize [0 = x & MASK] in range-ops. - - - --- 2022-09-26 Aldy Hernandez New
[COMMITTED] frange: Make the setter taking trees a wrapper. [COMMITTED] frange: Make the setter taking trees a wrapper. - - - --- 2022-09-23 Aldy Hernandez New
[COMMITTED,PR106967] Set known NANs to undefined for flag_finite_math_only. [COMMITTED,PR106967] Set known NANs to undefined for flag_finite_math_only. - - - --- 2022-09-21 Aldy Hernandez New
[COMMITTED,PR106967] frange: revamp relational operators for NANs. [COMMITTED,PR106967] frange: revamp relational operators for NANs. - - - --- 2022-09-21 Aldy Hernandez New
[COMMITTED] frange::maybe_isnan() should return FALSE for undefined ranges. [COMMITTED] frange::maybe_isnan() should return FALSE for undefined ranges. - - - --- 2022-09-20 Aldy Hernandez New
[COMMITTED,PR106970] New test for PR that has already been fixed. [COMMITTED,PR106970] New test for PR that has already been fixed. - - - --- 2022-09-20 Aldy Hernandez New
frange: flush denormals to zero for -funsafe-math-optimizations. frange: flush denormals to zero for -funsafe-math-optimizations. - - - --- 2022-09-17 Aldy Hernandez New
[PR106831] Avoid propagating long doubles that may have multiple representations. [PR106831] Avoid propagating long doubles that may have multiple representations. - - - --- 2022-09-17 Aldy Hernandez New
[COMMITTED] frange: add both zeros to ranges when there's the possiblity of equality. [COMMITTED] frange: add both zeros to ranges when there's the possiblity of equality. - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED] Pass full range to build_* in range-op-float.cc [COMMITTED] Pass full range to build_* in range-op-float.cc - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED] Use frange::set_nan() from the generic frange::set(). [COMMITTED] Use frange::set_nan() from the generic frange::set(). - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED] Provide cleaner set_nan(), clear_nan(), and update_nan() methods. [COMMITTED] Provide cleaner set_nan(), clear_nan(), and update_nan() methods. - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED] Minor fixes to frange. [COMMITTED] Minor fixes to frange. - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED,PR106936] Remove assert from get_value_range. [COMMITTED,PR106936] Remove assert from get_value_range. - - - --- 2022-09-14 Aldy Hernandez New
[COMMITTED] frange::set_signbit: Avoid changing sign when already in the correct sign. [COMMITTED] frange::set_signbit: Avoid changing sign when already in the correct sign. - - - --- 2022-09-12 Aldy Hernandez New
Implement known/maybe fpclassify like API for frange. Implement known/maybe fpclassify like API for frange. - - - --- 2022-09-08 Aldy Hernandez New
[COMMITTED,PR106867] Add test for PR. [COMMITTED,PR106867] Add test for PR. - - - --- 2022-09-07 Aldy Hernandez New
Handle > INF and < INF correctly in range-op-float.cc Handle > INF and < INF correctly in range-op-float.cc - - - --- 2022-09-06 Aldy Hernandez New
[COMMITTED] Do not fold __builtin_signbit if NAN is a possibility. [COMMITTED] Do not fold __builtin_signbit if NAN is a possibility. - - - --- 2022-09-05 Aldy Hernandez New
[COMMITTED,PR,middle-end/106824] Do not ICE when updating a NAN to a non-NAN. [COMMITTED,PR,middle-end/106824] Do not ICE when updating a NAN to a non-NAN. - - - --- 2022-09-05 Aldy Hernandez New
Decimal floats can never be an frange::singleton_p. Decimal floats can never be an frange::singleton_p. - - - --- 2022-09-05 Aldy Hernandez New
Fold __builtin_signbit to nonzero instead of 1. Fold __builtin_signbit to nonzero instead of 1. - - - --- 2022-09-05 Aldy Hernandez New
[COMMITTED] Be even more conservative in intersection of NANs. [COMMITTED] Be even more conservative in intersection of NANs. - - - --- 2022-09-05 Aldy Hernandez New
[COMMITTED] Do not clobber signbit when unioning a NAN. [COMMITTED] Do not clobber signbit when unioning a NAN. - - - --- 2022-09-04 Aldy Hernandez New
[COMMITTED,PR,106819] NANs can never be a singleton [COMMITTED,PR,106819] NANs can never be a singleton - - - --- 2022-09-03 Aldy Hernandez New
Add real_isdenormal. Add real_isdenormal. - - - --- 2022-09-03 Aldy Hernandez New
Convert rest of compiler to dconst[n]inf. Convert rest of compiler to dconst[n]inf. - - - --- 2022-09-01 Aldy Hernandez New
[COMMITTED] Convert ranger uses of real_inf to dconst[n]inf. [COMMITTED] Convert ranger uses of real_inf to dconst[n]inf. - - - --- 2022-09-01 Aldy Hernandez New
Add global REAL_VALUE_TYPE infinities to real.*. Add global REAL_VALUE_TYPE infinities to real.*. - - - --- 2022-09-01 Aldy Hernandez New
[COMMITTED] Implement ranger folder for __builtin_signbit. [COMMITTED] Implement ranger folder for __builtin_signbit. - - - --- 2022-09-01 Aldy Hernandez New
[COMMITTED] Add signbit property to frange to better model signed zeros. [COMMITTED] Add signbit property to frange to better model signed zeros. - - - --- 2022-09-01 Aldy Hernandez New
[COMMITTED] Make frange selftests work on !HONOR_NANS systems. [COMMITTED] Make frange selftests work on !HONOR_NANS systems. - - - --- 2022-09-01 Aldy Hernandez New
[COMMITTED] Stream out endpoints for frange. [COMMITTED] Stream out endpoints for frange. - - - --- 2022-08-31 Aldy Hernandez New
[COMMITTED] Improve union of ranges containing NAN. [COMMITTED] Improve union of ranges containing NAN. - - - --- 2022-08-30 Aldy Hernandez New
[COMMITTED] Force a [NAN, NAN] range when the definite NAN property is set. [COMMITTED] Force a [NAN, NAN] range when the definite NAN property is set. - - - --- 2022-08-30 Aldy Hernandez New
A == 0 ? A : -A same as -A (when A is 0.0) A == 0 ? A : -A same as -A (when A is 0.0) - - - --- 2022-08-29 Aldy Hernandez New
Make all default vrange setters set VARYING. Make all default vrange setters set VARYING. - - - --- 2022-08-26 Aldy Hernandez New
[ranger] x == -0.0 does not mean we can replace x with -0.0 [ranger] x == -0.0 does not mean we can replace x with -0.0 - - - --- 2022-08-26 Aldy Hernandez New
Add support for floating point endpoints to frange. Add support for floating point endpoints to frange. - - - --- 2022-08-23 Aldy Hernandez New
Add set/get functions for negative infinity in real.* Add set/get functions for negative infinity in real.* - - - --- 2022-08-23 Aldy Hernandez New
[COMMITTED] Copy range from op2 in foperator_equal::op1_range. [COMMITTED] Copy range from op2 in foperator_equal::op1_range. - - - --- 2022-08-23 Aldy Hernandez New
Add newline when checking path profitability. Add newline when checking path profitability. - - - --- 2022-08-23 Aldy Hernandez New
Remove path_range_query constructor that takes an edge. Remove path_range_query constructor that takes an edge. - - - --- 2022-08-18 Aldy Hernandez New
Reset root oracle from path_oracle::reset_path. Reset root oracle from path_oracle::reset_path. - - - --- 2022-08-17 Aldy Hernandez New
Make path_range_query standalone and add reset_path. Make path_range_query standalone and add reset_path. - - - --- 2022-08-17 Aldy Hernandez New
Avoid further recomputations in path_range_query once path is finalized. Avoid further recomputations in path_range_query once path is finalized. - - - --- 2022-08-16 Aldy Hernandez New
[COMMITTED] Inline unsupported_range constructor. [COMMITTED] Inline unsupported_range constructor. - - - --- 2022-08-05 Aldy Hernandez New
[COMMITTED] Adjust testsuite/gcc.dg/tree-ssa/vrp-float-1.c [COMMITTED] Adjust testsuite/gcc.dg/tree-ssa/vrp-float-1.c - - - --- 2022-08-02 Aldy Hernandez New
Implement streamer for frange. Implement streamer for frange. - - - --- 2022-08-02 Aldy Hernandez New
Limit ranger query in ipa-prop.cc to integrals. Limit ranger query in ipa-prop.cc to integrals. - - - --- 2022-08-02 Aldy Hernandez New
More frange::set cleanups. More frange::set cleanups. - - - --- 2022-08-02 Aldy Hernandez New
[COMMITTED] Cleanups to frange. [COMMITTED] Cleanups to frange. - - - --- 2022-08-01 Aldy Hernandez New
[COMMITTED] const_tree conversion of vrange::supports_* [COMMITTED] const_tree conversion of vrange::supports_* - - - --- 2022-08-01 Aldy Hernandez New
[COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info. [COMMITTED] Make irange dependency explicit for range_of_ssa_name_with_loop_info. - - - --- 2022-08-01 Aldy Hernandez New
[COMMITTED,106444] Handle non constant ranges in irange pretty printer. [COMMITTED,106444] Handle non constant ranges in irange pretty printer. - - - --- 2022-07-26 Aldy Hernandez New
[RFA] Implement basic range operators to enable floating point VRP. [RFA] Implement basic range operators to enable floating point VRP. - - - --- 2022-07-25 Aldy Hernandez New
Dispatch code for floating point range ops. Dispatch code for floating point range ops. - - - --- 2022-07-25 Aldy Hernandez New
[COMMITTED,PR,middle-end/106432] Gracefully handle unsupported type in range_on_edge [COMMITTED,PR,middle-end/106432] Gracefully handle unsupported type in range_on_edge - - - --- 2022-07-25 Aldy Hernandez New
[COMMITTED] Use nonzero bits in range-ops to determine if < 0 is false. [COMMITTED] Use nonzero bits in range-ops to determine if < 0 is false. - - - --- 2022-07-13 Aldy Hernandez New
[COMMITTED] Clear nonzero mask when inverting ranges. [COMMITTED] Clear nonzero mask when inverting ranges. - - - --- 2022-07-13 Aldy Hernandez New
« 1 2 »