From: Richard Biener <rguenther@suse.de>
Date: Tue, 28 Apr 2020 12:36:54 +0000 (+0200)
Subject: fix regression with MEM commoning
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=df30ab70690d6088f367e74757f0b5dd6a2587e5;p=gcc.git

fix regression with MEM commoning

This fixes a regression when canonicalizing refs for LIM PR84362.
This possibly unshares and rewrites the refs in the internal data
and thus pointer equality no longer works in ref_always_accessed
computation.

2020-04-29  Richard Biener  <rguenther@suse.de>

	* tree-ssa-loop-im.c (ref_always_accessed::operator ()):
	Just check whether the stmt stores.
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b7ec1386740..c4afdb053f7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2020-04-29  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-loop-im.c (ref_always_accessed::operator ()):
+	Just check whether the stmt stores.
+
 2020-04-28  Alexandre Oliva <oliva@adacore.com>
 
 	PR target/94812
diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c
index 273a58038bd..abd5f702b91 100644
--- a/gcc/tree-ssa-loop-im.c
+++ b/gcc/tree-ssa-loop-im.c
@@ -2179,20 +2179,21 @@ ref_always_accessed::operator () (mem_ref_loc *loc)
 {
   class loop *must_exec;
 
-  if (!get_lim_data (loc->stmt))
+  struct lim_aux_data *lim_data = get_lim_data (loc->stmt);
+  if (!lim_data)
     return false;
 
   /* If we require an always executed store make sure the statement
-     stores to the reference.  */
+     is a store.  */
   if (stored_p)
     {
       tree lhs = gimple_get_lhs (loc->stmt);
       if (!lhs
-	  || lhs != *loc->ref)
+	  || !(DECL_P (lhs) || REFERENCE_CLASS_P (lhs)))
 	return false;
     }
 
-  must_exec = get_lim_data (loc->stmt)->always_executed_in;
+  must_exec = lim_data->always_executed_in;
   if (!must_exec)
     return false;