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
343This method will add an absolute path to the rpath of all executables. That's
344fine for local development. If you want to distribute the binaries you build
345so that they can run on older systems, copy ``libstdc++.so.6`` into the
346``lib/`` directory.  All of LLVM's shipping binaries have an rpath pointing at
347``$ORIGIN/../lib``, so they will find ``libstdc++.so.6`` there.  Non-distributed
348binaries don't have an rpath set and won't find ``libstdc++.so.6``. Pass
349``-DLLVM_LOCAL_RPATH="$HOME/toolchains/lib64"`` to cmake to add an absolute
350path to ``libstdc++.so.6`` as above. Since these binaries are not distributed,
351having an absolute local path is fine for them.
352
353When you build Clang, you will need to give *it* access to modern C++
354standard library in order to use it as your new host in part of a bootstrap.
355There are two easy ways to do this, either build (and install) libc++ along
356with Clang and then use it with the ``-stdlib=libc++`` compile and link flag,
357or install Clang into the same prefix (``$HOME/toolchains`` above) as GCC.
358Clang will look within its own prefix for libstdc++ and use it if found. You
359can also add an explicit prefix for Clang to look in for a GCC toolchain with
360the ``--gcc-toolchain=/opt/my/gcc/prefix`` flag, passing it to both compile and
361link commands when using your just-built-Clang to bootstrap.
362
363.. _Getting Started with LLVM:
364
365Getting Started with LLVM
366=========================
367
368The remainder of this guide is meant to get you up and running with LLVM and to
369give you some basic information about the LLVM environment.
370
371The later sections of this guide describe the `general layout`_ of the LLVM
372source tree, a `simple example`_ using the LLVM tool chain, and `links`_ to find
373more information about LLVM or to get help via e-mail.
374
375Terminology and Notation
376------------------------
377
378Throughout this manual, the following names are used to denote paths specific to
379the local system and working environment.  *These are not environment variables
380you need to set but just strings used in the rest of this document below*.  In
381any of the examples below, simply replace each of these names with the
382appropriate pathname on your local system.  All these paths are absolute:
383
384``SRC_ROOT``
385
386  This is the top level directory of the LLVM source tree.
387
388``OBJ_ROOT``
389
390  This is the top level directory of the LLVM object tree (i.e. the tree where
391  object files and compiled programs will be placed.  It can be the same as
392  SRC_ROOT).
393
394Unpacking the LLVM Archives
395---------------------------
396
397If you have the LLVM distribution, you will need to unpack it before you can
398begin to compile it.  LLVM is distributed as a number of different
399subprojects. Each one has its own download which is a TAR archive that is
400compressed with the gzip program.
401
402The files are as follows, with *x.y* marking the version number:
403
404``llvm-x.y.tar.gz``
405
406  Source release for the LLVM libraries and tools.
407
408``cfe-x.y.tar.gz``
409
410  Source release for the Clang frontend.
411
412.. _checkout:
413
414Checkout LLVM from Git
415----------------------
416
417You can also checkout the source code for LLVM from Git.
418
419.. note::
420
421  Passing ``--config core.autocrlf=false`` should not be required in
422  the future after we adjust the .gitattribute settings correctly, but
423  is required for Windows users at the time of this writing.
424
425Simply run:
426
427.. code-block:: console
428
429  % git clone https://github.com/llvm/llvm-project.git
430
431or on Windows,
432
433.. code-block:: console
434
435  % git clone --config core.autocrlf=false https://github.com/llvm/llvm-project.git
436
437This will create an '``llvm-project``' directory in the current directory and
438fully populate it with all of the source code, test directories, and local
439copies of documentation files for LLVM and all the related subprojects. Note
440that unlike the tarballs, which contain each subproject in a separate file, the
441git repository contains all of the projects together.
442
443If you want to get a specific release (as opposed to the most recent revision),
444you can check out a tag after cloning the repository. E.g., `git checkout
445llvmorg-6.0.1` inside the ``llvm-project`` directory created by the above
446command.  Use `git tag -l` to list all of them.
447
448Sending patches
449^^^^^^^^^^^^^^^
450
451Please read `Developer Policy <DeveloperPolicy.html#one-off-patches>`_, too.
452
453We don't currently accept github pull requests, so you'll need to send patches
454either via emailing to llvm-commits, or, preferably, via :ref:`Phabricator
455<phabricator-reviews>`.
456
457You'll generally want to make sure your branch has a single commit,
458corresponding to the review you wish to send, up-to-date with the upstream
459``origin/master`` branch, and doesn't contain merges. Once you have that, you
460can start `a Phabricator review <Phabricator.html>`_ (or use ``git show`` or
461``git format-patch`` to output the diff, and attach it to an email message).
462
463However, using the "Arcanist" tool is often easier. After `installing
464arcanist`_, you can upload the latest commit using:
465
466.. code-block:: console
467
468  % arc diff HEAD~1
469
470Additionally, before sending a patch for review, please also try to ensure it's
471formatted properly. We use ``clang-format`` for this, which has git integration
472through the ``git-clang-format`` script. On some systems, it may already be
473installed (or be installable via your package manager). If so, you can simply
474run it -- the following command will format only the code changed in the most
475recent commit:
476
477.. code-block:: console
478
479  % git clang-format HEAD~1
480
481Note that this modifies the files, but doesn't commit them -- you'll likely want
482to run
483
484.. code-block:: console
485
486  % git commit --amend -a
487
488in order to update the last commit with all pending changes.
489
490.. note::
491  If you don't already have ``clang-format`` or ``git clang-format`` installed
492  on your system, the ``clang-format`` binary will be built alongside clang, and
493  the git integration can be run from
494  ``clang/tools/clang-format/git-clang-format``.
495
496
497.. _commit_from_git:
498
499For developers to commit changes from Git
500^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
501
502Once a patch is reviewed, you should rebase it, re-test locally, and commit the
503changes to LLVM's master branch. This is done using `git push` if you have the
504required access rights. See `committing a change
505<Phabricator.html#committing-a-change>`_ for Phabricator based commits or
506`obtaining commit access <DeveloperPolicy.html#obtaining-commit-access>`_
507for commit access.
508
509Here is an example workflow using git. This workflow assumes you have an
510accepted commit on the branch named `branch-with-change`.
511
512.. code-block:: console
513
514  # Go to the branch with your accepted commit.
515  % git checkout branch-with-change
516  # Rebase your change onto the latest commits on Github.
517  % git pull --rebase origin master
518  # Rerun the appropriate tests if needed.
519  % ninja check-$whatever
520  # Check that the list of commits about to be pushed is correct.
521  % git log origin/master...HEAD --oneline
522  # Push to Github.
523  % git push origin HEAD:master
524
525LLVM currently has a linear-history policy, which means that merge commits are
526not allowed. The `llvm-project` repo on github is configured to reject pushes
527that include merges, so the `git rebase` step above is required.
528
529Please ask for help if you're having trouble with your particular git workflow.
530
531Git pre-push hook
532^^^^^^^^^^^^^^^^^
533
534We include an optional pre-push hook that run some sanity checks on the revisions
535you are about to push and ask confirmation if you push multiple commits at once.
536You can set it up (on Unix systems) by running from the repository root:
537
538.. code-block:: console
539
540  % ln -sf ../../llvm/utils/git/pre-push.py .git/hooks/pre-push
541
542Bisecting commits
543^^^^^^^^^^^^^^^^^
544
545See `Bisecting LLVM code <GitBisecting.html>`_ for how to use ``git bisect``
546on LLVM.
547
548Reverting a change
549^^^^^^^^^^^^^^^^^^
550
551When reverting changes using git, the default message will say "This reverts
552commit XYZ". Leave this at the end of the commit message, but add some details
553before it as to why the commit is being reverted. A brief explanation and/or
554links to bots that demonstrate the problem are sufficient.
555
556Checkout via SVN (deprecated)
557^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
558
559The SVN repository is no longer updated, but it is still available for now. If
560you need to check the code out of SVN rather than git for some reason, you can
561do it like so:
562
563* ``cd where-you-want-llvm-to-live``
564* Read-Only: ``svn co https://llvm.org/svn/llvm-project/llvm/trunk llvm``
565* Read-Write: ``svn co https://[email protected]/svn/llvm-project/llvm/trunk llvm``
566
567This will create an '``llvm``' directory in the current directory and fully
568populate it with the LLVM source code, Makefiles, test directories, and local
569copies of documentation files.
570
571If you want to get a specific release (as opposed to the most recent revision),
572you can check it out from the '``tags``' directory (instead of '``trunk``'). The
573following releases are located in the following subdirectories of the '``tags``'
574directory:
575
576* Release 3.5.0 and later: **RELEASE_350/final** and so on
577* Release 2.9 through 3.4: **RELEASE_29/final** and so on
578* Release 1.1 through 2.8: **RELEASE_11** and so on
579* Release 1.0: **RELEASE_1**
580
581Local LLVM Configuration
582------------------------
583
584Once checked out repository, the LLVM suite source code must be configured
585before being built. This process uses CMake.  Unlinke the normal ``configure``
586script, CMake generates the build files in whatever format you request as well
587as various ``*.inc`` files, and ``llvm/include/Config/config.h``.
588
589Variables are passed to ``cmake`` on the command line using the format
590``-D<variable name>=<value>``. The following variables are some common options
591used by people developing LLVM.
592
593+-------------------------+----------------------------------------------------+
594| Variable                | Purpose                                            |
595+=========================+====================================================+
596| CMAKE_C_COMPILER        | Tells ``cmake`` which C compiler to use. By        |
597|                         | default, this will be /usr/bin/cc.                 |
598+-------------------------+----------------------------------------------------+
599| CMAKE_CXX_COMPILER      | Tells ``cmake`` which C++ compiler to use. By      |
600|                         | default, this will be /usr/bin/c++.                |
601+-------------------------+----------------------------------------------------+
602| CMAKE_BUILD_TYPE        | Tells ``cmake`` what type of build you are trying  |
603|                         | to generate files for. Valid options are Debug,    |
604|                         | Release, RelWithDebInfo, and MinSizeRel. Default   |
605|                         | is Debug.                                          |
606+-------------------------+----------------------------------------------------+
607| CMAKE_INSTALL_PREFIX    | Specifies the install directory to target when     |
608|                         | running the install action of the build files.     |
609+-------------------------+----------------------------------------------------+
610| PYTHON_EXECUTABLE       | Forces CMake to use a specific Python version by   |
611|                         | passing a path to a Python interpreter. By default |
612|                         | the Python version of the interpreter in your PATH |
613|                         | is used.                                           |
614+-------------------------+----------------------------------------------------+
615| LLVM_TARGETS_TO_BUILD   | A semicolon delimited list controlling which       |
616|                         | targets will be built and linked into llvm.        |
617|                         | The default list is defined as                     |
618|                         | ``LLVM_ALL_TARGETS``, and can be set to include    |
619|                         | out-of-tree targets. The default value includes:   |
620|                         | ``AArch64, AMDGPU, ARM, BPF, Hexagon, Mips,        |
621|                         | MSP430, NVPTX, PowerPC, Sparc, SystemZ, X86,       |
622|                         | XCore``.                                           |
623|                         |                                                    |
624+-------------------------+----------------------------------------------------+
625| LLVM_ENABLE_DOXYGEN     | Build doxygen-based documentation from the source  |
626|                         | code This is disabled by default because it is     |
627|                         | slow and generates a lot of output.                |
628+-------------------------+----------------------------------------------------+
629| LLVM_ENABLE_PROJECTS    | A semicolon-delimited list selecting which of the  |
630|                         | other LLVM subprojects to additionally build. (Only|
631|                         | effective when using a side-by-side project layout |
632|                         | e.g. via git). The default list is empty. Can      |
633|                         | include: clang, libcxx, libcxxabi, libunwind, lldb,|
634|                         | compiler-rt, lld, polly, or debuginfo-tests.       |
635+-------------------------+----------------------------------------------------+
636| LLVM_ENABLE_SPHINX      | Build sphinx-based documentation from the source   |
637|                         | code. This is disabled by default because it is    |
638|                         | slow and generates a lot of output. Sphinx version |
639|                         | 1.5 or later recommended.                          |
640+-------------------------+----------------------------------------------------+
641| LLVM_BUILD_LLVM_DYLIB   | Generate libLLVM.so. This library contains a       |
642|                         | default set of LLVM components that can be         |
643|                         | overridden with ``LLVM_DYLIB_COMPONENTS``. The     |
644|                         | default contains most of LLVM and is defined in    |
645|                         | ``tools/llvm-shlib/CMakelists.txt``. This option is|
646|                         | not available on Windows.                          |
647+-------------------------+----------------------------------------------------+
648| LLVM_OPTIMIZED_TABLEGEN | Builds a release tablegen that gets used during    |
649|                         | the LLVM build. This can dramatically speed up     |
650|                         | debug builds.                                      |
651+-------------------------+----------------------------------------------------+
652
653To configure LLVM, follow these steps:
654
655#. Change directory into the object root directory:
656
657   .. code-block:: console
658
659     % cd OBJ_ROOT
660
661#. Run the ``cmake``:
662
663   .. code-block:: console
664
665     % cmake -G "Unix Makefiles" -DCMAKE_INSTALL_PREFIX=/install/path
666       [other options] SRC_ROOT
667
668Compiling the LLVM Suite Source Code
669------------------------------------
670
671Unlike with autotools, with CMake your build type is defined at configuration.
672If you want to change your build type, you can re-run cmake with the following
673invocation:
674
675   .. code-block:: console
676
677     % cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=type SRC_ROOT
678
679Between runs, CMake preserves the values set for all options. CMake has the
680following build types defined:
681
682Debug
683
684  These builds are the default. The build system will compile the tools and
685  libraries unoptimized, with debugging information, and asserts enabled.
686
687Release
688
689  For these builds, the build system will compile the tools and libraries
690  with optimizations enabled and not generate debug info. CMakes default
691  optimization level is -O3. This can be configured by setting the
692  ``CMAKE_CXX_FLAGS_RELEASE`` variable on the CMake command line.
693
694RelWithDebInfo
695
696  These builds are useful when debugging. They generate optimized binaries with
697  debug information. CMakes default optimization level is -O2. This can be
698  configured by setting the ``CMAKE_CXX_FLAGS_RELWITHDEBINFO`` variable on the
699  CMake command line.
700
701Once you have LLVM configured, you can build it by entering the *OBJ_ROOT*
702directory and issuing the following command:
703
704.. code-block:: console
705
706  % make
707
708If the build fails, please `check here`_ to see if you are using a version of
709GCC that is known not to compile LLVM.
710
711If you have multiple processors in your machine, you may wish to use some of the
712parallel build options provided by GNU Make.  For example, you could use the
713command:
714
715.. code-block:: console
716
717  % make -j2
718
719There are several special targets which are useful when working with the LLVM
720source code:
721
722``make clean``
723
724  Removes all files generated by the build.  This includes object files,
725  generated C/C++ files, libraries, and executables.
726
727``make install``
728
729  Installs LLVM header files, libraries, tools, and documentation in a hierarchy
730  under ``$PREFIX``, specified with ``CMAKE_INSTALL_PREFIX``, which
731  defaults to ``/usr/local``.
732
733``make docs-llvm-html``
734
735  If configured with ``-DLLVM_ENABLE_SPHINX=On``, this will generate a directory
736  at ``OBJ_ROOT/docs/html`` which contains the HTML formatted documentation.
737
738Cross-Compiling LLVM
739--------------------
740
741It is possible to cross-compile LLVM itself. That is, you can create LLVM
742executables and libraries to be hosted on a platform different from the platform
743where they are built (a Canadian Cross build). To generate build files for
744cross-compiling CMake provides a variable ``CMAKE_TOOLCHAIN_FILE`` which can
745define compiler flags and variables used during the CMake test operations.
746
747The result of such a build is executables that are not runnable on the build
748host but can be executed on the target. As an example the following CMake
749invocation can generate build files targeting iOS. This will work on macOS
750with the latest Xcode:
751
752.. code-block:: console
753
754  % cmake -G "Ninja" -DCMAKE_OSX_ARCHITECTURES="armv7;armv7s;arm64"
755    -DCMAKE_TOOLCHAIN_FILE=<PATH_TO_LLVM>/cmake/platforms/iOS.cmake
756    -DCMAKE_BUILD_TYPE=Release -DLLVM_BUILD_RUNTIME=Off -DLLVM_INCLUDE_TESTS=Off
757    -DLLVM_INCLUDE_EXAMPLES=Off -DLLVM_ENABLE_BACKTRACES=Off [options]
758    <PATH_TO_LLVM>
759
760Note: There are some additional flags that need to be passed when building for
761iOS due to limitations in the iOS SDK.
762
763Check :doc:`HowToCrossCompileLLVM` and `Clang docs on how to cross-compile in general
764<https://clang.llvm.org/docs/CrossCompilation.html>`_ for more information
765about cross-compiling.
766
767The Location of LLVM Object Files
768---------------------------------
769
770The LLVM build system is capable of sharing a single LLVM source tree among
771several LLVM builds.  Hence, it is possible to build LLVM for several different
772platforms or configurations using the same source tree.
773
774* Change directory to where the LLVM object files should live:
775
776  .. code-block:: console
777
778    % cd OBJ_ROOT
779
780* Run ``cmake``:
781
782  .. code-block:: console
783
784    % cmake -G "Unix Makefiles" SRC_ROOT
785
786The LLVM build will create a structure underneath *OBJ_ROOT* that matches the
787LLVM source tree. At each level where source files are present in the source
788tree there will be a corresponding ``CMakeFiles`` directory in the *OBJ_ROOT*.
789Underneath that directory there is another directory with a name ending in
790``.dir`` under which you'll find object files for each source.
791
792For example:
793
794  .. code-block:: console
795
796    % cd llvm_build_dir
797    % find lib/Support/ -name APFloat*
798    lib/Support/CMakeFiles/LLVMSupport.dir/APFloat.cpp.o
799
800Optional Configuration Items
801----------------------------
802
803If you're running on a Linux system that supports the `binfmt_misc
804<http://en.wikipedia.org/wiki/binfmt_misc>`_
805module, and you have root access on the system, you can set your system up to
806execute LLVM bitcode files directly. To do this, use commands like this (the
807first command may not be required if you are already using the module):
808
809.. code-block:: console
810
811  % mount -t binfmt_misc none /proc/sys/fs/binfmt_misc
812  % echo ':llvm:M::BC::/path/to/lli:' > /proc/sys/fs/binfmt_misc/register
813  % chmod u+x hello.bc   (if needed)
814  % ./hello.bc
815
816This allows you to execute LLVM bitcode files directly.  On Debian, you can also
817use this command instead of the 'echo' command above:
818
819.. code-block:: console
820
821  % sudo update-binfmts --install llvm /path/to/lli --magic 'BC'
822
823.. _Program Layout:
824.. _general layout:
825
826Directory Layout
827================
828
829One useful source of information about the LLVM source base is the LLVM `doxygen
830<http://www.doxygen.org/>`_ documentation available at
831`<https://llvm.org/doxygen/>`_.  The following is a brief introduction to code
832layout:
833
834``llvm/examples``
835-----------------
836
837Simple examples using the LLVM IR and JIT.
838
839``llvm/include``
840----------------
841
842Public header files exported from the LLVM library. The three main subdirectories:
843
844``llvm/include/llvm``
845
846  All LLVM-specific header files, and  subdirectories for different portions of
847  LLVM: ``Analysis``, ``CodeGen``, ``Target``, ``Transforms``, etc...
848
849``llvm/include/llvm/Support``
850
851  Generic support libraries provided with LLVM but not necessarily specific to
852  LLVM. For example, some C++ STL utilities and a Command Line option processing
853  library store header files here.
854
855``llvm/include/llvm/Config``
856
857  Header files configured by ``cmake``.  They wrap "standard" UNIX and
858  C header files.  Source code can include these header files which
859  automatically take care of the conditional #includes that ``cmake``
860  generates.
861
862``llvm/lib``
863------------
864
865Most source files are here. By putting code in libraries, LLVM makes it easy to
866share code among the `tools`_.
867
868``llvm/lib/IR/``
869
870  Core LLVM source files that implement core classes like Instruction and
871  BasicBlock.
872
873``llvm/lib/AsmParser/``
874
875  Source code for the LLVM assembly language parser library.
876
877``llvm/lib/Bitcode/``
878
879  Code for reading and writing bitcode.
880
881``llvm/lib/Analysis/``
882
883  A variety of program analyses, such as Call Graphs, Induction Variables,
884  Natural Loop Identification, etc.
885
886``llvm/lib/Transforms/``
887
888  IR-to-IR program transformations, such as Aggressive Dead Code Elimination,
889  Sparse Conditional Constant Propagation, Inlining, Loop Invariant Code Motion,
890  Dead Global Elimination, and many others.
891
892``llvm/lib/Target/``
893
894  Files describing target architectures for code generation.  For example,
895  ``llvm/lib/Target/X86`` holds the X86 machine description.
896
897``llvm/lib/CodeGen/``
898
899  The major parts of the code generator: Instruction Selector, Instruction
900  Scheduling, and Register Allocation.
901
902``llvm/lib/MC/``
903
904  (FIXME: T.B.D.)  ....?
905
906``llvm/lib/ExecutionEngine/``
907
908  Libraries for directly executing bitcode at runtime in interpreted and
909  JIT-compiled scenarios.
910
911``llvm/lib/Support/``
912
913  Source code that corresponding to the header files in ``llvm/include/ADT/``
914  and ``llvm/include/Support/``.
915
916``llvm/projects``
917-----------------
918
919Projects not strictly part of LLVM but shipped with LLVM. This is also the
920directory for creating your own LLVM-based projects which leverage the LLVM
921build system.
922
923``llvm/test``
924-------------
925
926Feature and regression tests and other sanity checks on LLVM infrastructure. These
927are intended to run quickly and cover a lot of territory without being exhaustive.
928
929``test-suite``
930--------------
931
932A comprehensive correctness, performance, and benchmarking test suite
933for LLVM.  This comes in a ``separate git repository
934<https://github.com/llvm/llvm-test-suite>``, because it contains a
935large amount of third-party code under a variety of licenses. For
936details see the :doc:`Testing Guide <TestingGuide>` document.
937
938.. _tools:
939
940``llvm/tools``
941--------------
942
943Executables built out of the libraries
944above, which form the main part of the user interface.  You can always get help
945for a tool by typing ``tool_name -help``.  The following is a brief introduction
946to the most important tools.  More detailed information is in
947the `Command Guide <CommandGuide/index.html>`_.
948
949``bugpoint``
950
951  ``bugpoint`` is used to debug optimization passes or code generation backends
952  by narrowing down the given test case to the minimum number of passes and/or
953  instructions that still cause a problem, whether it is a crash or
954  miscompilation. See `<HowToSubmitABug.html>`_ for more information on using
955  ``bugpoint``.
956
957``llvm-ar``
958
959  The archiver produces an archive containing the given LLVM bitcode files,
960  optionally with an index for faster lookup.
961
962``llvm-as``
963
964  The assembler transforms the human readable LLVM assembly to LLVM bitcode.
965
966``llvm-dis``
967
968  The disassembler transforms the LLVM bitcode to human readable LLVM assembly.
969
970``llvm-link``
971
972  ``llvm-link``, not surprisingly, links multiple LLVM modules into a single
973  program.
974
975``lli``
976
977  ``lli`` is the LLVM interpreter, which can directly execute LLVM bitcode
978  (although very slowly...). For architectures that support it (currently x86,
979  Sparc, and PowerPC), by default, ``lli`` will function as a Just-In-Time
980  compiler (if the functionality was compiled in), and will execute the code
981  *much* faster than the interpreter.
982
983``llc``
984
985  ``llc`` is the LLVM backend compiler, which translates LLVM bitcode to a
986  native code assembly file.
987
988``opt``
989
990  ``opt`` reads LLVM bitcode, applies a series of LLVM to LLVM transformations
991  (which are specified on the command line), and outputs the resultant
992  bitcode.   '``opt -help``'  is a good way to get a list of the
993  program transformations available in LLVM.
994
995  ``opt`` can also  run a specific analysis on an input LLVM bitcode
996  file and print  the results.  Primarily useful for debugging
997  analyses, or familiarizing yourself with what an analysis does.
998
999``llvm/utils``
1000--------------
1001
1002Utilities for working with LLVM source code; some are part of the build process
1003because they are code generators for parts of the infrastructure.
1004
1005
1006``codegen-diff``
1007
1008  ``codegen-diff`` finds differences between code that LLC
1009  generates and code that LLI generates. This is useful if you are
1010  debugging one of them, assuming that the other generates correct output. For
1011  the full user manual, run ```perldoc codegen-diff'``.
1012
1013``emacs/``
1014
1015   Emacs and XEmacs syntax highlighting  for LLVM   assembly files and TableGen
1016   description files.  See the ``README`` for information on using them.
1017
1018``getsrcs.sh``
1019
1020  Finds and outputs all non-generated source files,
1021  useful if one wishes to do a lot of development across directories
1022  and does not want to find each file. One way to use it is to run,
1023  for example: ``xemacs `utils/getsources.sh``` from the top of the LLVM source
1024  tree.
1025
1026``llvmgrep``
1027
1028  Performs an ``egrep -H -n`` on each source file in LLVM and
1029  passes to it a regular expression provided on ``llvmgrep``'s command
1030  line. This is an efficient way of searching the source base for a
1031  particular regular expression.
1032
1033``TableGen/``
1034
1035  Contains the tool used to generate register
1036  descriptions, instruction set descriptions, and even assemblers from common
1037  TableGen description files.
1038
1039``vim/``
1040
1041  vim syntax-highlighting for LLVM assembly files
1042  and TableGen description files. See the    ``README`` for how to use them.
1043
1044.. _simple example:
1045
1046An Example Using the LLVM Tool Chain
1047====================================
1048
1049This section gives an example of using LLVM with the Clang front end.
1050
1051Example with clang
1052------------------
1053
1054#. First, create a simple C file, name it 'hello.c':
1055
1056   .. code-block:: c
1057
1058     #include <stdio.h>
1059
1060     int main() {
1061       printf("hello world\n");
1062       return 0;
1063     }
1064
1065#. Next, compile the C file into a native executable:
1066
1067   .. code-block:: console
1068
1069     % clang hello.c -o hello
1070
1071   .. note::
1072
1073     Clang works just like GCC by default.  The standard -S and -c arguments
1074     work as usual (producing a native .s or .o file, respectively).
1075
1076#. Next, compile the C file into an LLVM bitcode file:
1077
1078   .. code-block:: console
1079
1080     % clang -O3 -emit-llvm hello.c -c -o hello.bc
1081
1082   The -emit-llvm option can be used with the -S or -c options to emit an LLVM
1083   ``.ll`` or ``.bc`` file (respectively) for the code.  This allows you to use
1084   the `standard LLVM tools <CommandGuide/index.html>`_ on the bitcode file.
1085
1086#. Run the program in both forms. To run the program, use:
1087
1088   .. code-block:: console
1089
1090      % ./hello
1091
1092   and
1093
1094   .. code-block:: console
1095
1096     % lli hello.bc
1097
1098   The second examples shows how to invoke the LLVM JIT, :doc:`lli
1099   <CommandGuide/lli>`.
1100
1101#. Use the ``llvm-dis`` utility to take a look at the LLVM assembly code:
1102
1103   .. code-block:: console
1104
1105     % llvm-dis < hello.bc | less
1106
1107#. Compile the program to native assembly using the LLC code generator:
1108
1109   .. code-block:: console
1110
1111     % llc hello.bc -o hello.s
1112
1113#. Assemble the native assembly language file into a program:
1114
1115   .. code-block:: console
1116
1117     % /opt/SUNWspro/bin/cc -xarch=v9 hello.s -o hello.native   # On Solaris
1118
1119     % gcc hello.s -o hello.native                              # On others
1120
1121#. Execute the native code program:
1122
1123   .. code-block:: console
1124
1125     % ./hello.native
1126
1127   Note that using clang to compile directly to native code (i.e. when the
1128   ``-emit-llvm`` option is not present) does steps 6/7/8 for you.
1129
1130Common Problems
1131===============
1132
1133If you are having problems building or using LLVM, or if you have any other
1134general questions about LLVM, please consult the `Frequently Asked
1135Questions <FAQ.html>`_ page.
1136
1137If you are having problems with limited memory and build time, please try
1138building with ninja instead of make. Please consider configuring the
1139following options with cmake:
1140
1141 * -G Ninja
1142   Setting this option will allow you to build with ninja instead of make.
1143   Building with ninja significantly improves your build time, especially with
1144   incremental builds, and improves your memory usage.
1145
1146 * -DLLVM_USE_LINKER
1147   Setting this option to lld will significantly reduce linking time for LLVM
1148   executables on ELF-based platforms, such as Linux. If you are building LLVM
1149   for the first time and lld is not available to you as a binary package, then
1150   you may want to use the gold linker as a faster alternative to GNU ld.
1151
1152 * -DCMAKE_BUILD_TYPE
1153
1154    - Debug --- This is the default build type. This disables optimizations while
1155      compiling LLVM and enables debug info. On ELF-based platforms (e.g. Linux)
1156      linking with debug info may consume a large amount of memory.
1157
1158    - Release --- Turns on optimizations and disables debug info. Combining the
1159      Release build type with -DLLVM_ENABLE_ASSERTIONS=ON may be a good trade-off
1160      between speed and debugability during development, particularly for running
1161      the test suite.
1162
1163 * -DLLVM_ENABLE_ASSERTIONS
1164   This option defaults to ON for Debug builds and defaults to OFF for Release
1165   builds. As mentioned in the previous option, using the Release build type and
1166   enabling assertions may be a good alternative to using the Debug build type.
1167
1168 * -DLLVM_PARALLEL_LINK_JOBS
1169   Set this equal to number of jobs you wish to run simultaneously. This is
1170   similar to the -j option used with make, but only for link jobs. This option
1171   can only be used with ninja. You may wish to use a very low number of jobs,
1172   as this will greatly reduce the amount of memory used during the build
1173   process. If you have limited memory, you may wish to set this to 1.
1174
1175 * -DLLVM_TARGETS_TO_BUILD
1176   Set this equal to the target you wish to build. You may wish to set this to
1177   X86; however, you will find a full list of targets within the
1178   llvm-project/llvm/lib/Target directory.
1179
1180 * -DLLVM_OPTIMIZED_TABLEGEN
1181   Set this to ON to generate a fully optimized tablegen during your build. This
1182   will significantly improve your build time. This is only useful if you are
1183   using the Debug build type.
1184
1185 * -DLLVM_ENABLE_PROJECTS
1186   Set this equal to the projects you wish to compile (e.g. clang, lld, etc.) If
1187   compiling more than one project, separate the items with a semicolon. Should
1188   you run into issues with the semicolon, try surrounding it with single quotes.
1189
1190 * -DCLANG_ENABLE_STATIC_ANALYZER
1191   Set this option to OFF if you do not require the clang static analyzer. This
1192   should improve your build time slightly.
1193
1194 * -DLLVM_USE_SPLIT_DWARF
1195   Consider setting this to ON if you require a debug build, as this will ease
1196   memory pressure on the linker. This will make linking much faster, as the
1197   binaries will not contain any of the debug information; however, this will
1198   generate the debug information in the form of a DWARF object file (with the
1199   extension .dwo). This only applies to host platforms using ELF, such as Linux.
1200
1201.. _links:
1202
1203Links
1204=====
1205
1206This document is just an **introduction** on how to use LLVM to do some simple
1207things... there are many more interesting and complicated things that you can do
1208that aren't documented here (but we'll gladly accept a patch if you want to
1209write something up!).  For more information about LLVM, check out:
1210
1211* `LLVM Homepage <https://llvm.org/>`_
1212* `LLVM Doxygen Tree <https://llvm.org/doxygen/>`_
1213* `Starting a Project that Uses LLVM <https://llvm.org/docs/Projects.html>`_
1214
1215.. _installing arcanist: https://secure.phabricator.com/book/phabricator/article/arcanist_quick_start/
1216