blob: 70744c9a8f271ebb3e7c597b209d12ea8e9181fd [file] [log] [blame]
Nick Kledzik6d886992008-02-26 20:26:43 +00001//===-LTOCodeGenerator.cpp - LLVM Link Time Optimizer ---------------------===//
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 file implements the Link Time Optimization library. This library is
11// intended to be used by linker to optimize code at link time.
12//
13//===----------------------------------------------------------------------===//
14
Nick Kledzik79d0a052008-02-27 22:25:36 +000015#include "LTOModule.h"
16#include "LTOCodeGenerator.h"
17
18
Nick Kledzik6d886992008-02-26 20:26:43 +000019#include "llvm/Module.h"
20#include "llvm/PassManager.h"
21#include "llvm/Linker.h"
22#include "llvm/Constants.h"
23#include "llvm/DerivedTypes.h"
24#include "llvm/ModuleProvider.h"
25#include "llvm/Bitcode/ReaderWriter.h"
Nick Kledzik4059fb12008-07-08 21:14:10 +000026#include "llvm/Support/CommandLine.h"
Nick Kledzik6d886992008-02-26 20:26:43 +000027#include "llvm/Support/SystemUtils.h"
28#include "llvm/Support/Mangler.h"
29#include "llvm/Support/MemoryBuffer.h"
Owen Anderson847b99b2008-08-21 00:14:44 +000030#include "llvm/Support/raw_ostream.h"
Nick Kledzik6d886992008-02-26 20:26:43 +000031#include "llvm/System/Signals.h"
32#include "llvm/Analysis/Passes.h"
33#include "llvm/Analysis/LoopPass.h"
34#include "llvm/Analysis/Verifier.h"
35#include "llvm/CodeGen/FileWriters.h"
Bill Wendling568e37c2008-06-18 06:35:30 +000036#include "llvm/Target/SubtargetFeature.h"
Nick Kledzik6d886992008-02-26 20:26:43 +000037#include "llvm/Target/TargetOptions.h"
38#include "llvm/Target/TargetData.h"
39#include "llvm/Target/TargetMachine.h"
40#include "llvm/Target/TargetMachineRegistry.h"
41#include "llvm/Target/TargetAsmInfo.h"
42#include "llvm/Transforms/IPO.h"
43#include "llvm/Transforms/Scalar.h"
Devang Patel6fb60262008-07-03 22:53:14 +000044#include "llvm/ADT/StringExtras.h"
Nick Kledzik6d886992008-02-26 20:26:43 +000045#include "llvm/Config/config.h"
46
Nick Kledzik6d886992008-02-26 20:26:43 +000047
48#include <fstream>
49#include <unistd.h>
50#include <stdlib.h>
51#include <fcntl.h>
52
53
54using namespace llvm;
55
Nick Kledzik4059fb12008-07-08 21:14:10 +000056static cl::opt<bool> DisableInline("disable-inlining",
57 cl::desc("Do not run the inliner pass"));
Nick Kledzik6d886992008-02-26 20:26:43 +000058
59
60const char* LTOCodeGenerator::getVersionString()
61{
62#ifdef LLVM_VERSION_INFO
63 return PACKAGE_NAME " version " PACKAGE_VERSION ", " LLVM_VERSION_INFO;
64#else
65 return PACKAGE_NAME " version " PACKAGE_VERSION;
66#endif
67}
68
69
70LTOCodeGenerator::LTOCodeGenerator()
71 : _linker("LinkTimeOptimizer", "ld-temp.o"), _target(NULL),
72 _emitDwarfDebugInfo(false), _scopeRestrictionsDone(false),
Nick Kledzik79d0a052008-02-27 22:25:36 +000073 _codeModel(LTO_CODEGEN_PIC_MODEL_DYNAMIC),
74 _nativeObjectFile(NULL)
Nick Kledzik6d886992008-02-26 20:26:43 +000075{
76
77}
78
79LTOCodeGenerator::~LTOCodeGenerator()
80{
Nick Kledzik79d0a052008-02-27 22:25:36 +000081 delete _target;
82 delete _nativeObjectFile;
Nick Kledzik6d886992008-02-26 20:26:43 +000083}
84
85
86
87bool LTOCodeGenerator::addModule(LTOModule* mod, std::string& errMsg)
88{
89 return _linker.LinkInModule(mod->getLLVVMModule(), &errMsg);
90}
91
92
93bool LTOCodeGenerator::setDebugInfo(lto_debug_model debug, std::string& errMsg)
94{
95 switch (debug) {
96 case LTO_DEBUG_MODEL_NONE:
97 _emitDwarfDebugInfo = false;
98 return false;
99
100 case LTO_DEBUG_MODEL_DWARF:
101 _emitDwarfDebugInfo = true;
102 return false;
103 }
104 errMsg = "unknown debug format";
105 return true;
106}
107
108
109bool LTOCodeGenerator::setCodePICModel(lto_codegen_model model,
110 std::string& errMsg)
111{
112 switch (model) {
113 case LTO_CODEGEN_PIC_MODEL_STATIC:
114 case LTO_CODEGEN_PIC_MODEL_DYNAMIC:
115 case LTO_CODEGEN_PIC_MODEL_DYNAMIC_NO_PIC:
116 _codeModel = model;
117 return false;
118 }
119 errMsg = "unknown pic model";
120 return true;
121}
122
Nick Kledzik6d886992008-02-26 20:26:43 +0000123void LTOCodeGenerator::addMustPreserveSymbol(const char* sym)
124{
125 _mustPreserveSymbols[sym] = 1;
126}
127
128
129bool LTOCodeGenerator::writeMergedModules(const char* path, std::string& errMsg)
130{
131 if ( this->determineTarget(errMsg) )
132 return true;
133
134 // mark which symbols can not be internalized
135 this->applyScopeRestrictions();
136
137 // create output file
138 std::ofstream out(path, std::ios_base::out|std::ios::trunc|std::ios::binary);
139 if ( out.fail() ) {
140 errMsg = "could not open bitcode file for writing: ";
141 errMsg += path;
142 return true;
143 }
144
145 // write bitcode to it
146 WriteBitcodeToFile(_linker.getModule(), out);
147 if ( out.fail() ) {
148 errMsg = "could not write bitcode file: ";
149 errMsg += path;
150 return true;
151 }
152
153 return false;
154}
155
156
Nick Kledzik79d0a052008-02-27 22:25:36 +0000157const void* LTOCodeGenerator::compile(size_t* length, std::string& errMsg)
Nick Kledzik6d886992008-02-26 20:26:43 +0000158{
Nick Kledzik79d0a052008-02-27 22:25:36 +0000159 // make unique temp .s file to put generated assembly code
Nick Kledzik6d886992008-02-26 20:26:43 +0000160 sys::Path uniqueAsmPath("lto-llvm.s");
161 if ( uniqueAsmPath.createTemporaryFileOnDisk(true, &errMsg) )
162 return NULL;
163 sys::RemoveFileOnSignal(uniqueAsmPath);
164
165 // generate assembly code
Owen Anderson847b99b2008-08-21 00:14:44 +0000166 bool genResult = false;
167 {
Daniel Dunbar8c009a32008-11-13 05:01:07 +0000168 raw_fd_ostream asmFile(uniqueAsmPath.c_str(), false, errMsg);
Dan Gohmande20df82008-08-21 15:33:45 +0000169 if (!errMsg.empty())
170 return NULL;
Owen Anderson847b99b2008-08-21 00:14:44 +0000171 genResult = this->generateAssemblyCode(asmFile, errMsg);
172 }
Nick Kledzik6d886992008-02-26 20:26:43 +0000173 if ( genResult ) {
174 if ( uniqueAsmPath.exists() )
175 uniqueAsmPath.eraseFromDisk();
176 return NULL;
177 }
178
Nick Kledzik79d0a052008-02-27 22:25:36 +0000179 // make unique temp .o file to put generated object file
Nick Kledzik6d886992008-02-26 20:26:43 +0000180 sys::PathWithStatus uniqueObjPath("lto-llvm.o");
181 if ( uniqueObjPath.createTemporaryFileOnDisk(true, &errMsg) ) {
182 if ( uniqueAsmPath.exists() )
183 uniqueAsmPath.eraseFromDisk();
184 return NULL;
185 }
186 sys::RemoveFileOnSignal(uniqueObjPath);
187
188 // assemble the assembly code
Nick Kledzik79d0a052008-02-27 22:25:36 +0000189 const std::string& uniqueObjStr = uniqueObjPath.toString();
Nick Kledzik6d886992008-02-26 20:26:43 +0000190 bool asmResult = this->assemble(uniqueAsmPath.toString(),
Nick Kledzik79d0a052008-02-27 22:25:36 +0000191 uniqueObjStr, errMsg);
Nick Kledzik6d886992008-02-26 20:26:43 +0000192 if ( !asmResult ) {
Nick Kledzik79d0a052008-02-27 22:25:36 +0000193 // remove old buffer if compile() called twice
194 delete _nativeObjectFile;
195
Nick Kledzik6d886992008-02-26 20:26:43 +0000196 // read .o file into memory buffer
Chris Lattnerfc003612008-04-01 18:04:03 +0000197 _nativeObjectFile = MemoryBuffer::getFile(uniqueObjStr.c_str(),&errMsg);
Nick Kledzik6d886992008-02-26 20:26:43 +0000198 }
Nick Kledzik79d0a052008-02-27 22:25:36 +0000199
200 // remove temp files
Nick Kledzik6d886992008-02-26 20:26:43 +0000201 uniqueAsmPath.eraseFromDisk();
202 uniqueObjPath.eraseFromDisk();
Nick Kledzik79d0a052008-02-27 22:25:36 +0000203
204 // return buffer, unless error
205 if ( _nativeObjectFile == NULL )
206 return NULL;
207 *length = _nativeObjectFile->getBufferSize();
208 return _nativeObjectFile->getBufferStart();
Nick Kledzik6d886992008-02-26 20:26:43 +0000209}
210
211
212bool LTOCodeGenerator::assemble(const std::string& asmPath,
213 const std::string& objPath, std::string& errMsg)
214{
215 // find compiler driver
216 const sys::Path gcc = sys::Program::FindProgramByName("gcc");
217 if ( gcc.isEmpty() ) {
218 errMsg = "can't locate gcc";
219 return true;
220 }
221
222 // build argument list
223 std::vector<const char*> args;
224 std::string targetTriple = _linker.getModule()->getTargetTriple();
225 args.push_back(gcc.c_str());
226 if ( targetTriple.find("darwin") != targetTriple.size() ) {
Devang Patelaa6cd1f2008-11-04 23:13:50 +0000227 if (strncmp(targetTriple.c_str(), "i386-apple-", 11) == 0) {
Nick Kledzik6d886992008-02-26 20:26:43 +0000228 args.push_back("-arch");
229 args.push_back("i386");
230 }
231 else if (strncmp(targetTriple.c_str(), "x86_64-apple-", 13) == 0) {
232 args.push_back("-arch");
233 args.push_back("x86_64");
234 }
235 else if (strncmp(targetTriple.c_str(), "powerpc-apple-", 14) == 0) {
236 args.push_back("-arch");
237 args.push_back("ppc");
238 }
239 else if (strncmp(targetTriple.c_str(), "powerpc64-apple-", 16) == 0) {
240 args.push_back("-arch");
241 args.push_back("ppc64");
242 }
Evan Chengdc5b6d62009-04-01 18:54:56 +0000243 else if (strncmp(targetTriple.c_str(), "arm-apple-", 10) == 0) {
244 args.push_back("-arch");
245 args.push_back("arm");
246 }
247 else if ((strncmp(targetTriple.c_str(), "armv4t-apple-", 13) == 0) ||
248 (strncmp(targetTriple.c_str(), "thumbv4t-apple-", 15) == 0)) {
249 args.push_back("-arch");
250 args.push_back("armv4t");
251 }
252 else if ((strncmp(targetTriple.c_str(), "armv5-apple-", 12) == 0) ||
253 (strncmp(targetTriple.c_str(), "armv5e-apple-", 13) == 0) ||
254 (strncmp(targetTriple.c_str(), "thumbv5-apple-", 14) == 0) ||
255 (strncmp(targetTriple.c_str(), "thumbv5e-apple-", 15) == 0)) {
256 args.push_back("-arch");
257 args.push_back("armv5");
258 }
259 else if ((strncmp(targetTriple.c_str(), "armv6-apple-", 12) == 0) ||
260 (strncmp(targetTriple.c_str(), "thumbv6-apple-", 14) == 0)) {
261 args.push_back("-arch");
262 args.push_back("armv6");
263 }
Nick Kledzik6d886992008-02-26 20:26:43 +0000264 }
265 args.push_back("-c");
266 args.push_back("-x");
267 args.push_back("assembler");
268 args.push_back("-o");
269 args.push_back(objPath.c_str());
270 args.push_back(asmPath.c_str());
271 args.push_back(0);
272
273 // invoke assembler
274 if ( sys::Program::ExecuteAndWait(gcc, &args[0], 0, 0, 0, 0, &errMsg) ) {
275 errMsg = "error in assembly";
276 return true;
277 }
278 return false; // success
279}
280
281
282
283bool LTOCodeGenerator::determineTarget(std::string& errMsg)
284{
285 if ( _target == NULL ) {
286 // create target machine from info for merged modules
287 Module* mergedModule = _linker.getModule();
288 const TargetMachineRegistry::entry* march =
289 TargetMachineRegistry::getClosestStaticTargetForModule(
290 *mergedModule, errMsg);
291 if ( march == NULL )
292 return true;
Bill Wendling568e37c2008-06-18 06:35:30 +0000293
294 // construct LTModule, hand over ownership of module and target
Bill Wendling0478d1a2008-06-18 21:39:02 +0000295 std::string FeatureStr =
296 getFeatureString(_linker.getModule()->getTargetTriple().c_str());
297 _target = march->CtorFn(*mergedModule, FeatureStr.c_str());
Nick Kledzik6d886992008-02-26 20:26:43 +0000298 }
299 return false;
300}
301
302void LTOCodeGenerator::applyScopeRestrictions()
303{
304 if ( !_scopeRestrictionsDone ) {
305 Module* mergedModule = _linker.getModule();
306
307 // Start off with a verification pass.
308 PassManager passes;
309 passes.add(createVerifierPass());
310
311 // mark which symbols can not be internalized
312 if ( !_mustPreserveSymbols.empty() ) {
313 Mangler mangler(*mergedModule,
314 _target->getTargetAsmInfo()->getGlobalPrefix());
315 std::vector<const char*> mustPreserveList;
316 for (Module::iterator f = mergedModule->begin(),
317 e = mergedModule->end(); f != e; ++f) {
318 if ( !f->isDeclaration()
319 && _mustPreserveSymbols.count(mangler.getValueName(f)) )
320 mustPreserveList.push_back(::strdup(f->getName().c_str()));
321 }
322 for (Module::global_iterator v = mergedModule->global_begin(),
323 e = mergedModule->global_end(); v != e; ++v) {
324 if ( !v->isDeclaration()
325 && _mustPreserveSymbols.count(mangler.getValueName(v)) )
326 mustPreserveList.push_back(::strdup(v->getName().c_str()));
327 }
328 passes.add(createInternalizePass(mustPreserveList));
329 }
330 // apply scope restrictions
331 passes.run(*mergedModule);
332
333 _scopeRestrictionsDone = true;
334 }
335}
336
Nick Kledzik6d886992008-02-26 20:26:43 +0000337/// Optimize merged modules using various IPO passes
Owen Anderson847b99b2008-08-21 00:14:44 +0000338bool LTOCodeGenerator::generateAssemblyCode(raw_ostream& out,
339 std::string& errMsg)
Nick Kledzik6d886992008-02-26 20:26:43 +0000340{
341 if ( this->determineTarget(errMsg) )
342 return true;
343
344 // mark which symbols can not be internalized
345 this->applyScopeRestrictions();
346
347 Module* mergedModule = _linker.getModule();
348
349 // If target supports exception handling then enable it now.
350 if ( _target->getTargetAsmInfo()->doesSupportExceptionHandling() )
351 llvm::ExceptionHandling = true;
352
353 // set codegen model
354 switch( _codeModel ) {
355 case LTO_CODEGEN_PIC_MODEL_STATIC:
356 _target->setRelocationModel(Reloc::Static);
357 break;
358 case LTO_CODEGEN_PIC_MODEL_DYNAMIC:
359 _target->setRelocationModel(Reloc::PIC_);
360 break;
361 case LTO_CODEGEN_PIC_MODEL_DYNAMIC_NO_PIC:
362 _target->setRelocationModel(Reloc::DynamicNoPIC);
363 break;
364 }
365
Nick Kledzik4059fb12008-07-08 21:14:10 +0000366 // if options were requested, set them
367 if ( !_codegenOptions.empty() )
368 cl::ParseCommandLineOptions(_codegenOptions.size(),
369 (char**)&_codegenOptions[0]);
Devang Patel6fb60262008-07-03 22:53:14 +0000370
Nick Kledzik6d886992008-02-26 20:26:43 +0000371 // Instantiate the pass manager to organize the passes.
372 PassManager passes;
373
374 // Start off with a verification pass.
375 passes.add(createVerifierPass());
376
377 // Add an appropriate TargetData instance for this module...
378 passes.add(new TargetData(*_target->getTargetData()));
379
Devang Patel5b3920f2008-05-27 20:18:45 +0000380 // Propagate constants at call sites into the functions they call. This
381 // opens opportunities for globalopt (and inlining) by substituting function
382 // pointers passed as arguments to direct uses of functions.
383 passes.add(createIPSCCPPass());
384
Nick Kledzik6d886992008-02-26 20:26:43 +0000385 // Now that we internalized some globals, see if we can hack on them!
386 passes.add(createGlobalOptimizerPass());
387
388 // Linking modules together can lead to duplicated global constants, only
389 // keep one copy of each constant...
390 passes.add(createConstantMergePass());
391
Nick Kledzik6d886992008-02-26 20:26:43 +0000392 // Remove unused arguments from functions...
393 passes.add(createDeadArgEliminationPass());
394
Devang Patel2f5db1e2008-05-27 20:42:44 +0000395 // Reduce the code after globalopt and ipsccp. Both can open up significant
396 // simplification opportunities, and both can propagate functions through
397 // function pointers. When this happens, we often have to resolve varargs
398 // calls, etc, so let instcombine do this.
399 passes.add(createInstructionCombiningPass());
Nick Kledzik4059fb12008-07-08 21:14:10 +0000400 if (!DisableInline)
401 passes.add(createFunctionInliningPass()); // Inline small functions
Bill Wendling568e37c2008-06-18 06:35:30 +0000402 passes.add(createPruneEHPass()); // Remove dead EH info
403 passes.add(createGlobalDCEPass()); // Remove dead functions
Nick Kledzik6d886992008-02-26 20:26:43 +0000404
405 // If we didn't decide to inline a function, check to see if we can
406 // transform it to pass arguments by value instead of by reference.
407 passes.add(createArgumentPromotionPass());
408
409 // The IPO passes may leave cruft around. Clean up after them.
410 passes.add(createInstructionCombiningPass());
Chris Lattnerc0413652008-04-21 04:31:40 +0000411 passes.add(createJumpThreadingPass()); // Thread jumps.
Nick Kledzik6d886992008-02-26 20:26:43 +0000412 passes.add(createScalarReplAggregatesPass()); // Break up allocas
413
414 // Run a few AA driven optimizations here and now, to cleanup the code.
Nick Lewyckybf336b82009-02-26 06:56:16 +0000415 passes.add(createFunctionAttrsPass()); // Add nocapture
Bill Wendling568e37c2008-06-18 06:35:30 +0000416 passes.add(createGlobalsModRefPass()); // IP alias analysis
417 passes.add(createLICMPass()); // Hoist loop invariants
418 passes.add(createGVNPass()); // Remove common subexprs
419 passes.add(createMemCpyOptPass()); // Remove dead memcpy's
Nick Kledzik6d886992008-02-26 20:26:43 +0000420 passes.add(createDeadStoreEliminationPass()); // Nuke dead stores
421
422 // Cleanup and simplify the code after the scalar optimizations.
423 passes.add(createInstructionCombiningPass());
Chris Lattnerc0413652008-04-21 04:31:40 +0000424 passes.add(createJumpThreadingPass()); // Thread jumps.
Chris Lattner93312c62008-06-25 16:54:18 +0000425 passes.add(createPromoteMemoryToRegisterPass()); // Cleanup after threading.
426
Chris Lattnerc0413652008-04-21 04:31:40 +0000427
Nick Kledzik6d886992008-02-26 20:26:43 +0000428 // Delete basic blocks, which optimization passes may have killed...
429 passes.add(createCFGSimplificationPass());
430
431 // Now that we have optimized the program, discard unreachable functions...
432 passes.add(createGlobalDCEPass());
433
434 // Make sure everything is still good.
435 passes.add(createVerifierPass());
436
437 FunctionPassManager* codeGenPasses =
438 new FunctionPassManager(new ExistingModuleProvider(mergedModule));
439
440 codeGenPasses->add(new TargetData(*_target->getTargetData()));
441
442 MachineCodeEmitter* mce = NULL;
443
444 switch (_target->addPassesToEmitFile(*codeGenPasses, out,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000445 TargetMachine::AssemblyFile,
Bill Wendling2d1c1162009-04-29 23:40:42 +0000446 CodeGenOpt::Aggressive)) {
Nick Kledzik6d886992008-02-26 20:26:43 +0000447 case FileModel::MachOFile:
448 mce = AddMachOWriter(*codeGenPasses, out, *_target);
449 break;
450 case FileModel::ElfFile:
451 mce = AddELFWriter(*codeGenPasses, out, *_target);
452 break;
453 case FileModel::AsmFile:
454 break;
455 case FileModel::Error:
456 case FileModel::None:
457 errMsg = "target file type not supported";
458 return true;
459 }
460
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000461 if (_target->addPassesToEmitFileFinish(*codeGenPasses, mce,
Bill Wendling2d1c1162009-04-29 23:40:42 +0000462 CodeGenOpt::Aggressive)) {
Nick Kledzik6d886992008-02-26 20:26:43 +0000463 errMsg = "target does not support generation of this file type";
464 return true;
465 }
466
467 // Run our queue of passes all at once now, efficiently.
468 passes.run(*mergedModule);
469
470 // Run the code generator, and write assembly file
471 codeGenPasses->doInitialization();
Nick Kledzik6d886992008-02-26 20:26:43 +0000472
Bill Wendling568e37c2008-06-18 06:35:30 +0000473 for (Module::iterator
474 it = mergedModule->begin(), e = mergedModule->end(); it != e; ++it)
475 if (!it->isDeclaration())
476 codeGenPasses->run(*it);
477
478 codeGenPasses->doFinalization();
Nick Kledzik6d886992008-02-26 20:26:43 +0000479 return false; // success
480}
481
482
Nick Kledzik4059fb12008-07-08 21:14:10 +0000483/// Optimize merged modules using various IPO passes
484void LTOCodeGenerator::setCodeGenDebugOptions(const char* options)
485{
486 std::string ops(options);
487 for (std::string o = getToken(ops); !o.empty(); o = getToken(ops)) {
488 // ParseCommandLineOptions() expects argv[0] to be program name.
489 // Lazily add that.
490 if ( _codegenOptions.empty() )
491 _codegenOptions.push_back("libLTO");
492 _codegenOptions.push_back(strdup(o.c_str()));
493 }
494}