OSDN Git Service

2013-02-05 Richard Biener <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 5 Feb 2013 12:54:12 +0000 (12:54 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 5 Feb 2013 12:54:12 +0000 (12:54 +0000)
PR tree-optimization/54767
* tree-vrp.c (vrp_visit_phi_node): For PHI arguments coming via
backedges drop all symbolical range information.
(execute_vrp): Compute backedges.

* gfortran.fortran-torture/execute/pr54767.f90: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@195754 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gfortran.fortran-torture/execute/pr54767.f90 [new file with mode: 0644]
gcc/tree-vrp.c

index 12850c1..820808a 100644 (file)
@@ -1,3 +1,10 @@
+2013-02-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/54767
+       * tree-vrp.c (vrp_visit_phi_node): For PHI arguments coming via
+       backedges drop all symbolical range information.
+       (execute_vrp): Compute backedges.
+
 2013-02-04  Richard Biener  <rguenther@suse.de>
 
        Backport from mainline
index 678bd79..c486bac 100644 (file)
@@ -1,3 +1,8 @@
+2013-02-15  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/54767
+       * gfortran.fortran-torture/execute/pr54767.f90: New testcase.
+
 2013-02-04  Janis Johnson  <janisjo@codesourcery.com>
 
        PR testsuite/56206
diff --git a/gcc/testsuite/gfortran.fortran-torture/execute/pr54767.f90 b/gcc/testsuite/gfortran.fortran-torture/execute/pr54767.f90
new file mode 100644 (file)
index 0000000..f95bff1
--- /dev/null
@@ -0,0 +1,31 @@
+SUBROUTINE XXX (IL, IU)
+  implicit none
+  integer, INTENT(IN) :: IL, IU
+
+  integer :: NXX (14) = (/ 0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14 /)
+  integer :: ivvv, ia, ja, iaii
+  logical :: qop
+
+  QOP=.FALSE.
+
+  DO IA=IL,IU
+    JA=NXX(IA)
+    IF (.NOT. QOP .and. JA.GT.0) THEN
+      IAII=IA
+      QOP=.TRUE.
+    ENDIF
+
+    IF (QOP) THEN
+      ivvv=IA-IAII+1       ! mis-compiled
+    ENDIF
+  ENDDO
+
+  IF (ivvv.NE.2) THEN
+    call abort
+  ENDIF
+END subroutine
+
+program p
+  implicit none
+  CALL XXX (1, 3)
+end
index 1496263..a65266c 100644 (file)
@@ -6620,6 +6620,20 @@ vrp_visit_phi_node (gimple phi)
          if (TREE_CODE (arg) == SSA_NAME)
            {
              vr_arg = *(get_value_range (arg));
+             /* Do not allow equivalences or symbolic ranges to leak in from
+                backedges.  That creates invalid equivalencies.  */
+             if (e->flags & EDGE_DFS_BACK
+                 && (vr_arg.type == VR_RANGE
+                     || vr_arg.type == VR_ANTI_RANGE))
+               {
+                 vr_arg.equiv = NULL;
+                 if (symbolic_range_p (&vr_arg))
+                   {
+                     vr_arg.type = VR_VARYING;
+                     vr_arg.min = NULL_TREE;
+                     vr_arg.max = NULL_TREE;
+                   }
+               }
            }
          else
            {
@@ -7871,6 +7885,9 @@ execute_vrp (void)
   rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
   scev_initialize ();
 
+  /* ???  This ends up using stale EDGE_DFS_BACK for liveness computation.
+     Inserting assertions may split edges which will invalidate
+     EDGE_DFS_BACK.  */
   insert_range_assertions ();
 
   /* Estimate number of iterations - but do not use undefined behavior
@@ -7883,6 +7900,9 @@ execute_vrp (void)
   to_update_switch_stmts = VEC_alloc (switch_update, heap, 5);
   threadedge_initialize_values ();
 
+  /* For visiting PHI nodes we need EDGE_DFS_BACK computed.  */
+  mark_dfs_back_edges ();
+
   vrp_initialize ();
   ssa_propagate (vrp_visit_stmt, vrp_visit_phi_node);
   vrp_finalize ();