Devang Patel | e330f2d | 2008-07-18 22:59:45 +0000 | [diff] [blame] | 1 | //===- 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 Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 16 | #include "llvm/PassManager.h" |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 17 | #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 Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 25 | #include "llvm/Support/SystemUtils.h" |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 26 | #include "llvm/Support/MemoryBuffer.h" |
| 27 | #include "llvm/Bitcode/ReaderWriter.h" |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 28 | #include "llvm/Config/config.h" |
| 29 | #include <fstream> |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 30 | #include <iostream> |
Devang Patel | e330f2d | 2008-07-18 22:59:45 +0000 | [diff] [blame] | 31 | |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 32 | using namespace llvm; |
| 33 | using namespace Reloc; |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 34 | /// LTOBugPoint -- Constructor. Popuate list of linker options and |
| 35 | /// list of linker input files. |
Devang Patel | e330f2d | 2008-07-18 22:59:45 +0000 | [diff] [blame] | 36 | LTOBugPoint::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 Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 47 | |
| 48 | TempDir = sys::Path::GetTemporaryDirectory(); |
| 49 | } |
| 50 | |
| 51 | LTOBugPoint::~LTOBugPoint() { |
| 52 | TempDir.eraseFromDisk(true); |
Devang Patel | e330f2d | 2008-07-18 22:59:45 +0000 | [diff] [blame] | 53 | } |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 54 | |
| 55 | /// findTroubleMakers - Find minimum set of input files that causes error |
| 56 | /// identified by the script. |
| 57 | bool |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 58 | LTOBugPoint::findTroubleMakers(SmallVector<std::string, 4> &TroubleMakers, |
Bill Wendling | 80fb278 | 2008-07-22 09:08:05 +0000 | [diff] [blame] | 59 | std::string &Script) { |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 60 | |
Devang Patel | a11ec25 | 2008-07-22 22:20:18 +0000 | [diff] [blame^] | 61 | // 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 Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 68 | bool bitcodeFileSeen = false; |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 69 | 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 Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 79 | bitcodeFileSeen = true; |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 80 | if (getNativeObjectFile(FileName) == false) |
Bill Wendling | 80fb278 | 2008-07-22 09:08:05 +0000 | [diff] [blame] | 81 | return false; |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 82 | } |
| 83 | else |
| 84 | NativeInputFiles.push_back(FileName); |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | if (!bitcodeFileSeen) { |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 88 | ErrMsg = "Unable to help!"; |
| 89 | ErrMsg += " Need at least one input file that contains llvm bitcode"; |
Devang Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 90 | return false; |
| 91 | } |
| 92 | |
Devang Patel | a11ec25 | 2008-07-22 22:20:18 +0000 | [diff] [blame^] | 93 | // 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 Patel | 5dd66a0 | 2008-07-18 23:46:41 +0000 | [diff] [blame] | 104 | return true; |
| 105 | } |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 106 | |
| 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. |
| 113 | std::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. |
| 128 | bool 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 Wendling | 80fb278 | 2008-07-22 09:08:05 +0000 | [diff] [blame] | 157 | TargetMachine::AssemblyFile, true)) { |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 158 | 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 Wendling | 80fb278 | 2008-07-22 09:08:05 +0000 | [diff] [blame] | 179 | it = M->begin(), e = M->end(); it != e; ++it) |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 180 | 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. |
| 189 | bool 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 Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 202 | sys::Path AsmFile(TempDir); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 203 | if(AsmFile.createTemporaryFileOnDisk(false, &ErrMsg)) |
| 204 | return false; |
| 205 | |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 206 | if (assembleBitcode(M.get(), AsmFile.c_str()) == false) { |
| 207 | AsmFile.eraseFromDisk(); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 208 | return false; |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 209 | } |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 210 | |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 211 | sys::Path NativeFile(TempDir); |
| 212 | if(NativeFile.createTemporaryFileOnDisk(false, &ErrMsg)) { |
| 213 | AsmFile.eraseFromDisk(); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 214 | return false; |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 215 | } |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 216 | |
| 217 | // find compiler driver |
| 218 | const sys::Path gcc = sys::Program::FindProgramByName("gcc"); |
| 219 | if ( gcc.isEmpty() ) { |
| 220 | ErrMsg = "can't locate gcc"; |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 221 | AsmFile.eraseFromDisk(); |
| 222 | NativeFile.eraseFromDisk(); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 223 | 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 Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 257 | ErrMsg = "error in assembly"; |
| 258 | AsmFile.eraseFromDisk(); |
| 259 | NativeFile.eraseFromDisk(); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 260 | return false; |
| 261 | } |
Devang Patel | 35b39b4f | 2008-07-22 20:03:45 +0000 | [diff] [blame] | 262 | |
| 263 | AsmFile.eraseFromDisk(); |
Devang Patel | 4f574f5 | 2008-07-21 23:04:39 +0000 | [diff] [blame] | 264 | return true; |
| 265 | } |
Devang Patel | a11ec25 | 2008-07-22 22:20:18 +0000 | [diff] [blame^] | 266 | |
| 267 | /// relinkProgram - Relink program. Return false if linking fails. |
| 268 | bool 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. |
| 301 | bool 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 | } |