+2001-07-16 Daniel Berlin <dan@cgsoftware.com>
+ Richard Henderson <rth@redhat.com>
+
+ * cse.c (set_live_p): Take INSN argument for cc0; update callers.
+ (insn_live_p): Fix fall off end of function.
+ (dead_libcall_p): Remove COUNTS argument; update callers.
+ (delete_trivially_dead_insns): Remove unused variables.
+
2001-07-17 Andreas Jaeger <aj@suse.de>
* config/i386/unix.h (ASM_OUTPUT_MI_THUNK): Fix output format for
static void flush_hash_table PARAMS ((void));
static bool insn_live_p PARAMS ((rtx, int *));
-static bool set_live_p PARAMS ((rtx, int *));
-static bool dead_libcall_p PARAMS ((rtx, int *));
+static bool set_live_p PARAMS ((rtx, rtx, int *));
+static bool dead_libcall_p PARAMS ((rtx));
\f
/* Dump the expressions in the equivalence class indicated by CLASSP.
This function is used only for debugging. */
\f
/* Return true if set is live. */
static bool
-set_live_p (set, counts)
+set_live_p (set, insn, counts)
rtx set;
+ rtx insn;
int *counts;
{
#ifdef HAVE_cc0
{
int i;
if (GET_CODE (PATTERN (insn)) == SET)
- return set_live_p (PATTERN (insn), counts);
+ return set_live_p (PATTERN (insn), insn, counts);
else if (GET_CODE (PATTERN (insn)) == PARALLEL)
- for (i = XVECLEN (PATTERN (insn), 0) - 1; i >= 0; i--)
- {
- rtx elt = XVECEXP (PATTERN (insn), 0, i);
+ {
+ for (i = XVECLEN (PATTERN (insn), 0) - 1; i >= 0; i--)
+ {
+ rtx elt = XVECEXP (PATTERN (insn), 0, i);
- if (GET_CODE (elt) == SET)
- {
- if (set_live_p (elt, counts))
- return true;
- }
- else if (GET_CODE (elt) != CLOBBER && GET_CODE (elt) != USE)
- return true;
- }
+ if (GET_CODE (elt) == SET)
+ {
+ if (set_live_p (elt, insn, counts))
+ return true;
+ }
+ else if (GET_CODE (elt) != CLOBBER && GET_CODE (elt) != USE)
+ return true;
+ }
+ return false;
+ }
else
return true;
}
/* Return true if libcall is dead as a whole. */
static bool
-dead_libcall_p (insn, counts)
+dead_libcall_p (insn)
rtx insn;
- int *counts;
{
rtx note;
/* See if there's a REG_EQUAL note on this insn and try to
for (; insn; insn = prev)
{
int live_insn = 0;
- rtx note;
prev = prev_real_insn (insn);
{
in_libcall = 1;
live_insn = 1;
- dead_libcall = dead_libcall_p (insn, counts);
+ dead_libcall = dead_libcall_p (insn);
}
else if (in_libcall)
live_insn = ! dead_libcall;
for (bb = BASIC_BLOCK (i), insn = bb->end; insn != bb->head; insn = prev)
{
int live_insn = 0;
- rtx note;
prev = PREV_INSN (insn);
if (!INSN_P (insn))
{
in_libcall = 1;
live_insn = 1;
- dead_libcall = dead_libcall_p (insn, counts);
+ dead_libcall = dead_libcall_p (insn);
}
else if (in_libcall)
live_insn = ! dead_libcall;