From 729a7089845f57ffa7067612f8d5b059149eeae6 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sat, 8 Apr 2000 15:38:38 -0700 Subject: flow.c (mark_used_reg): Use reg_set_p to determine if a register was modified in the current insn. * flow.c (mark_used_reg): Use reg_set_p to determine if a register was modified in the current insn. From-SVN: r33030 --- gcc/flow.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'gcc/flow.c') diff --git a/gcc/flow.c b/gcc/flow.c index ea38623..e900617 100644 --- a/gcc/flow.c +++ b/gcc/flow.c @@ -4520,11 +4520,17 @@ mark_used_reg (pbi, new_live, reg, cond, insn) /* Record and count the insns in which a reg dies. If it is used in this insn and was dead below the insn then it dies in this insn. + If it was set in this insn, we do not make a REG_DEAD note; - likewise if we already made such a note. */ + likewise if we already made such a note. Recall that dead_or_set_p + checks for complete overlap, and thus is not suitable for the first + case. But it does handle the existing note case. Also recall that + reg_set_p, when presented with the complete insn, will try to infer + things about a call_insn that we do not wish. */ if ((pbi->flags & PROP_DEATH_NOTES) && some_was_dead + && ! reg_set_p (reg, PATTERN (insn)) && ! dead_or_set_p (insn, reg)) { int n; -- cgit v1.1