re PR tree-optimization/53217 (internal compiler error: verify_ssa failed)

gcc:

2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	PR tree-optimization/53217
	* tree-ssa-reassoc.c (bip_map): New static variable.
	(possibly_move_powi): Move feeding multiplies with __builtin_powi call.
	(attempt_builtin_powi): Save feeding multiplies on a stack.
	(reassociate_bb): Create and destroy bip_map.

gcc/testsuite:

2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	PR tree-optimization/53217
	* gfortran.dg/pr53217.f90: New test.

From-SVN: r187595

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 546ec91185b72b39b73e72c064f0d959d70cb09e..8d6c406354d592d42e348f8aa240b016da90011e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
+
+       PR tree-optimization/53217
+       * tree-ssa-reassoc.c (bip_map): New static variable.
+       (possibly_move_powi): Move feeding multiplies with __builtin_powi call.
+       (attempt_builtin_powi): Save feeding multiplies on a stack.
+       (reassociate_bb): Create and destroy bip_map.
+
 2012-05-16  Olivier Hainque  <hainque@adacore.com>
 
        * Makefile.in (install-no-fixedincludes): New target, former toplevel

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 299ece5bb3f557ff4171d416bcdb14535b08e6b8..90d94b003cbef2233cffea3da45275278c7d005d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-05-16  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
+
+       PR tree-optimization/53217
+       * gfortran.dg/pr53217.f90: New test.
+
 2012-05-16  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/53364

diff --git a/gcc/testsuite/gfortran.dg/pr53217.f90 b/gcc/testsuite/gfortran.dg/pr53217.f90
new file mode 100644 (file)
index 0000000..82f34f0
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr53217.f90
@@ -0,0 +1,28 @@
+! { dg-do compile }
+! { dg-options "-O3 -ffast-math" }
+
+! This tests only for compile-time failure, which formerly occurred
+! when statements were emitted out of order, failing verify_ssa.
+
+MODULE xc_cs1
+  INTEGER, PARAMETER :: dp=KIND(0.0D0)
+  REAL(KIND=dp), PARAMETER :: a = 0.04918_dp, &
+                              c = 0.2533_dp, &
+                              d = 0.349_dp
+CONTAINS
+  SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&
+       npoints, error)
+    REAL(KIND=dp), DIMENSION(*), &
+      INTENT(INOUT)                          :: e_rho_rho, e_rho_ndrho, &
+                                                e_ndrho_ndrho
+    DO ip = 1, npoints
+      IF ( rho(ip) > eps_rho ) THEN
+         oc = 1.0_dp/(r*r*r3*r3 + c*g*g)
+         d2rF4 = c4p*f13*f23*g**4*r3/r * (193*d*r**5*r3*r3+90*d*d*r**5*r3 &
+                 -88*g*g*c*r**3*r3-100*d*d*c*g*g*r*r*r3*r3 &
+                 +104*r**6)*od**3*oc**4
+         e_rho_rho(ip) = e_rho_rho(ip) + d2F1 + d2rF2 + d2F3 + d2rF4
+      END IF
+    END DO
+  END SUBROUTINE cs1_u_2
+END MODULE xc_cs1

diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index f440d1742586270c75056c0b5f07eb4381c1b069..5ce26bcb4a9cf95d6c4cbe314126ce2ab30ca561 100644 (file)
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -200,6 +200,10 @@ static long *bb_rank;
 /* Operand->rank hashtable.  */
 static struct pointer_map_t *operand_rank;
 
+/* Map from inserted __builtin_powi calls to multiply chains that
+   feed them.  */
+static struct pointer_map_t *bip_map;
+
 /* Forward decls.  */
 static long get_rank (tree);
 
@@ -2249,7 +2253,7 @@ remove_visited_stmt_chain (tree var)
 static void
 possibly_move_powi (gimple stmt, tree op)
 {
-  gimple stmt2;
+  gimple stmt2, *mpy;
   tree fndecl;
   gimple_stmt_iterator gsi1, gsi2;
 
@@ -2278,9 +2282,39 @@ possibly_move_powi (gimple stmt, tree op)
       return;
     }
 
+  /* Move the __builtin_powi.  */
   gsi1 = gsi_for_stmt (stmt);
   gsi2 = gsi_for_stmt (stmt2);
   gsi_move_before (&gsi2, &gsi1);
+
+  /* See if there are multiplies feeding the __builtin_powi base
+     argument that must also be moved.  */
+  while ((mpy = (gimple *) pointer_map_contains (bip_map, stmt2)) != NULL)
+    {
+      /* If we've already moved this statement, we're done.  This is
+         identified by a NULL entry for the statement in bip_map.  */
+      gimple *next = (gimple *) pointer_map_contains (bip_map, *mpy);
+      if (next && !*next)
+       return;
+
+      stmt = stmt2;
+      stmt2 = *mpy;
+      gsi1 = gsi_for_stmt (stmt);
+      gsi2 = gsi_for_stmt (stmt2);
+      gsi_move_before (&gsi2, &gsi1);
+
+      /* The moved multiply may be DAG'd from multiple calls if it
+        was the result of a cached multiply.  Only move it once.
+        Rank order ensures we move it to the right place the first
+        time.  */
+      if (next)
+       *next = NULL;
+      else
+       {
+         next = (gimple *) pointer_map_insert (bip_map, *mpy);
+         *next = NULL;
+       }
+    }
 }
 
 /* This function checks three consequtive operands in
@@ -3281,6 +3315,7 @@ attempt_builtin_powi (gimple stmt, VEC(operand_entry_t, heap) **ops,
   while (true)
     {
       HOST_WIDE_INT power;
+      gimple last_mul = NULL;
 
       /* First look for the largest cached product of factors from
         preceding iterations.  If found, create a builtin_powi for
@@ -3318,16 +3353,25 @@ attempt_builtin_powi (gimple stmt, VEC(operand_entry_t, heap) **ops,
            }
          else
            {
+             gimple *value;
+
              iter_result = get_reassoc_pow_ssa_name (target, type);
              pow_stmt = gimple_build_call (powi_fndecl, 2, rf1->repr, 
                                            build_int_cst (integer_type_node,
                                                           power));
              gimple_call_set_lhs (pow_stmt, iter_result);
              gimple_set_location (pow_stmt, gimple_location (stmt));
-             /* Temporarily place the call; we will move it to the
-                correct place during rewrite_expr.  */
+             /* Temporarily place the call; we will move it and its
+                feeding multiplies to the correct place during
+                rewrite_expr.  */
              gsi_insert_before (&gsi, pow_stmt, GSI_SAME_STMT);
 
+             if (!operand_equal_p (rf1->repr, rf1->factor, 0))
+               {
+                 value = (gimple *) pointer_map_insert (bip_map, pow_stmt);
+                 *value = SSA_NAME_DEF_STMT (rf1->repr);
+               }
+
              if (dump_file && (dump_flags & TDF_DETAILS))
                {
                  unsigned elt;
@@ -3413,6 +3457,15 @@ attempt_builtin_powi (gimple stmt, VEC(operand_entry_t, heap) **ops,
                  gsi_insert_before (&gsi, mul_stmt, GSI_SAME_STMT);
                  rf1->repr = target_ssa;
 
+                 /* Chain multiplies together for later movement.  */
+                 if (last_mul)
+                   {
+                     gimple *value
+                       = (gimple *) pointer_map_insert (bip_map, mul_stmt);
+                     *value = last_mul;
+                   }
+                 last_mul = mul_stmt;
+
                  /* Don't reprocess the multiply we just introduced.  */
                  gimple_set_visited (mul_stmt, true);
                }
@@ -3428,6 +3481,15 @@ attempt_builtin_powi (gimple stmt, VEC(operand_entry_t, heap) **ops,
          gimple_call_set_lhs (pow_stmt, iter_result);
          gimple_set_location (pow_stmt, gimple_location (stmt));
          gsi_insert_before (&gsi, pow_stmt, GSI_SAME_STMT);
+
+         /* If we inserted a chain of multiplies before the pow_stmt,
+            record that fact so we can move it later when we move the
+            pow_stmt.  */
+         if (last_mul)
+           {
+             gimple *value = (gimple *) pointer_map_insert (bip_map, pow_stmt);
+             *value = last_mul;
+           }
        }
 
       /* Append the result of this iteration to the ops vector.  */
@@ -3544,6 +3606,7 @@ reassociate_bb (basic_block bb)
          if (associative_tree_code (rhs_code))
            {
              VEC(operand_entry_t, heap) *ops = NULL;
+             bip_map = pointer_map_create ();
 
              /* There may be no immediate uses left by the time we
                 get here because we may have eliminated them all.  */
@@ -3608,6 +3671,7 @@ reassociate_bb (basic_block bb)
                }
 
              VEC_free (operand_entry_t, heap, ops);
+             pointer_map_destroy (bip_map);
            }
        }
     }