From: J"orn Rennecke <amylaar@cygnus.co.uk>
Date: Wed, 14 Oct 1998 20:50:40 +0000 (-0600)
Subject: combine.c (combine_instructions): When finished, call init_recog.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=972b320cbff8d131530594aa61aee913d302becc;p=gcc.git

combine.c (combine_instructions): When finished, call init_recog.

8
	* combine.c (combine_instructions): When finished, call init_recog.
	* regmove.c (optimize_reg_copy_3): Reject volatile MEMs.

From-SVN: r23094
---

diff --git a/gcc/combine.c b/gcc/combine.c
index 619c897f811..f355abc0600 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -674,6 +674,9 @@ combine_instructions (f, nregs)
   total_successes += combine_successes;
 
   nonzero_sign_valid = 0;
+
+  /* Make recognizer allow volatile MEMs again.  */
+  init_recog ();
 }
 
 /* Wipe the reg_last_xxx arrays in preparation for another pass.  */
diff --git a/gcc/regmove.c b/gcc/regmove.c
index 35ddf12d6f3..55dd3f352c3 100644
--- a/gcc/regmove.c
+++ b/gcc/regmove.c
@@ -553,6 +553,11 @@ optimize_reg_copy_3 (insn, dest, src)
       || SET_DEST (set) != src_reg)
     return;
 
+  /* Be conserative: although this optimization is also valid for
+     volatile memory references, that could cause trouble in later passes.  */
+  if (MEM_VOLATILE_P (SET_SRC (set)))
+    return;
+
   /* Do not use a SUBREG to truncate from one mode to another if truncation
      is not a nop.  */
   if (GET_MODE_BITSIZE (GET_MODE (src_reg)) <= GET_MODE_BITSIZE (GET_MODE (src))