Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 1 | opt - LLVM optimizer |
| 2 | ==================== |
| 3 | |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 4 | SYNOPSIS |
| 5 | -------- |
| 6 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 7 | :program:`opt` [*options*] [*filename*] |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 8 | |
| 9 | DESCRIPTION |
| 10 | ----------- |
| 11 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 12 | The :program:`opt` command is the modular LLVM optimizer and analyzer. It |
| 13 | takes LLVM source files as input, runs the specified optimizations or analyses |
| 14 | on it, and then outputs the optimized file or the analysis results. The |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 15 | function of :program:`opt` depends on whether the `-analyze` option is |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 16 | given. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 17 | |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 18 | When `-analyze` is specified, :program:`opt` performs various analyses |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 19 | of the input source. It will usually print the results on standard output, but |
| 20 | in a few cases, it will print output to standard error or generate a file with |
| 21 | the analysis output, which is usually done when the output is meant for another |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 22 | program. |
| 23 | |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 24 | While `-analyze` is *not* given, :program:`opt` attempts to produce an |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 25 | optimized output file. The optimizations available via :program:`opt` depend |
| 26 | upon what libraries were linked into it as well as any additional libraries |
| 27 | that have been loaded with the :option:`-load` option. Use the :option:`-help` |
| 28 | option to determine what optimizations you can use. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 29 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 30 | If ``filename`` is omitted from the command line or is "``-``", :program:`opt` |
| 31 | reads its input from standard input. Inputs can be in either the LLVM assembly |
| 32 | language format (``.ll``) or the LLVM bitcode format (``.bc``). |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 33 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 34 | If an output filename is not specified with the :option:`-o` option, |
| 35 | :program:`opt` writes its output to the standard output. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 36 | |
| 37 | OPTIONS |
| 38 | ------- |
| 39 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 40 | .. option:: -f |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 41 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 42 | Enable binary output on terminals. Normally, :program:`opt` will refuse to |
| 43 | write raw bitcode output if the output stream is a terminal. With this option, |
| 44 | :program:`opt` will write raw bitcode regardless of the output device. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 45 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 46 | .. option:: -help |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 47 | |
| 48 | Print a summary of command line options. |
| 49 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 50 | .. option:: -o <filename> |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 51 | |
| 52 | Specify the output filename. |
| 53 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 54 | .. option:: -S |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 55 | |
| 56 | Write output in LLVM intermediate language (instead of bitcode). |
| 57 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 58 | .. option:: -{passname} |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 59 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 60 | :program:`opt` provides the ability to run any of LLVM's optimization or |
| 61 | analysis passes in any order. The :option:`-help` option lists all the passes |
| 62 | available. The order in which the options occur on the command line are the |
| 63 | order in which they are executed (within pass constraints). |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 64 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 65 | .. option:: -disable-inlining |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 66 | |
Rafael Espindola | 2f8f1d3 | 2014-10-16 20:00:02 +0000 | [diff] [blame] | 67 | This option simply removes the inlining pass from the standard list. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 68 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 69 | .. option:: -disable-opt |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 70 | |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 71 | This option is only meaningful when `-std-link-opts` is given. It |
Rafael Espindola | 2f8f1d3 | 2014-10-16 20:00:02 +0000 | [diff] [blame] | 72 | disables most passes. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 73 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 74 | .. option:: -strip-debug |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 75 | |
| 76 | This option causes opt to strip debug information from the module before |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 77 | applying other optimizations. It is essentially the same as `-strip` |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 78 | but it ensures that stripping of debug information is done first. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 79 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 80 | .. option:: -verify-each |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 81 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 82 | This option causes opt to add a verify pass after every pass otherwise |
Renato Golin | 88ea57f | 2016-07-20 12:16:38 +0000 | [diff] [blame] | 83 | specified on the command line (including `-verify`). This is useful |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 84 | for cases where it is suspected that a pass is creating an invalid module but |
Rafael Espindola | 2f8f1d3 | 2014-10-16 20:00:02 +0000 | [diff] [blame] | 85 | it is not clear which pass is doing it. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 86 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 87 | .. option:: -stats |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 88 | |
| 89 | Print statistics. |
| 90 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 91 | .. option:: -time-passes |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 92 | |
| 93 | Record the amount of time needed for each pass and print it to standard |
| 94 | error. |
| 95 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 96 | .. option:: -debug |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 97 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 98 | If this is a debug build, this option will enable debug printouts from passes |
Nicola Zaghen | 0818e78 | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 99 | which use the ``LLVM_DEBUG()`` macro. See the `LLVM Programmer's Manual |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 100 | <../ProgrammersManual.html>`_, section ``#DEBUG`` for more information. |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 101 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 102 | .. option:: -load=<plugin> |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 103 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 104 | Load the dynamic object ``plugin``. This object should register new |
| 105 | optimization or analysis passes. Once loaded, the object will add new command |
| 106 | line options to enable various optimizations or analyses. To see the new |
| 107 | complete list of optimizations, use the :option:`-help` and :option:`-load` |
| 108 | options together. For example: |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 109 | |
Dmitri Gribenko | 0d887a0 | 2012-06-12 15:45:07 +0000 | [diff] [blame] | 110 | .. code-block:: sh |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 111 | |
| 112 | opt -load=plugin.so -help |
| 113 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 114 | .. option:: -p |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 115 | |
| 116 | Print module after each transformation. |
| 117 | |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 118 | EXIT STATUS |
| 119 | ----------- |
| 120 | |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 121 | If :program:`opt` succeeds, it will exit with 0. Otherwise, if an error |
Daniel Dunbar | 3b709d5 | 2012-05-08 16:50:35 +0000 | [diff] [blame] | 122 | occurs, it will exit with a non-zero value. |
Dmitri Gribenko | f03b5e9 | 2012-11-29 19:02:50 +0000 | [diff] [blame] | 123 | |