Add a new dump function.

gcc/ChangeLog:

	* pointer-query.cc (access_ref::dump): Define new function
	(pointer_query::dump): Call it.
	* pointer-query.h (access_ref::dump): Declare new function.

diff --git a/gcc/pointer-query.cc b/gcc/pointer-query.cc
index 3f583110c71df2aba6037d18707319f102f0897c..e618c4d727675dd640277cc720d164f9c6e5a724 100644 (file)
--- a/gcc/pointer-query.cc
+++ b/gcc/pointer-query.cc
@@ -1240,6 +1240,63 @@ access_ref::inform_access (access_mode mode, int ostype /* = 1 */) const
            sizestr, allocfn);
 }
 
+/* Dump *THIS to FILE.  */
+
+void
+access_ref::dump (FILE *file) const
+{
+  for (int i = deref; i < 0; ++i)
+    fputc ('&', file);
+
+  for (int i = 0; i < deref; ++i)
+    fputc ('*', file);
+
+  if (gphi *phi_stmt = phi ())
+    {
+      fputs ("PHI <", file);
+      unsigned nargs = gimple_phi_num_args (phi_stmt);
+      for (unsigned i = 0; i != nargs; ++i)
+       {
+         tree arg = gimple_phi_arg_def (phi_stmt, i);
+         print_generic_expr (file, arg);
+         if (i + 1 < nargs)
+           fputs (", ", file);
+       }
+      fputc ('>', file);
+    }
+  else
+    print_generic_expr (file, ref);
+
+  if (offrng[0] != offrng[1])
+    fprintf (file, " + [%lli, %lli]",
+            (long long) offrng[0].to_shwi (),
+            (long long) offrng[1].to_shwi ());
+  else if (offrng[0] != 0)
+    fprintf (file, " %c %lli",
+            offrng[0] < 0 ? '-' : '+',
+            (long long) offrng[0].to_shwi ());
+
+  if (base0)
+    fputs (" (base0)", file);
+
+  fputs ("; size: ", file);
+  if (sizrng[0] != sizrng[1])
+    {
+      offset_int maxsize = wi::to_offset (max_object_size ());
+      if (sizrng[0] == 0 && sizrng[1] >= maxsize)
+       fputs ("unknown", file);
+      else
+       fprintf (file, "[%llu, %llu]",
+                (unsigned long long) sizrng[0].to_uhwi (),
+                (unsigned long long) sizrng[1].to_uhwi ());
+    }
+  else if (sizrng[0] != 0)
+    fprintf (file, "%llu",
+            (unsigned long long) sizrng[0].to_uhwi ());
+
+  fputc ('\n', file);
+}
+
 /* Set the access to at most MAXWRITE and MAXREAD bytes, and at least 1
    when MINWRITE or MINREAD, respectively, is set.  */
 access_data::access_data (range_query *query, gimple *stmt, access_mode mode,
@@ -1498,6 +1555,9 @@ pointer_query::flush_cache ()
 void
 pointer_query::dump (FILE *dump_file, bool contents /* = false */)
 {
+  if (!var_cache)
+    return;
+
   unsigned nused = 0, nrefs = 0;
   unsigned nidxs = var_cache->indices.length ();
   for (unsigned i = 0; i != nidxs; ++i)
@@ -1558,35 +1618,40 @@ pointer_query::dump (FILE *dump_file, bool contents /* = false */)
       else
        fprintf (dump_file, "  _%u = ", ver);
 
-      if (gphi *phi = aref.phi ())
-       {
-         fputs ("PHI <", dump_file);
-         unsigned nargs = gimple_phi_num_args (phi);
-         for (unsigned i = 0; i != nargs; ++i)
-           {
-             tree arg = gimple_phi_arg_def (phi, i);
-             print_generic_expr (dump_file, arg);
-             if (i + 1 < nargs)
-               fputs (", ", dump_file);
-           }
-         fputc ('>', dump_file);
-       }
-      else
-       print_generic_expr (dump_file, aref.ref);
-
-      if (aref.offrng[0] != aref.offrng[1])
-       fprintf (dump_file, " + [%lli, %lli]",
-                (long long) aref.offrng[0].to_shwi (),
-                (long long) aref.offrng[1].to_shwi ());
-      else if (aref.offrng[0] != 0)
-       fprintf (dump_file, " %c %lli",
-                aref.offrng[0] < 0 ? '-' : '+',
-                (long long) aref.offrng[0].to_shwi ());
-
-      fputc ('\n', dump_file);
+      aref.dump (dump_file);
     }
 
   fputc ('\n', dump_file);
+
+  {
+    fputs ("\npointer_query cache contents (again):\n", dump_file);
+
+    tree var;
+    unsigned i;
+    FOR_EACH_SSA_NAME (i, var, cfun)
+      {
+       if (TREE_CODE (TREE_TYPE (var)) != POINTER_TYPE)
+         continue;
+
+       for (unsigned ost = 0; ost != 2; ++ost)
+         {
+           if (const access_ref *cache_ref = get_ref (var, ost))
+             {
+               unsigned ver = SSA_NAME_VERSION (var);
+               fprintf (dump_file, "  %u.%u: ", ver, ost);
+               if (tree name = ssa_name (ver))
+                 {
+                   print_generic_expr (dump_file, name);
+                   fputs (" = ", dump_file);
+                 }
+               else
+                 fprintf (dump_file, "  _%u = ", ver);
+
+               cache_ref->dump (dump_file);
+             }
+         }
+      }
+  }
 }
 
 /* A helper of compute_objsize_r() to determine the size from an assignment

diff --git a/gcc/pointer-query.h b/gcc/pointer-query.h
index a7ac7d34370c4d7e0d0dfc48e49a38f0d7a89eea..25101b75e25ceb3d626cc3474b6d58f11384539c 100644 (file)
--- a/gcc/pointer-query.h
+++ b/gcc/pointer-query.h
@@ -124,6 +124,9 @@ struct access_ref
      with the given mode.  */
   void inform_access (access_mode, int = 1) const;
 
+  /* Dump *THIS to a file.  */
+  void dump (FILE *) const;
+
   /* Reference to the accessed object(s).  */
   tree ref;