blob: 0e6a9b4f2f38d0dcab5bac47f55f45e930bfc89b [file] [log] [blame]
Chris Lattner73a6bdd2002-11-20 22:28:10 +00001//===- BugDriver.h - Top-Level BugPoint class -------------------*- C++ -*-===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswell09344dc2003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner345353d2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswell09344dc2003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner73a6bdd2002-11-20 22:28:10 +00009//
10// This class contains all of the shared state and information that is used by
11// the BugPoint tool to track down errors in optimizations. This class is the
12// main driver class that invokes all sub-functionality.
13//
14//===----------------------------------------------------------------------===//
15
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000016#ifndef LLVM_TOOLS_BUGPOINT_BUGDRIVER_H
17#define LLVM_TOOLS_BUGPOINT_BUGDRIVER_H
Chris Lattner73a6bdd2002-11-20 22:28:10 +000018
Chandler Carrutha4ea2692014-03-04 11:26:31 +000019#include "llvm/IR/ValueMap.h"
Justin Bogner1c039152016-09-06 17:18:22 +000020#include "llvm/Support/Error.h"
Rafael Espindola8010bf02017-11-16 17:35:50 +000021#include "llvm/Support/FileSystem.h"
Rafael Espindola229e38f2010-10-13 01:36:30 +000022#include "llvm/Transforms/Utils/ValueMapper.h"
Rafael Espindola28b351a2014-08-26 17:19:03 +000023#include <memory>
Chris Lattner73a6bdd2002-11-20 22:28:10 +000024#include <string>
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000025#include <vector>
Misha Brukmand792c9b2003-07-24 18:17:43 +000026
Brian Gaeke960707c2003-11-11 22:41:34 +000027namespace llvm {
28
Dan Gohman956ae9d2009-04-22 15:57:18 +000029class Value;
Owen Anderson81781222010-07-20 08:26:15 +000030class PassInfo;
Chris Lattner73a6bdd2002-11-20 22:28:10 +000031class Module;
Bill Wendling3f833432006-10-25 18:36:14 +000032class GlobalVariable;
Chris Lattner73a6bdd2002-11-20 22:28:10 +000033class Function;
Chris Lattnera060b102004-05-11 21:54:13 +000034class BasicBlock;
Chris Lattnerd4e04742002-12-23 23:49:59 +000035class AbstractInterpreter;
Chris Lattner0eb5ce92003-01-23 02:48:33 +000036class Instruction;
Benjamin Kramer78c3bcb2009-08-11 17:45:13 +000037class LLVMContext;
Chris Lattner73a6bdd2002-11-20 22:28:10 +000038
Chris Lattner1d080f22003-04-24 22:24:58 +000039class DebugCrashes;
Chris Lattner16a41312003-04-24 17:02:17 +000040
Davide Italianoab256212015-10-14 20:29:54 +000041class CC;
Misha Brukman0fd31722003-07-24 21:59:10 +000042
Chris Lattnerd1e2aae2003-08-05 15:51:05 +000043extern bool DisableSimplifyCFG;
44
Chris Lattnerbeb01fa2005-08-02 02:16:17 +000045/// BugpointIsInterrupted - Set to true when the user presses ctrl-c.
46///
47extern bool BugpointIsInterrupted;
48
Chris Lattner73a6bdd2002-11-20 22:28:10 +000049class BugDriver {
Justin Bogner8d0a0812016-09-02 01:21:37 +000050 LLVMContext &Context;
Dan Gohman46ffffa2009-08-05 20:21:17 +000051 const char *ToolName; // argv[0] of bugpoint
Misha Brukman0fd31722003-07-24 21:59:10 +000052 std::string ReferenceOutputFile; // Name of `good' output file
Justin Bogner8d0a0812016-09-02 01:21:37 +000053 Module *Program; // The raw program, linked together
Rafael Espindola33e81a82010-08-08 03:55:08 +000054 std::vector<std::string> PassesToRun;
Justin Bogner8d0a0812016-09-02 01:21:37 +000055 AbstractInterpreter *Interpreter; // How to run the program
56 AbstractInterpreter *SafeInterpreter; // To generate reference output, etc.
Davide Italianoab256212015-10-14 20:29:54 +000057 CC *cc;
Patrick Jenkinsc46c0382006-08-15 16:40:49 +000058 bool run_find_bugs;
Chris Lattner20ec1652006-06-13 03:10:48 +000059 unsigned Timeout;
Anton Korobeynikovd01defe2007-02-16 19:11:07 +000060 unsigned MemoryLimit;
Jeffrey Yasskin71bd0f42010-03-19 00:09:28 +000061 bool UseValgrind;
Chris Lattner16a41312003-04-24 17:02:17 +000062
Chris Lattner1d080f22003-04-24 22:24:58 +000063 // FIXME: sort out public/private distinctions...
Chris Lattner327019b2004-02-18 21:24:48 +000064 friend class ReducePassList;
Misha Brukmand792c9b2003-07-24 18:17:43 +000065 friend class ReduceMisCodegenFunctions;
Misha Brukmand792c9b2003-07-24 18:17:43 +000066
Chris Lattner73a6bdd2002-11-20 22:28:10 +000067public:
Justin Bogner8d0a0812016-09-02 01:21:37 +000068 BugDriver(const char *toolname, bool find_bugs, unsigned timeout,
69 unsigned memlimit, bool use_valgrind, LLVMContext &ctxt);
Jeffrey Yasskina6eedc32010-03-22 05:23:37 +000070 ~BugDriver();
Chris Lattnerd4e04742002-12-23 23:49:59 +000071
Dan Gohman46ffffa2009-08-05 20:21:17 +000072 const char *getToolName() const { return ToolName; }
Chris Lattner73a6bdd2002-11-20 22:28:10 +000073
Justin Bogner8d0a0812016-09-02 01:21:37 +000074 LLVMContext &getContext() const { return Context; }
Owen Anderson6773d382009-07-01 16:58:40 +000075
Chris Lattner73a6bdd2002-11-20 22:28:10 +000076 // Set up methods... these methods are used to copy information about the
77 // command line arguments into instance variables of BugDriver.
78 //
79 bool addSources(const std::vector<std::string> &FileNames);
Benjamin Kramerc321e532016-06-08 19:09:22 +000080 void addPass(std::string p) { PassesToRun.push_back(std::move(p)); }
Rafael Espindola33e81a82010-08-08 03:55:08 +000081 void setPassesToRun(const std::vector<std::string> &PTR) {
Chris Lattner7d147ae2003-10-17 23:03:16 +000082 PassesToRun = PTR;
83 }
Justin Bogner8d0a0812016-09-02 01:21:37 +000084 const std::vector<std::string> &getPassesToRun() const { return PassesToRun; }
Chris Lattner73a6bdd2002-11-20 22:28:10 +000085
86 /// run - The top level method that is invoked after all of the instance
Reid Spencer842118c2005-12-22 20:02:55 +000087 /// variables are set up from command line arguments. The \p as_child argument
88 /// indicates whether the driver is to run in parent mode or child mode.
Chris Lattner73a6bdd2002-11-20 22:28:10 +000089 ///
Justin Bogner1c039152016-09-06 17:18:22 +000090 Error run();
Chris Lattner73a6bdd2002-11-20 22:28:10 +000091
Chris Lattneread1dff2004-02-18 21:02:04 +000092 /// debugOptimizerCrash - This method is called when some optimizer pass
93 /// crashes on input. It attempts to prune down the testcase to something
94 /// reasonable, and figure out exactly which pass is crashing.
Chris Lattner73a6bdd2002-11-20 22:28:10 +000095 ///
Justin Bogner1c039152016-09-06 17:18:22 +000096 Error debugOptimizerCrash(const std::string &ID = "passes");
Misha Brukman650ba8e2005-04-22 00:00:37 +000097
Chris Lattneread1dff2004-02-18 21:02:04 +000098 /// debugCodeGeneratorCrash - This method is called when the code generator
99 /// crashes on an input. It attempts to reduce the input as much as possible
100 /// while still causing the code generator to crash.
Justin Bogner1c039152016-09-06 17:18:22 +0000101 Error debugCodeGeneratorCrash();
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000102
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000103 /// debugMiscompilation - This method is used when the passes selected are not
104 /// crashing, but the generated output is semantically different from the
105 /// input.
Justin Bogner1c039152016-09-06 17:18:22 +0000106 Error debugMiscompilation();
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000107
Chris Lattnerd4e04742002-12-23 23:49:59 +0000108 /// debugPassMiscompilation - This method is called when the specified pass
109 /// miscompiles Program as input. It tries to reduce the testcase to
110 /// something that smaller that still miscompiles the program.
111 /// ReferenceOutput contains the filename of the file containing the output we
112 /// are to match.
113 ///
Owen Anderson81781222010-07-20 08:26:15 +0000114 bool debugPassMiscompilation(const PassInfo *ThePass,
Jeff Cohen88e7b722005-04-22 04:13:13 +0000115 const std::string &ReferenceOutput);
Chris Lattnerd4e04742002-12-23 23:49:59 +0000116
Misha Brukmand792c9b2003-07-24 18:17:43 +0000117 /// compileSharedObject - This method creates a SharedObject from a given
Gabor Greif0e535c3c2007-07-04 21:55:50 +0000118 /// BitcodeFile for debugging a code generator.
Chris Lattnerf8a84db2003-10-14 21:09:11 +0000119 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000120 Expected<std::string> compileSharedObject(const std::string &BitcodeFile);
Misha Brukmand792c9b2003-07-24 18:17:43 +0000121
122 /// debugCodeGenerator - This method narrows down a module to a function or
123 /// set of functions, using the CBE as a ``safe'' code generator for other
124 /// functions that are not under consideration.
Justin Bogner1c039152016-09-06 17:18:22 +0000125 Error debugCodeGenerator();
Misha Brukmand792c9b2003-07-24 18:17:43 +0000126
Misha Brukmaneacfd212003-07-28 20:59:16 +0000127 /// isExecutingJIT - Returns true if bugpoint is currently testing the JIT
128 ///
Misha Brukman539f9592003-07-28 19:16:14 +0000129 bool isExecutingJIT();
130
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000131 Module *getProgram() const { return Program; }
132
133 /// swapProgramIn - Set the current module to the specified module, returning
134 /// the old one.
135 Module *swapProgramIn(Module *M) {
136 Module *OldProgram = Program;
137 Program = M;
138 return OldProgram;
139 }
Chris Lattner327019b2004-02-18 21:24:48 +0000140
Dan Gohman414cf502008-12-08 04:02:47 +0000141 AbstractInterpreter *switchToSafeInterpreter() {
Chris Lattnerbf791612004-04-05 22:58:16 +0000142 AbstractInterpreter *Old = Interpreter;
Justin Bogner8d0a0812016-09-02 01:21:37 +0000143 Interpreter = (AbstractInterpreter *)SafeInterpreter;
Chris Lattnerbf791612004-04-05 22:58:16 +0000144 return Old;
145 }
146
Justin Bogner8d0a0812016-09-02 01:21:37 +0000147 void switchToInterpreter(AbstractInterpreter *AI) { Interpreter = AI; }
Misha Brukman650ba8e2005-04-22 00:00:37 +0000148
Chris Lattner327019b2004-02-18 21:24:48 +0000149 /// setNewProgram - If we reduce or update the program somehow, call this
150 /// method to update bugdriver with it. This deletes the old module and sets
151 /// the specified one as the current program.
152 void setNewProgram(Module *M);
153
Justin Bogner1c039152016-09-06 17:18:22 +0000154 /// Try to compile the specified module. This is used for code generation
Nick Lewycky6ba630b2010-04-12 05:08:25 +0000155 /// crash testing.
Justin Bogner1c039152016-09-06 17:18:22 +0000156 Error compileProgram(Module *M) const;
Chris Lattner96d41dd2004-02-18 23:25:22 +0000157
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000158 /// executeProgram - This method runs "Program", capturing the output of the
Nick Lewycky7c167952010-04-14 04:40:31 +0000159 /// program to a file. A recommended filename may be optionally specified.
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000160 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000161 Expected<std::string> executeProgram(const Module *Program,
162 std::string OutputFilename,
163 std::string Bitcode,
164 const std::string &SharedObjects,
165 AbstractInterpreter *AI) const;
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000166
Dan Gohman414cf502008-12-08 04:02:47 +0000167 /// executeProgramSafely - Used to create reference output with the "safe"
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000168 /// backend, if reference output is not provided. If there is a problem with
Nick Lewycky6ba630b2010-04-12 05:08:25 +0000169 /// the code generator (e.g., llc crashes), this will return false and set
170 /// Error.
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000171 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000172 Expected<std::string>
173 executeProgramSafely(const Module *Program,
174 const std::string &OutputFile) const;
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000175
Patrick Jenkinsc46c0382006-08-15 16:40:49 +0000176 /// createReferenceFile - calls compileProgram and then records the output
Justin Bogner8d0a0812016-09-02 01:21:37 +0000177 /// into ReferenceOutputFile. Returns true if reference file created, false
Patrick Jenkinsc46c0382006-08-15 16:40:49 +0000178 /// otherwise. Note: initializeExecutionEnvironment should be called BEFORE
179 /// this function.
180 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000181 Error createReferenceFile(Module *M, const std::string &Filename =
182 "bugpoint.reference.out-%%%%%%%");
Patrick Jenkinsc46c0382006-08-15 16:40:49 +0000183
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000184 /// diffProgram - This method executes the specified module and diffs the
185 /// output against the file specified by ReferenceOutputFile. If the output
Nick Lewycky6ba630b2010-04-12 05:08:25 +0000186 /// is different, 1 is returned. If there is a problem with the code
187 /// generator (e.g., llc crashes), this will return -1 and set Error.
Chris Lattner2fd76cf2004-02-18 21:35:28 +0000188 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000189 Expected<bool> diffProgram(const Module *Program,
190 const std::string &BitcodeFile = "",
191 const std::string &SharedObj = "",
192 bool RemoveBitcode = false) const;
Nick Lewycky6ba630b2010-04-12 05:08:25 +0000193
Rafael Espindola594994a2010-07-28 18:12:30 +0000194 /// EmitProgressBitcode - This function is used to output M to a file named
195 /// "bugpoint-ID.bc".
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000196 ///
Rafael Espindola594994a2010-07-28 18:12:30 +0000197 void EmitProgressBitcode(const Module *M, const std::string &ID,
Rafael Espindola315190b2010-08-05 00:29:04 +0000198 bool NoFlyer = false) const;
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000199
Rafael Espindola28b351a2014-08-26 17:19:03 +0000200 /// This method clones the current Program and deletes the specified
201 /// instruction from the cloned module. It then runs a series of cleanup
202 /// passes (ADCE and SimplifyCFG) to eliminate any code which depends on the
203 /// value. The modified module is then returned.
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000204 ///
Rafael Espindola28b351a2014-08-26 17:19:03 +0000205 std::unique_ptr<Module> deleteInstructionFromProgram(const Instruction *I,
206 unsigned Simp);
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000207
Rafael Espindola28b351a2014-08-26 17:19:03 +0000208 /// This method clones the current Program and performs a series of cleanups
209 /// intended to get rid of extra cruft on the module. If the
210 /// MayModifySemantics argument is true, then the cleanups is allowed to
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000211 /// modify how the code behaves.
212 ///
Rafael Espindola28b351a2014-08-26 17:19:03 +0000213 std::unique_ptr<Module> performFinalCleanups(Module *M,
214 bool MayModifySemantics = false);
Chris Lattnerb943b6b2004-02-18 21:50:26 +0000215
Rafael Espindola28b351a2014-08-26 17:19:03 +0000216 /// Given a module, extract up to one loop from it into a new function. This
217 /// returns null if there are no extractable loops in the program or if the
218 /// loop extractor crashes.
219 std::unique_ptr<Module> extractLoop(Module *M);
Chris Lattner3fe96bc2004-03-14 20:02:07 +0000220
Rafael Espindola28b351a2014-08-26 17:19:03 +0000221 /// Extract all but the specified basic blocks into their own functions. The
222 /// only detail is that M is actually a module cloned from the one the BBs are
223 /// in, so some mapping needs to be performed. If this operation fails for
224 /// some reason (ie the implementation is buggy), this function should return
225 /// null, otherwise it returns a new Module.
226 std::unique_ptr<Module>
227 extractMappedBlocksFromModule(const std::vector<BasicBlock *> &BBs,
228 Module *M);
Chris Lattnera060b102004-05-11 21:54:13 +0000229
Rafael Espindola28b351a2014-08-26 17:19:03 +0000230 /// Carefully run the specified set of pass on the specified/ module,
231 /// returning the transformed module on success, or a null pointer on failure.
Rafael Espindola28b351a2014-08-26 17:19:03 +0000232 std::unique_ptr<Module> runPassesOn(Module *M,
233 const std::vector<std::string> &Passes,
Rafael Espindola28b351a2014-08-26 17:19:03 +0000234 unsigned NumExtraArgs = 0,
235 const char *const *ExtraArgs = nullptr);
Chris Lattner1a5c5402004-03-14 21:17:03 +0000236
Gabor Greif0e535c3c2007-07-04 21:55:50 +0000237 /// runPasses - Run the specified passes on Program, outputting a bitcode
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000238 /// file and writting the filename into OutputFile if successful. If the
239 /// optimizations fail for some reason (optimizer crashes), return true,
Gabor Greif0e535c3c2007-07-04 21:55:50 +0000240 /// otherwise return false. If DeleteOutput is set to true, the bitcode is
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000241 /// deleted on success, and the filename string is undefined. This prints to
Dan Gohmanee051522009-07-16 15:30:09 +0000242 /// outs() a single line message indicating whether compilation was successful
Nick Lewyckyc6243022007-11-14 06:47:06 +0000243 /// or failed, unless Quiet is set. ExtraArgs specifies additional arguments
244 /// to pass to the child bugpoint instance.
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000245 ///
Justin Bogner8d0a0812016-09-02 01:21:37 +0000246 bool runPasses(Module *Program, const std::vector<std::string> &PassesToRun,
Chris Lattnerd4e04742002-12-23 23:49:59 +0000247 std::string &OutputFilename, bool DeleteOutput = false,
Nick Lewyckyc6243022007-11-14 06:47:06 +0000248 bool Quiet = false, unsigned NumExtraArgs = 0,
Justin Bogner8d0a0812016-09-02 01:21:37 +0000249 const char *const *ExtraArgs = nullptr) const;
Philip Reamese5b56022016-06-29 03:01:13 +0000250
251 /// runPasses - Just like the method above, but this just returns true or
252 /// false indicating whether or not the optimizer crashed on the specified
253 /// input (true = crashed). Does not produce any output.
254 ///
Justin Bogner8d0a0812016-09-02 01:21:37 +0000255 bool runPasses(Module *M, const std::vector<std::string> &PassesToRun) const {
Philip Reamese5b56022016-06-29 03:01:13 +0000256 std::string Filename;
257 return runPasses(M, PassesToRun, Filename, true);
258 }
Justin Bogner8d0a0812016-09-02 01:21:37 +0000259
Justin Bogner1c039152016-09-06 17:18:22 +0000260 /// Take the specified pass list and create different combinations of passes
261 /// to compile the program with. Compile the program with each set and mark
262 /// test to see if it compiled correctly. If the passes compiled correctly
263 /// output nothing and rearrange the passes into a new order. If the passes
264 /// did not compile correctly, output the command required to recreate the
265 /// failure.
266 Error runManyPasses(const std::vector<std::string> &AllPasses);
Chris Lattner95053a92004-04-05 22:01:48 +0000267
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000268 /// writeProgramToFile - This writes the current "Program" to the named
Gabor Greif0e535c3c2007-07-04 21:55:50 +0000269 /// bitcode file. If an error occurs, true is returned.
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000270 ///
Rafael Espindola594994a2010-07-28 18:12:30 +0000271 bool writeProgramToFile(const std::string &Filename, const Module *M) const;
Rafael Espindola302c0da2013-06-18 15:29:32 +0000272 bool writeProgramToFile(const std::string &Filename, int FD,
273 const Module *M) const;
Rafael Espindolab60bb692017-11-16 21:40:10 +0000274 bool writeProgramToFile(int FD, const Module *M) const;
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000275
Chris Lattner95053a92004-04-05 22:01:48 +0000276private:
Chris Lattnerd4e04742002-12-23 23:49:59 +0000277 /// initializeExecutionEnvironment - This method is used to set up the
278 /// environment for executing LLVM programs.
279 ///
Justin Bogner1c039152016-09-06 17:18:22 +0000280 Error initializeExecutionEnvironment();
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000281};
282
Rafael Espindola8010bf02017-11-16 17:35:50 +0000283struct DiscardTemp {
284 sys::fs::TempFile &File;
285 ~DiscardTemp();
286};
287
Rafael Espindola28b351a2014-08-26 17:19:03 +0000288/// Given a bitcode or assembly input filename, parse and return it, or return
289/// null if not possible.
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000290///
Rafael Espindola28b351a2014-08-26 17:19:03 +0000291std::unique_ptr<Module> parseInputFile(StringRef InputFilename,
292 LLVMContext &ctxt);
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000293
Chris Lattner16a41312003-04-24 17:02:17 +0000294/// getPassesString - Turn a list of passes into a string which indicates the
295/// command line options that must be passed to add the passes.
296///
Rafael Espindola33e81a82010-08-08 03:55:08 +0000297std::string getPassesString(const std::vector<std::string> &Passes);
Chris Lattner16a41312003-04-24 17:02:17 +0000298
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000299/// PrintFunctionList - prints out list of problematic functions
300///
Justin Bogner8d0a0812016-09-02 01:21:37 +0000301void PrintFunctionList(const std::vector<Function *> &Funcs);
Chris Lattnerfd72bed2004-03-14 20:50:42 +0000302
Bill Wendling3f833432006-10-25 18:36:14 +0000303/// PrintGlobalVariableList - prints out list of problematic global variables
304///
Justin Bogner8d0a0812016-09-02 01:21:37 +0000305void PrintGlobalVariableList(const std::vector<GlobalVariable *> &GVs);
Bill Wendling3f833432006-10-25 18:36:14 +0000306
Hal Finkel28ad2b42015-11-26 19:23:49 +0000307// DeleteGlobalInitializer - "Remove" the global variable by deleting its
308// initializer, making it external.
309//
310void DeleteGlobalInitializer(GlobalVariable *GV);
311
Chris Lattner1d080f22003-04-24 22:24:58 +0000312// DeleteFunctionBody - "Remove" the function by deleting all of it's basic
313// blocks, making it external.
314//
315void DeleteFunctionBody(Function *F);
316
Rafael Espindola50102c22015-12-09 00:34:10 +0000317/// Given a module and a list of functions in the module, split the functions
318/// OUT of the specified module, and place them in the new module.
319std::unique_ptr<Module>
320SplitFunctionsOutOfModule(Module *M, const std::vector<Function *> &F,
321 ValueToValueMapTy &VMap);
Chris Lattner567543f2004-03-14 19:27:19 +0000322
Brian Gaeke960707c2003-11-11 22:41:34 +0000323} // End llvm namespace
324
Chris Lattner73a6bdd2002-11-20 22:28:10 +0000325#endif