From: Kazu Hirata <kazu@cs.umass.edu>
Date: Sat, 28 May 2005 21:03:53 +0000 (+0000)
Subject: tree-ssa-ccp.c (ccp_fold): Remove code that produces non-gimple min minvariant.
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=795479950392d25da04300337b3c6c9eabd77941;p=platform%2Fupstream%2Fgcc.git

tree-ssa-ccp.c (ccp_fold): Remove code that produces non-gimple min minvariant.

	* tree-ssa-ccp.c (ccp_fold): Remove code that produces
	non-gimple min minvariant.

From-SVN: r100301
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 50e3e65..a925d49 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-05-28  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* tree-ssa-ccp.c (ccp_fold): Remove code that produces
+	non-gimple min minvariant.
+
 2005-05-28  Jan Hubicka  <jh@suse.cz>
 
 	* tree-ssa-threadupdate.c: (create_edge_and_update_destination_phis):
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index c1593f8..01b608b 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -855,21 +855,6 @@ ccp_fold (tree stmt)
 	 use this expression.  */
       if (retval && ! is_gimple_min_invariant (retval))
 	return NULL;
-
-      /* If we could not fold the expression, but the arguments are all
-         constants and gimple values, then build and return the new
-	 expression. 
-
-	 In some cases the new expression is still something we can
-	 use as a replacement for an argument.  This happens with
-	 NOP conversions of types for example.
-
-	 In other cases the new expression can not be used as a
-	 replacement for an argument (as it would create non-gimple
-	 code).  But the new expression can still be used to derive
-	 other constants.  */
-      if (! retval && is_gimple_min_invariant (op0))
-	return build1 (code, TREE_TYPE (rhs), op0);
     }
 
   /* Binary and comparison operators.  We know one or both of the
@@ -906,23 +891,6 @@ ccp_fold (tree stmt)
 	 use this expression.  */
       if (retval && ! is_gimple_min_invariant (retval))
 	return NULL;
-      
-      /* If we could not fold the expression, but the arguments are all
-         constants and gimple values, then build and return the new
-	 expression. 
-
-	 In some cases the new expression is still something we can
-	 use as a replacement for an argument.  This happens with
-	 NOP conversions of types for example.
-
-	 In other cases the new expression can not be used as a
-	 replacement for an argument (as it would create non-gimple
-	 code).  But the new expression can still be used to derive
-	 other constants.  */
-      if (! retval
-	  && is_gimple_min_invariant (op0)
-	  && is_gimple_min_invariant (op1))
-	return build (code, TREE_TYPE (rhs), op0, op1);
     }
 
   /* We may be able to fold away calls to builtin functions if their