Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 1 | //===-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 Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 7 | // |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 10 | // This file implements the Link Time Optimization library. This library is |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 11 | // intended to be used by linker to optimize code at link time. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "llvm-c/lto.h" |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 16 | #include "llvm/LTO/LTOCodeGenerator.h" |
| 17 | #include "llvm/LTO/LTOModule.h" |
Chandler Carruth | f010c46 | 2012-12-04 10:44:52 +0000 | [diff] [blame] | 18 | #include "llvm-c/Core.h" |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 19 | #include "llvm-c/Target.h" |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 20 | |
| 21 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 22 | // Holds most recent error string. |
| 23 | // *** Not thread safe *** |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 24 | static std::string sLastErrorString; |
| 25 | |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 26 | // Holds the initialization state of the LTO module. |
| 27 | // *** Not thread safe *** |
| 28 | static bool initialized = false; |
| 29 | |
| 30 | // Initialize the configured targets if they have not been initialized. |
| 31 | static void lto_initialize() { |
| 32 | if (!initialized) { |
| 33 | LLVMInitializeAllTargetInfos(); |
| 34 | LLVMInitializeAllTargets(); |
| 35 | LLVMInitializeAllTargetMCs(); |
| 36 | LLVMInitializeAllAsmParsers(); |
| 37 | LLVMInitializeAllAsmPrinters(); |
| 38 | LLVMInitializeAllDisassemblers(); |
| 39 | initialized = true; |
| 40 | } |
| 41 | } |
| 42 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 43 | /// lto_get_version - Returns a printable string. |
| 44 | extern const char* lto_get_version() { |
| 45 | return LTOCodeGenerator::getVersionString(); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 46 | } |
| 47 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 48 | /// lto_get_error_message - Returns the last error string or NULL if last |
| 49 | /// operation was successful. |
| 50 | const char* lto_get_error_message() { |
| 51 | return sLastErrorString.c_str(); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 52 | } |
| 53 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 54 | /// lto_module_is_object_file - Validates if a file is a loadable object file. |
| 55 | bool lto_module_is_object_file(const char* path) { |
| 56 | return LTOModule::isBitcodeFile(path); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 57 | } |
| 58 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 59 | /// lto_module_is_object_file_for_target - Validates if a file is a loadable |
| 60 | /// object file compilable for requested target. |
| 61 | bool lto_module_is_object_file_for_target(const char* path, |
| 62 | const char* target_triplet_prefix) { |
| 63 | return LTOModule::isBitcodeFileForTarget(path, target_triplet_prefix); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 64 | } |
| 65 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 66 | /// lto_module_is_object_file_in_memory - Validates if a buffer is a loadable |
| 67 | /// object file. |
| 68 | bool lto_module_is_object_file_in_memory(const void* mem, size_t length) { |
| 69 | return LTOModule::isBitcodeFile(mem, length); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 70 | } |
| 71 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 72 | /// lto_module_is_object_file_in_memory_for_target - Validates if a buffer is a |
| 73 | /// loadable object file compilable for the target. |
| 74 | bool |
| 75 | lto_module_is_object_file_in_memory_for_target(const void* mem, |
| 76 | size_t length, |
| 77 | const char* target_triplet_prefix) { |
| 78 | return LTOModule::isBitcodeFileForTarget(mem, length, target_triplet_prefix); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 79 | } |
| 80 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 81 | /// lto_module_create - Loads an object file from disk. Returns NULL on error |
| 82 | /// (check lto_get_error_message() for details). |
| 83 | lto_module_t lto_module_create(const char* path) { |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 84 | lto_initialize(); |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 85 | return LTOModule::makeLTOModule(path, sLastErrorString); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 86 | } |
| 87 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 88 | /// lto_module_create_from_fd - Loads an object file from disk. Returns NULL on |
| 89 | /// error (check lto_get_error_message() for details). |
| 90 | lto_module_t lto_module_create_from_fd(int fd, const char *path, size_t size) { |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 91 | lto_initialize(); |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 92 | return LTOModule::makeLTOModule(fd, path, size, sLastErrorString); |
Rafael Espindola | b4cc031 | 2011-02-08 22:40:47 +0000 | [diff] [blame] | 93 | } |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 94 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 95 | /// lto_module_create_from_fd_at_offset - Loads an object file from disk. |
| 96 | /// Returns NULL on error (check lto_get_error_message() for details). |
Rafael Espindola | f21b105 | 2011-03-17 00:36:11 +0000 | [diff] [blame] | 97 | lto_module_t lto_module_create_from_fd_at_offset(int fd, const char *path, |
| 98 | size_t file_size, |
| 99 | size_t map_size, |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 100 | off_t offset) { |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 101 | lto_initialize(); |
Rafael Espindola | 70c7e48 | 2013-07-23 20:25:01 +0000 | [diff] [blame] | 102 | return LTOModule::makeLTOModule(fd, path, map_size, offset, sLastErrorString); |
Rafael Espindola | f21b105 | 2011-03-17 00:36:11 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 105 | /// lto_module_create_from_memory - Loads an object file from memory. Returns |
| 106 | /// NULL on error (check lto_get_error_message() for details). |
| 107 | lto_module_t lto_module_create_from_memory(const void* mem, size_t length) { |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 108 | lto_initialize(); |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 109 | return LTOModule::makeLTOModule(mem, length, sLastErrorString); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 110 | } |
| 111 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 112 | /// lto_module_dispose - Frees all memory for a module. Upon return the |
| 113 | /// lto_module_t is no longer valid. |
| 114 | void lto_module_dispose(lto_module_t mod) { |
| 115 | delete mod; |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 118 | /// lto_module_get_target_triple - Returns triplet string which the object |
| 119 | /// module was compiled under. |
| 120 | const char* lto_module_get_target_triple(lto_module_t mod) { |
| 121 | return mod->getTargetTriple(); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 122 | } |
| 123 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 124 | /// lto_module_set_target_triple - Sets triple string with which the object will |
| 125 | /// be codegened. |
| 126 | void lto_module_set_target_triple(lto_module_t mod, const char *triple) { |
| 127 | return mod->setTargetTriple(triple); |
Rafael Espindola | cbb170d | 2010-08-09 21:09:46 +0000 | [diff] [blame] | 128 | } |
| 129 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 130 | /// lto_module_get_num_symbols - Returns the number of symbols in the object |
| 131 | /// module. |
| 132 | unsigned int lto_module_get_num_symbols(lto_module_t mod) { |
| 133 | return mod->getSymbolCount(); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 134 | } |
| 135 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 136 | /// lto_module_get_symbol_name - Returns the name of the ith symbol in the |
| 137 | /// object module. |
| 138 | const char* lto_module_get_symbol_name(lto_module_t mod, unsigned int index) { |
| 139 | return mod->getSymbolName(index); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 140 | } |
| 141 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 142 | /// lto_module_get_symbol_attribute - Returns the attributes of the ith symbol |
| 143 | /// in the object module. |
| 144 | lto_symbol_attributes lto_module_get_symbol_attribute(lto_module_t mod, |
| 145 | unsigned int index) { |
| 146 | return mod->getSymbolAttributes(index); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 149 | /// lto_codegen_create - Instantiates a code generator. Returns NULL if there |
| 150 | /// is an error. |
| 151 | lto_code_gen_t lto_codegen_create(void) { |
Peter Collingbourne | cc48854 | 2013-09-24 23:52:22 +0000 | [diff] [blame^] | 152 | lto_initialize(); |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 153 | return new LTOCodeGenerator(); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 154 | } |
| 155 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 156 | /// lto_codegen_dispose - Frees all memory for a code generator. Upon return the |
| 157 | /// lto_code_gen_t is no longer valid. |
| 158 | void lto_codegen_dispose(lto_code_gen_t cg) { |
| 159 | delete cg; |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 160 | } |
| 161 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 162 | /// lto_codegen_add_module - Add an object module to the set of modules for |
| 163 | /// which code will be generated. Returns true on error (check |
| 164 | /// lto_get_error_message() for details). |
| 165 | bool lto_codegen_add_module(lto_code_gen_t cg, lto_module_t mod) { |
Shuxin Yang | 235089b | 2013-08-07 05:19:23 +0000 | [diff] [blame] | 166 | return !cg->addModule(mod, sLastErrorString); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 167 | } |
| 168 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 169 | /// lto_codegen_set_debug_model - Sets what if any format of debug info should |
| 170 | /// be generated. Returns true on error (check lto_get_error_message() for |
| 171 | /// details). |
| 172 | bool lto_codegen_set_debug_model(lto_code_gen_t cg, lto_debug_model debug) { |
Shuxin Yang | 235089b | 2013-08-07 05:19:23 +0000 | [diff] [blame] | 173 | cg->setDebugInfo(debug); |
| 174 | return false; |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 175 | } |
| 176 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 177 | /// lto_codegen_set_pic_model - Sets what code model to generated. Returns true |
| 178 | /// on error (check lto_get_error_message() for details). |
| 179 | bool lto_codegen_set_pic_model(lto_code_gen_t cg, lto_codegen_model model) { |
Shuxin Yang | 235089b | 2013-08-07 05:19:23 +0000 | [diff] [blame] | 180 | cg->setCodePICModel(model); |
| 181 | return false; |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 182 | } |
| 183 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 184 | /// lto_codegen_set_cpu - Sets the cpu to generate code for. |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 185 | void lto_codegen_set_cpu(lto_code_gen_t cg, const char *cpu) { |
Rafael Espindola | 2d643ef | 2010-08-11 00:15:13 +0000 | [diff] [blame] | 186 | return cg->setCpu(cpu); |
| 187 | } |
| 188 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 189 | /// lto_codegen_set_assembler_path - Sets the path to the assembler tool. |
| 190 | void lto_codegen_set_assembler_path(lto_code_gen_t cg, const char *path) { |
Rafael Espindola | e9efea1 | 2011-02-24 21:04:06 +0000 | [diff] [blame] | 191 | // In here only for backwards compatibility. We use MC now. |
Nick Kledzik | cbad586 | 2009-06-04 00:28:45 +0000 | [diff] [blame] | 192 | } |
| 193 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 194 | /// lto_codegen_set_assembler_args - Sets extra arguments that libLTO should |
| 195 | /// pass to the assembler. |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 196 | void lto_codegen_set_assembler_args(lto_code_gen_t cg, const char **args, |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 197 | int nargs) { |
Rafael Espindola | e9efea1 | 2011-02-24 21:04:06 +0000 | [diff] [blame] | 198 | // In here only for backwards compatibility. We use MC now. |
Rafael Espindola | 98197e5 | 2010-08-10 18:55:09 +0000 | [diff] [blame] | 199 | } |
| 200 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 201 | /// lto_codegen_add_must_preserve_symbol - Adds to a list of all global symbols |
| 202 | /// that must exist in the final generated code. If a function is not listed |
| 203 | /// there, it might be inlined into every usage and optimized away. |
| 204 | void lto_codegen_add_must_preserve_symbol(lto_code_gen_t cg, |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 205 | const char *symbol) { |
Evan Cheng | 855a168 | 2009-06-26 06:57:16 +0000 | [diff] [blame] | 206 | cg->addMustPreserveSymbol(symbol); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 207 | } |
| 208 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 209 | /// lto_codegen_write_merged_modules - Writes a new file at the specified path |
| 210 | /// that contains the merged contents of all modules added so far. Returns true |
| 211 | /// on error (check lto_get_error_message() for details). |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 212 | bool lto_codegen_write_merged_modules(lto_code_gen_t cg, const char *path) { |
Shuxin Yang | 235089b | 2013-08-07 05:19:23 +0000 | [diff] [blame] | 213 | return !cg->writeMergedModules(path, sLastErrorString); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 214 | } |
| 215 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 216 | /// lto_codegen_compile - Generates code for all added modules into one native |
| 217 | /// object file. On success returns a pointer to a generated mach-o/ELF buffer |
| 218 | /// and length set to the buffer size. The buffer is owned by the lto_code_gen_t |
| 219 | /// object and will be freed when lto_codegen_dispose() is called, or |
| 220 | /// lto_codegen_compile() is called again. On failure, returns NULL (check |
| 221 | /// lto_get_error_message() for details). |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 222 | const void *lto_codegen_compile(lto_code_gen_t cg, size_t *length) { |
Evan Cheng | 855a168 | 2009-06-26 06:57:16 +0000 | [diff] [blame] | 223 | return cg->compile(length, sLastErrorString); |
Nick Kledzik | 77595fc | 2008-02-26 20:26:43 +0000 | [diff] [blame] | 224 | } |
| 225 | |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 226 | /// lto_codegen_compile_to_file - Generates code for all added modules into one |
| 227 | /// native object file. The name of the file is written to name. Returns true on |
| 228 | /// error. |
| 229 | bool lto_codegen_compile_to_file(lto_code_gen_t cg, const char **name) { |
Shuxin Yang | 235089b | 2013-08-07 05:19:23 +0000 | [diff] [blame] | 230 | return !cg->compile_to_file(name, sLastErrorString); |
Rafael Espindola | 6421a88 | 2011-03-22 20:57:13 +0000 | [diff] [blame] | 231 | } |
| 232 | |
Bill Wendling | 8fd3fcd | 2012-03-30 10:29:38 +0000 | [diff] [blame] | 233 | /// lto_codegen_debug_options - Used to pass extra options to the code |
| 234 | /// generator. |
Bill Wendling | 168f142 | 2012-03-31 10:44:20 +0000 | [diff] [blame] | 235 | void lto_codegen_debug_options(lto_code_gen_t cg, const char *opt) { |
Devang Patel | a93ae71 | 2008-07-03 22:53:14 +0000 | [diff] [blame] | 236 | cg->setCodeGenDebugOptions(opt); |
Duncan Sands | d44d4bf | 2009-07-03 15:38:01 +0000 | [diff] [blame] | 237 | } |