[PATCH][alias-improvements] Tweak out-of-ssa vop sanity check

[Richard Guenther]

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to the 
branch.

Richard.

2009-02-01  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-coalesce.c (create_outofssa_var_map): Adjust
	virtual operands sanity check.

Index: gcc/tree-ssa-coalesce.c
===================================================================
*** gcc/tree-ssa-coalesce.c	(revision 143852)
--- gcc/tree-ssa-coalesce.c	(working copy)
*************** create_outofssa_var_map (coalesce_list_p
*** 1114,1124 ****
  	  FOR_EACH_SSA_TREE_OPERAND (var, stmt, iter, (SSA_OP_DEF|SSA_OP_USE))
  	    bitmap_set_bit (used_in_real_ops, DECL_UID (SSA_NAME_VAR (var)));
  
! 	  /* Validate that virtual ops don't get used in funny ways.
! 	     ???  This verifying is now quite useless.  Checking that
! 	     the gimple VOP is not used in a real operand would be enough.  */
! 	  bitmap_set_bit (used_in_virtual_ops, 
! 			  DECL_UID (gimple_vop (cfun)));
  #endif /* ENABLE_CHECKING */
  	}
      }
--- 1114,1123 ----
  	  FOR_EACH_SSA_TREE_OPERAND (var, stmt, iter, (SSA_OP_DEF|SSA_OP_USE))
  	    bitmap_set_bit (used_in_real_ops, DECL_UID (SSA_NAME_VAR (var)));
  
! 	  /* Validate that virtual ops don't get used in funny ways.  */
! 	  if (gimple_vuse (stmt))
! 	    bitmap_set_bit (used_in_virtual_ops, 
! 			    DECL_UID (SSA_NAME_VAR (gimple_vuse (stmt))));
  #endif /* ENABLE_CHECKING */
  	}
      }