* tree-ssa-ccp.c (ccp_fold): Remove code that produces

	non-gimple min minvariant.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@100301 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 50e3e65..a925d49 100644 (file)
--- 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 (file)
--- 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