From: John Wehle Date: Sat, 26 Feb 2000 02:58:08 +0000 (+0000) Subject: * rtlanal.c (find_last_value): Allow NULL_RTX for valid_to. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63be01fb1127bf443c86bb6e33c3387a340c2062;p=gcc.git * rtlanal.c (find_last_value): Allow NULL_RTX for valid_to. From-SVN: r32163 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0823934d1d4..9edbc2ac3c9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2000-02-25 John Wehle (john@feith.com) + + * rtlanal.c (find_last_value): Allow NULL_RTX for valid_to. + 2000-02-25 Anthony Green * toplev.c (rest_of_compilation): Rebuild jump labels if diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c index 24ca8d1b530..a1d42a6349e 100644 --- a/gcc/rtlanal.c +++ b/gcc/rtlanal.c @@ -750,11 +750,12 @@ multiple_sets (insn) return 0; } -/* Return the last thing that X was assigned from before *PINSN. Verify that - the object is not modified up to VALID_TO. If it was, if we hit - a partial assignment to X, or hit a CODE_LABEL first, return X. If we - found an assignment, update *PINSN to point to it. - ALLOW_HWREG is set to 1 if hardware registers are allowed to be the src. */ +/* Return the last thing that X was assigned from before *PINSN. If VALID_TO + is not NULL_RTX then verify that the object is not modified up to VALID_TO. + If the object was modified, if we hit a partial assignment to X, or hit a + CODE_LABEL first, return X. If we found an assignment, update *PINSN to + point to it. ALLOW_HWREG is set to 1 if hardware registers are allowed to + be the src. */ rtx find_last_value (x, pinsn, valid_to, allow_hwreg) @@ -779,7 +780,8 @@ find_last_value (x, pinsn, valid_to, allow_hwreg) if (note && GET_CODE (XEXP (note, 0)) != EXPR_LIST) src = XEXP (note, 0); - if (! modified_between_p (src, PREV_INSN (p), valid_to) + if ((valid_to == NULL_RTX + || ! modified_between_p (src, PREV_INSN (p), valid_to)) /* Reject hard registers because we don't usually want to use them; we'd rather use a pseudo. */ && (! (GET_CODE (src) == REG