From: Jeff Law <law@gcc.gnu.org>
Date: Tue, 18 May 2004 02:55:41 +0000 (-0600)
Subject: Forgot to commit.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=85b87c94afe309afc7be3fa3e5ad6e303affe2ea;p=gcc.git

Forgot to commit.

From-SVN: r81969
---

diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index ca9f0cce81a..e544992251c 100644
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -272,11 +272,16 @@ cprop_into_stmt (tree stmt, varray_type const_and_copies)
 /* CONST_AND_COPIES is a table which maps an SSA_NAME to the current
    known value for that SSA_NAME (or NULL if no value is known).  
 
-   Propagate values from CONST_AND_COPIES into the PHI nodes of the
-   successors of BB.  */
+   NONZERO_VARS is the set SSA_NAMES known to have a nonzero value,
+   even if we don't know their precise value.
+
+   Propagate values from CONST_AND_COPIES and NONZERO_VARS into the PHI
+   nodes of the successors of BB.  */
 
 void
-cprop_into_successor_phis (basic_block bb, varray_type const_and_copies)
+cprop_into_successor_phis (basic_block bb,
+			   varray_type const_and_copies,
+			   bitmap nonzero_vars)
 {
   edge e;
 
@@ -342,6 +347,11 @@ cprop_into_successor_phis (basic_block bb, varray_type const_and_copies)
 	  if (TREE_CODE (*orig_p) != SSA_NAME)
 	    continue;
 
+	  /* If the alternative is known to have a nonzero value, record
+	     that fact in the PHI node itself for future use.  */
+	  if (bitmap_bit_p (nonzero_vars, SSA_NAME_VERSION (*orig_p)))
+	    PHI_ARG_NONZERO (phi, i) = true;
+
 	  /* If we have *ORIG_P in our constant/copy table, then replace
 	     ORIG_P with its value in our constant/copy table.  */
 	  new = VARRAY_TREE (const_and_copies, SSA_NAME_VERSION (*orig_p));