diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-02-17 09:45:31 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-02-17 09:45:31 +0000 |
| commit | a95740b328567bd230868acf86497ab0d302d946 (patch) | |
| tree | f59e4cd8dc3ac4360c09eea55b5b907a3cdba747 /gcc/tree-vrp.c | |
| parent | 6832680673f05a91df9e902c808d809db73189a9 (diff) | |
| download | gcc-a95740b328567bd230868acf86497ab0d302d946.zip gcc-a95740b328567bd230868acf86497ab0d302d946.tar.gz gcc-a95740b328567bd230868acf86497ab0d302d946.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 2f0f059..152d389 100644 --- 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) |