1*d46e3734SRalender //===-- reduce-chunk-list.cpp - Reduce a chunks list to its minimal size --===//
2*d46e3734SRalender //
3*d46e3734SRalender // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*d46e3734SRalender // See https://llvm.org/LICENSE.txt for license information.
5*d46e3734SRalender // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*d46e3734SRalender //
7*d46e3734SRalender //===----------------------------------------------------------------------===//
8*d46e3734SRalender //
9*d46e3734SRalender // See the llvm-project/llvm/docs/ProgrammersManual.rst to see how to use this
10*d46e3734SRalender // tool
11*d46e3734SRalender //
12*d46e3734SRalender //===----------------------------------------------------------------------===//
13*d46e3734SRalender
14*d46e3734SRalender #include "llvm/ADT/DenseSet.h"
15*d46e3734SRalender #include "llvm/Support/CommandLine.h"
16*d46e3734SRalender #include "llvm/Support/DebugCounter.h"
17*d46e3734SRalender #include "llvm/Support/Program.h"
18*d46e3734SRalender
19*d46e3734SRalender using namespace llvm;
20*d46e3734SRalender
21*d46e3734SRalender cl::opt<std::string> ReproductionCmd(cl::Positional, cl::Required);
22*d46e3734SRalender
23*d46e3734SRalender cl::opt<std::string> StartChunks(cl::Positional, cl::Required);
24*d46e3734SRalender
25*d46e3734SRalender cl::opt<bool> Pessimist("pessimist", cl::init(false));
26*d46e3734SRalender
27*d46e3734SRalender using Chunk = DebugCounter::Chunk;
28*d46e3734SRalender
29*d46e3734SRalender namespace {
30*d46e3734SRalender
simplifyChunksList(ArrayRef<Chunk> Chunks)31*d46e3734SRalender SmallVector<Chunk> simplifyChunksList(ArrayRef<Chunk> Chunks) {
32*d46e3734SRalender SmallVector<Chunk> Res;
33*d46e3734SRalender Res.push_back(Chunks.front());
34*d46e3734SRalender for (unsigned Idx = 1; Idx < Chunks.size(); Idx++) {
35*d46e3734SRalender if (Chunks[Idx].Begin == Res.back().End + 1)
36*d46e3734SRalender Res.back().End = Chunks[Idx].End;
37*d46e3734SRalender else
38*d46e3734SRalender Res.push_back(Chunks[Idx]);
39*d46e3734SRalender }
40*d46e3734SRalender return Res;
41*d46e3734SRalender }
42*d46e3734SRalender
isStillInteresting(ArrayRef<Chunk> Chunks)43*d46e3734SRalender bool isStillInteresting(ArrayRef<Chunk> Chunks) {
44*d46e3734SRalender SmallVector<Chunk> SimpleChunks = simplifyChunksList(Chunks);
45*d46e3734SRalender
46*d46e3734SRalender std::string ChunkStr;
47*d46e3734SRalender {
48*d46e3734SRalender raw_string_ostream OS(ChunkStr);
49*d46e3734SRalender DebugCounter::printChunks(OS, SimpleChunks);
50*d46e3734SRalender }
51*d46e3734SRalender
52*d46e3734SRalender errs() << "Checking with: " << ChunkStr << "\n";
53*d46e3734SRalender
54*d46e3734SRalender std::vector<StringRef> Argv;
55*d46e3734SRalender Argv.push_back(ReproductionCmd);
56*d46e3734SRalender Argv.push_back(ChunkStr);
57*d46e3734SRalender
58*d46e3734SRalender std::string ErrMsg;
59*d46e3734SRalender bool ExecutionFailed;
60*d46e3734SRalender int Result = sys::ExecuteAndWait(Argv[0], Argv, std::nullopt, {}, 0, 0,
61*d46e3734SRalender &ErrMsg, &ExecutionFailed);
62*d46e3734SRalender if (ExecutionFailed) {
63*d46e3734SRalender errs() << "failed to execute : " << Argv[0] << " : " << ErrMsg << "\n";
64*d46e3734SRalender exit(1);
65*d46e3734SRalender }
66*d46e3734SRalender
67*d46e3734SRalender bool Res = Result != 0;
68*d46e3734SRalender if (Res) {
69*d46e3734SRalender errs() << "SUCCESS : Still Interesting\n";
70*d46e3734SRalender } else {
71*d46e3734SRalender errs() << "FAILURE : Not Interesting\n";
72*d46e3734SRalender }
73*d46e3734SRalender return Res;
74*d46e3734SRalender }
75*d46e3734SRalender
increaseGranularity(SmallVector<Chunk> & Chunks)76*d46e3734SRalender bool increaseGranularity(SmallVector<Chunk> &Chunks) {
77*d46e3734SRalender errs() << "Increasing granularity\n";
78*d46e3734SRalender SmallVector<Chunk> NewChunks;
79*d46e3734SRalender bool SplitOne = false;
80*d46e3734SRalender
81*d46e3734SRalender for (auto &C : Chunks) {
82*d46e3734SRalender if (C.Begin == C.End) {
83*d46e3734SRalender NewChunks.push_back(C);
84*d46e3734SRalender } else {
85*d46e3734SRalender int Half = (C.Begin + C.End) / 2;
86*d46e3734SRalender NewChunks.push_back({C.Begin, Half});
87*d46e3734SRalender NewChunks.push_back({Half + 1, C.End});
88*d46e3734SRalender SplitOne = true;
89*d46e3734SRalender }
90*d46e3734SRalender }
91*d46e3734SRalender if (SplitOne) {
92*d46e3734SRalender Chunks = std::move(NewChunks);
93*d46e3734SRalender }
94*d46e3734SRalender return SplitOne;
95*d46e3734SRalender }
96*d46e3734SRalender
97*d46e3734SRalender } // namespace
98*d46e3734SRalender
main(int argc,char ** argv)99*d46e3734SRalender int main(int argc, char **argv) {
100*d46e3734SRalender cl::ParseCommandLineOptions(argc, argv);
101*d46e3734SRalender
102*d46e3734SRalender SmallVector<Chunk> CurrChunks;
103*d46e3734SRalender if (DebugCounter::parseChunks(StartChunks, CurrChunks)) {
104*d46e3734SRalender return 1;
105*d46e3734SRalender }
106*d46e3734SRalender
107*d46e3734SRalender auto Program = sys::findProgramByName(ReproductionCmd);
108*d46e3734SRalender if (!Program) {
109*d46e3734SRalender errs() << "failed to find command : " << ReproductionCmd << "\n";
110*d46e3734SRalender return 1;
111*d46e3734SRalender }
112*d46e3734SRalender ReproductionCmd.setValue(Program.get());
113*d46e3734SRalender
114*d46e3734SRalender errs() << "Input Checking:\n";
115*d46e3734SRalender if (!isStillInteresting(CurrChunks)) {
116*d46e3734SRalender errs() << "starting chunks are not interesting\n";
117*d46e3734SRalender return 1;
118*d46e3734SRalender }
119*d46e3734SRalender if (CurrChunks.size() == 1)
120*d46e3734SRalender increaseGranularity(CurrChunks);
121*d46e3734SRalender if (Pessimist)
122*d46e3734SRalender while (increaseGranularity(CurrChunks))
123*d46e3734SRalender /* empty body */;
124*d46e3734SRalender while (1) {
125*d46e3734SRalender for (int Idx = (CurrChunks.size() - 1); Idx >= 0; Idx--) {
126*d46e3734SRalender if (CurrChunks.size() == 1)
127*d46e3734SRalender break;
128*d46e3734SRalender
129*d46e3734SRalender Chunk Testing = CurrChunks[Idx];
130*d46e3734SRalender errs() << "Trying to remove : ";
131*d46e3734SRalender Testing.print(errs());
132*d46e3734SRalender errs() << "\n";
133*d46e3734SRalender
134*d46e3734SRalender CurrChunks.erase(CurrChunks.begin() + Idx);
135*d46e3734SRalender
136*d46e3734SRalender if (!isStillInteresting(CurrChunks))
137*d46e3734SRalender CurrChunks.insert(CurrChunks.begin() + Idx, Testing);
138*d46e3734SRalender }
139*d46e3734SRalender bool HasSplit = increaseGranularity(CurrChunks);
140*d46e3734SRalender if (!HasSplit)
141*d46e3734SRalender break;
142*d46e3734SRalender }
143*d46e3734SRalender
144*d46e3734SRalender errs() << "Minimal Chunks = ";
145*d46e3734SRalender DebugCounter::printChunks(llvm::errs(), simplifyChunksList(CurrChunks));
146*d46e3734SRalender errs() << "\n";
147*d46e3734SRalender }
148