* tree-scalar-evolution.c (analyzable_condition): Remove

	superfluous TREE_THIS_VOLATILE checks on SSA_NAMEs.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5408d08..f0e7a04 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-12  Diego Novillo  <dnovillo@redhat.com>
+
+       * tree-scalar-evolution.c (analyzable_condition): Remove
+       superfluous TREE_THIS_VOLATILE checks on SSA_NAMEs.
+
 2004-11-12  Ralf Corsepius  <ralf.corsepius@rtems.org>
 
        * config/rs6000/t-rtems (MULTILIB_NEW_EXCEPTIONS_ONLY):

diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c
index 21e020d..4b5dbc8 100644 (file)
--- a/gcc/tree-scalar-evolution.c
+++ b/gcc/tree-scalar-evolution.c
@@ -959,9 +959,6 @@ analyzable_condition (tree expr)
   switch (TREE_CODE (condition))
     {
     case SSA_NAME:
-      /* Volatile expressions are not analyzable.  */
-      if (TREE_THIS_VOLATILE (SSA_NAME_VAR (condition)))
-       return false;
       return true;
       
     case LT_EXPR:
@@ -970,22 +967,7 @@ analyzable_condition (tree expr)
     case GE_EXPR:
     case EQ_EXPR:
     case NE_EXPR:
-      {
-       tree opnd0, opnd1;
-       
-       opnd0 = TREE_OPERAND (condition, 0);
-       opnd1 = TREE_OPERAND (condition, 1);
-       
-       if (TREE_CODE (opnd0) == SSA_NAME
-           && TREE_THIS_VOLATILE (SSA_NAME_VAR (opnd0)))
-         return false;
-       
-       if (TREE_CODE (opnd1) == SSA_NAME
-           && TREE_THIS_VOLATILE (SSA_NAME_VAR (opnd1)))
-         return false;
-       
-       return true;
-      }
+      return true;
       
     default:
       return false;