diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 42c3c2009cd..6298db47122 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-12-03  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* tree-ssa-dom.c (record_equivalences_from_phis): Remove an
+	"if" whose condition is always true.
+
 2004-12-02  Stan Shebs  <shebs@apple.com>
 
 	* config/rs6000/rs6000.c (rs6000_override_options): Make 64-bit
diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index a2d145922b5..cce041296a7 100644
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -1177,23 +1177,18 @@ record_equivalences_from_phis (basic_block bb)
 	{
 	  tree t = PHI_ARG_DEF (phi, i);
 
-	  if (TREE_CODE (t) == SSA_NAME || is_gimple_min_invariant (t))
-	    {
-	      /* Ignore alternatives which are the same as our LHS.  */
-	      if (operand_equal_for_phi_arg_p (lhs, t))
-		continue;
+	  /* Ignore alternatives which are the same as our LHS.  */
+	  if (operand_equal_for_phi_arg_p (lhs, t))
+	    continue;
 
-	      /* If we have not processed an alternative yet, then set
-		 RHS to this alternative.  */
-	      if (rhs == NULL)
-		rhs = t;
-	      /* If we have processed an alternative (stored in RHS), then
-		 see if it is equal to this one.  If it isn't, then stop
-		 the search.  */
-	      else if (! operand_equal_for_phi_arg_p (rhs, t))
-		break;
-	    }
-	  else
+	  /* If we have not processed an alternative yet, then set
+	     RHS to this alternative.  */
+	  if (rhs == NULL)
+	    rhs = t;
+	  /* If we have processed an alternative (stored in RHS), then
+	     see if it is equal to this one.  If it isn't, then stop
+	     the search.  */
+	  else if (! operand_equal_for_phi_arg_p (rhs, t))
 	    break;
 	}