1 /* Debug counter for debugging support
2 Copyright (C) 2006, 2007 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 2, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to the Free
18 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
21 See dbgcnt.def for usage information. */
25 #include "coretypes.h"
29 struct string2counter_map {
31 enum debug_counter counter;
34 #define DEBUG_COUNTER(a) { #a , a },
36 static struct string2counter_map map[debug_counter_number_of_counters] =
42 #define DEBUG_COUNTER(a) UINT_MAX,
43 static unsigned int limit[debug_counter_number_of_counters] =
49 static unsigned int count[debug_counter_number_of_counters];
52 dbg_cnt_is_enabled (enum debug_counter index)
54 return count[index] <= limit[index];
58 dbg_cnt (enum debug_counter index)
61 return dbg_cnt_is_enabled (index);
66 dbg_cnt_set_limit_by_index (enum debug_counter index, int value)
70 fprintf (stderr, "dbg_cnt '%s' set to %d\n", map[index].name, value);
74 dbg_cnt_set_limit_by_name (const char *name, int len, int value)
77 for (i = debug_counter_number_of_counters - 1; i >= 0; i--)
78 if (!strncmp (map[i].name, name, len))
84 dbg_cnt_set_limit_by_index (i, value);
88 dbg_cnt_process_opt (const char *arg)
90 char *colon = strchr (arg, ':');
96 dbg_cnt_set_limit_by_name (arg, colon - arg, atoi (colon + 1));
98 comma = strchr (colon + 1, ',');
101 colon = strchr (comma + 1, ':');
102 if (colon == NULL || !(colon[1] >= '0' && colon[1] <= '9'))
104 dbg_cnt_set_limit_by_name (comma + 1, colon - (comma + 1), atoi (colon + 1));
105 comma = strchr (colon + 1, ',');