1====================================
2Getting Started with the LLVM System
3====================================
4
5.. contents::
6   :local:
7
8Overview
9========
10
11Welcome to the LLVM project!
12
13The LLVM project has multiple components. The core of the project is
14itself called "LLVM". This contains all of the tools, libraries, and header
15files needed to process intermediate representations and converts it into
16object files.  Tools include an assembler, disassembler, bitcode analyzer, and
17bitcode optimizer.  It also contains basic regression tests.
18
19C-like languages use the `Clang <https://clang.llvm.org/>`_ front end.  This
20component compiles C, C++, Objective C, and Objective C++ code into LLVM bitcode
21-- and from there into object files, using LLVM.
22
23Other components include:
24the `libc++ C++ standard library <https://libcxx.llvm.org>`_,
25the `LLD linker <https://lld.llvm.org>`_, and more.
26
27Getting the Source Code and Building LLVM
28=========================================
29
30The LLVM Getting Started documentation may be out of date.  The `Clang
31Getting Started <https://clang.llvm.org/get_started.html>`_ page might have more
32accurate information.
33
34This is an example workflow and configuration to get and build the LLVM source:
35
36#. Checkout LLVM (including related subprojects like Clang):
37
38   * ``git clone https://github.com/llvm/llvm-project.git``
39   * Or, on windows, ``git clone --config core.autocrlf=false
40     https://github.com/llvm/llvm-project.git``
41
42#. Configure and build LLVM and Clang:
43
44   * ``cd llvm-project``
45   * ``mkdir build``
46   * ``cd build``
47   * ``cmake -G <generator> [options] ../llvm``
48
49     Some common build system generators are:
50
51     * ``Ninja`` --- for generating `Ninja <https://ninja-build.org>`_
52       build files. Most llvm developers use Ninja.
53     * ``Unix Makefiles`` --- for generating make-compatible parallel makefiles.
54     * ``Visual Studio`` --- for generating Visual Studio projects and
55       solutions.
56     * ``Xcode`` --- for generating Xcode projects.
57
58     Some Common options:
59
60     * ``-DLLVM_ENABLE_PROJECTS='...'`` --- semicolon-separated list of the LLVM
61       subprojects you'd like to additionally build. Can include any of: clang,
62       clang-tools-extra, libcxx, libcxxabi, libunwind, lldb, compiler-rt, lld,
63       polly, or debuginfo-tests.
64
65       For example, to build LLVM, Clang, libcxx, and libcxxabi, use
66       ``-DLLVM_ENABLE_PROJECTS="clang;libcxx;libcxxabi"``.
67
68     * ``-DCMAKE_INSTALL_PREFIX=directory`` --- Specify for *directory* the full
69       pathname of where you want the LLVM tools and libraries to be installed
70       (default ``/usr/local``).
71
72     * ``-DCMAKE_BUILD_TYPE=type`` --- Valid options for *type* are Debug,
73       Release, RelWithDebInfo, and MinSizeRel. Default is Debug.
74
75     * ``-DLLVM_ENABLE_ASSERTIONS=On`` --- Compile with assertion checks enabled
76       (default is Yes for Debug builds, No for all other build types).
77
78   * ``cmake --build . [--target <target>]`` or the build system specified
79     above directly.
80
81     * The default target (i.e. ``cmake --build .`` or ``make``) will build all of
82       LLVM.
83
84     * The ``check-all`` target (i.e. ``ninja check-all``) will run the
85       regression tests to ensure everything is in working order.
86
87     * CMake will generate build targets for each tool and library, and most
88       LLVM sub-projects generate their own ``check-<project>`` target.
89
90     * Running a serial build will be **slow**.  To improve speed, try running a
91       parallel build. That's done by default in Ninja; for ``make``, use the
92       option ``-j NN``, where ``NN`` is the number of parallel jobs, e.g. the
93       number of available CPUs.
94
95   * For more information see `CMake <CMake.html>`__
96
97   * If you get an "internal compiler error (ICE)" or test failures, see
98     `below`_.
99
100Consult the `Getting Started with LLVM`_ section for detailed information on
101configuring and compiling LLVM.  Go to `Directory Layout`_ to learn about the
102layout of the source code tree.
103
104Requirements
105============
106
107Before you begin to use the LLVM system, review the requirements given below.
108This may save you some trouble by knowing ahead of time what hardware and
109software you will need.
110
111Hardware
112--------
113
114LLVM is known to work on the following host platforms:
115
116================== ===================== =============
117OS                 Arch                  Compilers
118================== ===================== =============
119Linux              x86\ :sup:`1`         GCC, Clang
120Linux              amd64                 GCC, Clang
121Linux              ARM                   GCC, Clang
122Linux              Mips                  GCC, Clang
123Linux              PowerPC               GCC, Clang
124Solaris            V9 (Ultrasparc)       GCC
125FreeBSD            x86\ :sup:`1`         GCC, Clang
126FreeBSD            amd64                 GCC, Clang
127NetBSD             x86\ :sup:`1`         GCC, Clang
128NetBSD             amd64                 GCC, Clang
129macOS\ :sup:`2`    PowerPC               GCC
130macOS              x86                   GCC, Clang
131Cygwin/Win32       x86\ :sup:`1, 3`      GCC
132Windows            x86\ :sup:`1`         Visual Studio
133Windows x64        x86-64                Visual Studio
134================== ===================== =============
135
136.. note::
137
138  #. Code generation supported for Pentium processors and up
139  #. Code generation supported for 32-bit ABI only
140  #. To use LLVM modules on Win32-based system, you may configure LLVM
141     with ``-DBUILD_SHARED_LIBS=On``.
142
143Note that Debug builds require a lot of time and disk space.  An LLVM-only build
144will need about 1-3 GB of space.  A full build of LLVM and Clang will need around
14515-20 GB of disk space.  The exact space requirements will vary by system.  (It
146is so large because of all the debugging information and the fact that the
147libraries are statically linked into multiple tools).
148
149If you are space-constrained, you can build only selected tools or only
150selected targets.  The Release build requires considerably less space.
151
152The LLVM suite *may* compile on other platforms, but it is not guaranteed to do
153so.  If compilation is successful, the LLVM utilities should be able to
154assemble, disassemble, analyze, and optimize LLVM bitcode.  Code generation
155should work as well, although the generated native code may not work on your
156platform.
157
158Software
159--------
160
161Compiling LLVM requires that you have several software packages installed. The
162table below lists those required packages. The Package column is the usual name
163for the software package that LLVM depends on. The Version column provides
164"known to work" versions of the package. The Notes column describes how LLVM
165uses the package and provides other details.
166
167=========================================================== ============ ==========================================
168Package                                                     Version      Notes
169=========================================================== ============ ==========================================
170`CMake <http://cmake.org/>`__                               >=3.4.3      Makefile/workspace generator
171`GCC <http://gcc.gnu.org/>`_                                >=5.1.0      C/C++ compiler\ :sup:`1`
172`python <http://www.python.org/>`_                          >=2.7        Automated test suite\ :sup:`2`
173`zlib <http://zlib.net>`_                                   >=1.2.3.4    Compression library\ :sup:`3`
174`GNU Make <http://savannah.gnu.org/projects/make>`_         3.79, 3.79.1 Makefile/build processor\ :sup:`4`
175=========================================================== ============ ==========================================
176
177.. note::
178
179   #. Only the C and C++ languages are needed so there's no need to build the
180      other languages for LLVM's purposes. See `below` for specific version
181      info.
182   #. Only needed if you want to run the automated test suite in the
183      ``llvm/test`` directory.
184   #. Optional, adds compression / uncompression capabilities to selected LLVM
185      tools.
186   #. Optional, you can use any other build tool supported by CMake.
187
188Additionally, your compilation host is expected to have the usual plethora of
189Unix utilities. Specifically:
190
191* **ar** --- archive library builder
192* **bzip2** --- bzip2 command for distribution generation
193* **bunzip2** --- bunzip2 command for distribution checking
194* **chmod** --- change permissions on a file
195* **cat** --- output concatenation utility
196* **cp** --- copy files
197* **date** --- print the current date/time
198* **echo** --- print to standard output
199* **egrep** --- extended regular expression search utility
200* **find** --- find files/dirs in a file system
201* **grep** --- regular expression search utility
202* **gzip** --- gzip command for distribution generation
203* **gunzip** --- gunzip command for distribution checking
204* **install** --- install directories/files
205* **mkdir** --- create a directory
206* **mv** --- move (rename) files
207* **ranlib** --- symbol table builder for archive libraries
208* **rm** --- remove (delete) files and directories
209* **sed** --- stream editor for transforming output
210* **sh** --- Bourne shell for make build scripts
211* **tar** --- tape archive for distribution generation
212* **test** --- test things in file system
213* **unzip** --- unzip command for distribution checking
214* **zip** --- zip command for distribution generation
215
216.. _below:
217.. _check here:
218
219Host C++ Toolchain, both Compiler and Standard Library
220------------------------------------------------------
221
222LLVM is very demanding of the host C++ compiler, and as such tends to expose
223bugs in the compiler. We also attempt to follow improvements and developments in
224the C++ language and library reasonably closely. As such, we require a modern
225host C++ toolchain, both compiler and standard library, in order to build LLVM.
226
227LLVM is written using the subset of C++ documented in :doc:`coding
228standards<CodingStandards>`. To enforce this language version, we check the most
229popular host toolchains for specific minimum versions in our build systems:
230
231* Clang 3.5
232* Apple Clang 6.0
233* GCC 5.1
234* Visual Studio 2017
235
236Anything older than these toolchains *may* work, but will require forcing the
237build system with a special option and is not really a supported host platform.
238Also note that older versions of these compilers have often crashed or
239miscompiled LLVM.
240
241For less widely used host toolchains such as ICC or xlC, be aware that a very
242recent version may be required to support all of the C++ features used in LLVM.
243
244We track certain versions of software that are *known* to fail when used as
245part of the host toolchain. These even include linkers at times.
246
247**GNU ld 2.16.X**. Some 2.16.X versions of the ld linker will produce very long
248warning messages complaining that some "``.gnu.linkonce.t.*``" symbol was
249defined in a discarded section. You can safely ignore these messages as they are
250erroneous and the linkage is correct.  These messages disappear using ld 2.17.
251
252**GNU binutils 2.17**: Binutils 2.17 contains `a bug
253<http://sourceware.org/bugzilla/show_bug.cgi?id=3111>`__ which causes huge link
254times (minutes instead of seconds) when building LLVM.  We recommend upgrading
255to a newer version (2.17.50.0.4 or later).
256
257**GNU Binutils 2.19.1 Gold**: This version of Gold contained `a bug
258<http://sourceware.org/bugzilla/show_bug.cgi?id=9836>`__ which causes
259intermittent failures when building LLVM with position independent code.  The
260symptom is an error about cyclic dependencies.  We recommend upgrading to a
261newer version of Gold.
262
263Getting a Modern Host C++ Toolchain
264^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
265
266This section mostly applies to Linux and older BSDs. On macOS, you should
267have a sufficiently modern Xcode, or you will likely need to upgrade until you
268do. Windows does not have a "system compiler", so you must install either Visual
269Studio 2017 or a recent version of mingw64. FreeBSD 10.0 and newer have a modern
270Clang as the system compiler.
271
272However, some Linux distributions and some other or older BSDs sometimes have
273extremely old versions of GCC. These steps attempt to help you upgrade you
274compiler even on such a system. However, if at all possible, we encourage you
275to use a recent version of a distribution with a modern system compiler that
276meets these requirements. Note that it is tempting to install a prior
277version of Clang and libc++ to be the host compiler, however libc++ was not
278well tested or set up to build on Linux until relatively recently. As
279a consequence, this guide suggests just using libstdc++ and a modern GCC as the
280initial host in a bootstrap, and then using Clang (and potentially libc++).
281
282The first step is to get a recent GCC toolchain installed. The most common
283distribution on which users have struggled with the version requirements is
284Ubuntu Precise, 12.04 LTS. For this distribution, one easy option is to install
285the `toolchain testing PPA`_ and use it to install a modern GCC. There is
286a really nice discussions of this on the `ask ubuntu stack exchange`_ and a
287`github gist`_ with updated commands. However, not all users can use PPAs and
288there are many other distributions, so it may be necessary (or just useful, if
289you're here you *are* doing compiler development after all) to build and install
290GCC from source. It is also quite easy to do these days.
291
292.. _toolchain testing PPA:
293  https://launchpad.net/~ubuntu-toolchain-r/+archive/test
294.. _ask ubuntu stack exchange:
295  https://askubuntu.com/questions/466651/how-do-i-use-the-latest-gcc-on-ubuntu/581497#58149
296.. _github gist:
297  https://gist.github.com/application2000/73fd6f4bf1be6600a2cf9f56315a2d91
298
299Easy steps for installing GCC 5.1.0:
300
301.. code-block:: console
302
303  % gcc_version=5.1.0
304  % wget https://ftp.gnu.org/gnu/gcc/gcc-${gcc_version}/gcc-${gcc_version}.tar.bz2
305  % wget https://ftp.gnu.org/gnu/gcc/gcc-${gcc_version}/gcc-${gcc_version}.tar.bz2.sig
306  % wget https://ftp.gnu.org/gnu/gnu-keyring.gpg
307  % signature_invalid=`gpg --verify --no-default-keyring --keyring ./gnu-keyring.gpg gcc-${gcc_version}.tar.bz2.sig`
308  % if [ $signature_invalid ]; then echo "Invalid signature" ; exit 1 ; fi
309  % tar -xvjf gcc-${gcc_version}.tar.bz2
310  % cd gcc-${gcc_version}
311  % ./contrib/download_prerequisites
312  % cd ..
313  % mkdir gcc-${gcc_version}-build
314  % cd gcc-${gcc_version}-build
315  % $PWD/../gcc-${gcc_version}/configure --prefix=$HOME/toolchains --enable-languages=c,c++
316  % make -j$(nproc)
317  % make install
318
319For more details, check out the excellent `GCC wiki entry`_, where I got most
320of this information from.
321
322.. _GCC wiki entry:
323  https://gcc.gnu.org/wiki/InstallingGCC
324
325Once you have a GCC toolchain, configure your build of LLVM to use the new
326toolchain for your host compiler and C++ standard library. Because the new
327version of libstdc++ is not on the system library search path, you need to pass
328extra linker flags so that it can be found at link time (``-L``) and at runtime
329(``-rpath``). If you are using CMake, this invocation should produce working
330binaries:
331
332.. code-block:: console
333
334  % mkdir build
335  % cd build
336  % CC=$HOME/toolchains/bin/gcc CXX=$HOME/toolchains/bin/g++ \
337    cmake .. -DCMAKE_CXX_LINK_FLAGS="-Wl,-rpath,$HOME/toolchains/lib64 -L$HOME/toolchains/lib64"
338
339If you fail to set rpath, most LLVM binaries will fail on startup with a message
340from the loader similar to ``libstdc++.so.6: version `GLIBCXX_3.4.20' not
341found``. This means you need to tweak the -rpath linker flag.
342
343When you build Clang, you will need to give *it* access to modern C++
344standard library in order to use it as your new host in part of a bootstrap.
345There are two easy ways to do this, either build (and install) libc++ along
346with Clang and then use it with the ``-stdlib=libc++`` compile and link flag,
347or install Clang into the same prefix (``$HOME/toolchains`` above) as GCC.
348Clang will look within its own prefix for libstdc++ and use it if found. You
349can also add an explicit prefix for Clang to look in for a GCC toolchain with
350the ``--gcc-toolchain=/opt/my/gcc/prefix`` flag, passing it to both compile and
351link commands when using your just-built-Clang to bootstrap.
352
353.. _Getting Started with LLVM:
354
355Getting Started with LLVM
356=========================
357
358The remainder of this guide is meant to get you up and running with LLVM and to
359give you some basic information about the LLVM environment.
360
361The later sections of this guide describe the `general layout`_ of the LLVM
362source tree, a `simple example`_ using the LLVM tool chain, and `links`_ to find
363more information about LLVM or to get help via e-mail.
364
365Terminology and Notation
366------------------------
367
368Throughout this manual, the following names are used to denote paths specific to
369the local system and working environment.  *These are not environment variables
370you need to set but just strings used in the rest of this document below*.  In
371any of the examples below, simply replace each of these names with the
372appropriate pathname on your local system.  All these paths are absolute:
373
374``SRC_ROOT``
375
376  This is the top level directory of the LLVM source tree.
377
378``OBJ_ROOT``
379
380  This is the top level directory of the LLVM object tree (i.e. the tree where
381  object files and compiled programs will be placed.  It can be the same as
382  SRC_ROOT).
383
384Unpacking the LLVM Archives
385---------------------------
386
387If you have the LLVM distribution, you will need to unpack it before you can
388begin to compile it.  LLVM is distributed as a number of different
389subprojects. Each one has its own download which is a TAR archive that is
390compressed with the gzip program.
391
392The files are as follows, with *x.y* marking the version number:
393
394``llvm-x.y.tar.gz``
395
396  Source release for the LLVM libraries and tools.
397
398``cfe-x.y.tar.gz``
399
400  Source release for the Clang frontend.
401
402.. _checkout:
403
404Checkout LLVM from Git
405----------------------
406
407You can also checkout the source code for LLVM from Git.
408
409.. note::
410
411  Passing ``--config core.autocrlf=false`` should not be required in
412  the future after we adjust the .gitattribute settings correctly, but
413  is required for Windows users at the time of this writing.
414
415Simply run:
416
417.. code-block:: console
418
419  % git clone https://github.com/llvm/llvm-project.git
420
421or on Windows,
422
423.. code-block:: console
424
425  % git clone --config core.autocrlf=false https://github.com/llvm/llvm-project.git
426
427This will create an '``llvm-project``' directory in the current directory and
428fully populate it with all of the source code, test directories, and local
429copies of documentation files for LLVM and all the related subprojects. Note
430that unlike the tarballs, which contain each subproject in a separate file, the
431git repository contains all of the projects together.
432
433If you want to get a specific release (as opposed to the most recent revision),
434you can check out a tag after cloning the repository. E.g., `git checkout
435llvmorg-6.0.1` inside the ``llvm-project`` directory created by the above
436command.  Use `git tag -l` to list all of them.
437
438Sending patches
439^^^^^^^^^^^^^^^
440
441Please read `Developer Policy <DeveloperPolicy.html#one-off-patches>`_, too.
442
443We don't currently accept github pull requests, so you'll need to send patches
444either via emailing to llvm-commits, or, preferably, via :ref:`Phabricator
445<phabricator-reviews>`.
446
447You'll generally want to make sure your branch has a single commit,
448corresponding to the review you wish to send, up-to-date with the upstream
449``origin/master`` branch, and doesn't contain merges. Once you have that, you
450can start `a Phabricator review <Phabricator.html>`_ (or use ``git show`` or
451``git format-patch`` to output the diff, and attach it to an email message).
452
453However, using the "Arcanist" tool is often easier. After `installing
454arcanist`_, you can upload the latest commit using:
455
456.. code-block:: console
457
458  % arc diff HEAD~1
459
460Additionally, before sending a patch for review, please also try to ensure it's
461formatted properly. We use ``clang-format`` for this, which has git integration
462through the ``git-clang-format`` script. On some systems, it may already be
463installed (or be installable via your package manager). If so, you can simply
464run it -- the following command will format only the code changed in the most
465recent commit:
466
467.. code-block:: console
468
469  % git clang-format HEAD~1
470
471Note that this modifies the files, but doesn't commit them -- you'll likely want
472to run
473
474.. code-block:: console
475
476  % git commit --amend -a
477
478in order to update the last commit with all pending changes.
479
480.. note::
481  If you don't already have ``clang-format`` or ``git clang-format`` installed
482  on your system, the ``clang-format`` binary will be built alongside clang, and
483  the git integration can be run from
484  ``clang/tools/clang-format/git-clang-format``.
485
486
487.. _commit_from_git:
488
489For developers to commit changes from Git
490^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
491
492Once a patch is reviewed, you should rebase it, re-test locally, and commit the
493changes to LLVM's master branch. This is done using `git push` if you have the
494required access rights. See `committing a change
495<Phabricator.html#committing-a-change>`_ for Phabricator based commits or
496`obtaining commit access <DeveloperPolicy.html#obtaining-commit-access>`_
497for commit access.
498
499Here is an example workflow using git. This workflow assumes you have an
500accepted commit on the branch named `branch-with-change`.
501
502.. code-block:: console
503
504  # Go to the branch with your accepted commit.
505  % git checkout branch-with-change
506  # Rebase your change onto the latest commits on Github.
507  % git pull --rebase origin master
508  # Rerun the appropriate tests if needed.
509  % ninja check-$whatever
510  # Check that the list of commits about to be pushed is correct.
511  % git log origin/master...HEAD --oneline
512  # Push to Github.
513  % git push origin HEAD:master
514
515LLVM currently has a linear-history policy, which means that merge commits are
516not allowed. The `llvm-project` repo on github is configured to reject pushes
517that include merges, so the `git rebase` step above is required.
518
519Please ask for help if you're having trouble with your particular git workflow.
520
521Bisecting commits
522^^^^^^^^^^^^^^^^^
523
524See `Bisecting LLVM code <GitBisecting.html>`_ for how to use ``git bisect``
525on LLVM.
526
527Reverting a change
528^^^^^^^^^^^^^^^^^^
529
530When reverting changes using git, the default message will say "This reverts
531commit XYZ". Leave this at the end of the commit message, but add some details
532before it as to why the commit is being reverted. A brief explanation and/or
533links to bots that demonstrate the problem are sufficient.
534
535Checkout via SVN (deprecated)
536^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
537
538The SVN repository is no longer updated, but it is still available for now. If
539you need to check the code out of SVN rather than git for some reason, you can
540do it like so:
541
542* ``cd where-you-want-llvm-to-live``
543* Read-Only: ``svn co https://llvm.org/svn/llvm-project/llvm/trunk llvm``
544* Read-Write: ``svn co https://[email protected]/svn/llvm-project/llvm/trunk llvm``
545
546This will create an '``llvm``' directory in the current directory and fully
547populate it with the LLVM source code, Makefiles, test directories, and local
548copies of documentation files.
549
550If you want to get a specific release (as opposed to the most recent revision),
551you can check it out from the '``tags``' directory (instead of '``trunk``'). The
552following releases are located in the following subdirectories of the '``tags``'
553directory:
554
555* Release 3.5.0 and later: **RELEASE_350/final** and so on
556* Release 2.9 through 3.4: **RELEASE_29/final** and so on
557* Release 1.1 through 2.8: **RELEASE_11** and so on
558* Release 1.0: **RELEASE_1**
559
560Local LLVM Configuration
561------------------------
562
563Once checked out repository, the LLVM suite source code must be configured
564before being built. This process uses CMake.  Unlinke the normal ``configure``
565script, CMake generates the build files in whatever format you request as well
566as various ``*.inc`` files, and ``llvm/include/Config/config.h``.
567
568Variables are passed to ``cmake`` on the command line using the format
569``-D<variable name>=<value>``. The following variables are some common options
570used by people developing LLVM.
571
572+-------------------------+----------------------------------------------------+
573| Variable                | Purpose                                            |
574+=========================+====================================================+
575| CMAKE_C_COMPILER        | Tells ``cmake`` which C compiler to use. By        |
576|                         | default, this will be /usr/bin/cc.                 |
577+-------------------------+----------------------------------------------------+
578| CMAKE_CXX_COMPILER      | Tells ``cmake`` which C++ compiler to use. By      |
579|                         | default, this will be /usr/bin/c++.                |
580+-------------------------+----------------------------------------------------+
581| CMAKE_BUILD_TYPE        | Tells ``cmake`` what type of build you are trying  |
582|                         | to generate files for. Valid options are Debug,    |
583|                         | Release, RelWithDebInfo, and MinSizeRel. Default   |
584|                         | is Debug.                                          |
585+-------------------------+----------------------------------------------------+
586| CMAKE_INSTALL_PREFIX    | Specifies the install directory to target when     |
587|                         | running the install action of the build files.     |
588+-------------------------+----------------------------------------------------+
589| PYTHON_EXECUTABLE       | Forces CMake to use a specific Python version by   |
590|                         | passing a path to a Python interpreter. By default |
591|                         | the Python version of the interpreter in your PATH |
592|                         | is used.                                           |
593+-------------------------+----------------------------------------------------+
594| LLVM_TARGETS_TO_BUILD   | A semicolon delimited list controlling which       |
595|                         | targets will be built and linked into llvm.        |
596|                         | The default list is defined as                     |
597|                         | ``LLVM_ALL_TARGETS``, and can be set to include    |
598|                         | out-of-tree targets. The default value includes:   |
599|                         | ``AArch64, AMDGPU, ARM, BPF, Hexagon, Mips,        |
600|                         | MSP430, NVPTX, PowerPC, Sparc, SystemZ, X86,       |
601|                         | XCore``.                                           |
602|                         |                                                    |
603+-------------------------+----------------------------------------------------+
604| LLVM_ENABLE_DOXYGEN     | Build doxygen-based documentation from the source  |
605|                         | code This is disabled by default because it is     |
606|                         | slow and generates a lot of output.                |
607+-------------------------+----------------------------------------------------+
608| LLVM_ENABLE_PROJECTS    | A semicolon-delimited list selecting which of the  |
609|                         | other LLVM subprojects to additionally build. (Only|
610|                         | effective when using a side-by-side project layout |
611|                         | e.g. via git). The default list is empty. Can      |
612|                         | include: clang, libcxx, libcxxabi, libunwind, lldb,|
613|                         | compiler-rt, lld, polly, or debuginfo-tests.       |
614+-------------------------+----------------------------------------------------+
615| LLVM_ENABLE_SPHINX      | Build sphinx-based documentation from the source   |
616|                         | code. This is disabled by default because it is    |
617|                         | slow and generates a lot of output. Sphinx version |
618|                         | 1.5 or later recommended.                          |
619+-------------------------+----------------------------------------------------+
620| LLVM_BUILD_LLVM_DYLIB   | Generate libLLVM.so. This library contains a       |
621|                         | default set of LLVM components that can be         |
622|                         | overridden with ``LLVM_DYLIB_COMPONENTS``. The     |
623|                         | default contains most of LLVM and is defined in    |
624|                         | ``tools/llvm-shlib/CMakelists.txt``. This option is|
625|                         | not available on Windows.                          |
626+-------------------------+----------------------------------------------------+
627| LLVM_OPTIMIZED_TABLEGEN | Builds a release tablegen that gets used during    |
628|                         | the LLVM build. This can dramatically speed up     |
629|                         | debug builds.                                      |
630+-------------------------+----------------------------------------------------+
631
632To configure LLVM, follow these steps:
633
634#. Change directory into the object root directory:
635
636   .. code-block:: console
637
638     % cd OBJ_ROOT
639
640#. Run the ``cmake``:
641
642   .. code-block:: console
643
644     % cmake -G "Unix Makefiles" -DCMAKE_INSTALL_PREFIX=/install/path
645       [other options] SRC_ROOT
646
647Compiling the LLVM Suite Source Code
648------------------------------------
649
650Unlike with autotools, with CMake your build type is defined at configuration.
651If you want to change your build type, you can re-run cmake with the following
652invocation:
653
654   .. code-block:: console
655
656     % cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=type SRC_ROOT
657
658Between runs, CMake preserves the values set for all options. CMake has the
659following build types defined:
660
661Debug
662
663  These builds are the default. The build system will compile the tools and
664  libraries unoptimized, with debugging information, and asserts enabled.
665
666Release
667
668  For these builds, the build system will compile the tools and libraries
669  with optimizations enabled and not generate debug info. CMakes default
670  optimization level is -O3. This can be configured by setting the
671  ``CMAKE_CXX_FLAGS_RELEASE`` variable on the CMake command line.
672
673RelWithDebInfo
674
675  These builds are useful when debugging. They generate optimized binaries with
676  debug information. CMakes default optimization level is -O2. This can be
677  configured by setting the ``CMAKE_CXX_FLAGS_RELWITHDEBINFO`` variable on the
678  CMake command line.
679
680Once you have LLVM configured, you can build it by entering the *OBJ_ROOT*
681directory and issuing the following command:
682
683.. code-block:: console
684
685  % make
686
687If the build fails, please `check here`_ to see if you are using a version of
688GCC that is known not to compile LLVM.
689
690If you have multiple processors in your machine, you may wish to use some of the
691parallel build options provided by GNU Make.  For example, you could use the
692command:
693
694.. code-block:: console
695
696  % make -j2
697
698There are several special targets which are useful when working with the LLVM
699source code:
700
701``make clean``
702
703  Removes all files generated by the build.  This includes object files,
704  generated C/C++ files, libraries, and executables.
705
706``make install``
707
708  Installs LLVM header files, libraries, tools, and documentation in a hierarchy
709  under ``$PREFIX``, specified with ``CMAKE_INSTALL_PREFIX``, which
710  defaults to ``/usr/local``.
711
712``make docs-llvm-html``
713
714  If configured with ``-DLLVM_ENABLE_SPHINX=On``, this will generate a directory
715  at ``OBJ_ROOT/docs/html`` which contains the HTML formatted documentation.
716
717Cross-Compiling LLVM
718--------------------
719
720It is possible to cross-compile LLVM itself. That is, you can create LLVM
721executables and libraries to be hosted on a platform different from the platform
722where they are built (a Canadian Cross build). To generate build files for
723cross-compiling CMake provides a variable ``CMAKE_TOOLCHAIN_FILE`` which can
724define compiler flags and variables used during the CMake test operations.
725
726The result of such a build is executables that are not runnable on the build
727host but can be executed on the target. As an example the following CMake
728invocation can generate build files targeting iOS. This will work on macOS
729with the latest Xcode:
730
731.. code-block:: console
732
733  % cmake -G "Ninja" -DCMAKE_OSX_ARCHITECTURES="armv7;armv7s;arm64"
734    -DCMAKE_TOOLCHAIN_FILE=<PATH_TO_LLVM>/cmake/platforms/iOS.cmake
735    -DCMAKE_BUILD_TYPE=Release -DLLVM_BUILD_RUNTIME=Off -DLLVM_INCLUDE_TESTS=Off
736    -DLLVM_INCLUDE_EXAMPLES=Off -DLLVM_ENABLE_BACKTRACES=Off [options]
737    <PATH_TO_LLVM>
738
739Note: There are some additional flags that need to be passed when building for
740iOS due to limitations in the iOS SDK.
741
742Check :doc:`HowToCrossCompileLLVM` and `Clang docs on how to cross-compile in general
743<https://clang.llvm.org/docs/CrossCompilation.html>`_ for more information
744about cross-compiling.
745
746The Location of LLVM Object Files
747---------------------------------
748
749The LLVM build system is capable of sharing a single LLVM source tree among
750several LLVM builds.  Hence, it is possible to build LLVM for several different
751platforms or configurations using the same source tree.
752
753* Change directory to where the LLVM object files should live:
754
755  .. code-block:: console
756
757    % cd OBJ_ROOT
758
759* Run ``cmake``:
760
761  .. code-block:: console
762
763    % cmake -G "Unix Makefiles" SRC_ROOT
764
765The LLVM build will create a structure underneath *OBJ_ROOT* that matches the
766LLVM source tree. At each level where source files are present in the source
767tree there will be a corresponding ``CMakeFiles`` directory in the *OBJ_ROOT*.
768Underneath that directory there is another directory with a name ending in
769``.dir`` under which you'll find object files for each source.
770
771For example:
772
773  .. code-block:: console
774
775    % cd llvm_build_dir
776    % find lib/Support/ -name APFloat*
777    lib/Support/CMakeFiles/LLVMSupport.dir/APFloat.cpp.o
778
779Optional Configuration Items
780----------------------------
781
782If you're running on a Linux system that supports the `binfmt_misc
783<http://en.wikipedia.org/wiki/binfmt_misc>`_
784module, and you have root access on the system, you can set your system up to
785execute LLVM bitcode files directly. To do this, use commands like this (the
786first command may not be required if you are already using the module):
787
788.. code-block:: console
789
790  % mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
791  % echo ':llvm:M::BC::/path/to/lli:' > /proc/sys/fs/binfmt_misc/register
792  % chmod u+x hello.bc   (if needed)
793  % ./hello.bc
794
795This allows you to execute LLVM bitcode files directly.  On Debian, you can also
796use this command instead of the 'echo' command above:
797
798.. code-block:: console
799
800  % sudo update-binfmts --install llvm /path/to/lli --magic 'BC'
801
802.. _Program Layout:
803.. _general layout:
804
805Directory Layout
806================
807
808One useful source of information about the LLVM source base is the LLVM `doxygen
809<http://www.doxygen.org/>`_ documentation available at
810`<https://llvm.org/doxygen/>`_.  The following is a brief introduction to code
811layout:
812
813``llvm/examples``
814-----------------
815
816Simple examples using the LLVM IR and JIT.
817
818``llvm/include``
819----------------
820
821Public header files exported from the LLVM library. The three main subdirectories:
822
823``llvm/include/llvm``
824
825  All LLVM-specific header files, and  subdirectories for different portions of
826  LLVM: ``Analysis``, ``CodeGen``, ``Target``, ``Transforms``, etc...
827
828``llvm/include/llvm/Support``
829
830  Generic support libraries provided with LLVM but not necessarily specific to
831  LLVM. For example, some C++ STL utilities and a Command Line option processing
832  library store header files here.
833
834``llvm/include/llvm/Config``
835
836  Header files configured by ``cmake``.  They wrap "standard" UNIX and
837  C header files.  Source code can include these header files which
838  automatically take care of the conditional #includes that ``cmake``
839  generates.
840
841``llvm/lib``
842------------
843
844Most source files are here. By putting code in libraries, LLVM makes it easy to
845share code among the `tools`_.
846
847``llvm/lib/IR/``
848
849  Core LLVM source files that implement core classes like Instruction and
850  BasicBlock.
851
852``llvm/lib/AsmParser/``
853
854  Source code for the LLVM assembly language parser library.
855
856``llvm/lib/Bitcode/``
857
858  Code for reading and writing bitcode.
859
860``llvm/lib/Analysis/``
861
862  A variety of program analyses, such as Call Graphs, Induction Variables,
863  Natural Loop Identification, etc.
864
865``llvm/lib/Transforms/``
866
867  IR-to-IR program transformations, such as Aggressive Dead Code Elimination,
868  Sparse Conditional Constant Propagation, Inlining, Loop Invariant Code Motion,
869  Dead Global Elimination, and many others.
870
871``llvm/lib/Target/``
872
873  Files describing target architectures for code generation.  For example,
874  ``llvm/lib/Target/X86`` holds the X86 machine description.
875
876``llvm/lib/CodeGen/``
877
878  The major parts of the code generator: Instruction Selector, Instruction
879  Scheduling, and Register Allocation.
880
881``llvm/lib/MC/``
882
883  (FIXME: T.B.D.)  ....?
884
885``llvm/lib/ExecutionEngine/``
886
887  Libraries for directly executing bitcode at runtime in interpreted and
888  JIT-compiled scenarios.
889
890``llvm/lib/Support/``
891
892  Source code that corresponding to the header files in ``llvm/include/ADT/``
893  and ``llvm/include/Support/``.
894
895``llvm/projects``
896-----------------
897
898Projects not strictly part of LLVM but shipped with LLVM. This is also the
899directory for creating your own LLVM-based projects which leverage the LLVM
900build system.
901
902``llvm/test``
903-------------
904
905Feature and regression tests and other sanity checks on LLVM infrastructure. These
906are intended to run quickly and cover a lot of territory without being exhaustive.
907
908``test-suite``
909--------------
910
911A comprehensive correctness, performance, and benchmarking test suite
912for LLVM.  This comes in a ``separate git repository
913<https://github.com/llvm/llvm-test-suite>``, because it contains a
914large amount of third-party code under a variety of licenses. For
915details see the :doc:`Testing Guide <TestingGuide>` document.
916
917.. _tools:
918
919``llvm/tools``
920--------------
921
922Executables built out of the libraries
923above, which form the main part of the user interface.  You can always get help
924for a tool by typing ``tool_name -help``.  The following is a brief introduction
925to the most important tools.  More detailed information is in
926the `Command Guide <CommandGuide/index.html>`_.
927
928``bugpoint``
929
930  ``bugpoint`` is used to debug optimization passes or code generation backends
931  by narrowing down the given test case to the minimum number of passes and/or
932  instructions that still cause a problem, whether it is a crash or
933  miscompilation. See `<HowToSubmitABug.html>`_ for more information on using
934  ``bugpoint``.
935
936``llvm-ar``
937
938  The archiver produces an archive containing the given LLVM bitcode files,
939  optionally with an index for faster lookup.
940
941``llvm-as``
942
943  The assembler transforms the human readable LLVM assembly to LLVM bitcode.
944
945``llvm-dis``
946
947  The disassembler transforms the LLVM bitcode to human readable LLVM assembly.
948
949``llvm-link``
950
951  ``llvm-link``, not surprisingly, links multiple LLVM modules into a single
952  program.
953
954``lli``
955
956  ``lli`` is the LLVM interpreter, which can directly execute LLVM bitcode
957  (although very slowly...). For architectures that support it (currently x86,
958  Sparc, and PowerPC), by default, ``lli`` will function as a Just-In-Time
959  compiler (if the functionality was compiled in), and will execute the code
960  *much* faster than the interpreter.
961
962``llc``
963
964  ``llc`` is the LLVM backend compiler, which translates LLVM bitcode to a
965  native code assembly file.
966
967``opt``
968
969  ``opt`` reads LLVM bitcode, applies a series of LLVM to LLVM transformations
970  (which are specified on the command line), and outputs the resultant
971  bitcode.   '``opt -help``'  is a good way to get a list of the
972  program transformations available in LLVM.
973
974  ``opt`` can also  run a specific analysis on an input LLVM bitcode
975  file and print  the results.  Primarily useful for debugging
976  analyses, or familiarizing yourself with what an analysis does.
977
978``llvm/utils``
979--------------
980
981Utilities for working with LLVM source code; some are part of the build process
982because they are code generators for parts of the infrastructure.
983
984
985``codegen-diff``
986
987  ``codegen-diff`` finds differences between code that LLC
988  generates and code that LLI generates. This is useful if you are
989  debugging one of them, assuming that the other generates correct output. For
990  the full user manual, run ```perldoc codegen-diff'``.
991
992``emacs/``
993
994   Emacs and XEmacs syntax highlighting  for LLVM   assembly files and TableGen
995   description files.  See the ``README`` for information on using them.
996
997``getsrcs.sh``
998
999  Finds and outputs all non-generated source files,
1000  useful if one wishes to do a lot of development across directories
1001  and does not want to find each file. One way to use it is to run,
1002  for example: ``xemacs `utils/getsources.sh``` from the top of the LLVM source
1003  tree.
1004
1005``llvmgrep``
1006
1007  Performs an ``egrep -H -n`` on each source file in LLVM and
1008  passes to it a regular expression provided on ``llvmgrep``'s command
1009  line. This is an efficient way of searching the source base for a
1010  particular regular expression.
1011
1012``TableGen/``
1013
1014  Contains the tool used to generate register
1015  descriptions, instruction set descriptions, and even assemblers from common
1016  TableGen description files.
1017
1018``vim/``
1019
1020  vim syntax-highlighting for LLVM assembly files
1021  and TableGen description files. See the    ``README`` for how to use them.
1022
1023.. _simple example:
1024
1025An Example Using the LLVM Tool Chain
1026====================================
1027
1028This section gives an example of using LLVM with the Clang front end.
1029
1030Example with clang
1031------------------
1032
1033#. First, create a simple C file, name it 'hello.c':
1034
1035   .. code-block:: c
1036
1037     #include <stdio.h>
1038
1039     int main() {
1040       printf("hello world\n");
1041       return 0;
1042     }
1043
1044#. Next, compile the C file into a native executable:
1045
1046   .. code-block:: console
1047
1048     % clang hello.c -o hello
1049
1050   .. note::
1051
1052     Clang works just like GCC by default.  The standard -S and -c arguments
1053     work as usual (producing a native .s or .o file, respectively).
1054
1055#. Next, compile the C file into an LLVM bitcode file:
1056
1057   .. code-block:: console
1058
1059     % clang -O3 -emit-llvm hello.c -c -o hello.bc
1060
1061   The -emit-llvm option can be used with the -S or -c options to emit an LLVM
1062   ``.ll`` or ``.bc`` file (respectively) for the code.  This allows you to use
1063   the `standard LLVM tools <CommandGuide/index.html>`_ on the bitcode file.
1064
1065#. Run the program in both forms. To run the program, use:
1066
1067   .. code-block:: console
1068
1069      % ./hello
1070
1071   and
1072
1073   .. code-block:: console
1074
1075     % lli hello.bc
1076
1077   The second examples shows how to invoke the LLVM JIT, :doc:`lli
1078   <CommandGuide/lli>`.
1079
1080#. Use the ``llvm-dis`` utility to take a look at the LLVM assembly code:
1081
1082   .. code-block:: console
1083
1084     % llvm-dis < hello.bc | less
1085
1086#. Compile the program to native assembly using the LLC code generator:
1087
1088   .. code-block:: console
1089
1090     % llc hello.bc -o hello.s
1091
1092#. Assemble the native assembly language file into a program:
1093
1094   .. code-block:: console
1095
1096     % /opt/SUNWspro/bin/cc -xarch=v9 hello.s -o hello.native   # On Solaris
1097
1098     % gcc hello.s -o hello.native                              # On others
1099
1100#. Execute the native code program:
1101
1102   .. code-block:: console
1103
1104     % ./hello.native
1105
1106   Note that using clang to compile directly to native code (i.e. when the
1107   ``-emit-llvm`` option is not present) does steps 6/7/8 for you.
1108
1109Common Problems
1110===============
1111
1112If you are having problems building or using LLVM, or if you have any other
1113general questions about LLVM, please consult the `Frequently Asked
1114Questions <FAQ.html>`_ page.
1115
1116If you are having problems with limited memory and build time, please try
1117building with ninja instead of make. Please consider configuring the
1118following options with cmake:
1119
1120 * -G Ninja
1121   Setting this option will allow you to build with ninja instead of make.
1122   Building with ninja significantly improves your build time, especially with
1123   incremental builds, and improves your memory usage.
1124
1125 * -DLLVM_USE_LINKER
1126   Setting this option to lld will significantly reduce linking time for LLVM
1127   executables on ELF-based platforms, such as Linux. If you are building LLVM
1128   for the first time and lld is not available to you as a binary package, then
1129   you may want to use the gold linker as a faster alternative to GNU ld.
1130
1131 * -DCMAKE_BUILD_TYPE
1132
1133    - Debug --- This is the default build type. This disables optimizations while
1134      compiling LLVM and enables debug info. On ELF-based platforms (e.g. Linux)
1135      linking with debug info may consume a large amount of memory.
1136
1137    - Release --- Turns on optimizations and disables debug info. Combining the
1138      Release build type with -DLLVM_ENABLE_ASSERTIONS=ON may be a good trade-off
1139      between speed and debugability during development, particularly for running
1140      the test suite.
1141
1142 * -DLLVM_ENABLE_ASSERTIONS
1143   This option defaults to ON for Debug builds and defaults to OFF for Release
1144   builds. As mentioned in the previous option, using the Release build type and
1145   enabling assertions may be a good alternative to using the Debug build type.
1146
1147 * -DLLVM_PARALLEL_LINK_JOBS
1148   Set this equal to number of jobs you wish to run simultaneously. This is
1149   similar to the -j option used with make, but only for link jobs. This option
1150   can only be used with ninja. You may wish to use a very low number of jobs,
1151   as this will greatly reduce the amount of memory used during the build
1152   process. If you have limited memory, you may wish to set this to 1.
1153
1154 * -DLLVM_TARGETS_TO_BUILD
1155   Set this equal to the target you wish to build. You may wish to set this to
1156   X86; however, you will find a full list of targets within the
1157   llvm-project/llvm/lib/Target directory.
1158
1159 * -DLLVM_OPTIMIZED_TABLEGEN
1160   Set this to ON to generate a fully optimized tablegen during your build. This
1161   will significantly improve your build time. This is only useful if you are
1162   using the Debug build type.
1163
1164 * -DLLVM_ENABLE_PROJECTS
1165   Set this equal to the projects you wish to compile (e.g. clang, lld, etc.) If
1166   compiling more than one project, separate the items with a semicolon. Should
1167   you run into issues with the semicolon, try surrounding it with single quotes.
1168
1169 * -DCLANG_ENABLE_STATIC_ANALYZER
1170   Set this option to OFF if you do not require the clang static analyzer. This
1171   should improve your build time slightly.
1172
1173 * -DLLVM_USE_SPLIT_DWARF
1174   Consider setting this to ON if you require a debug build, as this will ease
1175   memory pressure on the linker. This will make linking much faster, as the
1176   binaries will not contain any of the debug information; however, this will
1177   generate the debug information in the form of a DWARF object file (with the
1178   extension .dwo). This only applies to host platforms using ELF, such as Linux.
1179
1180.. _links:
1181
1182Links
1183=====
1184
1185This document is just an **introduction** on how to use LLVM to do some simple
1186things... there are many more interesting and complicated things that you can do
1187that aren't documented here (but we'll gladly accept a patch if you want to
1188write something up!).  For more information about LLVM, check out:
1189
1190* `LLVM Homepage <https://llvm.org/>`_
1191* `LLVM Doxygen Tree <https://llvm.org/doxygen/>`_
1192* `Starting a Project that Uses LLVM <https://llvm.org/docs/Projects.html>`_
1193
1194.. _installing arcanist: https://secure.phabricator.com/book/phabricator/article/arcanist_quick_start/
1195