Re: [PATCH] range-op-float: Further foperator_{,not_}equal::fold_range fix

2023-03-31 Thread Aldy Hernandez via Gcc-patches
On 3/31/23 12:57, Jakub Jelinek wrote: On Fri, Mar 31, 2023 at 12:45:10PM +0200, Jakub Jelinek via Gcc-patches wrote: - there is a missing case (not handled in this patch) where both operands are known to be zeros, but not singleton zeros This patch adds those cases. Ok for trunk

[PATCH] range-op-float: Further foperator_{,not_}equal::fold_range fix

2023-03-31 Thread Jakub Jelinek via Gcc-patches
On Fri, Mar 31, 2023 at 12:45:10PM +0200, Jakub Jelinek via Gcc-patches wrote: >- there is a missing case (not handled in this patch) where both operands > are known to be zeros, but not singleton zeros This patch adds those cases. Ok for trunk if it passes bootstrap/regtest? 2023-03-31