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