blob: bac7f51de832caf7a554f891896d45997a66ba27 [file] [log] [blame]
Chris Lattnerafade922002-11-20 22:28:10 +00001//===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell7c0e0222003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell7c0e0222003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerafade922002-11-20 22:28:10 +00009//
10// This file defines an interface that allows bugpoint to run various passes
Misha Brukmancf00c4a2003-10-10 17:57:28 +000011// without the threat of a buggy pass corrupting bugpoint (of course, bugpoint
12// may have its own bugs, but that's another story...). It achieves this by
Chris Lattnerafade922002-11-20 22:28:10 +000013// forking a copy of itself and having the child process do the optimizations.
14// If this client dies, we can always fork a new one. :)
15//
16//===----------------------------------------------------------------------===//
17
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000018// Note: as a short term hack, the old Unix-specific code and platform-
19// independent code co-exist via conditional compilation until it is verified
20// that the new code works correctly on Unix.
21
Chris Lattnerafade922002-11-20 22:28:10 +000022#include "BugDriver.h"
Chris Lattner0a002562004-03-14 21:21:57 +000023#include "llvm/Module.h"
Chris Lattnerafade922002-11-20 22:28:10 +000024#include "llvm/PassManager.h"
25#include "llvm/Analysis/Verifier.h"
26#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerf2bcccf2003-01-22 23:24:11 +000027#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000028#include "llvm/Support/FileUtilities.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000029#include "llvm/Support/CommandLine.h"
Reid Spencer97182982004-12-15 01:53:08 +000030#include "llvm/System/Path.h"
Reid Spencerc4bb0522005-12-22 20:02:55 +000031#include "llvm/System/Program.h"
Misha Brukmane49603d2003-08-07 21:19:30 +000032#include <fstream>
Chris Lattnerfa761832004-01-14 03:38:37 +000033using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000034
Reid Spencerc4bb0522005-12-22 20:02:55 +000035namespace {
36 // ChildOutput - This option captures the name of the child output file that
37 // is set up by the parent bugpoint process
38 cl::opt<std::string> ChildOutput("child-output", cl::ReallyHidden);
39}
40
Chris Lattnerafade922002-11-20 22:28:10 +000041/// writeProgramToFile - This writes the current "Program" to the named bytecode
42/// file. If an error occurs, true is returned.
43///
Chris Lattner218e26e2002-12-23 23:49:59 +000044bool BugDriver::writeProgramToFile(const std::string &Filename,
Jeff Cohenea3e5e52005-04-22 04:13:13 +000045 Module *M) const {
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000046 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
47 std::ios::binary;
48 std::ofstream Out(Filename.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000049 if (!Out.good()) return true;
Reid Spencer34b90712004-11-07 05:43:51 +000050 WriteBytecodeToFile(M ? M : Program, Out, /*compression=*/true);
Chris Lattnerafade922002-11-20 22:28:10 +000051 return false;
52}
53
54
55/// EmitProgressBytecode - This function is used to output the current Program
Misha Brukman265789f2003-07-21 21:58:16 +000056/// to a file named "bugpoint-ID.bc".
Chris Lattnerafade922002-11-20 22:28:10 +000057///
Chris Lattner640f22e2003-04-24 17:02:17 +000058void BugDriver::EmitProgressBytecode(const std::string &ID, bool NoFlyer) {
Chris Lattnerafade922002-11-20 22:28:10 +000059 // Output the input to the current pass to a bytecode file, emit a message
60 // telling the user how to reproduce it: opt -foo blah.bc
61 //
62 std::string Filename = "bugpoint-" + ID + ".bc";
63 if (writeProgramToFile(Filename)) {
64 std::cerr << "Error opening file '" << Filename << "' for writing!\n";
65 return;
66 }
67
Chris Lattner218e26e2002-12-23 23:49:59 +000068 std::cout << "Emitted bytecode to '" << Filename << "'\n";
Chris Lattnerca005122004-02-18 23:24:56 +000069 if (NoFlyer || PassesToRun.empty()) return;
Chris Lattnerafade922002-11-20 22:28:10 +000070 std::cout << "\n*** You can reproduce the problem with: ";
71
Chris Lattner640f22e2003-04-24 17:02:17 +000072 unsigned PassType = PassesToRun[0]->getPassType();
73 for (unsigned i = 1, e = PassesToRun.size(); i != e; ++i)
74 PassType &= PassesToRun[i]->getPassType();
75
Chris Lattnerafade922002-11-20 22:28:10 +000076 if (PassType & PassInfo::Analysis)
77 std::cout << "analyze";
78 else if (PassType & PassInfo::Optimization)
79 std::cout << "opt";
80 else if (PassType & PassInfo::LLC)
81 std::cout << "llc";
82 else
83 std::cout << "bugpoint";
Chris Lattner640f22e2003-04-24 17:02:17 +000084 std::cout << " " << Filename << " ";
85 std::cout << getPassesString(PassesToRun) << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +000086}
87
Reid Spencerc4bb0522005-12-22 20:02:55 +000088int BugDriver::runPassesAsChild(const std::vector<const PassInfo*> &Passes) {
89
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000090 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
91 std::ios::binary;
Reid Spencerc4bb0522005-12-22 20:02:55 +000092 std::ofstream OutFile(ChildOutput.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000093 if (!OutFile.good()) {
Reid Spencerc4bb0522005-12-22 20:02:55 +000094 std::cerr << "Error opening bytecode file: " << ChildOutput << "\n";
95 return 1;
Chris Lattnerafade922002-11-20 22:28:10 +000096 }
97
98 PassManager PM;
Chris Lattner9c3b55e2003-04-24 19:13:02 +000099 // Make sure that the appropriate target data is always used...
100 PM.add(new TargetData("bugpoint", Program));
101
Chris Lattnerafade922002-11-20 22:28:10 +0000102 for (unsigned i = 0, e = Passes.size(); i != e; ++i) {
103 if (Passes[i]->getNormalCtor())
104 PM.add(Passes[i]->getNormalCtor()());
105 else
106 std::cerr << "Cannot create pass yet: " << Passes[i]->getPassName()
107 << "\n";
108 }
109 // Check that the module is well formed on completion of optimization
110 PM.add(createVerifierPass());
111
112 // Write bytecode out to disk as the last step...
113 PM.add(new WriteBytecodePass(&OutFile));
114
115 // Run all queued passes.
116 PM.run(*Program);
Reid Spencerc4bb0522005-12-22 20:02:55 +0000117
118 return 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000119}
120
121/// runPasses - Run the specified passes on Program, outputting a bytecode file
Misha Brukmancf00c4a2003-10-10 17:57:28 +0000122/// and writing the filename into OutputFile if successful. If the
Chris Lattnerafade922002-11-20 22:28:10 +0000123/// optimizations fail for some reason (optimizer crashes), return true,
124/// otherwise return false. If DeleteOutput is set to true, the bytecode is
125/// deleted on success, and the filename string is undefined. This prints to
126/// cout a single line message indicating whether compilation was successful or
127/// failed.
128///
129bool BugDriver::runPasses(const std::vector<const PassInfo*> &Passes,
Chris Lattner218e26e2002-12-23 23:49:59 +0000130 std::string &OutputFilename, bool DeleteOutput,
Jeff Cohenea3e5e52005-04-22 04:13:13 +0000131 bool Quiet) const{
Reid Spencerc4bb0522005-12-22 20:02:55 +0000132 // setup the output file name
Chris Lattnerafade922002-11-20 22:28:10 +0000133 std::cout << std::flush;
Reid Spencer97182982004-12-15 01:53:08 +0000134 sys::Path uniqueFilename("bugpoint-output.bc");
135 uniqueFilename.makeUnique();
136 OutputFilename = uniqueFilename.toString();
Chris Lattnerafade922002-11-20 22:28:10 +0000137
Reid Spencerc4bb0522005-12-22 20:02:55 +0000138 // set up the input file name
139 sys::Path inputFilename("bugpoint-input.bc");
140 inputFilename.makeUnique();
141 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
142 std::ios::binary;
143 std::ofstream InFile(inputFilename.c_str(), io_mode);
144 if (!InFile.good()) {
145 std::cerr << "Error opening bytecode file: " << inputFilename << "\n";
146 return(1);
Chris Lattnerafade922002-11-20 22:28:10 +0000147 }
Reid Spencerc4bb0522005-12-22 20:02:55 +0000148 WriteBytecodeToFile(Program,InFile,false);
149 InFile.close();
Chris Lattnerafade922002-11-20 22:28:10 +0000150
Reid Spencerc4bb0522005-12-22 20:02:55 +0000151 // setup the child process' arguments
152 const char** args = (const char**)
153 alloca(sizeof(const char*)*(Passes.size()+10));
154 int n = 0;
155 args[n++] = ToolName.c_str();
156 args[n++] = "-as-child";
157 args[n++] = "-child-output";
158 args[n++] = OutputFilename.c_str();
159 std::vector<std::string> pass_args;
160 for (std::vector<const PassInfo*>::const_iterator I = Passes.begin(),
161 E = Passes.end(); I != E; ++I )
162 pass_args.push_back( std::string("-") + (*I)->getPassArgument() );
163 for (std::vector<std::string>::const_iterator I = pass_args.begin(),
164 E = pass_args.end(); I != E; ++I )
165 args[n++] = I->c_str();
166 args[n++] = inputFilename.c_str();
167 args[n++] = 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000168
Reid Spencerc4bb0522005-12-22 20:02:55 +0000169 sys::Path prog(sys::Program::FindProgramByName(ToolName));
170 int result = sys::Program::ExecuteAndWait(prog,args);
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000171
172 // If we are supposed to delete the bytecode file or if the passes crashed,
173 // remove it now. This may fail if the file was never created, but that's ok.
Reid Spencerc4bb0522005-12-22 20:02:55 +0000174 if (DeleteOutput || result != 0)
Reid Spencera229c5c2005-07-08 03:08:58 +0000175 sys::Path(OutputFilename).eraseFromDisk();
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000176
Reid Spencerc4bb0522005-12-22 20:02:55 +0000177 // Remove the temporary input file as well
178 inputFilename.eraseFromDisk();
179
Chris Lattner24271cf2003-06-02 04:54:16 +0000180 if (!Quiet) {
Reid Spencerc4bb0522005-12-22 20:02:55 +0000181 if (result == 0)
Chris Lattner24271cf2003-06-02 04:54:16 +0000182 std::cout << "Success!\n";
Reid Spencerc4bb0522005-12-22 20:02:55 +0000183 else if (result > 0)
184 std::cout << "Exited with error code '" << result << "'\n";
185 else if (result < 0)
186 std::cout << "Crashed with signal #" << abs(result) << "\n";
187 if (result & 0x01000000)
Chris Lattner24271cf2003-06-02 04:54:16 +0000188 std::cout << "Dumped core\n";
Chris Lattner24271cf2003-06-02 04:54:16 +0000189 }
Chris Lattnerafade922002-11-20 22:28:10 +0000190
191 // Was the child successful?
Reid Spencerc4bb0522005-12-22 20:02:55 +0000192 return result != 0;
Chris Lattnerafade922002-11-20 22:28:10 +0000193}
Brian Gaeked0fde302003-11-11 22:41:34 +0000194
Chris Lattner3b6441e2004-03-14 21:17:03 +0000195
196/// runPassesOn - Carefully run the specified set of pass on the specified
197/// module, returning the transformed module on success, or a null pointer on
198/// failure.
199Module *BugDriver::runPassesOn(Module *M,
Chris Lattner0a002562004-03-14 21:21:57 +0000200 const std::vector<const PassInfo*> &Passes,
201 bool AutoDebugCrashes) {
Chris Lattner3b6441e2004-03-14 21:17:03 +0000202 Module *OldProgram = swapProgramIn(M);
203 std::string BytecodeResult;
Chris Lattner0a002562004-03-14 21:21:57 +0000204 if (runPasses(Passes, BytecodeResult, false/*delete*/, true/*quiet*/)) {
205 if (AutoDebugCrashes) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000206 std::cerr << " Error running this sequence of passes"
Chris Lattner0a002562004-03-14 21:21:57 +0000207 << " on the input program!\n";
208 delete OldProgram;
209 EmitProgressBytecode("pass-error", false);
210 exit(debugOptimizerCrash());
211 }
Chris Lattner44a64bc2004-03-14 21:37:41 +0000212 swapProgramIn(OldProgram);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000213 return 0;
Chris Lattner0a002562004-03-14 21:21:57 +0000214 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000215
216 // Restore the current program.
217 swapProgramIn(OldProgram);
218
219 Module *Ret = ParseInputFile(BytecodeResult);
220 if (Ret == 0) {
221 std::cerr << getToolName() << ": Error reading bytecode file '"
222 << BytecodeResult << "'!\n";
223 exit(1);
224 }
Reid Spencera229c5c2005-07-08 03:08:58 +0000225 sys::Path(BytecodeResult).eraseFromDisk(); // No longer need the file on disk
Chris Lattner3b6441e2004-03-14 21:17:03 +0000226 return Ret;
227}