Revert maybe_ne -> known_ne change in vn_reference_lookup_3

This reverts the change as discussed.

2022-07-01  Richard Biener  <rguenther@suse.de>

	* tree-ssa-sccvn.cc (vn_reference_lookup_3): Revert
	back to using maybe_ne (off, -1).

diff --git a/gcc/tree-ssa-sccvn.cc b/gcc/tree-ssa-sccvn.cc
index c40c45ed8401e1fd7f8dce4be0c33440b103d203..f41d50313651e03a57647900006783d1328ea1e1 100644 (file)
--- 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--;