1=====================
2LLVM Developer Policy
3=====================
4
5.. contents::
6   :local:
7
8Introduction
9============
10
11This document contains the LLVM Developer Policy which defines the project's
12policy towards developers and their contributions. The intent of this policy is
13to eliminate miscommunication, rework, and confusion that might arise from the
14distributed nature of LLVM's development.  By stating the policy in clear terms,
15we hope each developer can know ahead of time what to expect when making LLVM
16contributions.  This policy covers all llvm.org subprojects, including Clang,
17LLDB, libc++, etc.
18
19This policy is also designed to accomplish the following objectives:
20
21#. Attract both users and developers to the LLVM project.
22
23#. Make life as simple and easy for contributors as possible.
24
25#. Keep the top of tree as stable as possible.
26
27#. Establish awareness of the project's :ref:`copyright, license, and patent
28   policies <copyright-license-patents>` with contributors to the project.
29
30This policy is aimed at frequent contributors to LLVM. People interested in
31contributing one-off patches can do so in an informal way by sending them to the
32`llvm-commits mailing list
33<http://lists.llvm.org/mailman/listinfo/llvm-commits>`_ and engaging another
34developer to see it through the process.
35
36Developer Policies
37==================
38
39This section contains policies that pertain to frequent LLVM developers.  We
40always welcome `one-off patches`_ from people who do not routinely contribute to
41LLVM, but we expect more from frequent contributors to keep the system as
42efficient as possible for everyone.  Frequent LLVM contributors are expected to
43meet the following requirements in order for LLVM to maintain a high standard of
44quality.
45
46Stay Informed
47-------------
48
49Developers should stay informed by reading at least the "dev" mailing list for
50the projects you are interested in, such as `llvm-dev
51<http://lists.llvm.org/mailman/listinfo/llvm-dev>`_ for LLVM, `cfe-dev
52<http://lists.llvm.org/mailman/listinfo/cfe-dev>`_ for Clang, or `lldb-dev
53<http://lists.llvm.org/mailman/listinfo/lldb-dev>`_ for LLDB.  If you are
54doing anything more than just casual work on LLVM, it is suggested that you also
55subscribe to the "commits" mailing list for the subproject you're interested in,
56such as `llvm-commits
57<http://lists.llvm.org/mailman/listinfo/llvm-commits>`_, `cfe-commits
58<http://lists.llvm.org/mailman/listinfo/cfe-commits>`_, or `lldb-commits
59<http://lists.llvm.org/mailman/listinfo/lldb-commits>`_.  Reading the
60"commits" list and paying attention to changes being made by others is a good
61way to see what other people are interested in and watching the flow of the
62project as a whole.
63
64We recommend that active developers register an email account with `LLVM
65Bugzilla <https://bugs.llvm.org/>`_ and preferably subscribe to the `llvm-bugs
66<http://lists.llvm.org/mailman/listinfo/llvm-bugs>`_ email list to keep track
67of bugs and enhancements occurring in LLVM.  We really appreciate people who are
68proactive at catching incoming bugs in their components and dealing with them
69promptly.
70
71Please be aware that all public LLVM mailing lists are public and archived, and
72that notices of confidentiality or non-disclosure cannot be respected.
73
74.. _patch:
75.. _one-off patches:
76
77Making and Submitting a Patch
78-----------------------------
79
80When making a patch for review, the goal is to make it as easy for the reviewer
81to read it as possible.  As such, we recommend that you:
82
83#. Make your patch against git master, not a branch, and not an old version
84   of LLVM.  This makes it easy to apply the patch.  For information on how to
85   clone from git, please see the :ref:`Getting Started Guide
86   <checkout>`.
87
88#. Similarly, patches should be submitted soon after they are generated.  Old
89   patches may not apply correctly if the underlying code changes between the
90   time the patch was created and the time it is applied.
91
92#. Patches should be made with ``git format-patch``, or similar. If you use a
93   different tool, make sure it uses the ``diff -u`` format and that it
94   doesn't contain clutter which makes it hard to read.
95
96Once your patch is ready, submit it by emailing it to the appropriate project's
97commit mailing list (or commit it directly if applicable). Alternatively, some
98patches get sent to the project's development list or component of the LLVM bug
99tracker, but the commit list is the primary place for reviews and should
100generally be preferred.
101
102When sending a patch to a mailing list, it is a good idea to send it as an
103*attachment* to the message, not embedded into the text of the message.  This
104ensures that your mailer will not mangle the patch when it sends it (e.g. by
105making whitespace changes or by wrapping lines).
106
107*For Thunderbird users:* Before submitting a patch, please open *Preferences >
108Advanced > General > Config Editor*, find the key
109``mail.content_disposition_type``, and set its value to ``1``. Without this
110setting, Thunderbird sends your attachment using ``Content-Disposition: inline``
111rather than ``Content-Disposition: attachment``. Apple Mail gamely displays such
112a file inline, making it difficult to work with for reviewers using that
113program.
114
115When submitting patches, please do not add confidentiality or non-disclosure
116notices to the patches themselves.  These notices conflict with the LLVM
117licensing terms and may result in your contribution being excluded.
118
119.. _code review:
120
121Code Reviews
122------------
123
124LLVM has a code review policy. Code review is one way to increase the quality of
125software. We generally follow these policies:
126
127#. All developers are required to have significant changes reviewed before they
128   are committed to the repository.
129
130#. Code reviews are conducted by email on the relevant project's commit mailing
131   list, or alternatively on the project's development list or bug tracker.
132
133#. Code can be reviewed either before it is committed or after.  We expect major
134   changes to be reviewed before being committed, but smaller changes (or
135   changes where the developer owns the component) can be reviewed after commit.
136
137#. The developer responsible for a code change is also responsible for making
138   all necessary review-related changes.
139
140#. Code review can be an iterative process, which continues until the patch is
141   ready to be committed. Specifically, once a patch is sent out for review, it
142   needs an explicit "looks good" before it is submitted. Do not assume silent
143   approval, or request active objections to the patch with a deadline.
144
145Sometimes code reviews will take longer than you would hope for, especially for
146larger features. Accepted ways to speed up review times for your patches are:
147
148* Review other people's patches. If you help out, everybody will be more
149  willing to do the same for you; goodwill is our currency.
150* Ping the patch. If it is urgent, provide reasons why it is important to you to
151  get this patch landed and ping it every couple of days. If it is
152  not urgent, the common courtesy ping rate is one week. Remember that you're
153  asking for valuable time from other professional developers.
154* Ask for help on IRC. Developers on IRC will be able to either help you
155  directly, or tell you who might be a good reviewer.
156* Split your patch into multiple smaller patches that build on each other. The
157  smaller your patch, the higher the probability that somebody will take a quick
158  look at it.
159
160Developers should participate in code reviews as both reviewers and
161reviewees. If someone is kind enough to review your code, you should return the
162favor for someone else.  Note that anyone is welcome to review and give feedback
163on a patch, but only people with Subversion write access can approve it.
164
165There is a web based code review tool that can optionally be used
166for code reviews. See :doc:`Phabricator`.
167
168.. _code owners:
169
170Code Owners
171-----------
172
173The LLVM Project relies on two features of its process to maintain rapid
174development in addition to the high quality of its source base: the combination
175of code review plus post-commit review for trusted maintainers.  Having both is
176a great way for the project to take advantage of the fact that most people do
177the right thing most of the time, and only commit patches without pre-commit
178review when they are confident they are right.
179
180The trick to this is that the project has to guarantee that all patches that are
181committed are reviewed after they go in: you don't want everyone to assume
182someone else will review it, allowing the patch to go unreviewed.  To solve this
183problem, we have a notion of an 'owner' for a piece of the code.  The sole
184responsibility of a code owner is to ensure that a commit to their area of the
185code is appropriately reviewed, either by themself or by someone else.  The list
186of current code owners can be found in the file `CODE_OWNERS.TXT
187<https://github.com/llvm/llvm-project/blob/master/llvm/CODE_OWNERS.TXT>`_ in the
188root of the LLVM source tree.
189
190Note that code ownership is completely different than reviewers: anyone can
191review a piece of code, and we welcome code review from anyone who is
192interested.  Code owners are the "last line of defense" to guarantee that all
193patches that are committed are actually reviewed.
194
195Being a code owner is a somewhat unglamorous position, but it is incredibly
196important for the ongoing success of the project.  Because people get busy,
197interests change, and unexpected things happen, code ownership is purely opt-in,
198and anyone can choose to resign their "title" at any time. For now, we do not
199have an official policy on how one gets elected to be a code owner.
200
201.. _include a testcase:
202
203Test Cases
204----------
205
206Developers are required to create test cases for any bugs fixed and any new
207features added.  Some tips for getting your testcase approved:
208
209* All feature and regression test cases are added to the ``llvm/test``
210  directory. The appropriate sub-directory should be selected (see the
211  :doc:`Testing Guide <TestingGuide>` for details).
212
213* Test cases should be written in :doc:`LLVM assembly language <LangRef>`.
214
215* Test cases, especially for regressions, should be reduced as much as possible,
216  by :doc:`bugpoint <Bugpoint>` or manually. It is unacceptable to place an
217  entire failing program into ``llvm/test`` as this creates a *time-to-test*
218  burden on all developers. Please keep them short.
219
220Note that llvm/test and clang/test are designed for regression and small feature
221tests only. More extensive test cases (e.g., entire applications, benchmarks,
222etc) should be added to the ``llvm-test`` test suite.  The llvm-test suite is
223for coverage (correctness, performance, etc) testing, not feature or regression
224testing.
225
226Quality
227-------
228
229The minimum quality standards that any change must satisfy before being
230committed to the main development branch are:
231
232#. Code must adhere to the `LLVM Coding Standards <CodingStandards.html>`_.
233
234#. Code must compile cleanly (no errors, no warnings) on at least one platform.
235
236#. Bug fixes and new features should `include a testcase`_ so we know if the
237   fix/feature ever regresses in the future.
238
239#. Code must pass the ``llvm/test`` test suite.
240
241#. The code must not cause regressions on a reasonable subset of llvm-test,
242   where "reasonable" depends on the contributor's judgement and the scope of
243   the change (more invasive changes require more testing). A reasonable subset
244   might be something like "``llvm-test/MultiSource/Benchmarks``".
245
246Additionally, the committer is responsible for addressing any problems found in
247the future that the change is responsible for.  For example:
248
249* The code should compile cleanly on all supported platforms.
250
251* The changes should not cause any correctness regressions in the ``llvm-test``
252  suite and must not cause any major performance regressions.
253
254* The change set should not cause performance or correctness regressions for the
255  LLVM tools.
256
257* The changes should not cause performance or correctness regressions in code
258  compiled by LLVM on all applicable targets.
259
260* You are expected to address any `Bugzilla bugs <https://bugs.llvm.org/>`_ that
261  result from your change.
262
263We prefer for this to be handled before submission but understand that it isn't
264possible to test all of this for every submission.  Our build bots and nightly
265testing infrastructure normally finds these problems.  A good rule of thumb is
266to check the nightly testers for regressions the day after your change.  Build
267bots will directly email you if a group of commits that included yours caused a
268failure.  You are expected to check the build bot messages to see if they are
269your fault and, if so, fix the breakage.
270
271Commits that violate these quality standards (e.g. are very broken) may be
272reverted. This is necessary when the change blocks other developers from making
273progress. The developer is welcome to re-commit the change after the problem has
274been fixed.
275
276.. _commit messages:
277
278Commit messages
279---------------
280
281Although we don't enforce the format of commit messages, we prefer that
282you follow these guidelines to help review, search in logs, email formatting
283and so on. These guidelines are very similar to rules used by other open source
284projects.
285
286Most importantly, the contents of the message should be carefully written to
287convey the rationale of the change (without delving too much in detail). It
288also should avoid being vague or overly specific. For example, "bits were not
289set right" will leave the reviewer wondering about which bits, and why they
290weren't right, while "Correctly set overflow bits in TargetInfo" conveys almost
291all there is to the change.
292
293Below are some guidelines about the format of the message itself:
294
295* Separate the commit message into title, body and, if you're not the original
296  author, a "Patch by" attribution line (see below).
297
298* The title should be concise. Because all commits are emailed to the list with
299  the first line as the subject, long titles are frowned upon.  Short titles
300  also look better in `git log`.
301
302* When the changes are restricted to a specific part of the code (e.g. a
303  back-end or optimization pass), it is customary to add a tag to the
304  beginning of the line in square brackets.  For example, "[SCEV] ..."
305  or "[OpenMP] ...". This helps email filters and searches for post-commit
306  reviews.
307
308* The body, if it exists, should be separated from the title by an empty line.
309
310* The body should be concise, but explanatory, including a complete
311  reasoning.  Unless it is required to understand the change, examples,
312  code snippets and gory details should be left to bug comments, web
313  review or the mailing list.
314
315* If the patch fixes a bug in bugzilla, please include the PR# in the message.
316
317* `Attribution of Changes`_ should be in a separate line, after the end of
318  the body, as simple as "Patch by John Doe.". This is how we officially
319  handle attribution, and there are automated processes that rely on this
320  format.
321
322* Text formatting and spelling should follow the same rules as documentation
323  and in-code comments, ex. capitalization, full stop, etc.
324
325* If the commit is a bug fix on top of another recently committed patch, or a
326  revert or reapply of a patch, include the svn revision number of the prior
327  related commit. This could be as simple as "Revert rNNNN because it caused
328  PR#".
329
330For minor violations of these recommendations, the community normally favors
331reminding the contributor of this policy over reverting. Minor corrections and
332omissions can be handled by sending a reply to the commits mailing list.
333
334Obtaining Commit Access
335-----------------------
336
337We grant commit access to contributors with a track record of submitting high
338quality patches.  If you would like commit access, please send an email to
339`Chris <mailto:[email protected]>`_ with the following information:
340
341#. The user name you want to commit with, e.g. "hacker".
342
343#. The full name and email address you want message to llvm-commits to come
344   from, e.g. "J. Random Hacker <[email protected]>".
345
346#. A "password hash" of the password you want to use, e.g. "``2ACR96qjUqsyM``".
347   Note that you don't ever tell us what your password is; you just give it to
348   us in an encrypted form.  To get this, run "``htpasswd``" (a utility that
349   comes with apache) in *crypt* mode (often enabled with "``-d``"), or find a web
350   page that will do it for you.  Note that our system does not work with MD5
351   hashes.  These are significantly longer than a crypt hash - e.g.
352   "``$apr1$vea6bBV2$Z8IFx.AfeD8LhqlZFqJer0``", we only accept the shorter crypt hash.
353
354Once you've been granted commit access, you should be able to check out an LLVM
355tree with an SVN URL of "https://[email protected]/..." instead of the normal
356anonymous URL of "http://llvm.org/...".  The first time you commit you'll have
357to type in your password.  Note that you may get a warning from SVN about an
358untrusted key; you can ignore this.  To verify that your commit access works,
359please do a test commit (e.g. change a comment or add a blank line).  Your first
360commit to a repository may require the autogenerated email to be approved by a
361moderator of the mailing list.
362This is normal and will be done when the mailing list owner has time.
363
364If you have recently been granted commit access, these policies apply:
365
366#. You are granted *commit-after-approval* to all parts of LLVM.  To get
367   approval, submit a `patch`_ to `llvm-commits
368   <http://lists.llvm.org/mailman/listinfo/llvm-commits>`_. When approved,
369   you may commit it yourself.
370
371#. You are allowed to commit patches without approval which you think are
372   obvious. This is clearly a subjective decision --- we simply expect you to
373   use good judgement.  Examples include: fixing build breakage, reverting
374   obviously broken patches, documentation/comment changes, any other minor
375   changes. Avoid committing formatting- or whitespace-only changes outside of
376   code you plan to make subsequent changes to. Also, try to separate
377   formatting or whitespace changes from functional changes, either by
378   correcting the format first (ideally) or afterward. Such changes should be
379   highly localized and the commit message should clearly state that the commit
380   is not intended to change functionality, usually by stating it is
381   :ref:`NFC <nfc>`.
382
383#. You are allowed to commit patches without approval to those portions of LLVM
384   that you have contributed or maintain (i.e., have been assigned
385   responsibility for), with the proviso that such commits must not break the
386   build.  This is a "trust but verify" policy, and commits of this nature are
387   reviewed after they are committed.
388
389#. Multiple violations of these policies or a single egregious violation may
390   cause commit access to be revoked.
391
392In any case, your changes are still subject to `code review`_ (either before or
393after they are committed, depending on the nature of the change).  You are
394encouraged to review other peoples' patches as well, but you aren't required
395to do so.
396
397.. _discuss the change/gather consensus:
398
399Obtaining Commit Access to the GitHub Repository
400------------------------------------------------
401We are currently in the process of migrating the project's source code from SVN
402to a git repository on GitHub.  We are maintaining a file in SVN to map
403SVN usernames to GitHub usernames, so we can automatically grant access to
404existing committers when we complete the migration to GitHub.  In order to
405request commit access, check out the github-usernames.txt file in meta/trunk and
406add a line in the form of $SVN_USERNAME:$GITHUB_USERNAME and commit it.  For
407example:
408
409.. code:: console
410
411  mkdir tmp-llvm-svn
412  cd tmp-llvm-svn
413  svn co https://[email protected]/svn/llvm-project/meta/trunk
414  echo "$SVN_USERNAME:$GITHUB_USERNAME" >> trunk/github-usernames.txt
415  cd trunk
416  svn commit -m "Request commit access for $SVN_USERNAME"
417
418
419Making a Major Change
420---------------------
421
422When a developer begins a major new project with the aim of contributing it back
423to LLVM, they should inform the community with an email to the `llvm-dev
424<http://lists.llvm.org/mailman/listinfo/llvm-dev>`_ email list, to the extent
425possible. The reason for this is to:
426
427#. keep the community informed about future changes to LLVM,
428
429#. avoid duplication of effort by preventing multiple parties working on the
430   same thing and not knowing about it, and
431
432#. ensure that any technical issues around the proposed work are discussed and
433   resolved before any significant work is done.
434
435The design of LLVM is carefully controlled to ensure that all the pieces fit
436together well and are as consistent as possible. If you plan to make a major
437change to the way LLVM works or want to add a major new extension, it is a good
438idea to get consensus with the development community before you start working on
439it.
440
441Once the design of the new feature is finalized, the work itself should be done
442as a series of `incremental changes`_, not as a long-term development branch.
443
444.. _incremental changes:
445
446Incremental Development
447-----------------------
448
449In the LLVM project, we do all significant changes as a series of incremental
450patches.  We have a strong dislike for huge changes or long-term development
451branches.  Long-term development branches have a number of drawbacks:
452
453#. Branches must have mainline merged into them periodically.  If the branch
454   development and mainline development occur in the same pieces of code,
455   resolving merge conflicts can take a lot of time.
456
457#. Other people in the community tend to ignore work on branches.
458
459#. Huge changes (produced when a branch is merged back onto mainline) are
460   extremely difficult to `code review`_.
461
462#. Branches are not routinely tested by our nightly tester infrastructure.
463
464#. Changes developed as monolithic large changes often don't work until the
465   entire set of changes is done.  Breaking it down into a set of smaller
466   changes increases the odds that any of the work will be committed to the main
467   repository.
468
469To address these problems, LLVM uses an incremental development style and we
470require contributors to follow this practice when making a large/invasive
471change.  Some tips:
472
473* Large/invasive changes usually have a number of secondary changes that are
474  required before the big change can be made (e.g. API cleanup, etc).  These
475  sorts of changes can often be done before the major change is done,
476  independently of that work.
477
478* The remaining inter-related work should be decomposed into unrelated sets of
479  changes if possible.  Once this is done, define the first increment and get
480  consensus on what the end goal of the change is.
481
482* Each change in the set can be stand alone (e.g. to fix a bug), or part of a
483  planned series of changes that works towards the development goal.
484
485* Each change should be kept as small as possible. This simplifies your work
486  (into a logical progression), simplifies code review and reduces the chance
487  that you will get negative feedback on the change. Small increments also
488  facilitate the maintenance of a high quality code base.
489
490* Often, an independent precursor to a big change is to add a new API and slowly
491  migrate clients to use the new API.  Each change to use the new API is often
492  "obvious" and can be committed without review.  Once the new API is in place
493  and used, it is much easier to replace the underlying implementation of the
494  API.  This implementation change is logically separate from the API
495  change.
496
497If you are interested in making a large change, and this scares you, please make
498sure to first `discuss the change/gather consensus`_ then ask about the best way
499to go about making the change.
500
501Attribution of Changes
502----------------------
503
504When contributors submit a patch to an LLVM project, other developers with
505commit access may commit it for the author once appropriate (based on the
506progression of code review, etc.). When doing so, it is important to retain
507correct attribution of contributions to their contributors. However, we do not
508want the source code to be littered with random attributions "this code written
509by J. Random Hacker" (this is noisy and distracting). In practice, the revision
510control system keeps a perfect history of who changed what, and the CREDITS.txt
511file describes higher-level contributions. If you commit a patch for someone
512else, please follow the attribution of changes in the simple manner as outlined
513by the `commit messages`_ section. Overall, please do not add contributor names
514to the source code.
515
516Also, don't commit patches authored by others unless they have submitted the
517patch to the project or you have been authorized to submit them on their behalf
518(you work together and your company authorized you to contribute the patches,
519etc.). The author should first submit them to the relevant project's commit
520list, development list, or LLVM bug tracker component. If someone sends you
521a patch privately, encourage them to submit it to the appropriate list first.
522
523
524.. _IR backwards compatibility:
525
526IR Backwards Compatibility
527--------------------------
528
529When the IR format has to be changed, keep in mind that we try to maintain some
530backwards compatibility. The rules are intended as a balance between convenience
531for llvm users and not imposing a big burden on llvm developers:
532
533* The textual format is not backwards compatible. We don't change it too often,
534  but there are no specific promises.
535
536* Additions and changes to the IR should be reflected in
537  ``test/Bitcode/compatibility.ll``.
538
539* The current LLVM version supports loading any bitcode since version 3.0.
540
541* After each X.Y release, ``compatibility.ll`` must be copied to
542  ``compatibility-X.Y.ll``. The corresponding bitcode file should be assembled
543  using the X.Y build and committed as ``compatibility-X.Y.ll.bc``.
544
545* Newer releases can ignore features from older releases, but they cannot
546  miscompile them. For example, if nsw is ever replaced with something else,
547  dropping it would be a valid way to upgrade the IR.
548
549* Debug metadata is special in that it is currently dropped during upgrades.
550
551* Non-debug metadata is defined to be safe to drop, so a valid way to upgrade
552  it is to drop it. That is not very user friendly and a bit more effort is
553  expected, but no promises are made.
554
555C API Changes
556----------------
557
558* Stability Guarantees: The C API is, in general, a "best effort" for stability.
559  This means that we make every attempt to keep the C API stable, but that
560  stability will be limited by the abstractness of the interface and the
561  stability of the C++ API that it wraps. In practice, this means that things
562  like "create debug info" or "create this type of instruction" are likely to be
563  less stable than "take this IR file and JIT it for my current machine".
564
565* Release stability: We won't break the C API on the release branch with patches
566  that go on that branch, with the exception that we will fix an unintentional
567  C API break that will keep the release consistent with both the previous and
568  next release.
569
570* Testing: Patches to the C API are expected to come with tests just like any
571  other patch.
572
573* Including new things into the API: If an LLVM subcomponent has a C API already
574  included, then expanding that C API is acceptable. Adding C API for
575  subcomponents that don't currently have one needs to be discussed on the
576  mailing list for design and maintainability feedback prior to implementation.
577
578* Documentation: Any changes to the C API are required to be documented in the
579  release notes so that it's clear to external users who do not follow the
580  project how the C API is changing and evolving.
581
582New Targets
583-----------
584
585LLVM is very receptive to new targets, even experimental ones, but a number of
586problems can appear when adding new large portions of code, and back-ends are
587normally added in bulk.  We have found that landing large pieces of new code
588and then trying to fix emergent problems in-tree is problematic for a variety
589of reasons.
590
591For these reasons, new targets are *always* added as *experimental* until
592they can be proven stable, and later moved to non-experimental. The difference
593between both classes is that experimental targets are not built by default
594(need to be added to -DLLVM_TARGETS_TO_BUILD at CMake time).
595
596The basic rules for a back-end to be upstreamed in **experimental** mode are:
597
598* Every target must have a :ref:`code owner<code owners>`. The `CODE_OWNERS.TXT`
599  file has to be updated as part of the first merge. The code owner makes sure
600  that changes to the target get reviewed and steers the overall effort.
601
602* There must be an active community behind the target. This community
603  will help maintain the target by providing buildbots, fixing
604  bugs, answering the LLVM community's questions and making sure the new
605  target doesn't break any of the other targets, or generic code. This
606  behavior is expected to continue throughout the lifetime of the
607  target's code.
608
609* The code must be free of contentious issues, for example, large
610  changes in how the IR behaves or should be formed by the front-ends,
611  unless agreed by the majority of the community via refactoring of the
612  (:doc:`IR standard<LangRef>`) **before** the merge of the new target changes,
613  following the :ref:`IR backwards compatibility`.
614
615* The code conforms to all of the policies laid out in this developer policy
616  document, including license, patent, and coding standards.
617
618* The target should have either reasonable documentation on how it
619  works (ISA, ABI, etc.) or a publicly available simulator/hardware
620  (either free or cheap enough) - preferably both.  This allows
621  developers to validate assumptions, understand constraints and review code
622  that can affect the target.
623
624In addition, the rules for a back-end to be promoted to **official** are:
625
626* The target must have addressed every other minimum requirement and
627  have been stable in tree for at least 3 months. This cool down
628  period is to make sure that the back-end and the target community can
629  endure continuous upstream development for the foreseeable future.
630
631* The target's code must have been completely adapted to this policy
632  as well as the :doc:`coding standards<CodingStandards>`. Any exceptions that
633  were made to move into experimental mode must have been fixed **before**
634  becoming official.
635
636* The test coverage needs to be broad and well written (small tests,
637  well documented). The build target ``check-all`` must pass with the
638  new target built, and where applicable, the ``test-suite`` must also
639  pass without errors, in at least one configuration (publicly
640  demonstrated, for example, via buildbots).
641
642* Public buildbots need to be created and actively maintained, unless
643  the target requires no additional buildbots (ex. ``check-all`` covers
644  all tests). The more relevant and public the new target's CI infrastructure
645  is, the more the LLVM community will embrace it.
646
647To **continue** as a supported and official target:
648
649* The maintainer(s) must continue following these rules throughout the lifetime
650  of the target. Continuous violations of aforementioned rules and policies
651  could lead to complete removal of the target from the code base.
652
653* Degradation in support, documentation or test coverage will make the target as
654  nuisance to other targets and be considered a candidate for deprecation and
655  ultimately removed.
656
657In essences, these rules are necessary for targets to gain and retain their
658status, but also markers to define bit-rot, and will be used to clean up the
659tree from unmaintained targets.
660
661.. _toolchain:
662
663Updating Toolchain Requirements
664-------------------------------
665
666We intend to require newer toolchains as time goes by. This means LLVM's
667codebase can use newer versions of C++ as they get standardized. Requiring newer
668toolchains to build LLVM can be painful for those building LLVM; therefore, it
669will only be done through the following process:
670
671  * Generally, try to support LLVM and GCC versions from the last 3 years at a
672    minimum. This time-based guideline is not strict: we may support much older
673    compilers, or decide to support fewer versions.
674
675  * An RFC is sent to the `llvm-dev mailing list <http://lists.llvm.org/mailman/listinfo/llvm-dev>`_
676
677    - Detail upsides of the version increase (e.g. which newer C++ language or
678      library features LLVM should use; avoid miscompiles in particular compiler
679      versions, etc).
680    - Detail downsides on important platforms (e.g. Ubuntu LTS status).
681
682  * Once the RFC reaches consensus, update the CMake toolchain version checks as
683    well as the :doc:`getting started<GettingStarted>` guide. We want to
684    soft-error when developers compile LLVM. We say "soft-error" because the
685    error can be turned into a warning using a CMake flag. This is an important
686    step: LLVM still doesn't have code which requires the new toolchains, but it
687    soon will. If you compile LLVM but don't read the mailing list, we should
688    tell you!
689
690  * Ensure that at least one LLVM release has had this soft-error. Not all
691    developers compile LLVM top-of-tree. These release-bound developers should
692    also be told about upcoming changes.
693
694  * Turn the soft-error into a hard-error after said LLVM release has branched.
695
696  * Update the :doc:`coding standards<CodingStandards>` to allow the new
697    features we've explicitly approved in the RFC.
698
699  * Start using the new features in LLVM's codebase.
700
701Here's a `sample RFC
702<http://lists.llvm.org/pipermail/llvm-dev/2019-January/129452.html>`_ and the
703`corresponding change <https://reviews.llvm.org/D57264>`_.
704
705.. _copyright-license-patents:
706
707Copyright, License, and Patents
708===============================
709
710.. note::
711
712   This section deals with legal matters but does not provide legal advice.  We
713   are not lawyers --- please seek legal counsel from a licensed attorney.
714
715This section addresses the issues of copyright, license and patents for the LLVM
716project.  The copyright for the code is held by the contributors of
717the code.  The code is licensed under permissive `open source licensing terms`_,
718namely the Apache 2 license, which includes a copyright and `patent license`_.
719When you contribute code to the LLVM project, you license it under these terms.
720
721If you have questions or comments about these topics, please contact the
722`LLVM Developer's Mailing List <mailto:[email protected]>`_.  However,
723please realize that most compiler developers are not lawyers, and therefore you
724will not be getting official legal advice.
725
726Copyright
727---------
728
729The LLVM project does not collect copyright assignments, which means that the
730copyright for the code in the project is held by the respective contributors.
731Because you (or your company)
732retain ownership of the code you contribute, you know it may only be used under
733the terms of the open source license you contributed it under: the license for
734your contributions cannot be changed in the future without your approval.
735
736Because the LLVM project does not require copyright assignments, changing the
737LLVM license requires tracking down the
738contributors to LLVM and getting them to agree that a license change is
739acceptable for their contributions.  We feel that a high burden for relicensing
740is good for the project, because contributors do not have to fear that their
741code will be used in a way with which they disagree.
742
743Relicensing
744-----------
745
746The last paragraph notwithstanding, the LLVM Project is in the middle of a large
747effort to change licenses, which aims to solve several problems:
748
749* The old licenses made it difficult to move code from (e.g.) the compiler to
750  runtime libraries, because runtime libraries used a different license from the
751  rest of the compiler.
752* Some contributions were not submitted to LLVM due to concerns that
753  the patent grant required by the project was overly broad.
754* The patent grant was unique to the LLVM Project, not written by a lawyer, and
755  was difficult to determine what protection was provided (if any).
756
757The scope of relicensing is all code that is considered part of the LLVM
758project, including the main LLVM repository, runtime libraries (compiler_rt,
759OpenMP, etc), Polly, and all other subprojects.  There are a few exceptions:
760
761* Code imported from other projects (e.g. Google Test, Autoconf, etc) will
762  remain as it is.  This code isn't developed as part of the LLVM project, it
763  is used by LLVM.
764* Some subprojects are impractical or uninteresting to relicense (e.g. llvm-gcc
765  and dragonegg). These will be split off from the LLVM project (e.g. to
766  separate Github projects), allowing interested people to continue their
767  development elsewhere.
768
769To relicense LLVM, we will be seeking approval from all of the copyright holders
770of code in the repository, or potentially remove/rewrite code if we cannot.
771This is a large
772and challenging project which will take a significant amount of time to
773complete.  In the interim, **all contributions to the project will be made under
774the terms of both the new license and the legacy license scheme** (each of which
775is described below).  The exception to this is the legacy patent grant, which
776will not be required for new contributions.
777
778When all of the code in the project has been converted to the new license or
779removed, we will drop the requirement to contribute under the legacy license.
780This will achieve the goal of having
781a single standardized license for the entire codebase.
782
783If you are a prior contributor to LLVM and have not done so already, please do
784*TODO* to allow us to use your code. *Add a link to a separate page here, which
785is probably a click through web form or something like that.  Details to be
786determined later*.
787
788
789.. _open source licensing terms:
790
791New LLVM Project License Framework
792----------------------------------
793
794Contributions to LLVM are licensed under the `Apache License, Version 2.0
795<https://www.apache.org/licenses/LICENSE-2.0>`_, with two limited
796exceptions intended to ensure that LLVM is very permissively licensed.
797Collectively, the name of this license is "Apache 2.0 License with LLVM
798exceptions".  The exceptions read:
799
800::
801
802   ---- LLVM Exceptions to the Apache 2.0 License ----
803
804   As an exception, if, as a result of your compiling your source code, portions
805   of this Software are embedded into an Object form of such source code, you
806   may redistribute such embedded portions in such Object form without complying
807   with the conditions of Sections 4(a), 4(b) and 4(d) of the License.
808
809   In addition, if you combine or link compiled forms of this Software with
810   software that is licensed under the GPLv2 ("Combined Software") and if a
811   court of competent jurisdiction determines that the patent provision (Section
812   3), the indemnity provision (Section 9) or other Section of the License
813   conflicts with the conditions of the GPLv2, you may retroactively and
814   prospectively choose to deem waived or otherwise exclude such Section(s) of
815   the License, but only in their entirety and only with respect to the Combined
816   Software.
817
818
819We intend to keep LLVM perpetually open source and available under a permissive
820license - this fosters the widest adoption of LLVM by
821**allowing commercial products to be derived from LLVM** with few restrictions
822and without a requirement for making any derived works also open source.  In
823particular, LLVM's license is not a "copyleft" license like the GPL.
824
825The "Apache 2.0 License with LLVM exceptions" allows you to:
826
827* freely download and use LLVM (in whole or in part) for personal, internal, or
828  commercial purposes.
829* include LLVM in packages or distributions you create.
830* combine LLVM with code licensed under every other major open source
831  license (including BSD, MIT, GPLv2, GPLv3...).
832* make changes to LLVM code without being required to contribute it back
833  to the project - contributions are appreciated though!
834
835However, it imposes these limitations on you:
836
837* You must retain the copyright notice if you redistribute LLVM: You cannot
838  strip the copyright headers off or replace them with your own.
839* Binaries that include LLVM must reproduce the copyright notice (e.g. in an
840  included README file or in an "About" box), unless the LLVM code was added as
841  a by-product of compilation.  For example, if an LLVM runtime library like
842  compiler_rt or libc++ was automatically included into your application by the
843  compiler, you do not need to attribute it.
844* You can't use our names to promote your products (LLVM derived or not) -
845  though you can make truthful statements about your use of the LLVM code,
846  without implying our sponsorship.
847* There's no warranty on LLVM at all.
848
849We want LLVM code to be widely used, and believe that this provides a model that
850is great for contributors and users of the project.  For more information about
851the Apache 2.0 License, please see the `Apache License FAQ
852<http://www.apache.org/foundation/license-faq.html>`_, maintained by the
853Apache Project.
854
855
856.. note::
857
858   The LLVM Project includes some really old subprojects (dragonegg,
859   llvm-gcc-4.0, and llvm-gcc-4.2), which are licensed under **GPL
860   licenses**.  This code is not actively maintained - it does not even
861   build successfully.  This code is cleanly separated into distinct SVN
862   repositories from the rest of LLVM, and the LICENSE.txt files specifically
863   indicate that they contain GPL code.  When LLVM transitions from SVN to Git,
864   we plan to drop these code bases from the new repository structure.
865
866
867.. _patent license:
868
869Patents
870-------
871
872Section 3 of the Apache 2.0 license is a patent grant under which
873contributors of code to the project contribute the rights to use any of
874their patents that would otherwise be infringed by that code contribution
875(protecting uses of that code).  Further, the patent grant is revoked
876from anyone who files a patent lawsuit about code in LLVM - this protects the
877community by providing a "patent commons" for the code base and reducing the
878odds of patent lawsuits in general.
879
880The license specifically scopes which patents are included with code
881contributions.  To help explain this, the `Apache License FAQ
882<http://www.apache.org/foundation/license-faq.html>`_ explains this scope using
883some questions and answers, which we reproduce here for your convenience (for
884reference, the "ASF" is the Apache Software Foundation, the guidance still
885holds though)::
886
887   Q1: If I own a patent and contribute to a Work, and, at the time my
888   contribution is included in that Work, none of my patent's claims are subject
889   to Apache's Grant of Patent License, is there a way any of those claims would
890   later become subject to the Grant of Patent License solely due to subsequent
891   contributions by other parties who are not licensees of that patent.
892
893   A1: No.
894
895   Q2: If at any time after my contribution, I am able to license other patent
896   claims that would have been subject to Apache's Grant of Patent License if
897   they were licenseable by me at the time of my contribution, do those other
898   claims become subject to the Grant of Patent License?
899
900   A2: Yes.
901
902   Q3: If I own or control a licensable patent and contribute code to a specific
903   Apache product, which of my patent claims are subject to Apache's Grant of
904   Patent License?
905
906   A3:  The only patent claims that are licensed to the ASF are those you own or
907   have the right to license that read on your contribution or on the
908   combination of your contribution with the specific Apache product to which
909   you contributed as it existed at the time of your contribution. No additional
910   patent claims become licensed as a result of subsequent combinations of your
911   contribution with any other software. Note, however, that licensable patent
912   claims include those that you acquire in the future, as long as they read on
913   your original contribution as made at the original time. Once a patent claim
914   is subject to Apache's Grant of Patent License, it is licensed under the
915   terms of that Grant to the ASF and to recipients of any software distributed
916   by the ASF for any Apache software product whatsoever.
917
918.. _legacy:
919
920Legacy License Structure
921------------------------
922
923.. note::
924   The code base was previously licensed under the Terms described here.
925   We are in the middle of relicensing to a new approach (described above), but
926   until this effort is complete, the code is also still available under these
927   terms.  Once we finish the relicensing project, new versions of the code will
928   not be available under these terms.  However, nothing takes away your right
929   to use old versions under the licensing terms under which they were
930   originally released.
931
932We intend to keep LLVM perpetually open source and to use a permissive open
933source license.  The code in
934LLVM is available under the `University of Illinois/NCSA Open Source License
935<http://www.opensource.org/licenses/UoI-NCSA.php>`_, which boils down to
936this:
937
938* You can freely distribute LLVM.
939* You must retain the copyright notice if you redistribute LLVM.
940* Binaries derived from LLVM must reproduce the copyright notice (e.g. in an
941  included README file).
942* You can't use our names to promote your LLVM derived products.
943* There's no warranty on LLVM at all.
944
945We believe this fosters the widest adoption of LLVM because it **allows
946commercial products to be derived from LLVM** with few restrictions and without
947a requirement for making any derived works also open source (i.e. LLVM's
948license is not a "copyleft" license like the GPL). We suggest that you read the
949`License <http://www.opensource.org/licenses/UoI-NCSA.php>`_ if further
950clarification is needed.
951
952In addition to the UIUC license, the runtime library components of LLVM
953(**compiler_rt, libc++, and libclc**) are also licensed under the `MIT License
954<http://www.opensource.org/licenses/mit-license.php>`_, which does not contain
955the binary redistribution clause.  As a user of these runtime libraries, it
956means that you can choose to use the code under either license (and thus don't
957need the binary redistribution clause), and as a contributor to the code that
958you agree that any contributions to these libraries be licensed under both
959licenses.  We feel that this is important for runtime libraries, because they
960are implicitly linked into applications and therefore should not subject those
961applications to the binary redistribution clause. This also means that it is ok
962to move code from (e.g.)  libc++ to the LLVM core without concern, but that code
963cannot be moved from the LLVM core to libc++ without the copyright owner's
964permission.
965