Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- llvm/Support/DebugCounter.h - Debug counter support ------*- C++ -*-===// |
2 | // |
||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
4 | // See https://llvm.org/LICENSE.txt for license information. |
||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | /// \file |
||
9 | /// This file provides an implementation of debug counters. Debug |
||
10 | /// counters are a tool that let you narrow down a miscompilation to a specific |
||
11 | /// thing happening. |
||
12 | /// |
||
13 | /// To give a use case: Imagine you have a file, very large, and you |
||
14 | /// are trying to understand the minimal transformation that breaks it. Bugpoint |
||
15 | /// and bisection is often helpful here in narrowing it down to a specific pass, |
||
16 | /// but it's still a very large file, and a very complicated pass to try to |
||
17 | /// debug. That is where debug counting steps in. You can instrument the pass |
||
18 | /// with a debug counter before it does a certain thing, and depending on the |
||
19 | /// counts, it will either execute that thing or not. The debug counter itself |
||
20 | /// consists of a skip and a count. Skip is the number of times shouldExecute |
||
21 | /// needs to be called before it returns true. Count is the number of times to |
||
22 | /// return true once Skip is 0. So a skip=47, count=2 ,would skip the first 47 |
||
23 | /// executions by returning false from shouldExecute, then execute twice, and |
||
24 | /// then return false again. |
||
25 | /// Note that a counter set to a negative number will always execute. |
||
26 | /// For a concrete example, during predicateinfo creation, the renaming pass |
||
27 | /// replaces each use with a renamed use. |
||
28 | //// |
||
29 | /// If I use DEBUG_COUNTER to create a counter called "predicateinfo", and |
||
30 | /// variable name RenameCounter, and then instrument this renaming with a debug |
||
31 | /// counter, like so: |
||
32 | /// |
||
33 | /// if (!DebugCounter::shouldExecute(RenameCounter) |
||
34 | /// <continue or return or whatever not executing looks like> |
||
35 | /// |
||
36 | /// Now I can, from the command line, make it rename or not rename certain uses |
||
37 | /// by setting the skip and count. |
||
38 | /// So for example |
||
39 | /// bin/opt -debug-counter=predicateinfo-skip=47,predicateinfo-count=1 |
||
40 | /// will skip renaming the first 47 uses, then rename one, then skip the rest. |
||
41 | //===----------------------------------------------------------------------===// |
||
42 | |||
43 | #ifndef LLVM_SUPPORT_DEBUGCOUNTER_H |
||
44 | #define LLVM_SUPPORT_DEBUGCOUNTER_H |
||
45 | |||
46 | #include "llvm/ADT/DenseMap.h" |
||
47 | #include "llvm/ADT/StringRef.h" |
||
48 | #include "llvm/ADT/UniqueVector.h" |
||
49 | #include "llvm/Support/Debug.h" |
||
50 | #include <string> |
||
51 | |||
52 | namespace llvm { |
||
53 | |||
54 | class raw_ostream; |
||
55 | |||
56 | class DebugCounter { |
||
57 | public: |
||
58 | /// Returns a reference to the singleton instance. |
||
59 | static DebugCounter &instance(); |
||
60 | |||
61 | // Used by the command line option parser to push a new value it parsed. |
||
62 | void push_back(const std::string &); |
||
63 | |||
64 | // Register a counter with the specified name. |
||
65 | // |
||
66 | // FIXME: Currently, counter registration is required to happen before command |
||
67 | // line option parsing. The main reason to register counters is to produce a |
||
68 | // nice list of them on the command line, but i'm not sure this is worth it. |
||
69 | static unsigned registerCounter(StringRef Name, StringRef Desc) { |
||
70 | return instance().addCounter(std::string(Name), std::string(Desc)); |
||
71 | } |
||
72 | inline static bool shouldExecute(unsigned CounterName) { |
||
73 | if (!isCountingEnabled()) |
||
74 | return true; |
||
75 | |||
76 | auto &Us = instance(); |
||
77 | auto Result = Us.Counters.find(CounterName); |
||
78 | if (Result != Us.Counters.end()) { |
||
79 | auto &CounterInfo = Result->second; |
||
80 | ++CounterInfo.Count; |
||
81 | |||
82 | // We only execute while the Skip is not smaller than Count, |
||
83 | // and the StopAfter + Skip is larger than Count. |
||
84 | // Negative counters always execute. |
||
85 | if (CounterInfo.Skip < 0) |
||
86 | return true; |
||
87 | if (CounterInfo.Skip >= CounterInfo.Count) |
||
88 | return false; |
||
89 | if (CounterInfo.StopAfter < 0) |
||
90 | return true; |
||
91 | return CounterInfo.StopAfter + CounterInfo.Skip >= CounterInfo.Count; |
||
92 | } |
||
93 | // Didn't find the counter, should we warn? |
||
94 | return true; |
||
95 | } |
||
96 | |||
97 | // Return true if a given counter had values set (either programatically or on |
||
98 | // the command line). This will return true even if those values are |
||
99 | // currently in a state where the counter will always execute. |
||
100 | static bool isCounterSet(unsigned ID) { |
||
101 | return instance().Counters[ID].IsSet; |
||
102 | } |
||
103 | |||
104 | // Return the Count for a counter. This only works for set counters. |
||
105 | static int64_t getCounterValue(unsigned ID) { |
||
106 | auto &Us = instance(); |
||
107 | auto Result = Us.Counters.find(ID); |
||
108 | assert(Result != Us.Counters.end() && "Asking about a non-set counter"); |
||
109 | return Result->second.Count; |
||
110 | } |
||
111 | |||
112 | // Set a registered counter to a given Count value. |
||
113 | static void setCounterValue(unsigned ID, int64_t Count) { |
||
114 | auto &Us = instance(); |
||
115 | Us.Counters[ID].Count = Count; |
||
116 | } |
||
117 | |||
118 | // Dump or print the current counter set into llvm::dbgs(). |
||
119 | LLVM_DUMP_METHOD void dump() const; |
||
120 | |||
121 | void print(raw_ostream &OS) const; |
||
122 | |||
123 | // Get the counter ID for a given named counter, or return 0 if none is found. |
||
124 | unsigned getCounterId(const std::string &Name) const { |
||
125 | return RegisteredCounters.idFor(Name); |
||
126 | } |
||
127 | |||
128 | // Return the number of registered counters. |
||
129 | unsigned int getNumCounters() const { return RegisteredCounters.size(); } |
||
130 | |||
131 | // Return the name and description of the counter with the given ID. |
||
132 | std::pair<std::string, std::string> getCounterInfo(unsigned ID) const { |
||
133 | return std::make_pair(RegisteredCounters[ID], Counters.lookup(ID).Desc); |
||
134 | } |
||
135 | |||
136 | // Iterate through the registered counters |
||
137 | typedef UniqueVector<std::string> CounterVector; |
||
138 | CounterVector::const_iterator begin() const { |
||
139 | return RegisteredCounters.begin(); |
||
140 | } |
||
141 | CounterVector::const_iterator end() const { return RegisteredCounters.end(); } |
||
142 | |||
143 | // Force-enables counting all DebugCounters. |
||
144 | // |
||
145 | // Since DebugCounters are incompatible with threading (not only do they not |
||
146 | // make sense, but we'll also see data races), this should only be used in |
||
147 | // contexts where we're certain we won't spawn threads. |
||
148 | static void enableAllCounters() { instance().Enabled = true; } |
||
149 | |||
150 | static bool isCountingEnabled() { |
||
151 | // Compile to nothing when debugging is off |
||
152 | #ifdef NDEBUG |
||
153 | return false; |
||
154 | #else |
||
155 | return instance().Enabled; |
||
156 | #endif |
||
157 | } |
||
158 | |||
159 | private: |
||
160 | unsigned addCounter(const std::string &Name, const std::string &Desc) { |
||
161 | unsigned Result = RegisteredCounters.insert(Name); |
||
162 | Counters[Result] = {}; |
||
163 | Counters[Result].Desc = Desc; |
||
164 | return Result; |
||
165 | } |
||
166 | // Struct to store counter info. |
||
167 | struct CounterInfo { |
||
168 | int64_t Count = 0; |
||
169 | int64_t Skip = 0; |
||
170 | int64_t StopAfter = -1; |
||
171 | bool IsSet = false; |
||
172 | std::string Desc; |
||
173 | }; |
||
174 | DenseMap<unsigned, CounterInfo> Counters; |
||
175 | CounterVector RegisteredCounters; |
||
176 | |||
177 | // Whether we should do DebugCounting at all. DebugCounters aren't |
||
178 | // thread-safe, so this should always be false in multithreaded scenarios. |
||
179 | bool Enabled = false; |
||
180 | }; |
||
181 | |||
182 | #define DEBUG_COUNTER(VARNAME, COUNTERNAME, DESC) \ |
||
183 | static const unsigned VARNAME = \ |
||
184 | DebugCounter::registerCounter(COUNTERNAME, DESC) |
||
185 | |||
186 | } // namespace llvm |
||
187 | #endif |