Re: [PATCH 2/2] Revert maybe_ne -> known_ne change in vn_reference_lookup_3

[Richard Sandiford <richard.sandiford@arm.com>]

Richard Biener via Gcc-patches <gcc-patches@gcc.gnu.org> writes:
> This reverts the change as discussed.

Thanks!

> Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
>
> 2022-07-01  Richard Biener  <rguenther@suse.de>
>
> 	* tree-ssa-sccvn.cc (vn_reference_lookup_3): Revert
> 	back to using maybe_ne (off, -1).
> ---
>  gcc/tree-ssa-sccvn.cc | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gcc/tree-ssa-sccvn.cc b/gcc/tree-ssa-sccvn.cc
> index c40c45ed840..f41d5031365 100644
> --- a/gcc/tree-ssa-sccvn.cc
> +++ b/gcc/tree-ssa-sccvn.cc
> @@ -3243,12 +3243,12 @@ vn_reference_lookup_3 (ao_ref *ref, tree vuse, void *data_,
>        poly_int64 extra_off = 0;
>        if (j == 0 && i >= 0
>  	  && lhs_ops[0].opcode == MEM_REF
> -	  && known_ne (lhs_ops[0].off, -1))
> +	  && maybe_ne (lhs_ops[0].off, -1))
>  	{
>  	  if (known_eq (lhs_ops[0].off, vr->operands[i].off))
>  	    i--, j--;
>  	  else if (vr->operands[i].opcode == MEM_REF
> -		   && known_ne (vr->operands[i].off, -1))
> +		   && maybe_ne (vr->operands[i].off, -1))
>  	    {
>  	      extra_off = vr->operands[i].off - lhs_ops[0].off;
>  	      i--, j--;