Show patches with: Submitter = Aldy Hernandez       |    State = Action Required       |    Archived = No       |   59 patches
Patch Series rb/tb S/W/F Date Submitter Delegate State
Remove legacy VRP (maybe?) Remove legacy VRP (maybe?) - - --- 2022-11-21 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,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
Use bit-CCP in range-ops. Use bit-CCP in range-ops. - - --- 2022-11-06 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
Rename nonzero_bits to known_zero_bits. Rename nonzero_bits to known_zero_bits. - - --- 2022-10-21 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
Implement range-op entry for __builtin_copysign. Implement range-op entry for __builtin_copysign. - - --- 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
Avoid calling tracer.trailer() twice. Avoid calling tracer.trailer() twice. - - --- 2022-10-10 Aldy Hernandez New
[RFC] Add op1_range for __builtin_signbit. [RFC] Add op1_range for __builtin_signbit. - - --- 2022-10-06 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
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
frange: flush denormals to zero for -funsafe-math-optimizations. frange: flush denormals to zero for -funsafe-math-optimizations. - - --- 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
Implement known/maybe fpclassify like API for frange. Implement known/maybe fpclassify like API for frange. - - --- 2022-09-08 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
Decimal floats can never be an frange::singleton_p. Decimal floats can never be an frange::singleton_p. - - --- 2022-09-05 Aldy Hernandez New
[COMMITTED] Improve union of ranges containing NAN. [COMMITTED] Improve union of ranges containing NAN. - - --- 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
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
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
[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
Implement global ranges for all vrange types (SSA_NAME_RANGE_INFO). Implement global ranges for all vrange types (SSA_NAME_RANGE_INFO). - - --- 2022-07-06 Aldy Hernandez New
[RFC] trailing_wide_ints with runtime variable lengths [RFC] trailing_wide_ints with runtime variable lengths - - --- 2022-06-29 Aldy Hernandez New
Remove legacy EVRP code. Remove legacy EVRP code. - - --- 2022-06-27 Aldy Hernandez New
[5/5] Convert ranger and clients to vrange. [1/5] Implement abstract vrange class. - - --- 2022-05-30 Aldy Hernandez New
[4/5] Revamp irange_allocator to handle vranges. [1/5] Implement abstract vrange class. - - --- 2022-05-30 Aldy Hernandez New
[3/5] Convert range-op.* to vrange. [1/5] Implement abstract vrange class. - - --- 2022-05-30 Aldy Hernandez New
[2/5] Implement generic range temporaries. [1/5] Implement abstract vrange class. - - --- 2022-05-30 Aldy Hernandez New
[1/5] Implement abstract vrange class. [1/5] Implement abstract vrange class. - - --- 2022-05-30 Aldy Hernandez New
Replace EVRP in DOM with ranger. Replace EVRP in DOM with ranger. - - --- 2022-04-28 Aldy Hernandez New
Allow loop crossing paths in back threader copier. Allow loop crossing paths in back threader copier. - - --- 2021-11-30 Aldy Hernandez New
Remove can_throw_non_call_exceptions special case from operator_div::wi_fold. Remove can_throw_non_call_exceptions special case from operator_div::wi_fold. - - --- 2021-11-29 Aldy Hernandez New
path solver: Minimize exported ranges to subsequent blocks. path solver: Minimize exported ranges to subsequent blocks. - - --- 2021-11-27 Aldy Hernandez New
Return NULL for maybe_register_path when unprofitable. Return NULL for maybe_register_path when unprofitable. - - --- 2021-11-09 Aldy Hernandez New
Cleanup back_threader::find_path_to_names. Cleanup back_threader::find_path_to_names. - - --- 2021-11-05 Aldy Hernandez New
Add debug counters to back threader. Add debug counters to back threader. - - --- 2021-11-01 Aldy Hernandez New
Move statics to threader pass class. Move statics to threader pass class. - - --- 2021-11-01 Aldy Hernandez New
Remove VRP threader passes in exchange for better threading pre-VRP. Remove VRP threader passes in exchange for better threading pre-VRP. - - --- 2021-10-28 Aldy Hernandez New
[COMMITTED] Reorder relation calculating code in the path solver. [COMMITTED] Reorder relation calculating code in the path solver. - - --- 2021-10-27 Aldy Hernandez New
[PR,testsuite/102857] Tweak ssa-dom-thread-7.c for aarch64. [PR,testsuite/102857] Tweak ssa-dom-thread-7.c for aarch64. - - --- 2021-10-23 Aldy Hernandez New
Attempt to resolve all incoming paths to a PHI. Attempt to resolve all incoming paths to a PHI. - - --- 2021-10-20 Aldy Hernandez New
Try to resolve paths in threader without looking further back. Try to resolve paths in threader without looking further back. - - --- 2021-10-20 Aldy Hernandez New
[RFC] Remove VRP threader passes in exchange for better threading pre-VRP. [RFC] Remove VRP threader passes in exchange for better threading pre-VRP. - - --- 2021-10-18 Aldy Hernandez New
Convert strlen pass from evrp to ranger. Convert strlen pass from evrp to ranger. - - --- 2021-10-08 Aldy Hernandez New
[RFC] More jump threading restrictions in the presence of loops. [RFC] More jump threading restrictions in the presence of loops. - - --- 2021-10-04 Aldy Hernandez RFC
Handle EQ_EXPR relation for operator_lshift. Handle EQ_EXPR relation for operator_lshift. - - --- 2021-10-01 Aldy Hernandez New
Pass relations down to range_operator::op[12]_range. Pass relations down to range_operator::op[12]_range. - - --- 2021-10-01 Aldy Hernandez New
Control all jump threading passes with -fjump-threads. Control all jump threading passes with -fjump-threads. - - --- 2021-09-27 Aldy Hernandez New
Replace VRP threader with a hybrid forward threader. Replace VRP threader with a hybrid forward threader. - - --- 2021-09-24 Aldy Hernandez New
[2/7] Do not query SCEV in range_of_phi unless dominators are available. Add ability to resolve unknowns to path solver. - - --- 2021-09-21 Aldy Hernandez New