blob: cd9474a4d918463caae25b80e27b29b3eaa3332d [file] [log] [blame]
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01001//===- llvm/Support/DebugCounter.h - Debug counter support ------*- C++ -*-===//
2//
Andrew Walbran16937d02019-10-22 13:54:20 +01003// 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
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01006//
7//===----------------------------------------------------------------------===//
8/// \file
Andrew Scullcdfcccc2018-10-05 20:58:37 +01009/// This file provides an implementation of debug counters. Debug
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010010/// 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"
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020047#include "llvm/ADT/StringRef.h"
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010048#include "llvm/ADT/UniqueVector.h"
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010049#include "llvm/Support/Debug.h"
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010050#include <string>
51
52namespace llvm {
53
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020054class raw_ostream;
55
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010056class DebugCounter {
57public:
Andrew Walbran16937d02019-10-22 13:54:20 +010058 ~DebugCounter();
59
Andrew Scullcdfcccc2018-10-05 20:58:37 +010060 /// Returns a reference to the singleton instance.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010061 static DebugCounter &instance();
62
63 // Used by the command line option parser to push a new value it parsed.
64 void push_back(const std::string &);
65
66 // Register a counter with the specified name.
67 //
68 // FIXME: Currently, counter registration is required to happen before command
69 // line option parsing. The main reason to register counters is to produce a
70 // nice list of them on the command line, but i'm not sure this is worth it.
71 static unsigned registerCounter(StringRef Name, StringRef Desc) {
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020072 return instance().addCounter(std::string(Name), std::string(Desc));
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010073 }
74 inline static bool shouldExecute(unsigned CounterName) {
Andrew Scullcdfcccc2018-10-05 20:58:37 +010075 if (!isCountingEnabled())
76 return true;
77
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010078 auto &Us = instance();
79 auto Result = Us.Counters.find(CounterName);
80 if (Result != Us.Counters.end()) {
Andrew Scullcdfcccc2018-10-05 20:58:37 +010081 auto &CounterInfo = Result->second;
82 ++CounterInfo.Count;
83
84 // We only execute while the Skip is not smaller than Count,
85 // and the StopAfter + Skip is larger than Count.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010086 // Negative counters always execute.
Andrew Scullcdfcccc2018-10-05 20:58:37 +010087 if (CounterInfo.Skip < 0)
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010088 return true;
Andrew Scullcdfcccc2018-10-05 20:58:37 +010089 if (CounterInfo.Skip >= CounterInfo.Count)
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010090 return false;
Andrew Scullcdfcccc2018-10-05 20:58:37 +010091 if (CounterInfo.StopAfter < 0)
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010092 return true;
Andrew Scullcdfcccc2018-10-05 20:58:37 +010093 return CounterInfo.StopAfter + CounterInfo.Skip >= CounterInfo.Count;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010094 }
95 // Didn't find the counter, should we warn?
96 return true;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010097 }
98
99 // Return true if a given counter had values set (either programatically or on
100 // the command line). This will return true even if those values are
101 // currently in a state where the counter will always execute.
102 static bool isCounterSet(unsigned ID) {
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100103 return instance().Counters[ID].IsSet;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100104 }
105
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100106 // Return the Count for a counter. This only works for set counters.
107 static int64_t getCounterValue(unsigned ID) {
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100108 auto &Us = instance();
109 auto Result = Us.Counters.find(ID);
110 assert(Result != Us.Counters.end() && "Asking about a non-set counter");
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100111 return Result->second.Count;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100112 }
113
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100114 // Set a registered counter to a given Count value.
115 static void setCounterValue(unsigned ID, int64_t Count) {
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100116 auto &Us = instance();
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100117 Us.Counters[ID].Count = Count;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100118 }
119
120 // Dump or print the current counter set into llvm::dbgs().
121 LLVM_DUMP_METHOD void dump() const;
122
123 void print(raw_ostream &OS) const;
124
125 // Get the counter ID for a given named counter, or return 0 if none is found.
126 unsigned getCounterId(const std::string &Name) const {
127 return RegisteredCounters.idFor(Name);
128 }
129
130 // Return the number of registered counters.
131 unsigned int getNumCounters() const { return RegisteredCounters.size(); }
132
133 // Return the name and description of the counter with the given ID.
134 std::pair<std::string, std::string> getCounterInfo(unsigned ID) const {
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100135 return std::make_pair(RegisteredCounters[ID], Counters.lookup(ID).Desc);
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100136 }
137
138 // Iterate through the registered counters
139 typedef UniqueVector<std::string> CounterVector;
140 CounterVector::const_iterator begin() const {
141 return RegisteredCounters.begin();
142 }
143 CounterVector::const_iterator end() const { return RegisteredCounters.end(); }
144
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100145 // Force-enables counting all DebugCounters.
146 //
147 // Since DebugCounters are incompatible with threading (not only do they not
148 // make sense, but we'll also see data races), this should only be used in
149 // contexts where we're certain we won't spawn threads.
150 static void enableAllCounters() { instance().Enabled = true; }
151
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100152private:
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100153 static bool isCountingEnabled() {
154// Compile to nothing when debugging is off
155#ifdef NDEBUG
156 return false;
157#else
158 return instance().Enabled;
159#endif
160 }
161
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100162 unsigned addCounter(const std::string &Name, const std::string &Desc) {
163 unsigned Result = RegisteredCounters.insert(Name);
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100164 Counters[Result] = {};
165 Counters[Result].Desc = Desc;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100166 return Result;
167 }
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100168 // Struct to store counter info.
169 struct CounterInfo {
170 int64_t Count = 0;
171 int64_t Skip = 0;
172 int64_t StopAfter = -1;
173 bool IsSet = false;
174 std::string Desc;
175 };
176 DenseMap<unsigned, CounterInfo> Counters;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100177 CounterVector RegisteredCounters;
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100178
179 // Whether we should do DebugCounting at all. DebugCounters aren't
180 // thread-safe, so this should always be false in multithreaded scenarios.
181 bool Enabled = false;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100182};
183
184#define DEBUG_COUNTER(VARNAME, COUNTERNAME, DESC) \
185 static const unsigned VARNAME = \
186 DebugCounter::registerCounter(COUNTERNAME, DESC)
187
188} // namespace llvm
189#endif