Show patches with: Submitter = Aldy Hernandez       |    State = Action Required       |    Archived = No       |   1228 patches
« 1 2 3 412 13 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] Replace finite_operands_p with maybe_isnan. [COMMITTED] Replace finite_operands_p with maybe_isnan. - - - - --- 2022-10-20 Aldy Hernandez New
[COMMITTED] Always check result from build_<COND> in range-op-float.cc [COMMITTED] Always check result from build_<COND> in range-op-float.cc - - - - --- 2022-10-19 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107312] Make range_true_and_false work with 1-bit signed types. [COMMITTED,PR,tree-optimization/107312] Make range_true_and_false work with 1-bit signed types. - - - - --- 2022-10-19 Aldy Hernandez New
[COMMITTED] Make sure exported range for SSA post-dominates the DEF in set_global_ranges_from_unrea… [COMMITTED] Make sure exported range for SSA post-dominates the DEF in set_global_ranges_from_unrea… - - - - --- 2022-10-17 Aldy Hernandez New
[COMMITTED,PR10582] Add test. [COMMITTED,PR10582] Add test. - - - - --- 2022-10-17 Aldy Hernandez New
[COMMITTED] Do not test for -Inf when flag_finite_math_only. [COMMITTED] Do not test for -Inf when flag_finite_math_only. - - - - --- 2022-10-17 Aldy Hernandez New
Implement range-op entry for __builtin_copysign. Implement range-op entry for __builtin_copysign. - - - - --- 2022-10-14 Aldy Hernandez New
Check rvc_normal in real_isdenormal. Check rvc_normal in real_isdenormal. - - - - --- 2022-10-14 Aldy Hernandez New
[COMMITTED] Replace CFN_BUILTIN_SIGNBIT* cases with CASE_FLT_FN. [COMMITTED] Replace CFN_BUILTIN_SIGNBIT* cases with CASE_FLT_FN. - - - - --- 2022-10-14 Aldy Hernandez New
[COMMITTED] Normalize ranges over the range for both bounds when -ffinite-math-only. [COMMITTED] Normalize ranges over the range for both bounds when -ffinite-math-only. - - - - --- 2022-10-14 Aldy Hernandez New
[COMMITTED] Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS. [COMMITTED] Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS. - - - - --- 2022-10-14 Aldy Hernandez New
[COMMITTED] Add cases for CFN_BUILT_IN_SIGNBIT[FL]. [COMMITTED] Add cases for CFN_BUILT_IN_SIGNBIT[FL]. - - - - --- 2022-10-14 Aldy Hernandez New
[PR24021] Implement PLUS_EXPR range-op entry for floats. [PR24021] Implement PLUS_EXPR range-op entry for floats. - - - - --- 2022-10-13 Aldy Hernandez New
[COMMITTED] Add op1_op2_relation for float operands. [COMMITTED] Add op1_op2_relation for float operands. - - - - --- 2022-10-13 Aldy Hernandez New
[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. - - - - --- 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 method to query the sign of a NAN. - - - - --- 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
Avoid calling tracer.trailer() twice. Avoid calling tracer.trailer() twice. - - - - --- 2022-10-10 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
[RFC] Add op1_range for __builtin_signbit. [RFC] Add op1_range for __builtin_signbit. - - - - --- 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
[PR107009] Set ranges from unreachable edges for all known ranges. [PR107009] Set ranges from unreachable edges for all known ranges. - - - - --- 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
frange: drop endpoints to min/max representable numbers for -ffinite-math-only. frange: drop endpoints to min/max representable numbers for -ffinite-math-only. - - - - --- 2022-09-22 Aldy Hernandez New
frange: dump hex values when dumping FP numbers. frange: dump hex values when dumping FP numbers. - - - - --- 2022-09-22 Aldy Hernandez New
Add debug functions for REAL_VALUE_TYPE. Add debug functions for REAL_VALUE_TYPE. - - - - --- 2022-09-22 Aldy Hernandez New
TYPE_{MIN/MAX}_VALUE for floats? TYPE_{MIN/MAX}_VALUE for floats? - - - - --- 2022-09-22 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
[PR68097] frange::set_nonnegative should not contain -NAN. [PR68097] frange::set_nonnegative should not contain -NAN. - - - - --- 2022-09-19 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
Rewrite NAN and sign handling in frange Rewrite NAN and sign handling in frange - - - - --- 2022-09-15 Aldy Hernandez New
[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] frange: add both zeros to ranges when there's the possiblity of equality. - - - - --- 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
« 1 2 3 412 13 »