include/llvm-c/lto.h

   1 /*===-- llvm-c/lto.h - LTO Public C Interface ---------------------*- C -*-===*\
   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 header provides public interface to an abstract link time optimization*|
  11 |* library.  LLVM provides an implementation of this interface for use with   *|
  12 |* llvm bitcode files.                                                        *|
  13 |*                                                                            *|
  14 \*===----------------------------------------------------------------------===*/
  15
  16 #ifndef LLVM_C_LTO_H
  17 #define LLVM_C_LTO_H
  18
  19 #include <stddef.h>
  20 #include <sys/types.h>
  21
  22 #ifndef __cplusplus
  23 #if !defined(_MSC_VER)
  24 #include <stdbool.h>
  25 typedef bool lto_bool_t;
  26 #else
  27 /* MSVC in particular does not have anything like _Bool or bool in C, but we can
  28    at least make sure the type is the same size.  The implementation side will
  29    use C++ bool. */
  30 typedef unsigned char lto_bool_t;
  31 #endif
  32 #else
  33 typedef bool lto_bool_t;
  34 #endif
  35
  36 /**
  37  * @defgroup LLVMCLTO LTO
  38  * @ingroup LLVMC
  39  *
  40  * @{
  41  */
  42
  43 #define LTO_API_VERSION 16
  44
  45 /**
  46  * \since prior to LTO_API_VERSION=3
  47  */
  48 typedef enum {
  49     LTO_SYMBOL_ALIGNMENT_MASK              = 0x0000001F, /* log2 of alignment */
  50     LTO_SYMBOL_PERMISSIONS_MASK            = 0x000000E0,
  51     LTO_SYMBOL_PERMISSIONS_CODE            = 0x000000A0,
  52     LTO_SYMBOL_PERMISSIONS_DATA            = 0x000000C0,
  53     LTO_SYMBOL_PERMISSIONS_RODATA          = 0x00000080,
  54     LTO_SYMBOL_DEFINITION_MASK             = 0x00000700,
  55     LTO_SYMBOL_DEFINITION_REGULAR          = 0x00000100,
  56     LTO_SYMBOL_DEFINITION_TENTATIVE        = 0x00000200,
  57     LTO_SYMBOL_DEFINITION_WEAK             = 0x00000300,
  58     LTO_SYMBOL_DEFINITION_UNDEFINED        = 0x00000400,
  59     LTO_SYMBOL_DEFINITION_WEAKUNDEF        = 0x00000500,
  60     LTO_SYMBOL_SCOPE_MASK                  = 0x00003800,
  61     LTO_SYMBOL_SCOPE_INTERNAL              = 0x00000800,
  62     LTO_SYMBOL_SCOPE_HIDDEN                = 0x00001000,
  63     LTO_SYMBOL_SCOPE_PROTECTED             = 0x00002000,
  64     LTO_SYMBOL_SCOPE_DEFAULT               = 0x00001800,
  65     LTO_SYMBOL_SCOPE_DEFAULT_CAN_BE_HIDDEN = 0x00002800,
  66     LTO_SYMBOL_COMDAT                      = 0x00004000
  67 } lto_symbol_attributes;
  68
  69 /**
  70  * \since prior to LTO_API_VERSION=3
  71  */
  72 typedef enum {
  73     LTO_DEBUG_MODEL_NONE         = 0,
  74     LTO_DEBUG_MODEL_DWARF        = 1
  75 } lto_debug_model;
  76
  77 /**
  78  * \since prior to LTO_API_VERSION=3
  79  */
  80 typedef enum {
  81     LTO_CODEGEN_PIC_MODEL_STATIC         = 0,
  82     LTO_CODEGEN_PIC_MODEL_DYNAMIC        = 1,
  83     LTO_CODEGEN_PIC_MODEL_DYNAMIC_NO_PIC = 2,
  84     LTO_CODEGEN_PIC_MODEL_DEFAULT        = 3
  85 } lto_codegen_model;
  86
  87 /** opaque reference to a loaded object module */
  88 typedef struct LLVMOpaqueLTOModule *lto_module_t;
  89
  90 /** opaque reference to a code generator */
  91 typedef struct LLVMOpaqueLTOCodeGenerator *lto_code_gen_t;
  92
  93 #ifdef __cplusplus
  94 extern "C" {
  95 #endif
  96
  97 /**
  98  * Returns a printable string.
  99  *
 100  * \since prior to LTO_API_VERSION=3
 101  */
 102 extern const char*
 103 lto_get_version(void);
 104
 105
 106 /**
 107  * Returns the last error string or NULL if last operation was successful.
 108  *
 109  * \since prior to LTO_API_VERSION=3
 110  */
 111 extern const char*
 112 lto_get_error_message(void);
 113
 114 /**
 115  * Checks if a file is a loadable object file.
 116  *
 117  * \since prior to LTO_API_VERSION=3
 118  */
 119 extern lto_bool_t
 120 lto_module_is_object_file(const char* path);
 121
 122
 123 /**
 124  * Checks if a file is a loadable object compiled for requested target.
 125  *
 126  * \since prior to LTO_API_VERSION=3
 127  */
 128 extern lto_bool_t
 129 lto_module_is_object_file_for_target(const char* path,
 130                                      const char* target_triple_prefix);
 131
 132
 133 /**
 134  * Checks if a buffer is a loadable object file.
 135  *
 136  * \since prior to LTO_API_VERSION=3
 137  */
 138 extern lto_bool_t
 139 lto_module_is_object_file_in_memory(const void* mem, size_t length);
 140
 141
 142 /**
 143  * Checks if a buffer is a loadable object compiled for requested target.
 144  *
 145  * \since prior to LTO_API_VERSION=3
 146  */
 147 extern lto_bool_t
 148 lto_module_is_object_file_in_memory_for_target(const void* mem, size_t length,
 149                                               const char* target_triple_prefix);
 150
 151
 152 /**
 153  * Loads an object file from disk.
 154  * Returns NULL on error (check lto_get_error_message() for details).
 155  *
 156  * \since prior to LTO_API_VERSION=3
 157  */
 158 extern lto_module_t
 159 lto_module_create(const char* path);
 160
 161
 162 /**
 163  * Loads an object file from memory.
 164  * Returns NULL on error (check lto_get_error_message() for details).
 165  *
 166  * \since prior to LTO_API_VERSION=3
 167  */
 168 extern lto_module_t
 169 lto_module_create_from_memory(const void* mem, size_t length);
 170
 171 /**
 172  * Loads an object file from memory with an extra path argument.
 173  * Returns NULL on error (check lto_get_error_message() for details).
 174  *
 175  * \since LTO_API_VERSION=9
 176  */
 177 extern lto_module_t
 178 lto_module_create_from_memory_with_path(const void* mem, size_t length,
 179                                         const char *path);
 180
 181 /**
 182  * \brief Loads an object file in its own context.
 183  *
 184  * Loads an object file in its own LLVMContext.  This function call is
 185  * thread-safe.  However, modules created this way should not be merged into an
 186  * lto_code_gen_t using \a lto_codegen_add_module().
 187  *
 188  * Returns NULL on error (check lto_get_error_message() for details).
 189  *
 190  * \since LTO_API_VERSION=11
 191  */
 192 extern lto_module_t
 193 lto_module_create_in_local_context(const void *mem, size_t length,
 194                                    const char *path);
 195
 196 /**
 197  * \brief Loads an object file in the codegen context.
 198  *
 199  * Loads an object file into the same context as \c cg.  The module is safe to
 200  * add using \a lto_codegen_add_module().
 201  *
 202  * Returns NULL on error (check lto_get_error_message() for details).
 203  *
 204  * \since LTO_API_VERSION=11
 205  */
 206 extern lto_module_t
 207 lto_module_create_in_codegen_context(const void *mem, size_t length,
 208                                      const char *path, lto_code_gen_t cg);
 209
 210 /**
 211  * Loads an object file from disk. The seek point of fd is not preserved.
 212  * Returns NULL on error (check lto_get_error_message() for details).
 213  *
 214  * \since LTO_API_VERSION=5
 215  */
 216 extern lto_module_t
 217 lto_module_create_from_fd(int fd, const char *path, size_t file_size);
 218
 219 /**
 220  * Loads an object file from disk. The seek point of fd is not preserved.
 221  * Returns NULL on error (check lto_get_error_message() for details).
 222  *
 223  * \since LTO_API_VERSION=5
 224  */
 225 extern lto_module_t
 226 lto_module_create_from_fd_at_offset(int fd, const char *path, size_t file_size,
 227                                     size_t map_size, off_t offset);
 228
 229 /**
 230  * Frees all memory internally allocated by the module.
 231  * Upon return the lto_module_t is no longer valid.
 232  *
 233  * \since prior to LTO_API_VERSION=3
 234  */
 235 extern void
 236 lto_module_dispose(lto_module_t mod);
 237
 238 /**
 239  * Returns triple string which the object module was compiled under.
 240  *
 241  * \since prior to LTO_API_VERSION=3
 242  */
 243 extern const char*
 244 lto_module_get_target_triple(lto_module_t mod);
 245
 246 /**
 247  * Sets triple string with which the object will be codegened.
 248  *
 249  * \since LTO_API_VERSION=4
 250  */
 251 extern void
 252 lto_module_set_target_triple(lto_module_t mod, const char *triple);
 253
 254
 255 /**
 256  * Returns the number of symbols in the object module.
 257  *
 258  * \since prior to LTO_API_VERSION=3
 259  */
 260 extern unsigned int
 261 lto_module_get_num_symbols(lto_module_t mod);
 262
 263
 264 /**
 265  * Returns the name of the ith symbol in the object module.
 266  *
 267  * \since prior to LTO_API_VERSION=3
 268  */
 269 extern const char*
 270 lto_module_get_symbol_name(lto_module_t mod, unsigned int index);
 271
 272
 273 /**
 274  * Returns the attributes of the ith symbol in the object module.
 275  *
 276  * \since prior to LTO_API_VERSION=3
 277  */
 278 extern lto_symbol_attributes
 279 lto_module_get_symbol_attribute(lto_module_t mod, unsigned int index);
 280
 281
 282 /**
 283  * Returns the module's linker options.
 284  *
 285  * The linker options may consist of multiple flags. It is the linker's
 286  * responsibility to split the flags using a platform-specific mechanism.
 287  *
 288  * \since LTO_API_VERSION=16
 289  */
 290 extern const char*
 291 lto_module_get_linkeropts(lto_module_t mod);
 292
 293
 294 /**
 295  * Diagnostic severity.
 296  *
 297  * \since LTO_API_VERSION=7
 298  */
 299 typedef enum {
 300   LTO_DS_ERROR = 0,
 301   LTO_DS_WARNING = 1,
 302   LTO_DS_REMARK = 3, // Added in LTO_API_VERSION=10.
 303   LTO_DS_NOTE = 2
 304 } lto_codegen_diagnostic_severity_t;
 305
 306 /**
 307  * Diagnostic handler type.
 308  * \p severity defines the severity.
 309  * \p diag is the actual diagnostic.
 310  * The diagnostic is not prefixed by any of severity keyword, e.g., 'error: '.
 311  * \p ctxt is used to pass the context set with the diagnostic handler.
 312  *
 313  * \since LTO_API_VERSION=7
 314  */
 315 typedef void (*lto_diagnostic_handler_t)(
 316     lto_codegen_diagnostic_severity_t severity, const char *diag, void *ctxt);
 317
 318 /**
 319  * Set a diagnostic handler and the related context (void *).
 320  * This is more general than lto_get_error_message, as the diagnostic handler
 321  * can be called at anytime within lto.
 322  *
 323  * \since LTO_API_VERSION=7
 324  */
 325 extern void lto_codegen_set_diagnostic_handler(lto_code_gen_t,
 326                                                lto_diagnostic_handler_t,
 327                                                void *);
 328
 329 /**
 330  * Instantiates a code generator.
 331  * Returns NULL on error (check lto_get_error_message() for details).
 332  *
 333  * All modules added using \a lto_codegen_add_module() must have been created
 334  * in the same context as the codegen.
 335  *
 336  * \since prior to LTO_API_VERSION=3
 337  */
 338 extern lto_code_gen_t
 339 lto_codegen_create(void);
 340
 341 /**
 342  * \brief Instantiate a code generator in its own context.
 343  *
 344  * Instantiates a code generator in its own context.  Modules added via \a
 345  * lto_codegen_add_module() must have all been created in the same context,
 346  * using \a lto_module_create_in_codegen_context().
 347  *
 348  * \since LTO_API_VERSION=11
 349  */
 350 extern lto_code_gen_t
 351 lto_codegen_create_in_local_context(void);
 352
 353 /**
 354  * Frees all code generator and all memory it internally allocated.
 355  * Upon return the lto_code_gen_t is no longer valid.
 356  *
 357  * \since prior to LTO_API_VERSION=3
 358  */
 359 extern void
 360 lto_codegen_dispose(lto_code_gen_t);
 361
 362 /**
 363  * Add an object module to the set of modules for which code will be generated.
 364  * Returns true on error (check lto_get_error_message() for details).
 365  *
 366  * \c cg and \c mod must both be in the same context.  See \a
 367  * lto_codegen_create_in_local_context() and \a
 368  * lto_module_create_in_codegen_context().
 369  *
 370  * \since prior to LTO_API_VERSION=3
 371  */
 372 extern lto_bool_t
 373 lto_codegen_add_module(lto_code_gen_t cg, lto_module_t mod);
 374
 375 /**
 376  * Sets the object module for code generation. This will transfer the ownship of
 377  * the module to code generator.
 378  *
 379  * \c cg and \c mod must both be in the same context.
 380  *
 381  * \since LTO_API_VERSION=13
 382  */
 383 extern void
 384 lto_codegen_set_module(lto_code_gen_t cg, lto_module_t mod);
 385
 386 /**
 387  * Sets if debug info should be generated.
 388  * Returns true on error (check lto_get_error_message() for details).
 389  *
 390  * \since prior to LTO_API_VERSION=3
 391  */
 392 extern lto_bool_t
 393 lto_codegen_set_debug_model(lto_code_gen_t cg, lto_debug_model);
 394
 395
 396 /**
 397  * Sets which PIC code model to generated.
 398  * Returns true on error (check lto_get_error_message() for details).
 399  *
 400  * \since prior to LTO_API_VERSION=3
 401  */
 402 extern lto_bool_t
 403 lto_codegen_set_pic_model(lto_code_gen_t cg, lto_codegen_model);
 404
 405
 406 /**
 407  * Sets the cpu to generate code for.
 408  *
 409  * \since LTO_API_VERSION=4
 410  */
 411 extern void
 412 lto_codegen_set_cpu(lto_code_gen_t cg, const char *cpu);
 413
 414
 415 /**
 416  * Sets the location of the assembler tool to run. If not set, libLTO
 417  * will use gcc to invoke the assembler.
 418  *
 419  * \since LTO_API_VERSION=3
 420  */
 421 extern void
 422 lto_codegen_set_assembler_path(lto_code_gen_t cg, const char* path);
 423
 424 /**
 425  * Sets extra arguments that libLTO should pass to the assembler.
 426  *
 427  * \since LTO_API_VERSION=4
 428  */
 429 extern void
 430 lto_codegen_set_assembler_args(lto_code_gen_t cg, const char **args,
 431                                int nargs);
 432
 433 /**
 434  * Adds to a list of all global symbols that must exist in the final generated
 435  * code. If a function is not listed there, it might be inlined into every usage
 436  * and optimized away.
 437  *
 438  * \since prior to LTO_API_VERSION=3
 439  */
 440 extern void
 441 lto_codegen_add_must_preserve_symbol(lto_code_gen_t cg, const char* symbol);
 442
 443 /**
 444  * Writes a new object file at the specified path that contains the
 445  * merged contents of all modules added so far.
 446  * Returns true on error (check lto_get_error_message() for details).
 447  *
 448  * \since LTO_API_VERSION=5
 449  */
 450 extern lto_bool_t
 451 lto_codegen_write_merged_modules(lto_code_gen_t cg, const char* path);
 452
 453 /**
 454  * Generates code for all added modules into one native object file.
 455  * This calls lto_codegen_optimize then lto_codegen_compile_optimized.
 456  *
 457  * On success returns a pointer to a generated mach-o/ELF buffer and
 458  * length set to the buffer size.  The buffer is owned by the
 459  * lto_code_gen_t and will be freed when lto_codegen_dispose()
 460  * is called, or lto_codegen_compile() is called again.
 461  * On failure, returns NULL (check lto_get_error_message() for details).
 462  *
 463  * \since prior to LTO_API_VERSION=3
 464  */
 465 extern const void*
 466 lto_codegen_compile(lto_code_gen_t cg, size_t* length);
 467
 468 /**
 469  * Generates code for all added modules into one native object file.
 470  * This calls lto_codegen_optimize then lto_codegen_compile_optimized (instead
 471  * of returning a generated mach-o/ELF buffer, it writes to a file).
 472  *
 473  * The name of the file is written to name. Returns true on error.
 474  *
 475  * \since LTO_API_VERSION=5
 476  */
 477 extern lto_bool_t
 478 lto_codegen_compile_to_file(lto_code_gen_t cg, const char** name);
 479
 480 /**
 481  * Runs optimization for the merged module. Returns true on error.
 482  *
 483  * \since LTO_API_VERSION=12
 484  */
 485 extern lto_bool_t
 486 lto_codegen_optimize(lto_code_gen_t cg);
 487
 488 /**
 489  * Generates code for the optimized merged module into one native object file.
 490  * It will not run any IR optimizations on the merged module.
 491  *
 492  * On success returns a pointer to a generated mach-o/ELF buffer and length set
 493  * to the buffer size.  The buffer is owned by the lto_code_gen_t and will be
 494  * freed when lto_codegen_dispose() is called, or
 495  * lto_codegen_compile_optimized() is called again. On failure, returns NULL
 496  * (check lto_get_error_message() for details).
 497  *
 498  * \since LTO_API_VERSION=12
 499  */
 500 extern const void*
 501 lto_codegen_compile_optimized(lto_code_gen_t cg, size_t* length);
 502
 503 /**
 504  * Returns the runtime API version.
 505  *
 506  * \since LTO_API_VERSION=12
 507  */
 508 extern unsigned int
 509 lto_api_version(void);
 510
 511 /**
 512  * Sets options to help debug codegen bugs.
 513  *
 514  * \since prior to LTO_API_VERSION=3
 515  */
 516 extern void
 517 lto_codegen_debug_options(lto_code_gen_t cg, const char *);
 518
 519 /**
 520  * Initializes LLVM disassemblers.
 521  * FIXME: This doesn't really belong here.
 522  *
 523  * \since LTO_API_VERSION=5
 524  */
 525 extern void
 526 lto_initialize_disassembler(void);
 527
 528 /**
 529  * Sets if we should run internalize pass during optimization and code
 530  * generation.
 531  *
 532  * \since LTO_API_VERSION=14
 533  */
 534 extern void
 535 lto_codegen_set_should_internalize(lto_code_gen_t cg,
 536                                    lto_bool_t ShouldInternalize);
 537
 538 /**
 539  * \brief Set whether to embed uselists in bitcode.
 540  *
 541  * Sets whether \a lto_codegen_write_merged_modules() should embed uselists in
 542  * output bitcode.  This should be turned on for all -save-temps output.
 543  *
 544  * \since LTO_API_VERSION=15
 545  */
 546 extern void
 547 lto_codegen_set_should_embed_uselists(lto_code_gen_t cg,
 548                                       lto_bool_t ShouldEmbedUselists);
 549
 550 #ifdef __cplusplus
 551 }
 552 #endif
 553
 554 /**
 555  * @}
 556  */
 557
 558 #endif