From 7e53cfb20d78c12a0efa8fce3e8a841b4ce8b808 Mon Sep 17 00:00:00 2001
From: Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Date: Wed, 11 Jun 2003 21:01:19 +0200
Subject: [PATCH] cfgloopanal.c (variable_initial_value): Update the set of
 altered registers correctly.

	* cfgloopanal.c (variable_initial_value): Update the set of altered
	registers correctly.

From-SVN: r67792
---
 gcc/ChangeLog     | 5 +++++
 gcc/cfgloopanal.c | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 20b13512aaff..018bb83a3f5c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-06-11  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>
+
+	* cfgloopanal.c (variable_initial_value): Update the set of altered
+	registers correctly.
+
 2003-06-11  Roger Sayle  <roger@eyesopen.com>
 	    Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
diff --git a/gcc/cfgloopanal.c b/gcc/cfgloopanal.c
index 88eaa2ce3848..af7d8127cf43 100644
--- a/gcc/cfgloopanal.c
+++ b/gcc/cfgloopanal.c
@@ -359,12 +359,12 @@ variable_initial_value (insn, invariant_regs, var, set_insn)
     {
       for (; insn != bb->head; insn = PREV_INSN (insn))
 	{
-	  if (modified_between_p (var, PREV_INSN (insn), NEXT_INSN (insn)))
-	    break;
 	  if (INSN_P (insn))
 	    note_stores (PATTERN (insn),
 		(void (*) PARAMS ((rtx, rtx, void *))) unmark_altered,
 		invariant_regs);
+	  if (modified_between_p (var, PREV_INSN (insn), NEXT_INSN (insn)))
+	    break;
 	}
 
       if (insn != bb->head)
-- 
GitLab