]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Annotate dbg_line_numbers table
authorRichard Biener <rguenther@suse.de>
Wed, 15 Jan 2025 10:25:25 +0000 (11:25 +0100)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 15 Jan 2025 11:52:03 +0000 (12:52 +0100)
The following adds /* <num> */ to dbg_line_numbers so there's the chance
to more easily lookup the ID of the match.pd line number used for
dumping when you want to debug a speicific replacement.  It also cuts
the lines down to 10 entries.

  static int dbg_line_numbers[1267] = {
        /* 0 */ 161, 164, 173, 175, 178, 181, 183, 189, 197, 195,
        /* 10 */ 199, 201, 205, 923, 921, 2060, 2071, 2052, 2058, 2063,
...

* genmatch.cc (define_dump_logs): Make reverse lookup in
dbg_line_numbers easier by adding comments with start index
and cutting number of elements per line to 10.

gcc/genmatch.cc

index 3ba6139e12dac2a041ba79e26767e39574c31137..b9a792e245542ab1d785c188cf0733f6e29ea2b5 100644 (file)
@@ -890,8 +890,8 @@ define_dump_logs (bool gimple, FILE *f)
 
   for (unsigned i = 0; i < dbg_line_numbers.length () - 1; i++)
     {
-      if (i % 20 == 0)
-       fprintf (f, "\n\t");
+      if (i % 10 == 0)
+       fprintf (f, "\n\t/* %d */ ", i);
 
       fprintf (f, "%d, ", dbg_line_numbers[i]);
     }