Re: [PATCH] PR tree-optimization/95801 - infer non-zero for integral division RHS.

2025-04-29 Thread Richard Biener
On Wed, Apr 30, 2025 at 12:00 AM Andrew MacLeod wrote: > > > On 4/28/25 17:26, Andrew MacLeod wrote: > > I have committed this patch to trunk after bootstrap/regression > > testing again on trunk. > > > > I'll get to gcc14/15 once I flush the current queue. > > > > Andrew > > > > On 1/23/25 04:39,

Re: [PATCH] PR tree-optimization/95801 - infer non-zero for integral division RHS.

2025-04-29 Thread Andrew MacLeod
On 4/28/25 17:26, Andrew MacLeod wrote: I have committed this patch to trunk after bootstrap/regression testing again on trunk. I'll get to gcc14/15 once I flush the current queue. Andrew On 1/23/25 04:39, Richard Biener wrote: On Wed, Jan 22, 2025 at 12:49 AM Andrew MacLeod wrote: This p

Re: [PATCH] PR tree-optimization/95801 - infer non-zero for integral division RHS.

2025-04-28 Thread Andrew MacLeod
I have committed this patch to trunk after bootstrap/regression testing again on trunk. I'll get to gcc14/15 once I flush the current queue. Andrew On 1/23/25 04:39, Richard Biener wrote: On Wed, Jan 22, 2025 at 12:49 AM Andrew MacLeod wrote: This patch simply adds an op2_range to operator_

Re: [PATCH] PR tree-optimization/95801 - infer non-zero for integral division RHS.

2025-01-23 Thread Richard Biener
On Wed, Jan 22, 2025 at 12:49 AM Andrew MacLeod wrote: > > This patch simply adds an op2_range to operator_div which returns > non-zero if the LHS is not undefined. This means given and integral > division: > > x = y / z > > 'z' will have a range of [-INF, -1] [1, +INF] after execution

[PATCH] PR tree-optimization/95801 - infer non-zero for integral division RHS.

2025-01-21 Thread Andrew MacLeod
This patch simply adds an op2_range to operator_div which returns non-zero if the LHS is not undefined.  This means given and integral division:        x = y / z 'z' will have a range of   [-INF, -1] [1, +INF]  after execution of the statement. This is relatively straightforward and resolve