Re: [PATCH 3/3] tree-optimization/108385 - Add op2_range to pointer_plus.

[Richard Biener <richard.guenther@gmail.com>]

On Mon, Jan 30, 2023 at 8:47 PM Andrew MacLeod via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> Implement op2_range for pointer_plus to determine the offset (operand 2)
> is zero or non-zero based on equality/inequality between the LHS and op1.
>
> Fairly trivial fix for the PR, dependent on the first patch in the set
> as it uses an accurate relation_trio in GORI to determine if LHS == OP1.
>
>
> There was one tweak to GORI in that we use to stop calculating when the
> LHS was varying.  THis PR also exposed a case where the LHS is varying,
> but a relation between the operands can still cause us to find a useful
> result...  ie
>
> VARYING = VARYING + OFFSET when LHS and OP1 are equal can produce a
> non-zero OFFSET calculation.
>
> Bootstraps on x86_64-pc-linux-gnu with no regressions. OK for trunk?

OK for the series.

Thanks,
Richard.

>
> Andrew
>