Check the if-convertibility of phi nodes in non predicated BBs.

2010-05-28  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/44293
	* tree-if-conv.c (if_convertible_loop_p): Check the
	if-convertibility of phi nodes in non predicated BBs.

From-SVN: r159990

gcc/ChangeLog

+2010-05-28  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR middle-end/44293
+	* tree-if-conv.c (if_convertible_loop_p): Check the
+	if-convertibility of phi nodes in non predicated BBs.
+
 2010-05-28  Joseph Myers  <joseph@codesourcery.com>
 
 	* gcc.c (error, warning, inform): Remove duplicate ": " in output.

gcc/tree-if-conv.c

@@ -693,6 +693,10 @@ if_convertible_loop_p (struct loop *loop)
       basic_block bb = ifc_bbs[i];
       gimple_stmt_iterator itr;
 
+      for (itr = gsi_start_phis (bb); !gsi_end_p (itr); gsi_next (&itr))
+	if (!if_convertible_phi_p (loop, bb, gsi_stmt (itr)))
+	  return false;
+
       /* For non predicated BBs, don't check their statements.  */
       if (!is_predicated (bb))
 	continue;
@@ -700,10 +704,6 @@ if_convertible_loop_p (struct loop *loop)
       for (itr = gsi_start_bb (bb); !gsi_end_p (itr); gsi_next (&itr))
 	if (!if_convertible_stmt_p (loop, bb, gsi_stmt (itr)))
 	  return false;
-
-      for (itr = gsi_start_phis (bb); !gsi_end_p (itr); gsi_next (&itr))
-	if (!if_convertible_phi_p (loop, bb, gsi_stmt (itr)))
-	  return false;
     }
 
   if (dump_file)