Enhance syntax of -fdbg-cnt.
authorMartin Liska <mliska@suse.cz>
Wed, 13 Nov 2019 13:47:29 +0000 (14:47 +0100)
committerMartin Liska <marxin@gcc.gnu.org>
Wed, 13 Nov 2019 13:47:29 +0000 (13:47 +0000)
2019-11-13  Martin Liska  <mliska@suse.cz>

* common.opt: Document change of -fdbg-cnt option.
* dbgcnt.c (DEBUG_COUNTER): Remove.
(dbg_cnt_is_enabled): Remove.
(dbg_cnt): Work with new intervals.
(dbg_cnt_set_limit_by_index): Set to new
list of intervals.
(dbg_cnt_set_limit_by_name): Likewise.
(dbg_cnt_process_single_pair): Process new format.
(dbg_cnt_process_opt): Likewise.
(dbg_cnt_list_all_counters): Likewise.
* doc/invoke.texi: Document change of -fdbg-cnt option.
(cmp_tuples): New.
2019-11-13  Martin Liska  <mliska@suse.cz>

* gcc.dg/ipa/ipa-icf-39.c: Update -fdbg-cnt to the new format.
* gcc.dg/pr68766.c: Likewise.

From-SVN: r278140

gcc/ChangeLog
gcc/common.opt
gcc/dbgcnt.c
gcc/doc/invoke.texi
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/ipa/ipa-icf-39.c
gcc/testsuite/gcc.dg/pr68766.c

index f637442f5233c99535a7fea89e82db778dacdfac..0075f3188027e473a735ad77690a10d9f0041cf5 100644 (file)
@@ -1,3 +1,18 @@
+2019-11-13  Martin Liska  <mliska@suse.cz>
+
+       * common.opt: Document change of -fdbg-cnt option.
+       * dbgcnt.c (DEBUG_COUNTER): Remove.
+       (dbg_cnt_is_enabled): Remove.
+       (dbg_cnt): Work with new intervals.
+       (dbg_cnt_set_limit_by_index): Set to new
+       list of intervals.
+       (dbg_cnt_set_limit_by_name): Likewise.
+       (dbg_cnt_process_single_pair): Process new format.
+       (dbg_cnt_process_opt): Likewise.
+       (dbg_cnt_list_all_counters): Likewise.
+       * doc/invoke.texi: Document change of -fdbg-cnt option.
+       (cmp_tuples): New.
+
 2019-11-13  Jan Hubicka  <hubicka@ucw.cz>
 
        * ipa-inline.c (ipa_inline): Check that function is defined before
index 26b6c2ce9e14e2574710b0830c664c23d46b5728..e7b87820bc932e2e914b8412d8b9a76197bce393 100644 (file)
@@ -1188,7 +1188,7 @@ List all available debugging counters with their limits and counts.
 
 fdbg-cnt=
 Common RejectNegative Joined Var(common_deferred_options) Defer
--fdbg-cnt=<counter>[:<lower_limit>]:<upper_limit>[,<counter>:...]      Set the debug counter limit.
+-fdbg-cnt=<counter>[:<lower_limit1>-]<upper_limit1>[:<lower_limit2>-<upper_limit2>:...][,<counter>:...]        Set the debug counter limit.
 
 fdebug-prefix-map=
 Common Joined RejectNegative Var(common_deferred_options) Defer
index 15ffe115a4f4330c3231e95f69d1e58efc1034e5..283a4575425832d855dd7dad400579ddf3878388 100644 (file)
@@ -40,24 +40,12 @@ static struct string2counter_map map[debug_counter_number_of_counters] =
 };
 #undef DEBUG_COUNTER
 
-#define DEBUG_COUNTER(a) UINT_MAX,
-static unsigned int limit_high[debug_counter_number_of_counters] =
-{
-#include "dbgcnt.def"
-};
-#undef DEBUG_COUNTER
+typedef std::pair<unsigned int, unsigned int> limit_tuple;
 
-static unsigned int limit_low[debug_counter_number_of_counters];
+static vec<limit_tuple> limits[debug_counter_number_of_counters];
 
 static unsigned int count[debug_counter_number_of_counters];
 
-bool
-dbg_cnt_is_enabled (enum debug_counter index)
-{
-  unsigned v = count[index];
-  return v > limit_low[index] && v <= limit_high[index];
-}
-
 static void
 print_limit_reach (const char *counter, int limit, bool upper_p)
 {
@@ -72,47 +60,86 @@ print_limit_reach (const char *counter, int limit, bool upper_p)
 bool
 dbg_cnt (enum debug_counter index)
 {
-  count[index]++;
+  unsigned v = ++count[index];
+
+  if (!limits[index].exists ())
+    return true;
+  else if (limits[index].is_empty ())
+    return false;
 
-  /* Do not print the info for default lower limit.  */
-  if (count[index] == limit_low[index] && limit_low[index] > 0)
-    print_limit_reach (map[index].name, limit_low[index], false);
-  else if (count[index] == limit_high[index])
-    print_limit_reach (map[index].name, limit_high[index], true);
+  unsigned last = limits[index].length () - 1;
+  unsigned int min = limits[index][last].first;
+  unsigned int max = limits[index][last].second;
 
-  return dbg_cnt_is_enabled (index);
+  if (v < min)
+    return false;
+  else if (v == min)
+    {
+      print_limit_reach (map[index].name, v, false);
+      if (min == max)
+       limits[index].pop ();
+      return true;
+    }
+  else if (v < max)
+    return true;
+  else if (v == max)
+    {
+      print_limit_reach (map[index].name, v, true);
+      limits[index].pop ();
+      return true;
+    }
+  else
+    return false;
 }
 
-static void
-dbg_cnt_set_limit_by_index (enum debug_counter index, int low, int high)
-{
-  limit_low[index] = low;
-  limit_high[index] = high;
+/* Compare limit_tuple intervals by first item in descending order.  */
 
-  fprintf (stderr, "dbg_cnt '%s' set to %d-%d\n", map[index].name, low, high);
+static int
+cmp_tuples (const void *ptr1, const void *ptr2)
+{
+  const limit_tuple *p1 = (const limit_tuple *)ptr1;
+  const limit_tuple *p2 = (const limit_tuple *)ptr2;
+
+  if (p1->first < p2->first)
+    return 1;
+  else if (p1->first > p2->first)
+    return -1;
+  return 0;
 }
 
 static bool
-dbg_cnt_set_limit_by_name (const char *name, int low, int high)
+dbg_cnt_set_limit_by_index (enum debug_counter index, const char *name,
+                           unsigned int low, unsigned int high)
 {
-  if (high < low)
-    {
-      error ("%<-fdbg-cnt=%s:%d:%d%> has smaller upper limit than the lower",
-            name, low, high);
-      return false;
-    }
+  if (!limits[index].exists ())
+    limits[index].create (1);
 
-  if (low < 0)
+  limits[index].safe_push (limit_tuple (low, high));
+  limits[index].qsort (cmp_tuples);
+
+  for (unsigned i = 0; i < limits[index].length () - 1; i++)
     {
-      error ("Lower limit %d of %<-fdbg-cnt=%s%> must be a non-negative "
-            "number", low, name);
-      return false;
+      limit_tuple t1 = limits[index][i];
+      limit_tuple t2 = limits[index][i + 1];
+      if (t1.first <= t2.second)
+       {
+         error ("Interval overlap of %<-fdbg-cnt=%s%>: [%u, %u] and "
+                "[%u, %u]\n", name, t2.first, t2.second, t1.first, t1.second);
+         return false;
+       }
     }
 
-  if (high < 0)
+  return true;
+}
+
+static bool
+dbg_cnt_set_limit_by_name (const char *name, unsigned int low,
+                          unsigned int high)
+{
+  if (high < low)
     {
-      error ("Upper limit %d of %<-fdbg-cnt=%s%> must be a non-negative "
-            "number", high, name);
+      error ("%<-fdbg-cnt=%s:%d-%d%> has smaller upper limit than the lower",
+            name, low, high);
       return false;
     }
 
@@ -124,31 +151,27 @@ dbg_cnt_set_limit_by_name (const char *name, int low, int high)
   if (i < 0)
     return false;
 
-  dbg_cnt_set_limit_by_index ((enum debug_counter) i, low, high);
-  return true;
+  return dbg_cnt_set_limit_by_index ((enum debug_counter) i, name, low, high);
 }
 
-
-/* Process a single "name:value" pair.
+/* Process a single "low:high" pair.
    Returns NULL if there's no valid pair is found.
    Otherwise returns a pointer to the end of the pair. */
 
 static bool
-dbg_cnt_process_single_pair (const char *arg)
+dbg_cnt_process_single_pair (char *name, char *str)
 {
-  char *str = xstrdup (arg);
-  char *name = strtok (str, ":");
-  char *value1 = strtok (NULL, ":");
-  char *value2 = strtok (NULL, ":");
+  char *value1 = strtok (str, "-");
+  char *value2 = strtok (NULL, "-");
 
-  int high, low;
+  unsigned int high, low;
 
   if (value1 == NULL)
     return false;
 
   if (value2 == NULL)
     {
-      low = 0;
+      low = 1;
       high = strtol (value1, NULL, 10);
     }
   else
@@ -166,17 +189,24 @@ dbg_cnt_process_opt (const char *arg)
   char *str = xstrdup (arg);
   unsigned int start = 0;
 
-  auto_vec<const char *> tokens;
-  for (const char *next = strtok (str, ","); next != NULL;
-       next = strtok (NULL, ","))
+  auto_vec<char *> tokens;
+  for (char *next = strtok (str, ","); next != NULL; next = strtok (NULL, ","))
     tokens.safe_push (next);
 
   unsigned i;
   for (i = 0; i < tokens.length (); i++)
     {
-     if (!dbg_cnt_process_single_pair (tokens[i]))
-       break;
-     start += strlen (tokens[i]) + 1;
+      auto_vec<char *> ranges;
+      char *name = strtok (tokens[i], ":");
+      for (char *part = strtok (NULL, ":"); part; part = strtok (NULL, ":"))
+       ranges.safe_push (part);
+
+      for (unsigned j = 0; j < ranges.length (); j++)
+       {
+         if (!dbg_cnt_process_single_pair (name, ranges[j]))
+           break;
+       }
+      start += strlen (tokens[i]) + 1;
     }
 
    if (i != tokens.length ())
@@ -195,11 +225,23 @@ void
 dbg_cnt_list_all_counters (void)
 {
   int i;
-  printf ("  %-32s %-11s %-12s\n", "counter name",  "low limit",
-         "high limit");
+  printf ("  %-30s %s\n", "counter name", "closed intervals");
   printf ("-----------------------------------------------------------------\n");
   for (i = 0; i < debug_counter_number_of_counters; i++)
-    printf ("  %-30s %11u %12u\n",
-           map[i].name, limit_low[map[i].counter], limit_high[map[i].counter]);
+    {
+      printf ("  %-30s ", map[i].name);
+      if (limits[i].exists ())
+       {
+         for (int j = limits[i].length () - 1; j >= 0; j--)
+           {
+             printf ("[%u, %u]", limits[i][j].first, limits[i][j].second);
+             if (j > 0)
+               printf (", ");
+           }
+         putchar ('\n');
+       }
+      else
+       printf ("unset\n");
+    }
   printf ("\n");
 }
index 00eb7e7780815a8f5b43143a64f4147c678ba0f4..a5a06262848a2a94da737b5b66bc3c9e0035291a 100644 (file)
@@ -15656,15 +15656,14 @@ Print the name and the counter upper bound for all debug counters.
 @item -fdbg-cnt=@var{counter-value-list}
 @opindex fdbg-cnt
 Set the internal debug counter lower and upper bound.  @var{counter-value-list}
-is a comma-separated list of @var{name}:@var{lower_bound}:@var{upper_bound}
-tuples which sets the lower and the upper bound of each debug
-counter @var{name}.  The @var{lower_bound} is optional and is zero
+is a comma-separated list of @var{name}:@var{lower_bound1}-@var{upper_bound1}
+[:@var{lower_bound2}-@var{upper_bound2}...] tuples which sets
+the name of the counter and list of closed intervals.
+The @var{lower_bound} is optional and is zero
 initialized if not set.
-All debug counters have the initial upper bound of @code{UINT_MAX};
-thus @code{dbg_cnt} returns true always unless the upper bound
-is set by this option.
-For example, with @option{-fdbg-cnt=dce:2:4,tail_call:10},
-@code{dbg_cnt(dce)} returns true only for third and fourth invocation.
+For example, with @option{-fdbg-cnt=dce:2-4:10-11,tail_call:10},
+@code{dbg_cnt(dce)} returns true only for second, third, fourth, tenth and
+eleventh invocation.
 For @code{dbg_cnt(tail_call)} true is returned for first 10 invocations.
 
 @item -print-file-name=@var{library}
index cd38237ab3b3b5542f5b913468a0963b618ef73e..1993960909fc7e0489a39290b126c525b92aac5a 100644 (file)
@@ -1,3 +1,8 @@
+2019-11-13  Martin Liska  <mliska@suse.cz>
+
+       * gcc.dg/ipa/ipa-icf-39.c: Update -fdbg-cnt to the new format.
+       * gcc.dg/pr68766.c: Likewise.
+
 2019-11-13  Jan Hubicka  <hubicka@ucw.cz>
 
        * gcc.c-torture/compile/flatten.c: New testcase.
index 83ccd20ac56c820a706f53f4251469e21b37513d..cf03894c4e7b83e135611487fe1968aefb16b81f 100644 (file)
@@ -1,7 +1,6 @@
 /* { dg-do compile } */
 /* { dg-require-alias "" } */
-/* { dg-options "-O2 -fdump-ipa-icf-optimized -fmerge-all-constants -fdbg-cnt=merged_ipa_icf:1:3"  } */
-/* { dg-prune-output "dbg_cnt 'merged_ipa_icf' set to 1-3" } */
+/* { dg-options "-O2 -fdump-ipa-icf-optimized -fmerge-all-constants -fdbg-cnt=merged_ipa_icf:1-2"  } */
 /* { dg-prune-output "\\*\\*\\*dbgcnt:.*limit.*reached" } */
 
 static int a;
index 5308b23d30b4b0a412b24c74e679027e0f7e92bb..82b54d4743b29c5b24d47a3b4536dd17882cbab6 100644 (file)
@@ -1,7 +1,6 @@
 /* { dg-do compile } */
 /* { dg-options "-O2 -ftree-vectorize -fdbg-cnt=vect_loop:1" } */
 /* { dg-additional-options "-mavx2" { target { i?86-*-* x86_64-*-* } } } */
-/* { dg-prune-output "dbg_cnt 'vect_loop' set to 0-1" } */
 /* { dg-prune-output "\\*\\*\\*dbgcnt:.*limit.*reached" } */
 
 int a, b, g, h;