mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-27 08:06:07 +00:00
148 lines
3.9 KiB
C++
148 lines
3.9 KiB
C++
//===-- reduce-chunk-list.cpp - Reduce a chunks list to its minimal size --===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// See the llvm-project/llvm/docs/ProgrammersManual.rst to see how to use this
|
|
// tool
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/ADT/DenseSet.h"
|
|
#include "llvm/Support/CommandLine.h"
|
|
#include "llvm/Support/DebugCounter.h"
|
|
#include "llvm/Support/Program.h"
|
|
|
|
using namespace llvm;
|
|
|
|
static cl::opt<std::string> ReproductionCmd(cl::Positional, cl::Required);
|
|
|
|
static cl::opt<std::string> StartChunks(cl::Positional, cl::Required);
|
|
|
|
static cl::opt<bool> Pessimist("pessimist", cl::init(false));
|
|
|
|
using Chunk = DebugCounter::Chunk;
|
|
|
|
namespace {
|
|
|
|
SmallVector<Chunk> simplifyChunksList(ArrayRef<Chunk> Chunks) {
|
|
SmallVector<Chunk> Res;
|
|
Res.push_back(Chunks.front());
|
|
for (unsigned Idx = 1; Idx < Chunks.size(); Idx++) {
|
|
if (Chunks[Idx].Begin == Res.back().End + 1)
|
|
Res.back().End = Chunks[Idx].End;
|
|
else
|
|
Res.push_back(Chunks[Idx]);
|
|
}
|
|
return Res;
|
|
}
|
|
|
|
bool isStillInteresting(ArrayRef<Chunk> Chunks) {
|
|
SmallVector<Chunk> SimpleChunks = simplifyChunksList(Chunks);
|
|
|
|
std::string ChunkStr;
|
|
{
|
|
raw_string_ostream OS(ChunkStr);
|
|
DebugCounter::printChunks(OS, SimpleChunks);
|
|
}
|
|
|
|
errs() << "Checking with: " << ChunkStr << "\n";
|
|
|
|
std::vector<StringRef> Argv;
|
|
Argv.push_back(ReproductionCmd);
|
|
Argv.push_back(ChunkStr);
|
|
|
|
std::string ErrMsg;
|
|
bool ExecutionFailed;
|
|
int Result = sys::ExecuteAndWait(Argv[0], Argv, std::nullopt, {}, 0, 0,
|
|
&ErrMsg, &ExecutionFailed);
|
|
if (ExecutionFailed) {
|
|
errs() << "failed to execute : " << Argv[0] << " : " << ErrMsg << "\n";
|
|
exit(1);
|
|
}
|
|
|
|
bool Res = Result != 0;
|
|
if (Res) {
|
|
errs() << "SUCCESS : Still Interesting\n";
|
|
} else {
|
|
errs() << "FAILURE : Not Interesting\n";
|
|
}
|
|
return Res;
|
|
}
|
|
|
|
bool increaseGranularity(SmallVector<Chunk> &Chunks) {
|
|
errs() << "Increasing granularity\n";
|
|
SmallVector<Chunk> NewChunks;
|
|
bool SplitOne = false;
|
|
|
|
for (auto &C : Chunks) {
|
|
if (C.Begin == C.End) {
|
|
NewChunks.push_back(C);
|
|
} else {
|
|
int Half = (C.Begin + C.End) / 2;
|
|
NewChunks.push_back({C.Begin, Half});
|
|
NewChunks.push_back({Half + 1, C.End});
|
|
SplitOne = true;
|
|
}
|
|
}
|
|
if (SplitOne) {
|
|
Chunks = std::move(NewChunks);
|
|
}
|
|
return SplitOne;
|
|
}
|
|
|
|
} // namespace
|
|
|
|
int main(int argc, char **argv) {
|
|
cl::ParseCommandLineOptions(argc, argv);
|
|
|
|
SmallVector<Chunk> CurrChunks;
|
|
if (DebugCounter::parseChunks(StartChunks, CurrChunks)) {
|
|
return 1;
|
|
}
|
|
|
|
auto Program = sys::findProgramByName(ReproductionCmd);
|
|
if (!Program) {
|
|
errs() << "failed to find command : " << ReproductionCmd << "\n";
|
|
return 1;
|
|
}
|
|
ReproductionCmd.setValue(Program.get());
|
|
|
|
errs() << "Input Checking:\n";
|
|
if (!isStillInteresting(CurrChunks)) {
|
|
errs() << "starting chunks are not interesting\n";
|
|
return 1;
|
|
}
|
|
if (CurrChunks.size() == 1)
|
|
increaseGranularity(CurrChunks);
|
|
if (Pessimist)
|
|
while (increaseGranularity(CurrChunks))
|
|
/* empty body */;
|
|
while (1) {
|
|
for (int Idx = (CurrChunks.size() - 1); Idx >= 0; Idx--) {
|
|
if (CurrChunks.size() == 1)
|
|
break;
|
|
|
|
Chunk Testing = CurrChunks[Idx];
|
|
errs() << "Trying to remove : ";
|
|
Testing.print(errs());
|
|
errs() << "\n";
|
|
|
|
CurrChunks.erase(CurrChunks.begin() + Idx);
|
|
|
|
if (!isStillInteresting(CurrChunks))
|
|
CurrChunks.insert(CurrChunks.begin() + Idx, Testing);
|
|
}
|
|
bool HasSplit = increaseGranularity(CurrChunks);
|
|
if (!HasSplit)
|
|
break;
|
|
}
|
|
|
|
errs() << "Minimal Chunks = ";
|
|
DebugCounter::printChunks(llvm::errs(), simplifyChunksList(CurrChunks));
|
|
errs() << "\n";
|
|
}
|