blob: c922f5ca6cce0c34a2fac2a887591f258a2bf67f [file] [log] [blame]
Chris Lattnerafade922002-11-20 22:28:10 +00001//===- OptimizerDriver.cpp - Allow BugPoint to run passes safely ----------===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// 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.
7//
8//===----------------------------------------------------------------------===//
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
Jeff Cohen741c1182005-01-22 17:37:13 +000022//#define PLATFORMINDEPENDENT
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000023
Chris Lattnerafade922002-11-20 22:28:10 +000024#include "BugDriver.h"
Chris Lattner0a002562004-03-14 21:21:57 +000025#include "llvm/Module.h"
Chris Lattnerafade922002-11-20 22:28:10 +000026#include "llvm/PassManager.h"
27#include "llvm/Analysis/Verifier.h"
28#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerf2bcccf2003-01-22 23:24:11 +000029#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000030#include "llvm/Support/FileUtilities.h"
Reid Spencer97182982004-12-15 01:53:08 +000031#include "llvm/System/Path.h"
Misha Brukmane49603d2003-08-07 21:19:30 +000032#include <fstream>
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000033#ifndef PLATFORMINDEPENDENT
Misha Brukmane49603d2003-08-07 21:19:30 +000034#include <unistd.h>
Chris Lattnerafade922002-11-20 22:28:10 +000035#include <sys/types.h>
36#include <sys/wait.h>
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000037#endif
Chris Lattnerfa761832004-01-14 03:38:37 +000038using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000039
Chris Lattnerafade922002-11-20 22:28:10 +000040/// writeProgramToFile - This writes the current "Program" to the named bytecode
41/// file. If an error occurs, true is returned.
42///
Chris Lattner218e26e2002-12-23 23:49:59 +000043bool BugDriver::writeProgramToFile(const std::string &Filename,
44 Module *M) const {
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000045 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
46 std::ios::binary;
47 std::ofstream Out(Filename.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000048 if (!Out.good()) return true;
Reid Spencer34b90712004-11-07 05:43:51 +000049 WriteBytecodeToFile(M ? M : Program, Out, /*compression=*/true);
Chris Lattnerafade922002-11-20 22:28:10 +000050 return false;
51}
52
53
54/// EmitProgressBytecode - This function is used to output the current Program
Misha Brukman265789f2003-07-21 21:58:16 +000055/// to a file named "bugpoint-ID.bc".
Chris Lattnerafade922002-11-20 22:28:10 +000056///
Chris Lattner640f22e2003-04-24 17:02:17 +000057void BugDriver::EmitProgressBytecode(const std::string &ID, bool NoFlyer) {
Chris Lattnerafade922002-11-20 22:28:10 +000058 // Output the input to the current pass to a bytecode file, emit a message
59 // telling the user how to reproduce it: opt -foo blah.bc
60 //
61 std::string Filename = "bugpoint-" + ID + ".bc";
62 if (writeProgramToFile(Filename)) {
63 std::cerr << "Error opening file '" << Filename << "' for writing!\n";
64 return;
65 }
66
Chris Lattner218e26e2002-12-23 23:49:59 +000067 std::cout << "Emitted bytecode to '" << Filename << "'\n";
Chris Lattnerca005122004-02-18 23:24:56 +000068 if (NoFlyer || PassesToRun.empty()) return;
Chris Lattnerafade922002-11-20 22:28:10 +000069 std::cout << "\n*** You can reproduce the problem with: ";
70
Chris Lattner640f22e2003-04-24 17:02:17 +000071 unsigned PassType = PassesToRun[0]->getPassType();
72 for (unsigned i = 1, e = PassesToRun.size(); i != e; ++i)
73 PassType &= PassesToRun[i]->getPassType();
74
Chris Lattnerafade922002-11-20 22:28:10 +000075 if (PassType & PassInfo::Analysis)
76 std::cout << "analyze";
77 else if (PassType & PassInfo::Optimization)
78 std::cout << "opt";
79 else if (PassType & PassInfo::LLC)
80 std::cout << "llc";
81 else
82 std::cout << "bugpoint";
Chris Lattner640f22e2003-04-24 17:02:17 +000083 std::cout << " " << Filename << " ";
84 std::cout << getPassesString(PassesToRun) << "\n";
Chris Lattnerafade922002-11-20 22:28:10 +000085}
86
Chris Lattnerafade922002-11-20 22:28:10 +000087static void RunChild(Module *Program,const std::vector<const PassInfo*> &Passes,
88 const std::string &OutFilename) {
Jeff Cohen5fb6ed42005-01-22 17:36:17 +000089 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
90 std::ios::binary;
91 std::ofstream OutFile(OutFilename.c_str(), io_mode);
Chris Lattnerafade922002-11-20 22:28:10 +000092 if (!OutFile.good()) {
93 std::cerr << "Error opening bytecode file: " << OutFilename << "\n";
94 exit(1);
95 }
96
97 PassManager PM;
Chris Lattner9c3b55e2003-04-24 19:13:02 +000098 // Make sure that the appropriate target data is always used...
99 PM.add(new TargetData("bugpoint", Program));
100
Chris Lattnerafade922002-11-20 22:28:10 +0000101 for (unsigned i = 0, e = Passes.size(); i != e; ++i) {
102 if (Passes[i]->getNormalCtor())
103 PM.add(Passes[i]->getNormalCtor()());
104 else
105 std::cerr << "Cannot create pass yet: " << Passes[i]->getPassName()
106 << "\n";
107 }
108 // Check that the module is well formed on completion of optimization
109 PM.add(createVerifierPass());
110
111 // Write bytecode out to disk as the last step...
112 PM.add(new WriteBytecodePass(&OutFile));
113
114 // Run all queued passes.
115 PM.run(*Program);
116}
117
118/// runPasses - Run the specified passes on Program, outputting a bytecode file
Misha Brukmancf00c4a2003-10-10 17:57:28 +0000119/// and writing the filename into OutputFile if successful. If the
Chris Lattnerafade922002-11-20 22:28:10 +0000120/// optimizations fail for some reason (optimizer crashes), return true,
121/// otherwise return false. If DeleteOutput is set to true, the bytecode is
122/// deleted on success, and the filename string is undefined. This prints to
123/// cout a single line message indicating whether compilation was successful or
124/// failed.
125///
126bool BugDriver::runPasses(const std::vector<const PassInfo*> &Passes,
Chris Lattner218e26e2002-12-23 23:49:59 +0000127 std::string &OutputFilename, bool DeleteOutput,
128 bool Quiet) const{
Chris Lattnerafade922002-11-20 22:28:10 +0000129 std::cout << std::flush;
Reid Spencer97182982004-12-15 01:53:08 +0000130 sys::Path uniqueFilename("bugpoint-output.bc");
131 uniqueFilename.makeUnique();
132 OutputFilename = uniqueFilename.toString();
Chris Lattnerafade922002-11-20 22:28:10 +0000133
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000134#ifndef PLATFORMINDEPENDENT
Chris Lattnerafade922002-11-20 22:28:10 +0000135 pid_t child_pid;
136 switch (child_pid = fork()) {
137 case -1: // Error occurred
138 std::cerr << ToolName << ": Error forking!\n";
139 exit(1);
140 case 0: // Child process runs passes.
141 RunChild(Program, Passes, OutputFilename);
142 exit(0); // If we finish successfully, return 0!
143 default: // Parent continues...
144 break;
145 }
146
147 // Wait for the child process to get done.
148 int Status;
149 if (wait(&Status) != child_pid) {
150 std::cerr << "Error waiting for child process!\n";
151 exit(1);
152 }
153
Chris Lattner24271cf2003-06-02 04:54:16 +0000154 bool ExitedOK = WIFEXITED(Status) && WEXITSTATUS(Status) == 0;
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000155#else
156 bool ExitedOK = false;
157#endif
Chris Lattnerb83c0f32004-05-12 02:55:45 +0000158
159 // If we are supposed to delete the bytecode file or if the passes crashed,
160 // remove it now. This may fail if the file was never created, but that's ok.
161 if (DeleteOutput || !ExitedOK)
Reid Spencer5f767602004-12-16 23:04:20 +0000162 sys::Path(OutputFilename).destroyFile();
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000163
164#ifndef PLATFORMINDEPENDENT
Chris Lattner24271cf2003-06-02 04:54:16 +0000165 if (!Quiet) {
166 if (ExitedOK)
167 std::cout << "Success!\n";
168 else if (WIFEXITED(Status))
169 std::cout << "Exited with error code '" << WEXITSTATUS(Status) << "'\n";
170 else if (WIFSIGNALED(Status))
171 std::cout << "Crashed with signal #" << WTERMSIG(Status) << "\n";
172#ifdef WCOREDUMP
173 else if (WCOREDUMP(Status))
174 std::cout << "Dumped core\n";
175#endif
176 else
177 std::cout << "Failed for unknown reason!\n";
178 }
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000179#endif
Chris Lattnerafade922002-11-20 22:28:10 +0000180
181 // Was the child successful?
Chris Lattner24271cf2003-06-02 04:54:16 +0000182 return !ExitedOK;
Chris Lattnerafade922002-11-20 22:28:10 +0000183}
Brian Gaeked0fde302003-11-11 22:41:34 +0000184
Chris Lattner3b6441e2004-03-14 21:17:03 +0000185
186/// runPassesOn - Carefully run the specified set of pass on the specified
187/// module, returning the transformed module on success, or a null pointer on
188/// failure.
189Module *BugDriver::runPassesOn(Module *M,
Chris Lattner0a002562004-03-14 21:21:57 +0000190 const std::vector<const PassInfo*> &Passes,
191 bool AutoDebugCrashes) {
Chris Lattner3b6441e2004-03-14 21:17:03 +0000192 Module *OldProgram = swapProgramIn(M);
193 std::string BytecodeResult;
Chris Lattner0a002562004-03-14 21:21:57 +0000194 if (runPasses(Passes, BytecodeResult, false/*delete*/, true/*quiet*/)) {
195 if (AutoDebugCrashes) {
196 std::cerr << " Error running this sequence of passes"
197 << " on the input program!\n";
198 delete OldProgram;
199 EmitProgressBytecode("pass-error", false);
200 exit(debugOptimizerCrash());
201 }
Chris Lattner44a64bc2004-03-14 21:37:41 +0000202 swapProgramIn(OldProgram);
Chris Lattner3b6441e2004-03-14 21:17:03 +0000203 return 0;
Chris Lattner0a002562004-03-14 21:21:57 +0000204 }
Chris Lattner3b6441e2004-03-14 21:17:03 +0000205
206 // Restore the current program.
207 swapProgramIn(OldProgram);
208
209 Module *Ret = ParseInputFile(BytecodeResult);
210 if (Ret == 0) {
211 std::cerr << getToolName() << ": Error reading bytecode file '"
212 << BytecodeResult << "'!\n";
213 exit(1);
214 }
Reid Spencer5f767602004-12-16 23:04:20 +0000215 sys::Path(BytecodeResult).destroyFile(); // No longer need the file on disk
Chris Lattner3b6441e2004-03-14 21:17:03 +0000216 return Ret;
217}