Allow PHIs to pick up global values.

We can also apply known global values to PHI nodes in EVRP.

	* value-query.cc (gimple_range_global): Allow phis.

diff --git a/gcc/value-query.cc b/gcc/value-query.cc
index 17dfdb1ccbe95e0f118a2ba63d309e2b1d29d45b..730a214927533e66e23c89b75d570983fe7be845 100644 (file)
--- a/gcc/value-query.cc
+++ b/gcc/value-query.cc
@@ -419,7 +419,8 @@ gimple_range_global (tree name)
   gcc_checking_assert (gimple_range_ssa_p (name));
   tree type = TREE_TYPE (name);
 
-  if (SSA_NAME_IS_DEFAULT_DEF (name) || (cfun && cfun->after_inlining))
+  if (SSA_NAME_IS_DEFAULT_DEF (name) || (cfun && cfun->after_inlining)
+      || is_a<gphi *> (SSA_NAME_DEF_STMT (name)))
     {
       value_range vr;
       get_range_global (vr, name);