| //===- BugDriver.h - Top-Level BugPoint class -------------------*- C++ -*-===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This class contains all of the shared state and information that is used by |
| // the BugPoint tool to track down errors in optimizations. This class is the |
| // main driver class that invokes all sub-functionality. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_TOOLS_BUGPOINT_BUGDRIVER_H |
| #define LLVM_TOOLS_BUGPOINT_BUGDRIVER_H |
| |
| #include "llvm/IR/ValueMap.h" |
| #include "llvm/Support/Error.h" |
| #include "llvm/Support/FileSystem.h" |
| #include "llvm/Transforms/Utils/ValueMapper.h" |
| #include <memory> |
| #include <string> |
| #include <vector> |
| |
| namespace llvm { |
| |
| class Value; |
| class PassInfo; |
| class Module; |
| class GlobalVariable; |
| class Function; |
| class BasicBlock; |
| class AbstractInterpreter; |
| class Instruction; |
| class LLVMContext; |
| |
| class DebugCrashes; |
| |
| class CC; |
| |
| extern bool DisableSimplifyCFG; |
| |
| /// BugpointIsInterrupted - Set to true when the user presses ctrl-c. |
| /// |
| extern bool BugpointIsInterrupted; |
| |
| class BugDriver { |
| LLVMContext &Context; |
| const char *ToolName; // argv[0] of bugpoint |
| std::string ReferenceOutputFile; // Name of `good' output file |
| std::unique_ptr<Module> Program; // The raw program, linked together |
| std::vector<std::string> PassesToRun; |
| AbstractInterpreter *Interpreter; // How to run the program |
| AbstractInterpreter *SafeInterpreter; // To generate reference output, etc. |
| CC *cc; |
| bool run_find_bugs; |
| unsigned Timeout; |
| unsigned MemoryLimit; |
| bool UseValgrind; |
| |
| // FIXME: sort out public/private distinctions... |
| friend class ReducePassList; |
| friend class ReduceMisCodegenFunctions; |
| |
| public: |
| BugDriver(const char *toolname, bool find_bugs, unsigned timeout, |
| unsigned memlimit, bool use_valgrind, LLVMContext &ctxt); |
| ~BugDriver(); |
| |
| const char *getToolName() const { return ToolName; } |
| |
| LLVMContext &getContext() const { return Context; } |
| |
| // Set up methods... these methods are used to copy information about the |
| // command line arguments into instance variables of BugDriver. |
| // |
| bool addSources(const std::vector<std::string> &FileNames); |
| void addPass(std::string p) { PassesToRun.push_back(std::move(p)); } |
| void setPassesToRun(const std::vector<std::string> &PTR) { |
| PassesToRun = PTR; |
| } |
| const std::vector<std::string> &getPassesToRun() const { return PassesToRun; } |
| |
| /// run - The top level method that is invoked after all of the instance |
| /// variables are set up from command line arguments. The \p as_child argument |
| /// indicates whether the driver is to run in parent mode or child mode. |
| /// |
| Error run(); |
| |
| /// debugOptimizerCrash - This method is called when some optimizer pass |
| /// crashes on input. It attempts to prune down the testcase to something |
| /// reasonable, and figure out exactly which pass is crashing. |
| /// |
| Error debugOptimizerCrash(const std::string &ID = "passes"); |
| |
| /// debugCodeGeneratorCrash - This method is called when the code generator |
| /// crashes on an input. It attempts to reduce the input as much as possible |
| /// while still causing the code generator to crash. |
| Error debugCodeGeneratorCrash(); |
| |
| /// debugMiscompilation - This method is used when the passes selected are not |
| /// crashing, but the generated output is semantically different from the |
| /// input. |
| Error debugMiscompilation(); |
| |
| /// debugPassMiscompilation - This method is called when the specified pass |
| /// miscompiles Program as input. It tries to reduce the testcase to |
| /// something that smaller that still miscompiles the program. |
| /// ReferenceOutput contains the filename of the file containing the output we |
| /// are to match. |
| /// |
| bool debugPassMiscompilation(const PassInfo *ThePass, |
| const std::string &ReferenceOutput); |
| |
| /// compileSharedObject - This method creates a SharedObject from a given |
| /// BitcodeFile for debugging a code generator. |
| /// |
| Expected<std::string> compileSharedObject(const std::string &BitcodeFile); |
| |
| /// debugCodeGenerator - This method narrows down a module to a function or |
| /// set of functions, using the CBE as a ``safe'' code generator for other |
| /// functions that are not under consideration. |
| Error debugCodeGenerator(); |
| |
| /// isExecutingJIT - Returns true if bugpoint is currently testing the JIT |
| /// |
| bool isExecutingJIT(); |
| |
| Module &getProgram() const { return *Program; } |
| |
| /// Set the current module to the specified module, returning the old one. |
| std::unique_ptr<Module> swapProgramIn(std::unique_ptr<Module> M); |
| |
| AbstractInterpreter *switchToSafeInterpreter() { |
| AbstractInterpreter *Old = Interpreter; |
| Interpreter = (AbstractInterpreter *)SafeInterpreter; |
| return Old; |
| } |
| |
| void switchToInterpreter(AbstractInterpreter *AI) { Interpreter = AI; } |
| |
| /// If we reduce or update the program somehow, call this method to update |
| /// bugdriver with it. This deletes the old module and sets the specified one |
| /// as the current program. |
| void setNewProgram(std::unique_ptr<Module> M); |
| |
| /// Try to compile the specified module. This is used for code generation |
| /// crash testing. |
| Error compileProgram(Module &M) const; |
| |
| /// This method runs "Program", capturing the output of the program to a file. |
| /// A recommended filename may be optionally specified. |
| Expected<std::string> executeProgram(const Module &Program, |
| std::string OutputFilename, |
| std::string Bitcode, |
| const std::string &SharedObjects, |
| AbstractInterpreter *AI) const; |
| |
| /// Used to create reference output with the "safe" backend, if reference |
| /// output is not provided. If there is a problem with the code generator |
| /// (e.g., llc crashes), this will return false and set Error. |
| Expected<std::string> |
| executeProgramSafely(const Module &Program, |
| const std::string &OutputFile) const; |
| |
| /// Calls compileProgram and then records the output into ReferenceOutputFile. |
| /// Returns true if reference file created, false otherwise. Note: |
| /// initializeExecutionEnvironment should be called BEFORE this function. |
| Error createReferenceFile(Module &M, const std::string &Filename = |
| "bugpoint.reference.out-%%%%%%%"); |
| |
| /// This method executes the specified module and diffs the output against the |
| /// file specified by ReferenceOutputFile. If the output is different, 1 is |
| /// returned. If there is a problem with the code generator (e.g., llc |
| /// crashes), this will return -1 and set Error. |
| Expected<bool> diffProgram(const Module &Program, |
| const std::string &BitcodeFile = "", |
| const std::string &SharedObj = "", |
| bool RemoveBitcode = false) const; |
| |
| /// This function is used to output M to a file named "bugpoint-ID.bc". |
| void EmitProgressBitcode(const Module &M, const std::string &ID, |
| bool NoFlyer = false) const; |
| |
| /// This method clones the current Program and deletes the specified |
| /// instruction from the cloned module. It then runs a series of cleanup |
| /// passes (ADCE and SimplifyCFG) to eliminate any code which depends on the |
| /// value. The modified module is then returned. |
| /// |
| std::unique_ptr<Module> deleteInstructionFromProgram(const Instruction *I, |
| unsigned Simp); |
| |
| /// This method clones the current Program and performs a series of cleanups |
| /// intended to get rid of extra cruft on the module. If the |
| /// MayModifySemantics argument is true, then the cleanups is allowed to |
| /// modify how the code behaves. |
| /// |
| std::unique_ptr<Module> performFinalCleanups(std::unique_ptr<Module> M, |
| bool MayModifySemantics = false); |
| |
| /// Given a module, extract up to one loop from it into a new function. This |
| /// returns null if there are no extractable loops in the program or if the |
| /// loop extractor crashes. |
| std::unique_ptr<Module> extractLoop(Module *M); |
| |
| /// Extract all but the specified basic blocks into their own functions. The |
| /// only detail is that M is actually a module cloned from the one the BBs are |
| /// in, so some mapping needs to be performed. If this operation fails for |
| /// some reason (ie the implementation is buggy), this function should return |
| /// null, otherwise it returns a new Module. |
| std::unique_ptr<Module> |
| extractMappedBlocksFromModule(const std::vector<BasicBlock *> &BBs, |
| Module *M); |
| |
| /// Carefully run the specified set of pass on the specified/ module, |
| /// returning the transformed module on success, or a null pointer on failure. |
| std::unique_ptr<Module> runPassesOn(Module *M, |
| const std::vector<std::string> &Passes, |
| unsigned NumExtraArgs = 0, |
| const char *const *ExtraArgs = nullptr); |
| |
| /// runPasses - Run the specified passes on Program, outputting a bitcode |
| /// file and writting the filename into OutputFile if successful. If the |
| /// optimizations fail for some reason (optimizer crashes), return true, |
| /// otherwise return false. If DeleteOutput is set to true, the bitcode is |
| /// deleted on success, and the filename string is undefined. This prints to |
| /// outs() a single line message indicating whether compilation was successful |
| /// or failed, unless Quiet is set. ExtraArgs specifies additional arguments |
| /// to pass to the child bugpoint instance. |
| /// |
| bool runPasses(Module &Program, const std::vector<std::string> &PassesToRun, |
| std::string &OutputFilename, bool DeleteOutput = false, |
| bool Quiet = false, unsigned NumExtraArgs = 0, |
| const char *const *ExtraArgs = nullptr) const; |
| |
| /// runPasses - Just like the method above, but this just returns true or |
| /// false indicating whether or not the optimizer crashed on the specified |
| /// input (true = crashed). Does not produce any output. |
| /// |
| bool runPasses(Module &M, const std::vector<std::string> &PassesToRun) const { |
| std::string Filename; |
| return runPasses(M, PassesToRun, Filename, true); |
| } |
| |
| /// Take the specified pass list and create different combinations of passes |
| /// to compile the program with. Compile the program with each set and mark |
| /// test to see if it compiled correctly. If the passes compiled correctly |
| /// output nothing and rearrange the passes into a new order. If the passes |
| /// did not compile correctly, output the command required to recreate the |
| /// failure. |
| Error runManyPasses(const std::vector<std::string> &AllPasses); |
| |
| /// This writes the current "Program" to the named bitcode file. If an error |
| /// occurs, true is returned. |
| bool writeProgramToFile(const std::string &Filename, const Module &M) const; |
| bool writeProgramToFile(const std::string &Filename, int FD, |
| const Module &M) const; |
| bool writeProgramToFile(int FD, const Module &M) const; |
| |
| private: |
| /// initializeExecutionEnvironment - This method is used to set up the |
| /// environment for executing LLVM programs. |
| /// |
| Error initializeExecutionEnvironment(); |
| }; |
| |
| struct DiscardTemp { |
| sys::fs::TempFile &File; |
| ~DiscardTemp(); |
| }; |
| |
| /// Given a bitcode or assembly input filename, parse and return it, or return |
| /// null if not possible. |
| /// |
| std::unique_ptr<Module> parseInputFile(StringRef InputFilename, |
| LLVMContext &ctxt); |
| |
| /// getPassesString - Turn a list of passes into a string which indicates the |
| /// command line options that must be passed to add the passes. |
| /// |
| std::string getPassesString(const std::vector<std::string> &Passes); |
| |
| /// PrintFunctionList - prints out list of problematic functions |
| /// |
| void PrintFunctionList(const std::vector<Function *> &Funcs); |
| |
| /// PrintGlobalVariableList - prints out list of problematic global variables |
| /// |
| void PrintGlobalVariableList(const std::vector<GlobalVariable *> &GVs); |
| |
| // DeleteGlobalInitializer - "Remove" the global variable by deleting its |
| // initializer, making it external. |
| // |
| void DeleteGlobalInitializer(GlobalVariable *GV); |
| |
| // DeleteFunctionBody - "Remove" the function by deleting all of it's basic |
| // blocks, making it external. |
| // |
| void DeleteFunctionBody(Function *F); |
| |
| /// Given a module and a list of functions in the module, split the functions |
| /// OUT of the specified module, and place them in the new module. |
| std::unique_ptr<Module> |
| SplitFunctionsOutOfModule(Module *M, const std::vector<Function *> &F, |
| ValueToValueMapTy &VMap); |
| |
| } // End llvm namespace |
| |
| #endif |