summaryrefslogtreecommitdiffstats
path: root/llvm/tools/llvm-reduce
diff options
context:
space:
mode:
authorPetr Hosek <phosek@chromium.org>2019-08-07 05:15:34 +0000
committerPetr Hosek <phosek@chromium.org>2019-08-07 05:15:34 +0000
commit989679c3711a239c73057fb5446eef937935f4ba (patch)
treef75d80be31585354c27f364d1a1a688172f4eba8 /llvm/tools/llvm-reduce
parentb4e5f016c47f85fdb9ffc9c3b5ca9e96575458b2 (diff)
downloadbcm5719-llvm-989679c3711a239c73057fb5446eef937935f4ba.tar.gz
bcm5719-llvm-989679c3711a239c73057fb5446eef937935f4ba.zip
Reverts commit r368117, r368115 and r368112
This reverts commits: "Added Delta IR Reduction Tool" "[Bugpoint redesign] Added Pass to Remove Global Variables" "Added Tool as Dependency to tests & fixed warnings" Reduce/remove-funcs.ll is failing on bots. llvm-svn: 368122
Diffstat (limited to 'llvm/tools/llvm-reduce')
-rw-r--r--llvm/tools/llvm-reduce/CMakeLists.txt25
-rw-r--r--llvm/tools/llvm-reduce/DeltaManager.h30
-rw-r--r--llvm/tools/llvm-reduce/LLVMBuild.txt24
-rw-r--r--llvm/tools/llvm-reduce/TestRunner.cpp40
-rw-r--r--llvm/tools/llvm-reduce/TestRunner.h52
-rw-r--r--llvm/tools/llvm-reduce/deltas/Delta.cpp171
-rw-r--r--llvm/tools/llvm-reduce/deltas/Delta.h75
-rw-r--r--llvm/tools/llvm-reduce/deltas/RemoveFunctions.cpp86
-rw-r--r--llvm/tools/llvm-reduce/deltas/RemoveFunctions.h20
-rw-r--r--llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.cpp79
-rw-r--r--llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.h20
-rw-r--r--llvm/tools/llvm-reduce/llvm-reduce.cpp123
12 files changed, 0 insertions, 745 deletions
diff --git a/llvm/tools/llvm-reduce/CMakeLists.txt b/llvm/tools/llvm-reduce/CMakeLists.txt
deleted file mode 100644
index da58b6fc9ba..00000000000
--- a/llvm/tools/llvm-reduce/CMakeLists.txt
+++ /dev/null
@@ -1,25 +0,0 @@
-set(LLVM_LINK_COMPONENTS
- AllTargetsAsmParsers
- AllTargetsCodeGens
- AllTargetsDescs
- AllTargetsInfos
- IRReader
- Support
- Target
- TransformUtils
- )
-
-# Support plugins.
-set(LLVM_NO_DEAD_STRIP 1)
-
-add_llvm_tool(llvm-reduce
- llvm-reduce.cpp
- TestRunner.cpp
- deltas/Delta.cpp
- deltas/RemoveFunctions.cpp
- deltas/RemoveGlobalVars.cpp
-
- DEPENDS
- intrinsics_gen
- )
-export_executable_symbols(llvm-reduce)
diff --git a/llvm/tools/llvm-reduce/DeltaManager.h b/llvm/tools/llvm-reduce/DeltaManager.h
deleted file mode 100644
index 5a8204de45b..00000000000
--- a/llvm/tools/llvm-reduce/DeltaManager.h
+++ /dev/null
@@ -1,30 +0,0 @@
-//===- DeltaManager.h - Runs Delta Passes to reduce Input -----------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file calls each specialized Delta pass in order to reduce the input IR
-// file.
-//
-//===----------------------------------------------------------------------===//
-
-#include "TestRunner.h"
-#include "deltas/Delta.h"
-#include "deltas/RemoveFunctions.h"
-#include "deltas/RemoveGlobalVars.h"
-
-namespace llvm {
-
-inline void runDeltaPasses(TestRunner &Tester) {
- // TODO: Add option to only call certain delta passes
- outs() << "Reducing functions...\n";
- removeFunctionsDeltaPass(Tester);
- outs() << "Reducing GVs...\n";
- removeGlobalsDeltaPass(Tester);
- // TODO: Implement the remaining Delta Passes
-}
-
-} // namespace llvm
diff --git a/llvm/tools/llvm-reduce/LLVMBuild.txt b/llvm/tools/llvm-reduce/LLVMBuild.txt
deleted file mode 100644
index 7928f050328..00000000000
--- a/llvm/tools/llvm-reduce/LLVMBuild.txt
+++ /dev/null
@@ -1,24 +0,0 @@
-;===- ./tools/llvm-reduce/LLVMBuild.txt ------------------------*- Conf -*--===;
-;
-; 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
-;
-;===------------------------------------------------------------------------===;
-;
-; This is an LLVMBuild description file for the components in this subdirectory.
-;
-; For more information on the LLVMBuild system, please see:
-;
-; http://llvm.org/docs/LLVMBuild.html
-;
-;===------------------------------------------------------------------------===;
-
-[component_0]
-type = Tool
-name = llvm-reduce
-parent = Tools
-required_libraries =
- BitReader
- IRReader
- all-targets
diff --git a/llvm/tools/llvm-reduce/TestRunner.cpp b/llvm/tools/llvm-reduce/TestRunner.cpp
deleted file mode 100644
index 59dc78418f8..00000000000
--- a/llvm/tools/llvm-reduce/TestRunner.cpp
+++ /dev/null
@@ -1,40 +0,0 @@
-//===-- TestRunner.cpp ----------------------------------------------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-
-#include "TestRunner.h"
-
-using namespace llvm;
-
-TestRunner::TestRunner(StringRef TestName, std::vector<std::string> TestArgs,
- StringRef ReducedFilepath, SmallString<128> TmpDirectory)
- : TestName(TestName), TestArgs(TestArgs), ReducedFilepath(ReducedFilepath),
- TmpDirectory(TmpDirectory) {}
-
-/// Runs the interestingness test, passes file to be tested as first argument
-/// and other specified test arguments after that.
-int TestRunner::run(StringRef Filename) {
- std::vector<StringRef> ProgramArgs;
- ProgramArgs.push_back(TestName);
- ProgramArgs.push_back(Filename);
-
- for (unsigned I = 0, E = TestArgs.size(); I != E; ++I)
- ProgramArgs.push_back(TestArgs[I].c_str());
-
- StringRef SR = "";
- Optional<StringRef> Redirects[3] = {SR, SR, SR}; // STDIN, STDOUT, STDERR
- int Result = sys::ExecuteAndWait(TestName, ProgramArgs, None, Redirects);
-
- if (Result < 0) {
- Error E = make_error<StringError>("Error running interesting-ness test\n",
- inconvertibleErrorCode());
- outs() << toString(std::move(E));
- exit(1);
- }
-
- return !Result;
-}
diff --git a/llvm/tools/llvm-reduce/TestRunner.h b/llvm/tools/llvm-reduce/TestRunner.h
deleted file mode 100644
index 8bfab9e3997..00000000000
--- a/llvm/tools/llvm-reduce/TestRunner.h
+++ /dev/null
@@ -1,52 +0,0 @@
-//===-- tools/llvm-reduce/TestRunner.h ---------------------------*- C++ -*-===/
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_TOOLS_LLVMREDUCE_TESTRUNNER_H
-#define LLVM_TOOLS_LLVMREDUCE_TESTRUNNER_H
-
-#include "llvm/ADT/SmallString.h"
-#include "llvm/IR/Module.h"
-#include "llvm/Support/Error.h"
-#include "llvm/Support/Program.h"
-#include <vector>
-
-namespace llvm {
-
-// This class contains all the info necessary for running the provided
-// interesting-ness test, as well as the most reduced module and its
-// respective filename.
-class TestRunner {
-public:
- TestRunner(StringRef TestName, std::vector<std::string> TestArgs,
- StringRef ReducedFilepath, SmallString<128> TmpDirectory);
-
- /// Runs the interesting-ness test for the specified file
- /// @returns 0 if test was successful, 1 if otherwise
- int run(StringRef Filename);
-
- /// Filename to the most reduced testcase
- StringRef getReducedFilepath() const { return ReducedFilepath; }
- /// Directory where tmp files are created
- StringRef getTmpDir() const { return TmpDirectory; }
- /// Returns the most reduced version of the original testcase
- Module *getProgram() const { return Program.get(); }
-
- void setReducedFilepath(SmallString<128> F) { ReducedFilepath = F; }
- void setProgram(std::unique_ptr<Module> P) { Program = std::move(P); }
-
-private:
- SmallString<128> TestName;
- std::vector<std::string> TestArgs;
- SmallString<128> ReducedFilepath;
- SmallString<128> TmpDirectory;
- std::unique_ptr<Module> Program;
-};
-
-} // namespace llvm
-
-#endif
diff --git a/llvm/tools/llvm-reduce/deltas/Delta.cpp b/llvm/tools/llvm-reduce/deltas/Delta.cpp
deleted file mode 100644
index 2b0a2ddc84e..00000000000
--- a/llvm/tools/llvm-reduce/deltas/Delta.cpp
+++ /dev/null
@@ -1,171 +0,0 @@
-//===- Delta.cpp - Delta Debugging Algorithm Implementation ---------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file contains the implementation for the Delta Debugging Algorithm:
-// it splits a given set of Targets (i.e. Functions, Instructions, BBs, etc.)
-// into chunks and tries to reduce the number chunks that are interesting.
-//
-//===----------------------------------------------------------------------===//
-
-#include "Delta.h"
-
-/// Writes IR code to the given Filepath
-static bool writeProgramToFile(StringRef Filepath, int FD, const Module &M) {
- ToolOutputFile Out(Filepath, FD);
- M.print(Out.os(), /*AnnotationWriter=*/nullptr);
- Out.os().close();
-
- if (!Out.os().has_error()) {
- Out.keep();
- return false;
- }
- return true;
-}
-
-/// Creates a temporary (and unique) file inside the tmp folder and writes
-/// the given module IR.
-static SmallString<128> createTmpFile(Module *M, StringRef TmpDir) {
- SmallString<128> UniqueFilepath;
- int UniqueFD;
-
- std::error_code EC = sys::fs::createUniqueFile(TmpDir + "/tmp-%%%.ll",
- UniqueFD, UniqueFilepath);
- if (EC) {
- errs() << "Error making unique filename: " << EC.message() << "!\n";
- exit(1);
- }
-
- if (writeProgramToFile(UniqueFilepath, UniqueFD, *M)) {
- errs() << "Error emitting bitcode to file '" << UniqueFilepath << "'!\n";
- exit(1);
- }
- return UniqueFilepath;
-}
-
-/// Prints the Chunk Indexes with the following format: [start, end], if
-/// chunk is at minimum size (1), then it just displays [start].
-static void printChunks(std::vector<Chunk> Chunks, bool Oneline = false) {
- for (auto C : Chunks) {
- if (!Oneline)
- outs() << '\t';
- outs() << "[" << C.begin;
- if (C.end - C.begin != 0)
- outs() << "," << C.end;
- outs() << "]";
- if (!Oneline)
- outs() << '\n';
- }
-}
-
-/// Counts the amount of lines for a given file
-static unsigned getLines(StringRef Filepath) {
- unsigned Lines = 0;
- std::string CurrLine;
- std::ifstream FileStream(Filepath);
-
- while (std::getline(FileStream, CurrLine))
- ++Lines;
-
- return Lines;
-}
-
-/// Splits Chunks in half and prints them.
-/// If unable to split (when chunk size is 1) returns false.
-static bool increaseGranularity(std::vector<Chunk> &Chunks) {
- outs() << "Increasing granularity...";
- std::vector<Chunk> NewChunks;
- bool SplitOne = false;
-
- for (auto &C : Chunks) {
- if (C.end - C.begin == 0)
- NewChunks.push_back(C);
- else {
- unsigned Half = (C.begin + C.end) / 2;
- NewChunks.push_back({C.begin, Half});
- NewChunks.push_back({Half + 1, C.end});
- SplitOne = true;
- }
- }
- if (SplitOne) {
- Chunks = NewChunks;
- outs() << "Success! New Chunks:\n";
- printChunks(Chunks);
- }
- return SplitOne;
-}
-
-void llvm::runDeltaPass(
- TestRunner &Test, unsigned Targets,
- std::function<std::unique_ptr<Module>(std::vector<Chunk>, Module *)>
- ExtractChunksFromModule) {
- if (!Targets)
- return;
-
- std::vector<Chunk> Chunks = {{1, Targets}};
- std::set<Chunk> UninterestingChunks;
- std::unique_ptr<Module> ReducedProgram;
-
- if (!Test.run(Test.getReducedFilepath()) || !increaseGranularity(Chunks)) {
- outs() << "\nCouldn't reduce\n";
- outs() << "----------------------------\n";
- return;
- }
-
- do {
- UninterestingChunks = {};
- for (int I = Chunks.size() - 1; I >= 0; --I) {
- std::vector<Chunk> CurrentChunks;
-
- for (auto C : Chunks)
- if (!UninterestingChunks.count(C) && C != Chunks[I])
- CurrentChunks.push_back(C);
-
- if (CurrentChunks.empty())
- break;
-
- // Generate Module with only Targets inside Current Chunks
- std::unique_ptr<Module> CurrentProgram =
- ExtractChunksFromModule(CurrentChunks, Test.getProgram());
- // Write Module to tmp file
- SmallString<128> CurrentFilepath =
- createTmpFile(CurrentProgram.get(), Test.getTmpDir());
-
- outs() << "Testing with: ";
- printChunks(CurrentChunks, /*Oneline=*/true);
- outs() << " | " << sys::path::filename(CurrentFilepath);
-
- // Current Chunks aren't interesting
- if (!Test.run(CurrentFilepath)) {
- outs() << "\n";
- continue;
- }
- // We only care about interesting chunks if they reduce the testcase
- if (getLines(CurrentFilepath) < getLines(Test.getReducedFilepath())) {
- UninterestingChunks.insert(Chunks[I]);
- Test.setReducedFilepath(CurrentFilepath);
- ReducedProgram = std::move(CurrentProgram);
- outs() << " **** SUCCESS | lines: " << getLines(CurrentFilepath);
- }
- outs() << "\n";
- }
- // Delete uninteresting chunks
- auto UnwantedChunks = Chunks.end();
- UnwantedChunks = std::remove_if(Chunks.begin(), Chunks.end(),
- [UninterestingChunks](const Chunk &C) {
- return UninterestingChunks.count(C);
- });
- Chunks.erase(UnwantedChunks, Chunks.end());
-
- } while (!UninterestingChunks.empty() || increaseGranularity(Chunks));
-
- // If we reduced the testcase replace it
- if (ReducedProgram)
- Test.setProgram(std::move(ReducedProgram));
- outs() << "Couldn't increase anymore.\n";
- outs() << "----------------------------\n";
-} \ No newline at end of file
diff --git a/llvm/tools/llvm-reduce/deltas/Delta.h b/llvm/tools/llvm-reduce/deltas/Delta.h
deleted file mode 100644
index 3c807321967..00000000000
--- a/llvm/tools/llvm-reduce/deltas/Delta.h
+++ /dev/null
@@ -1,75 +0,0 @@
-//===- Delta.h - Delta Debugging Algorithm Implementation -----------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file contains the implementation for the Delta Debugging Algorithm:
-// it splits a given set of Targets (i.e. Functions, Instructions, BBs, etc.)
-// into chunks and tries to reduce the number chunks that are interesting.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_TOOLS_LLVMREDUCE_LLVMREDUCE_DELTA_H
-#define LLVM_TOOLS_LLVMREDUCE_LLVMREDUCE_DELTA_H
-
-#include "../TestRunner.h"
-#include "llvm/IR/Verifier.h"
-#include "llvm/Support/FileSystem.h"
-#include "llvm/Support/Path.h"
-#include "llvm/Support/ScopedPrinter.h"
-#include "llvm/Support/ToolOutputFile.h"
-#include <fstream>
-#include <set>
-#include <vector>
-
-using namespace llvm;
-
-struct Chunk {
- unsigned begin;
- unsigned end;
-
- /// Operator when populating CurrentChunks in Generic Delta Pass
- friend bool operator!=(const Chunk &C1, const Chunk &C2) {
- return C1.begin != C2.begin && C1.end != C2.end;
- }
-
- /// Operator used for sets
- friend bool operator<(const Chunk &C1, const Chunk &C2) {
- return C1.begin < C2.begin;
- }
-};
-
-namespace llvm {
-
-/// This function implements the Delta Debugging algorithm, it receives a
-/// number of Targets (e.g. Functions, Instructions, Basic Blocks, etc.) and
-/// splits them in half; these chunks of targets are then tested while ignoring
-/// one chunk, if a chunk is proven to be uninteresting (i.e. fails the test)
-/// it is removed from consideration. The algorithm will attempt to split the
-/// Chunks in half and start the process again until it can't split chunks
-/// anymore.
-///
-/// This function is intended to be called by each specialized delta pass (e.g.
-/// RemoveFunctions) and receives three key parameters:
-/// * Test: The main TestRunner instance which is used to run the provided
-/// interesting-ness test, as well as to store and access the reduced Program.
-/// * Targets: The amount of Targets that are going to be reduced by the
-/// algorithm, for example, the RemoveGlobalVars pass would send the amount of
-/// initialized GVs.
-/// * ExtractChunksFromModule: A function used to tailor the main program so it
-/// only contains Targets that are inside Chunks of the given iteration.
-/// Note: This function is implemented by each specialized Delta pass
-///
-/// Other implementations of the Delta Debugging algorithm can also be found in
-/// the CReduce, Delta, and Lithium projects.
-void runDeltaPass(
- TestRunner &Test, unsigned Targets,
- std::function<std::unique_ptr<Module>(std::vector<Chunk>, Module *)>
- ExtractChunksFromModule);
-
-} // namespace llvm
-
-#endif
diff --git a/llvm/tools/llvm-reduce/deltas/RemoveFunctions.cpp b/llvm/tools/llvm-reduce/deltas/RemoveFunctions.cpp
deleted file mode 100644
index bed8e2b792f..00000000000
--- a/llvm/tools/llvm-reduce/deltas/RemoveFunctions.cpp
+++ /dev/null
@@ -1,86 +0,0 @@
-//===- RemoveFunctions.cpp - Specialized Delta Pass -----------------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file implements a function which calls the Generic Delta pass in order
-// to reduce functions (and any instruction that calls it) in the provided
-// Module.
-//
-//===----------------------------------------------------------------------===//
-
-#include "RemoveFunctions.h"
-
-/// Removes all the Defined Functions (as well as their calls)
-/// that aren't inside any of the desired Chunks.
-/// @returns the Module stripped of out-of-chunk functions
-static std::unique_ptr<Module>
-extractFunctionsFromModule(std::vector<Chunk> ChunksToKeep, Module *Program) {
- std::unique_ptr<Module> Clone = CloneModule(*Program);
-
- // Get functions inside desired chunks
- std::set<Function *> FuncsToKeep;
- unsigned I = 0, FunctionCount = 1;
- for (auto &F : *Clone) {
- if (!F.isDeclaration() && I < ChunksToKeep.size()) {
- if (FunctionCount >= ChunksToKeep[I].begin &&
- FunctionCount <= ChunksToKeep[I].end)
- FuncsToKeep.insert(&F);
- if (FunctionCount == ChunksToKeep[I].end)
- ++I;
- ++FunctionCount;
- }
- }
-
- // Delete out-of-chunk functions, and replace their calls with undef
- std::vector<Function *> FuncsToRemove;
- for (auto &F : *Clone) {
- if (!F.isDeclaration() && !FuncsToKeep.count(&F)) {
- F.replaceAllUsesWith(UndefValue::get(F.getType()));
- FuncsToRemove.push_back(&F);
- }
- }
- for (auto *F : FuncsToRemove)
- F->eraseFromParent();
-
- // Delete instructions with undef calls
- std::vector<Instruction *> InstToRemove;
- for (auto &F : *Clone)
- for (auto &BB : F)
- for (auto &I : BB)
- if (auto *Call = dyn_cast<CallInst>(&I))
- if (!Call->getCalledFunction()) {
- // Instruction might be stored / used somewhere else
- I.replaceAllUsesWith(UndefValue::get(I.getType()));
- InstToRemove.push_back(&I);
- }
-
- for (auto *I : InstToRemove)
- I->eraseFromParent();
-
- return Clone;
-}
-
-/// Counts the amount of non-declaration functions and prints their
-/// respective name & index
-static int countFunctions(Module *Program) {
- // TODO: Silence index with --quiet flag
- outs() << "----------------------------\n";
- outs() << "Function Index Reference:\n";
- int FunctionCount = 0;
- for (auto &F : *Program)
- if (!F.isDeclaration()) {
- ++FunctionCount;
- outs() << "\t" << FunctionCount << ": " << F.getName() << "\n";
- }
- outs() << "----------------------------\n";
- return FunctionCount;
-}
-
-void llvm::removeFunctionsDeltaPass(TestRunner &Test) {
- int FunctionCount = countFunctions(Test.getProgram());
- runDeltaPass(Test, FunctionCount, extractFunctionsFromModule);
-} \ No newline at end of file
diff --git a/llvm/tools/llvm-reduce/deltas/RemoveFunctions.h b/llvm/tools/llvm-reduce/deltas/RemoveFunctions.h
deleted file mode 100644
index ca7b55c982f..00000000000
--- a/llvm/tools/llvm-reduce/deltas/RemoveFunctions.h
+++ /dev/null
@@ -1,20 +0,0 @@
-//===- RemoveFunctions.h - Specialized Delta Pass -------------------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file implements a function which calls the Generic Delta pass in order
-// to reduce functions (and any instruction that calls it) in the provided
-// Module.
-//
-//===----------------------------------------------------------------------===//
-
-#include "Delta.h"
-#include "llvm/Transforms/Utils/Cloning.h"
-
-namespace llvm {
-void removeFunctionsDeltaPass(TestRunner &Test);
-} // namespace llvm
diff --git a/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.cpp b/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.cpp
deleted file mode 100644
index cd169073992..00000000000
--- a/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.cpp
+++ /dev/null
@@ -1,79 +0,0 @@
-//===- RemoveGlobalVars.cpp - Specialized Delta Pass ----------------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file implements a function which calls the Generic Delta pass in order
-// to reduce initialized Global Variables in the provided Module.
-//
-//===----------------------------------------------------------------------===//
-
-#include "RemoveGlobalVars.h"
-
-/// Removes all the Initialized GVs that aren't inside the desired Chunks.
-/// @returns the Module stripped of out-of-chunk GVs
-static std::unique_ptr<Module>
-extractGVsFromModule(std::vector<Chunk> ChunksToKeep, Module *Program) {
- std::unique_ptr<Module> Clone = CloneModule(*Program);
-
- // Get GVs inside desired chunks
- std::set<GlobalVariable *> GVsToKeep;
- unsigned I = 0, GVCount = 1;
- for (auto &GV : Clone->globals()) {
- if (GV.hasInitializer() && I < ChunksToKeep.size()) {
- if (GVCount >= ChunksToKeep[I].begin && GVCount <= ChunksToKeep[I].end)
- GVsToKeep.insert(&GV);
- if (GVCount == ChunksToKeep[I].end)
- ++I;
- ++GVCount;
- }
- }
-
- // Replace out-of-chunk GV uses with undef
- std::vector<GlobalVariable *> ToRemove;
- std::vector<Instruction *> InstToRemove;
- for (auto &GV : Clone->globals())
- if (GV.hasInitializer() && !GVsToKeep.count(&GV)) {
- for (auto U : GV.users())
- if (auto *Inst = dyn_cast<Instruction>(U))
- InstToRemove.push_back(Inst);
-
- GV.replaceAllUsesWith(UndefValue::get(GV.getType()));
- ToRemove.push_back(&GV);
- }
-
- // Delete Instruction uses of unwanted GVs
- for (auto *Inst : InstToRemove) {
- Inst->replaceAllUsesWith(UndefValue::get(Inst->getType()));
- Inst->eraseFromParent();
- }
-
- for (auto *GV : ToRemove)
- GV->eraseFromParent();
-
- return Clone;
-}
-
-/// Counts the amount of initialized GVs and displays their
-/// respective name & index
-static int countGVs(Module *Program) {
- // TODO: Silence index with --quiet flag
- outs() << "----------------------------\n";
- outs() << "GlobalVariable Index Reference:\n";
- int GVCount = 0;
- for (auto &GV : Program->globals())
- if (GV.hasInitializer()) {
- ++GVCount;
- outs() << "\t" << GVCount << ": " << GV.getName() << "\n";
- }
- outs() << "----------------------------\n";
- return GVCount;
-}
-
-void llvm::removeGlobalsDeltaPass(TestRunner &Test) {
- int GVCount = countGVs(Test.getProgram());
- runDeltaPass(Test, GVCount, extractGVsFromModule);
-}
diff --git a/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.h b/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.h
deleted file mode 100644
index b53f4e78d4c..00000000000
--- a/llvm/tools/llvm-reduce/deltas/RemoveGlobalVars.h
+++ /dev/null
@@ -1,20 +0,0 @@
-//===- RemoveGlobalVars.h - Specialized Delta Pass ------------------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This file implements a function which calls the Generic Delta pass in order
-// to reduce initialized Global Variables in the provided Module.
-//
-//===----------------------------------------------------------------------===//
-
-#include "Delta.h"
-#include "llvm/IR/Value.h"
-#include "llvm/Transforms/Utils/Cloning.h"
-
-namespace llvm {
-void removeGlobalsDeltaPass(TestRunner &Test);
-} // namespace llvm
diff --git a/llvm/tools/llvm-reduce/llvm-reduce.cpp b/llvm/tools/llvm-reduce/llvm-reduce.cpp
deleted file mode 100644
index d7da0d88eea..00000000000
--- a/llvm/tools/llvm-reduce/llvm-reduce.cpp
+++ /dev/null
@@ -1,123 +0,0 @@
-//===- llvm-reduce.cpp - The LLVM Delta Reduction utility -----------------===//
-//
-// 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
-//
-//===----------------------------------------------------------------------===//
-//
-// This program tries to reduce an IR test case for a given interesting-ness
-// test. It runs multiple delta debugging passes in order to minimize the input
-// file. It's worth noting that this is a part of the bugpoint redesign
-// proposal, and thus a *temporary* tool that will eventually be integrated
-// into the bugpoint tool itself.
-//
-//===----------------------------------------------------------------------===//
-
-#include "DeltaManager.h"
-#include "llvm/ADT/SmallString.h"
-#include "llvm/IR/LLVMContext.h"
-#include "llvm/IR/Verifier.h"
-#include "llvm/IRReader/IRReader.h"
-#include "llvm/Support/CommandLine.h"
-#include "llvm/Support/InitLLVM.h"
-#include "llvm/Support/SourceMgr.h"
-#include "llvm/Support/raw_ostream.h"
-#include <system_error>
-#include <vector>
-
-using namespace llvm;
-
-static cl::opt<bool> Help("h", cl::desc("Alias for -help"), cl::Hidden);
-static cl::opt<bool> Version("v", cl::desc("Alias for -version"), cl::Hidden);
-
-static cl::opt<std::string> InputFilename(cl::Positional, cl::Required,
- cl::desc("<input llvm ll/bc file>"));
-
-static cl::opt<std::string>
- TestFilename("test", cl::Required,
- cl::desc("Name of the interesting-ness test to be run"));
-
-static cl::list<std::string>
- TestArguments("test-arg", cl::ZeroOrMore,
- cl::desc("Arguments passed onto the interesting-ness test"));
-
-static cl::opt<std::string>
- OutputFilename("output",
- cl::desc("Specify the output file. default: reduced.ll"));
-static cl::alias OutputFileAlias("o", cl::desc("Alias for -output"),
- cl::aliasopt(OutputFilename));
-
-static cl::opt<bool>
- ReplaceInput("in-place",
- cl::desc("WARNING: This option will replace your input file"
- "with the reduced version!"));
-
-// Parses IR into a Module and verifies it
-static std::unique_ptr<Module> parseInputFile(StringRef Filename,
- LLVMContext &Ctxt) {
- SMDiagnostic Err;
- std::unique_ptr<Module> Result = parseIRFile(Filename, Err, Ctxt);
- if (!Result) {
- Err.print("llvm-reduce", errs());
- return Result;
- }
-
- if (verifyModule(*Result, &errs())) {
- errs() << "Error: " << Filename << " - input module is broken!\n";
- return std::unique_ptr<Module>();
- }
-
- return Result;
-}
-
-/// Gets Current Working Directory and tries to create a Tmp Directory
-static SmallString<128> initializeTmpDirectory() {
- SmallString<128> CWD;
- if (std::error_code EC = sys::fs::current_path(CWD)) {
- errs() << "Error getting current directory: " << EC.message() << "!\n";
- exit(1);
- }
-
- SmallString<128> TmpDirectory;
- sys::path::append(TmpDirectory, CWD, "tmp");
- if (std::error_code EC = sys::fs::create_directory(TmpDirectory))
- errs() << "Error creating tmp directory: " << EC.message() << "!\n";
-
- return TmpDirectory;
-}
-
-int main(int argc, char **argv) {
- InitLLVM X(argc, argv);
-
- cl::ParseCommandLineOptions(argc, argv, "LLVM automatic testcase reducer.\n");
-
- LLVMContext Context;
- std::unique_ptr<Module> OriginalProgram =
- parseInputFile(InputFilename, Context);
-
- // Initialize test environment
- SmallString<128> TmpDirectory = initializeTmpDirectory();
- TestRunner Tester(TestFilename, TestArguments, InputFilename, TmpDirectory);
- Tester.setProgram(std::move(OriginalProgram));
-
- // Try to reduce code
- runDeltaPasses(Tester);
- StringRef ReducedFilename = sys::path::filename(Tester.getReducedFilepath());
-
- if (ReducedFilename == InputFilename) {
- outs() << "\nCouldnt reduce input :/\n";
- } else {
- if (ReplaceInput) // In-place
- OutputFilename = InputFilename.c_str();
- else if (OutputFilename.empty())
- OutputFilename = "reduced.ll";
- else
- OutputFilename += ".ll";
-
- sys::fs::copy_file(Tester.getReducedFilepath(), OutputFilename);
- outs() << "\nDone reducing! Reduced IR to file: " << OutputFilename << "\n";
- }
-
- return 0;
-}
OpenPOWER on IntegriCloud