tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis to loop PHI nodes.

2010-02-17 Richard Guenther <rguenther@suse.de> * tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis to loop PHI nodes. From-SVN: r156825

tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis to loop PHI nodes.
2010-02-17 Richard Guenther <rguenther@suse.de> * tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis to loop PHI nodes. From-SVN: r156825
a95740b3 · Richard Guenther · Richard Biener · 68326806 · a95740b3 · a95740b3
Commit a95740b3 authored Feb 17, 2010 by Richard Guenther Committed by Richard Biener Feb 17, 2010
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 3 deletions

gcc/ChangeLog
+5 -0

gcc/tree-vrp.c
+2 -3

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2010-02-17  Richard Guenther  <rguenther@suse.de>
+
+	* tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis
+	to loop PHI nodes.
+
 2010-02-17  Jakub Jelinek  <jakub@redhat.com>

 	PR debug/42918

--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -6318,11 +6318,10 @@ vrp_visit_phi_node (gimple phi)
    }

  /* If this is a loop PHI node SCEV may known more about its
-     value-range.
-     ???  Identify loop PHI nodes properly.   */
+     value-range.  */
  if (current_loops
      && (l = loop_containing_stmt (phi))
-      && loop_outer (l))
+      && l->header == gimple_bb (phi))
    adjust_range_with_scev (&vr_result, l, phi, lhs);

  if (vr_result.type == VR_VARYING)