From: Jan Hubicka <jh@suse.cz>
Date: Sat, 21 Nov 2020 20:34:02 +0000 (+0100)
Subject: Use OEP_MATCH_SIDE_EFFECTS in compare_ao_refs
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ddaad23e2f49a91ab59f87f31b01e57439a3d6df;p=gcc.git

Use OEP_MATCH_SIDE_EFFECTS in compare_ao_refs

	* tree-ssa-alias.c (ao_compare::compare_ao_refs,
	ao_compare::hash_ao_ref): Use OEP_MATCH_SIDE_EFFECTS.
---

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 5ebbb087285..311ce66892b 100644
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -3985,11 +3985,12 @@ ao_compare::compare_ao_refs (ao_ref *ref1, ao_ref *ref2,
 	return SEMANTICS;
 
       /* Now we can compare the address of actual memory access.  */
-      if (!operand_equal_p (r1, r2, OEP_ADDRESS_OF))
+      if (!operand_equal_p (r1, r2, OEP_ADDRESS_OF | OEP_MATCH_SIDE_EFFECTS))
 	return SEMANTICS;
     }
   /* For constant accesses we get more matches by comparing offset only.  */
-  else if (!operand_equal_p (base1, base2, OEP_ADDRESS_OF))
+  else if (!operand_equal_p (base1, base2,
+			     OEP_ADDRESS_OF | OEP_MATCH_SIDE_EFFECTS))
     return SEMANTICS;
 
   /* We can't simply use get_object_alignment_1 on the full
@@ -4197,11 +4198,11 @@ ao_compare::hash_ao_ref (ao_ref *ref, bool lto_streaming_safe, bool tbaa,
 	  r = TREE_OPERAND (r, 0);
 	}
       hash_operand (TYPE_SIZE (TREE_TYPE (ref->ref)), hstate, 0);
-      hash_operand (r, hstate, OEP_ADDRESS_OF);
+      hash_operand (r, hstate, OEP_ADDRESS_OF | OEP_MATCH_SIDE_EFFECTS);
     }
   else
     {
-      hash_operand (tbase, hstate, OEP_ADDRESS_OF);
+      hash_operand (tbase, hstate, OEP_ADDRESS_OF | OEP_MATCH_SIDE_EFFECTS);
       hstate.add_poly_int (ref->offset);
       hstate.add_poly_int (ref->size);
       hstate.add_poly_int (ref->max_size);