mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-31 00:05:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

flow.c (libcall_dead_p): Use single_set to verify the insn has only one set and get for analysis.

Browse Source 
* flow.c (libcall_dead_p): Use single_set to verify the insn
	has only one set and get for analysis.
	(propagate_one_insn): Don't pass the PATTERN of the insn.

From-SVN: r35091
This commit is contained in:
Stephane Carrez 2000-07-17 12:16:18 +02:00 committed by Jeff Law
parent bf4ddb3165
commit 01fbc97d6c
2 changed files with 18 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2000-07-17 Stephane Carrez <Stephane.Carrez@worldnet.fr>
* flow.c (libcall_dead_p): Use single_set to verify the insn
has only one set and get for analysis.
(propagate_one_insn): Don't pass the PATTERN of the insn.
2000-07-17 Mark Klein <mklein@dis.com>
* pa.c (emit_hpdiv_const): Update to match new pattern for udivsi3.

25
gcc/flow.c
View File

@ -354,7 +354,7 @@ static rtx propagate_block_delete_libcall PARAMS ((basic_block, rtx, rtx));
static int insn_dead_p PARAMS ((struct propagate_block_info *,
rtx, int, rtx));
static int libcall_dead_p PARAMS ((struct propagate_block_info *,
rtx, rtx, rtx));
rtx, rtx));
static void mark_set_regs PARAMS ((struct propagate_block_info *,
rtx, rtx));
static void mark_set_1 PARAMS ((struct propagate_block_info *,
@ -3417,8 +3417,7 @@ propagate_one_insn (pbi, insn)
insn_is_dead = insn_dead_p (pbi, PATTERN (insn), 0,
REG_NOTES (insn));
libcall_is_dead = (insn_is_dead && note != 0
&& libcall_dead_p (pbi, PATTERN (insn),
note, insn));
&& libcall_dead_p (pbi, note, insn));
}
/* We almost certainly don't want to delete prologue or epilogue
@ -4000,30 +3999,30 @@ insn_dead_p (pbi, x, call_ok, notes)
return 0;
}
/* If X is the pattern of the last insn in a libcall, and assuming X is dead,
/* If INSN is the last insn in a libcall, and assuming INSN is dead,
return 1 if the entire library call is dead.
This is true if X copies a register (hard or pseudo)
and if the hard return reg of the call insn is dead.
(The caller should have tested the destination of X already for death.)
This is true if INSN copies a register (hard or pseudo)
and if the hard return reg of the call insn is dead.
(The caller should have tested the destination of the SET inside
INSN already for death.)
If this insn doesn't just copy a register, then we don't
have an ordinary libcall. In that case, cse could not have
managed to substitute the source for the dest later on,
so we can assume the libcall is dead.
NEEDED is the bit vector of pseudoregs live before this insn.
NOTE is the REG_RETVAL note of the insn. INSN is the insn itself. */
PBI is the block info giving pseudoregs live before this insn.
NOTE is the REG_RETVAL note of the insn. */
static int
libcall_dead_p (pbi, x, note, insn)
libcall_dead_p (pbi, note, insn)
struct propagate_block_info *pbi;
rtx x;
rtx note;
rtx insn;
{
register RTX_CODE code = GET_CODE (x);
rtx x = single_set (insn);
if (code == SET)
if (x)
{
register rtx r = SET_SRC (x);
if (GET_CODE (r) == REG)