mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-24 04:38:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

jump.c (delete_prior_computation): Also check calls to constant functions.

Browse Source 
* jump.c (delete_prior_computation): Also check calls
        to constant functions.  Don't bother checking for a
        REG_UNUSED note before adding it.
        (delete_computation): Handle multi-word hard registers
        when synthesizing missing REG_DEAD notes for a register
        which is both set and used by an insn.

From-SVN: r28962
This commit is contained in:
John Wehle 1999-08-29 10:31:20 +00:00 committed by Jeff Law
parent 3c748bb6de
commit 6f1661e525
2 changed files with 43 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
Sun Aug 29 04:30:52 1999 John Wehle (john@feith.com)
* jump.c (delete_prior_computation): Also check calls
to constant functions. Don't bother checking for a
REG_UNUSED note before adding it.
(delete_computation): Handle multi-word hard registers
when synthesizing missing REG_DEAD notes for a register
which is both set and used by an insn.
1999-08-29 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
* loop.c (this_loop_info): New variable.

51
gcc/jump.c
View File

@ -3892,11 +3892,19 @@ delete_prior_computation (note, insn)
rtx reg = XEXP (note, 0);
for (our_prev = prev_nonnote_insn (insn);
our_prev && GET_CODE (our_prev) == INSN;
our_prev && (GET_CODE (our_prev) == INSN
|| GET_CODE (our_prev) == CALL_INSN);
our_prev = prev_nonnote_insn (our_prev))
{
rtx pat = PATTERN (our_prev);
/* If we reach a CALL which is not calling a const function
or the callee pops the arguments, then give up. */
if (GET_CODE (our_prev) == CALL_INSN
&& (! CONST_CALL_P (our_prev)
|| GET_CODE (pat) != SET || GET_CODE (SET_SRC (pat)) != CALL))
break;
/* If we reach a SEQUENCE, it is too complex to try to
do anything with it, so give up. */
if (GET_CODE (pat) == SEQUENCE)
@ -3910,7 +3918,7 @@ delete_prior_computation (note, insn)
if (reg_set_p (reg, pat))
{
if (side_effects_p (pat))
if (side_effects_p (pat) && GET_CODE (our_prev) != CALL_INSN)
break;
if (GET_CODE (pat) == PARALLEL)
@ -3953,8 +3961,7 @@ delete_prior_computation (note, insn)
insns. Write REG_UNUSED notes for those parts that were not
needed. */
else if (dest_regno <= regno
&& dest_endregno >= endregno
&& ! find_regno_note (our_prev, REG_UNUSED, REGNO(reg)))
&& dest_endregno >= endregno)
{
int i;
@ -4040,7 +4047,30 @@ delete_computation (insn)
}
#endif
/* The REG_DEAD note may have been omitted for a register
which is both set and used by the insn. */
set = single_set (insn);
if (set && GET_CODE (SET_DEST (set)) == REG)
{
int dest_regno = REGNO (SET_DEST (set));
int dest_endregno
= dest_regno + (dest_regno < FIRST_PSEUDO_REGISTER
? HARD_REGNO_NREGS (dest_regno,
GET_MODE (SET_DEST (set))) : 1);
int i;
for (i = dest_regno; i < dest_endregno; i++)
{
if (! refers_to_regno_p (i, i + 1, SET_SRC (set), NULL_PTR)
|| find_regno_note (insn, REG_DEAD, i))
continue;
note = gen_rtx_EXPR_LIST (REG_DEAD, (i < FIRST_PSEUDO_REGISTER
? gen_rtx_REG (reg_raw_mode[i], i)
: SET_DEST (set)), NULL_RTX);
delete_prior_computation (note, insn);
}
}
for (note = REG_NOTES (insn); note; note = next)
{
@ -4051,19 +4081,6 @@ delete_computation (insn)
|| GET_CODE (XEXP (note, 0)) != REG)
continue;
if (set && reg_overlap_mentioned_p (SET_DEST (set), XEXP (note, 0)))
set = NULL_RTX;
delete_prior_computation (note, insn);
}
/* The REG_DEAD note may have been omitted for a register
which is both set and used by the insn. */
if (set
&& GET_CODE (SET_DEST (set)) == REG
&& reg_mentioned_p (SET_DEST (set), SET_SRC (set)))
{
note = gen_rtx_EXPR_LIST (REG_DEAD, SET_DEST (set), NULL_RTX);
delete_prior_computation (note, insn);
}