Remove test for volatile SSA_NAME in scev

Diego Novillo dnovillo@redhat.com
Fri Nov 12 14:04:00 GMT 2004


SSA_NAMEs can never be volatile.  We don't even expose volatile
variables to the optimizers (neither in real nor virtual operands).


Diego.


	* tree-scalar-evolution.c (analyzable_condition): Remove
	superfluous TREE_THIS_VOLATILE checks on SSA_NAMEs.

Index: tree-scalar-evolution.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-scalar-evolution.c,v
retrieving revision 2.12
diff -d -c -p -u -r2.12 tree-scalar-evolution.c
--- tree-scalar-evolution.c	11 Nov 2004 20:12:34 -0000	2.12
+++ tree-scalar-evolution.c	12 Nov 2004 13:11:15 -0000
@@ -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;




More information about the Gcc-patches mailing list