recog.c (validate_replace_rtx): Replace in operands of ZERO_EXTRACT in SET_DEST.

	* recog.c (validate_replace_rtx): Replace in operands of
	ZERO_EXTRACT in SET_DEST.

From-SVN: r39773

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ec4bd1faa5acb9db23f7491bc214a8cd61e69897..44b5be5ce176cc72ffe3c10fbe7c37f15f55197c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -8,6 +8,9 @@
 
 Fri Feb 16 12:41:30 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+       * recog.c (validate_replace_rtx): Replace in operands of
+       ZERO_EXTRACT in SET_DEST.
+
        * cse.c (new_label_ref): New variable.
        (insert): Set it instead of recorded_label_ref.
        (cse_basic_block): Set recorded_label_ref if new_label_ref use, has

diff --git a/gcc/recog.c b/gcc/recog.c
index 4dab907c84891fd48f682108c0ddc244ae323e94..f778f60c509d3b88bf35cc637d204be2d9c78d88 100644 (file)
--- a/gcc/recog.c
+++ b/gcc/recog.c
@@ -732,8 +732,7 @@ validate_replace_rtx (from, to, insn)
   return apply_change_group ();
 }
 
-/* Try replacing every occurrence of FROM in INSN with TO.  After all
-   changes have been made, validate by seeing if INSN is still valid.  */
+/* Try replacing every occurrence of FROM in INSN with TO.  */
 
 void
 validate_replace_rtx_group (from, to, insn)
@@ -758,6 +757,14 @@ validate_replace_src (from, to, insn)
   if (GET_CODE (SET_DEST (PATTERN (insn))) == MEM)
     validate_replace_rtx_1 (&XEXP (SET_DEST (PATTERN (insn)), 0),
                            from, to, insn);
+  else if (GET_CODE (SET_DEST (PATTERN (insn))) == ZERO_EXTRACT)
+    {
+      validate_replace_rtx_1 (&XEXP (SET_DEST (PATTERN (insn)), 1),
+                             from, to, insn);
+      validate_replace_rtx_1 (&XEXP (SET_DEST (PATTERN (insn)), 2),
+                             from, to, insn);
+    }
+
   return apply_change_group ();
 }
 \f