Support lower and upper limit for -fdbg-cnt flag.
authorMartin Liska <mliska@suse.cz>
Fri, 18 May 2018 08:42:15 +0000 (10:42 +0200)
committerMartin Liska <marxin@gcc.gnu.org>
Fri, 18 May 2018 08:42:15 +0000 (08:42 +0000)
2018-05-18  Martin Liska  <mliska@suse.cz>

* dbgcnt.c (limit_low): Renamed from limit.
(limit_high): New variable.
(dbg_cnt_is_enabled): Check for upper limit.
(dbg_cnt): Adjust dumping.
(dbg_cnt_set_limit_by_index): Add new argument for high
value.
(dbg_cnt_set_limit_by_name): Likewise.
(dbg_cnt_process_single_pair): Parse new format.
(dbg_cnt_process_opt): Use strtok.
(dbg_cnt_list_all_counters): Remove 'value' and add
'limit_high'.
* doc/invoke.texi: Document changes.
2018-05-18  Martin Liska  <mliska@suse.cz>

* gcc.dg/ipa/ipa-icf-39.c: New test.
* gcc.dg/pr68766.c: Adjust pruned output.

From-SVN: r260349

gcc/ChangeLog
gcc/common.opt
gcc/dbgcnt.c
gcc/doc/invoke.texi
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/ipa/ipa-icf-39.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/pr68766.c

index 9351896f6d3cc146835692ea3337e6283266c224..dc5483625df5159126f84045bdd3471680bb816d 100644 (file)
@@ -1,3 +1,18 @@
+2018-05-18  Martin Liska  <mliska@suse.cz>
+
+       * dbgcnt.c (limit_low): Renamed from limit.
+       (limit_high): New variable.
+       (dbg_cnt_is_enabled): Check for upper limit.
+       (dbg_cnt): Adjust dumping.
+       (dbg_cnt_set_limit_by_index): Add new argument for high
+       value.
+       (dbg_cnt_set_limit_by_name): Likewise.
+       (dbg_cnt_process_single_pair): Parse new format.
+       (dbg_cnt_process_opt): Use strtok.
+       (dbg_cnt_list_all_counters): Remove 'value' and add
+       'limit_high'.
+       * doc/invoke.texi: Document changes.
+
 2018-05-18  Richard Sandiford  <richard.sandiford@linaro.org>
 
        * doc/sourcebuild.texi (scalar_all_fma): Document.
index d6ef85928f33d701dbb8ca48f1e288a3a03c0ad7..13ab5c65d436955edf4095746bfdce7735890b85 100644 (file)
@@ -1171,7 +1171,7 @@ List all available debugging counters with their limits and counts.
 
 fdbg-cnt=
 Common RejectNegative Joined Var(common_deferred_options) Defer
--fdbg-cnt=<counter>:<limit>[,<counter>:<limit>,...]    Set the debug counter limit.
+-fdbg-cnt=<counter>[:<lower_limit>]:<upper_limit>[,<counter>:...]      Set the debug counter limit.
 
 fdebug-prefix-map=
 Common Joined RejectNegative Var(common_deferred_options) Defer
index 96b3df28f5e7faece6896ab33f32c8a8b13aa1ba..ddb0e8e76d9b429ab08aa04640133aa09fa081fb 100644 (file)
@@ -41,53 +41,84 @@ static struct string2counter_map map[debug_counter_number_of_counters] =
 #undef DEBUG_COUNTER
 
 #define DEBUG_COUNTER(a) UINT_MAX,
-static unsigned int limit[debug_counter_number_of_counters] =
+static unsigned int limit_high[debug_counter_number_of_counters] =
 {
 #include "dbgcnt.def"
 };
 #undef DEBUG_COUNTER
 
+static unsigned int limit_low[debug_counter_number_of_counters];
+
 static unsigned int count[debug_counter_number_of_counters];
 
 bool
 dbg_cnt_is_enabled (enum debug_counter index)
 {
-  return count[index] <= limit[index];
+  unsigned v = count[index];
+  return v > limit_low[index] && v <= limit_high[index];
 }
 
 bool
 dbg_cnt (enum debug_counter index)
 {
   count[index]++;
-  if (dump_file && count[index] == limit[index])
-    fprintf (dump_file, "***dbgcnt: limit reached for %s.***\n",
-            map[index].name);
+
+  if (dump_file)
+    {
+      /* Do not print the info for default lower limit.  */
+      if (count[index] == limit_low[index] && limit_low[index] > 0)
+       fprintf (dump_file, "***dbgcnt: lower limit %d reached for %s.***\n",
+                limit_low[index], map[index].name);
+      else if (count[index] == limit_high[index])
+       fprintf (dump_file, "***dbgcnt: upper limit %d reached for %s.***\n",
+                limit_high[index], map[index].name);
+    }
 
   return dbg_cnt_is_enabled (index);
 }
 
-
 static void
-dbg_cnt_set_limit_by_index (enum debug_counter index, int value)
+dbg_cnt_set_limit_by_index (enum debug_counter index, int low, int high)
 {
-  limit[index] = value;
+  limit_low[index] = low;
+  limit_high[index] = high;
 
-  fprintf (stderr, "dbg_cnt '%s' set to %d\n", map[index].name, value);
+  fprintf (stderr, "dbg_cnt '%s' set to %d-%d\n", map[index].name, low, high);
 }
 
 static bool
-dbg_cnt_set_limit_by_name (const char *name, int len, int value)
+dbg_cnt_set_limit_by_name (const char *name, int low, int high)
 {
+  if (high < low)
+    {
+      error ("-fdbg-cnt=%s:%d:%d has smaller upper limit than the lower",
+            name, low, high);
+      return false;
+    }
+
+  if (low < 0)
+    {
+      error ("Lower limit %d of -fdbg-cnt=%s must be a non-negative number", low,
+            name);
+      return false;
+    }
+
+  if (high < 0)
+    {
+      error ("Upper limit %d of -fdbg-cnt=%s must be a non-negative number", high,
+            name);
+      return false;
+    }
+
   int i;
   for (i = debug_counter_number_of_counters - 1; i >= 0; i--)
-    if (strncmp (map[i].name, name, len) == 0
-        && map[i].name[len] == '\0')
+    if (strcmp (map[i].name, name) == 0)
       break;
 
   if (i < 0)
     return false;
 
-  dbg_cnt_set_limit_by_index ((enum debug_counter) i, value);
+  dbg_cnt_set_limit_by_index ((enum debug_counter) i, low, high);
   return true;
 }
 
@@ -96,42 +127,53 @@ dbg_cnt_set_limit_by_name (const char *name, int len, int value)
    Returns NULL if there's no valid pair is found.
    Otherwise returns a pointer to the end of the pair. */
 
-static const char *
+static bool
 dbg_cnt_process_single_pair (const char *arg)
 {
-   const char *colon = strchr (arg, ':');
-   char *endptr = NULL;
-   int value;
-
-   if (colon == NULL)
-     return NULL;
-
-   value = strtol (colon + 1, &endptr, 10);
-
-   if (endptr != NULL && endptr != colon + 1
-       && dbg_cnt_set_limit_by_name (arg, colon - arg, value))
-     return endptr;
-
-   return NULL;
+  char *str = xstrdup (arg);
+  char *name = strtok (str, ":");
+  char *value1 = strtok (NULL, ":");
+  char *value2 = strtok (NULL, ":");
+
+  int high, low;
+
+  if (value1 == NULL)
+    return NULL;
+
+  if (value2 == NULL)
+    {
+      low = 0;
+      high = strtol (value1, NULL, 10);
+    }
+  else
+    {
+      low = strtol (value1, NULL, 10);
+      high = strtol (value2, NULL, 10);
+    }
+
+   return dbg_cnt_set_limit_by_name (name, low, high);
 }
 
 void
 dbg_cnt_process_opt (const char *arg)
 {
-   const char *start = arg;
-   const char *next;
+  char *str = xstrdup (arg);
+  const char *next = strtok (str, ",");
+  unsigned int start = 0;
+
    do {
-     next = dbg_cnt_process_single_pair (arg);
-     if (next == NULL)
+     if (!dbg_cnt_process_single_pair (arg))
        break;
-   } while (*next == ',' && (arg = next + 1));
+     start += strlen (arg) + 1;
+     next = strtok (NULL, ",");
+   } while (next != NULL);
 
-   if (next == NULL || *next != 0)
+   if (next != NULL)
      {
-       char *buffer = XALLOCAVEC (char, arg - start + 2);
-       sprintf (buffer, "%*c", (int)(1 + (arg - start)), '^');
+       char *buffer = XALLOCAVEC (char, start + 2);
+       sprintf (buffer, "%*c", start + 1, '^');
        error ("cannot find a valid counter:value pair:");
-       error ("-fdbg-cnt=%s", start);
+       error ("-fdbg-cnt=%s", next);
        error ("          %s", buffer);
      }
 }
@@ -142,10 +184,11 @@ void
 dbg_cnt_list_all_counters (void)
 {
   int i;
-  printf ("  %-30s %-5s %-5s\n", "counter name",  "limit", "value");
-  printf ("----------------------------------------------\n");
+  printf ("  %-32s %-11s %-12s\n", "counter name",  "low limit",
+         "high limit");
+  printf ("-----------------------------------------------------------------\n");
   for (i = 0; i < debug_counter_number_of_counters; i++)
-    printf ("  %-30s %5d %5u\n",
-            map[i].name, limit[map[i].counter], count[map[i].counter]);
+    printf ("  %-30s %11u %12u\n",
+           map[i].name, limit_low[map[i].counter], limit_high[map[i].counter]);
   printf ("\n");
 }
index 4023197c07c6b9773194c006b5311e619b81c2da..8a3b9c1faa1401aff3c222731e9dc561e9698aa4 100644 (file)
@@ -14331,14 +14331,17 @@ 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 upper bound.  @var{counter-value-list}
-is a comma-separated list of @var{name}:@var{value} pairs
-which sets the upper bound of each debug counter @var{name} to @var{value}.
+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
+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:10,tail_call:0},
-@code{dbg_cnt(dce)} returns true only for first 10 invocations.
+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 @code{dbg_cnt(tail_call)} true is returned for first 10 invocations.
 
 @item -print-file-name=@var{library}
 @opindex print-file-name
index ff49c88158b520410fd7865236536c3b70acf8d3..01b897a33e4dc8dc0233f8522362cad70a7179c7 100644 (file)
@@ -1,3 +1,8 @@
+2018-05-18  Martin Liska  <mliska@suse.cz>
+
+       * gcc.dg/ipa/ipa-icf-39.c: New test.
+       * gcc.dg/pr68766.c: Adjust pruned output.
+
 2018-05-18  Richard Sandiford  <richard.sandiford@linaro.org>
 
        * lib/target-supports.exp (check_effective_target_scalar_all_fma):
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-icf-39.c b/gcc/testsuite/gcc.dg/ipa/ipa-icf-39.c
new file mode 100644 (file)
index 0000000..aa7c287
--- /dev/null
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-ipa-icf -fmerge-all-constants -fdbg-cnt=merged_ipa_icf:1:3"  } */
+/* { dg-prune-output "dbg_cnt 'merged_ipa_icf' set to 1-3" } */
+
+static int a;
+static int b;
+static const int c = 2;
+static const int d = 2;
+static char * e = "test";
+static char * f = "test";
+static int g[3]={1,2,3};
+static int h[3]={1,2,3};
+static const int *i=&c;
+static const int *j=&c;
+static const int *k=&d;
+int t(int tt)
+{
+  switch (tt)
+  {
+    case 1: return a;
+    case 2: return b;
+    case 3: return c;
+    case 4: return d;
+    case 5: return e[1];
+    case 6: return f[1];
+    case 7: return g[1];
+    case 8: return h[1];
+    case 9: return i[0];
+    case 10: return j[0];
+    case 11: return k[0];
+  }
+}
+/* { dg-final { scan-ipa-dump-times "Unified;" 2 "icf"  } } */
index a0d549b946e6d7d6d10732eb1fb825ae4ce38407..83f0e14b7d279a38e7c194ae9e9d7db89aa3e241 100644 (file)
@@ -1,7 +1,7 @@
 /* { 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 1" } */
+/* { dg-prune-output "dbg_cnt 'vect_loop' set to 1-1" } */
 
 int a, b, g, h;
 int c[58];