From: Jakub Jelinek <jakub@redhat.com>
Date: Sat, 29 Apr 2017 16:17:13 +0000 (+0200)
Subject: re PR rtl-optimization/80491 (Compiler regression for long-add case.)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc36c711daea959554c32389a1b28da682257b38;p=gcc.git

re PR rtl-optimization/80491 (Compiler regression for long-add case.)

	PR rtl-optimization/80491
	* alias.c (memory_modified_in_insn_p): Return true for CALL_INSNs.

From-SVN: r247409
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3e3474701d5..9a9d192d01a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-04-29  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/80491
+	* alias.c (memory_modified_in_insn_p): Return true for CALL_INSNs.
+
 2017-04-29  Marc Glisse  <marc.glisse@inria.fr>
 
 	PR tree-optimization/80487
diff --git a/gcc/alias.c b/gcc/alias.c
index e16e3501522..cff4fac26ed 100644
--- a/gcc/alias.c
+++ b/gcc/alias.c
@@ -3221,6 +3221,10 @@ memory_modified_in_insn_p (const_rtx mem, const_rtx insn)
 {
   if (!INSN_P (insn))
     return false;
+  /* Conservatively assume all non-readonly MEMs might be modified in
+     calls.  */
+  if (CALL_P (insn))
+    return true;
   memory_modified = false;
   note_stores (PATTERN (insn), memory_modified_1, CONST_CAST_RTX(mem));
   return memory_modified;