From 729a7089845f57ffa7067612f8d5b059149eeae6 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sat, 8 Apr 2000 15:38:38 -0700 Subject: [PATCH] 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/ChangeLog | 5 +++++ gcc/flow.c | 8 +++++++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 87194541bed..97c0cfa819f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2000-04-08 Richard Henderson + + * flow.c (mark_used_reg): Use reg_set_p to determine if a register + was modified in the current insn. + 2000-04-08 Richard Earnshaw (rearnsha@arm.com) * arm/thumb.md: Delete. diff --git a/gcc/flow.c b/gcc/flow.c index ea386232ea7..e900617c9b2 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; -- 2.30.2