blob: 79967207f558529b6d6cc827b89c23b09cd7eff5 [file] [log] [blame]
Nick Kledzik07b4a622008-02-26 20:26:43 +00001//===-lto.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.
Bill Wendling36cbf032012-03-30 10:29:38 +00007//
Nick Kledzik07b4a622008-02-26 20:26:43 +00008//===----------------------------------------------------------------------===//
9//
Bill Wendling36cbf032012-03-30 10:29:38 +000010// This file implements the Link Time Optimization library. This library is
Nick Kledzik07b4a622008-02-26 20:26:43 +000011// intended to be used by linker to optimize code at link time.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm-c/lto.h"
Rafael Espindola0b385c72013-09-30 16:39:19 +000016#include "llvm/CodeGen/CommandFlags.h"
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +000017#include "llvm/LTO/LTOCodeGenerator.h"
18#include "llvm/LTO/LTOModule.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000019#include "llvm-c/Core.h"
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +000020#include "llvm-c/Target.h"
Nick Kledzik07b4a622008-02-26 20:26:43 +000021
Rafael Espindola0b385c72013-09-30 16:39:19 +000022// extra command-line flags needed for LTOCodeGenerator
23static cl::opt<bool>
24DisableOpt("disable-opt", cl::init(false),
25 cl::desc("Do not run any optimization passes"));
26
27static cl::opt<bool>
28DisableInline("disable-inlining", cl::init(false),
29 cl::desc("Do not run the inliner pass"));
30
31static cl::opt<bool>
32DisableGVNLoadPRE("disable-gvn-loadpre", cl::init(false),
33 cl::desc("Do not run the GVN load PRE pass"));
Nick Kledzik07b4a622008-02-26 20:26:43 +000034
Bill Wendling36cbf032012-03-30 10:29:38 +000035// Holds most recent error string.
36// *** Not thread safe ***
Nick Kledzik07b4a622008-02-26 20:26:43 +000037static std::string sLastErrorString;
38
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +000039// Holds the initialization state of the LTO module.
40// *** Not thread safe ***
41static bool initialized = false;
42
43// Initialize the configured targets if they have not been initialized.
44static void lto_initialize() {
45 if (!initialized) {
46 LLVMInitializeAllTargetInfos();
47 LLVMInitializeAllTargets();
48 LLVMInitializeAllTargetMCs();
49 LLVMInitializeAllAsmParsers();
50 LLVMInitializeAllAsmPrinters();
51 LLVMInitializeAllDisassemblers();
52 initialized = true;
53 }
54}
55
Rafael Espindola0b385c72013-09-30 16:39:19 +000056static void lto_set_target_options(llvm::TargetOptions &Options) {
57 Options.LessPreciseFPMADOption = EnableFPMAD;
58 Options.NoFramePointerElim = DisableFPElim;
59 Options.AllowFPOpFusion = FuseFPOps;
60 Options.UnsafeFPMath = EnableUnsafeFPMath;
61 Options.NoInfsFPMath = EnableNoInfsFPMath;
62 Options.NoNaNsFPMath = EnableNoNaNsFPMath;
63 Options.HonorSignDependentRoundingFPMathOption =
64 EnableHonorSignDependentRoundingFPMath;
65 Options.UseSoftFloat = GenerateSoftFloatCalls;
66 if (FloatABIForCalls != llvm::FloatABI::Default)
67 Options.FloatABIType = FloatABIForCalls;
68 Options.NoZerosInBSS = DontPlaceZerosInBSS;
69 Options.GuaranteedTailCallOpt = EnableGuaranteedTailCallOpt;
70 Options.DisableTailCalls = DisableTailCalls;
71 Options.StackAlignmentOverride = OverrideStackAlignment;
72 Options.TrapFuncName = TrapFuncName;
73 Options.PositionIndependentExecutable = EnablePIE;
74 Options.EnableSegmentedStacks = SegmentedStacks;
75 Options.UseInitArray = UseInitArray;
76}
77
Bill Wendling36cbf032012-03-30 10:29:38 +000078/// lto_get_version - Returns a printable string.
79extern const char* lto_get_version() {
80 return LTOCodeGenerator::getVersionString();
Nick Kledzik07b4a622008-02-26 20:26:43 +000081}
82
Bill Wendling36cbf032012-03-30 10:29:38 +000083/// lto_get_error_message - Returns the last error string or NULL if last
84/// operation was successful.
85const char* lto_get_error_message() {
86 return sLastErrorString.c_str();
Nick Kledzik07b4a622008-02-26 20:26:43 +000087}
88
Bill Wendling36cbf032012-03-30 10:29:38 +000089/// lto_module_is_object_file - Validates if a file is a loadable object file.
90bool lto_module_is_object_file(const char* path) {
91 return LTOModule::isBitcodeFile(path);
Nick Kledzik07b4a622008-02-26 20:26:43 +000092}
93
Bill Wendling36cbf032012-03-30 10:29:38 +000094/// lto_module_is_object_file_for_target - Validates if a file is a loadable
95/// object file compilable for requested target.
96bool lto_module_is_object_file_for_target(const char* path,
97 const char* target_triplet_prefix) {
98 return LTOModule::isBitcodeFileForTarget(path, target_triplet_prefix);
Nick Kledzik07b4a622008-02-26 20:26:43 +000099}
100
Bill Wendling36cbf032012-03-30 10:29:38 +0000101/// lto_module_is_object_file_in_memory - Validates if a buffer is a loadable
102/// object file.
103bool lto_module_is_object_file_in_memory(const void* mem, size_t length) {
104 return LTOModule::isBitcodeFile(mem, length);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000105}
106
Bill Wendling36cbf032012-03-30 10:29:38 +0000107/// lto_module_is_object_file_in_memory_for_target - Validates if a buffer is a
108/// loadable object file compilable for the target.
109bool
110lto_module_is_object_file_in_memory_for_target(const void* mem,
111 size_t length,
112 const char* target_triplet_prefix) {
113 return LTOModule::isBitcodeFileForTarget(mem, length, target_triplet_prefix);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000114}
115
Bill Wendling36cbf032012-03-30 10:29:38 +0000116/// lto_module_create - Loads an object file from disk. Returns NULL on error
117/// (check lto_get_error_message() for details).
118lto_module_t lto_module_create(const char* path) {
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000119 lto_initialize();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000120 llvm::TargetOptions Options;
121 lto_set_target_options(Options);
122 return LTOModule::makeLTOModule(path, Options, sLastErrorString);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000123}
124
Bill Wendling36cbf032012-03-30 10:29:38 +0000125/// lto_module_create_from_fd - Loads an object file from disk. Returns NULL on
126/// error (check lto_get_error_message() for details).
127lto_module_t lto_module_create_from_fd(int fd, const char *path, size_t size) {
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000128 lto_initialize();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000129 llvm::TargetOptions Options;
130 lto_set_target_options(Options);
131 return LTOModule::makeLTOModule(fd, path, size, Options, sLastErrorString);
Rafael Espindola56e41f72011-02-08 22:40:47 +0000132}
Nick Kledzik07b4a622008-02-26 20:26:43 +0000133
Bill Wendling36cbf032012-03-30 10:29:38 +0000134/// lto_module_create_from_fd_at_offset - Loads an object file from disk.
135/// Returns NULL on error (check lto_get_error_message() for details).
Rafael Espindolab39c7c72011-03-17 00:36:11 +0000136lto_module_t lto_module_create_from_fd_at_offset(int fd, const char *path,
137 size_t file_size,
138 size_t map_size,
Bill Wendling36cbf032012-03-30 10:29:38 +0000139 off_t offset) {
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000140 lto_initialize();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000141 llvm::TargetOptions Options;
142 lto_set_target_options(Options);
143 return LTOModule::makeLTOModule(fd, path, map_size, offset, Options,
144 sLastErrorString);
Rafael Espindolab39c7c72011-03-17 00:36:11 +0000145}
146
Bill Wendling36cbf032012-03-30 10:29:38 +0000147/// lto_module_create_from_memory - Loads an object file from memory. Returns
148/// NULL on error (check lto_get_error_message() for details).
149lto_module_t lto_module_create_from_memory(const void* mem, size_t length) {
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000150 lto_initialize();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000151 llvm::TargetOptions Options;
152 lto_set_target_options(Options);
153 return LTOModule::makeLTOModule(mem, length, Options, sLastErrorString);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000154}
155
Bill Wendling36cbf032012-03-30 10:29:38 +0000156/// lto_module_dispose - Frees all memory for a module. Upon return the
157/// lto_module_t is no longer valid.
158void lto_module_dispose(lto_module_t mod) {
159 delete mod;
Nick Kledzik07b4a622008-02-26 20:26:43 +0000160}
161
Bill Wendling36cbf032012-03-30 10:29:38 +0000162/// lto_module_get_target_triple - Returns triplet string which the object
163/// module was compiled under.
164const char* lto_module_get_target_triple(lto_module_t mod) {
165 return mod->getTargetTriple();
Nick Kledzik07b4a622008-02-26 20:26:43 +0000166}
167
Bill Wendling36cbf032012-03-30 10:29:38 +0000168/// lto_module_set_target_triple - Sets triple string with which the object will
169/// be codegened.
170void lto_module_set_target_triple(lto_module_t mod, const char *triple) {
171 return mod->setTargetTriple(triple);
Rafael Espindola4ef89f52010-08-09 21:09:46 +0000172}
173
Bill Wendling36cbf032012-03-30 10:29:38 +0000174/// lto_module_get_num_symbols - Returns the number of symbols in the object
175/// module.
176unsigned int lto_module_get_num_symbols(lto_module_t mod) {
177 return mod->getSymbolCount();
Nick Kledzik07b4a622008-02-26 20:26:43 +0000178}
179
Bill Wendling36cbf032012-03-30 10:29:38 +0000180/// lto_module_get_symbol_name - Returns the name of the ith symbol in the
181/// object module.
182const char* lto_module_get_symbol_name(lto_module_t mod, unsigned int index) {
183 return mod->getSymbolName(index);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000184}
185
Bill Wendling36cbf032012-03-30 10:29:38 +0000186/// lto_module_get_symbol_attribute - Returns the attributes of the ith symbol
187/// in the object module.
188lto_symbol_attributes lto_module_get_symbol_attribute(lto_module_t mod,
189 unsigned int index) {
190 return mod->getSymbolAttributes(index);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000191}
192
Bill Wendling36cbf032012-03-30 10:29:38 +0000193/// lto_codegen_create - Instantiates a code generator. Returns NULL if there
194/// is an error.
195lto_code_gen_t lto_codegen_create(void) {
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000196 lto_initialize();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000197
198 TargetOptions Options;
199 lto_set_target_options(Options);
200
201 LTOCodeGenerator *CodeGen = new LTOCodeGenerator();
202 if (CodeGen)
203 CodeGen->setTargetOptions(Options);
204 return CodeGen;
Nick Kledzik07b4a622008-02-26 20:26:43 +0000205}
206
Bill Wendling36cbf032012-03-30 10:29:38 +0000207/// lto_codegen_dispose - Frees all memory for a code generator. Upon return the
208/// lto_code_gen_t is no longer valid.
209void lto_codegen_dispose(lto_code_gen_t cg) {
210 delete cg;
Nick Kledzik07b4a622008-02-26 20:26:43 +0000211}
212
Bill Wendling36cbf032012-03-30 10:29:38 +0000213/// lto_codegen_add_module - Add an object module to the set of modules for
214/// which code will be generated. Returns true on error (check
215/// lto_get_error_message() for details).
216bool lto_codegen_add_module(lto_code_gen_t cg, lto_module_t mod) {
Shuxin Yangb6696a92013-08-07 05:19:23 +0000217 return !cg->addModule(mod, sLastErrorString);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000218}
219
Bill Wendling36cbf032012-03-30 10:29:38 +0000220/// lto_codegen_set_debug_model - Sets what if any format of debug info should
221/// be generated. Returns true on error (check lto_get_error_message() for
222/// details).
223bool lto_codegen_set_debug_model(lto_code_gen_t cg, lto_debug_model debug) {
Shuxin Yangb6696a92013-08-07 05:19:23 +0000224 cg->setDebugInfo(debug);
225 return false;
Nick Kledzik07b4a622008-02-26 20:26:43 +0000226}
227
Bill Wendling36cbf032012-03-30 10:29:38 +0000228/// lto_codegen_set_pic_model - Sets what code model to generated. Returns true
229/// on error (check lto_get_error_message() for details).
230bool lto_codegen_set_pic_model(lto_code_gen_t cg, lto_codegen_model model) {
Shuxin Yangb6696a92013-08-07 05:19:23 +0000231 cg->setCodePICModel(model);
232 return false;
Nick Kledzik07b4a622008-02-26 20:26:43 +0000233}
234
Bill Wendling36cbf032012-03-30 10:29:38 +0000235/// lto_codegen_set_cpu - Sets the cpu to generate code for.
Bill Wendling152e4732012-03-31 10:44:20 +0000236void lto_codegen_set_cpu(lto_code_gen_t cg, const char *cpu) {
Rafael Espindolaccab1dd2010-08-11 00:15:13 +0000237 return cg->setCpu(cpu);
238}
239
Bill Wendling36cbf032012-03-30 10:29:38 +0000240/// lto_codegen_set_assembler_path - Sets the path to the assembler tool.
241void lto_codegen_set_assembler_path(lto_code_gen_t cg, const char *path) {
Rafael Espindolafac373c2011-02-24 21:04:06 +0000242 // In here only for backwards compatibility. We use MC now.
Nick Kledzikcac8c8a2009-06-04 00:28:45 +0000243}
244
Bill Wendling36cbf032012-03-30 10:29:38 +0000245/// lto_codegen_set_assembler_args - Sets extra arguments that libLTO should
246/// pass to the assembler.
Bill Wendling152e4732012-03-31 10:44:20 +0000247void lto_codegen_set_assembler_args(lto_code_gen_t cg, const char **args,
Bill Wendling36cbf032012-03-30 10:29:38 +0000248 int nargs) {
Rafael Espindolafac373c2011-02-24 21:04:06 +0000249 // In here only for backwards compatibility. We use MC now.
Rafael Espindola00456462010-08-10 18:55:09 +0000250}
251
Bill Wendling36cbf032012-03-30 10:29:38 +0000252/// lto_codegen_add_must_preserve_symbol - Adds to a list of all global symbols
253/// that must exist in the final generated code. If a function is not listed
254/// there, it might be inlined into every usage and optimized away.
255void lto_codegen_add_must_preserve_symbol(lto_code_gen_t cg,
Bill Wendling152e4732012-03-31 10:44:20 +0000256 const char *symbol) {
Evan Chengd6460962009-06-26 06:57:16 +0000257 cg->addMustPreserveSymbol(symbol);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000258}
259
Bill Wendling36cbf032012-03-30 10:29:38 +0000260/// lto_codegen_write_merged_modules - Writes a new file at the specified path
261/// that contains the merged contents of all modules added so far. Returns true
262/// on error (check lto_get_error_message() for details).
Bill Wendling152e4732012-03-31 10:44:20 +0000263bool lto_codegen_write_merged_modules(lto_code_gen_t cg, const char *path) {
Shuxin Yangb6696a92013-08-07 05:19:23 +0000264 return !cg->writeMergedModules(path, sLastErrorString);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000265}
266
Bill Wendling36cbf032012-03-30 10:29:38 +0000267/// lto_codegen_compile - Generates code for all added modules into one native
268/// object file. On success returns a pointer to a generated mach-o/ELF buffer
269/// and length set to the buffer size. The buffer is owned by the lto_code_gen_t
270/// object and will be freed when lto_codegen_dispose() is called, or
271/// lto_codegen_compile() is called again. On failure, returns NULL (check
272/// lto_get_error_message() for details).
Bill Wendling152e4732012-03-31 10:44:20 +0000273const void *lto_codegen_compile(lto_code_gen_t cg, size_t *length) {
Rafael Espindola0b385c72013-09-30 16:39:19 +0000274 return cg->compile(length, DisableOpt, DisableInline, DisableGVNLoadPRE,
275 sLastErrorString);
Nick Kledzik07b4a622008-02-26 20:26:43 +0000276}
277
Bill Wendling152e4732012-03-31 10:44:20 +0000278/// lto_codegen_compile_to_file - Generates code for all added modules into one
279/// native object file. The name of the file is written to name. Returns true on
280/// error.
281bool lto_codegen_compile_to_file(lto_code_gen_t cg, const char **name) {
Rafael Espindola0b385c72013-09-30 16:39:19 +0000282 return !cg->compile_to_file(name, DisableOpt, DisableInline, DisableGVNLoadPRE,
283 sLastErrorString);
Rafael Espindola26b57ff2011-03-22 20:57:13 +0000284}
285
Bill Wendling36cbf032012-03-30 10:29:38 +0000286/// lto_codegen_debug_options - Used to pass extra options to the code
287/// generator.
Bill Wendling152e4732012-03-31 10:44:20 +0000288void lto_codegen_debug_options(lto_code_gen_t cg, const char *opt) {
Devang Patela0e4fb82008-07-03 22:53:14 +0000289 cg->setCodeGenDebugOptions(opt);
Duncan Sands31554ab2009-07-03 15:38:01 +0000290}