* cfganal.c (keep_with_call_p): Source for fixed_reg dest must

        be a general_operand.  Dest for function value must be a pseudo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@49547 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5aaad73..f9b0744 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2002-02-06  Richard Henderson  <rth@redhat.com>
+
+       * cfganal.c (keep_with_call_p): Source for fixed_reg dest must
+       be a general_operand.  Dest for function value must be a pseudo.
+
 2002-02-06  Nick Clifton  <nickc@cambridge.redhat.com>
 
        * dbxout.c (dbxout_symbol_location): Accept LABEL_REFs as well

diff --git a/gcc/cfganal.c b/gcc/cfganal.c
index 6a10236..17db86e 100644 (file)
--- a/gcc/cfganal.c
+++ b/gcc/cfganal.c
@@ -224,10 +224,13 @@ keep_with_call_p (insn)
   if (INSN_P (insn) && (set = single_set (insn)) != NULL)
     {
       if (GET_CODE (SET_DEST (set)) == REG
-         && fixed_regs[REGNO (SET_DEST (set))])
+         && fixed_regs[REGNO (SET_DEST (set))]
+         && general_operand (SET_SRC (set)))
        return true;
       if (GET_CODE (SET_SRC (set)) == REG
-         && FUNCTION_VALUE_REGNO_P (REGNO (SET_SRC (set))))
+         && FUNCTION_VALUE_REGNO_P (REGNO (SET_SRC (set)))
+         && GET_CODE (SET_DEST (set)) == REG
+         && REGNO (SET_DEST (set)) >= FIRST_PSEUDO_REGISTER)
        return true;
     }
   return false;