Show patches with: Submitter = Aldy Hernandez       |    State = Action Required       |   1166 patches
« 1 2 3 411 12 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[PR107608,range-ops] Avoid folding into INF when flag_trapping_math. [PR107608,range-ops] Avoid folding into INF when flag_trapping_math. - 1 - - --- 2023-01-15 Aldy Hernandez New
[PR107608,range-ops] Avoid folding into INF when flag_trapping_math. [PR107608,range-ops] Avoid folding into INF when flag_trapping_math. - 1 - - --- 2023-01-15 Aldy Hernandez New
Remove use_equiv_p in vr-values.cc Remove use_equiv_p in vr-values.cc - - - - --- 2022-11-22 Aldy Hernandez New
Remove follow_assert_exprs from overflow_comparison. Remove follow_assert_exprs from overflow_comparison. - - - - --- 2022-11-22 Aldy Hernandez New
Remove ASSERT_EXPR. Remove ASSERT_EXPR. - - - - --- 2022-11-22 Aldy Hernandez New
Remove legacy VRP (maybe?) Remove legacy VRP (maybe?) - - - - --- 2022-11-21 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107732,range-ops] Handle attempt to abs() negatives. [COMMITTED,PR,tree-optimization/107732,range-ops] Handle attempt to abs() negatives. - - - - --- 2022-11-17 Aldy Hernandez New
[range-ops] Minor readability fix. [range-ops] Minor readability fix. - - - - --- 2022-11-15 Aldy Hernandez New
[range-ops] Implement sqrt. [range-ops] Implement sqrt. - - - - --- 2022-11-13 Aldy Hernandez New
[PR68097] Try to avoid recursing for floats in tree_*_nonnegative_warnv_p. [PR68097] Try to avoid recursing for floats in tree_*_nonnegative_warnv_p. - - - - --- 2022-11-12 Aldy Hernandez New
[COMMITTED,frange] Avoid testing signed zero test for -fno-signed-zeros. [COMMITTED,frange] Avoid testing signed zero test for -fno-signed-zeros. - - - - --- 2022-11-12 Aldy Hernandez New
[range-ops] Add ability to represent open intervals in frange. [range-ops] Add ability to represent open intervals in frange. - - - - --- 2022-11-11 Aldy Hernandez New
[COMMITTED,range-ops] Remove specialized fold_range methods for various operators. [COMMITTED,range-ops] Remove specialized fold_range methods for various operators. - - - - --- 2022-11-11 Aldy Hernandez New
[COMMITTED,range-ops] Avoid unnecessary intersection in update_known_bitmask. [COMMITTED,range-ops] Avoid unnecessary intersection in update_known_bitmask. - - - - --- 2022-11-11 Aldy Hernandez New
[COMMITTED,range-ops] Update known bitmasks using CCP for all operators. - - - - --- 2022-11-11 Aldy Hernandez New
[COMMITTED,range-ops] Use existing tree code for *DIV_EXPR entries. [COMMITTED,range-ops] Use existing tree code for *DIV_EXPR entries. - - - - --- 2022-11-11 Aldy Hernandez New
[COMMITTED,range-ops] Add tree code to range_operator. [COMMITTED,range-ops] Add tree code to range_operator. - - - - --- 2022-11-11 Aldy Hernandez New
Do not specify NAN sign in frange::set_nonnegative. Do not specify NAN sign in frange::set_nonnegative. - - - - --- 2022-11-10 Aldy Hernandez New
[COMMITTED] Clear NAN when reading back a global range if necessary. [COMMITTED] Clear NAN when reading back a global range if necessary. - - - - --- 2022-11-09 Aldy Hernandez New
[COMMITTED] Implement op[12]_range operators for PLUS_EXPR and MINUS_EXPR. [COMMITTED] Implement op[12]_range operators for PLUS_EXPR and MINUS_EXPR. - - - - --- 2022-11-09 Aldy Hernandez New
[COMMITTED,range-op-float] Implement MINUS_EXPR. [COMMITTED,range-op-float] Implement MINUS_EXPR. - - - - --- 2022-11-09 Aldy Hernandez New
[COMMITTED,range-op-float] Abstract out binary operator code out of PLUS_EXPR entry. [COMMITTED,range-op-float] Abstract out binary operator code out of PLUS_EXPR entry. - - - - --- 2022-11-09 Aldy Hernandez New
CCP: handle division by a power of 2 as a right shift. CCP: handle division by a power of 2 as a right shift. - - - - --- 2022-11-08 Aldy Hernandez New
[COMMITTED] Improve multiplication by powers of 2 in range-ops. [COMMITTED] Improve multiplication by powers of 2 in range-ops. - - - - --- 2022-11-07 Aldy Hernandez New
[COMMITTED,range-op] Restrict division by power of 2 optimization to positive numbers. [COMMITTED,range-op] Restrict division by power of 2 optimization to positive numbers. - - - - --- 2022-11-07 Aldy Hernandez New
Use bit-CCP in range-ops. Use bit-CCP in range-ops. - - - - --- 2022-11-06 Aldy Hernandez New
[COMMITTED] Set nonzero bits for multiplication and divisions by a power of 2. [COMMITTED] Set nonzero bits for multiplication and divisions by a power of 2. - - - - --- 2022-11-04 Aldy Hernandez New
[COMMITTED,PR,tree-optimization/107490] Handle NANs in op[12]_range. [COMMITTED,PR,tree-optimization/107490] Handle NANs in op[12]_range. - - - - --- 2022-11-01 Aldy Hernandez New
[PR,tree-optimization/107394] Canonicalize global franges as they are read back. [PR,tree-optimization/107394] Canonicalize global franges as they are read back. - - - - --- 2022-10-25 Aldy Hernandez New
Convert flag_finite_math_only uses in frange to HONOR_*. Convert flag_finite_math_only uses in frange to HONOR_*. - - - - --- 2022-10-25 Aldy Hernandez New
[PR,tree-optimization/107355] Handle NANs in abs range-op entry. [PR,tree-optimization/107355] Handle NANs in abs range-op entry. - - - - --- 2022-10-24 Aldy Hernandez New
[PR,tree-optimization/107365] Check HONOR_NANS instead of flag_finite_math_only in frange:verify_ra… [PR,tree-optimization/107365] Check HONOR_NANS instead of flag_finite_math_only in frange:verify_ra… - - - - --- 2022-10-23 Aldy Hernandez New
[COMMITTED] Update selftest such that [-Inf, +Inf] is always VARYING for -ffinite-math-only. [COMMITTED] Update selftest such that [-Inf, +Inf] is always VARYING for -ffinite-math-only. - - - - --- 2022-10-22 Aldy Hernandez New
Rename nonzero_bits to known_zero_bits. Rename nonzero_bits to known_zero_bits. - - - - --- 2022-10-21 Aldy Hernandez New
[COMMITTED,PR,c++/106654] Handle non-irange ranges in get_range_global for default defs. [COMMITTED,PR,c++/106654] Handle non-irange ranges in get_range_global for default defs. - - - - --- 2022-10-20 Aldy Hernandez New
[COMMITTED] Add op[12]_range for UNORDERED_LT entries in range-op. [COMMITTED] Add op[12]_range for UNORDERED_LT entries in range-op. - - - - --- 2022-10-20 Aldy Hernandez New
[COMMITTED] A false UNORDERED_<cond> means neither operand can be a NAN. [COMMITTED] A false UNORDERED_<cond> means neither operand can be a NAN. - - - - --- 2022-10-20 Aldy Hernandez New
[COMMITTED] Do not set NAN flags for VARYING ranges when !HONOR_NANS. [COMMITTED] Do not set NAN flags for VARYING ranges when !HONOR_NANS. - - - - --- 2022-10-20 Aldy Hernandez New
[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
« 1 2 3 411 12 »