reload.c (find_dummy_reload): Check that an output register is valid for its mode.

	* reload.c (find_dummy_reload): Check that an output register
	is valid for its mode.

From-SVN: r49787

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 82649c55d7018f682194eb7f080df0e6f698f8ca..5607a0b298b97da9ab26737b2104039b0a837efb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2002-02-15  Richard Sandiford  <rsandifo@redhat.com>
+
+       * reload.c (find_dummy_reload): Check that an output register
+       is valid for its mode.
+
 2002-02-14  Alexandre Oliva  <aoliva@redhat.com>
 
        * combine.c (known_cond): After replacing the REG of a SUBREG, try

diff --git a/gcc/reload.c b/gcc/reload.c
index 9b8cdc950205e61e9a478c61046773157eb920f1..97db874acb35dea6894c57cc72f8b47abe85e792 100644 (file)
--- a/gcc/reload.c
+++ b/gcc/reload.c
@@ -1879,6 +1879,7 @@ find_dummy_reload (real_in, real_out, inloc, outloc,
       *inloc = const0_rtx;
 
       if (regno < FIRST_PSEUDO_REGISTER
+         && HARD_REGNO_MODE_OK (regno, outmode)
          && ! refers_to_regno_for_reload_p (regno, regno + nwords,
                                             PATTERN (this_insn), outloc))
        {