diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1992-04-04 16:43:53 -0500 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1992-04-04 16:43:53 -0500 |
| commit | e8094962f6d28c1c0aa5765ae5391d92fe184061 (patch) | |
| tree | a8191e81309113e37c9fe9d57151ee6871ce718c | |
| parent | abf977d6a97fd6e55f8bf8949c127a95df2c2784 (diff) | |
| download | gcc-e8094962f6d28c1c0aa5765ae5391d92fe184061.zip gcc-e8094962f6d28c1c0aa5765ae5391d92fe184061.tar.gz gcc-e8094962f6d28c1c0aa5765ae5391d92fe184061.tar.bz2 | |
*** empty log message ***
From-SVN: r686
| -rw-r--r-- | gcc/reload.c | 27 |
1 files changed, 26 insertions, 1 deletions
diff --git a/gcc/reload.c b/gcc/reload.c index 78097ee..f7f1fc3 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -4463,6 +4463,7 @@ find_equiv_reg (goal, insn, class, other, reload_reg_p, goalreg, mode) because it was assumed we would find that equivalent. */ || INSN_UID (p) < reload_first_uid)) { + rtx tem; pat = single_set (p); /* First check for something that sets some reg equal to GOAL. */ if (pat != 0 @@ -4481,7 +4482,31 @@ find_equiv_reg (goal, insn, class, other, reload_reg_p, goalreg, mode) && rtx_renumbered_equal_p (goal, SET_SRC (pat))) || (goal_mem && (valueno = true_regnum (valtry = SET_SRC (pat))) >= 0 - && rtx_renumbered_equal_p (goal, SET_DEST (pat))))) + && rtx_renumbered_equal_p (goal, SET_DEST (pat))) + /* If we are looking for a constant, + and something equivalent to that constant was copied + into a reg, we can use that reg. */ + || (goal_const && (tem = find_reg_note (p, REG_EQUIV, 0)) + && rtx_equal_p (XEXP (tem, 0), goal) + && (valueno = true_regnum (valtry = SET_DEST (pat)))) + || (goal_const && (tem = find_reg_note (p, REG_EQUIV, 0)) + && GET_CODE (SET_DEST (pat)) == REG + && GET_CODE (XEXP (tem, 0)) == CONST_DOUBLE + && GET_MODE_CLASS (GET_MODE (XEXP (tem, 0))) == MODE_FLOAT + && GET_CODE (goal) == CONST_INT + && INTVAL (goal) == CONST_DOUBLE_LOW (XEXP (tem, 0)) + && (valtry = operand_subword (SET_DEST (pat), 0, 0, + VOIDmode)) + && (valueno = true_regnum (valtry))) + || (goal_const && (tem = find_reg_note (p, REG_EQUIV, 0)) + && GET_CODE (SET_DEST (pat)) == REG + && GET_CODE (XEXP (tem, 0)) == CONST_DOUBLE + && GET_MODE_CLASS (GET_MODE (XEXP (tem, 0))) == MODE_FLOAT + && GET_CODE (goal) == CONST_INT + && INTVAL (goal) == CONST_DOUBLE_HIGH (XEXP (tem, 0)) + && (valtry + = operand_subword (SET_DEST (pat), 1, 0, VOIDmode)) + && (valueno = true_regnum (valtry))))) if (other >= 0 ? valueno == other : ((unsigned) valueno < FIRST_PSEUDO_REGISTER |