blob: d54b28d251f90705287addb664816adb8bf2d552 [file] [log] [blame]
Devang Patele330f2d2008-07-18 22:59:45 +00001//===- LTOBugPoint.cpp - Top-Level LTO BugPoint class ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This class contains all of the shared state and information that is used by
11// the LTO BugPoint tool to track down bit code files that cause errors.
12//
13//===----------------------------------------------------------------------===//
14
15#include "LTOBugPoint.h"
Devang Patel4f574f52008-07-21 23:04:39 +000016#include "llvm/PassManager.h"
Devang Patel4f574f52008-07-21 23:04:39 +000017#include "llvm/ModuleProvider.h"
18#include "llvm/CodeGen/FileWriters.h"
19#include "llvm/Target/SubtargetFeature.h"
20#include "llvm/Target/TargetOptions.h"
21#include "llvm/Target/TargetMachine.h"
22#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetAsmInfo.h"
24#include "llvm/Target/TargetMachineRegistry.h"
Devang Patel5dd66a02008-07-18 23:46:41 +000025#include "llvm/Support/SystemUtils.h"
Devang Patel4f574f52008-07-21 23:04:39 +000026#include "llvm/Support/MemoryBuffer.h"
27#include "llvm/Bitcode/ReaderWriter.h"
Devang Patel4f574f52008-07-21 23:04:39 +000028#include "llvm/Config/config.h"
29#include <fstream>
Devang Patel5dd66a02008-07-18 23:46:41 +000030#include <iostream>
Devang Patele330f2d2008-07-18 22:59:45 +000031
Devang Patel4f574f52008-07-21 23:04:39 +000032using namespace llvm;
33using namespace Reloc;
Devang Patel5dd66a02008-07-18 23:46:41 +000034/// LTOBugPoint -- Constructor. Popuate list of linker options and
35/// list of linker input files.
Devang Patele330f2d2008-07-18 22:59:45 +000036LTOBugPoint::LTOBugPoint(std::istream &args, std::istream &ins) {
37
38 // Read linker options. Order is important here.
39 std::string option;
40 while (getline(args, option))
41 LinkerOptions.push_back(option);
42
43 // Read linker input files. Order is important here.
44 std::string inFile;
45 while(getline(ins, inFile))
46 LinkerInputFiles.push_back(inFile);
Devang Patel35b39b4f2008-07-22 20:03:45 +000047
48 TempDir = sys::Path::GetTemporaryDirectory();
49}
50
51LTOBugPoint::~LTOBugPoint() {
52 TempDir.eraseFromDisk(true);
Devang Patele330f2d2008-07-18 22:59:45 +000053}
Devang Patel5dd66a02008-07-18 23:46:41 +000054
55/// findTroubleMakers - Find minimum set of input files that causes error
56/// identified by the script.
57bool
Devang Patel4f574f52008-07-21 23:04:39 +000058LTOBugPoint::findTroubleMakers(SmallVector<std::string, 4> &TroubleMakers,
Bill Wendling80fb2782008-07-22 09:08:05 +000059 std::string &Script) {
Devang Patel5dd66a02008-07-18 23:46:41 +000060
Devang Patela11ec252008-07-22 22:20:18 +000061 // Reproduce original error.
62 if (!relinkProgram(LinkerInputFiles) || !reproduceProgramError(Script)) {
63 ErrMsg += " Unable to reproduce original error!";
64 return false;
65 }
66
67 // Build native object files set.
Devang Patel5dd66a02008-07-18 23:46:41 +000068 bool bitcodeFileSeen = false;
Devang Patel4f574f52008-07-21 23:04:39 +000069 unsigned Size = LinkerInputFiles.size();
70 for (unsigned I = 0; I < Size; ++I) {
71 std::string &FileName = LinkerInputFiles[I];
72 sys::Path InputFile(FileName.c_str());
73 if (InputFile.isDynamicLibrary() || InputFile.isArchive()) {
74 ErrMsg = "Unable to handle input file ";
75 ErrMsg += FileName;
76 return false;
77 }
78 else if (InputFile.isBitcodeFile()) {
Devang Patel5dd66a02008-07-18 23:46:41 +000079 bitcodeFileSeen = true;
Devang Patel4f574f52008-07-21 23:04:39 +000080 if (getNativeObjectFile(FileName) == false)
Bill Wendling80fb2782008-07-22 09:08:05 +000081 return false;
Devang Patel4f574f52008-07-21 23:04:39 +000082 }
83 else
84 NativeInputFiles.push_back(FileName);
Devang Patel5dd66a02008-07-18 23:46:41 +000085 }
86
87 if (!bitcodeFileSeen) {
Devang Patel4f574f52008-07-21 23:04:39 +000088 ErrMsg = "Unable to help!";
89 ErrMsg += " Need at least one input file that contains llvm bitcode";
Devang Patel5dd66a02008-07-18 23:46:41 +000090 return false;
91 }
92
Devang Patela11ec252008-07-22 22:20:18 +000093 // Try to reproduce error using native object files first. If the error
94 // occurs then this is not a LTO error.
95 if (!relinkProgram(NativeInputFiles)) {
96 ErrMsg += " Unable to link the program using all native object files!";
97 return false;
98 }
99 if (reproduceProgramError(Script) == true) {
100 ErrMsg += " Unable to fix program error using all native object files!";
101 return false;
102 }
103
Devang Patel5dd66a02008-07-18 23:46:41 +0000104 return true;
105}
Devang Patel4f574f52008-07-21 23:04:39 +0000106
107/// getFeatureString - Return a string listing the features associated with the
108/// target triple.
109///
110/// FIXME: This is an inelegant way of specifying the features of a
111/// subtarget. It would be better if we could encode this information into the
112/// IR.
113std::string LTOBugPoint::getFeatureString(const char *TargetTriple) {
114 SubtargetFeatures Features;
115
116 if (strncmp(TargetTriple, "powerpc-apple-", 14) == 0) {
117 Features.AddFeature("altivec", true);
118 } else if (strncmp(TargetTriple, "powerpc64-apple-", 16) == 0) {
119 Features.AddFeature("64bit", true);
120 Features.AddFeature("altivec", true);
121 }
122
123 return Features.getString();
124}
125
126/// assembleBitcode - Generate assembly code from the module. Return false
127/// in case of an error.
128bool LTOBugPoint::assembleBitcode(llvm::Module *M, const char *AsmFileName) {
129 std::string TargetTriple = M->getTargetTriple();
130 std::string FeatureStr =
131 getFeatureString(TargetTriple.c_str());
132
133 const TargetMachineRegistry::entry* Registry =
134 TargetMachineRegistry::getClosestStaticTargetForModule(
135 *M, ErrMsg);
136 if ( Registry == NULL )
137 return false;
138
139 TargetMachine *Target = Registry->CtorFn(*M, FeatureStr.c_str());
140
141 // If target supports exception handling then enable it now.
142 if (Target->getTargetAsmInfo()->doesSupportExceptionHandling())
143 ExceptionHandling = true;
144
145 // FIXME
146 Target->setRelocationModel(Reloc::PIC_);
147
148 FunctionPassManager* CGPasses =
149 new FunctionPassManager(new ExistingModuleProvider(M));
150
151 CGPasses->add(new TargetData(*Target->getTargetData()));
152 MachineCodeEmitter* mce = NULL;
153
154 std::ofstream *Out = new std::ofstream(AsmFileName, std::ios::out);
155
156 switch (Target->addPassesToEmitFile(*CGPasses, *Out,
Bill Wendling80fb2782008-07-22 09:08:05 +0000157 TargetMachine::AssemblyFile, true)) {
Devang Patel4f574f52008-07-21 23:04:39 +0000158 case FileModel::MachOFile:
159 mce = AddMachOWriter(*CGPasses, *Out, *Target);
160 break;
161 case FileModel::ElfFile:
162 mce = AddELFWriter(*CGPasses, *Out, *Target);
163 break;
164 case FileModel::AsmFile:
165 break;
166 case FileModel::Error:
167 case FileModel::None:
168 ErrMsg = "target file type not supported";
169 return false;
170 }
171
172 if (Target->addPassesToEmitFileFinish(*CGPasses, mce, true)) {
173 ErrMsg = "target does not support generation of this file type";
174 return false;
175 }
176
177 CGPasses->doInitialization();
178 for (Module::iterator
Bill Wendling80fb2782008-07-22 09:08:05 +0000179 it = M->begin(), e = M->end(); it != e; ++it)
Devang Patel4f574f52008-07-21 23:04:39 +0000180 if (!it->isDeclaration())
181 CGPasses->run(*it);
182 CGPasses->doFinalization();
183 delete Out;
184 return true;
185}
186
187/// getNativeObjectFile - Generate native object file based from llvm
188/// bitcode file. Return false in case of an error.
189bool LTOBugPoint::getNativeObjectFile(std::string &FileName) {
190
191 std::auto_ptr<Module> M;
192 MemoryBuffer *Buffer
193 = MemoryBuffer::getFile(FileName.c_str(), &ErrMsg);
194 if (!Buffer) {
195 ErrMsg = "Unable to read ";
196 ErrMsg += FileName;
197 return false;
198 }
199 M.reset(ParseBitcodeFile(Buffer, &ErrMsg));
200 std::string TargetTriple = M->getTargetTriple();
201
Devang Patel35b39b4f2008-07-22 20:03:45 +0000202 sys::Path AsmFile(TempDir);
Devang Patel4f574f52008-07-21 23:04:39 +0000203 if(AsmFile.createTemporaryFileOnDisk(false, &ErrMsg))
204 return false;
205
Devang Patel35b39b4f2008-07-22 20:03:45 +0000206 if (assembleBitcode(M.get(), AsmFile.c_str()) == false) {
207 AsmFile.eraseFromDisk();
Devang Patel4f574f52008-07-21 23:04:39 +0000208 return false;
Devang Patel35b39b4f2008-07-22 20:03:45 +0000209 }
Devang Patel4f574f52008-07-21 23:04:39 +0000210
Devang Patel35b39b4f2008-07-22 20:03:45 +0000211 sys::Path NativeFile(TempDir);
212 if(NativeFile.createTemporaryFileOnDisk(false, &ErrMsg)) {
213 AsmFile.eraseFromDisk();
Devang Patel4f574f52008-07-21 23:04:39 +0000214 return false;
Devang Patel35b39b4f2008-07-22 20:03:45 +0000215 }
Devang Patel4f574f52008-07-21 23:04:39 +0000216
217 // find compiler driver
218 const sys::Path gcc = sys::Program::FindProgramByName("gcc");
219 if ( gcc.isEmpty() ) {
220 ErrMsg = "can't locate gcc";
Devang Patel35b39b4f2008-07-22 20:03:45 +0000221 AsmFile.eraseFromDisk();
222 NativeFile.eraseFromDisk();
Devang Patel4f574f52008-07-21 23:04:39 +0000223 return false;
224 }
225
226 // build argument list
227 std::vector<const char*> args;
228 args.push_back(gcc.c_str());
229 if ( TargetTriple.find("darwin") != TargetTriple.size() ) {
230 if (strncmp(TargetTriple.c_str(), "i686-apple-", 11) == 0) {
231 args.push_back("-arch");
232 args.push_back("i386");
233 }
234 else if (strncmp(TargetTriple.c_str(), "x86_64-apple-", 13) == 0) {
235 args.push_back("-arch");
236 args.push_back("x86_64");
237 }
238 else if (strncmp(TargetTriple.c_str(), "powerpc-apple-", 14) == 0) {
239 args.push_back("-arch");
240 args.push_back("ppc");
241 }
242 else if (strncmp(TargetTriple.c_str(), "powerpc64-apple-", 16) == 0) {
243 args.push_back("-arch");
244 args.push_back("ppc64");
245 }
246 }
247 args.push_back("-c");
248 args.push_back("-x");
249 args.push_back("assembler");
250 args.push_back("-o");
251 args.push_back(NativeFile.c_str());
252 args.push_back(AsmFile.c_str());
253 args.push_back(0);
254
255 // invoke assembler
256 if (sys::Program::ExecuteAndWait(gcc, &args[0], 0, 0, 0, 0, &ErrMsg)) {
Devang Patel35b39b4f2008-07-22 20:03:45 +0000257 ErrMsg = "error in assembly";
258 AsmFile.eraseFromDisk();
259 NativeFile.eraseFromDisk();
Devang Patel4f574f52008-07-21 23:04:39 +0000260 return false;
261 }
Devang Patel35b39b4f2008-07-22 20:03:45 +0000262
263 AsmFile.eraseFromDisk();
Devang Patel4f574f52008-07-21 23:04:39 +0000264 return true;
265}
Devang Patela11ec252008-07-22 22:20:18 +0000266
267/// relinkProgram - Relink program. Return false if linking fails.
268bool LTOBugPoint::relinkProgram(llvm::SmallVector<std::string, 16> &InFiles) {
269 if (InFiles.empty())
270 return false;
271
272 // Atleast three options: linker path, -o and output file name.
273 if (LinkerOptions.size() < 3)
274 return false;
275
276 const sys::Path linker = sys::Program::FindProgramByName(LinkerOptions[0]);
277 if (linker.isEmpty()) {
278 ErrMsg = "can't locate linker";
279 return false;
280 }
281
282 std::vector<const char*> Args;
283 for (unsigned i = 0, e = LinkerOptions.size(); i < e; ++i)
284 Args.push_back(LinkerOptions[i].c_str());
285
286 for (unsigned i = 0, e = InFiles.size(); i < e; ++i)
287 Args.push_back(InFiles[i].c_str());
288
289 Args.push_back(0);
290
291 if (sys::Program::ExecuteAndWait(linker, &Args[0], 0, 0, 0, 0, &ErrMsg)) {
292 ErrMsg += "error while linking program";
293 return false;
294 }
295
296 return true;
297}
298
299/// reproduceProgramError - Validate program using user provided script.
300/// Return true if program error is reproduced.
301bool LTOBugPoint::reproduceProgramError(std::string &Script) {
302
303 const sys::Path validator = sys::Program::FindProgramByName(Script);
304 if (validator.isEmpty()) {
305 ErrMsg = "can't locate validation script";
306 return false;
307 }
308
309 std::vector<const char*> Args;
310 Args.push_back(Script.c_str());
311 Args.push_back(0);
312
313 int result =
314 sys::Program::ExecuteAndWait(validator, &Args[0], 0, 0, 0, 0, &ErrMsg);
315
316 // Validation scrip returns non-zero if the error is reproduced.
317 if (result > 0)
318 // Able to reproduce program error.
319 return true;
320
321 else if (result < 0)
322 // error occured while running validation script. ErrMsg contains error
323 // description.
324 return false;
325
326 return false;
327}