tree-ssa-ccp.c (visit_assignment): Move code to prevent setting a non-register…

tree-ssa-ccp.c (visit_assignment): Move code to prevent setting a non-register to UNDEFINED right before the call...


	* tree-ssa-ccp.c (visit_assignment): Move code to prevent
	setting a non-register to UNDEFINED right before the call to
	set_lattice_value.

From-SVN: r85318

gcc/ChangeLog

+2004-07-29  Diego Novillo  <dnovillo@redhat.com>
+
+	* tree-ssa-ccp.c (visit_assignment): Move code to prevent
+	setting a non-register to UNDEFINED right before the call to
+	set_lattice_value.
+
 2004-07-29  Kaz Kojima  <kkojima@gcc.gnu.org>
 
 	* config/sh/lib1funcs.asm: Make aliases movstr* for movmem*.

gcc/tree-ssa-ccp.c

@@ -755,12 +755,6 @@ visit_assignment (tree stmt)
       /* For a simple copy operation, we copy the lattice values.  */
       value *nval = get_value (rhs);
       val = *nval;
-      
-      /* If lhs is not a gimple register, then it cannot take on
-         an undefined value. */
-      if (!is_gimple_reg (SSA_NAME_VAR (lhs)) 
-          && val.lattice_val == UNDEFINED)
-        val.lattice_val = UNKNOWN_VAL;      
     }
   else if (DECL_P (rhs) 
            && NUM_VUSES (vuses) == 1
@@ -798,6 +792,12 @@ visit_assignment (tree stmt)
       }
   }
 
+  /* If LHS is not a gimple register, then it cannot take on an
+     UNDEFINED value. */
+  if (!is_gimple_reg (SSA_NAME_VAR (lhs)) 
+      && val.lattice_val == UNDEFINED)
+    val.lattice_val = UNKNOWN_VAL;      
+
   /* Set the lattice value of the statement's output.  */
   set_lattice_value (lhs, val);
   if (val.lattice_val == VARYING)