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