OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

reorg.c (redirect_with_delay_list_safe_p): New function, similar to redirect_with_delay_slots_safe_p.

Browse Source 
* reorg.c (redirect_with_delay_list_safe_p): New function,
        similar to redirect_with_delay_slots_safe_p.
        (fill_slots_from_thread): Do not redirect a jump if doing
        so would invalidate the delay list for the jump.

From-SVN: r7063
This commit is contained in:
Jeff Law 1994-04-18 09:19:57 -06:00
parent 76f8010e84
commit b304ad476c
1 changed files with 39 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
gcc/reorg.c
View File

@ -259,6 +259,8 @@ static rtx fill_slots_from_thread PROTO((rtx, rtx, rtx, rtx, int, int,
static void fill_eager_delay_slots PROTO((rtx)); static void fill_eager_delay_slots PROTO((rtx));
static void relax_delay_slots PROTO((rtx)); static void relax_delay_slots PROTO((rtx));
static void make_return_insns PROTO((rtx)); static void make_return_insns PROTO((rtx));
static int redirect_with_delay_slots_safe_p PROTO ((rtx, rtx, rtx));
static int redirect_with_delay_list_safe_p PROTO ((rtx, rtx, rtx));
/* Given X, some rtl, and RES, a pointer to a `struct resource', mark /* Given X, some rtl, and RES, a pointer to a `struct resource', mark
which resources are references by the insn. If INCLUDE_CALLED_ROUTINE which resources are references by the insn. If INCLUDE_CALLED_ROUTINE
@ -1494,6 +1496,39 @@ redirect_with_delay_slots_safe_p (jump, newlabel, seq)
return (i == XVECLEN (pat, 0)); return (i == XVECLEN (pat, 0));
} }
/* Return non-zero if redirecting JUMP to NEWLABEL does not invalidate
any insns we wish to place in the delay slot of JUMP. */
static int
redirect_with_delay_list_safe_p (jump, newlabel, delay_list)
rtx jump, newlabel, delay_list;
{
int flags, i;
rtx li;
/* Make sure all the insns in DELAY_LIST would still be
valid after threading the jump. If they are still
valid, then return non-zero. */
flags = get_jump_flags (jump, newlabel);
for (li = delay_list, i = 0; li; li = XEXP (li, 1), i++)
if (! (
#ifdef ANNUL_IFFALSE_SLOTS
(INSN_ANNULLED_BRANCH_P (jump)
&& INSN_FROM_TARGET_P (XEXP (li, 0)))
? eligible_for_annul_false (jump, i - 1, XEXP (li, 0), flags) :
#endif
#ifdef ANNUL_IFTRUE_SLOTS
(INSN_ANNULLED_BRANCH_P (jump)
&& ! INSN_FROM_TARGET_P (XEXP (li, 0)))
? eligible_for_annul_true (jump, i - 1, XEXP (li, 0), flags) :
#endif
eligible_for_delay (jump, i - 1, XEXP (li, 0), flags)))
break;
return (li == NULL);
}
/* INSN branches to an insn whose pattern SEQ is a SEQUENCE. Given that /* INSN branches to an insn whose pattern SEQ is a SEQUENCE. Given that
the condition tested by INSN is CONDITION and the resources shown in the condition tested by INSN is CONDITION and the resources shown in
@ -3462,7 +3497,10 @@ fill_slots_from_thread (insn, condition, thread, opposite_thread, likely,
if (new_thread && GET_CODE (new_thread) == JUMP_INSN if (new_thread && GET_CODE (new_thread) == JUMP_INSN
&& (simplejump_p (new_thread) && (simplejump_p (new_thread)
|| GET_CODE (PATTERN (new_thread)) == RETURN)) || GET_CODE (PATTERN (new_thread)) == RETURN)
&& redirect_with_delay_list_safe_p (insn,
JUMP_LABEL (new_thread),
delay_list))
new_thread = follow_jumps (JUMP_LABEL (new_thread)); new_thread = follow_jumps (JUMP_LABEL (new_thread));
if (new_thread == 0) if (new_thread == 0)