From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <aldyh@sourceware.org>
Received: by sourceware.org (Postfix, from userid 2136)
 id 3F9F0386FC33; Thu, 17 Jun 2021 08:30:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3F9F0386FC33
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="utf-8"
From: Aldy Hernandez <aldyh@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r12-1552] Add debugging helpers for ranger.
X-Act-Checkin: gcc
X-Git-Author: Aldy Hernandez <aldyh@redhat.com>
X-Git-Refname: refs/heads/master
X-Git-Oldrev: 3dfa4fe9f1a089b2b3906c83e22a1b39c49d937c
X-Git-Newrev: 3f3ee13959f852de432fa7761a8e50ddee6d6e1b
Message-Id: <20210617083035.3F9F0386FC33@sourceware.org>
Date: Thu, 17 Jun 2021 08:30:35 +0000 (GMT)
X-BeenThere: gcc-cvs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-cvs mailing list <gcc-cvs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-cvs/>
List-Help: <mailto:gcc-cvs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 17 Jun 2021 08:30:35 -0000

https://gcc.gnu.org/g:3f3ee13959f852de432fa7761a8e50ddee6d6e1b

commit r12-1552-g3f3ee13959f852de432fa7761a8e50ddee6d6e1b
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Mon Jun 14 11:39:33 2021 +0200

    Add debugging helpers for ranger.
    
    These are debugging aids for help in debugging ranger based passes.
    
    gcc/ChangeLog:
    
            * gimple-range.cc (debug_seed_ranger): New.
            (dump_ranger): New.
            (debug_ranger): New.

Diff:
---
 gcc/gimple-range.cc | 79 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 79 insertions(+)

diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc
index efb919f1595..58109701f2f 100644
--- a/gcc/gimple-range.cc
+++ b/gcc/gimple-range.cc
@@ -1662,4 +1662,83 @@ disable_ranger (struct function *fun)
   fun->x_range_query = &global_ranges;
 }
 
+// =========================================
+// Debugging helpers.
+// =========================================
+
+// Query all statements in the IL to precalculate computable ranges in RANGER.
+
+static DEBUG_FUNCTION void
+debug_seed_ranger (gimple_ranger &ranger)
+{
+  // Recalculate SCEV to make sure the dump lists everything.
+  if (scev_initialized_p ())
+    {
+      scev_finalize ();
+      scev_initialize ();
+    }
+
+  basic_block bb;
+  int_range_max r;
+  gimple_stmt_iterator gsi;
+  FOR_EACH_BB_FN (bb, cfun)
+    for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
+      {
+	gimple *stmt = gsi_stmt (gsi);
+
+	if (is_gimple_debug (stmt))
+	  continue;
+
+	ranger.range_of_stmt (r, stmt);
+      }
+}
+
+// Dump all that ranger knows for the current function.
+
+DEBUG_FUNCTION void
+dump_ranger (FILE *out)
+{
+  gimple_ranger ranger;
+  debug_seed_ranger (ranger);
+  ranger.dump (out);
+}
+
+DEBUG_FUNCTION void
+debug_ranger ()
+{
+  dump_ranger (stderr);
+}
+
+// Dump all that ranger knows on a path of BBs.
+//
+// Note that the blocks are in reverse order, thus the exit block is
+// path[0].
+
+DEBUG_FUNCTION void
+dump_ranger (FILE *dump_file, const vec<basic_block> &path)
+{
+  if (path.length () == 0)
+    {
+      fprintf (dump_file, "empty\n");
+      return;
+    }
+
+  gimple_ranger ranger;
+  debug_seed_ranger (ranger);
+
+  unsigned i = path.length ();
+  do
+    {
+      i--;
+      ranger.dump_bb (dump_file, path[i]);
+    }
+  while (i > 0);
+}
+
+DEBUG_FUNCTION void
+debug_ranger (const vec<basic_block> &path)
+{
+  dump_ranger (stderr, path);
+}
+
 #include "gimple-range-tests.cc"